EqTrace v0.1.0: paper-code engineering contracts

Author: Shiqi Wang · Contact: qtec@outlook.com

EqTrace's first public MVP links independently authored LaTeX equations and pseudocode to executable scalar contracts, then places those leaves inside hierarchical engineering graphs.

• Scan multiple Python codebases, datasets, multi-file blocks, virtual entities, and named flows.
• Export dataset observations to LaTeX tables and inspect recorded calls, NumPy shapes, and output-write evidence.
• Translate scalar LaTeX, Python, and straight-line pseudocode into minimal code and computation graphs.
• Keep ordered structure, conditional real equivalence, actual sampled execution, and freshness checks separate.

The release includes a synthetic 36-file / 2-codebase sequence example, 80 passing regression tests, 18 authored fault cases matching their expected classifications, and three self-contracts bound to the report's actual discrepancy kernels. GitHub Actions passed on Python 3.11 and 3.13; Chromium checks passed for both workbenches.

The nine-page PDF is a self-descriptive software technical report with LaTeX source in the repository. It has not undergone peer review. Whole-block meaning remains declared; mathematical evidence is restricted to selected scalar leaves under the implemented Z3 translation. No Lean certificate or whole-Transformer correctness claim is made.

Interactive demo · Source and reproduction

Downloads: paper PDF, offline workbenches, Python wheel, and source distribution. The offline ZIP contains recorded release evidence; run make setup and make demo from the repository to regenerate evidence for the current environment.