toph/beloch
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

docs(spec): sync SPECIFICATION.md to the shipped action model #14

Merged
toph merged 1 commit from v0.14-spec-sync into main 2026-06-30 08:20:31 +00:00
Conversation 0 Commits 1 Files changed 1 +147 -60
toph commented 2026-06-30 08:19:09 +00:00
Owner
Copy link

spec/SPECIFICATION.md had drifted — its last update was the syntax slice (#7), so it still described the old single-frame flat-crease-pattern output ("all creases U", "fold direction not modelled", file_creator 0.2.0-dev) and claimed @ folding was "not yet implemented". This syncs it to what actually shipped (#10 fold execution + dual output, and flip). Docs only; verified against real beloch fold output. Suite green (74/74).

Changes:

  • §1 — action-model framing (program → folded state → dual-frame FOLD; flat pattern is the no-@ special case).
  • §3 — creases appear as folded-state face edges; @ folds.
  • §4.3 cross — resolves to the material point on the topmost layer (Q2-B); errors only on parallel / off-paper.
  • §4.6 Folding (new) — @ performs the fold; moving (default = moved point; required for line axioms); mountain (default valley); the folded state (faces + isometry + layer stack); simple flat fold = reflect moving side + restack; derived M/V parity rule + accordion.
  • §4.7 flip (new) — turn the sheet over (orientation inverts + layers reverse → proper M/V; internal canonical axis).
  • §5 — @-fold and flip statements.
  • §7 rewritten — dual creasePattern (frame 0) + foldedForm (file_frames[0], frame_inherit): paper vs table coords, derived edges_assignment (B/M/V/U), edges_foldAngle, faceOrders for overlapping pairs, file_creator beloch 0.3.0-dev.
  • §8 — refreshed error list (same-place points, cross off-paper, axiom-5 ambiguity, moving required/on-axis); dropped the stale "@ not yet implemented".
  • Appendix A — flip_stmt added, grammar note corrected.
  • Appendix B — landed (faces…action model+flip) vs deferred (inline --(.a .b), non-flat angles, rotate, maneuvers, …).
`spec/SPECIFICATION.md` had drifted — its last update was the syntax slice (#7), so it still described the old single-frame flat-crease-pattern output ("all creases U", "fold direction not modelled", `file_creator 0.2.0-dev`) and claimed `@` folding was "not yet implemented". This syncs it to what actually shipped (#10 fold execution + dual output, and flip). Docs only; verified against real `beloch fold` output. Suite green (74/74). Changes: - **§1** — action-model framing (program → folded state → dual-frame FOLD; flat pattern is the no-`@` special case). - **§3** — creases appear as folded-state face edges; `@` folds. - **§4.3 `cross`** — resolves to the material point on the **topmost** layer (Q2-B); errors only on parallel / off-paper. - **§4.6 Folding (new)** — `@` performs the fold; `moving` (default = moved point; required for line axioms); `mountain` (default valley); the folded state (faces + isometry + layer stack); simple flat fold = reflect moving side + restack; **derived M/V** parity rule + accordion. - **§4.7 `flip` (new)** — turn the sheet over (orientation inverts + layers reverse → proper M/V; internal canonical axis). - **§5** — `@`-fold and `flip` statements. - **§7 rewritten** — dual `creasePattern` (frame 0) + `foldedForm` (`file_frames[0]`, `frame_inherit`): paper vs table coords, derived `edges_assignment` (B/M/V/U), `edges_foldAngle`, `faceOrders` for overlapping pairs, `file_creator beloch 0.3.0-dev`. - **§8** — refreshed error list (same-place points, cross off-paper, axiom-5 ambiguity, `moving` required/on-axis); dropped the stale "@ not yet implemented". - **Appendix A** — `flip_stmt` added, grammar note corrected. - **Appendix B** — landed (faces…action model+flip) vs deferred (inline `--(.a .b)`, non-flat angles, rotate, maneuvers, …).
Spec had drifted since #7 (syntax). Brings it current with #10 (fold execution)
and flip: §1 action-model framing; §4.3 cross resolves to the top layer; new
§4.6 (folding: @, folded state, derived M/V) + §4.7 (flip); §5 fold/flip
statements; §7 rewritten to the dual creasePattern+foldedForm contract
(derived M/V, edges_foldAngle, faceOrders, frame_inherit); §8 errors refreshed;
Appendix A grammar (flip, corrected note); Appendix B landed-vs-deferred.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
toph merged commit cca7be5a30 into main 2026-06-30 08:20:31 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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!14
No description provided.