The GCCAI operates as a Voluntary Consensus Standards Body under OMB Circular A-119 and the WTO Technical Barriers to Trade Agreement, Annex 3.
These frameworks require a documented, open, and procedurally fair standards development process. This page describes that process.
It defines how any materially affected party — including regulatory authorities, civil institutions, academic bodies, and enterprise fiduciaries — may participate in or formally observe the development of the baseline.
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.
The Open Consensus Period for the GCCAI Mechanized Formal Specification is currently active.
During this period, any materially affected party may submit technical comment on the standard, its domain-specific proofs, or its procedural mandates. All substantive comments are entered into the administrative record and addressed within the formal process.
Participation in the Open Consensus Period does not require membership, fees, or commercial engagement with the Institute.
It requires only a written submission to the Secretariat identifying the submitting party, the relevant domain or proof, and the substance of the comment or objection. All submissions are acknowledged in writing and entered into the record.
Regulatory authorities and civil oversight bodies are formally invited to participate in the Open Consensus Period as technical observers.
Observer participation allows a regulatory authority to document its awareness of the standard, review the domain-specific proofs relevant to its mandate, and submit technical comment. This requires zero commercial or institutional commitment.
This observer participation fulfills the obligations of national standards bodies under the WTO TBT Agreement, which encourages regulatory authorities to engage with voluntary consensus standards bodies.
It also satisfies OMB Circular A-119’s directive that agencies utilize independently developed voluntary consensus standards in lieu of government-unique alternatives.
Regulatory authorities who participate as observers may, at their discretion, formally reference the standard in their administrative record. The GCCAI does not solicit endorsements and does not represent observer participation as endorsement of the standard.
The full procedural mandates governing the Open Consensus Period — including Open Membership, Balance of Interest, Due Process, Appeals Process, and Consensus requirements — are documented in the Institute’s Bylaws. Those mandates are binding on the Secretariat 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.
Technical comments on the standard, domain-specific proofs, or procedural mandates may be submitted through the Secretariat’s formal correspondence channel. Please identify the relevant proof or domain, describe the technical comment or objection, and provide contact information for the acknowledgment response. All submissions are entered into the administrative record.
Submit technical comment or request observer status through the Secretariat. All correspondence is entered into the administrative record.
Open Formal Correspondence with the Secretariat →