Skip to content

Commit c827ca8

Browse files
feat: canonical eShop holdout publish — witness-passed-on-bounded-anonymous-catalog-surface
T024 u7 (freeze 27741d9c intact): ledger outcome transitioned with exact honest vocabulary; sealed u6 witness evidence sha256-bound (5 files); the post-freeze byte-identical-adapter claim RECOMPUTED from the sealed u4 build inventory to the witness migrated-lane digest (3b859e5b) — the receipt refuses to derive otherwise. Install RED under f1a63359 and both reopens retained as history; build-era non-claims carried unedited; unproven surfaces named (identity/basket/orders/campaigns out-of-surface, SignalR not-reached, text-entry/drag not-tested). Nine re-sealed anti-overclaim guards incl. counting-flip and sealed-witness-edit. counting.countedInLineageNumerator stays false, decidedBy judge. Digest fb921b46; trust deterministic core 656e861a; trust:verify + receipt:verify offline valid. Peer receipts byte-untouched. T024 complete: 7 units — silence defect, community readings, lockfile/scripts, use-position successor, forRoot removal, rxjs patch, tilde-sass, call-surface, republishedSubpath, re-freeze 27741d9c, honest ledger, witness GREEN, canonical publish. All capabilities single-app/experimental pending 2nd-app proof. Claude-Session: https://claude.ai/code/session_01HEVhWgWk9AXTiFMysQNB5r
1 parent e384eaf commit c827ca8

18 files changed

Lines changed: 1066 additions & 208 deletions

evidence/runs/aggregate.json

Lines changed: 43 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -321,9 +321,9 @@
321321
"lineage": "angular",
322322
"role": "holdout",
323323
"attempted": true,
324-
"outcome": "migrated-build-green-witness-pending",
325-
"reason": "browser behaviour: no witness journey has run in either lane, so the migrated production build is proven to exist and repeat and is proven to do nothing else",
326-
"verdict": "the reopened Angular adapter carries this application as far as a repeatable production build and no further; the entry is published as a measured state, not as a passed holdout",
324+
"outcome": "witness-passed-on-bounded-anonymous-catalog-surface",
325+
"reason": "every surface outside the anonymous catalog: identity is out of surface and basket, orders and campaigns are out of surface behind it, the SignalR hub was never reached, and text entry and drag were not tested — those surfaces are unproven rather than proven absent",
326+
"verdict": "the reopened and re-frozen Angular adapter carries this application to a repeatable production build and to a browser journey whose behaviour is indistinguishable from the era baseline on the anonymous catalog surface; everything behind identity is out of surface and stays unproven",
327327
"frozenAdapterFingerprint": "f1a63359210b87c04408b27cf8c40e88e1b47d44bcc7f5a9be20d9478dc71012",
328328
"adapterBytesChanged": 0,
329329
"authorizedReopen": {
@@ -332,18 +332,53 @@
332332
"capabilitiesExtracted": 9,
333333
"angularSubtreeOidAtGreen": "4b6e2f4494d98582e4fe9b420c2b412059dc0720",
334334
"refreezeComposite": "27741d9c8bfac1b6bb0b330423b1cf258fcde722f548ecb9cf8b389cc98e4234",
335-
"outcomeAfterReopen": "migrated-build-green-witness-pending"
335+
"outcomeAfterReopen": "witness-passed-on-bounded-anonymous-catalog-surface"
336336
},
337337
"baselineLane": "green",
338338
"migratedLaneUnderFreeze": "red",
339339
"migratedLane": "green",
340340
"attempts": 2,
341-
"witness": "not-run",
341+
"witness": "passed-on-bounded-surface",
342+
"witnessUnit": "lrapr-t024/u6-eshop-witness-journeys",
343+
"witnessParityDigest": "585ae9ecdf637ace7031624b00750a3c03c7f8f900e60017c55b8ee4f973a363",
344+
"witnessRuns": 4,
345+
"witnessLegs": 7,
346+
"witnessSurface": "anonymous-catalog",
347+
"witnessSurfaceNotCovered": [
348+
{
349+
"surface": "identity",
350+
"state": "out-of-surface"
351+
},
352+
{
353+
"surface": "basket",
354+
"state": "out-of-surface"
355+
},
356+
{
357+
"surface": "orders",
358+
"state": "out-of-surface"
359+
},
360+
{
361+
"surface": "campaigns",
362+
"state": "out-of-surface"
363+
},
364+
{
365+
"surface": "signalr",
366+
"state": "not-reached"
367+
},
368+
{
369+
"surface": "text-entry",
370+
"state": "not-tested"
371+
},
372+
{
373+
"surface": "drag",
374+
"state": "not-tested"
375+
}
376+
],
342377
"receipt": "evidence/runs/holdout-angular-eshop-webspa/receipt.json",
343-
"digest": "a1c43326cb9b0f756e269d0e8339abe64df85a4ce9b709d7c612d37f8e7f0712",
378+
"digest": "fb921b46925f03947781629dce85b03fb51ad3a0969197098181d10486563fb9",
344379
"countedInLineageNumerator": false,
345-
"countingNote": "Never counted in any lineage numerator. The migrated production build is green and repeatable, but no witness journey has run, so no application is proven migrated: this entry is a measured state published in full, not a vertical and not a pass. The install RED under the frozen f1a63359 composite is retained beside it as the record of what the frozen adapter did.",
346-
"browserProof": "not-tested"
380+
"countingNote": "Never counted in any lineage numerator by this record. The migrated production build is green and repeatable, and the Witness is green on the anonymous catalog surface — twice per lane, one parity digest, with a mutation-red and byte-restore proof under it. What that leaves unproven is stated beside it: every surface outside the anonymous catalog: identity is out of surface and basket, orders and campaigns are out of surface behind it, the SignalR hub was never reached, and text entry and drag were not tested — those surfaces are unproven rather than proven absent. Whether a holdout proven on a bounded surface should ever reach a numerator is the Judge's decision, taken on the Judge's ledger and not here. The install RED under the frozen f1a63359 composite is retained beside all of it as the record of what the frozen adapter did.",
381+
"browserProof": "verified-on-bounded-anonymous-catalog-surface"
347382
}
348383
],
349384
"unsupported": []

0 commit comments

Comments
 (0)