考勤深潜：Rework 局部失效状态机、M01–M11 编译冲突与额度批次扣减

考勤深潜：Rework 局部失效状态机、M01–M11 编译冲突与额度批次扣减 由 Archify 生成的工作流图。 01 / Rework 事务与局部失效状态机 EX / M01–M11 编译冲突裁决与额度扣减 暂存与四路预检 闭包推导与精准失效 批次扣减与依赖快照发布 ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) 编译器静态防线 · M11 批次账本 · 依赖指纹 1 返工立项与暂存 · begin / stage · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 暂存与四路预检 · draftVersion 1 返工立项与暂存 begin / stage draftVersion 2 四路返工预检 · rule/wb/profile · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 暂存与四路预检 2 四路返工预检 rule/wb/profile 3 变更影响闭包 · analyze_change · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 闭包推导与精准失效 · rework_impact 3 变更影响闭包 analyze_change rework_impact 4 精准局部失效 · _invalidate · apply · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 闭包推导与精准失效 · userActionOnly 4 精准局部失效 _invalidate · apply userActionOnly 5 补齐门禁与重算 · rework_calculation · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 批次扣减与依赖快照发布 5 补齐门禁与重算 rework_calculation 6 依赖指纹与发布 · RunPublication · Rework 事务与局部失效状态机 › ReworkTransaction (begin → stage → analyze_change → _invalidate → apply) › 批次扣减与依赖快照发布 6 依赖指纹与发布 RunPublication 范围重叠与优先级 · scope_overlap · M01–M11 编译冲突裁决与额度扣减 › 编译器静态防线 · M11 批次账本 · 依赖指纹 › 闭包推导与精准失效 · 编译期阻断 范围重叠与优先级 scope_overlap 编译期阻断 M11 额度批次扣减 · quota_period · M01–M11 编译冲突裁决与额度扣减 › 编译器静态防线 · M11 批次账本 · 依赖指纹 › 批次扣减与依赖快照发布 · 先到期先扣 M11 额度批次扣减 quota_period 先到期先扣 保留基线与摘要 · preserve_baseline · M01–M11 编译冲突裁决与额度扣减 › 编译器静态防线 · M11 批次账本 · 依赖指纹 › 批次扣减与依赖快照发布 保留基线与摘要 preserve_baseline 冻结 baseRevision 预检通过 ReworkChangeSet 重确认受波及项 摘要化回执 去冗余存储 批次扣减 重叠与环检测 图例 Agent 逻辑 策略 上下文 / 追踪

精准局部失效 (rework_impact.py / rework_transaction.py)

  • • analyze_change 比对前后状态并按模块依赖图求闭包 (_closure)，区分规则、映射与周期影响
  • • _invalidate 仅清除受波及的确认位（如仅换打卡表不退回规则确认），preserve_input_baseline 保留历史基线

M01–M11 编译冲突与引用校验 (scope_overlap.py)

  • • policies_may_overlap 与 expressions_disjoint 在编译期检测同模块适用人群/有效期重叠且无优先级裁决的冲突
  • • rework_rule_references.py 校验跨模块实体引用（班次、假种、日历）与有向图无环 (cycles)

M11 额度批次扣减与 Run 依赖指纹 (quota_period.py)

  • • 期初余额 + M07 加班转调休按假种与批次有效期（expired 过滤、先到期/先旧后新）单向扣减
  • • RunPublication.register 绑定 CalculationDependencies 快照指纹，摘要化保存回执防止状态膨胀