A new corpus-analysis engine for KLT-RBDv6: from several works by one author to a concept graph. The first checked corpus is Kant: 145 occurrences, 55 candidates and four structural core candidates.
ARBD and the Kant corpusPython 0.1.0 · SCIENCE=ABSTAIN · truth_layer_promotion=0
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 audit16 PN.2 formulas, lower-bound calculations, a c-separation check and direct links to verified proof pages.
Open the formula workbenchEarlier builds are preserved as rollback ZIPs. The current interface incorporates their content within the same website.
Authorship, claimed novelty, knowledge architecture, the Volume Atlas and possible applications.
Consistent evidence cards and RESULT→SOURCE→PO→TEST→STATUS navigation.
Interactive graph, Theorem 7.1, PO-1–12, F-1–14, Appendix A/B, Physical Bridge and V0–V6.
712 working-route records link to the canonical kurpishev.com archive, without claiming a complete server mirror.
The site keeps formal theorems, software implementations and independent physical tests at distinct evidence levels.