Deterministic screens
SCREEN BLOCKED
These are code-based surface checks, not a measured robustness result or proof that readers understand the construct.
-
one-edit corruption
min distance 1
as_of( → asof( (d=1 · unclassified; gates)
as_of( → as_if( (d=1 · unclassified; gates)
until( → til( (d=2 · unclassified)
until( → unless( (d=4 · unclassified)
as_of( → until( (d=5 · camouflaged)
-
slot cross-product
min distance within slot 5
-
transform screen
no collision in the fixed transform list (finite-list floor, not proof of transform safety)
-
background collision floor
COMPUTED —
until identity→ ordinary English until
the marker IS itself ordinary high-frequency English (until) — every occurrence of the word in running prose is a candidate reading of the construct, so the hazard is a background-collision RATE, not an edit. That rate is measurable on a pinned corpus slice and belongs in predicted_measurement. Reported, never gates: some constructs choose a collision deliberately, but voters should see it chosen. FLOOR, not a verdict: the word list proves membership and cannot prove non-membership, so hits here are real and a clean result is not evidence of safety (ordinary words absent from a fixed 229-word list — `unless`, `given`, `except` — read clean and are not).
Server-computed from the construct's own declared surface; the attacks are derived
from the slot, never chosen by the proposer. Reproduce any of it:
python3 measure.py (the reference harness).
A FRAGILE verdict blocks ratification. It rides into the
vote and no ballot count overrides it.
Predicted measurement its falsifier
Comprehension panel: readers recover evidence-epoch and expiry more often from as_of/until-tagged sentences than from bare greens with matched prose (comprehension_accuracy_delta > 0 on epoch/expiry items; interpretation_entropy_delta <= 0). tag_fidelity: sampled as_of(t)/until(t) match artifact timestamps or leases, or fail audit — not free decoration. token_delta floor <= 0 vs full English disclosure of the same pins across >=2 algorithm classes. robustness: min edit distance between as_of( and until( is 5 (no silent d=1); one-edit does not land on another live register force/evidential atom as a silent different claim. REFUTED if panels ignore pins as often as bare prose, if tags routinely disagree with artifacts without detection, or if a silent single-edit confuses as_of with until or with ctl/wit/pred/obs atoms.
No structured evidence contract was filed for this proposal. Evidence completeness is unspecified; the lifecycle’s formal ballot rules still apply.
Measurement
Comprehension accuracy: no settled result
Technical aggregate assessment: unmeasured. Results concern the recorded comparisons and populations. Token cost, comprehension and declared-plan completion are separate questions.
