 Q
|
dbb1f8093d
revert(ac15): 撤销 RS-4 声明体与 Divergence 扩展（结构性不可表达）
|
9 ore în urmă |
|
Q
|
baf185638b
feat(ac15): RS-4 声明体（A21 扇出 per-side 期望）+ Divergence 最小支持
|
9 ore în urmă |
|
Q
|
909e02c3ea
docs(ac15): 订正 §22 判据条数（五条，不是四条）
|
9 ore în urmă |
|
Q
|
9364a0df33
docs(ac15): 记录只读结果集双跑（RS-1~RS-3）的判据、实测覆盖与 12 项未覆盖
|
9 ore în urmă |
|
Q
|
a79b950acb
feat(ac15): RS-3 课酬明细结果集双跑（整行 / 部分映射，17 = 6 + 11）
|
9 ore în urmă |
|
Q
|
326a9bc1c8
feat(ac15): RS-2 学生账单结果集双跑（1 行 9 列全覆盖）
|
9 ore în urmă |
|
Q
|
214b607617
feat(ac15): 只读 SP 结果集双跑骨架 + RS-1 可退金额（1 行 1 列）
|
9 ore în urmă |
|
Q
|
7fd57c5b6d
fix(ac20): 分账调额级联补 root_user_id 过滤 —— F25（P0，新系统唯一确认缺陷）
|
10 ore în urmă |
|
Q
|
50ea225833
feat(ac15): 补 I6「真父一致」—— 区间合法但 parent 指错祖先的盲区
|
10 ore în urmă |
|
Q
|
df72fc70a1
docs(ac15): 把"全表作用域在真实数据上的症状"写进不变量测试注释
|
10 ore în urmă |
|
Q
|
5bba6dbe0d
feat(ac15): 嵌套集不变量 I1~I5（按 root 分组）+ 变异探针 —— **并推翻 team-lead 给的 I5 式子**
|
10 ore în urmă |
|
Q
|
50e11f7505
fix(ac15): OpDivideQuotaClamp 的 returnsResultSet 定为 true —— 消费结果集，不是为了读它
|
10 ore în urmă |
|
Q
|
a1060f45ef
feat(ac15): 分账链第 1 步（前半）—— OpDivideQuotaClamp 枚举 + legacy CALL 常量（**无 dispatch**）
|
11 ore în urmă |
|
Q
|
33a8d4c08c
docs(ac15): §18.3 第 3 条补注 —— 小数位要按表查，本仓已两种形态并存
|
11 ore în urmă |
|
Q
|
9c921f741e
test(ac15): arrearsCallUserIDs 落成 fail-closed + 表驱动单测；W4-C 补「按用户额度」「跨用户不干扰」；BACKLOG B4
|
11 ore în urmă |
|
Q
|
ef1b02e2d0
feat(ac15): 3d W4-C 老带新·两个用户各自有欠费（54→55）—— 两次核销各按本人上限
|
11 ore în urmă |
|
Q
|
f82f2399b0
docs(ac20): models_divide.Layer 红线注释写明「两道限制，不是同一个概念」
|
11 ore în urmă |
|
Q
|
2a621f518c
test(ac20): 3 层规则补正向断言 + 常量注释写死存量实测
|
11 ore în urmă |
|
Q
|
c3a062b760
docs(ac20): 3111 错误码登记处补全「四义」
|
11 ore în urmă |
|
Q
|
c385dac942
docs(ac20): 校正 MaxDivideBizDepth 的出处 —— 行号 26→32，路径补全到 mock/routes
|
11 ore în urmă |
|
Q
|
6ea8060b7a
refactor(ac15): ArrearsSeed 改 ByUser 单一真相源（为 W4-C 的两用户核销铺路）
|
11 ore în urmă |
|
Q
|
f51faf579a
refactor(ac15): W4-A/W4-B 的手写减法全部换成 delta()，并全量扫过自减形态
|
11 ore în urmă |
|
Q
|
60bf6ef084
refactor(ac15): Δ detail 改打「before → after（Δ）」三数；§18.3 第 9 条改定性为「零区分力的第二种方向：假红」
|
11 ore în urmă |
|
Q
|
092613bccd
feat(ac20): AddSubordinate 落 3 层业务上限校验（先 3 后 100）
|
11 ore în urmă |
|
Q
|
cc20e1caf8
refactor(ac15): Δ 断言三件套 —— delta() + Before 形态入 detail + 种子按 user 全删（§18.3 第 10 条）
|
11 ore în urmă |
|
Q
|
26535f9302
fix(ac15): **F25 撤销** —— 是我的断言写成了 x−x，不是 target 缺陷；W4-B 转绿 54/54
|
11 ore în urmă |
|
Q
|
d7fbd98449
wip(ac15): W4-B 建行分支 —— 三条独立断言就位；**本条当前是红的**，红在 target 侧，疑似 F25
|
12 ore în urmă |
|
Q
|
ab122347a8
wip(ac20): 分账 3 层业务上限常量（只加常量+注释，不改行为）
|
12 ore în urmă |
|
Q
|
5e719519d3
fix(ac15): 补上 53 的分母闸 —— 上一提交单测是红的，我报的"53/53"当时不成立
|
12 ore în urmă |
|
Q
|
65c965e24a
feat(ac15): W4-A 补 RecommenderLogs —— F24 探针上线，实测**未命中**
|
12 ore în urmă |
