Implement taco-taco and taco-tortilla validity checks #47

New issue

Closed

opened 2026-07-03 13:18:29 +00:00 by toph · 0 comments

toph commented

2026-07-03 13:18:29 +00:00

Owner

The pocket slice, deferred from #28 (design §8). PR1 (#26/#40) made edges first-class with per-edge left/right adjacency, and PR2 (#43) added neighbors/crease_piece_on_face — so the crease-adjacency these checks need is now available. Fold_state.validity_error currently does only acyclicity + tortilla-tortilla; taco-taco and taco-tortilla are still unimplemented.

Add them on top of the edge adjacency, with error messages naming the offending faces/creases, and example .bel programs that trip each check.

The pocket slice, deferred from #28 (design §8). PR1 (#26/#40) made edges first-class with per-edge `left`/`right` adjacency, and PR2 (#43) added `neighbors`/`crease_piece_on_face` — so the crease-adjacency these checks need is now available. `Fold_state.validity_error` currently does only acyclicity + tortilla-tortilla; taco-taco and taco-tortilla are still unimplemented. Add them on top of the edge adjacency, with error messages naming the offending faces/creases, and example `.bel` programs that trip each check.

toph referenced this issue

2026-07-03 13:18:52 +00:00

Make named creases material; add flap operands (#28) #43

toph referenced this issue

2026-07-04 19:06:41 +00:00

design: first-class topology in Fold_state (pocket-slice prerequisite) #26

toph referenced this issue from a commit

2026-07-04 19:15:14 +00:00

feat(fold): taco-taco and taco-tortilla layer-ordering checks (#47)

toph referenced this issue

2026-07-04 19:15:33 +00:00

feat(fold): taco-taco and taco-tortilla validity checks #62