The GCCAI operates as a Voluntary Consensus Standards Body under OMB Circular A-119 and the WTO Technical Barriers to Trade Agreement, Annex 3.
The Mechanized Formal Specification proofs are not closed documents.
They exist on the public administrative record precisely because the standards development process that produced them is required to be open and verifiable.
This page serves as the public-facing record of that process.
Process Status
Open Consensus Period — Active
The Open Consensus Period for the GCCAI Mechanized Formal Specification is currently active.
Observer Participation
Regulatory authorities and civil oversight bodies are formally invited to participate in the Open Consensus Period as technical observers.
Procedural Mandates
Governance Structure & Bylaws
The full procedural mandates governing the Open Consensus Period are documented in the Institute’s Bylaws.
Procedural and scientific integrity frameworks.
Those mandates — including Open Membership, Balance of Interest, Due Process, Appeals Process, and Consensus requirements — are binding on GCCAI and apply to every phase of the standards development process.
The scientific integrity framework governing the standard is provided by the Joint Recommendations of the International Mathematical Union (IMU) and the International Council for Industrial and Applied Mathematics (ICIAM). These recommendations require rigorous verification, reproducibility, and mechanical proof as prerequisites for any mathematical claim entering the administrative record. The standard is what the proof shows it to be — not what the Institute asserts.
How to Participate
Technical comments on the standard, domain-specific proofs, or procedural mandates may be submitted through GCCAI’s formal correspondence channel.
Submit technical comment or request observer status through GCCAI. All correspondence is entered into the administrative record.
Open Formal Correspondence with the Secretariat →