Session-Gated Authorization — history

The dated record of how Session-Gated Authorization got here, moved out of the spec on 2026-10-21 because a reader does not need it to use the spec today. The spec keeps every section spec-format.md requires and its Deleted: tombstones; everything smaller is in git log -- compositions/session-gated-authorization.md.

Decisions

Entries that record a migration rather than a turn the pattern took.

• 2026-09-14 — Rewritten in GRACE lang v0.40; nothing but language changed. Chose: the single action as a signature block with Action wiring carrying the two-step gate, Primitive policy carrying the boundary predicate, Concurrency carrying the revocation race, the four invariant numbers unchanged, and the acceptance section’s two declared tiers split into Check and External check exactly as the prose divided them. Over: the prose spec. Because: the migration plan; nothing in the corpus cites this composition by label, so the rewrite is free of frozen-number risk. The families are the wiring surfaces this composition actually has — no Event schema, no Replay, because it stores nothing and rebuilds nothing.

Migration notes

• 2026-09-15 — Wiring decision 1, moved from Action wiring. Wiring decision 1 is Action wiring 4’s words, moved to the heading that names what it is when the headings were standardized (council read 80).