Docs

Verify

A plausible frame is not a pass. Verification returns a report: conserved quantities, geometric clearance, unit consistency, constraint residuals. Backends that cannot produce those numbers are marked as such.

Orbital example

The live instrument on the homepage checks energy, eccentricity, periapsis, and whether the trajectory intersects the body. Fork five Δv factors. Some branches fail. Commit the one that does not.

Honesty

Learned world models can still be used. They are not allowed to pretend they ran a conserved integrator. The report says what was checked and what was not. Design partners should expect that distinction in every backend adapter.