@seasonkoh/webaz 0.1.22 → 0.1.24

package/dist/layer0-foundation/L0-2-state-machine/engine.js

@@ -13,20 +13,9 @@ import { generateId } from '../L0-1-database/schema.js';
 import { appendOrderEvent } from './order-chain.js';
 import { VALID_TRANSITIONS, CURRENT_RESPONSIBLE, CURRENT_RESPONSIBLE_SELF_FULFILL } from './transitions.js';
 // RFC-014 PR2 — 资金算术统一走整数 base-units;分配用 allocate 保证精确守恒。
-import { toUnits, toDecimal, mulRate, allocate } from '../../money.js';
+import { toUnits, mulRate, allocate } from '../../money.js';
 // RFC-014 PR3 — 钱包落库 helper 抽到共享 ledger 模块(原私有于此),防多份漂移。
 import { walletUnits, applyWalletDelta } from '../../ledger.js';
-// ─── RFC-014 公池入金 helper ───────────────────────────────────
-function creditReserveUnits(db, fromUserId, amountUnits, orderId, note) {
-    if (amountUnits <= 0)
-        return;
-    const cur = db.prepare("SELECT COALESCE(balance,0) balance, COALESCE(total_orphan_sponsor,0) tos FROM commission_reserve WHERE id='main'").get();
-    const newBal = toDecimal(toUnits(cur?.balance ?? 0) + amountUnits);
-    const newTos = toDecimal(toUnits(cur?.tos ?? 0) + amountUnits);
-    db.prepare(`UPDATE commission_reserve SET balance = ?, total_orphan_sponsor = ?, updated_at = datetime('now') WHERE id = 'main'`).run(newBal, newTos);
-    db.prepare(`INSERT INTO commission_reserve_txns (id, kind, from_user_id, amount, related_order_id, note) VALUES (?,?,?,?,?,?)`)
-        .run(generateId('crt'), 'redirect_orphan_sponsor', fromUserId, toDecimal(amountUnits), orderId, note);
-}
 // ─── 核心函数 ────────────────────────────────────────────────
 /**
  * 执行状态转移
@@ -260,9 +249,10 @@ export function settleFault(db, orderId, faultState) {
         //   新规则(全部用订单快照,可复算,绝不印钱):
         //     1. 协议只回收【原本该收的平台费】protocolTake = min(F, total × protocol_fee_rate)
         //        —— 协议不从违约牟利;fund_base(1%) 排除(无成交=无 GMV,社区基金不应从罚没获利)。
-        //     2. R = F − protocolTake;买家补偿 = R × 50%(受损对手方固定份额)。
+        //     2. R = F − protocolTake;买家补偿 = R × 50% 起(受损对手方基础份额)。
         //     3. 推广人 = R 的另一半,按 l1/l2/l3 原始佣金比例分,【封顶各自原始佣金】—— 永不超过其真实损失。
-        //     4. 推广半残值(超封顶 / 无推广人)→ commission_reserve 三级公池(与正常单未归属佣金同去向,不给买家=不过补)。
+        //     4. 推广半残值(超封顶 / 无推广人)→ 【买家】(受损方吸收违约方罚金剩余,故买家可超 50%)。
+        //        决策 A(2026-06-07,对齐 RFC-007 Invariant #2):残值是罚金且无成交,归被坑方,不入 commission_reserve。
         //   守恒:protocolTake + buyerComp + promotersPaid + reserveResidual ≡ F(按构造,残值兜底)。
         const FORFEIT_LEVEL_RATES = { 1: 0.70, 2: 0.20, 3: 0.10 };
         const protocolFeeRate = () => {
@@ -315,8 +305,13 @@ export function settleFault(db, orderId, faultState) {
                     promotersPaid += share;
                 });
             }
-            // 4. 推广半残值(超封顶 / 无推广人 / 取整余数)→ 三级公池;绝不给买家、绝不印钱
-            creditReserveUnits(db, sellerId, promoterHalf - promotersPaid, orderId, `RFC-007 fault forfeit residual order=${orderId}`);
+            // 4. 推广半残值(超封顶 / 无推广人 / 取整余数)→ 【买家】(受损方吸收违约方罚金剩余,可超 50%)。
+            //    决策 A(2026-06-07):对齐 RFC-007 Invariant #2「buyer absorbs the residual」+ 公开 economic.json。
+            //    理由:残值是【卖家罚金 + 无成交】,非正常单的未归属销售 margin,故归被坑的对手方,不入 commission_reserve。
+            //    守恒:protocolTake + (buyerComp+residual) + promotersPaid = protocolTake + R = F。绝不印钱。
+            const residual = promoterHalf - promotersPaid;
+            if (residual > 0)
+                applyWalletDelta(db, buyerId, { balance: residual });
             return F;
         };
         // P0.1：RFQ 路径的 bid_stake_held — fault 时由各分支按规则处理