pomaster 0.3.0 → 0.4.0

package/catalog/policies/policy.be.conc.prefer_db_constraints.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.CONC.PREFER_DB_CONSTRAINTS",
+    "pool_statement_sha16": "1450bfee21b1c2fc",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/21-concurrency-locking-protocol.md",
+      "sha256": "6141612e1135cc67ccd9d47553ea5fa7b9c00e05b6e50706f8e117c80d3b8d95",
+      "bytes": 1308
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/21-concurrency-locking-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 21-concurrency-locking-protocol.md L33「- 应优先使用数据库约束或带版本条件的原子更新保护不变量。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.CONC.PREFER_DB_CONSTRAINTS",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "不变量保护优先数据库约束",
+  "statement_zh": "保护不变量时应优先选用数据库层约束，或带版本条件的原子更新语句，而非应用层自行判断。",
+  "statement_en_keywords": [
+    "prefer database constraints",
+    "version-conditional atomic update",
+    "invariant protection"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "选择不变量保护机制时",
+    "applicability_note": "选择不变量保护机制时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.CONC.PREFER_DB_CONSTRAINTS",
+        "source_protocol": ".trellis/spec/backend/21-concurrency-locking-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "数据库约束/版本条件原子更新优先在既有 228 条中无对应条目；与同批 TXN.SHORT_LOCKS_COMPENSATION 同协议正交（不变量保护机制选型 vs 锁时长设计），互引；与 STACK.* 池卡不同层（通用并发纪律 vs 技术栈登记）。",
+    "D3-R2 补锚：MASTer 21 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}

package/catalog/policies/policy.be.db.expand_migrate_contract.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.DB.EXPAND_MIGRATE_CONTRACT",
+    "pool_statement_sha16": "fbafbb2efb24e2a1",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/18-database-schema-migration-protocol.md",
+      "sha256": "e7d0b660673dc1978653c39c9efcc7ad7d9b2809c4a88040a6fcf74839bc82c0",
+      "bytes": 1409
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/18-database-schema-migration-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 18-database-schema-migration-protocol.md L33「- 应采用 expand/migrate/contract，避免应用与数据库无法并行部署。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.DB.EXPAND_MIGRATE_CONTRACT",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "结构变更三阶段并行部署",
+  "statement_zh": "结构演进宜按「先扩展、再迁移数据、后收缩」三段推进，使应用版本与数据库结构可以各自独立部署、互不锁死。",
+  "statement_en_keywords": [
+    "expand migrate contract",
+    "parallel deployability",
+    "three-phase schema evolution"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "规划不兼容结构变更时",
+    "applicability_note": "规划不兼容结构变更时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.DB.EXPAND_MIGRATE_CONTRACT",
+        "source_protocol": ".trellis/spec/backend/18-database-schema-migration-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "expand/migrate/contract 三阶段在既有 228 条中无对应条目；与 POLICY.CHG.COMPAT_MIGRATION_ROLLBACK（B6b-I：通用兼容迁移回滚）、FLAG.CLEANUP_AFTER_FULL_ROLLOUT（存量清退）互引——本卡管库表结构并行的专项时序，应用侧迁移通用纪律不重复。",
+    "D3-R2 补锚：MASTer 18 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}

package/catalog/policies/policy.be.idem.key_payload_conflict.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.IDEM.KEY_PAYLOAD_CONFLICT",
+    "pool_statement_sha16": "6a3d97a06f5ca174",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/22-idempotency-protocol.md",
+      "sha256": "c97d003622b9075f0c094ec5c5bfa950a977e18b2f4ce8ffc9bc014858e27670",
+      "bytes": 1310
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/22-idempotency-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 22-idempotency-protocol.md L33「- 应对相同 key 不同 payload 返回稳定冲突，而非重复执行。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.IDEM.KEY_PAYLOAD_CONFLICT",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "幂等键冲突稳定响应",
+  "statement_zh": "同一幂等键携带不同请求内容到达时，应返回稳定的冲突响应，而不是当作新请求再次执行。",
+  "statement_en_keywords": [
+    "same key different payload",
+    "stable conflict response",
+    "no re-execution"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "处理幂等键与请求内容不匹配时",
+    "applicability_note": "处理幂等键与请求内容不匹配时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.IDEM.KEY_PAYLOAD_CONFLICT",
+        "source_protocol": ".trellis/spec/backend/22-idempotency-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "相同 key 不同 payload 稳定冲突响应在既有 228 条中无对应条目；与 POLICY.WEB.API.MUTATION_IDEMPOTENCY（B6b-I：前端变更幂等）前后端同族互引——彼管客户端重试面，本管服务端键语义，不合并。",
+    "D3-R2 补锚：MASTer 22 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}

package/catalog/policies/policy.be.model.single_boundary_conversion.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.MODEL.SINGLE_BOUNDARY_CONVERSION",
+    "pool_statement_sha16": "5bd57eb1eeb67cd0",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/15-data-model-protocol.md",
+      "sha256": "21cdd88fac93c9dc834a51d62978b51453ca02eca68f223859aeca0ada99c3f2",
+      "bytes": 1288
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/15-data-model-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 15-data-model-protocol.md L33「- 应只在边界转换一次，并通过契约或 round-trip 测试验证。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.MODEL.SINGLE_BOUNDARY_CONVERSION",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "模型边界单次转换",
+  "statement_zh": "模型转换应收敛到系统边界处发生且仅发生一次，并以契约校验或往返（round-trip）测试证明转换无损。",
+  "statement_en_keywords": [
+    "convert once at boundary",
+    "round-trip test",
+    "lossless mapping proof"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "设计模型转换链路时",
+    "applicability_note": "设计模型转换链路时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.MODEL.SINGLE_BOUNDARY_CONVERSION",
+        "source_protocol": ".trellis/spec/backend/15-data-model-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "边界单次转换+契约/round-trip 验证在既有 228 条中无对应条目；与 POLICY.DERIVED.SINGLE_IMPLEMENTATION 互引不同轴（实现唯一 vs 转换次数唯一）；与 WEB.API.TRANSPORT_VS_BUSINESS（B6b-I：传输与业务模型分界）正交互补。",
+    "D3-R2 补锚：MASTer 15 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}

package/catalog/policies/policy.be.sql.index_for_known_queries.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.SQL.INDEX_FOR_KNOWN_QUERIES",
+    "pool_statement_sha16": "b0e2648ecfa88930",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/19-query-index-sql-protocol.md",
+      "sha256": "60a660730a82a4f911bc6c18d5f6808a320f722df27d397a4e4b13835111610d",
+      "bytes": 1332
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/19-query-index-sql-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 19-query-index-sql-protocol.md L33「- 应让索引服务于已知查询，并记录写放大与存储取舍。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.SQL.INDEX_FOR_KNOWN_QUERIES",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "索引服务已知查询",
+  "statement_zh": "建立索引前应先明确它服务哪些已知查询，并把写入放大与存储成本的取舍记录在案。",
+  "statement_en_keywords": [
+    "index serves known queries",
+    "write amplification",
+    "storage tradeoff record"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "规划或评审索引时",
+    "applicability_note": "规划或评审索引时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.SQL.INDEX_FOR_KNOWN_QUERIES",
+        "source_protocol": ".trellis/spec/backend/19-query-index-sql-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "索引服务已知查询+写放大/存储取舍记录在既有 228 条中无对应条目；与 POLICY.PERF.* 族不同轴（观测/预算 vs 索引设计取真理）；「取舍记录」义务与 ARCH.DECISION_TRADEOFF_RECORD（决策取舍留痕）语义呼应不同层。",
+    "D3-R2 补锚：MASTer 19 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}

package/catalog/policies/policy.be.state.single_rule_source.json

@@ -0,0 +1,97 @@
+{
+  "x-vocab-pr": {
+    "status": "vocab_pr_candidate",
+    "finding": "id 域段待登记：BE（vocab-lock@v0.9-resolved policy_id_domains 35 段未含——PR-0010 后新用域段沿用候选注记先例，词汇表 PR 增补）",
+    "proposal": "词汇表 PR 增补新 id 域段至 catalog_layer_vocab.policy_id_domains（与 PR-0009/PR-0010 同轴追加，append-only）",
+    "locked_vocab_untouched": true
+  },
+  "x-spec-d-materialization": {
+    "status": "PROPOSAL",
+    "package": "裁定批 G/D3-R2 排除卡逐卡复核物化·R2 轮（SPEC-D 池卡复用；分母=MASTer 池卡 + vendor 播种字节双锚）",
+    "human_review_required": true,
+    "evidence": "PLANNED",
+    "provenance": "POMaster_VNext/corpus/spec-knowledge/candidates/consolidated-pool.yaml",
+    "group": "BE-G3",
+    "candidate_id": "POLICY.BE.STATE.SINGLE_RULE_SOURCE",
+    "pool_statement_sha16": "0fc34f43caa33b3d",
+    "curated_rule": "D3 逐卡复核批 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核；裁定批 G 收尾批）：R1 入册 25（required 9 + advisory 16）后余量 17 张 advisory 全量入册——SHOULD 锚 13（卡层行锚缺席，复核回 MASTer 源取得行级证据：B6c BE-G4 六 + BE-G3 七）+ 非 12 段锚 4（B6b-II FE index 2 / B6c BE index 冲突优先序 1 / B6b-I FE20 Change Policy 锚 1，extra_master_sections 如实登记）；全部 advisory（池判 required 卡强度只降不升）；D6 合并口径 ≤25/批满足（17 ≤ 25）；72 张总账=R1 25 + R2 17 + 维持排除 30",
+    "denominator": "MASTer（池卡锚）"
+  },
+  "x-b6-porting": {
+    "status": "PROPOSAL",
+    "batch": "D3-R2",
+    "human_review_required": true,
+    "classification_face": "policy",
+    "enforcement_axis": {
+      "source_sections": [
+        "SHOULD"
+      ],
+      "rule": "SHOULD/Change Policy 源条目 enforcement 必须 advisory（禁升 required）；MUST/MUST NOT 源条目 enforcement 必须 required_when_applicable（降级合法）",
+      "asserted_by": "packages/cli/tests/catalog-b6-porting.spec.ts"
+    },
+    "extra_master_sections": [],
+    "denominator": "vendor",
+    "vendor_pin": {
+      "path": "pomaster/components/backend-hard-spec/assets/universal/14-business-rules-state-protocol.md",
+      "sha256": "fb255dd2331ac35e73a1ad222e4de4ec2f5fb3a09e675de0e1919d80022ac291",
+      "bytes": 1287
+    },
+    "seeded_spec": ".pomaster/specs/hard/backend/14-business-rules-state-protocol.md",
+    "seed_manifest": "packages/cli/seeds/manifest.json",
+    "d3_review": {
+      "excluded_from_batch": "B6C",
+      "exclusion_reason_at_seed": "池行行锚缺席（锚证据不足，保守排除待复核）",
+      "adjudication": "D3 逐卡复核 R2 轮（Owner 2026-09-05 裁定 D3=逐卡复核，裁定批 G 落地 2026-09-05）：本卡原属 B6C 保守排除留池（排除理由：池行行锚缺席（锚证据不足，保守排除待复核））；复核补锚回 MASTer 源取得行级证据，锚段=SHOULD，按强度入册（SHOULD 行锚 advisory 原样（池判一致；复核行锚补证））",
+      "anchor_evidence": "MASTer 14-business-rules-state-protocol.md L33「- 应集中表达同一权威规则并覆盖边界与非法转移测试。」",
+      "pool_enforcement_at_seed": "advisory"
+    }
+  },
+  "id": "POLICY.BE.STATE.SINGLE_RULE_SOURCE",
+  "kind": "policy",
+  "axis_profile": "policy_default",
+  "classification": "UNIVERSAL_POLICY",
+  "axes": {
+    "lifecycle": "PROPOSED",
+    "confidence": "UNRESOLVED",
+    "evidence": "PLANNED",
+    "change": "STABLE"
+  },
+  "title_zh": "权威规则单点表达",
+  "statement_zh": "同一权威业务规则应只在一处集中实现，并为合法边界值与非法转移路径补齐测试用例，避免各入口各自判断。",
+  "statement_en_keywords": [
+    "single authoritative rule expression",
+    "boundary tests",
+    "illegal transition coverage"
+  ],
+  "applies_when": {
+    "lane": "backend",
+    "condition": "实现或重构业务规则时",
+    "applicability_note": "实现或重构业务规则时"
+  },
+  "enforcement": "advisory",
+  "authority": {
+    "owner": "HUMAN_OWNER",
+    "delegates": [],
+    "write_policy": "EVOLUTION_CHANNEL",
+    "escalation_hint": "catalog-spec-decomposition"
+  },
+  "origin": "ingested",
+  "origin_note": "裁定批 G/D3-R2 D3 逐卡复核物化·R2 轮（原 B6C 保守排除卡补锚收编）；statement 沿用 SPEC-D 候选卡独立措辞（clean-room），零逐字拷贝上游源文本；播种分母=vendor 字节（x-b6-porting.vendor_pin），分解分母=MASTer 池卡（x-spec-d-materialization）",
+  "sources": [
+    {
+      "type": "design_seed",
+      "ref": "POMaster_VNext/corpus/spec-knowledge/candidates/BE-G3.yaml",
+      "captured_by": "agent:claude/spec-d-consolidation",
+      "locator": {
+        "candidate": "POLICY.BE.STATE.SINGLE_RULE_SOURCE",
+        "source_protocol": ".trellis/spec/backend/14-business-rules-state-protocol.md",
+        "lines": "L33"
+      },
+      "clean_room_note": "independently rewritten from SPEC-D decomposition candidate cards; zero verbatim copy"
+    }
+  ],
+  "review_notes": [
+    "同一权威规则集中表达在既有 228 条中无对应条目；与 POLICY.DERIVED.SINGLE_IMPLEMENTATION（B6b-I：单一实现）相邻不同轴——彼管实现派生面，本管业务规则表达唯一权威源；边界与非法转移测试义务与同批 MODEL.SINGLE_BOUNDARY_CONVERSION 的 round-trip 验证正交，互引。",
+    "D3-R2 补锚：MASTer 14 L33（SHOULD 段），advisory 原样（池判一致）。"
+  ]
+}