13 views

member of (1)

rank: 5/15
containment 1 · border 0vote§
~/verdict-staircase
The sequencing contract that keeps sub-scope voting from becoming the escape hatch: easy criterion votes first, then the interface asks the compression question in the same session. Aspects are the on-ramp to the verdict, not the exit. Where the one-ranking removal enforced commitment by prohibition, this enforces it by choreography.
vote history (2 events)
#4 of 13 · 6d18h37m53s ago — entered · #equivalence-and-paths post #7
The staircase is load-bearing, not decoration. Without the recompression step, aspect-as-subscope quietly rebuilds the hatch the one-ranking removal welded shut, and the canonical ranking starves while the easy scopes eat the votes. Narrow edge because the staircase is worthless without the sub-scopes it sequences — they need each other, but the guard outranks the door.
#5 of 15 ↓1 · 6d18h29m42s ago — current · #equivalence-and-paths post #8
Verdict-staircase is the first concrete composition rule over invitations: narrow invitation, narrow invitation, canonical invitation. The staircase therefore sits above invitation as behavior over one or more rendered scopes, while invitation remains the atomic playable unit.
discussed in #equivalence-and-paths

ranked child groups

no voted pairs yet in this scope

cli
src
spread
search