GRRCIndependent robot registry & certificate authority
Certificates you can check yourself.
GRRC (Global Robot Registration and Certification) certifies one narrow, verifiable property of an autonomous robot — the integrity of its reasoning and the genuineness of its certificate. Not that a decision was good. Not that the robot is safe. Only what can be proven, by anyone, from the outside.
For robot owners, insurers, operators, and anyone who has to rely on an autonomous machine: a certificate is an independent record you can check yourself, no programming required.
GRRC is a single-operator certification body today, not yet a separately accredited institution. Hosted verification is informational — a convenience over the offline verifier, which is the authoritative floor.
The problem it solves
Every maker attests to its own machines. When the party making the statement is the party checking it, the statement is only as good as your trust in the maker. GRRC exists so there is a record an outsider can check instead.
The narrow claim
GRRC certifies one narrow property, stated precisely below. The statement is rendered byte for byte from the document of record, with its digest. The diagram is an illustration; the statement governs.
A public verification of a GRRC certification confirms three things only: that the clearance is genuinely signed by the certifier against the published trust anchor and is not self-issued; that the robot's audit chain is intact and single-headed through the stated sequence; and that the clearance meets the four validity conditions (bound to the specific self-de-cert it supersedes, within its stamped lifetime, and the most recent valid certification-relevant event).
Verification does not assert that the robot's decisions or actions were correct, appropriate, or wise; that the owner's rules were sufficient or well-chosen; that the robot is safe, secure, or free of defects in any domain other than reasoning integrity; or that the robot conforms to the full Law catalog. A verification result carries an explicit statement of these limitations so that "verified" cannot be read as a broader endorsement of the robot's conduct or the owner's rules.
iv1-span.txt — source bytes (plain text, sha256-pinned) ↗: dc245793d1374b810f0046296728353ee328215e5457e17112df776ce2beea0cHow verification works
Three steps, from reading the claim to reproducing the proof yourself. The third step is the point: the hosted service is a convenience, and the offline method is the authoritative floor.
Who benefits
A record anyone can check serves different parties differently.
Insurers
An underwriting file built on the maker's own assurance rests on a party grading itself. A certificate here is a record your own analysts can check.
Risk Management
Controls you take on faith do not audit well. A certificate here is evidence your own team can re-check at any time.
Owners
You already know your robot's record. A certificate lets a third party check that it is intact without taking your word, or anyone's.
Manufacturers
Your own assurance, however good, is still the maker grading its own homework. An independent record gives your customers something they can check without trusting you.
Operators
When something goes wrong, "verify the record yourself" is a stronger position than "take our word for it."
Investors
Diligence on autonomous systems usually ends at documents the vendor wrote. A certified record is one item in the file your own team can check independently.
Regulators
Oversight that runs on the industry's own filings is reading what the regulated party chose to write. A certificate here is a record your examiners can check without asking anyone for it.
Humans Nearby
You did not choose the robot in the room. A record about it exists that anyone can check, whether or not you trust its owner.
Current status
GRRC is a single-operator certification body today, not yet a separately accredited institution. What that means, and what is deferred until it changes, is stated plainly in the Charter.
The record
Every document below is a byte-verbatim transcription of a document of record; each digest is computed over the exact bytes at build time. Fetch a file and check it yourself.
- The GRRC Charter
8d7bfe97c53bc28592a6be5ed2ec46ad44f55676ba9899bd40b5b712e4c22ce1 - The Bounded-Claim Statement
2fa6ce07620bb43266b9b685b07aab3fd2fee0d5363a5c297196573082dca2c3 - The Independent Verification Specification
6d3cd35cf88dddcf4c4ba6a5109dc7fed940929aa30194a991eee7b7a275756b - The Verification API Reference
128d4033640184bdd8b39719d3c92a1aed92f60354bd076d7154696751f14e50 - The Certification Registry
3889316714debbede32fd8f4c06571e46beb9e187b4735107519dffad728d226