neuwirth
/
epiphany
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Reconcile a process claim: park the listing gap, do not fake a Pass-13 row 

ced4b72's ratification log said the ConstrainedLayoutIR listing gap was "tracked
as a Pass-13 candidate", but PASS13_CANDIDATES.md declares that batch CLOSED with
no open candidates -- and the house rule opens a pass only at >=3 candidates. The
claim pointed at a ledger that says the opposite.

Filed where the rule wants it instead: layout-ir DECISIONS records the two fields
the listing still elides (break_origins, catalog), why neither blocks an
implementer (both are governed by requirement text elsewhere), and that it is
PARKED awaiting company rather than reopening a pass on its own. The log now says
that too.

No code, no spec text.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Levi Neuwirth 2026-07-09 11:02:20 -04:00
parent ced4b7255e
commit ab411f4cae
2 changed files with 24 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/epiphany-layout-ir/DECISIONS.md
View File

@ -680,3 +680,21 @@ strokes and curves.
page-margin annotation, names a non-`Staff` band and is owned by no staff. A
cross-staff slur is not drawn at this tier (`staff.is_some()` guards the curve;
it engraves to an anchor stroke), so a drawn curve always names a staff band.
## Parked: the ConstrainedLayoutIR listing is still abridged (2026-07-09)
Chapter 7's `ConstrainedLayoutIR` listing gained `strokes` / `curves` when
`req:layoutir:primitive-band-ownership` landed (that requirement depends on
them). Two fields the code carries are still absent from the listing:
- `break_origins: Vec<BreakOrigin>` — semantics ratified by
`req:layoutir:break-origin-attribution`; the struct listing omits the field and
`BreakOrigin`'s own shape appears nowhere in core_spec.
- `catalog: GlyphCatalogIdentity` — the *type* is specified (Ch7 §Glyph Catalog
Identity, and a conformance claim MUST declare it), but the listing omits it.
Neither blocks an implementation the way a missing `strokes`/`curves` did: both
are governed by requirement text elsewhere, so a conformant implementer is not
left guessing. **Parked, not open.** The Pass-13 batch is closed and the house
rule opens a pass at ≥3 candidates; this is one. It joins a future batch rather
than reopening one on its own.

10
spec/PASS12_RATIFICATION_LOG.md
View File

@ -266,10 +266,12 @@ listing still elides two fields the code carries: `break_origins: Vec<BreakOrigi
and `catalog: GlyphCatalogIdentity`. Both *types* are specified — the former's
semantics by `req:layoutir:break-origin-attribution`, the latter by Ch7 §Glyph
Catalog Identity — so only the struct listing is incomplete, and neither gap
blocks an implementation the way a missing `strokes`/`curves` would have. Tracked
as a Pass-13 candidate, deliberately not fixed here: the listing correction in
this tranche is scoped to exactly what `req:layoutir:primitive-band-ownership`
depends on.
blocks an implementation the way a missing `strokes`/`curves` would have. Filed in
`epiphany-layout-ir/DECISIONS.md` and **parked**: the Pass-13 batch is closed and
the house rule opens a pass at ≥3 candidates, so this waits for company rather
than reopening one. Deliberately not fixed here — the listing correction in this
tranche is scoped to exactly what `req:layoutir:primitive-band-ownership` depends
on.
**Deferred (documented, not open candidates).** A height model for the
inter-staff gap band — the missing piece behind both staff-less content placed