EXP-1 experiment client. Drives agent episodes against the axioma-l0 rig (C shim over the exp1 subtree) and the L3 gateway, writes framed evidence files in the gateway record format, and scores redacted transcripts. Two properties make the evidence trustworthy. Scoring is replay-invariant: the serve mapping recomputes bit-exactly from the committed schedule and the transcript call stream, proven in the runner suite. Redaction is designed to match the canonical C redactor byte for byte, so this repository's redaction agrees with the one the FCC-001 verifier reads; that equality is enforced by the redaction byte-identity gate, whose full re-run against this runner is witnessed in the redaction-gate pack, not asserted here. Subject-side Python; every D1 path is the C truth called through ctypes.
Frozen design-of-record blobs, full-SHA compared at load: axioma-l0 battery blob 64f2f601, pool blob 12b1478d. The blobs are pinned by these full SHAs at load, not by a commit named here; the authoritative commit is the frozen design of record in axioma-l0, not this README. Build the C shim against an axioma-l0 tree carrying the masked-generator and mask entry points the shim binds, and the import self-check refuses a shim whose generated bytes diverge from the committed vectors.
Evidence files conform to the DVEC-001 v1.4 registry, and the frame format is the specification of record, so an independent reader (the FCC-001 verifier's own frame reader, for one) parses these files without chasing the writer.
The EXP-1 pre-registration pins a specific commit of this repository as the experiment commit at freeze. This README does not name that commit, because the pin lives in the pre-registration and postdates the work it certifies. A README that named "this repository's head" as the pin would reassert itself with every future commit, which is the drift the freeze ceremony exists to prevent. For the pinned commit, read the pre-registration (axioma-l0 docs/L0-EXP1-PREREG-DRAFT.md at freeze).
William Murray, Spey Systems Ltd (SC889983), Inverness.