Evidence and archive boundaries

Unified site status

Mathematics

PN.2 Theorem 7.1 is proved in the stated model. PO-9/11/12 are abstractly closed.

Open mathematics

PO-1–PO-8 and PO-10 remain open for the full author-specific physical theory.

Physical status

F-1–F-14 remain open physical hypotheses; EXT-RUN has not been performed.

Archive status

712-record evidence snapshot; the author archive navigation declares 736 routes; historical lineage 747. These are separate counts. A complete hosting export is absent; NO_LOSS_FREEZE is blocked.

PN.2 Research Center: 7 macro nodes · 3 canonical forms · 12 PO · 4 examples A.1–A.4 · Appendix B · certificate · 14 F · V0–V6. No status promotion.

Invariants: truth_layer_promotion=0 · dns_mutation_count=0 · EXT_RUN=NOT_RUN.

Indexing: INDEX_FOLLOW · v3.7. Publication and indexing authorized by the author on 5 September 2026. Search engines can access all language sections and sitemap.xml.

RU/EN/ZH: 23 corresponding main sections each. DE: the German entry is preserved. Section parity does not imply translation of every primary PDF or historical archive file.

ARBD · Build 28

ARBD 0.1.0 / Build 28: the local module and RUN-017 audit are presented in the exhibition. Integration with the live analyser and APK requires a separate build. SCIENCE=ABSTAIN; truth_layer_promotion=0.

ARBD and the Kant corpus

v3.6 · C3.8T STATISTICAL AUDIT

C3.8T: the candidate bound is verified under explicit assumptions. A full proof, sharp examples and counterexamples are available. The canonical patch has not been applied.

Open the rigorous audit

v3.7 · C3.8U FORMULA WORKBENCH

v3.7 · C3.8U: a 16-formula workbench and unified 51-record evidence-ledger. Theorem source pages recovered; v3.6 retained for rollback.

Open the formula workbench