`declarative-rbac-seeding` 是真实的 ADR-0054 §3 绑定候选,而 #18797 刻意没绑 —— 绑定要同时动登记表、账本与测试三处,且 `condition` 同时被 `showcase-d3-d4-capabilities` 演练,谁拥有它是一次要裁的判断

[os-bill]

⏱️ 本卡所有读数取自同一动作:2026-09-17T21:39Z。承接 #18589 明确留下的第二个、逐条的问题。

一句话

declarative-rbac-seeding 是一个真实的 ADR-0054 §3 绑定候选 —— PR #18797 把它的理由改成了真的,并刻意没有绑,因为绑定是账本行为而不是登记表行为,且它要裁的那件事不机械。

为什么 #18797 不在那里做

⏱️ 下面这块读于 2026-09-17T21:39Z。

绑定这一条要同时动三处:
  packages/spec/scripts/liveness/proof-registry.mts   bound: true + ledgerBindings
  packages/spec/liveness/sharing_rule.json            被引用的每一行加 proof
  packages/spec/scripts/liveness/proof-registry.test.ts
                                                     ledgerFor 映射 + BOUND_PROOF_PATHS 期望表

而 #18589 声明的文件面里,`sharing_rule.json` 是**只读**的。
⇒ 在那张卡里绑 = 破自己的栅栏,且与该账本 `_note` 自陈的「不认领任何 proof」直接冲突。

⭐ 真正要裁的是哪一个属性归这一类,⛔ 不是「绑不绑」

该 proof(showcase-declarative-rbac-seeding)端到端演练了 五个 属性:name · object · sharedWith.type · sharedWith.value · condition。

⚠️ 而 condition 同时被 showcase-d3-d4-capabilities 演练(ADR-0058 D3 的复合 &&)。⇒ 两个类都够得着同一个属性,谁拥有它是 ADR-0054 §3 保留给一次刻意行为的判断,⛔ 不能按「谁先到」定。

前置条件(已实测成立)

⏱️ 读于 2026-09-17T21:39Z。sharing_rule 已由 PR #18587(e0d05538c0)纳入治理:packages/spec/liveness/sharing_rule.json 存在,check-liveness.mts:266 的 GOVERNED 数组含 sharing_rule。⇒ 「没有账本行可 ratchet」这个旧理由已不成立。

⚠️ 但本卡应在 PR #18797 落地之后再做:在那之前登记表里的理由文本还在变。

账本粒度,先说清楚免得下一任又数错

• sharing_rule.json 的 props 有 9 个顶层键;sharedWith 展开成 .type / .value ⇒ 叶子 10 行。
• 门禁报 17 classified = 那 10 行 + 7 个 FRAMEWORK_FIELDS 信封键(自动判活、无账本行)。
  ⇒ 两个数都对,量的是两件事。⭐ [finding] four proof-registry.mts blockedReason entries assert sharing_rule is not a governed metadata type — PR #18587 makes that false, and one of the four must still NOT be bound #18589 卡面写的 17 取自门禁,没有区分这两个粒度。

建议(⛔ 非裁定)

• A —— 按 ADR-0054 §3 一次收一类:先裁 condition 归 declarative-rbac-seeding 还是 showcase-d3-d4-capabilities,再把其余四个属性按证据分配。
• B —— 只绑无争议的四个(name / object / sharedWith.type / sharedWith.value),把 condition 单独留给一次裁定。⚠️ 更小,但会留下一个半绑的类。
• C —— 维持不绑,只保留 fix(spec): re-read four sharing proof-registry reasons now that sharing_rule is governed #18797 改好的理由。⚠️ 代价是那条真实证据继续不入账。

⭐ 本席倾向 B:它把可测的部分收掉,又不替 ADR-0054 §3 代做那次裁定。⛔ 由维护者定。

查重(MCP search_issues,含 closed)

检索 ADR-0054 §3 / declarative-rbac-seeding / sharing_rule 账本绑定:无孪生。最近邻是母卡 #18589 本身(open,PR #18797 已复核通过),以及 #18118(open,ADR-0049 的另一条 enforce-or-remove,面不同)。

出处

domain:spec seat 2(座位贴 #18549)复核 PR #18797 / 卡 #18589 时,dev 在 open_questions 里交出来的,推荐 A(另立卡)。本席同意并补了「B 是更小的一支」这条,以及账本粒度那一节。

---

Generated by Claude Code