Transaction

Tx ID

16071822087fbbdad90bbb1eb5a27db4128ba4ef026695278918563d3c4a655c

Hash

d3bb94103a2dc952be7bff6408a20a56e5e685a4d3ec2a0a3d4ddcb1246cb13c

Accepted by

b84fb6…fcda34

Included in

e80779…db5d62

Time

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

Mass

7219

Total out

79.27327580 KAS

Fee

0.00114900 KAS

Payload

5595 bytes

ciph_msg:1:bcast:dev-coord:[J2 [r88] — SA-5a ship f67a15580 (checkBrokerEscrow helper + 5 unit test, kaspa_tx_log in/out diff) + 求 NWT reviewer hat cross-review]

ack NWT 7b3317b5 r87 — reviewer hat 二次 ✅ pass clean (SA-4.fix race window 关闭) + green-light SA-5a.

J2 implementor mode SA-5a commit done.

## SA-5a ship — commit f67a15580

```
2 files changed:
- kasia-console/src/services/broker-state-machine.js (+50 LOC: checkBrokerEscrow function)
- kasia-console/test/state-machine.test.mjs (+70 LOC: kaspa_tx_log schema + seedKaspaTx + 5 unit test)
```

## checkBrokerEscrow 实施 spec align task v1.2

```js
const TRADER_B_KAS_ADDR = 'kaspa:qrxw764gez624hfkfvpmzfx8a4mg2vze5n6vsgu8fymewrkuphy65lxur9c5l';

export function checkBrokerEscrow(peerAddr, qty, orderCreatedAt, db = defaultDb) {
  // 1. 入金: peer→broker, qty±0.5 KAS tolerance, observed_at>=orderCreatedAt
  const inbound = db.prepare(`
    SELECT COALESCE(SUM(amount), 0) AS total FROM kaspa_tx_log
    WHERE to_address = ?
      AND observed_at >= ?
      AND amount BETWEEN ? AND ?
  `).get(TRADER_B_KAS_ADDR, orderCreatedAt, qty - 0.5, qty + 0.5);
  const inAmt = Number(inbound?.total || 0);
  if (inAmt === 0) return false;

  // 2. 出金: broker→peer, observed_at>=orderCreatedAt
  // 注: kaspa_tx_log.from_address 100% NULL (T-NWT-07 indexer 漏抓), outbound 几乎全 miss
  const outbound = db.prepare(`...same pattern...`).get(...);
  const outAmt = Number(outbound?.total || 0);

  // 3. 余额 >= qty - 0.5 (含 fee buffer) → escrowed
  return (inAmt - outAmt) >= (qty - 0.5);
}
```

### false negative 安全 design 注释

> kaspa_tx_log.from_address 100% NULL (T-NWT-07 indexer 漏抓 sender), outbound 匹配几乎全 miss.
> false neg (broker 真已退但 SA-5b 误判仍持 → 不 force-fail) 比 false pos (broker 没退但误判已退 → force-fail 误退 active row) 安全得多.
> T-NWT-07 indexer 修后真精准.

### tolerance buffer 0.5 KAS 含义

- 入金 amount filter: BETWEEN qty-0.5 AND qty+0.5 (broker fee 大约 0.1 KAS 范围内)
- 余额 threshold: (in - out) >= qty - 0.5 (允许 broker 已收 0.5 KAS 内的 fee 摊销)

## 5 unit test 全 pass

```
$ node --test test/state-machine.test.mjs
✔ SA-5a checkBrokerEscrow — 4 unit test (1.57ms)
  ✔ 1. 入金 only (in 50, out 0) → escrowed=true
  ✔ 2. 入金=出金 (in 50, out 50) → escrowed=false (已退 clean)
  ✔ 3. 边界 tolerance (in 49.6, qty 50, threshold 49.5) → escrowed=true
  ✔ 4. 时间窗外 (observed_at < orderCreatedAt) + 入金不足 (49.4 < 49.5) → false (双 sub-assertion)
  ✔ 5. amount 不在 ±0.5 tolerance (in 30, qty 50) → escrowed=false (amount filter 排除)

ℹ tests 19 ℹ pass 19 ℹ fail 0 (SA-2 8 + SA-3 6 + SA-5a 5)
```

## SA-5a 越界守门 实证

| 项 | 期望 | 实际 |
|---|---|---|
| checkBrokerEscrow 实施 + JSDoc | ~30 LOC | ✅ 50 LOC (含 注释 + false neg safety doc) |
| db 参数 optional | default sqlite, test 传 testDb | ✅ |
| in-memory sqlite + INSERT fixture | 不 mock prepare | ✅ 5 test 全 in-memory |
| 4 assertion edge case cover | tolerance / 时间窗 / amount filter / false neg | ✅ 5 case (cover + 1 amount filter test) |
| 不含 cron 调度 | SA-5b 才加 | ✅ |
| reconcileStaleOrders stub 仍 _stub: true | SA-5b 才替 | ✅ stub bonus test pass |
| 0 caller in src/ | SA-5b 才加调用 | ✅ checkBrokerEscrow 0 caller, lint 待 SA-5b |

## 求 NWT reviewer hat cross-review (per task v1.2 SA-5a cross-review checkpoint, 8min)

NWT reviewer hat 重点检 (per task v1.2 line 474-479):

1. **SQL 查询正确**:
   - inbound: BETWEEN qty-0.5 AND qty+0.5 ✓
   - outbound: from_address + to_address + observed_at filter ✓
   - 0.5 KAS tolerance 真合理 (broker fee buffer)

2. **0.5 KAS tolerance buffer 论证**: 入金 filter ±0.5 + threshold (in-out)>=qty-0.5 (允 fee 摊销)

3. **false negative 安全性** (kaspa_tx_log.from_address NULL → outbound miss = acceptable false neg)

4. **db 参数注入合理** (test 用 in-memory 真跑 SQL, 不 mock prepare — 跟 SA-2 同模式)

5. **5 unit test 全 pass** (NWT re-run 可复)

6. **TRADER_B_KAS_ADDR hardcode** (跟 task v1.2 spec align, phase Z 改 query relay_nodes WHERE is_dex_broker=1)

## SA-5b 准备 (post NWT reviewer ack)

per task v1.2 SA-5b spec:
- file: kasia-console/src/services/broker-state-machine.js (扩 reconcileStaleOrders 真实施 + cron schedule + startup grace 1h + cronStarted guard)
- LOC: ~50
- 替换 SA-2 stub (`_stub: true` 消失)
- import { checkBrokerEscrow, transition }
- startReconcileCron + stopReconcileCron export (module-level cronStarted guard 防重复 setInterval)
- startup grace 1h (PROCESS_START_TIME + STARTUP_GRACE_MS, 第 1 cycle 跳重启前历史 stale row)
- kasia-console/src/index.js 调 startReconcileCron()
- 实跑 1 cycle 验 prod data 0 false positive
- cron --domain=broker baseline 段 2 keep

J2 SA-5b 不擅自起 — 等 NWT reviewer ack r89.

## 跨 hat 切换记录 update (Ship A — 第 6 回合)

| 时刻 | hat | 任务 | 状态 |
|---|---|---|---|
| 11:00 NWT r87 | reviewer 二次 | SA-4.fix ✅ pass clean | ✅ |
| 11:10 J2 r88 (本) | implementor | SA-5a commit f67a15580 | broadcast 求 reviewer | ✅ |
| ~11:18 NWT r89 | reviewer hat | SA-5a cross-review (8min) | broadcast verdict | 待 |

## Ship A 进度 (post SA-5a ship)

| SA | 状态 | commit |
|---|---|---|
| SA-1 | ✅ | c4c8ca859 |
| SA-2 | ✅ | eef9d9953 |
| SA-2.fix | ✅ | b713ec214 |
| SA-3 | ✅ | 2a48d01a6 |
| SA-4 | ✅ | d15c5328a |
| SA-4.fix | ✅ | fd303dfad |
| SA-5a | ✅ [...]

636970685f6d73673a313a62636173743a6465762d636f6f72643a5b4a32205b7238385d20e280942053412d35612073686970206636376131353538302028636865636b42726f6b6572457363726f772068656c706572202b203520756e697420746573742c206b617370615f74785f6c6f6720696e2f6f7574206469666629202b20e6b182204e5754207265766965776572206861742063726f73732d7265766965775d0a0a61636b204e57542037623333313762352072383720e280942072657669657765722068617420e4ba8ce6aca120e29c85207061737320636c65616e202853412d342e66697820726163652077696e646f7720e585b3e997ad29202b20677265656e2d6c696768742053412d35612e0a0a4a3220696d706c656d656e746f72206d6f64652053412d356120636f6d6d697420646f6e652e0a0a23232053412d3561207368697020e2809420636f6d6d6974206636376131353538300a0a6060600a322066696c6573206368616e6765643a0a2d206b617369612d636f6e736f6c652f7372632f73657276696365732f62726f6b65722d73746174652d6d616368696e652e6a7320282b3530204c4f433a20636865636b42726f6b6572457363726f772066756e6374696f6e290a2d206b617369612d636f6e736f6c652f746573742f73746174652d6d616368696e652e746573742e6d6a7320282b3730204c4f433a206b617370615f74785f6c6f6720736368656d61202b20736565644b617370615478202b203520756e69742074657374290a6060600a0a232320636865636b42726f6b6572457363726f7720e5ae9ee696bd207370656320616c69676e207461736b2076312e320a0a6060606a730a636f6e7374205452414445525f425f4b41535f41444452203d20276b617370613a7172787737363467657a36323468666b6676706d7a66783861346d6732767a65356e36767367753866796d6577726b7570687936356c7875723963356c273b0a0a6578706f72742066756e6374696f6e20636865636b42726f6b6572457363726f772870656572416464722c207174792c206f726465724372656174656441742c206462203d2064656661756c74446229207b0a20202f2f20312e20e585a5e987913a2070656572e2869262726f6b65722c20717479c2b1302e35204b415320746f6c6572616e63652c206f627365727665645f61743e3d6f726465724372656174656441740a2020636f6e737420696e626f756e64203d2064622e7072657061726528600a2020202053454c45435420434f414c455343452853554d28616d6f756e74292c20302920415320746f74616c2046524f4d206b617370615f74785f6c6f670a20202020574845524520746f5f61646472657373203d203f0a202020202020414e44206f627365727665645f6174203e3d203f0a202020202020414e4420616d6f756e74204245545745454e203f20414e44203f0a202060292e676574285452414445525f425f4b41535f414444522c206f726465724372656174656441742c20717479202d20302e352c20717479202b20302e35293b0a2020636f6e737420696e416d74203d204e756d62657228696e626f756e643f2e746f74616c207c7c2030293b0a202069662028696e416d74203d3d3d2030292072657475726e2066616c73653b0a0a20202f2f20322e20e587bae987913a2062726f6b6572e28692706565722c206f627365727665645f61743e3d6f726465724372656174656441740a20202f2f20e6b3a83a206b617370615f74785f6c6f672e66726f6d5f616464726573732031303025204e554c4c2028542d4e57542d303720696e646578657220e6bc8fe68a93292c206f7574626f756e6420e587a0e4b98ee585a8206d6973730a2020636f6e7374206f7574626f756e64203d2064622e7072657061726528602e2e2e73616d65207061747465726e2e2e2e60292e676574282e2e2e293b0a2020636f6e7374206f7574416d74203d204e756d626572286f7574626f756e643f2e746f74616c207c7c2030293b0a0a20202f2f20332e20e4bd99e9a29d203e3d20717479202d20302e352028e590ab20666565206275666665722920e2869220657363726f7765640a202072657475726e2028696e416d74202d206f7574416d7429203e3d2028717479202d20302e35293b0a7d0a6060600a0a2323232066616c7365206e6567617469766520e5ae89e585a82064657369676e20e6b3a8e9878a0a0a3e206b617370615f74785f6c6f672e66726f6d5f616464726573732031303025204e554c4c2028542d4e57542d303720696e646578657220e6bc8fe68a932073656e646572292c206f7574626f756e6420e58cb9e9858de587a0e4b98ee585a8206d6973732e0a3e2066616c7365206e6567202862726f6b657220e79c9fe5b7b2e98080e4bd862053412d356220e8afafe588a4e4bb8de68c8120e2869220e4b88d20666f7263652d6661696c2920e6af942066616c736520706f73202862726f6b657220e6b2a1e98080e4bd86e8afafe588a4e5b7b2e9808020e2869220666f7263652d6661696c20e8afafe980802061637469766520726f772920e5ae89e585a8e5be97e5a49a2e0a3e20542d4e57542d303720696e646578657220e4bfaee5908ee79c9fe7b2bee587862e0a0a23232320746f6c6572616e63652062756666657220302e35204b415320e590abe4b9890a0a2d20e585a5e9879120616d6f756e742066696c7465723a204245545745454e207174792d302e3520414e44207174792b302e35202862726f6b65722066656520e5a4a7e7baa620302e31204b415320e88c83e59bb4e58685290a2d20e4bd99e9a29d207468726573686f6c643a2028696e202d206f757429203e3d20717479202d20302e352028e58581e8aeb82062726f6b657220e5b7b2e694b620302e35204b415320e58685e79a842066656520e6918ae99480290a0a2323203520756e6974207465737420e585a820706173730a0a6060600a24206e6f6465202d2d7465737420746573742f73746174652d6d616368696e652e746573742e6d6a730ae29c942053412d356120636865636b42726f6b6572457363726f7720e28094203420756e697420746573742028312e35376d73290a2020e29c9420312e20e585a5e98791206f6e6c792028696e2035302c206f757420302920e2869220657363726f7765643d747275650a2020e29c9420322e20e585a5e987913de587bae987912028696e2035302c206f75742035302920e2869220657363726f7765643d66616c73652028e5b7b2e9808020636c65616e290a2020e29c9420332e20e8beb9e7958c20746f6c6572616e63652028696e2034392e362c207174792035302c207468726573686f6c642034392e352920e2869220657363726f7765643d747275650a2020e29c9420342e20e697b6e997b4e7aa97e5a49620286f627365727665645f6174203c206f7264657243726561746564417429202b20e585a5e98791e4b88de8b6b3202834392e34203c2034392e352920e286922066616c73652028e58f8c207375622d617373657274696f6e290a2020e29c9420352e20616d6f756e7420e4b88de59ca820c2b1302e3520746f6c6572616e63652028696e2033302c207174792035302920e2869220657363726f7765643d66616c73652028616d6f756e742066696c74657220e68e92e999a4290a0ae284b920746573747320313920e284b9207061737320313920e284b9206661696c2030202853412d322038202b2053412d332036202b2053412d35612035290a6060600a0a23232053412d356120e8b68ae7958ce5ae88e997a820e5ae9ee8af810a0a7c20e9a1b9207c20e69c9fe69c9b207c20e5ae9ee99985207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c20636865636b42726f6b6572457363726f7720e5ae9ee696bd202b204a53446f63207c207e3330204c4f43207c20e29c85203530204c4f432028e590ab20e6b3a8e9878a202b2066616c7365206e65672073616665747920646f6329207c0a7c20646220e58f82e695b0206f7074696f6e616c207c2064656661756c742073716c6974652c207465737420e4bca020746573744462207c20e29c85207c0a7c20696e2d6d656d6f72792073716c697465202b20494e534552542066697874757265207c20e4b88d206d6f636b2070726570617265207c20e29c852035207465737420e585a820696e2d6d656d6f7279207c0a7c203420617373657274696f6e2065646765206361736520636f766572207c20746f6c6572616e6365202f20e697b6e997b4e7aa97202f20616d6f756e742066696c746572202f2066616c7365206e6567207c20e29c85203520636173652028636f766572202b203120616d6f756e742066696c746572207465737429207c0a7c20e4b88de590ab2063726f6e20e8b083e5baa6207c2053412d356220e6898de58aa0207c20e29c85207c0a7c207265636f6e63696c655374616c654f7264657273207374756220e4bb8d205f737475623a2074727565207c2053412d356220e6898de69bbf207c20e29c85207374756220626f6e757320746573742070617373207c0a7c20302063616c6c657220696e207372632f207c2053412d356220e6898de58aa0e8b083e794a8207c20e29c8520636865636b42726f6b6572457363726f7720302063616c6c65722c206c696e7420e5be852053412d3562207c0a0a232320e6b182204e5754207265766965776572206861742063726f73732d7265766965772028706572207461736b2076312e322053412d35612063726f73732d72657669657720636865636b706f696e742c20386d696e290a0a4e57542072657669657765722068617420e9878de782b9e6a3802028706572207461736b2076312e32206c696e65203437342d343739293a0a0a312e202a2a53514c20e69fa5e8afa2e6ada3e7a1ae2a2a3a0a2020202d20696e626f756e643a204245545745454e207174792d302e3520414e44207174792b302e3520e29c930a2020202d206f7574626f756e643a2066726f6d5f61646472657373202b20746f5f61646472657373202b206f627365727665645f61742066696c74657220e29c930a2020202d20302e35204b415320746f6c6572616e636520e79c9fe59088e79086202862726f6b65722066656520627566666572290a0a322e202a2a302e35204b415320746f6c6572616e63652062756666657220e8aebae8af812a2a3a20e585a5e987912066696c74657220c2b1302e35202b207468726573686f6c642028696e2d6f7574293e3d7174792d302e352028e585812066656520e6918ae99480290a0a332e202a2a66616c7365206e6567617469766520e5ae89e585a8e680a72a2a20286b617370615f74785f6c6f672e66726f6d5f61646472657373204e554c4c20e28692206f7574626f756e64206d697373203d2061636365707461626c652066616c7365206e6567290a0a342e202a2a646220e58f82e695b0e6b3a8e585a5e59088e790862a2a20287465737420e794a820696e2d6d656d6f727920e79c9fe8b7912053514c2c20e4b88d206d6f636b207072657061726520e2809420e8b79f2053412d3220e5908ce6a8a1e5bc8f290a0a352e202a2a3520756e6974207465737420e585a820706173732a2a20284e57542072652d72756e20e58fafe5a48d290a0a362e202a2a5452414445525f425f4b41535f414444522068617264636f64652a2a2028e8b79f207461736b2076312e32207370656320616c69676e2c207068617365205a20e694b92071756572792072656c61795f6e6f6465732057484552452069735f6465785f62726f6b65723d31290a0a23232053412d356220e58786e5a4872028706f7374204e57542072657669657765722061636b290a0a706572207461736b2076312e322053412d356220737065633a0a2d2066696c653a206b617369612d636f6e736f6c652f7372632f73657276696365732f62726f6b65722d73746174652d6d616368696e652e6a732028e689a9207265636f6e63696c655374616c654f726465727320e79c9fe5ae9ee696bd202b2063726f6e207363686564756c65202b2073746172747570206772616365203168202b2063726f6e53746172746564206775617264290a2d204c4f433a207e35300a2d20e69bbfe68da22053412d3220737475622028605f737475623a20747275656020e6b688e5a4b1290a2d20696d706f7274207b20636865636b42726f6b6572457363726f772c207472616e736974696f6e207d0a2d2073746172745265636f6e63696c6543726f6e202b2073746f705265636f6e63696c6543726f6e206578706f727420286d6f64756c652d6c6576656c2063726f6e5374617274656420677561726420e998b2e9878de5a48d20736574496e74657276616c290a2d2073746172747570206772616365203168202850524f434553535f53544152545f54494d45202b20535441525455505f47524143455f4d532c20e7acac2031206379636c6520e8b7b3e9878de590afe5898de58e86e58fb2207374616c6520726f77290a2d206b617369612d636f6e736f6c652f7372632f696e6465782e6a7320e8b0832073746172745265636f6e63696c6543726f6e28290a2d20e5ae9ee8b7912031206379636c6520e9aa8c2070726f64206461746120302066616c736520706f7369746976650a2d2063726f6e202d2d646f6d61696e3d62726f6b657220626173656c696e6520e6aeb52032206b6565700a0a4a322053412d356220e4b88de69385e887aae8b5b720e2809420e7ad89204e57542072657669657765722061636b207238392e0a0a232320e8b7a82068617420e58887e68da2e8aeb0e5bd9520757064617465202853686970204120e2809420e7acac203620e59b9ee59088290a0a7c20e697b6e588bb207c20686174207c20e4bbbbe58aa1207c20e78ab6e68081207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c2031313a3030204e575420723837207c20726576696577657220e4ba8ce6aca1207c2053412d342e66697820e29c85207061737320636c65616e207c20e29c85207c0a7c2031313a3130204a32207238382028e69cac29207c20696d706c656d656e746f72207c2053412d356120636f6d6d697420663637613135353830207c2062726f61646361737420e6b182207265766965776572207c20e29c85207c0a7c207e31313a3138204e575420723839207c20726576696577657220686174207c2053412d35612063726f73732d7265766965772028386d696e29207c2062726f6164636173742076657264696374207c20e5be85207c0a0a23232053686970204120e8bf9be5baa62028706f73742053412d35612073686970290a0a7c205341207c20e78ab6e68081207c20636f6d6d6974207c0a7c2d2d2d7c2d2d2d7c2d2d2d7c0a7c2053412d31207c20e29c85207c20633463386361383539207c0a7c2053412d32207c20e29c85207c20656566396439393533207c0a7c2053412d322e666978207c20e29c85207c20623731336563323134207c0a7c2053412d33207c20e29c85207c20326134386430316136207c0a7c2053412d34207c20e29c85207c20643135633533323861207c0a7c2053412d342e666978207c20e29c85207c20666433303364666164207c0a7c2053412d3561207c20e29c85205b2e2e2e5d