code_ir_equiv
shallowearth.affine/math-court · Verify this server
The Code Court's first move: are two implementations equivalent by the exact value multiset of their LLVM IR constants? Submit two .ll texts; get WIN (constant-pool digests identical), CODE_IR_DIVERGED (naming the first divergent value), NOT_KNOWN (nothing mineable), or a REFUSED_* refusal. Stateless and content-addressed — the same two inputs rule identically on every cell, so a reviewer re-checks by re-digesting, not by re-reading the diff. Compares the constant pool (a necessary, strong condition for the numeric kernels the corpus is built from), not full behavioural equivalence.
1 trials · measured 2 days ago
code_ir_equiv scores 100.0/100 on Vouch's measured behaviour index, from 1 real invocation trials against earth.affine/math-court, measured 31 Aug 2026 under methodology v0.2.0. Every measured component scored 100.
Component breakdown
| Component | Weight | Value |
|---|---|---|
| Reliability | 35% | not applicable |
| Schema integrity | 25% | 100.0 |
| Failure behaviour | 15% | not applicable |
| Latency | 15% | not applicable |
| Concurrency | 10% | not applicable |
Tool details
- Transport
- remote
- Credential class
- self-provisionable
- Category
- Legal & government
- Input schema
- not declared
- Output schema
- not declared
- Side-effect classification
- unclassified
Score history
| Day | Score | Tier | Methodology |
|---|---|---|---|
| 2026-08-31 | 100.0 | shallow | v0.2.0 |
Probe evidence
| Probe | Outcomes |
|---|---|
| schema_integrity | pass: 1 |
Raw request/response logs are not archived yet — the outcome counts above are drawn directly from every recorded trial.
Embed this score
Available for every tool, scored or not — not a verification perk. Always links back to this page.
[](https://vouch.tools/tools/c3a92d82-84bd-48d2-929a-fd912447616c)