fix(drive): strengthen execution proof result validation - #4155

Closed

QuantumExplorer wants to merge 20 commits into

codex/fix-execution-proof-binding

Commits on Jul 20, 2026

fix(drive): bind execution proofs to transition results
QuantumExplorer
committed
a5107c2

Commits on Jul 21, 2026

test(drive): expect receipt-bound execution proofs
QuantumExplorer
committed
2239dac
fix(ci): bound Swift SDK build disk usage
QuantumExplorer
committed
bb38cb2
test(drive): reject unbound shield execution proofs
QuantumExplorer
committed
f05ce3c
fix(ci): guard Swift SDK cleanup paths
QuantumExplorer
committed
6136ed4
Merge remote-tracking branch 'origin/v4.1-dev' into codex/fix-execution-proof-binding
QuantumExplorer
committed
1a8915e
style(jni): format transaction decoder
QuantumExplorer
committed
30dca70
ci(kotlin): submit emulator unlock credential
QuantumExplorer
committed
1e362f2
ci(kotlin): retry emulator credential unlock
QuantumExplorer
committed
ea0dd7b
ci(rust): tolerate transient coverage cleanup races
QuantumExplorer
committed
47f2397
ci(rust): allow cold macOS workspace builds to finish
QuantumExplorer
committed
70b20d6
ci(rust): cover shielded tests in macOS timeout
QuantumExplorer
committed
e5a0d79

Commits on Jul 22, 2026

ci(rust): cover cold coverage generation timeout
QuantumExplorer
committed
c039102
fix(swift-sdk): set CI keychain in user domain
QuantumExplorer
committed
28619e6
ci(rust): verify coverage cleanup completion
QuantumExplorer
committed
488ad78
Merge branch 'v4.1-dev' into codex/fix-execution-proof-binding

QuantumExplorer
and
claude
committed
e9d6817
Merge remote-tracking branch 'origin/v4.1-dev' into work-4155
QuantumExplorer
committed
962c9ce
fix(drive): add affected-state proof verification for receipt-gated transitions

QuantumExplorer
and
claude
committed
828316c

Commits on Jul 23, 2026