A reproducible design-evidence package
A design-evidence package should let another person reconstruct a bounded calculation and see what it cannot establish.
How to use this idea
Maha proposes a package containing schema and calculation versions, normalized inputs and units, formulas, outputs, assumptions, limitations and review status. The program checker exports this package in memory. It contains no approval signature and no claim that its inputs were independently measured.
Worked illustration
Replaying the same two-floor program must reproduce the same totals. Changing a ratio should change the result. Supplying a negative area must produce an error rather than a signed-looking receipt with nonsense totals.
All numerical examples here are synthetic, not measured building results.
Checks before relying on a result
- Keep input and calculation versions together.
- Test counterexamples as well as the happy path.
- Keep private project names and commercial documents out of public examples.
What this does not establish
A reproducible receipt is not proof of input truth, professional approval or engineering correctness. This initial package is not a cryptographic attestation.
Sources and review
Automated editorial preparation, not independent expert review. Examples and proposed workflows are Maha-authored.
This page presents an authored protocol or elementary arithmetic, not a sourced engineering finding or professional standard.