phasegate 0.229.0 → 0.264.0

package/docs/ADR/032-world-node-identity.md

@@ -0,0 +1,198 @@
+---
+adr_id: "032"
+title: "World node identity と fragment locator"
+status: Proposed
+date: 2026-07-16
+---
+
+# World node identity と fragment locator
+
+<!-- @work-item-id WI-282 -->
+
+## Context
+
+World Model は snapshot 間で同じ node を追跡し、constraint endpoint の missing / changed / duplicate を区別する必要がある。content digest をidentityにすると編集のたびにnodeが入れ替わり、line numberやheading textをidentityにすると文書の並べ替えや見出し修正がrenameとして誤検出される。
+
+現行実装には複数のidentity / locator慣行がある。
+
+- traceability-modelは`WI-\d+` directoryとdescription frontmatter `id` の一致、inception全体の重複を検証し、`legacy_id`を保持する。
+- StoryIdは`HXX-XX` / `HF\d+-XX`、WorkItem frontmatter parserはmigration互換IDも読む。
+- `ProjectRelativePath`はproject-relative POSIX pathを表し、absolute path、backslash、`..`を拒否する。
+- matrixのTestReferenceは`filePath`, `testType`, optional `testName`, optional `binding`を持ち、dedup時にmissing bindingを`file`へ正規化する。
+- `@work-item-id`はカンマ / 空白区切りの複数参照を表し、`@attestation`はcoverage_reportのStory scope参照をline locator付きで表すが、いずれもannotation occurrence自身のstable IDを持たない。
+- integrity manifestはproject-relative pathをSHA-256へpinし、include / exclude globでtargetを宣言する。
+
+ADR-031はproductをcanonical、inceptionをproposal / deltaとして別artifactに保ち、design document / source / generated artifact / external declarationのkindを分離すると決めた。本ADRはこの非同一性を保ったまま、node identity、fragment locator、migrationを決める。
+
+## Decision
+
+### 1. Versioned World Node ID schemaを採用する
+
+全World IDは`pgw:v1:` prefixを持つ。ID schema versionはextractor / ruleset / snapshot schema versionとは独立に管理する。
+
+可変componentはURI percent-encoded UTF-8を使う。pathはexisting `ProjectRelativePath`と同じlexical contractで正規化し、各segmentをencodeして`/`を保持する。case folding、Unicode normalization、symlink resolutionはidentity生成では行わない。
+
+ID形式:
+
+| node | ID |
+|---|---|
+| Artifact | `pgw:v1:artifact:<artifact-kind>:<corpus-role>:<path-key>` |
+| SourceFile | `pgw:v1:source-file:<path-key>` |
+| explicit Fragment | `pgw:v1:fragment:<corpus-role>:<declared-key>` |
+| legacy whole-file Fragment | `pgw:v1:fragment:legacy:<artifact-kind>:<corpus-role>:<path-key>` |
+| WorkItem | `pgw:v1:work-item:<WI-ID>` |
+| TestReference | `pgw:v1:test-reference:<story-id>:<ac-id>:<binding>:<test-type>:<path-key>:name:<name-key>` |
+| ExplicitClaim | `pgw:v1:explicit-claim:<declared-key>` |
+| Constraint | `pgw:v1:constraint:<declared-key>` |
+| Snapshot | `pgw:v1:snapshot:sha256:<64-lowercase-hex>` |
+
+`DeclaredKey`は`[a-z][a-z0-9]*(?:[._-][a-z0-9]+)*`とし、人が明示する。headingやpathから自動slug化しない。
+
+Artifact kind / corpus roleはADR-031に従う。SourceFileはsource kind Artifactのspecializationであり、同じfileにgeneric Artifact nodeを二重生成しない。Snapshot hashの入力bytesはADR-033が決める。
+
+### 2. File identityとFragment identityを分離する
+
+Artifact / SourceFile IDはproject-relative pathをidentityに含む。rename / moveはold nodeのmissingとnew nodeのaddedとして観測し、同じdigestからrenameを推論しない。
+
+explicit Fragment IDは`corpus-role + DeclaredKey`であり、artifact path、heading text、heading level、document order、line number、content digestを含まない。同じcorpus role内でmarker keyが維持されれば、file move、heading rename、level変更、並べ替え後も同じFragmentである。
+
+Fragment locatorはartifact ID、marker / heading / start / end line、heading level、表示用heading textを持つ。locatorはsnapshotごとに変化でき、identityではない。
+
+### 3. Markdown fragment markerを定義する
+
+```markdown
+<!-- @world-fragment-id world-model.ownership -->
+## Ownership
+```
+
+- markerは対象ATX heading直前のcontiguous metadata preludeに置く。preludeは`@world-fragment-id` / `@world-reflects` / `@work-item-id`の単独HTML comment行だけで構成し、空行やproseを挟まない。headingはpreludeの直後に置く。
+- fenced code / inline code / example comment内部は抽出しない。
+- 一つのheadingにmarkerは1件。
+- fragment rangeはheadingから次のmarker-bound heading直前、またはEOFまで。
+- heading text / orderはlocatorでありidentityに使わない。
+- 同じcorpus role内のduplicate keyはhard extraction diagnosticとし、winnerを選ばない。
+
+markerより前のunmarked contentもArtifact全体として観測する。Fragmentがないことをcontent omissionにはしない。
+
+### 4. Legacy whole-file fallbackを段階移行する
+
+明示markerを持たないMarkdown Artifactには、Artifact tupleから導出したlegacy whole-file Fragmentを1件生成する。
+
+移行state:
+
+1. **whole-file** — markerなし。fallbackを互換targetとして観測する。
+2. **mixed** — marker導入後、completion markerがない間はexplicit fragmentsとcompatibility fallbackを併存させる。新規declarationからfallbackへの参照は禁止する。
+3. **explicit** — legacy inbound referenceが0であることをmigration gateで確認し、YAML frontmatterがあればその直後、なければ最初のheadingより前に`<!-- @world-fragment-migration complete -->`を追加する。次snapshotからfallbackを除外する。
+
+whole-file constraintをone fragmentへ自動aliasしない。どの意味境界へ分割するかは機械では判断できないため、人が一つ以上のexplicit Fragment IDへretargetする。
+
+completion markerがexplicit fragmentなしで宣言された場合、またはlegacy inbound referenceが残る場合はdiagnosticとする。fallback emissionはcorpus上のmarkerだけで決め、constraint declarationの有無に依存させない。
+
+### 5. 既存owner IDとannotationをそのまま尊重する
+
+- WorkItem nodeはtraceability-modelが解決したcanonical `WI-\d+`をpayloadにする。`legacy_id`はaliasであり別nodeを作らない。
+- TestReference IDはmatrix ownerのtuple `(storyId, acId, binding ?? "file", testType, filePath, testName)`から作る。`generatedAt`、array index、line numberを含めない。
+- `@work-item-id`はWorkItem provenance / reflection reference factへ一IDずつ展開する。
+- `@attestation`はStory scope evidence reference factとして観測する。
+- annotation line / occurrence ordinalからstable ExplicitClaim IDを生成しない。future ExplicitClaimはexternal declarationにrequired `claimId`を持つ。
+- Constraintもrequired `constraintId`からidentityを作り、violation fingerprintとは分離する。
+- integrity manifestのpath / glob / digestはtarget / claim payloadであり、node identityにはしない。
+
+### 6. Rename / move / deleteを明示的に扱う
+
+- path-based Artifact / SourceFile、matrix-derived TestReferenceのkey componentが変わればold missing + new added。
+- explicit Fragmentは同じcorpus roleとDeclaredKeyを保つmove / heading変更ではidentityを維持する。
+- productからinception、またはinceptionからproductへのrole変更は別identity。
+- deleteされたnodeはcurrent snapshotから消え、参照endpointはmissingになる。
+- content digest一致、類似heading、同じtest bodyからsuccessorを推論しない。
+
+continuityが必要ならexplicit alias declarationを使う。
+
+### 7. Aliasはidentityでなくsingle-hop resolution ruleとする
+
+Alias declarationは`aliasId`, `canonicalId`, `reason`, `workItemId`を必須とする。正式file name / schemaはADR-037で決める。
+
+- aliasは新nodeを作らず、reference resolutionをcanonical nodeへ導く。
+- targetはcanonical IDでなければならず、alias chain / cycleを禁止する。
+- 一つのaliasIdから複数targetを禁止する。
+- resolutionは`resolved-via-alias` factを残し、renameを不可視化しない。
+- Fragment aliasは同じcorpus role内だけ。product / inceptionをaliasで同一化しない。
+- traceability-model `legacy_id`はprovider-owned aliasとして投影する。
+- digest一致からaliasを自動生成しない。
+
+### 8. Duplicate IDはno-winnerで扱う
+
+WorkItem、Fragment、ExplicitClaim、Constraint、TestReferenceなど同一canonical IDが複数locatorへ解決した場合、extractorはどれかを採用せず`duplicate-node-id` diagnosticを返す。array orderやfilesystem列挙順でwinnerを選ばない。
+
+duplicateを含むsnapshotはidentity-completeではない。どのlayerでblockingするかはvalidator-system所有であり、ADR-034以降で決める。
+
+### 9. ProposalとcanonicalをWorkItem hubと明示relationで接続する
+
+現行`@work-item-id`からartifact-level provenanceを作る。
+
+```text
+inception proposal Artifact ──proposed-by──> WorkItem
+WorkItem ──reflected-in──> product canonical Artifact / Fragment
+```
+
+これは同じWIのprovenanceであり、fragment-to-fragment exact mappingではない。
+
+exact mappingが必要なcanonical headingでは次を記述する。
+
+```markdown
+<!-- @world-fragment-id world-model.ownership -->
+<!-- @world-reflects inception:world-model.ownership -->
+<!-- @work-item-id WI-282 -->
+## Ownership
+```
+
+`@world-reflects`はrepeatableで、targetは`<corpus-role>:<declared-key>`。v1 source roleは`inception`、current fragmentは`product`でなければならない。World edgeは`proposal --reflected-as--> canonical`方向に作る。
+
+same key、heading、order、digestからreflectionを推論しない。target不在、role不正、duplicate targetはdiagnosticとする。
+
+### 10. ADR-032 scopeの未決事項へ回答する
+
+#### 明示fragment IDのMarkdown記法
+
+`<!-- @world-fragment-id <DeclaredKey> -->`を採用し、ATX heading直前のcontiguous metadata preludeからbindする。HTML commentにすることでrendered proseを汚さず、既存`@work-item-id` / `@attestation`と同じ機械可読annotation慣行に合わせる。heading text / orderはidentityにしない。
+
+#### legacy whole-fileからfragmentへのmigration
+
+whole-file → mixed → explicitのratchetを採用する。marker導入時にfallbackを即削除せず、completion markerがない間はcompatibility nodeとして残す。新規fallback参照を禁止し、人がconstraint / pinを明示fragmentへretargetする。inbound reference 0を確認後に`<!-- @world-fragment-migration complete -->`を追加し、次snapshotでfallbackを除去する。一対一aliasや意味的自動分割は行わない。
+
+## Consequences
+
+### Positive
+
+- prose編集やheading並べ替えでconstraint endpoint identityが不要に変わらない。
+- path-based file eventとlogical fragment continuityを区別できる。
+- product / inceptionのprovenanceを維持し、reflectionだけを明示factにできる。
+- current annotationのlocatorをstable identityに偽装しない。
+- legacy corpusを一括marker化せず段階導入できる。
+
+### Negative / Trade-off
+
+- marker keyのproject-wide管理とduplicate検出が必要になる。
+- path-based Artifact / SourceFileはrename時にidentityが変わり、continuityにはalias declarationが必要。
+- mixed migration中はexplicit fragmentとcompatibility whole-file fragmentが併存する。
+- existing annotationだけではfragment-level exact reflectionやstable ExplicitClaimを表せない。
+
+## Alternatives
+
+- **content digestをnode IDにする** — 内容変更がdelete + addになりstalenessを追えないため不採用。
+- **heading text / heading pathをFragment IDにする** — rename / reorderでidentityが変わり、同名headingも衝突するため不採用。
+- **line number / occurrence ordinalをannotation claim IDにする** — 無関係な行挿入でidentityが変わるため不採用。
+- **same key / digestでproposalとcanonicalを自動接続する** — ADR-031のcorpus role分離と「意味的伝播を機械で主張しない」原則に反するため不採用。
+- **marker導入時にlegacy fallbackを即削除する** — existing constraint endpointを一斉にmissingへするため不採用。
+- **whole-file fallbackを一つのfragmentへ自動aliasする** — one-to-manyの意味分割を機械が決めることになるため不採用。
+
+## 関連要件・文書
+
+- `docs/inception/_cross/WI-280/delivery_plan.md` §1, §3 WM-02, §7 ADR-032, §10
+- `docs/inception/_cross/WI-281/logical_design.md`
+- `docs/inception/_cross/WI-282/description.md`
+- `docs/inception/_cross/WI-282/domain_model.md`
+- `docs/inception/_cross/WI-282/logical_design.md`
+- ADR-027（成果物駆動の状態導出）
+- ADR-030（明示参照と再導出）
+- ADR-031（ownership、artifact kind、product / inception corpus role）

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）