IndisputableMonolith.CPM.AuditMain
The AuditMain module supplies the executable display layer for CPM constants verification in Recognition Science. It imports ConstantsAudit to access machine-checked properties and defines print helpers plus a main entry point. The module structure is a collection of formatting and output functions with no internal theorems.
claimDisplay functions for CPM constants $c=1$, $\hbar=\phi^{-5}$, $G=\phi^5/\pi$, $\alpha^{-1}\in(137.030,137.039)$ that satisfy the verified properties from Recognition Science invariants.
background
The upstream ConstantsAudit module supplies machine-checkable verification of CPM constants and their derivations from Recognition Science invariants, with formal checks that the constants satisfy required properties. AuditMain builds directly on this import to expose the results through formatted output. The local setting is the CPM domain, where constants are expressed in RS-native units and must match the invariants listed in the audit module.
proof idea
This is a definition module, no proofs. It consists of sibling definitions for formatConstant, printHeader, printConstants, printConsistency, printProbability, printExamples, printSummary, and main that orchestrate display of the imported audit data.
why it matters in Recognition Science
The module feeds the practical audit workflow in the CPM domain by rendering results from ConstantsAudit. It supports the Recognition Science constant verification pipeline without introducing new theorems, closing the display step of the audit process.
scope and limits
- Does not derive constants from the forcing chain or RCL
- Does not contain the verification theorems themselves
- Does not perform numerical evaluation or floating-point checks
- Does not export any theorems or hypotheses for downstream use