cypher-mask: a mask is the support of a frontier, never its bag (D-CMM-0..3) - #1305

Closed

AdaWorldAPI wants to merge 10 commits into

mainfrom

ccr-2fcc2bd3-8o7m2l

Commits on Sep 30, 2026

plan: cypher-mask multiplicity contract SPEC v1 (5+3 council, Phase 0)
claude
committed
a2bbadb
wip: consumer_semantics classifier + multiplicity differential tests
claude
committed
7b44cfa
wip: census consumes consumer_semantics
claude
committed
3f0a431
cypher-mask: a mask is the support of a frontier, never its bag (D-CMM-0..3)
claude
committed
2893177
plan: D-CMM ids on the multiplicity contract; cite the fixture by name, not line
claude
committed
e3d5751
classifier: fail closed on hops that do not chain or rebind a variable
claude
committed
a37b63b
wip: mid-chain rebind case
claude
committed
b314f71
board: census count after the chain-linearity fix
claude
committed
06265cc
plan: eleven qualified rows, not nine; scope the 4.6 multiplicity row
claude
committed
aeda0ec
contract §7: v1 is WALK; carrier sufficiency measured, not asserted
claude
committed
67abd29