phasegate 0.229.0 → 0.254.0

package/docs/ADR/033-world-snapshot-canonicalization.md

@@ -0,0 +1,246 @@
+---
+adr_id: "033"
+title: "World snapshot canonicalization、version roots、hashing"
+status: Proposed
+date: 2026-07-16
+---
+
+# World snapshot canonicalization、version roots、hashing
+
+<!-- @work-item-id WI-283 -->
+
+## Context
+
+World Modelはclean checkoutのcorpusとdeclarationから同じfacts / obligationsを再導出しなければならない。filesystem列挙順、object insertion order、absolute checkout root、clock、generated reportがrootへ混ざると、論理入力が同じでも異なるsnapshotになる。一方、extractor、ruleset、schema、World-relevant resolved configが変われば解釈が変わるため、その差はrootへ反映しなければならない。
+
+既存実装には三つの重要な先例と差異がある。
+
+- attestation `canonicalStringify`はobject keyを再帰sortし、array orderを保持し、空白なしJSONをUTF-8 SHA-256へ渡す。
+- attestation / ci-governance integrityのfile digesterは`readFile` raw bytesをSHA-256へ渡す。
+- requirement-test-matrixは`generatedAt`を毎回生成し、pretty JSONとして保存するため、保存bytesのhashはsemantic matrix identityにならない。
+
+また、既存`NodeCryptoContentHasherAdapter`はattestation-local `ContentHasherPort`と`Digest`を使う。ADR-031によりworld-modelはprovider内部型をimportできず、consumer-owned portを持つ必要がある。ADR-032は`pgw:v1` node IDとPathKeyを確定済みである。
+
+## Decision
+
+### 1. Leaf digestとthree derived rootsを分離する
+
+Artifact / Fragment contentはowner-aware normalization後のbytesをSHA-256し、leaf digest `sha256:<hex>`としてnode factへ入れる。root envelopeはfull proseを重複保持せず、stable node IDs、typed facts、leaf digests、edges、diagnosticsをcanonical JSON化する。
+
+三つのderived identityを定義する。
+
+#### corpusRoot
+
+```text
+sha256(canonicalJson({
+  schemaVersion,
+  extractorVersion,
+  corpusConfigDigest,
+  nodes,
+  edges,
+  extractionDiagnostics
+}))
+```
+
+- nodesはNode ID、edgesはtype/from/to/qualifier、diagnosticsはcode/node/path/line/payloadでsortする。
+- constraints / claims / aliases / evaluation findings / obligationsを含めない。
+- Snapshot IDは`pgw:v1:snapshot:<corpusRoot>`。
+
+#### constraintRoot
+
+```text
+sha256(canonicalJson({
+  schemaVersion,
+  rulesetVersion,
+  constraintConfigDigest,
+  constraints,
+  explicitClaims,
+  aliases,
+  declarationDiagnostics
+}))
+```
+
+- declarationsはstable IDでsortする。
+- endpointのpinned digestはdeclaration contentなので含める。
+- corpus facts、evaluation output、mutable repayment stateを含めない。
+
+#### evaluationId
+
+```text
+pgw:v1:evaluation:sha256(
+  canonicalJson({
+    schemaVersion,
+    rulesetVersion,
+    corpusRoot,
+    constraintRoot,
+    evaluationConfigDigest,
+    policyInputsDigest
+  })
+)
+```
+
+外部表現は`pgw:v1:evaluation:sha256:<64 lowercase hex>`。findings、obligations、blocking decision、exit code、reportを含めない。`policyInputsDigest`はADR-035で定義するbaseline / waiver等のimmutable evaluation inputで、未導入時はcanonical empty policy objectのdigestとする。
+
+### 2. Canonical JSON contractを固定する
+
+- object keyは全階層でECMAScript string ascending orderにsortする。
+- serializerはarray orderを保持する。
+- World-owned set-valued arraysはserializer前にstable ID / canonical tupleでsortする。
+- owner-defined ordered arraysはowner orderを保持する。
+- whitespace、indent、BOM、trailing newlineなし。
+- string escapingとfinite JSON number renderingは`JSON.stringify` semantics。
+- `undefined`, sparse array, function, symbol, bigint, `NaN`, Infinityを拒否し、silent omissionしない。
+- canonical JSON bytesはUTF-8。
+
+attestationの既存基本規則と一致させるが、serializerのownershipはworld-modelに置き、attestation domain implementationをimportしない。
+
+### 3. Text / bytes normalizationをartifact modeごとに決める
+
+#### UTF-8 text / raw prose
+
+- strict UTF-8 decode。invalid sequenceをreplacement characterへ変換しない。
+- CRLFとlone CRをLFへnormalizeする。
+- Unicode normalization（NFC / NFD / NFKC / NFKD）は行わない。
+- BOM、trailing whitespace、final newline、zero-width characterを含む他code pointは保持する。
+- normalized stringをUTF-8 encodeしてhashする。
+
+したがってline endingだけの差はrootを変えないが、Unicode code point sequence、BOM、whitespace、final newlineの差はrootを変える。
+
+#### Structured JSON
+
+- strict UTF-8 decode / parse。
+- ownerのversioned schema projectionでsemantic fieldsを選ぶ。
+- object key / string valueへUnicode normalizationを適用しない。
+- object keyをrecursive sortし、semantic set arraysをowner IDでsortする。
+- unknown / unsupported fieldはgeneric name dropせずdiagnostic。
+
+#### Binary
+
+- extractorがbinaryと明示したartifactだけraw bytesをそのままhashする。
+- extension heuristicだけでtext / binaryを決めない。
+
+### 4. Matrix / attestation等generated artifactをowner-aware projectionする
+
+genericに`generatedAt`という名前のkeyを全削除しない。各owner adapterがversioned projectionを持つ。
+
+- matrix: `generatedAt`を除外。schema version、Story / AC / TestReference semanticsを含め、Story / AC / refsをowner IDsでsortする。
+- attestation: evidence semanticsとverification statusをpublic DTOから観測し、`producedAt`, `gitCommit`, producer package version、signature bytes、attestation self-digest、future `worldSnapshotRoot` self-referenceを除外する。
+- World snapshot / obligation report: extractor input corpusから除外し、self-referenceを作らない。
+- integrity manifest: owner declarationとしてpath / digest semanticsを観測するが、integrityのraw-byte digest contract自体は変更しない。
+
+### 5. Path、symlink、case semanticsを固定する
+
+- project-relative POSIX PathKeyだけをrootへ入れる。
+- `./` / duplicate separatorをnormalizeし、absolute path、drive letter、backslash、`..`を拒否する。
+- cwd、realpath、temp root、absolute checkout rootを入れない。
+- PathKeyのcaseとUnicode sequenceを保持し、case-sensitiveに比較する。
+- symlinkをfollowしない。link entryとtarget stringをfactとして観測し、target file contentを重複hashしない。
+- broken / cyclic / outside-root symlinkはdiagnosticにし、traversalしない。
+- case-fold collisionはportability diagnosticにし、merge / winner選択しない。
+- filesystem列挙後はPathKeyでsortする。
+
+これによりADR-032のpath-based identityを変更せず、異なるabsolute checkoutで同じrootを得る。
+
+### 6. Volatile / self / deployment fieldsを明示的に除外する
+
+root preimageから除外する:
+
+- `generatedAt`, `producedAt`, duration等clock metadata
+- absolute path、cwd、realpath、temp path
+- mtime、inode、PID、host、user
+- git commit
+- package version、`skills/.harness-version`、`deployedAt`等deployment version stamp
+- obligation report、formatter output、persisted repayment state
+- 計算中の`corpusRoot`, Snapshot ID, `constraintRoot`, `evaluationId`
+- attestation self-digest / signatureとfuture `worldSnapshotRoot`
+
+除外はowner projectionで明示し、field name一致のgeneric filterは使わない。
+
+`schemaVersion`, `extractorVersion`, `rulesetVersion`はsemantic contract versionなので除外しない。
+
+### 7. Versionsとrelevant config digestをroot-localに含める
+
+- corpusRoot: snapshot `schemaVersion`, `extractorVersion`, `corpusConfigDigest`
+- constraintRoot: constraint `schemaVersion`, `rulesetVersion`, `constraintConfigDigest`
+- evaluationId: evaluation `schemaVersion`, `rulesetVersion`, `evaluationConfigDigest`, `policyInputsDigest`
+
+config digestはfull `phasegate.config.json` raw hashではなく、resolved defaults込みのscope-specific DTOをcanonical JSON化したSHA-256とする。
+
+- corpus scope: corpus root / include-exclude / extractor options
+- constraint scope: declaration locations / rule parameters
+- evaluation scope: evaluation semanticsを変えるresolved options
+
+output directory / format、UI limit、validator-system blocking / severity、unrelated layer configは除外する。config不在時は明示default projectionをhashする。
+
+### 8. SHA-256 providerはattestation public facadeに置く
+
+hashing capabilityの最終所有先は**attestation public facade**とし、新shared Unitは作らない。
+
+public contract:
+
+```text
+Sha256Capability.hashBytes(bytes: Uint8Array): "sha256:<64 lowercase hex>"
+```
+
+- attestation `Digest`, `ContentHasherPort`, infrastructure classをpublic contractへ露出しない。
+- `hashUtf8` helperが必要なら`TextEncoder`後に`hashBytes`へ委譲する。
+- WM-06で既存`NodeCryptoContentHasherAdapter`の`createHash` primitiveをこのpublic capability implementationへ移動または公開する。
+- attestationはattestation-local adapter、world-modelはworld-model infrastructure adapterからcapabilityを呼び、それぞれlocal Digest VOへ変換する。
+- world-model domainはconsumer-owned `WorldHashingPort`だけに依存する。
+- world-modelからattestation内部Port / VO / adapterをdeep importしない。
+- World導入のための新しい`node:crypto` SHA-256 call siteを増やさない。
+
+既存`FileSystemSourceDigesterAdapter`、ci-governance integrity、installationのhash実装を全て統合する作業はWM-06の必須scopeに広げない。
+
+### 9. §10の未決事項へ回答する
+
+#### Raw prose fragment hashのUnicode normalization
+
+**適用しない。** CRLF / CRだけをLFへtransport-normalizeし、それ以外のUnicode code point sequenceを保持したUTF-8 bytesをhashする。NFC / NFDを同一視すると、repositoryが保持する実bytes差を機械が意味的に同一と主張するため採用しない。
+
+#### Hashing capabilityの最終所有先
+
+**attestation public facadeを採用する。** 既存`NodeCryptoContentHasherAdapter`を唯一のWorld向けprimitiveとしてpublic plain capability化する。新shared contract / Unitは作らず、world-modelとattestationが各consumer-owned port / local Digestへadaptする。
+
+## Consequences
+
+### Positive
+
+- clean checkout、filesystem order、absolute root、JSON key order、LF / CRLFに依存しないrootを得られる。
+- corpus、constraint、evaluationの変更原因をrootで分離できる。
+- generated reportやself digestを入力にする循環を防げる。
+- schema / extractor / ruleset / relevant config変更を明示的にrootへ反映できる。
+- attestation内部domain modelを漏らさず、`node:crypto`実装を増やさずにSHA-256を再利用できる。
+
+### Negative / Trade-off
+
+- owner artifactごとにversioned semantic projectionとarray sort ruleが必要になる。
+- Unicode normalizationを行わないため、見た目が同じNFC / NFD textは別digestになる。
+- raw integrity digestとWorld normalized text digestは同じfileでも異なる場合がある。
+- attestationがgeneric hashing capabilityのdeployment ownerとなる。
+- version bump disciplineを誤ると異なるextractor / rulesetが同じversionを名乗るリスクがある。
+
+## Alternatives
+
+- **full file raw bytesを全artifactでhashする** — LF / CRLF、pretty JSON、matrix `generatedAt`でlogical rootが変わるため不採用。
+- **全arrayをgeneric sortする** — ordered process / prose semanticsを壊すため不採用。
+- **Unicode NFCを適用する** — repository byte差を意味的同一と主張するため不採用。
+- **full config raw hashをrootへ入れる** — output / unrelated validator変更でrootが不必要に変わるため不採用。
+- **obligation reportをevaluation inputにする** — derived output改竄で判定を変えられるため不採用。
+- **attestation内部`ContentHasherPort` / `Digest`をworld-modelからimportする** — ADR-031のownership / anti-corruption境界に反するため不採用。
+- **minimal shared hashing Unitを新設する** —primitive一つに新ownershipとproduct lifecycleを追加するコストが現状のpublic facadeより大きいため不採用。
+- **world-model内に新しい`node:crypto` adapterを作る** — SHA-256実装を増やすため不採用。
+
+## 関連要件・文書
+
+- `docs/inception/_cross/WI-280/delivery_plan.md` §1, §3 WM-03, §7 ADR-033, §8, §10
+- `docs/inception/_cross/WI-281/logical_design.md`
+- `docs/inception/_cross/WI-282/domain_model.md`
+- `docs/inception/_cross/WI-283/description.md`
+- `docs/inception/_cross/WI-283/domain_model.md`
+- `docs/inception/_cross/WI-283/logical_design.md`
+- `docs/inception/_cross/WI-283/unit_test_design.md`
+- ADR-027（成果物駆動の状態導出）
+- ADR-030（attestation canonical payload / integrity）
+- ADR-031（ownership / artifact kind / import direction）
+- ADR-032（World node identity / PathKey / Snapshot ID）

package/docs/ADR/034-world-constraint-semantics.md

@@ -0,0 +1,218 @@
+---
+adr_id: "034"
+title: "World constraint semantics と endpoint-symmetric evaluation"
+status: Proposed
+date: 2026-07-16
+---
+
+# World constraint semantics と endpoint-symmetric evaluation
+
+<!-- @work-item-id WI-284 -->
+
+## Context
+
+World Modelは、canonical snapshot上の明示関係とcontent pinから構造違反を再現可能に導出する必要がある。その際、`claimant depends-on premise`のようなfactには意味方向がある一方、claimantだけでなくpremiseの変更でも同じconstraintを再評価しなければ、前提側のdriftを見落とす。
+
+既存`GateGraph`は`dependsOn`を有向辺としてduplicate / unknown dependency / level order / cycleを検査する。L4-001 `DriftDetectionService`はdesign / codeの集合差分を`design→code` / `code→design`として報告し、`SemanticDriftService`は明示`behaviorId`を用いてdesign / code / testを比較する。これらは明示構造の検査という先例だが、stable World node ID、両endpoint digest pin、snapshot identityを持つWorld constraintではない。
+
+ADR-031はworld-modelが事実組立とconstraint evaluation、validator-systemがgate / blocking policyを所有すると決定した。ADR-032は`pgw:v1` ID、DeclaredKey、no-winner duplicate、single-hop explicit aliasを決定した。ADR-033はleaf digestと`corpusRoot` / `constraintRoot` / `evaluationId`を分離し、pinned endpoint digestをconstraintRootへ含めると決定した。本ADRはそれらを前提に、v1 constraint semanticsと構造ruleの限界を固定する。
+
+## Decision
+
+### 1. Typed directed factとendpoint-symmetric evaluationを分離する
+
+明示relationは次の順序を持つ。
+
+```text
+claimant --factType--> premise
+```
+
+- `claimant`は宣言を行い、その整合を主張する側である。
+- `premise`はclaimantの主張が参照する前提側である。
+- v1のconstraint fact typeはexplicit `references`、`depends-on`、`refines`、`content-equals`に限定する。
+- factのreverse edgeを生成せず、fact directionから逆向きの意味を推論しない。
+- `content-equals`のpredicateが数学的に対称でも、claimant / premise orderはdeclaration provenanceとして保持する。
+
+evaluationはendpoint-symmetricとする。claimantまたはpremiseのどちらかがchanged candidateになれば同じConstraintを再評価し、両endpointをcurrent snapshotから解決して全applicable ruleを評価する。この対称性は再評価trigger / coverageの性質であり、fact directionを対称化するものではない。
+
+incremental schedulingは許可するが、そのserialized evaluation resultは全Constraintを再評価した結果と一致しなければならない。
+
+### 2. ConstraintRecordは両endpointをNodePinとして固定する
+
+v1 `ConstraintRecord`は次を必須とする。
+
+```text
+ConstraintRecord {
+  constraintId: pgw:v1:constraint:<DeclaredKey>
+  schemaVersion
+  factType
+  claimant: {
+    nodeId: pgw:v1:<node-type>:...
+    contentDigest: sha256:<64 lowercase hex>
+  }
+  premise: {
+    nodeId: pgw:v1:<node-type>:...
+    contentDigest: sha256:<64 lowercase hex>
+  }
+  applicableRuleIds: sorted non-empty WCR ID set
+  declarationArtifactId
+  declarationLocator
+}
+```
+
+- `constraintId`はADR-032のDeclaredKey規則に従う。
+- 両NodePinはdeclaration採用時に一意に存在するnodeから作る。missing / duplicate endpointから新規pinを作らない。
+- content digestはADR-033のowner-aware normalization後のleaf digestである。
+- pinは期待値であり、evaluation時にcurrent digestへ自動更新しない。
+- alias解決後のnode ID / locatorはevaluation evidenceへ記録し、ConstraintRecordをmutationしない。
+- `applicableRuleIds`はcanonical ID順にsortする。
+
+canonicalized ConstraintRecordとdeclaration diagnosticsはADR-033の`constraintRoot`へ入る。current corpus facts、finding、obligation、last-evaluated time、repayment / blocking stateはConstraintRecordへ入れない。
+
+corpus-wide ID uniquenessは明示Constraintがなくても常時評価するimplicit structural invariantである。ADR-032の`duplicate-node-id` extraction diagnosticをwinnerなしで受け取り、後述`WCR-005` violationへ投影する。duplicate candidateを偽の別IDへ書き換えてNodePinにしない。
+
+### 3. 機械ruleを5種類の構造判定に限定する
+
+v1の機械判定categoryは次だけとする。
+
+1. **existence** — endpointが一意に存在するか、baselineから削除されたか、明示alias targetが存在するか。
+2. **ID uniqueness** — canonical IDが一つのcandidateだけへ解決するか。
+3. **explicit reference** — 宣言されたstable ID reference / relationが解決するか。
+4. **declared dependency** — 明示された`depends-on` relationとendpointが解決するか。
+5. **digest equality** — 各current endpoint digestがrecorded pinと一致するか。明示`content-equals`では両current digestも一致するか。
+
+prose similarity、heading similarity、naming convention、co-change、timestamp、LLM classification、暗黙のdomain knowledgeから新しいfactやviolationを生成しない。意味的妥当性、因果、改善度を機械ruleに含めない。
+
+malformed declarationのschema / type admissionは、これらのruleを安全に適用する前段の構造検査である。malformed inputを部分的なConstraintRecordとして評価へ流さない。
+
+### 4. World constraint rule IDを`WCR-NNN`で固定する
+
+v1 rulesetのstable IDを次のとおり定義する。
+
+| rule ID | name | category / decision |
+|---|---|---|
+| `WCR-001` | `declaration-well-formed` | required field、ID、digest、fact type、rule IDがmalformed / unsupported |
+| `WCR-002` | `endpoint-exists` | current snapshotにendpointがなく、baselineにも同一IDの存在証拠がない |
+| `WCR-003` | `endpoint-not-deleted` | baselineにはexact endpointが存在し、currentではmissing、かつvalid explicit aliasがない |
+| `WCR-004` | `explicit-rename-resolves` | rename continuityを主張するexplicit aliasがsingle-hop / target / role / uniqueness条件を満たさない |
+| `WCR-005` | `node-id-unique` | 一つのcanonical node IDが複数locator / candidateへ解決する |
+| `WCR-006` | `explicit-reference-resolves` | explicit reference / `refines` targetまたは宣言relationが解決しない |
+| `WCR-007` | `declared-dependency-resolves` | explicit `depends-on` endpointまたは依存relationが解決しない |
+| `WCR-008` | `endpoint-digest-equals` | claimant / premise current digestがpinと不一致、またはexplicit `content-equals`の両current digestが不一致 |
+
+`WCR-001`はdeclaration admission、`WCR-002`〜`WCR-004`はexistence / explicit resolution familyであり、§3の5 category外の意味推論を追加しない。
+
+rule ID namespaceは次を混同しない。
+
+- ADR-032 extraction diagnostics: `duplicate-node-id`, `invalid-node-id`, `missing-reflection-target`等のlowercase code
+- World constraint evaluation rules: `WCR-NNN`
+- validator-system validator IDs: registryに登録された`Lx-NNN`
+
+extraction diagnosticはcorpus / declarationをlosslessly説明し、WCR violationはconstraint evaluation結果を説明する。同一のduplicate事象が両方へ現れても、互換aliasにはせず、evaluation evidenceでsource diagnosticを参照する。
+
+### 5. Missing、deletion、renameを推論せず区別する
+
+一つのendpointのresolutionは次のprecedenceを持つ。
+
+1. declarationがmalformedなら`WCR-001`。ConstraintRecordを作らない。
+2. exact IDまたはalias targetがduplicateなら`WCR-005`。winnerを選ばない。
+3. exact IDがcurrent snapshotに一意に存在すればresolved。
+4. exact IDがなくexplicit aliasがあれば`WCR-004`で検証する。validならcanonical targetへsingle-hop解決し、`resolved-via-alias` evidenceを残す。
+5. exact IDがbaseline snapshotに存在したなら`WCR-003` deletion。
+6. それ以外は`WCR-002` missing endpoint。
+
+同じendpointへ`WCR-002`と`WCR-003`を同時に出さない。unresolved endpointへdigest mismatchを追加しない。
+
+path-based Artifact / SourceFile renameはADR-032どおりold missing + new addedであり、digest一致してもrenameとは呼ばない。explicit aliasがvalidな場合だけrename continuityを認める。explicit Fragmentは同一corpus role / DeclaredKeyを維持するfile moveやheading renameでidentityが変わらないため、rename ruleではなく同一nodeのlocator / digest changeとして扱う。
+
+### 6. `refines`は明示stable ID declarationだけを事実化する
+
+`refines` factはdeclarationがclaimant / premise両方のstable World node IDを明示し、両endpointが一意に解決した場合だけ生成する。
+
+- same DeclaredKey、heading text / level / order、path、WorkItem、content digest、prose similarityから推論しない。
+- ADR-032の`@world-reflects`が作る`proposal --reflected-as--> canonical`を自動的に`refines`へ変換しない。
+- target不在 / relation不在は`WCR-006`、構文 / node type不正は`WCR-001`。
+- 「より詳細になった」「置換した」「意味を保った」という判定は行わない。
+
+product canonicalとinception proposalはADR-031どおり別artifact / corpus roleのままであり、`refines`やdigest equalityによってdeduplicateしない。
+
+### 7. Change provenanceをsnapshot差とchanged candidatesで表す
+
+evaluation evidenceは次の非因果的`ChangeProvenance`を持てる。
+
+```text
+ChangeProvenance {
+  baselineSnapshotId: pgw:v1:snapshot:... | null
+  baselineCorpusRoot: sha256:... | null
+  currentSnapshotId: pgw:v1:snapshot:...
+  currentCorpusRoot: sha256:...
+  changedCandidates: [{
+    nodeId
+    changeKind: added | removed | modified | candidate-cardinality-changed
+    baselineDigest?
+    currentDigest?
+    baselineLocators[]
+    currentLocators[]
+  }]
+}
+```
+
+- baseline / currentはADR-033のSnapshot ID / `corpusRoot`を参照する。
+- initial evaluationはbaselineを`null`にできる。
+- changed candidatesはNode ID、change kind、locatorのcanonical tupleでsortする。
+- candidateは再評価対象を説明するevidenceであり、「candidate Aがfinding Bを引き起こした」という因果ではない。
+- path-based renameはold `removed` + new `added`。valid explicit aliasがある場合だけrename continuityを別evidenceとして表示する。
+- digest一致、類似heading、近接commit / timestampからsuccessorやcauseを推論しない。
+
+baseline snapshotは比較対象のWorld snapshotであり、ADR-035が定義するadoption baselineとは別物である。前者はchange evidence、後者は既知violation fingerprintのpolicy inputである。
+
+### 8. Evaluation outputはpolicyを持たない
+
+world-modelのevaluation DTOは最低限、`evaluationId`、`constraintId`、`ruleId`、claimant / premiseのdeclared pinとcurrent resolution evidence、source diagnostic、ChangeProvenanceを返す。
+
+severity、blocking、exit code、waived / adopted classificationをconstraint evaluatorへ入れない。validator-system adapterがWorld evaluation DTOをvalidation resultへ変換し、ADR-031のownershipどおりpolicyを適用する。obligation / fingerprint / adoption / waiverはADR-035で決める。
+
+### 9. §10のvalidator ID未決事項はADR-037へ委譲する
+
+`docs/inception/_cross/WI-280/delivery_plan.md` §10の「world-modelのconfig keyとvalidator ID」はADR-037で決定する。config discovery、CLI、validator registry、layer、default enablement、output / exit codeを一緒に決める必要があるためである。
+
+本ADRが決定するのはWorld内部rulesetの`WCR-NNN`だけであり、`L2-NNN` / `L3-NNN`を先取りしない。validator-systemの現行`ValidatorId`はregistryに列挙されたIDだけを受理するため、実装時の新validator ID追加はADR-037の決定と対応する正式WIで行う。
+
+## Consequences
+
+### Positive
+
+- fact directionを失わず、claimant / premiseどちらのdriftも検出できる。
+- 両endpoint pinにより、前提側だけの編集も同じconstraintで再現可能に評価できる。
+- missing、deletion、explicit rename failure、duplicate、digest driftをstable rule IDで区別できる。
+- `refines`やrenameを意味推論せず、明示宣言の範囲だけを機械保証できる。
+- snapshot comparisonとadoption baselineを別概念に保てる。
+- World rule、extraction diagnostic、layer validatorのID衝突を避けられる。
+
+### Negative / Trade-off
+
+- declaration採用時に両endpointのID / digestを明示pinする作業が必要になる。
+- endpointの正当な変更でもpin更新reviewが必要になる。
+- aliasなしのfile renameは意図したrenameでもold removed + new addedとして見える。
+- prose上明白なrefinementやcausal relationを自動認定しないため、人による明示宣言が必要になる。
+- baselineなしのinitial evaluationではmissingとdeletionを区別できず、missingとして扱う。
+
+## Alternatives
+
+- **fact edge自体を双方向化する** — dependency / referenceの意味方向を失い、reverse relationを誤って主張するため不採用。
+- **claimantだけをpinする** — premise側変更を見落とし、endpoint-symmetric evaluationにならないため不採用。
+- **content digestをnode identityにする** —編集ごとにendpoint identityが変わり、ADR-032と矛盾するため不採用。
+- **digest / heading similarityからrenameやrefinesを推論する** —意味的continuityを機械が過剰主張し、曖昧candidateのwinner選択を生むため不採用。
+- **既存`Lx-NNN`をWorld rule IDに流用する** —validator単位と個別constraint ruleを混同し、validator-system ownershipを侵すため不採用。
+- **ci-governanceのSHA-1 path baselineをWorld adoption baselineに流用する** —artifact lifecycle、identity、hash algorithm、policy purposeが異なるため不採用。
+
+## 関連要件・文書
+
+- `docs/inception/_cross/WI-280/delivery_plan.md` §1, §3 WM-04, §7 ADR-034, §10
+- `docs/inception/_cross/WI-284/description.md`
+- `docs/inception/_cross/WI-284/logical_design.md`
+- ADR-031（World ownership / corpus lifecycle）
+- ADR-032（World node identity / alias / reflection）
+- ADR-033（canonical snapshot / constraintRoot / evaluationId）
+- ADR-005（ヘキサゴナルアーキテクチャ）
+- ADR-027（成果物駆動状態導出）