Build the deterministic payroll commitment core. - [ ] Canonical run ID and manifest - [ ] Domain-separated salted Poseidon leaves - [ ] Merkle root and inclusion proofs - [ ] Proof verifier - [ ] Deterministic fixtures and unit tests Exit criterion: every demo row verifies against one root; changing an amount or salt fails.
Build the deterministic payroll commitment core.
Exit criterion: every demo row verifies against one root; changing an amount or salt fails.