IndisputableMonolith.URCGenerators.LNALCerts
The LNAL invariants certificate module bundles VM preservation properties with bounds on token delta units. Researchers auditing formal models in Recognition Science cite it when composing computational soundness reports. The module imports and composes checks from JMonotone and UnitsKGate to create unified invariants certificates without new derivations.
claimThe module defines certificates asserting VM preservation together with a bound on the token $δ$-unit.
background
LNAL supplies a compiler, parser, invariants, and virtual machine for Recognition Science computations. The module draws on J-monotone certificates for per-window budget monotonicity and on Units K-gate audits that verify dimensionless quotients under admissible rescalings.
proof idea
This is a definition module, no proofs. It structures the argument by defining certificate objects that import and re-export checks from JMonotone and UnitsKGate.
why it matters in Recognition Science
The module supplies bundled certificates to the LNALReports adapter. It fills the role of packaging VM preservation and δ-unit bounds for higher-level audits in the URC framework.
scope and limits
- Does not prove new invariance theorems.
- Does not evaluate specific constants such as phi or alpha.
- Does not address rescalings outside imported K-gate checks.