docs(spec): cleanup - toward modes, stale layer text, moving wording, silent no-op folds #32

New issue

Open

opened 2026-07-02 14:03:40 +00:00 by toph · 0 comments

toph commented

2026-07-02 14:03:40 +00:00

Owner

Bundle of spec/diagnostic corrections, no design decisions required:

toward has two meanings: sector containment for axiom 5 vs. nearest landing point (exact squared distance) for axioms 6/7. examples/bisect-intermediate.bel exists because users misread the first. Document them as two named selection modes.
Spec §4.6 still says faces are "ordered bottom→top (the layer stack)" — stale since the partial-order model shipped.
Spec §4.6: moving .p says "the flap containing material point .p"; the implementation moves everything on .p's table-space side across all layers (eval.ml:268). Say what the implementation does ("the side of the crease line, through all layers") until flap selection is actually designed.
A fold whose axis misses the paper (or runs along the boundary) is a silent no-op — no record, no error, no state change. Emit a diagnostic.
Precreases in a folded frame emit "U"; FOLD's "F" (flat, 0°) is the faithful assignment for a crease that is present but unfolded in a folded form.

Bundle of spec/diagnostic corrections, no design decisions required: - `toward` has two meanings: sector containment for axiom 5 vs. nearest landing point (exact squared distance) for axioms 6/7. `examples/bisect-intermediate.bel` exists because users misread the first. Document them as two named selection modes. - Spec §4.6 still says faces are "ordered bottom→top (the layer stack)" — stale since the partial-order model shipped. - Spec §4.6: `moving .p` says "the flap containing material point `.p`"; the implementation moves everything on `.p`'s table-space side across all layers (`eval.ml:268`). Say what the implementation does ("the side of the crease line, through all layers") until flap selection is actually designed. - A fold whose axis misses the paper (or runs along the boundary) is a silent no-op — no record, no error, no state change. Emit a diagnostic. - Precreases in a folded frame emit `"U"`; FOLD's `"F"` (flat, 0°) is the faithful assignment for a crease that is present but unfolded in a folded form.

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

toph/beloch#32

No description provided.

Rows
Columns