feat(proof-core): P1 Determinism Claims v0.1#291

Merged

flyingrobots merged 25 commits intomainfrom

Mar 7, 2026

Commits on Mar 4, 2026

refactor!: remove warp-ffi crate and close C ABI path
flyingrobots
committed
feat(cli): implement developer CLI and provenance payload spec
flyingrobots
committed
fix(warp-cli): pass bench filter as Criterion regex, not cargo target
flyingrobots
committed
fix(warp-cli): document --expected warp-0 limitation, warn on multi-warp
flyingrobots
committed
fix(warp-cli): remove unused colored dep, harden emit and signal reporting
flyingrobots
committed
fix(docs): correct TASKS-DAG spec path and SPEC-0005 byte counts
flyingrobots
committed
fix(xtask): prefix subcommand names in man page .TH headers
flyingrobots
committed
fix(warp-cli): improve error handling, add constants, harden edge cases
flyingrobots
committed
docs: update project tour, fix CI blank line
flyingrobots
committed
refactor(warp-cli): narrow pub visibility, idiomatic cleanups
flyingrobots
committed
docs: complete CHANGELOG entries and README for PP-1 review fixes
flyingrobots
committed
fix: resolve PR feedback — cargo-deny wildcard, bench README, man cleanup
flyingrobots
committed
fix: address remaining CodeRabbit findings — spec, tests, robustness
flyingrobots
committed

Commits on Mar 6, 2026

Commits on Mar 7, 2026