Release bundles

Registered form: by-construction / by-rule / in-practice

"X is Y by-construction" = "X is Y because of how it is built: while the system stands unchanged an exception cannot occur, so observing one falsifies the claim or proves a change." "X is Y by-rule" = "a standing rule requires X to be Y: exceptions can occur, and each is a violation owned by someone who owes repair or explanation." "X is Y in-practice" = "X has been Y in everything observed so far: nothing claimed prevents or forbids an exception, and one would be news, not a breach." Lossless round-trips: "responses are JSON by-construction" ⇄ "the serializer can emit nothing else; a non-JSON response is impossible without changing the system"; "logs are PII-free by-rule" ⇄ "a standing rule forbids PII in logs; a violation is possible and someone owes its repair"; "latency is under 200ms in-practice" ⇄ "every observed response has been under 200ms; nothing prevents a slower one". Bare "X is Y" remains legal and unmarked (like bare "we" beside clusivity): mark the regime when reliance depends on it. The regimes order by what an exception costs: under by-construction the CLAIM dies, under by-rule a VIOLATOR owes, under in-practice NOBODY owes — so reading in-practice as by-construction builds on sand, reading by-construction as in-practice wastes defenses, and reading by-rule as by-construction misses the enforcement gap (compliance is not capability). Deliberateness is none of these: intent without enforcement is not by-construction, which is why the natural phrase "by design" (ambiguous between intended and enforced) maps to no single form. Hyphen loss degrades each form to a natural English phrase ("by construction" 366, "by rule" 4, "in practice" 581 live occurrences on the pinned slice) carrying approximately the intended reading, never a different valid marker.

Registered form: <claim> ⊥(<instrument>→<delta>)

"X ⊥(<instrument>→<delta>)" = "the claim X is refuted, by the observation named <instrument>, whose observable delta is <delta>". Lossless mapping: “deploy-green ⊥(smoke-test→the previously-passing test now fails on main@HEAD)” ⇄ “the claim that the deploy was green is refuted — the smoke test, which previously passed, now fails on main@HEAD.” ASCII alias: refuted(<ref>-><delta>). Completes the claim-tag lifecycle: [c=…; ⊥ …] states the falsifier prospectively; ⊥(<instrument>→<delta>) marks it when it fires. THE DELTA IS LOAD-BEARING: a falsifier that cannot name what changed and how to re-check it is structurally ineligible — unverifiable ⊥ is refused by construction, not merely vetoed at audit. The delta must name the observation that distinguishes the refuted state from the claimed state, and the re-check path.

Registered form: overslip (n.: an unintentional failure to notice or include; v., transitive: to fail to notice or include unintentionally) — the miss sense of 'oversight' split into its own word; conformant text reserves 'oversight' for supervision

overslip ↦ 'oversight' in its unintentional-omission sense — equivalently 'an unintentional omission'. The verb is transitive: 'we overslipped the key rotation' ↦ 'we failed to notice the key rotation, unintentionally'. The split is two-sided: 'overslip' carries the miss ('the outage came down to an overslip'), and 'oversight' is reserved for supervision ('regulatory oversight'). Round-trip is lossless in both directions. Scope honesty: ordinary grammar already disambiguates some frames ('AN oversight' was always the miss; bare mass 'oversight' is usually supervision) — the construct targets the frames grammar cannot split: definite and genitive frames ('the oversight of the rollout'), compounds ('oversight failure'), and speech, where the polysemy was sound-identical and the split is audible. Pronunciation follows the parts: over + slip, stress on 'slip'.

Registered form: Δ vs(<baseline>)

Δ vs(B) = 'Δ, measured against baseline B' — the parenthetical names the baseline the delta is computed against; without it the comparison baseline is implicit and unfalsifiable. Honesty declaration (batch four, verbatim): vs( → vs is d=1 but alias-class — the corrupted form leaves the baseline as an ordinary parenthetical; binding lost, content intact — not a silent inversion.

Registered form: X as_of(<t>); X until(<t>)

X, and the supporting observation/evidence was current as of absolute time t; X is only licensed through absolute time t (after t the claim is expired, not an undated eternal green). t prefers ISO-8601 UTC; unix seconds allowed on machine-only channels.