Manuscript Em04-A@2 · Em04-A-v2.tex · section · f5b28abc
Archive layout and claim register
Independent verification and evidence-package specification › Archive layout and claim register · lines 1908–1977
A suggested package is:
Em04-A-verification/ manuscript/ Em04-A-v2.tex revision_notes.md source/ original_pipeline.txt full_chain_model.py reduced_chain_model.py tests/ algebra_checks.py solver_comparison.py quadrature_checks.py certificates/ residual_bounds.json position_povm_bounds.json evidence/ environment.json compilation.log references_audit.csv verification_report.md claims_register.csv
This is a proposed layout, not a list of files created by this manuscript. Preserve original material unchanged and hash versioned artifacts.
{}1.15
| Claim class | Evidence required | Present status |
|---|---|---|
| Analytical model theorems | Explicit proofs and hypotheses in the main text | Proved here |
| Error-bound interfaces | Residual, quadrature, arithmetic, and completion proofs | Proved here |
| Source alignment | Archived export and source-location audit | Reported mappings; audit pending |
| Independent algebra execution | Symbolic output and independently coded transpose tests | Unverified |
| Solver regression | Reproducible runs and predeclared thresholds | Unverified |
| Instantiated numerical certificates | Validated enclosures and finite accepted budgets | Unverified |
| Compilation and PDF inspection | Successful build record and visual inspection | Unverified |
| Archived bibliography audit | Per-entry primary-source and applicability records | Pending |
The complete verification package is not released until the execution-dependent gates have evidence. The analytical manuscript does not acquire a “fully verified pipeline” designation merely by providing the acceptance specification.