Unseal, Dissent, Rematch

Anvil does not expose independent “close” and “unseal” controls. On the sealed rail, Dad reviews the decided result while masks still hold; his verdict finalizes the run and releases the mask-to-brain mapping. Aborting a live run also seals the trail and reveals the cast. No other state unseals.

Dissent is a note beside the judges' decision, never a replacement pick. Dad may accept the result or record why he disagrees, but he does not rescore the field or crown another entry. The decided artifact remains exactly what the bench produced.

Rematch is the pressure valve. It creates a fresh run with its own draw, field, trail, and result, while linking back to the earlier contest. The brief may stay the same or the new premise may name changed evidence or mode; the original run is never reopened or edited.

Open Runs share the terminal rule even though Dad already knows the field live. Finalization reveals the identity information withheld from judges. A tied Open Run board may stand, and Dad can record dissent or request a fresh rematch rather than invoke sealed-rail runoff logic.

Verdict finalizes and reveals; dissent annotates; rematch starts anew. None of them rewrites the judges' decision.

Code

After a decision — all three branches preserve the record·python

def aftermath(run, action, note=""):
    """Three branches, and not one of them rewrites what came before."""
    if action == "accept":
        return {**run, "state": "finalized", "reveal": True}
    if action == "dissent":
        return {**run, "state": "finalized", "reveal": True,
                "dissent": note, "winner": run["winner"]}   # winner unchanged
    if action == "rematch":
        # Same premise, contested again -> rematch_of.
        # resumed_from is for cross-mode continuation only (08.03).
        return {"state": "composing", "rematch_of": run["id"],
                "winner": None}
    raise ValueError(f"{action}: there is no standalone unseal")


decided = {"id": "run-1", "state": "decided", "winner": "mask-B"}

assert aftermath(decided, "dissent", "A is better")["winner"] == "mask-B"
again = aftermath(decided, "rematch")
assert again["rematch_of"] == "run-1" and "resumed_from" not in again

try:
    aftermath(decided, "unseal")
except ValueError as exc:
    print(exc)

Unseal, Dissent, Rematch

Unseal, Dissent, Rematch

Code

External links

Exercise

Progress

Comments 0