EqTrace

Inspectable contracts between papers, code, and execution.

Explore the 36-file engineering example
Datasets, hierarchical blocks, virtual interfaces, and observed runs.
Compare LaTeX, pseudocode, and Python
Ordered graphs, conditional real proofs, and actual sampled execution.
Inspect EqTrace's own architecture
Static source observations and three self-checking scalar contracts.

Cite EqTrace · Source and reproduction commands · Technical report

These are recorded release snapshots. Regenerate evidence for a fresh environment. Whole-block meaning is declared; formal evidence applies to selected scalar leaves. Live editing requires the local loopback service.