Skip to content

Expose bounded overall-height lanes (#2211) - #2222

Merged
pzfreo merged 1 commit into
fix/2211-pocket-size-lanesfrom
fix/2211-height-lane
Oct 7, 2026
Merged

pzfreo merged 1 commit into
fix/2211-pocket-size-lanesfrom
fix/2211-height-lane

Conversation

@pzfreo

@pzfreo pzfreo commented Oct 7, 2026 •

Copy link
Copy Markdown
Owner

Stacked on #2220 in GitHub stack #2229. Adds a one-based, witness-relative lane for the approved overall height dimension. The height rung is submitted to the shared whole-ink assignment; unavailable lanes report the requested rank and concrete blockers against the approved measurement. The existing automatic height ladder is unchanged.

Local review/preflight: real A4 drawing proves lane 2 places the complete dimension farther out than lane 1, with no drop; no-solver refusal is tested. 67 height/side/source-shape tests, 63 architecture/compiler-boundary tests, full mypy, Ruff, codespell, strict docs build, and 100% changed production-line coverage pass. Merge atomically with stack #2229 only when every required check is green.

@pzfreo
pzfreo force-pushed the fix/2211-height-lane branch from ca112f9 to 8c00608 Compare October 7, 2026 03:51
@pzfreo
pzfreo changed the base branch from fix/2211-envelope-lane to fix/2211-pocket-size-lanes October 7, 2026 03:51
@pzfreo
pzfreo added this pull request to stack #2229 October 7, 2026 03:52
@pzfreo
pzfreo force-pushed the fix/2211-height-lane branch from 8c00608 to 46975f8 Compare October 7, 2026 03:58
@pzfreo
pzfreo merged commit a56ccc2 into main Oct 7, 2026
19 checks passed
@pzfreo
pzfreo deleted the fix/2211-height-lane branch October 7, 2026 05:30
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