[GP2-S1] WAL Projection Fact Types

[flyingrobots]

Roadmap slice: GP2-S1
Goalpost: Goalpost 2: WAL Evidence Projection
Parent: #521
Related: #522

Source: docs/design/wal-wsc-durability-roadmap.md on branch cycle/521-wal-wsc-storage-relationship at bde7957c.

Scope

Parent issues:
#521,
#525.

Scope:

• Add typed projection records for WalRoot, WalWriterEpoch,
  WalSegmentRef, WalCommitAnchor, and RecoveryCertificateRef.
• Keep storage locators separate from causal identity.

Acceptance:

• WalSegmentRef identity is based on writer epoch, LSN range, commit digest
  chain, segment digest, commit anchors, and sealed posture.
• Raw absolute paths cannot participate in projection identity.
• Projection records are read-model evidence, not WalStorePort.

Witness:

cargo test -p warp-core wal_projection_fact_identity

Dedupe note

This is the PR-sized implementation slice for the roadmap item above. Existing umbrella or adjacent issues remain linked as Parent/Related rather than duplicated here.

[coderabbitai]

🔗 Related PRs

#323 - Witnessed suffix admission evaluator [merged]
#358 - feat(core): add admission evidence boundaries [merged]
#379 - feat(core): commit runtime WAL ACK evidence [merged]
#389 - warp-wasm: add WARP DRIVE G2b query projection [merged]
#550 - Expose braid membership history [merged]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!