Paper II tick receipts describe a blocking causality poset: when a candidate rewrite is rejected due to footprint conflict, record which already-accepted candidates blocked it.
This issue tracks adding blocking attribution to warp-core tick receipts so tools can explain why a candidate was rejected (not just that it was).
Scope:
- Extend
TickReceipt to include a per-entry list of blocking predecessor indices (canonical plan order).
- Initially only for
Rejected(FootprintConflict); future rejection reasons can extend this.
- Keep
decision_digest encoding stable (do not incorporate blockers into commit hashes yet).
- Add tests that exercise multi-blocker scenarios.
- Update docs (
docs/aion-papers-bridge.md, docs/spec-merkle-commit.md notes, and decision log/execution plan).
Paper II tick receipts describe a blocking causality poset: when a candidate rewrite is rejected due to footprint conflict, record which already-accepted candidates blocked it.
This issue tracks adding blocking attribution to
warp-coretick receipts so tools can explain why a candidate was rejected (not just that it was).Scope:
TickReceiptto include a per-entry list of blocking predecessor indices (canonical plan order).Rejected(FootprintConflict); future rejection reasons can extend this.decision_digestencoding stable (do not incorporate blockers into commit hashes yet).docs/aion-papers-bridge.md,docs/spec-merkle-commit.mdnotes, and decision log/execution plan).