Research Series · 3 Films · 5 min 37 sec total

Inside Hylos

Follow an agent through a rollback, an open seal, and a drifting laser. Three short films and interactive essays on the spatial runtime behind Impulse.

Also in the series

All 3 essays include narrated & captioned films

About the series

Impulse runs on the spatial runtime built by Hylos Labs. Each film follows one engineering decision and shows the exact geometric or physical calculation a reviewer can use to check it.

Explore Impulse →

Papers, manuscripts & filings

Technical foundation

In preparation

  • Falsification-Governed Language-Model Authoring Against a B-Rep Kernel

    coming soon
  • A Longitudinal Defect Taxonomy of Kernel-Verified LLM Geometry Synthesis

    coming soon
  • Counterexample-Guided Synthesis of Physical Assemblies with Intent-Preserving Repair

    coming soon
  • Verifier Signal Placement in Agentic Generation: Feed-Forward Constraints versus Rejection

    coming soon
  • Provenance-Anchored Measurement in Self-Correcting Geometry Pipelines

    coming soon
  • The Agent Runtime as a Checkable Program: Totality, Branded Invariants, and Adversarial State Walks

    coming soon