main
plain-language theorem explainer
The definition supplies the primary IO entry point that serializes and prints the JSON bundle of virtues and soul invariants. Framework integrators and audit tools invoke it to obtain the exported data payload. Implementation reduces to a direct one-line wrapper around the pretty-print of exportPayload.
Claim. The main IO action prints the pretty-formatted JSON object whose fields are the version string 1.0.0, the collection of virtue definitions, and the collection of soul invariant definitions.
background
The Exports.Virtues module assembles serialization for core Recognition Science objects. exportPayload builds a JSON structure containing version, virtueExports, and soulExports, which are constructed from the sibling VirtueExport and SoulInvariantExport definitions. The module sits above the CPM audit main entry point and the URC adapter audit runner, supplying a common export surface for consistency and data retrieval.
proof idea
This is a one-line wrapper that applies the pretty-print operation at indentation depth 2 to the exportPayload JSON value and emits the result through IO.println.
why it matters
It furnishes the serialization gateway referenced by 23 downstream declarations, among them Jcost_is_calibrated in CostUniqueness, argon_ea_zero in Chemistry, and the Duhamel remainder theorems in ClassicalBridge.Fluids.ContinuumLimit2D. The declaration realizes the export layer called from the CPM audit main, enabling external inspection of framework elements such as the Recognition Composition Law and the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.