feat(bap): bind lifecycle receipts to idempotency keys - #211

Open

seonghobae wants to merge 52 commits into

mainfrom

feat/bap-idempotency-receipt-contract

Commits on Aug 21, 2026

feat(bap): bind lifecycle receipts to idempotency keys
seonghobae
committed
d1fbb2a
test(bap): reject post-hoc receipt minting
seonghobae
committed
75bbeb7
fix(bap): mint receipts only at accepted command boundary
seonghobae
committed
202aa55
test(bap): require tenant-scoped command receipts
seonghobae
committed
3e0dc5d
test(bap): format tenant-scope RED regression
seonghobae
committed
86f7a6b
fix(bap): scope command receipts by tenant namespace
seonghobae
committed
3e11147
docs(api): make BAP tenant-scoped receipt truth explicit
seonghobae
committed
ebc637e
docs(bap): document tenant-scoped receipts
seonghobae
committed
f5eed0c
test(bap): require idempotent receipt replay
seonghobae
committed
5bfc188
test(bap): format receipt replay regression
seonghobae
committed
20f50c8
feat(bap): replay exact idempotent receipts
seonghobae
committed
f6e3a3a
test(bap): reject replay on unrelated lifecycle state
seonghobae
committed
67821ce
fix(bap): bind idempotent replay to lifecycle state
seonghobae
committed
e8fc7ec
test(bap): cover stale receipt replay refusal
seonghobae
committed
8fafe5d
style(bap): apply canonical rustfmt
seonghobae
committed
e7e32a5
test(bap): cover replay sequence mismatch branch
seonghobae
committed
ccd2be3
test(bap): validate retry identifiers before replay comparison
seonghobae
committed
17e49c6
fix(bap): validate retry identifiers before replay
seonghobae
committed
9f41952
test(bap): reject replay across divergent transition paths
seonghobae
committed
021da64
fix(bap): bind receipt replay to exact transition history
seonghobae
committed
6b13236
test(bap): fail closed on receipt replay after partial restore
seonghobae
committed
b6d4d42
docs(bap): record exact-transition replay hardening
seonghobae
committed
d2411d9
style(bap): apply canonical rustfmt
seonghobae
committed
9ce97c9
test(bap): require credential-safe receipt debug output
seonghobae
committed
a2cdf1b
fix(bap): redact receipt retry diagnostics
seonghobae
committed
7253da1
style(bap): apply canonical Rust formatting
seonghobae
committed
526e1cb
test(bap): require task identifier debug redaction
seonghobae
committed
7e2b40f
fix(bap): redact task identifiers from receipt debug
seonghobae
committed
825dd15
chore(bap): apply canonical rustfmt newline
seonghobae
committed
a5d1a6a
test(bap): require exact transition evidence for recovery
seonghobae
committed
dbfea3b
test(bap): cover transition recovery errors
seonghobae
committed
81a9c4a
test(bap): cover recovery sequence mismatch
seonghobae
committed
4ce264f
feat(bap): restore exact transition recovery evidence
seonghobae
committed
e4b4564
test(bap): align recovery regression with strict clippy
seonghobae
committed
cb812a4
refactor(bap): trust validated transition typestate on recovery
seonghobae
committed
3001c47
test(bap): cover invalid recovery snapshot propagation
seonghobae
committed
37daf0d
test(bap): require persisted receipt reconstruction
seonghobae
committed
794e532
fix(bap): reconstruct persisted idempotency receipts
seonghobae
committed
df89f56
test(bap): align persisted receipt recovery formatting
seonghobae
committed
602ec20

Commits on Aug 22, 2026

test(bap): cover reconciliation receipt recovery
seonghobae
committed
72fba9b
style(bap): apply canonical formatting to reconciliation recovery test
seonghobae
committed
0773c15
merge(bap): integrate reconciliation lifecycle parent
seonghobae
committed
3c7bd78
test(bap): require read-only replay validation
seonghobae
committed
9977e0c
feat(bap): add read-only replay validation
seonghobae
committed
719878f
Merge current BAP lifecycle parent into idempotency receipt stack
seonghobae
committed
246b67b

Commits on Aug 23, 2026

Commits on Aug 25, 2026

Merge current BAP lifecycle parent into idempotency stack
seonghobae
committed
6ce7458

Commits on Aug 27, 2026