This is the central registry of sealed, byte-replayable conformance run records for the RTTP & IQA dual-pillar line. Every run against an external conformance suite — independently produced or author-produced — is recorded here as a self-contained, offline-replayable directory and indexed below. Human-readable report pages live at iqa.org/conformance/.
Each record directory is self-contained and carries everything needed to re-run the measurement offline:
- the runner — the exact code that was run;
- vendored frozen inputs — the test vectors and oracle material, frozen before the run and pinned by digest;
- a digest gate — the runner refuses to execute if the frozen inputs do not match their recorded digests;
- PROVENANCE — what the inputs are, whose work they vendor, and how this run relates to its authors (author-produced or independently produced is always stated; the lab's charter asks for nothing less);
- the run report — the recorded output, sealed per the IQA release discipline.
| directory | family | revision | mode | recorded | lab record |
|---|---|---|---|---|---|
lra-runner/ |
lease-revocation-axes | 2 | author-produced (Mode B) | 2026-10-23 | PR #187 (merged) |
lra-runner/ |
lease-revocation-axes | 3 | author-produced (Mode B) | 2026-10-26 | PR #194 (merged) |
Classification follows the lab's definition (CONTRIBUTING.md): a record is independent when its producer authored neither the vectors, the claim inputs, nor the implementation that supplies the recomputation — here the operator wrote the runner, so both records are author-produced, while the runner itself (lra_runner.py) is written independently of the lab's corpus. Larry Lewis independently reproduced both revisions on 2026-10-29 (zero baseline failures, all 12 mutation failure sets matching); a replay of these records by an operator who authored none of the above may be recorded alongside as an independently produced record.
The specification under test is the combined Individual Submission Internet-Draft draft-li-rttp-iqa-addressing (revision -01, 34 pp., 2026-10-27); each record's own README names the sections it exercises.
Each directory's README carries the exact command. Replaying a record is a single local command — no account, no network, no trust required; the digest gate fails closed if anything has drifted.
Stabilized records are sealed per the IQA release discipline and appended to the release-attestations bundles (rttp.com/attestations/ · iqa.org/attestations/). Sealed records carry dual addresses and resolve through the public resolvers: rttp://… → rttp.com/open/ · iqa://… → iqa.org/open/.
Run reports ship with a citation block naming the runner, its repository, and its operator. Any public reference to an independent run is asked to carry the same three facts.
rttp— the addressing scheme, Rust implementationiqa-org— attestation standing and envelopes, Rust implementationiqa-mcp— the primitives as MCP toolsinterchange— multi-party interchange work- Organization profile — github.com/Aicent-Stack
Apache-2.0. Vendored upstream inputs remain the work of their authors, credited per record in each directory's PROVENANCE.