chore: add changeset for the liveness prove-it-runs gate change

claude · claude · commit b8378a0e59dc · 2026-06-19T09:39:55.000Z
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XVdnfUAx85amkerym26vdx
diff --git a/.changeset/liveness-prove-it-runs.md b/.changeset/liveness-prove-it-runs.md
@@ -0,0 +1,5 @@
+---
+"@objectstack/spec": patch
+---
+
+Add the ADR-0054 "prove-it-runs" proof field + ratchet to the spec liveness gate. A `live` ledger entry may now carry a `proof` — a reference (`<file>#<proof-id>`) to a dogfood test that asserts the property's runtime behavior. For the high-risk classes bound this phase (field types → `field.type`; RLS → `permission.rowLevelSecurity.using`), a `live` classification must carry a valid proof, validated statically by the liveness gate (the file exists and declares the matching `@proof:` tag). The authoritative high-risk-class list lives in `scripts/liveness/proof-registry.mts`; see `liveness/README.md`.

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +---
 +"@objectstack/spec": patch
 +---
++
 +Add the ADR-0054 "prove-it-runs" proof field + ratchet to the spec liveness gate. A `live` ledger entry may now carry a `proof` — a reference (`<file>#<proof-id>`) to a dogfood test that asserts the property's runtime behavior. For the high-risk classes bound this phase (field types → `field.type`; RLS → `permission.rowLevelSecurity.using`), a `live` classification must carry a valid proof, validated statically by the liveness gate (the file exists and declares the matching `@proof:` tag). The authoritative high-risk-class list lives in `scripts/liveness/proof-registry.mts`; see `liveness/README.md`.