Audits
This directory contains review aids rather than additional proofs.
statement_index.mdand.csvindex every theorem-like environment.priority_register.csvrecords the present assessment of inherited machinery, adaptations, synthesis claims, and empirical claims.verification_report.mdrecords the final document checks for version 1.0.0.completion_notes.mdrecords the scope of the final foundational extension.github_readiness_report.mdrecords the repository, clean-checkout, packaging, and visual-regression audit.
The priority register is provisional and should be revised when specialist review or closer prior work changes the assessment.