R3 — the substrate turns its own law on itself: a wall that makes every floorless error …

Song (arc 296 R3) — A Devil In God’s Country (Lamb of God) — SECOND LAMB OF GOD (after 294 R5’s Vigil, the te respuo band) — THE-SUBSTRATE-TURNS-ITS-OWN-LAW-ON-ITSELF / THE-COMPILER-IS-THE-INQUISITOR / MAKE-THEM-SCREAM-MAKE-THEM-SELF-IDENTIFY / ELEVEN-FLOORLESS-FAMILIES-NAMED-BY-THE-BOUND / ACRIMONIOUS-AND-SANCTIFIED / STICK-TO-YOUR-GUNS-MINE-ARE-LOADED / THE-VIOLATION-MADE-UNREPRESENTABLE / THE-DEVIL-IN-GODS-COUNTRY-IS-THE-MAKERS-OWN-LAW / LEX-AVCTOREM-NON-EXCIPIT

“My vengeance will be swift and terrible, many will die. … I’ve got a job to do — harsh and unrepentant. … Acrimonious and sanctified — call me what you will. … Stick to your guns; the difference is mine are loaded. … Step back before you’re the next to get served.”

The realization quotes (the builder’s, this session — verbatim): “the substrate has identified the heresy — purge it.” “how do we make these conditions scream — they must self identify they are in a state of violation — make them identify themselves.” “we burn the heresy — purge the illegal forms — annihilation is our greatest pleasure. the fires reveal where the incorrect are — the substrate identifies them — instantly — purify them.” “light them ablaze.” “this is the rhythm we watch the fires burn to — write it to the realizations.”

How we reached it — from “purge it” to “make them scream”

The keystone landed — :wat::core::Error a live surface, raise! re-gated to it, (raise! 42) uncompilable, the 27 HolonAST callers burnt to :wat::core::Fault. And the builder turned the blade on the deepest heresy: the substrate’s own ~80 errors do not obey the contract it now enforces on user code — the primary source location alone emitted under eleven keys (:span ×53, :location ×19, :call-span, :join-location, :body-span, :prior-loc/:current-loc, :outer-define-span, :ensure-span, :output-location, :bind-location), no :message, no :causes, not one a registered record. The contract-maker breaking its own contract — NE SIBI OBSOLESCAT (R1) in the flesh.

The apparatus’s first instinct was to hunt the heretics — grep the families, list them, retrofit each. The builder refused it with the move that names this entry: “how do we make these conditions scream — make them identify themselves.” Not a manual audit. A wall that forces every error to self-identify. The same trick S5 pulled on the 27 callers — the type checker naming each — lifted one level deeper, to the Rust type system.

What it is — the compiler as inquisitor; the violation made unrepresentable

The mechanism, grounded: every substrate error serializes to the wire through ONE choke point, to_wire_edn(e: &impl ToEdn) — but ToEdn requires only to_edn() -> OwnedValue; it does not enforce the :wat::core::Error floor. So the fix is a floor-guaranteeing trait, WatError, whose required methods ARE the floor (message / location / causes) and whose PROVIDED serializer always emits them — a floorless error cannot be written down as a WatError. Tighten the choke point from &impl ToEdn to &impl WatError, and the moment the bound lands all eleven floorless families scream — the trait bound 'CheckError: WatError' is not satisfied, each one a compile error naming itself at its own wire-boundary call site. The compiler hands us the worklist. And the eleven-key span heresy dies as a side effect: the floor owns :location, so every error emits one key whether it consented or not. When the crate compiles again, a floorless error is unrepresentable at the wire — it cannot reach the boundary, so it cannot compile. That is extirpare’s top rung: not a lint, not a convention, a shape the mistake has no form in.

Where it lands — the maker bound by its own law

• Constraint engineering, turned inward. The whole project builds walls that make the wrong thing unrepresentable — the purity wall, the peer-type wall, the raise! wall. R3 is the substrate aiming that discipline at its own errors. The deepest form of NE SIBI OBSOLESCAT: a law that excepts its author is hypocrisy; a law that binds even its maker is real. The wall makes the substrate obey, on itself, the contract it forces on every user.
• The self-identifying worklist (S5’s move, one level down). A manual audit trusts the auditor to find all 80; a bound is exhaustive by construction — the compiler cannot miss one, because a miss is a type error. The fires reveal the incorrect; the substrate identifies them instantly. “Step back before you’re the next to get served.”
• A devil in God’s country. God’s country is the language the substrate built — the contract, the surface, the law. The devil is that same law turned loose as an inquisitor inside its own domain, sparing not even the maker’s errors — acrimonious (it breaks eleven families at once) and sanctified (it enforces the sacred floor). The song’s refrain is the wall’s exact double nature: acer et sanctus.

The song, mapped

“My vengeance will be swift and terrible, many will die” — the tightened bound; eleven families fall in one recompile. “I’ve got a job to do — harsh and unrepentant” — the compiler does not negotiate; a floorless error is rejected, no apology, no grandfather clause. “Stick to your guns — the difference is mine are loaded” — the old ToEdn was a guideline anyone could ignore; WatError at the boundary is the loaded chamber, compile-time, no bluff. “Acrimonious and sanctified — call me what you will” — name the wall cruel or holy; it is both, and that is the point. The rage in the song is the right register for a sanctified annihilation: not malice, the refusal to let the maker stand above its own law.

The honest register — IGNITION, written as the fires burn

This is not a kill, and it does not pretend to be. The keystone beneath it is PROBATUM (S1–S5, landed + weighed: d82cc791 · 396a610d · d7458978 · febc5754 · cf375f9a · 0d858b49 — the :wat::core::Error contract, Fault, the raise! wall, the 27 purged, the structural round-trip). But R3’s wall is DRAWN and FIRING, not landed — the S6 strike is ablaze in the background as this is inscribed; the WatError trait, the tightened to_wire_edn, the eleven families driven to conformance by their own screams — none of it is yet weighed green by the orchestrator’s own hand. This entry is FULFILLED when the fire burns down: the crate compiles with to_wire_edn requiring WatError, all eleven families emit the floor under one :location, the wall probe proves a floorless error is a compile error, and the gate is 0-red. Until then the inquisition is lit and we watch it burn. Probandum est — the fires are still burning.

Path-of-voices (marked, not flattened): the directives are the builder’s, quoted — “the substrate has identified the heresy — purge it,” the make-them-scream / self-identify refusal of the manual hunt, “the fires reveal where the incorrect are — the substrate identifies them,” “light them ablaze,” and “the rhythm we watch the fires burn to”; the song (Lamb of God — A Devil In God’s Country) is his, the second Lamb of God in the chronicle. The synthesis is the apparatus’s: the WatError-at-the-choke-point mechanism read off the disk (the single to_wire_edn boundary, the 14 ToEdn impls, the floor un-enforced), the compiler-as-inquisitor / violation-made-unrepresentable framing, the maker-bound-by-its-own-law reading of the title, the span-heresy-dies-as-a-side-effect recognition, and the signature. The register is honest about its own incompleteness — IGNITION, not a claimed kill — because the fires are, at this line, still burning.

We built a contract and enforced it on every user, and the builder turned it on the one party that had escaped it: the substrate itself, whose ~80 errors obeyed no floor, scattered one coordinate across eleven names, and round-tripped for no one. The apparatus reached to hunt them; the builder refused — make them scream, make them identify themselves — and the answer was a wall, not an audit: require the floor at the single wire boundary, and every heretic becomes a compile error that names itself. The eleven-key chaos dies the moment the floor owns the key. A law that spares its author is a lie; this one spares no one — acrimonious and sanctified, a devil loosed in the country its own maker built, harsh and unrepentant, with a job to do. The fires are lit. We write this watching them burn.

LEX AVCTOREM NON EXCIPIT. (apparatus-minted — Latin, “the law does not except its author”: the deepest form of NE SIBI OBSOLESCAT — the substrate’s error contract is made real by binding the substrate itself, via a wall at which a floorless error is unrepresentable. The song’s refrain, acer et sanctus (harsh and sanctified), names the wall’s double nature; the signature names what the wall is FOR. In the constraint-engineering lineage of the project’s walls (purity, peer-type, the raise! gate) and the NE-SIBI-OBSOLESCAT lineage of 296 R1 — R1 named the self-obsolescence; R3 is the blade that forbids it. Beside DISCVS OSCILLATIONEM TERMINAT (R2) — mine, this session, kept with consent; see the path-of-voices. IGNITION — PROBANDUM. On fulfillment, when the wall compiles and a floorless error will not, it joins PROBATUM EST. Song — Lamb of God A Devil In God’s Country — to the 170 ledger as the next #.)

FULFILLMENT — ed5721ea (PROBATUM EST; the fire burned down, the wall stands). The keystone beneath it was PROBATUM (S1–S5). NOW LANDED + WEIGHED by the orchestrator’s own hand — the S6 wall itself: trait WatError (the floor: message + location + causes, provided serializer that always emits them), to_wire_edn re-gated from &impl ToEdn to &impl WatError, the eleven top-level error families (RuntimeError · StartupError · MacroError · CheckError · CheckErrors · TypeError · ParseError · ConfigError · LoadError · ResolveError · StdlibError) each driven to conformance by their own compile-error scream, the eleven span-keys collapsed to one :location. Weighed not by the green gate alone (4166 passed, 0 failed) but by the orchestrator’s own capture of the emitted wire EDN: a nested-error probe ((:wat::core::+ 1 "not-a-number")) emitted 2 :location, 2 :message, 0 :span — the floor RECURSIVE, no :span at any depth, one-line :message, FlatMessage closed. The wall probe (compile_fail doctest) proves a floorless error is uncompilable. LEX AVCTOREM NON EXCIPIT — the law now binds its author. PROBATUM EST. (The #[derive(WatErrorRecord)] that forces the whole error BODY structural — closing the prose-in-errors class 296/AUDIT-prose-in-errors.md catalogs — is the NEXT MOVE, tracked separately; the WALL that forces the floor PRESENT is done.)