The GCCAI mathematical baseline of safety for autonomous systems is openly available on the public administrative record. We offer this foundational mathematics freely, ensuring that any regulatory authority or community institution has unrestricted access to an objective reference point—one that operates entirely free from commercial ownership or proprietary restriction.
This page is addressed to regulatory authorities, civil oversight bodies, and community institutions. Corporate fiduciaries seeking alignment should refer to Consortium.
Autonomous systems now govern financial transactions, clinical decisions, power distribution, and civil infrastructure. For any regulatory authority evaluating those systems, the GCCAI Mechanized Formal Specification provides a formal tool for guidance: 16 domain proofs and 14 architectural constraint proofs, mechanized in Isabelle/HOL, achieving structural coverage across all four NIST AI RMF functions (Govern, Map, Measure, Manage) and all six NIST Cybersecurity Framework 2.0 functions (Govern, Identify, Protect, Detect, Respond, Recover).
The proof is the same in every jurisdiction. The math does not vary by geographic boundary. To the best of the Secretariat’s knowledge, no comparable formally verified specification providing simultaneous structural coverage across both frameworks currently exists on the public record.
The baseline is formally lodged under OMB Circular A-119, which directs domestic regulatory agencies to use independently developed voluntary consensus standards for autonomous systems. U.S. authorities — financial market integrity, securities oversight, insurance solvency, consumer protection — may reference this baseline directly.
The following international authorities have received formal notice of the baseline’s availability:
The GCCAI’s structure has been formally notified to the DOJ and FTC under the National Cooperative Research and Production Act (NCRPA), 15 U.S.C. §§ 4301–4306. That filing is part of the public administrative record.
The formal proof registry includes domain-specific baselines for 16 apex sectors where autonomous systems affect communities directly (see the full registry at Verification):
Any civil authority responsible for these domains may reference the domain-specific baseline directly. No membership, fee, or commercial engagement is required.
Any authority that wishes to review the baseline, discuss domain-specific proofs, or formally document its awareness may open formal correspondence with the Secretariat. All correspondence is entered into the public administrative record. Our doors are permanently open, and we are honored to serve as a transparent evidentiary resource for any civil institution seeking to understand or implement these mathematical foundations.
Transmittals are on file with the DOJ, SEC, NIST, FINRA, BIS, IAIS, Basel Committee, OCC, and NAIC. All are part of the public administrative record.
Contact the Secretariat →