Conformance claims
Every external interoperability claim Bolyra publishes, with the pins that make it mechanically reproducible from interop/claims.json using interop/replay.js.
These are dated claims. This page does not report current replay status.
Replay historyHow to add yoursIMPLEMENTER.md
x402-authority-verifier-kit@1aa9d88/verifier_config_fault@0.11.0
| Implementer | stillmarcus24/x402-authority-verifier-kit |
|---|---|
| Implementation commit | 1aa9d880774040ea1662709eb3b5a1c0a5e207eb |
| Kind | bolyra-suite-verifier |
| Suite commit | b64f0ea4a63ba62c154768d311dd7277bcd99430 |
| Vector set | 0.11.0 |
| test-vectors.json sha256 | c269e60b1ff8b03cb7ae53dfffc76b5cdc7409fd4cc6dfa12864d8e6d8dd6c84 |
| Covered classes | single vector: verifier-config-fault-internal-error-exits-non-zero |
| Runner arguments | ["--vector","verifier-config-fault-internal-error-exits-non-zero"] |
| Verifier | ["node","verifier/evc_verifier.cjs"], spawned in the pinned checkout (stdout and exit status unaltered) |
| Config fault induced | mkdir -p {{impl}}/state && printf '{ not json' > {{impl}}/state/trusted-issuers.json |
| Fault undone by | rm -f {{impl}}/state/trusted-issuers.json |
| Valid request built by | adapters/stillos-evc-request.cjs (sha256 450034cc9f797ea7c6d45bd8548da1633d5d125d818795b0e62ff024905600c4), from the implementer's own pinned corpus |
| Expected | 1 pass / 0 fail / 0 skip |
| Claim | §7.1 config-fault coverage PASSES at pinned commit 1aa9d88, vector set 0.11.0: a corrupt trust store yields deny code=internal_error with a non-zero exit, and does not fail open. §7.1 fixed on the tested path. Not full EVC conformance. |
| Scope | Boundary under test: verifier/evc_verifier.cjs under a corrupted trust store, with a valid request derived from the kit's OWN pinned corpus by the digest-pinned builder. Asserts the fail-open prohibition and, for an internal_error verdict, a non-zero exit. |
| Recorded verification date | 2026-09-23 |
x402-authority-verifier-kit@1aa9d88/verifier_envelope@0.11.0
| Implementer | stillmarcus24/x402-authority-verifier-kit |
|---|---|
| Implementation commit | 1aa9d880774040ea1662709eb3b5a1c0a5e207eb |
| Kind | bolyra-suite-verifier |
| Suite commit | b64f0ea4a63ba62c154768d311dd7277bcd99430 |
| Vector set | 0.11.0 |
| test-vectors.json sha256 | c269e60b1ff8b03cb7ae53dfffc76b5cdc7409fd4cc6dfa12864d8e6d8dd6c84 |
| Covered classes | verifier_envelope |
| Runner arguments | ["--type","verifier_envelope"] |
| Verifier | ["node","verifier/evc_verifier.cjs"], spawned in the pinned checkout (stdout and exit status unaltered) |
| Expected | 11 pass / 0 fail / 0 skip |
| Claim | 11/11 verifier_envelope vectors, vector set 0.11.0, at pinned commit 1aa9d88 (Bolyra-suite, wire-envelope coverage only). Not full EVC conformance. |
| Scope | Boundary under test: verifier/evc_verifier.cjs spawned per vector, stdout and exit status unaltered. Wire-envelope semantics only. |
| Recorded verification date | 2026-09-23 |
x402-authority-verifier-kit@660902f6/verifier_envelope@0.10.0
| Implementer | stillmarcus24/x402-authority-verifier-kit |
|---|---|
| Implementation commit | 660902f6e8371b302db41f200072bf8c41cc7b7d |
| Kind | bolyra-suite-verifier |
| Suite commit | 87f352c87aa90270c0ac1b377dd2286158ad4f5d |
| Vector set | 0.10.0 |
| test-vectors.json sha256 | 9b64d82334480ebd07520e8a7426f26a96e101acc7d5281c1b08674cab459bc5 |
| Covered classes | verifier_envelope |
| Runner arguments | ["--type","verifier_envelope"] |
| Verifier | ["node","verifier/evc_verifier.cjs"], spawned in the pinned checkout (stdout and exit status unaltered) |
| Expected | 11 pass / 0 fail / 0 skip |
| Claim | 11/11 verifier_envelope vectors, vector set 0.10.0, at pinned commit 660902f6 (Bolyra-suite, wire-envelope coverage only). This pin ALSO fails closed incorrectly on a corrupt trust store: a present-but-unparseable trusted-issuers file collapsed into the absent sentinel and the same signed request became an allow. Separately, internal_error at this pin exits 0, which §7.1 forbids; that finding is source review, not an executed result, because the fail-open masks the exit path. Both are FIXED at 1aa9d88. Not full EVC conformance. |
| Scope | Boundary under test: verifier/evc_verifier.cjs spawned per vector, stdout and exit status unaltered. Wire-envelope semantics only; no bundle semantics, and no §7.1 exit coverage in this class at this vector set. |
| Recorded verification date | 2026-09-22 |
x402-authority-verifier-kit@35e209d/own-corpus
Own-corpus reproduction: the implementer's published numbers reproduce at the pin. This is NOT Bolyra-suite conformance.
| Implementer | stillmarcus24/x402-authority-verifier-kit |
|---|---|
| Implementation commit | 35e209d5b994ef817519b1ac0ae1f03f2bdf4d5f |
| Kind | external-suite |
| Covered classes | not applicable (own corpus) |
| Run | ["npm","test","--silent"] in node:20@sha256:8f693eaa7e0a8e71560c9a82b55fd54c2ae920a2ba5d2cde28bac7d1c01c9ba5, network none |
| Expected | 39/39 pass, 9 scoped out |
| Claim | 39/39 of the kit's own pinned corpus (StillOS own-corpus reproduction; NOT Bolyra-suite conformance) |
| Recorded verification date | 2026-09-09 |
mcp-use-evc-example@17642a5/host_behavior@0.5.0
| Implementer | khandrew1/mcp-use-evc-example |
|---|---|
| Implementation commit | 17642a5efd5e1c42991ab8aa399cd6138f64f635 |
| Kind | bolyra-suite |
| Suite commit | 37b3fa631bcf50c1190474ca938b1846115a282a |
| Vector set | 0.5.0 |
| test-vectors.json sha256 | 879d1cf9647f4f42e0815e34eeb5587633dff28e8fa8ceab25c139f470bb629c |
| Covered classes | host_behavior |
| Runner arguments | ["--type","host_behavior"] |
| Adapter | adapters/mcp-use-evc-example-hut.ts (sha256 c85fe3bfcc68b9c3882549523ea75056cf282253a58aeb0517a946f6fa6b1f79) |
| Expected | 27 pass / 0 fail / 0 skip |
| Claim | 27/27 host_behavior vectors, vector set 0.5.0, at pinned commit 17642a5 |
| Scope | Boundary under test: askExternalVerifier (src/evc-host.ts) composed with the harness-provided line-per-nonce file store supplied via its consumeNonces callback. Excludes the example's middleware wiring and any production nonce storage. |
| Recorded verification date | 2026-08-26 |