Skip to content

feat(model): flag a claim only when no seat sits on or above it - #302

Merged
GraemeF merged 5 commits into
mainfrom
bdi-9tml
Oct 9, 2026
Merged

GraemeF merged 5 commits into
mainfrom
bdi-9tml

Conversation

@GraemeF

@GraemeF GraemeF commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

A seat names its pane on the one bead covering its work and sets the beads beneath it in progress without a pane of their own. Until now every such step drew as an orphan claim.

An in-progress bead now fires orphan-claim only when neither it nor any bead above it has a pane. Above is the tree's nesting read upward, by either edge and at any depth, so a bead under several beads is covered by a pane on any one of them. A seated bead whose pane is out of the run's reach covers the beads beneath it, as it excuses its own claim. stale-claim still reads bd alone, so a covered claim still goes stale.

Coverage is gathered across every tree the run draws before any tree is built, so a bead drawn under two roots reads the same in both. docs/design.md carries the rule.

A seat names its pane on the one bead covering its work and sets the beads beneath it in progress without a pane of their own. An in-progress bead now fires orphan-claim only when neither it nor any bead above it, by either nesting edge, has a pane. A pane out of the run's reach covers the beads beneath it, as it excuses its own bead. The age rule is unchanged.
dun-7.1 and dun-7.3 sit under dun-7's pane, so they fire no orphan-claim. The two-rules example now uses an unseated claim.
Seat coverage was read from one tree at a time, so a claim drawn under two roots was covered in the seated root's tree and orphaned in the other. Coverage is now gathered across every tree before any tree is built.
@GraemeF
GraemeF merged commit a9acdea into main Oct 9, 2026
2 checks passed
@GraemeF
GraemeF deleted the bdi-9tml branch October 9, 2026 07:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant