You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
specs/STATUS.md: all three tracks are pbr-GREEN — move them to Shipped
pbr closed the last blocker (<7f2818a3...>, the _live capability escape).
Final verdicts: ATOMIC-ACTIVATION-V1 GREEN, MOVED-EVENT-V1 GREEN,
SOURCE-IDENTITY-V1 GREEN on both code and spec.
Removes the "Landed -- live in the engine, pbr code verdict outstanding"
section added earlier today and files its three entries under Shipped, which
now means what it says for them: feature live, with tests, independently
reviewed.
Construct has been sent the ATOMIC GREEN notice owed to them as a consumer
(<8c6aeb17...>), including pbr's ruling that an empty retract reason stays
contract-valid at the engine and their non-empty guard is correct host
policy.
574 passed.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W1xgbwfcNa6J6t6nmWqo96
| MOVED-EVENT-V1 | Movement as a reified `kind=moved` event (`agent`/`origin`/`destination`/`manner`), `literal` never-invent endpoints, the prose-mode coordinate pass, `in_transit()`, the additive six-key `events()` payload. MCP verb 38 |
40
+
| ATOMIC-ACTIVATION-V1 | All-or-none activation: `commit_set(ops)` + `ingest_structured(atomic=True)` over a unit-of-work behind a deny-by-default capability facade and a provenance-gated SQLite authorizer; `AtomicAbort{cause,skipped,error}`; fail-closed poison as an independent software gate. MCP verb 39 |
41
+
| SOURCE-IDENTITY-V1 | A source class carries its source's *identity* — distinct documents corroborate when agreeing and raise §7.2 cross-source flags when disagreeing instead of silently last-write-wins. Ids canonicalize through the identity closure; the class is a canonical composite, never a spelling-selected member; conflict parties are computed against the served value |
39
42
| MCP-WRAPPER-V1 | The porcelain over MCP: 39 deterministic tools (37 at authoring; `in_transit` and `commit_set` added by the two tracks below), `[mcp]` extra, `patternbuffer-mcp` stdio server (engine-independence beyond Python) |
40
43
41
-
## Landed — live in the engine, **pbr code verdict outstanding**
42
-
These three shipped on `main` under founder direction ahead of a code review, and
43
-
are **reviewable, not settled**. Spec revisions are pbr-GREEN; what is outstanding
44
-
is implementation fidelity. A RED verdict means amend or revert on `main`.
45
-
46
-
| Spec | What it landed | Review state |
47
-
|---|---|---|
48
-
| MOVED-EVENT-V1 (r6) | Movement as a reified `kind=moved` event (`agent`/`origin`/`destination`/`manner`), `literal` never-invent endpoints, the prose-mode coordinate pass, `in_transit()`, the additive six-key `events()` payload. MCP verb 38 | spec GREEN `<2e17ff6f…>`; code review resubmitted `<9c26ad0a…>`|
49
-
| ATOMIC-ACTIVATION-V1 (r11) | All-or-none activation: `commit_set(ops)` + `ingest_structured(atomic=True)` over a unit-of-work behind a deny-by-default capability facade + provenance-gated SQLite authorizer; `AtomicAbort{cause,skipped,error}`. MCP verb 39. **Consumed live by Construct**| spec GREEN `<48a4cd92…>`; code review resubmitted `<9c26ad0a…>`|
50
-
| SOURCE-IDENTITY-V1 (r2) | A source class carries its source's *identity*, so distinct documents corroborate when agreeing and raise §7.2 cross-source flags when disagreeing instead of silently last-write-wins. Ids canonicalize through the identity closure; the class is a composite, never a spelling-selected member; conflict parties are computed against the served value | r1.1 RED (`<8b7ef3c6…>` spec, `<c4111100…>` code) → r2 sent `<0a4795a8…>`|
0 commit comments