constantsToJSON
plain-language theorem explainer
constantsToJSON assembles a static JSON array of verified CPM constants including net couplings for cone and eight-tick projections, projection and dispersion factors, and alpha expressed via phi. Report generators and auditors cite it to export the machine-checked values and their provenance. The definition directly concatenates a fixed list of string entries into the output array.
Claim. A definition returning the JSON string listing verified constants: $K_ {net}$ (cone) = 1 from intrinsic cone projection, $K_{net}$ (eight-tick) = 81/49 from ε=1/8 covering, $C_{proj}$ = 2 from Hermitian rank-one bound with J''(1)=1, $C_{eng}$ = 1, $C_{disp}$ = 1, $c_{min}$ (cone) = 1/2, $c_{min}$ (eight-tick) = 49/162, α = (1-1/φ)/2 from self-similarity, and φ = (1+√5)/2 from the x²=x+1 fixed point.
background
The CPM.ConstantsAudit module supplies machine-checkable verification of constants derived from Recognition Science invariants, including consistency checks and export for audit reports. Key upstream notions include the fundamental time quantum tick (τ₀ = 1) and structures for nuclear densities on φ-tiers. The listed entries reference J-cost calibration, the self-similar fixed point phi, and the eight-tick octave period. Upstream results such as PhiForcingDerived.of supply the J-cost structure while Constants.tick fixes the time quantum.
proof idea
Direct definition that builds the output string by declaring a list of nine JSON object literals and concatenating them with String.intercalate between square brackets.
why it matters
Supplies the constant payload to generateJSONReport, which wraps it into the complete audit report. It records values tied to framework steps T6 (phi fixed point) and T7 (eight-tick octave) together with the J-uniqueness relation. The definition closes the export path for the constants audit without introducing new theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.