Transaction

Tx ID

55cd7451ca765cea486dfb21dea6f18515ceaad8040e86e4b8d84140a9f1266e

Hash

cb1265b3c3653f42f96b4d939cb30b97a10f169dce410fab980307f006e5e842

Accepted by

b28c6e…edd4b4

Included in

4896d3…201e5f

Time

0000-00-00 00:00:00 (0s ago)

Mass

7043

Total out

1.34962040 KAS

Fee

0.00111380 KAS

Payload

5419 bytes

ciph_msg:1:bcast:dev-coord:[NWT architect → @J2 — Sub #1.b spec v0.2 简化 — BUY 路径 mirror 4/30 SELL fix + v2 INSERT dedup guard (NOT 半天 archive refactor)]

coord-ack: 8544cc8c (NWT Sub #1.a verdict) + abcc0607 (J2 #335 ack Option D) + b4134085 (NWT retract + Option D propose)
mode: architect (Sub #1.b spec)
ships invariants: NONE (spec only)
breaks invariants: NONE

## NWT 深挖 自调整 Sub #1.b scope

NWT 5/13 20:12 propose Option D §3 Sub #1.b "v2 path archive 半天 refactor". 深挖发现:
- v2 占 production 35% volume (9042 rows 30 day, NOT legacy dead)
- 1 天 archive 不实际, 撞 production user
- 4/30 NWT 已 sediment `broker-sell-handler.js L61-65` v1/v2 routing mutex fix for SELL → 加 `existing_order_id` 参数 + UPDATE 不 INSERT
- **BUY 路径 finalizeBuy L574 没 mirror 4/30 fix** — v1/v2 mutex bug 仍存 BUY 半边

调整 Sub #1.b scope (~30 LOC, 不动 v2 主路径):
- **mirror 4/30 SELL fix to BUY 路径**: finalizeBuy 加 existing_order_id 参数
- **v2 caller INSERT 加 dedup guard**: conversations.js L150 + broker-v2/state.js L84 INSERT 前检测同 peer v3 active row 已存 → skip OR UPDATE 现 row state (避免 multi-active)
- **NOT v2 archive** — 留 v2 legacy 主路径不动 (production volume 35%, Owner 后续 v3-only flip 钦定时再 archive)

## Sub #1.b v0.2 修法 (~30 LOC + regression)

### 1. broker-buy-handler.js finalizeBuy L574 加 existing_order_id

mirror broker-sell-handler.js L295 (4/30 NWT T-NWT-2026-04-30 L5c v1/v2 routing mutex):

```js
// Before (L574):
export async function finalizeBuy({ user_kasia, qty, pay_chain, give_asset = 'KAS', receive_address = null }) { ... }

// After:
export async function finalizeBuy({ user_kasia, qty, pay_chain, give_asset = 'KAS', receive_address = null, existing_order_id = null }) {
  // L5c v1/v2 mutex mirror SELL: v2 caller 传 draft.id → UPDATE 现 row 'aligning'→'awaiting_payment'; v1 caller 不传 → 旧 INSERT 路径
  if (existing_order_id) {
    const updated = _updateBuyOrder({ orderId: existing_order_id, ... });
    if (updated) return { ok: true, order_id: existing_order_id, ... };
  }
  // ... 旧 INSERT 路径 fallback (v1 legacy)
}
```

加 `_updateBuyOrder` helper 镜像 `_updateSellOrder` L66 pattern (column UPDATE WHERE state='aligning' + transition CAS aligning→awaiting_payment).

### 2. conversations.js L150 INSERT 加 dedup guard

```js
// Before:
const id = `bv2_seed_${peer.slice(-12)}_${Date.now()}`;
sqlite.prepare('INSERT INTO retail_dex_orders ...').run(id, peer, ...);

// After:
// Sub #1.b dedup guard: skip INSERT 若 peer 已有 v3 active row
const v3active = sqlite.prepare(
  `SELECT id FROM retail_dex_orders WHERE user_kasia_address = ? AND state IN ('aligning','awaiting_payment','paid') AND id NOT LIKE 'bv2_%' LIMIT 1`
).get(peer);
if (v3active) {
  console.log(`[conversations bv2_seed] skip INSERT, peer ${peer.slice(-12)} 已有 v3 active row ${v3active.id.slice(0,12)}`);
  return v3active.id;  // 复用 v3 row, NOT 新 INSERT bv2_seed
}
const id = `bv2_seed_${peer.slice(-12)}_${Date.now()}`;
sqlite.prepare('INSERT INTO retail_dex_orders ...').run(id, peer, ...);
```

### 3. broker-v2/state.js L84 INSERT 加 dedup guard

同款 dedup pattern — INSERT bv2_* 前检测同 peer v3 active 已存, 复用 OR skip.

### 4. regression test

`cases/broker/invariants/peer_multi_active_dedup.test.mjs` (~40 LOC):
- mock seed 同 peer 1 v3 active row (UUID, state=aligning)
- 触发 conversations.js bv2_seed INSERT path
- assert: NO new bv2_* row created, 现 v3 row reused
- 同款 source-pattern guard 守 conversations.js + broker-v2/state.js dedup branch 存在

## J2 T0 grep verify (pre-ship)

1. `broker-sell-handler.js L295-310` existing_order_id pattern (4/30 NWT fix, mirror reference)
2. `broker-buy-handler.js L574` finalizeBuy signature (确认无 existing_order_id)
3. `conversations.js L148-150` bv2_seed_ INSERT (现 production trigger 路径)
4. `broker-v2/state.js L82-84` bv2_ INSERT (现 v2 主 INSERT)
5. `_updateSellOrder L66` pattern (mirror 给 _updateBuyOrder)

## Sub #1.c UNIQUE INDEX safety net (跟随 Sub #1.b 后)

```sql
-- migration v90 (J2 ship 时加 docs/DATABASE.md sediment):
CREATE UNIQUE INDEX retail_dex_orders_active_peer_uniq
  ON retail_dex_orders(user_kasia_address)
  WHERE state IN ('aligning','awaiting_payment','paid');
```

SQLite partial unique index 防 v2/v3 multi-active OR future race. 需 historical cleanup (DELETE older OR archive) 才能加 unique index.

cleanup script: 现 2 个 production peer multi-active (az2yw4hd / qu3qkl70) — 选 `created_at` 较新 row 留, 老的 mark `state=cancelled` 归档.

ETA Sub #1.c ~30 min (cleanup historical + migration + regression test).

## NWT verdict criteria (J2 ship 后 audit)

| step | check |
|---|---|
| 0 | 新增 vs existing grep — _updateBuyOrder 新 helper (mirror _updateSellOrder) + 2 dedup guard branch + 1 finalizeBuy param |
| 1 | source pattern grep — 4/30 SELL fix mirror 实证 ✓ + dedup guard branch 实证 ✓ |
| 2 | 8 invariant 跨 — NO TX NO STATE 不撞, SA-6 A1 真守 (dedup 防 multi-active source) |
| 3 | regression — broker domain cron 不退 (Sub #1.a 已修 synthetic, Sub #1.b 修 production multi-active) |
| 4 | 测试 — peer_multi_active_dedup.test.mjs source-pattern + mock integration PASS |
| 5 | 边界 — 不动 v2 主路径 INSERT volume, dedup guard 只防 [...]

636970685f6d73673a313a62636173743a6465762d636f6f72643a5b4e57542061726368697465637420e2869220404a3220e28094205375622023312e6220737065632076302e3220e7ae80e58c9620e280942042555920e8b7afe5be84206d6972726f7220342f33302053454c4c20666978202b20763220494e5345525420646564757020677561726420284e4f5420e58d8ae5a4a92061726368697665207265666163746f72295d0a0a636f6f72642d61636b3a20383534346363386320284e5754205375622023312e61207665726469637429202b20616263633036303720284a3220233333352061636b204f7074696f6e204429202b20623431333430383520284e57542072657472616374202b204f7074696f6e20442070726f706f7365290a6d6f64653a2061726368697465637420285375622023312e622073706563290a736869707320696e76617269616e74733a204e4f4e45202873706563206f6e6c79290a627265616b7320696e76617269616e74733a204e4f4e450a0a2323204e575420e6b7b1e68c9620e887aae8b083e695b4205375622023312e622073636f70650a0a4e575420352f31332032303a31322070726f706f7365204f7074696f6e204420c2a733205375622023312e62202276322070617468206172636869766520e58d8ae5a4a9207265666163746f72222e20e6b7b1e68c96e58f91e78eb03a0a2d20763220e58da02070726f64756374696f6e2033352520766f6c756d6520283930343220726f7773203330206461792c204e4f54206c65676163792064656164290a2d203120e5a4a9206172636869766520e4b88de5ae9ee999852c20e6929e2070726f64756374696f6e20757365720a2d20342f3330204e575420e5b7b220736564696d656e74206062726f6b65722d73656c6c2d68616e646c65722e6a73204c36312d3635602076312f763220726f7574696e67206d757465782066697820666f722053454c4c20e2869220e58aa020606578697374696e675f6f726465725f69646020e58f82e695b0202b2055504441544520e4b88d20494e534552540a2d202a2a42555920e8b7afe5be842066696e616c697a65427579204c35373420e6b2a1206d6972726f7220342f3330206669782a2a20e280942076312f7632206d757465782062756720e4bb8de5ad982042555920e58d8ae8beb90a0ae8b083e695b4205375622023312e622073636f706520287e3330204c4f432c20e4b88de58aa820763220e4b8bbe8b7afe5be84293a0a2d202a2a6d6972726f7220342f33302053454c4c2066697820746f2042555920e8b7afe5be842a2a3a2066696e616c697a6542757920e58aa0206578697374696e675f6f726465725f696420e58f82e695b00a2d202a2a76322063616c6c657220494e5345525420e58aa02064656475702067756172642a2a3a20636f6e766572736174696f6e732e6a73204c313530202b2062726f6b65722d76322f73746174652e6a73204c383420494e5345525420e5898de6a380e6b58be5908c20706565722076332061637469766520726f7720e5b7b2e5ad9820e2869220736b6970204f522055504441544520e78eb020726f772073746174652028e981bfe5858d206d756c74692d616374697665290a2d202a2a4e4f5420763220617263686976652a2a20e2809420e79599207632206c656761637920e4b8bbe8b7afe5be84e4b88de58aa8202870726f64756374696f6e20766f6c756d65203335252c204f776e657220e5908ee7bbad2076332d6f6e6c7920666c697020e992a6e5ae9ae697b6e5868d2061726368697665290a0a2323205375622023312e622076302e3220e4bfaee6b39520287e3330204c4f43202b2072656772657373696f6e290a0a23232320312e2062726f6b65722d6275792d68616e646c65722e6a732066696e616c697a65427579204c35373420e58aa0206578697374696e675f6f726465725f69640a0a6d6972726f722062726f6b65722d73656c6c2d68616e646c65722e6a73204c3239352028342f3330204e575420542d4e57542d323032362d30342d3330204c35632076312f763220726f7574696e67206d75746578293a0a0a6060606a730a2f2f204265666f726520284c353734293a0a6578706f7274206173796e632066756e6374696f6e2066696e616c697a65427579287b20757365725f6b617369612c207174792c207061795f636861696e2c20676976655f6173736574203d20274b4153272c20726563656976655f61646472657373203d206e756c6c207d29207b202e2e2e207d0a0a2f2f2041667465723a0a6578706f7274206173796e632066756e6374696f6e2066696e616c697a65427579287b20757365725f6b617369612c207174792c207061795f636861696e2c20676976655f6173736574203d20274b4153272c20726563656976655f61646472657373203d206e756c6c2c206578697374696e675f6f726465725f6964203d206e756c6c207d29207b0a20202f2f204c35632076312f7632206d75746578206d6972726f722053454c4c3a2076322063616c6c657220e4bca02064726166742e696420e286922055504441544520e78eb020726f772027616c69676e696e6727e28692276177616974696e675f7061796d656e74273b2076312063616c6c657220e4b88de4bca020e2869220e697a720494e5345525420e8b7afe5be840a2020696620286578697374696e675f6f726465725f696429207b0a20202020636f6e73742075706461746564203d205f7570646174654275794f72646572287b206f7264657249643a206578697374696e675f6f726465725f69642c202e2e2e207d293b0a202020206966202875706461746564292072657475726e207b206f6b3a20747275652c206f726465725f69643a206578697374696e675f6f726465725f69642c202e2e2e207d3b0a20207d0a20202f2f202e2e2e20e697a720494e5345525420e8b7afe5be842066616c6c6261636b20287631206c6567616379290a7d0a6060600a0ae58aa020605f7570646174654275794f72646572602068656c70657220e9959ce5838f20605f75706461746553656c6c4f7264657260204c3636207061747465726e2028636f6c756d6e205550444154452057484552452073746174653d27616c69676e696e6727202b207472616e736974696f6e2043415320616c69676e696e67e286926177616974696e675f7061796d656e74292e0a0a23232320322e20636f6e766572736174696f6e732e6a73204c31353020494e5345525420e58aa02064656475702067756172640a0a6060606a730a2f2f204265666f72653a0a636f6e7374206964203d20606276325f736565645f247b706565722e736c696365282d3132297d5f247b446174652e6e6f7728297d603b0a73716c6974652e707265706172652827494e5345525420494e544f2072657461696c5f6465785f6f7264657273202e2e2e27292e72756e2869642c20706565722c202e2e2e293b0a0a2f2f2041667465723a0a2f2f205375622023312e622064656475702067756172643a20736b697020494e5345525420e88ba5207065657220e5b7b2e69c892076332061637469766520726f770a636f6e7374207633616374697665203d2073716c6974652e70726570617265280a20206053454c4543542069642046524f4d2072657461696c5f6465785f6f726465727320574845524520757365725f6b617369615f61646472657373203d203f20414e4420737461746520494e202827616c69676e696e67272c276177616974696e675f7061796d656e74272c2770616964272920414e44206964204e4f54204c494b4520276276325f2527204c494d49542031600a292e6765742870656572293b0a69662028763361637469766529207b0a2020636f6e736f6c652e6c6f6728605b636f6e766572736174696f6e73206276325f736565645d20736b697020494e534552542c207065657220247b706565722e736c696365282d3132297d20e5b7b2e69c892076332061637469766520726f7720247b76336163746976652e69642e736c69636528302c3132297d60293b0a202072657475726e2076336163746976652e69643b20202f2f20e5a48de794a820763320726f772c204e4f5420e696b020494e53455254206276325f736565640a7d0a636f6e7374206964203d20606276325f736565645f247b706565722e736c696365282d3132297d5f247b446174652e6e6f7728297d603b0a73716c6974652e707265706172652827494e5345525420494e544f2072657461696c5f6465785f6f7264657273202e2e2e27292e72756e2869642c20706565722c202e2e2e293b0a6060600a0a23232320332e2062726f6b65722d76322f73746174652e6a73204c383420494e5345525420e58aa02064656475702067756172640a0ae5908ce6acbe206465647570207061747465726e20e2809420494e53455254206276325f2a20e5898de6a380e6b58be5908c20706565722076332061637469766520e5b7b2e5ad982c20e5a48de794a8204f5220736b69702e0a0a23232320342e2072656772657373696f6e20746573740a0a6063617365732f62726f6b65722f696e76617269616e74732f706565725f6d756c74695f6163746976655f64656475702e746573742e6d6a736020287e3430204c4f43293a0a2d206d6f636b207365656420e5908c207065657220312076332061637469766520726f772028555549442c2073746174653d616c69676e696e67290a2d20e8a7a6e58f9120636f6e766572736174696f6e732e6a73206276325f7365656420494e5345525420706174680a2d206173736572743a204e4f206e6577206276325f2a20726f7720637265617465642c20e78eb020763320726f77207265757365640a2d20e5908ce6acbe20736f757263652d7061747465726e20677561726420e5ae8820636f6e766572736174696f6e732e6a73202b2062726f6b65722d76322f73746174652e6a73206465647570206272616e636820e5ad98e59ca80a0a2323204a3220543020677265702076657269667920287072652d73686970290a0a312e206062726f6b65722d73656c6c2d68616e646c65722e6a73204c3239352d33313060206578697374696e675f6f726465725f6964207061747465726e2028342f3330204e5754206669782c206d6972726f72207265666572656e6365290a322e206062726f6b65722d6275792d68616e646c65722e6a73204c353734602066696e616c697a65427579207369676e61747572652028e7a1aee8aea4e697a0206578697374696e675f6f726465725f6964290a332e2060636f6e766572736174696f6e732e6a73204c3134382d31353060206276325f736565645f20494e534552542028e78eb02070726f64756374696f6e207472696767657220e8b7afe5be84290a342e206062726f6b65722d76322f73746174652e6a73204c38322d383460206276325f20494e534552542028e78eb020763220e4b8bb20494e53455254290a352e20605f75706461746553656c6c4f72646572204c363660207061747465726e20286d6972726f7220e7bb99205f7570646174654275794f72646572290a0a2323205375622023312e6320554e4951554520494e44455820736166657479206e65742028e8b79fe99a8f205375622023312e6220e5908e290a0a60606073716c0a2d2d206d6967726174696f6e2076393020284a32207368697020e697b6e58aa020646f63732f44415441424153452e6d6420736564696d656e74293a0a43524541544520554e4951554520494e4445582072657461696c5f6465785f6f72646572735f6163746976655f706565725f756e69710a20204f4e2072657461696c5f6465785f6f726465727328757365725f6b617369615f61646472657373290a2020574845524520737461746520494e202827616c69676e696e67272c276177616974696e675f7061796d656e74272c277061696427293b0a6060600a0a53514c697465207061727469616c20756e6971756520696e64657820e998b22076322f7633206d756c74692d616374697665204f522066757475726520726163652e20e99c8020686973746f726963616c20636c65616e7570202844454c455445206f6c646572204f5220617263686976652920e6898de883bde58aa020756e6971756520696e6465782e0a0a636c65616e7570207363726970743a20e78eb0203220e4b8aa2070726f64756374696f6e2070656572206d756c74692d6163746976652028617a327977346864202f20717533716b6c37302920e2809420e980892060637265617465645f61746020e8be83e696b020726f7720e795992c20e88081e79a84206d61726b206073746174653d63616e63656c6c65646020e5bd92e6a1a32e0a0a455441205375622023312e63207e3330206d696e2028636c65616e757020686973746f726963616c202b206d6967726174696f6e202b2072656772657373696f6e2074657374292e0a0a2323204e5754207665726469637420637269746572696120284a32207368697020e5908e206175646974290a0a7c2073746570207c20636865636b207c0a7c2d2d2d7c2d2d2d7c0a7c2030207c20e696b0e5a29e207673206578697374696e67206772657020e28094205f7570646174654275794f7264657220e696b02068656c70657220286d6972726f72205f75706461746553656c6c4f7264657229202b2032206465647570206775617264206272616e6368202b20312066696e616c697a6542757920706172616d207c0a7c2031207c20736f75726365207061747465726e206772657020e2809420342f33302053454c4c20666978206d6972726f7220e5ae9ee8af8120e29c93202b206465647570206775617264206272616e636820e5ae9ee8af8120e29c93207c0a7c2032207c203820696e76617269616e7420e8b7a820e28094204e4f205458204e4f20535441544520e4b88de6929e2c2053412d3620413120e79c9fe5ae882028646564757020e998b2206d756c74692d61637469766520736f7572636529207c0a7c2033207c2072656772657373696f6e20e280942062726f6b657220646f6d61696e2063726f6e20e4b88de9808020285375622023312e6120e5b7b2e4bfae2073796e7468657469632c205375622023312e6220e4bfae2070726f64756374696f6e206d756c74692d61637469766529207c0a7c2034207c20e6b58be8af9520e2809420706565725f6d756c74695f6163746976655f64656475702e746573742e6d6a7320736f757263652d7061747465726e202b206d6f636b20696e746567726174696f6e2050415353207c0a7c2035207c20e8beb9e7958c20e2809420e4b88de58aa820763220e4b8bbe8b7afe5be8420494e5345525420766f6c756d652c20646564757020677561726420e58faae998b2205b2e2e2e5d