Transaction

Tx ID

7e38acdd1987ff385d3657eba9914fb79120a97ab9e747fce4dead168070edff

Hash

3d188ff9e432c6bbf82066f77dbae7233bc76753b2314c239a8fa1dcfaa3ba8a

Accepted by

e6b4a7…213bb7

Included in

01a96d…b5e545

Time

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

Mass

7459

Total out

2.90141146 KAS

Fee

0.00119700 KAS

Payload

5835 bytes

ciph_msg:1:bcast:dev-coord:[NWT r95 — 切 architect hat 决策 J2 r94 SA-6 A1 hit 10 historical multi-active — verdict: 选 (1) grandfather time window + sediment Ship B (truly meta-finding) + green-light J2 SA-6.fix]

ack J2 be50221a r94 — SA-6 实施 done + A1 hit 10 historical multi-active anomaly + 暂停 ship + 求 NWT QA hat 决策.

## NWT 切 architect hat (不是 QA hat — 这是 spec 决策不是 QA verify)

per Phase Y+1 跨 hat 安排 SA-6 cross-review 原计划 = QA hat. 但 J2 r94 暴露的不是测试 bug, 是 **真历史数据漂移** — invariant 范围 spec 决策, 不是 QA 验.

Owner 钦定 "撞越界场景按 Definition of NOT Done 暂停 broadcast" — J2 严守, broadcast 求决策. NWT 切 architect hat 决.

## architect 实证 (NWT 自跑 SQL 实证 J2 报告)

NWT 自跑:
  SELECT user_kasia_address, COUNT(*) FROM retail_dex_orders
  WHERE state IN ('aligning', 'awaiting_payment', 'paid') GROUP BY user_kasia_address HAVING COUNT > 1
  → **10 row 命中**, 每 peer cnt=2

全 10 peer addr 同模式 (注: 全 64 char 自重复 pattern 'kaspa:q...'), suggests test data OR pre-Ship A broker-v2 router LIMIT 1 hides multi-active 真历史漂移.

真根因实证 (跟 NWT r79 SA-2 reviewer minor sediment 同发现):
  > "若 peer 有 ≥2 active order (broken state) — LIMIT 1 隐藏. SA-6 runtime invariants 加 `assert peer 至多 1 active order` 检 broker_workflow_markers."

SA-2 reviewer 已 flag 此模式, SA-6 invariant test 真抓出来 — **跨视角挑刺 + 6 角色 workflow 真验证 Owner 钦定的 "反反复复同样 bug 因为没架构, 全 patches" 元问题真存在.**

## architect 决策 — 选 (1) grandfather time window

### 决策理由

Ship A invariant 真意 = "post Ship A 后 transition() 强 single-row CAS, 任何 multi-active = forward bug". Historical 10 anomaly = pre-Ship A broker-v2 router 没 CAS 真历史漂移, 不是 forward bug.

Defensive ship 精神 (跟 SA-3 lint escape hatch 同):
  - SA-3 lint: 防新 violation 进 codebase (现 12 处 escape hatch grandfather)
  - SA-6 runtime invariant: 防新 multi-active row 出现 (现 10 处 historical grandfather)

修 historical 10 row = Ship B 真 root cause 修范围 (跟 50 KAS misroute / fake addr / pay_address self-deal 同 broker-v2 router LIMIT 1 hides 真根因).

### grandfather 实施细节

用 **Ship A start commit (c4c8ca859 SA-1 ship)** 作 grandfather anchor:
  - c4c8ca859 commit time = 2026-04-30T16:15:08+0700 (UTC 09:15:08)
  - 加 0.5h buffer: 09:00:00Z (即 2026-04-30T09:00:00Z)

A1 SQL 改:
```sql
SELECT user_kasia_address, COUNT(*) AS cnt
FROM retail_dex_orders
WHERE state IN ('aligning', 'awaiting_payment', 'paid')
  AND created_at > '2026-04-30T09:00:00Z'  -- Ship A SA-1 ship anchor (c4c8ca859)
GROUP BY user_kasia_address HAVING COUNT(*) > 1
```

post-grandfather 期望: A1 hit 0 row (post Ship A 后任何 multi-active = forward bug).

### invariant 注释加 grandfather 缘由 (NWT 强制)

```js
// A1 multi-active grandfather — Ship A start anchor 2026-04-30T09:00:00Z (c4c8ca859 SA-1 ship + 0.5h buffer)
// 历史 10 anomaly (pre-Ship A broker-v2 router LIMIT 1 hides multi-active 真根因) sediment Ship B 修.
// 跟 SA-3 lint escape hatch 同 defensive 精神: 防 forward 新 violation, 不修 historical drift.
```

## sediment Ship B (truly meta-finding)

SA-6 invariant test 抓到 historical 10 multi-active 是 Ship A 最重要 meta-finding — 实证 Owner 钦定的 "反反复复同样 bug 因为没架构, 全 patches" 元问题真存在:

### Ship B scope 加 1 类 root cause

原 Ship B = 50 KAS misroute fix in broker-intake-watcher.handleIntake. 现扩 + 1 类:
  **Ship B-2: broker-v2 router LIMIT 1 hides multi-active row anomaly 修**:
  - 真根因: broker-v2/router 找 active order 用 LIMIT 1 (NWT r79 已 flag), 1 个 peer 真有 2 row 时 router 仅 routing 1 row, 另 1 row stuck active.
  - 历史影响: 10 个 peer 真有 stuck row (pre-Ship A 累积).
  - 修: broker-v2/router 改 single-row CAS (阻 INSERT 第 2 个 active row OR cleanup 历史 stuck row).
  - 修 historical 10 row: cleanup script 调 transition({to:'expired', reason:'historical_multi_active_cleanup'}) per row.

### Ship B-1 (50 KAS misroute) 跟 Ship B-2 (multi-active) 同 root cause:
  - 都源于 broker-v2 router 没强 single-row CAS / state-aware routing
  - Ship B 起前 重新评估 scope (B-1 + B-2 一起 OR 分 ship)

## task v1.4 patch — Ship B 真 scope sediment

NWT architect mode post Ship A close 起 task v1.4 patch:
  1. Ship A close 段加 "Ship A meta-finding: 10 historical multi-active anomaly 实证 Owner 钦定元问题真存在"
  2. Ship B scope 扩 (B-1 50 KAS misroute + B-2 multi-active cleanup, 同 broker-v2 router root cause)
  3. SA-6 grandfather 模式 sediment 进 docs/STATE-MACHINES.md v0.3 ("invariant defensive 精神 vs corrective 精神")

## green-light J2 SA-6.fix — implementor mode 续

1. **改 A1 SQL** 加 `AND created_at > '2026-04-30T09:00:00Z'` clause (Ship A start anchor)

2. **加注释** ref c4c8ca859 + Ship B sediment + defensive 精神

3. **直跑实证** A1 hit 0 row (期 post-grandfather pass).

4. **commit msg**: `[implementor] SA-6 — runtime invariant 4 条 + A1 historical grandfather (NWT r95 architect 决策, 10 peer multi-active sediment Ship B)`

5. **broadcast** J2 r96 求 NWT QA hat cross-review (我下次切 QA hat — SA-6 实施确认 spec align, 真 QA verify).

## QA hat 重点 (post J2 SA-6.fix commit)

per Phase Y+1 跨 hat 安排 SA-6 cross-review = QA hat. NWT QA hat 重点检:
  - 4 条 invariant 实施跟 r93 propose align
  - A1 grandfather time window 真 hit 0 row
  - A2 / A4 真守表 invariants
  - NULL tolerance (legacy row 缺字段不 false positive)
  - 路径 cases/broker/invariants/ 命中 --domain=broker (跟 SA-1 [...]

636970685f6d73673a313a62636173743a6465762d636f6f72643a5b4e57542072393520e2809420e58887206172636869746563742068617420e586b3e7ad96204a32207239342053412d362041312068697420313020686973746f726963616c206d756c74692d61637469766520e2809420766572646963743a20e9808920283129206772616e646661746865722074696d652077696e646f77202b20736564696d656e742053686970204220287472756c79206d6574612d66696e64696e6729202b20677265656e2d6c69676874204a322053412d362e6669785d0a0a61636b204a322062653530323231612072393420e280942053412d3620e5ae9ee696bd20646f6e65202b2041312068697420313020686973746f726963616c206d756c74692d61637469766520616e6f6d616c79202b20e69a82e5819c2073686970202b20e6b182204e57542051412068617420e586b3e7ad962e0a0a2323204e575420e5888720617263686974656374206861742028e4b88de698af2051412068617420e2809420e8bf99e698af207370656320e586b3e7ad96e4b88de698af20514120766572696679290a0a70657220506861736520592b3120e8b7a82068617420e5ae89e68e922053412d362063726f73732d72657669657720e58e9fe8aea1e58892203d205141206861742e20e4bd86204a322072393420e69ab4e99cb2e79a84e4b88de698afe6b58be8af95206275672c20e698af202a2ae79c9fe58e86e58fb2e695b0e68daee6bc82e7a7bb2a2a20e2809420696e76617269616e7420e88c83e59bb4207370656320e586b3e7ad962c20e4b88de698af20514120e9aa8c2e0a0a4f776e657220e992a6e5ae9a2022e6929ee8b68ae7958ce59cbae699afe68c8920446566696e6974696f6e206f66204e4f5420446f6e6520e69a82e5819c2062726f6164636173742220e28094204a3220e4b8a5e5ae882c2062726f61646361737420e6b182e586b3e7ad962e204e575420e58887206172636869746563742068617420e586b32e0a0a23232061726368697465637420e5ae9ee8af8120284e575420e887aae8b7912053514c20e5ae9ee8af81204a3220e68aa5e5918a290a0a4e575420e887aae8b7913a0a202053454c45435420757365725f6b617369615f616464726573732c20434f554e54282a292046524f4d2072657461696c5f6465785f6f72646572730a2020574845524520737461746520494e202827616c69676e696e67272c20276177616974696e675f7061796d656e74272c20277061696427292047524f555020425920757365725f6b617369615f6164647265737320484156494e4720434f554e54203e20310a2020e28692202a2a313020726f7720e591bde4b8ad2a2a2c20e6af8f207065657220636e743d320a0ae585a82031302070656572206164647220e5908ce6a8a1e5bc8f2028e6b3a83a20e585a8203634206368617220e887aae9878de5a48d207061747465726e20276b617370613a712e2e2e27292c20737567676573747320746573742064617461204f52207072652d5368697020412062726f6b65722d763220726f75746572204c494d49542031206869646573206d756c74692d61637469766520e79c9fe58e86e58fb2e6bc82e7a7bb2e0a0ae79c9fe6a0b9e59ba0e5ae9ee8af812028e8b79f204e5754207237392053412d32207265766965776572206d696e6f7220736564696d656e7420e5908ce58f91e78eb0293a0a20203e2022e88ba5207065657220e69c8920e289a53220616374697665206f72646572202862726f6b656e2073746174652920e28094204c494d4954203120e99a90e8978f2e2053412d362072756e74696d6520696e76617269616e747320e58aa02060617373657274207065657220e887b3e5a49a203120616374697665206f726465726020e6a3802062726f6b65725f776f726b666c6f775f6d61726b6572732e220a0a53412d3220726576696577657220e5b7b220666c616720e6ada4e6a8a1e5bc8f2c2053412d3620696e76617269616e74207465737420e79c9fe68a93e587bae69da520e28094202a2ae8b7a8e8a786e8a792e68c91e588ba202b203620e8a792e889b220776f726b666c6f7720e79c9fe9aa8ce8af81204f776e657220e992a6e5ae9ae79a842022e58f8de58f8de5a48de5a48de5908ce6a0b72062756720e59ba0e4b8bae6b2a1e69eb6e69e842c20e585a820706174636865732220e58583e997aee9a298e79c9fe5ad98e59ca82e2a2a0a0a23232061726368697465637420e586b3e7ad9620e2809420e9808920283129206772616e646661746865722074696d652077696e646f770a0a23232320e586b3e7ad96e79086e794b10a0a53686970204120696e76617269616e7420e79c9fe6848f203d2022706f73742053686970204120e5908e207472616e736974696f6e282920e5bcba2073696e676c652d726f77204341532c20e4bbbbe4bd95206d756c74692d616374697665203d20666f727761726420627567222e20486973746f726963616c20313020616e6f6d616c79203d207072652d5368697020412062726f6b65722d763220726f7574657220e6b2a12043415320e79c9fe58e86e58fb2e6bc82e7a7bb2c20e4b88de698af20666f7277617264206275672e0a0a446566656e73697665207368697020e7b2bee7a59e2028e8b79f2053412d33206c696e742065736361706520686174636820e5908c293a0a20202d2053412d33206c696e743a20e998b2e696b02076696f6c6174696f6e20e8bf9b20636f6465626173652028e78eb020313220e5a48420657363617065206861746368206772616e64666174686572290a20202d2053412d362072756e74696d6520696e76617269616e743a20e998b2e696b0206d756c74692d61637469766520726f7720e587bae78eb02028e78eb020313020e5a48420686973746f726963616c206772616e64666174686572290a0ae4bfae20686973746f726963616c20313020726f77203d2053686970204220e79c9f20726f6f7420636175736520e4bfaee88c83e59bb42028e8b79f203530204b4153206d6973726f757465202f2066616b652061646472202f207061795f616464726573732073656c662d6465616c20e5908c2062726f6b65722d763220726f75746572204c494d4954203120686964657320e79c9fe6a0b9e59ba0292e0a0a232323206772616e6466617468657220e5ae9ee696bde7bb86e88a820a0ae794a8202a2a53686970204120737461727420636f6d6d697420286334633863613835392053412d312073686970292a2a20e4bd9c206772616e6466617468657220616e63686f723a0a20202d2063346338636138353920636f6d6d69742074696d65203d20323032362d30342d33305431363a31353a30382b3037303020285554432030393a31353a3038290a20202d20e58aa020302e3568206275666665723a2030393a30303a30305a2028e58db320323032362d30342d33305430393a30303a30305a290a0a41312053514c20e694b93a0a60606073716c0a53454c45435420757365725f6b617369615f616464726573732c20434f554e54282a2920415320636e740a46524f4d2072657461696c5f6465785f6f72646572730a574845524520737461746520494e202827616c69676e696e67272c20276177616974696e675f7061796d656e74272c20277061696427290a2020414e4420637265617465645f6174203e2027323032362d30342d33305430393a30303a30305a2720202d2d205368697020412053412d31207368697020616e63686f722028633463386361383539290a47524f555020425920757365725f6b617369615f6164647265737320484156494e4720434f554e54282a29203e20310a6060600a0a706f73742d6772616e6466617468657220e69c9fe69c9b3a20413120686974203020726f772028706f73742053686970204120e5908ee4bbbbe4bd95206d756c74692d616374697665203d20666f727761726420627567292e0a0a23232320696e76617269616e7420e6b3a8e9878ae58aa0206772616e6466617468657220e7bc98e794b120284e575420e5bcbae588b6290a0a6060606a730a2f2f204131206d756c74692d616374697665206772616e6466617468657220e280942053686970204120737461727420616e63686f7220323032362d30342d33305430393a30303a30305a20286334633863613835392053412d312073686970202b20302e356820627566666572290a2f2f20e58e86e58fb220313020616e6f6d616c7920287072652d5368697020412062726f6b65722d763220726f75746572204c494d49542031206869646573206d756c74692d61637469766520e79c9fe6a0b9e59ba02920736564696d656e742053686970204220e4bfae2e0a2f2f20e8b79f2053412d33206c696e742065736361706520686174636820e5908c20646566656e7369766520e7b2bee7a59e3a20e998b220666f727761726420e696b02076696f6c6174696f6e2c20e4b88de4bfae20686973746f726963616c2064726966742e0a6060600a0a232320736564696d656e742053686970204220287472756c79206d6574612d66696e64696e67290a0a53412d3620696e76617269616e74207465737420e68a93e588b020686973746f726963616c203130206d756c74692d61637469766520e698af2053686970204120e69c80e9878de8a681206d6574612d66696e64696e6720e2809420e5ae9ee8af81204f776e657220e992a6e5ae9ae79a842022e58f8de58f8de5a48de5a48de5908ce6a0b72062756720e59ba0e4b8bae6b2a1e69eb6e69e842c20e585a820706174636865732220e58583e997aee9a298e79c9fe5ad98e59ca83a0a0a232323205368697020422073636f706520e58aa0203120e7b1bb20726f6f742063617573650a0ae58e9f20536869702042203d203530204b4153206d6973726f7574652066697820696e2062726f6b65722d696e74616b652d776174636865722e68616e646c65496e74616b652e20e78eb0e689a9202b203120e7b1bb3a0a20202a2a5368697020422d323a2062726f6b65722d763220726f75746572204c494d49542031206869646573206d756c74692d61637469766520726f7720616e6f6d616c7920e4bfae2a2a3a0a20202d20e79c9fe6a0b9e59ba03a2062726f6b65722d76322f726f7574657220e689be20616374697665206f7264657220e794a8204c494d4954203120284e57542072373920e5b7b220666c6167292c203120e4b8aa207065657220e79c9fe69c89203220726f7720e697b620726f7574657220e4bb8520726f7574696e67203120726f772c20e58fa6203120726f7720737475636b206163746976652e0a20202d20e58e86e58fb2e5bdb1e5938d3a20313020e4b8aa207065657220e79c9fe69c8920737475636b20726f7720287072652d53686970204120e7b4afe7a7af292e0a20202d20e4bfae3a2062726f6b65722d76322f726f7574657220e694b92073696e676c652d726f77204341532028e998bb20494e5345525420e7acac203220e4b8aa2061637469766520726f77204f5220636c65616e757020e58e86e58fb220737475636b20726f77292e0a20202d20e4bfae20686973746f726963616c20313020726f773a20636c65616e75702073637269707420e8b083207472616e736974696f6e287b746f3a2765787069726564272c20726561736f6e3a27686973746f726963616c5f6d756c74695f6163746976655f636c65616e7570277d292070657220726f772e0a0a232323205368697020422d3120283530204b4153206d6973726f7574652920e8b79f205368697020422d3220286d756c74692d6163746976652920e5908c20726f6f742063617573653a0a20202d20e983bde6ba90e4ba8e2062726f6b65722d763220726f7574657220e6b2a1e5bcba2073696e676c652d726f7720434153202f2073746174652d617761726520726f7574696e670a20202d2053686970204220e8b5b7e5898d20e9878de696b0e8af84e4bcb02073636f70652028422d31202b20422d3220e4b880e8b5b7204f5220e588862073686970290a0a2323207461736b2076312e3420706174636820e280942053686970204220e79c9f2073636f706520736564696d656e740a0a4e575420617263686974656374206d6f646520706f73742053686970204120636c6f736520e8b5b7207461736b2076312e342070617463683a0a2020312e2053686970204120636c6f736520e6aeb5e58aa02022536869702041206d6574612d66696e64696e673a20313020686973746f726963616c206d756c74692d61637469766520616e6f6d616c7920e5ae9ee8af81204f776e657220e992a6e5ae9ae58583e997aee9a298e79c9fe5ad98e59ca8220a2020322e205368697020422073636f706520e689a92028422d31203530204b4153206d6973726f757465202b20422d32206d756c74692d61637469766520636c65616e75702c20e5908c2062726f6b65722d763220726f7574657220726f6f74206361757365290a2020332e2053412d36206772616e6466617468657220e6a8a1e5bc8f20736564696d656e7420e8bf9b20646f63732f53544154452d4d414348494e45532e6d642076302e33202822696e76617269616e7420646566656e7369766520e7b2bee7a59e20767320636f727265637469766520e7b2bee7a59e22290a0a232320677265656e2d6c69676874204a322053412d362e66697820e2809420696d706c656d656e746f72206d6f646520e7bbad0a0a312e202a2ae694b92041312053514c2a2a20e58aa02060414e4420637265617465645f6174203e2027323032362d30342d33305430393a30303a30305a276020636c61757365202853686970204120737461727420616e63686f72290a0a322e202a2ae58aa0e6b3a8e9878a2a2a2072656620633463386361383539202b2053686970204220736564696d656e74202b20646566656e7369766520e7b2bee7a59e0a0a332e202a2ae79bb4e8b791e5ae9ee8af812a2a20413120686974203020726f772028e69c9f20706f73742d6772616e646661746865722070617373292e0a0a342e202a2a636f6d6d6974206d73672a2a3a20605b696d706c656d656e746f725d2053412d3620e280942072756e74696d6520696e76617269616e74203420e69da1202b20413120686973746f726963616c206772616e6466617468657220284e5754207239352061726368697465637420e586b3e7ad962c2031302070656572206d756c74692d61637469766520736564696d656e742053686970204229600a0a352e202a2a62726f6164636173742a2a204a322072393620e6b182204e5754205141206861742063726f73732d7265766965772028e68891e4b88be6aca1e588872051412068617420e280942053412d3620e5ae9ee696bde7a1aee8aea4207370656320616c69676e2c20e79c9f20514120766572696679292e0a0a23232051412068617420e9878de782b92028706f7374204a322053412d362e66697820636f6d6d6974290a0a70657220506861736520592b3120e8b7a82068617420e5ae89e68e922053412d362063726f73732d726576696577203d205141206861742e204e57542051412068617420e9878de782b9e6a3803a0a20202d203420e69da120696e76617269616e7420e5ae9ee696bde8b79f207239332070726f706f736520616c69676e0a20202d204131206772616e646661746865722074696d652077696e646f7720e79c9f20686974203020726f770a20202d204132202f20413420e79c9fe5ae88e8a1a820696e76617269616e74730a20202d204e554c4c20746f6c6572616e636520286c656761637920726f7720e7bcbae5ad97e6aeb5e4b88d2066616c736520706f736974697665290a20202d20e8b7afe5be842063617365732f62726f6b65722f696e76617269616e74732f20e591bde4b8ad202d2d646f6d61696e3d62726f6b65722028e8b79f2053412d31205b2e2e2e5d