spec: update constraint ID system#570

Open

erik-3milabs wants to merge 25 commits into

spec/constraint_id

Commits on Jun 11, 2026

spec/constraint_id: introduce FNV-1a hash

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: compute constraint ID upon load

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: attempt at new id

erik-3milabs
authored and
RobinJadoul
committed
spec: drop "constraint" from "polynomial constraint"

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: refactor ID

erik-3milabs
authored and
RobinJadoul
committed
spec: completely hide unused constraint table columns

erik-3milabs
authored and
RobinJadoul
committed
spec: squish column table iter notation

erik-3milabs
authored and
RobinJadoul
committed
spec: reduce some constraint table column widths

erik-3milabs
authored and
RobinJadoul
committed
spec: introduce thin lines between constraints

erik-3milabs
authored and
RobinJadoul
committed
spec: use chip codes as shorthand in constraint notation

erik-3milabs
authored and
RobinJadoul
committed
spec: fix tooling

erik-3milabs
authored and
RobinJadoul
committed
spec: update assumption naming

erik-3milabs
authored and
RobinJadoul
committed
spec/chip: fix missing sum defaults

erik-3milabs
authored and
RobinJadoul
committed
spec: fix z-fill bug

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: use \x00 as domain separator

authored and
RobinJadoul
committed
spec/chip: fix reading "code"

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: include `tag` in constraint-ID derivation

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: support indexing for chips beyond 99 constraints

erik-3milabs
authored and
RobinJadoul
committed
spec/constraint_id: drop bytes-to-hex

erik-3milabs
authored and
RobinJadoul
committed

Commits on Jun 24, 2026

spec/constraint_id: tweaks
erik-3milabs
committed

Commits on Jun 25, 2026

Commits on Jun 26, 2026