fix(key-wallet): out-of-order UTXO spend causes history divergence (#649) - #851

Closed

lklimek wants to merge 30 commits into

devfrom

fix/key-wallet-out-of-order-utxo-spend-649

Commits on Jul 7, 2026

test(key-wallet-manager): deterministic repro of the out-of-order spend-before-funding defect

lklimek
and
claude
committed
d718ad8
fix(key-wallet): root-cause fix for out-of-order spend-before-funding UTXO leak (#649)

lklimek
and
claude
committed
adaf9a3
test(key-wallet-manager): adversarial single-block scaling check for #649 guard

lklimek
and
claude
committed
e4406b0
style(key-wallet-manager): fmt fix for adversarial stress test

lklimek
and
claude
committed
0a2c6f9
fix(key-wallet): keep transaction_history in step with balance after #649 guard removals; polish

lklimek
and
claude
committed
7ef88d3
fix(key-wallet): make #649 guard removal idempotent across reprocessing (QA-001/QA-002)

lklimek
and
claude
committed
0185922
test(key-wallet): round-3 adversarial QA for #649 reprocessing fix

lklimek
and
claude
committed
1ac46f1
test(key-wallet): pin non-invariant — history_net != balance for pruned records (#649 B1)

lklimek
and
claude
committed
20600fe
refactor(key-wallet): thread observed-spent view into record/update_utxos (#649 B2)

lklimek
and
claude
committed
e2703df
fix(key-wallet): check-before-insert against observed_spent (#649 B3)

lklimek
and
claude
committed
71d17b8
fix(key-wallet): declarative funding-first recompute in guard removal (#649 B4)

lklimek
and
claude
committed
62bbf35
test(key-wallet): fix over-asserting gap-4 test — scope β to live records (#649 B5)

lklimek
and
claude
committed
4db4c01
docs(key-wallet): fix stale self-review comment on record_transaction (#649 B6)

lklimek
and
claude
committed
f4dbf1c
fix(key-wallet): anchor net_amount to account_match, not a re-derived sum (RUST-001/SEC-02)

lklimek
and
claude
committed
c2184f3
test(key-wallet): Marvin adversarial QA for #649 restructure — gap #5 + idempotency
lklimek
committed
8bde8eb
docs(key-wallet): trim over-budget comments, drop history/contrast framing (DOC-001..006)

lklimek
and
claude
committed
c272fa6
fix(key-wallet): clear script_pubkey_index alongside address_index in prune_unused

lklimek
and
claude
committed
6217f1f
revert(key-wallet): drop account_match-anchoring refactor for RUST-001 — investigated, no live defect

lklimek
and
claude
committed
58d0662
test(key-wallet): Marvin follow-up on Smythe's SEC-02 — net_amount source-of-truth shift
lklimek
committed
52d978d
test(key-wallet): construct Adams's RUST-001 scenarios 1 and 2, both unreachable
lklimek
committed
5558434
fix(key-wallet): adapt ported SEC-02 desync test to construct via direct field removal

lklimek
and
claude
committed
d48e078

Commits on Jul 8, 2026

fix(key-wallet): reword doc comment to satisfy typos pre-commit hook

lklimek
and
claude
committed
48a07d3
refactor(key-wallet): address PR #851 review findings for #649 fix

lklimek
and
claude
committed
45c518f
feat(key-wallet): bound observed_spent_outpoints via finality-boundary pruning

lklimek
and
claude
committed
5d7737b
test(key-wallet): pin QA-002 — late-added account resurrects pruned #649 coin

lklimek
and
claude
committed
8d103eb
fix(key-wallet): rewind sync checkpoint on account add to close QA-001

lklimek
and
claude
committed
98bc636
test: Marvin round-2 adversarial checks on QA-001 rewind/contiguity fix

lklimek
and
claude
committed
5a61739

Commits on Jul 9, 2026

Merge branch 'dev' into fix/key-wallet-out-of-order-utxo-spend-649
lklimek
authored
b3fb824

Commits on Jul 13, 2026

Merge branch 'dev' into fix/key-wallet-out-of-order-utxo-spend-649
lklimek
authored
be6e776

Commits on Jul 15, 2026

Merge branch 'dev' into fix/key-wallet-out-of-order-utxo-spend-649
lklimek
authored
73dcf3d