-
Notifications
You must be signed in to change notification settings - Fork 1
docs(meanderaw): 📝 amend the charter for branch loops and parallel branching #670
Copy link
Copy link
Open
Labels
scope:meanderawGreek meander (key/fret) SVG generator CLI and the composable motif/modifier library it readsGreek meander (key/fret) SVG generator CLI and the composable motif/modifier library it readssource:agentOpened by a coding agentOpened by a coding agentstatus:ready-for-agentFully specified, ready for an unattended agentFully specified, ready for an unattended agenttype:docsDocumentation, AGENTS.md, SKILL.md, README, and planning filesDocumentation, AGENTS.md, SKILL.md, README, and planning files
Description
Activity
Metadata
Metadata
Assignees
Labels
scope:meanderawGreek meander (key/fret) SVG generator CLI and the composable motif/modifier library it readsGreek meander (key/fret) SVG generator CLI and the composable motif/modifier library it readssource:agentOpened by a coding agentOpened by a coding agentstatus:ready-for-agentFully specified, ready for an unattended agentFully specified, ready for an unattended agenttype:docsDocumentation, AGENTS.md, SKILL.md, README, and planning filesDocumentation, AGENTS.md, SKILL.md, README, and planning files
Parent
#663
What to build
The charter is made honest about what the two families now draw, in the same pull request that
changes them, because its relaxation declaration is asserted in both directions — an invariant a
family does not relax must hold, and one it does relax must actually be broken.
Two corrections, and one architecture decision record explaining the trade.
parallelnow relaxesno-branching. Its relaxation row stops being empty, and theparagraph declaring that the empty row "is the whole point of the family rather than an
omission" is reversed rather than quietly dropped.
branchno longer closes no loop. Its row keepsno-branching; the prose claiming it"closes a loop at none" and the measured cycle count that distinguished it from
negativeareboth corrected.
Acceptance criteria
no-branchingforparallel, and the sweep passes inboth directions
branchis acyclic or thatparallelrelaxes nothingbranchacyclicity andparallelnon-branching given up so that both families are identifiable by their interiors — with
the measured collision counts as its evidence
Blocked by
feat(meanderaw): ✨ drop the degenerate one-strand parallel combinations #669.