Advance v18 evidence and receipt projection

CHANGELOG.md

@@ -9,6 +9,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Fixed
 
+- v18 Continuum evidence posture now uses participant-runtime and
+  Continuum-witnessed vocabulary instead of substrate/native framing, and
+  git-warp participant evidence cannot carry a Continuum witness reference.
+- Writer patch sessions now preserve `WRITER_COMMIT_NOT_VISIBLE` when a
+  post-CAS visibility failure reaches the public writer API instead of
+  collapsing it to `PERSIST_WRITE_FAILED`.
+- BEARING and v18 cycle notes now reflect the current PR branch, latest closed
+  cycle, and participant evidence terminology.
 - Continuum artifact ingestion now enforces artifact-kind/authority pairing at
   the domain policy layer, keeps review fixtures repo-neutral, and splits the
   JSON adapter into focused parser, validation, fixture, and Wesley inventory

docs/BEARING.md

@@ -40,8 +40,8 @@ The long-term compatibility target is the WARP Optic shape described in
 `~/git/blog/aion-paper-07/dist/aion-paper-07.txt`, plus the Continuum
 contract families authored in `~/git/continuum/schemas/` and compiled by
 Wesley. Echo and `git-warp` are sibling runtime implementations. `git-warp`
-has its own Continuum role, and it must not emit Continuum-shaped values as
-native Continuum witnesses until that witnesshood is actually proven.
+has its own Continuum role, and it must not attach a separate Continuum witness
+reference to projected values until that witnesshood is actually proven.
 
 Backlog fold-in: the repo-visible v18 lane is
 `WL-4A-v18-graph-substrate-convergence` in
@@ -56,12 +56,12 @@ Continuum role.
 
 Current branch state at this boundary:
 
-- Branch: `v18-continuum-opening`
+- Branch: `v18-evidence-receipt-projection`
 - Release tag: `v17.0.0`
-- Latest remote head inspected: `origin/main` at `5afdd3eb`
+- Latest remote head inspected: `origin/main` at `6d4a0d6`
 - Latest package version: `17.0.0`
 - Latest closed cycle:
-  `0145-push-pr-review-merge`
+  `0154-v18-warp-ttd-receipt-smoke`
 
 The release ladder is now:
 
@@ -140,10 +140,10 @@ read-model groundwork, sync hardening, release gates, and package publishing.
 - v18 can easily turn into adapter folklore if `git-warp` hand-authors local
   mirrors of Continuum-owned families instead of consuming Wesley-generated
   artifacts.
-- v18 can also lie in the other direction: Continuum-shaped values are not
-  Continuum-native witnesses unless the runtime has actually proven native
-  witnesshood. Initial git-warp compatibility evidence should be treated as
-  translated git-warp evidence until stronger proof exists.
+- v18 can also lie in the other direction: Continuum-shaped values do not carry
+  separate Continuum witness references unless that witnesshood is actually
+  proven. Initial git-warp compatibility evidence should be treated as
+  participant-runtime evidence until stronger proof exists.
 - The v18 backlog already names a graph-model convergence lane. The plan must
   fold that lane into Continuum compatibility instead of replacing it with a
   parallel cross-repo adapter plan.
@@ -178,16 +178,38 @@ before the final commit for that slice, and mark completed items with `- [x]`.
   and one-file-per-concept caps, self-attested authority fields from artifact
   JSON are rejected, policy-test authority fixtures are named constants, and
   empty or internally inconsistent Wesley generated inventory is rejected.
-- [ ] 6. Make evidence posture explicit: translated git-warp evidence first,
-  native Continuum evidence only after native witnesshood is proven.
-- [ ] 7. Prove the patch commit visibility contract: success means canonical
-  writer-tip advancement and visible graph truth, not just object creation.
-- [ ] 8. Add the same-writer concurrent patch race witness with final-frontier
-  and visible-state assertions.
-- [ ] 9. Project git-warp receipt facts into the generated Continuum
-  receipt-family shape with conformance tests.
-- [ ] 10. Add the first `warp-ttd` smoke over generated-family git-warp receipt
-  facts instead of handwritten adapter-local receipt folklore.
+- [x] 6. Make evidence posture explicit: git-warp participant evidence first,
+  Continuum-witnessed evidence only after a witness reference is present. The
+  current seam adds runtime-backed `ContinuumEvidencePosture` and
+  `ContinuumEvidenceStatus`; git-warp evidence is explicit
+  `participant-runtime` evidence, Continuum-witnessed evidence cannot be
+  constructed without `continuumWitnessRef`, and participant-runtime evidence
+  rejects Continuum witness references.
+- [x] 7. Prove the patch commit visibility contract: success means canonical
+  writer-tip advancement and visible graph truth, not just object creation. The
+  patch commit path now advances writer refs with `compareAndSwapRef()`,
+  rereads the writer ref before returning success, throws
+  `WRITER_COMMIT_NOT_VISIBLE` if the returned commit is not the visible writer
+  tip, and has focused tests proving both ref visibility and materialized graph
+  visibility.
+- [x] 8. Add the same-writer concurrent patch race witness with final-frontier
+  and visible-state assertions. The regression witness creates two stale
+  builders for the same writer, commits them concurrently, proves exactly one
+  wins, asserts the writer ref names the winning SHA, and verifies only the
+  winning node is visible after materialization.
+- [x] 9. Project git-warp receipt facts into the generated Continuum
+  receipt-family shape with conformance tests. `ContinuumReceiptProjector` now
+  maps `TickReceipt` into runtime-backed Continuum receipt-family `Receipt`
+  facts, `ContinuumReceiptFamilyProjection` carries the receipt-family artifact
+  descriptor and explicit evidence status, and non-receipt-family artifacts are
+  rejected.
+- [x] 10. Add the first `warp-ttd` smoke over generated-family git-warp receipt
+  facts instead of handwritten adapter-local receipt folklore. The smoke starts
+  from a real committed git-warp patch, materializes real `TickReceipt` output,
+  loads the generated receipt-family fixture descriptor through the adapter
+  seam, projects the receipt into `ContinuumReceiptFamilyProjection`, queries
+  by head and frame for the `warp-ttd` target, and keeps evidence posture
+  explicitly participant-runtime rather than Continuum-witnessed.
 - [ ] 11. Re-plan with evidence in hand before expanding into reading-envelope,
   suffix/runtime-boundary, neighborhood-core, and settlement-family slices.
 

docs/design/0146-v18-continuum-compatibility-charter/v18-continuum-compatibility-charter.md

@@ -25,7 +25,8 @@ participant without collapsing it into Echo, Wesley, or `warp-ttd`.
 - it consumes Wesley-generated artifacts for Continuum-owned contract families;
 - it maps append-only Git history into honest WARP Optic evidence;
 - it exposes generated-family facts to `warp-ttd`;
-- it separates translated git-warp evidence from native Continuum witnesshood.
+- it separates git-warp participant evidence from separate Continuum
+  witnesshood.
 
 ## Source Artifacts
 
@@ -100,13 +101,13 @@ defines `git-warp`'s participant obligations.
 
 ## Evidence Posture
 
-The default posture for existing git-warp facts mapped into Continuum-family
-shapes is translated evidence. A value may be Continuum-shaped without being
-Continuum-native.
+The default posture for existing git-warp facts projected into Continuum-family
+shapes is participant-runtime evidence. A value may be Continuum-shaped without
+carrying a separate Continuum witness reference.
 
-`git-warp` may claim native Continuum witnesshood only after a runtime witness
+`git-warp` may attach a Continuum witness reference only after a runtime witness
 proves the value was produced through the corresponding Continuum family
-contract and not merely mapped from local git-warp facts.
+contract and not merely projected from local git-warp facts.
 
 ## Non-Goals
 
@@ -116,7 +117,7 @@ contract and not merely mapped from local git-warp facts.
   contracts.
 - Do not build a generic WARP Optic runtime before repeated concrete
   compatibility cuts justify it.
-- Do not claim native Continuum witnesshood for translated git-warp evidence.
+- Do not claim separate Continuum witnesshood for git-warp participant evidence.
 
 ## Acceptance
 
@@ -144,7 +145,7 @@ The v18 opening campaign is on track when:
 - Message parsing: green; no behavior branches are introduced.
 - Ambient time or entropy: green; no runtime code introduced.
 - Fake shape trust or cast-cosplay: green; the charter explicitly rejects fake
-  native witnesshood.
+  witnesshood.
 
 ## Closeout
 

docs/design/0147-v18-continuum-contract-matrix/v18-continuum-contract-matrix.md

@@ -26,8 +26,8 @@ contract families and the current proof gap for each one.
 - Echo and `git-warp` are sibling runtimes that may emit or consume conforming
   values.
 - `warp-ttd` is the structured debugger/read-model consumer.
-- Existing `git-warp` facts are translated evidence until native Continuum
-  witnesshood is proven.
+- Existing `git-warp` facts are participant-runtime evidence until separate
+  Continuum witnesshood is proven.
 
 ## Evidence Snapshot
 
@@ -45,23 +45,23 @@ The matrix below is based on these inspected local sources:
 
 | Family | Authored home | Wesley status | `git-warp` source facts | Primary `warp-ttd` need | Missing witness |
 | --- | --- | --- | --- | --- | --- |
-| `receipt-family` | `~/git/continuum/schemas/continuum-receipt-family.graphql` | `profiled`, `fixture-witnessed`; scope `receipt-family` checks cross-leg schema hash, TTD fixture shape, Echo fixture shape, boundary fixture, roundtrip vectors, and receipt/witness separation | `TickReceipt`, op outcomes, `DeliveryObservation`, audit receipt chains, materialize/provenance receipt collection | Receipt and delivery facts as generated-family nouns, not adapter-local summaries | Live `git-warp` receipt publication mapped through generated artifacts with translated evidence posture, then witnessed as native only after a Continuum runtime witness exists |
+| `receipt-family` | `~/git/continuum/schemas/continuum-receipt-family.graphql` | `profiled`, `fixture-witnessed`; scope `receipt-family` checks cross-leg schema hash, TTD fixture shape, Echo fixture shape, boundary fixture, roundtrip vectors, and receipt/witness separation | `TickReceipt`, op outcomes, `DeliveryObservation`, audit receipt chains, materialize/provenance receipt collection | Receipt and delivery facts as generated-family nouns, not adapter-local summaries | Live `git-warp` receipt publication projected through generated artifacts with participant-runtime evidence posture, then linked to separate Continuum witnesses only when such witnesses exist |
 | `settlement-family` | `~/git/continuum/schemas/continuum-settlement-family.graphql` | `profiled`, `fixture-witnessed`; scope `settlement-family` checks cross-leg coherence and settlement boundary fixtures | Patch diffs, conflict traces, merge/conflict analysis, strand/braid conflict artifacts, writer frontier state | Import/settlement explanation for cross-runtime history and merge inspection | Live settlement values from `git-warp` suffix/import or merge flows, plus generated-artifact conformance |
-| `neighborhood-core-family` | `~/git/continuum/schemas/continuum-neighborhood-core-family.graphql` | `authored`; not yet profiled in the current Continuum Wesley scope list | Graph name, writer refs, worldline/frontier facts, local site-like participation facts still unnamed as a stable family | Neighborhood focus, participant catalog, and site navigation across Echo and `git-warp` targets | Wesley profile and fixture witness first; then `git-warp` participant values with explicit translated/native evidence status |
+| `neighborhood-core-family` | `~/git/continuum/schemas/continuum-neighborhood-core-family.graphql` | `authored`; not yet profiled in the current Continuum Wesley scope list | Graph name, writer refs, worldline/frontier facts, local site-like participation facts still unnamed as a stable family | Neighborhood focus, participant catalog, and site navigation across Echo and `git-warp` targets | Wesley profile and fixture witness first; then `git-warp` participant values with explicit participant-runtime or Continuum-witnessed evidence status |
 | `runtime-boundary-family` | `~/git/continuum/schemas/continuum-runtime-boundary-family.graphql` | `authored`; not yet profiled in the current Continuum Wesley scope list | Materialize/read requests, observer/read basis, patch suffixes, frontiers, provenance refs, receipt collections, import outcomes still split across local APIs | Admission-chain read model: observer plans, reading envelopes, evidence posture, suffix shells, causal suffix bundles, import outcomes | Wesley profile, generated fixtures, and a live witnessed suffix exchange/admission proof between sibling runtimes |
 
 ## Source-Fact Map
 
 | Continuum noun | Current `git-warp` anchor | Current posture |
 | --- | --- | --- |
-| `Receipt` | `TickReceipt`, audit receipts, receipt shards | Translated evidence; shape is not yet generated-family native |
+| `Receipt` | `TickReceipt`, audit receipts, receipt shards | Participant-runtime evidence; shape is not yet linked to separate Continuum witness refs |
 | `DeliveryObservation` | `DeliveryObservation` and effect sink observations | Local fact with strong name overlap; not yet Continuum family output |
 | `Witness` | checkpoint-tail witnesses, conflict witnesses, audit chain proofs | Local witness forms; no shared generated family surface yet |
 | `SettlementDelta` / `ConflictArtifact` | `PatchDiff`, conflict traces, merge/conflict services | Candidate source facts; missing shared generated settlement adapter |
 | `NeighborhoodCore` / `NeighborhoodParticipant` | graph name, writers, frontiers, worldline metadata | Candidate source facts; missing stable local site/participant object |
 | `ObserverPlan` / `ObservationRequest` | query/read basis, materialize options, traversal context | Candidate source facts; missing generated runtime-boundary profile |
 | `ReadingEnvelope` | materialize/query/read results plus provenance/receipt options | Candidate source facts; missing explicit evidence status wrapper |
-| `TranslatedSubstrateEvidence` | append-only Git-backed causal history, patch SHAs, writer refs, receipts | Correct initial evidence posture for compatibility outputs |
+| `ParticipantRuntimeEvidence` | append-only Git-backed causal history, patch SHAs, writer refs, receipts | Correct initial evidence posture for compatibility outputs |
 | `WitnessedSuffixShell` / `CausalSuffixBundle` | writer patch chains, frontier maps, transport/sync suffixes | Candidate source facts; missing compact generated shell and admission witness |
 | `ImportOutcome` | sync/import/materialization outcomes and conflict posture | Candidate source facts; missing runtime-boundary family emission |
 
@@ -88,8 +88,8 @@ Recommended order:
 1. Ingest or locally fixture the `receipt-family` generated artifact manifest.
 2. Reject local `git-warp` files that claim to be authoritative mirrors of
    Continuum-owned families.
-3. Map `TickReceipt` and `DeliveryObservation` into a translated
-   `receipt-family` projection without claiming native Continuum witnesshood.
+3. Map `TickReceipt` and `DeliveryObservation` into a participant-runtime
+   `receipt-family` projection without claiming separate Continuum witnesshood.
 4. Let `warp-ttd` consume that projection as generated-family-shaped input.
 
 ## SSJS Scorecard
@@ -103,7 +103,7 @@ Recommended order:
 - Message parsing: green; no behavior branches introduced.
 - Ambient time or entropy: green; no runtime code introduced.
 - Fake shape trust or cast-cosplay: green; every current `git-warp` mapping is
-  marked as translated evidence until a stronger witness exists.
+  marked as participant-runtime evidence until a stronger witness exists.
 
 ## Closeout
 

docs/design/0148-v18-warp-optic-realization-map/v18-warp-optic-realization-map.md

@@ -43,7 +43,7 @@ as a compatibility map over existing repo facts.
 
 | Scale | Weave `P` | Frontier `F*` | Result `R` | Witness `W` | Retained shell `theta` | Current posture |
 | --- | --- | --- | --- | --- | --- | --- |
-| Tick / patch | One patch or ordered patch sequence | Writer and graph frontier | State transition, `PatchDiff`, or op outcomes | `TickReceipt`, op outcome details | Patch commit, receipt, optional audit receipt | Real local runtime fact; not native Continuum receipt-family output yet |
+| Tick / patch | One patch or ordered patch sequence | Writer and graph frontier | State transition, `PatchDiff`, or op outcomes | `TickReceipt`, op outcome details | Patch commit, receipt, optional audit receipt | Real local runtime fact; not linked to separate Continuum receipt-family witnesses yet |
 | Read / optic | Observer/read target plus basis | Live, coordinate, or strand source | Node/property/traversal/materialized reading | `ReadIdentity`, checkpoint-tail witnesses, failure cause | Read identity plus checkpoint/tail anchors | Real local read fact; missing generated `ReadingEnvelope` |
 | Provenance slice | Backward cone for a target | Patch graph reachable from target | Bounded reconstructed state and patch count | Causal patch list, optional receipts | Provenance payload and source SHAs | Real local source fact; missing Continuum evidence wrapper |
 | Strand / braid | Strand overlay or braided strand set | Parent frontier plus overlay heads | Materialized strand state or conflict trace | conflict receipts, conflict anchors, participant traces | strand descriptor, overlay patches, conflict analysis | Candidate settlement-family source facts |
@@ -68,16 +68,16 @@ Current `git-warp` facts map into it conservatively:
 
 ## Evidence Posture
 
-The first v18 compatibility layer must mark `git-warp` outputs as translated
-evidence unless a native Continuum runtime witness exists.
+The first v18 compatibility layer must mark `git-warp` outputs as
+participant-runtime evidence unless a separate Continuum witness exists.
 
 That means:
 
 - a `TickReceipt` can be mapped toward `receipt-family`;
 - a conflict trace can be mapped toward `settlement-family`;
 - a read result can be mapped toward `runtime-boundary-family`;
 - a sync suffix can be mapped toward `WitnessedSuffixShell`;
-- none of those mappings may claim native Continuum witnesshood by shape alone.
+- none of those mappings may claim separate Continuum witnesshood by shape alone.
 
 ## Next Engineering Cut
 
@@ -92,7 +92,7 @@ The seam should not:
 - parse arbitrary GraphQL in the domain;
 - generate types at runtime;
 - make `git-warp` the owner of Continuum family semantics;
-- equate translated `git-warp` evidence with native Continuum witnesshood.
+- equate git-warp participant evidence with separate Continuum witnesshood.
 
 ## SSJS Scorecard
 
@@ -104,7 +104,8 @@ The seam should not:
   modules and their gaps are named.
 - Message parsing: green; no behavior branches introduced.
 - Ambient time or entropy: green; no runtime code introduced.
-- Fake shape trust or cast-cosplay: green; translated evidence is explicit.
+- Fake shape trust or cast-cosplay: green; participant-runtime evidence is
+  explicit.
 
 ## Closeout