provostry-demo repository's record/record.mjs) from the live API of a seeded local server — a fictitious shop, two clauses, one human approval. The raw JSON at the bottom is what the API returned and what the renderer received; a customer's report is produced the same way from their own ledger.Independent outcome verification. Every value below was read from the live API of the ledger that recorded it; nothing on this page was written by hand.
Checkout charges the card exactly once and the order exists
Observed by the verify engine · assurance hosted · 2026-09-03T21:28:46.438Z
Observed by the verify engine · assurance hosted · 2026-09-03T21:28:48.458Z
chain ok
· 17 events checked
· 0 breaks
17 events total · signing not enabled on this instance
| Contract | Goal | Status | Verdict |
|---|---|---|---|
| vc:teapot · v1 | The health endpoint brews coffee (it does not) | active | FAIL |
| vc:refund-flow · v1 | A refund returns the full amount to the original card | active | not yet verified |
The exact ledger events this report summarizes, as returned by GET /api/v1/events and GET /api/v1/integrity.
{
"contract": {
"id": "20cc3bbe-3208-4167-b65f-e0c28cf64bb9",
"ts": "2026-09-03T21:27:08.323Z",
"type": "verification_contract",
"actor": { "id": "builder-7", "kind": "agent", "stance": "builder" },
"initiativeId": "northwind-checkout",
"workItemId": "wp-checkout-42",
"payload": {
"contractId": "vc:checkout-live",
"version": 1,
"goal": "Checkout charges the card exactly once and the order exists",
"generatedBy": { "kind": "agent", "id": "builder-7" },
"requiresApproval": true,
"clauses": [
{ "id": "api-up", "title": "Checkout API answers 200", "source": "shop-api",
"probe": { "kind": "http", "method": "GET", "path": "/api/v1/health" },
"assert": { "op": "status_equals", "value": 200 }, "critical": true },
{ "id": "healthy", "title": "Health body reports ok = true", "source": "shop-api",
"probe": { "kind": "http", "method": "GET", "path": "/api/v1/health" },
"assert": { "op": "json_path_equals", "path": "ok", "value": true },
"stableForMs": 2000, "critical": true }
]
},
"prevHash": "73814e9376bbc714cec87e68da3046718e562c0d75a0a3ea54fd030c0af75a41",
"hash": "e50bd71461fc7ad7098ff1b7b13d3da951c3019cf9a2a1a44b0df494f43c494d"
},
"decision": {
"id": "13e44ba7-d8c5-41a5-82e3-9ba6210c15f9",
"ts": "2026-09-03T21:28:30.457Z",
"type": "decision_record",
"actor": { "id": "operator", "kind": "human" },
"payload": { "subject": "vc:checkout-live", "decision": "approve",
"rationale": "Clauses cover the charge and the order — approved.", "subjectKind": "verification_contract" },
"prevHash": "e14b5b0acbb4e9d80f3449f70bc3ec756f64fdd76f8c974efcd8c0c5e4de3e79",
"hash": "eccd0e88147b0be0694af7a17406d4b78e079fd8f61888d033baec0ff61a4453"
},
"observations": [
{ "id": "48abe728-a0d6-4aba-b358-ed6a212c1fee", "ts": "2026-09-03T21:28:46.438Z",
"type": "verification_observation",
"actor": { "id": "verify-engine", "kind": "system", "stance": "verifier" },
"initiativeId": "northwind-checkout", "workItemId": "wp-checkout-42",
"payload": { "contractId": "vc:checkout-live",
"contractHash": "2dcf136de380d80b27c082aabaace1d653017ba72dc647f8822a1e00862f1cf0",
"runId": "run:vc:checkout-live:1:26acc823", "clauseId": "api-up", "outcome": "pass",
"evidence": [ "attempt 1: source \"shop-api\" GET /api/v1/health → status 200: status_equals 200 satisfied", "1 attempt(s), 25ms elapsed" ],
"observedAt": "2026-09-03T21:28:46.438Z", "assurance": "hosted" },
"prevHash": "eccd0e88147b0be0694af7a17406d4b78e079fd8f61888d033baec0ff61a4453",
"hash": "f102eac0e9443bf83b00d9e27d52281668a5ebfe86d230f248d1e94f249c70bf" },
{ "id": "5c162a10-6287-4d36-9550-64b125729ff0", "ts": "2026-09-03T21:28:48.458Z",
"type": "verification_observation",
"actor": { "id": "verify-engine", "kind": "system", "stance": "verifier" },
"initiativeId": "northwind-checkout", "workItemId": "wp-checkout-42",
"payload": { "contractId": "vc:checkout-live",
"contractHash": "2dcf136de380d80b27c082aabaace1d653017ba72dc647f8822a1e00862f1cf0",
"runId": "run:vc:checkout-live:1:26acc823", "clauseId": "healthy", "outcome": "pass",
"evidence": [ "attempt 1: source \"shop-api\" GET /api/v1/health → status 200: json_path_equals ok: observed true",
"stability re-probe after 2000ms — attempt 2: source \"shop-api\" GET /api/v1/health → status 200: json_path_equals ok: observed true",
"2 attempt(s), 2019ms elapsed" ],
"observedAt": "2026-09-03T21:28:48.458Z", "assurance": "hosted" },
"prevHash": "f102eac0e9443bf83b00d9e27d52281668a5ebfe86d230f248d1e94f249c70bf",
"hash": "5b7d2fd2e833ec6c66a1179870e72e29e3a985ddd2449f5f903128e3c6130629" }
],
"verdict": {
"id": "e9ce505b-4057-4278-ae15-09675e9f62ad", "ts": "2026-09-03T21:28:48.459Z",
"type": "verification_verdict",
"actor": { "id": "verify-engine", "kind": "system", "stance": "verifier" },
"initiativeId": "northwind-checkout", "workItemId": "wp-checkout-42",
"payload": { "contractId": "vc:checkout-live",
"contractHash": "2dcf136de380d80b27c082aabaace1d653017ba72dc647f8822a1e00862f1cf0",
"runId": "run:vc:checkout-live:1:26acc823", "verdict": "pass",
"clauses": [ { "clauseId": "api-up", "outcome": "pass", "critical": true },
{ "clauseId": "healthy", "outcome": "pass", "critical": true } ],
"observationEventIds": [ "48abe728-a0d6-4aba-b358-ed6a212c1fee", "5c162a10-6287-4d36-9550-64b125729ff0" ],
"durationMs": 2046,
"sourceOrigins": { "shop-api": "http://127.0.0.1:4477" } },
"prevHash": "5b7d2fd2e833ec6c66a1179870e72e29e3a985ddd2449f5f903128e3c6130629",
"hash": "28b8ff636d992987b7cc4461e4182b5c9971d7302c5d2b7ede3ea0001d2c4c78"
},
"integrity": { "ok": true, "total": 17, "checked": 17, "brokenAt": null, "reason": null, "signed": false, "signatures": null }
}