一家不下班的
数字公司

 1// 认领是原子的：同一件事同一时刻只归一轮
 2claim(e):  dispatch[e].state: queued → claimed  iff state = queued
 3          owner ← run,  lease ← now + 10 min
 4// 本机能开几路：按内存现场算，内存吃紧先等
 5lanes(host) = max(2, ⌊(mem − 4 GB) ÷ 0.8 GB⌋)
 6// 全平台按家把关：Mac 与云端加起来不超套餐
 7admit(f)  ⇔ running(f) < quota(f)
 8// 积压扩路：同一职务每多 5 件多一路
 9helpers(r) = min(5, 1 + ⌊backlog(r) ÷ 5⌋)
10// 分工表选档：首选满了排队，久等不空换下一家
11route(e)  = table[role][kind] ▸ wait(████) ▸ next_free_family

 1// 只给活着的那一轮续租；死掉的到期回队列
 2heartbeat(run): if alive(run) → lease ← now + LEASE
 3reap():  lease < now → state ← queued
 4// 回执按轮次号核对：晚到的、别人的，一律拒收
 5receipt(e, run): reject unless owner(e) = run
 6// 一轮结束：没交回执的件立刻放回，不等租约
 7on_exit(run): release(unreceipted(run))
 8// 出错：续跑一次 → 换下一家（跳过试过的、冷却中的）→ 都试过才停
 9on_error(e): retry(same) ▸ fallback(untried ∖ cooling) ▸ notify(老板)
10// 卡死：健康文件超时未刷新 → 看门狗重启
11watchdog(): every 60 s: stale > ████ → restart

 1// 每条事实必须带出处：文件属于本事项、页码在范围内
 2valid(fact) ⇔ fact.file ∈ matter.files ∧ 1 ≤ fact.page ≤ pages(fact.file)
 3// 裁定前核查：任一条件成立，就由另一职务新开会话对原件逐条核
 4verify?(m) ⇔ risk = 高 ∨ amount ≥ ████ ∨ (签约 ∧ 推断 > 0) ∨ 推断 ≥ 3
 5// 核查发现的问题，裁定必须逐条回应，否则不收
 6accept(ruling) ⇐ ∀ i ∈ issues: ruling.responds(i)
 7// 模型成绩单：近 30 天交老板后首次即被同意的比例
 8score(model) = first_pass ÷ submitted     demote if < ████

 1// 去重：内容指纹相同，每一端都拒收；同名不同指纹，标「疑似新版本」
 2fp(file) = SHA-256(bytes)
 3// 同类合并：同一事项已有同类事件在排队、没人领，就不再排新的
 4enqueue(e): skip if ∃ q: q.matter = e.matter ∧ q.kind = e.kind ∧ q.state = queued
 5// 事项归并：编号相同且类型、地点相同自动合并；标题很像，请老板一点确认
 6merge?(a, b) ⇔ a.no = b.no ∧ a.type = b.type ∧ a.place = b.place
 7ask?(a, b)   ⇔ sim(a.title, b.title) > ████
 8// 开工简报：每轮都是新会话，记忆从平台装进来
 9brief(role) = 职务说明 ⊕ 办事规范 ⊕ 经验[████] ⊕ 老板说过 ⊕ 手上事项

████ 处为脱敏参数；完整实现不公开