Actually Smart ContractsCertifications · a repository commit against a standard
A certification is a ruling
Pick a standard and a commit. A jury of models from different labs reviews the code rule by rule, cites the files behind each verdict, and signs. The result is an ordinary ruling under the SIMDs: recorded on Solana, readable by any program, and open to challenge.
Request a certification
Public repositories by URL; private ones through a read-only GitHub App. You see the quote before anything runs. Real certifications are not live in this build. design
What the request contains
Example result example data, demo repo
demo-tv/firmware @ 9f3c2a1 against EDO v1.0. Outcome pass, score 100, L1, 5 of 5 agreed.
| Rule | Verdict | Source cited | Agreed |
|---|---|---|---|
| EDO-01 | pass | app/voice/VoiceSearch.kt:40-44 | 5/5 |
| EDO-02 | pass | app/acr/AcrSettings.kt:12 | 5/5 |
| EDO-03 | pass | app/analytics/Boot.kt:80-95 | 4/5 |
| EDO-04 | pass | app/setup/OfflineSetup.kt:1-60 | 5/5 |
| EDO-05 | pass | app/config/RemoteFlags.kt:22-31 | 5/5 |
What is recorded
- Pinned hashes: the certify program’s prompt, the standard at its commit (internal context), and the repository at the reviewed commit (external context): sha256 of every file at that commit, in sorted path order.
- The opinion: a summary, the full per-rule report by hash, and up to 16 sources, each checked to hash to something the jury was given.
- Certainty and signatures: how many agreed, every evaluator’s wallet signature, and the co-signed sign-off.
- The badge: rendered from the ruling, never stored separately.
Check the tree yourself: git ls-tree -r 9f3c2a1 | awk '{print $4"\t"$3}' | LC_ALL=C sort | sha256sum
+------------------------------------------+ | .----------------------. ASC EDO | | | [ ] ETHICAL [o] | v1.0 | | | DEVICE OPERATIONS | | | '----------.-----------' PASS 5/5 | | _|_|_ | | demo-tv/firmware@9f3c2a1 | | ruling 4b1e07c2a9d3 2026-11-04 | +------------------------------------------+
Certificates can be challenged
Anyone can challenge a certificate later with new evidence, for example a bug report showing the device records without its indicator. A new jury compares itself to the original rule by rule. If it is overturned, the certificate stays on chain marked overturned and every badge rendered from it shows as revoked. SIMD 3
A certificate is a code review of one commit against a published standard, not a legal, regulatory or safety certification. The citations above are example data, not files fetched from a real commit.