Math-solver · LLM action governance · Formalism bridge
Math-Solver
Governance Adapter.
This page publishes the public posture for the math-solver bridge: a governed packet structure for asking a solver or model to perform formalism work without granting it free-form authority.
Boundary: this page is a public mirror for the adapter concept. It does not claim solver correctness, mathematical proof, or production authority.
Adapter purpose
The math-solver adapter governs formalism-development actions. It asks what a solver is allowed to attempt, what artifact it must return, what claim may be made from that artifact, and what receipt or replay posture is required before the next instruction.
Governed action chain
formalism state
→ governed instruction packet
→ solver or model task
→ returned artifact
→ claim/cost confirmation
→ receipt or replay posture
→ next admissible instruction
Relationship to Site tests
Shared governance language
Math-solver adaptergoverns formalism-development work packets
Governance Testing Suiteclassifies public output and proposed state movement
STCMconservation and replay continuity rule
RTGcandidate geometry for relative transition positions
CGEfuture decision and enforcement manager
Public posture
MATH-SOLVER-ADAPTER-001
PostureRESEARCH_NOTE
Statuspublic adapter concept / not proof authority
Authority sourcefuture adapter repo or formalism-tests receipts
Allowed public claimadapter pattern and governance boundary
Not claimedsolver correctness, completed proof, external verification