@davidorex/pi-context 0.32.0 → 0.33.0

package/dist/index.d.ts

@@ -557,6 +557,86 @@ export declare function resolveConflict(cwd: string, name: string, schema?: unkn
     wroteSchema: boolean;
     baseAdvancedTo: string;
 };
+/**
+ * `context-reconcile` result (FEAT-011 — FGAP-116). `deltas` lists every
+ * rollup-kind item whose STORED status diverges from its DERIVED membership-
+ * rollup status (from → stored value, to → derived value, per the declaring
+ * derived-status invariant). Under `dryRun` the deltas are the exact set a
+ * live run would apply and nothing is written (`applied` 0); a live run
+ * applies exactly that set through the standard validated write path and
+ * reports `applied`. Scope v1 is derived-status deltas ONLY: the op never
+ * writes an authored-status kind (feature/gap/issue/task buckets are human
+ * judgment) and never touches prose — those classes are flagged for review by
+ * validate, not auto-repaired.
+ */
+export interface ReconcileResult {
+    error?: string;
+    dryRun: boolean;
+    deltas: Array<{
+        id: string;
+        block: string;
+        from: string;
+        to: string;
+        invariant: string;
+    }>;
+    applied: number;
+    /**
+     * Declared-baseline staleness sweep (FEAT-011 criterion 6 — TASK-089):
+     * every stale_conditions-bearing item whose status buckets complete and
+     * whose typed condition fired or whose content pin drifted, transitioned
+     * to `stale`. Under dryRun the exact set a live run would apply; a live
+     * run applies it through the standard validated write path. Flag-only
+     * anchor-drift items (no transition shape) are validate's, not here.
+     */
+    stalenessTransitions: Array<{
+        id: string;
+        block: string;
+        from: string;
+        to: string;
+        reasons: string[];
+    }>;
+    stalenessApplied: number;
+    /** Ceremony-entry identity establishment (DEC-0020), live runs only. */
+    substrateIdEstablished?: string;
+}
+/**
+ * `/context reconcile` engine (FEAT-011 — the repair half of the derived-status
+ * invariant class). Computes every stored-vs-derived status delta for the
+ * kinds the config's derived-status invariants declare (paired with their
+ * `state_derivation.rollups` entries), using the SAME shared completeness
+ * helper the state derivation and the invariant class use
+ * (`derivedRollupComplete`) — the preview, the detector, and the repair
+ * cannot disagree. A live run converges each delta through `updateItemInBlock`
+ * (identity-stamped, AJV-validated, envelope-stamped, attested to the invoking
+ * writer via `ctx`): a converge-write is not authoring — the written value IS
+ * the derivation (the schema_version stamp argument). Ceremony discipline:
+ * seeds the catalog config decls at entry, and a LIVE run establishes
+ * substrate identity when absent (it reaches identity-stamping writes;
+ * DEC-0020). Deltas are deduplicated per (block, id) across invariants.
+ */
+export declare function reconcileContext(cwd: string, { dryRun }?: {
+    dryRun?: boolean;
+}, ctx?: DispatchContext): ReconcileResult;
+/**
+ * Converge-on-write hook (FEAT-011 criterion 2 — FGAP-116's last mechanism,
+ * the schema_version template applied to rollup-kind stored status). Invoked
+ * AFTER a sanctioned mutating op's write lands (the op's own lock is already
+ * released — sequential lock acquisition, no nesting): recomputes the
+ * derived-status delta set with the SAME core the reconcile ceremony uses and
+ * stamps every affected rollup item's stored status through the standard
+ * validated write path — a converge-stamp is not authoring; the written value
+ * IS the derivation. Config-driven opt-in: a substrate with no
+ * `derived-status` invariant (or no `state_derivation.rollups`) computes an
+ * empty set and performs no writes, so non-declaring and legacy substrates
+ * are byte-identical to before. BEST-EFFORT by design: it never establishes
+ * identity (a convergence side-effect minting a substrate_id would be a lazy
+ * mint, DEC-0012) and never fails the caller's already-landed write — an
+ * apply failure leaves the divergence for the `derived-status` invariant to
+ * detect and `context-reconcile` (the ceremony with the establishment +
+ * error surface) to repair. Returns the converged set, or null when there was
+ * nothing to converge or the hook could not run.
+ */
+export declare function convergeDerivedStatusAfterWrite(cwd: string, ctx?: DispatchContext): ReconcileResult["deltas"] | null;
 /**
  * Blocked-resolution commit op (TASK-051 — FGAP-080) — the resolution half of
  * the blocked-resync loop `update` opens. After `update` REFUSES a catalog-ahead

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAA2B,MAAM,iCAAiC,CAAC;AAI7F,OAAO,EASN,KAAK,iBAAiB,EAItB,MAAM,cAAc,CAAC;AAetB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAuB7D,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AA6KrE;;;;;;;;;;;;;;GAcG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBACf,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;CAU/C;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CA0DrG;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;;;;;;;;;;OAcG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB;IACtC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,aAAa;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,oBAAoB,GAAG,mBAAmB,GAAG,cAAc,CAAC;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,QAAQ,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACpC;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACxB;AAwOD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAS1G;AAkQD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,gCAAgC,CAC/C,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAA;CAAE,CA2DnG;AA6UD,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,aAAa,CA8NhG;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EACF,SAAS,GACT,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,mBAAmB,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAAA;KAAE,CAAC;CACvF;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACvE;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,CAmH1D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAkCnE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,WAAW,YAAY;IAC5B,yEAAyE;IACzE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,MAAM,EAAE,OAAO,CAAC;IAChB,qFAAqF;IACrF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qFAAqF;IACrF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,8FAA8F;IAC9F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;;;;;;OASG;IACH,aAAa,EAAE,aAAa,EAAE,CAAC;IAC/B,4FAA4F;IAC5F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;OAIG;IACH,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC,CAAC;IAChE,gGAAgG;IAChG,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IACpE,sDAAsD;IACtD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;;;OAQG;IACH,iBAAiB,EAAE,iBAAiB,CAAC;IACrC;;;;;;;;OAQG;IACH,oBAAoB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1E;;;;;;;;;;;;;;;;OAgBG;IACH,kBAAkB,CAAC,EAAE;QACpB,OAAO,EAAE;YACR,QAAQ,EAAE,MAAM,EAAE,CAAC;YACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;YACnB,MAAM,EAAE,MAAM,EAAE,CAAC;YACjB,iBAAiB,EAAE,iBAAiB,CAAC;YACrC,oBAAoB,EAAE,KAAK,CAAC;gBAAE,MAAM,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;gBAAC,EAAE,EAAE,MAAM,CAAA;aAAE,CAAC,CAAC;SAC1E,CAAC;QACF,UAAU,EAAE;YACX,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,SAAS,EAAE,MAAM,EAAE,CAAC;SACpB,CAAC;QACF,OAAO,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;OAMG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,MAAc,EAAE,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,YAAY,CA8ZtG;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACpC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE,MAAM,GACb,MAAM,GAAG,IAAI,CAiBf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAY3E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,eAAe,CAC9B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE,OAAO,EAChB,GAAG,CAAC,EAAE,eAAe,GACnB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CA+CtE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,cAAc,CAC7B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,GAAG,CAAC,EAAE,eAAe,GAEnB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IAAC,sBAAsB,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5G;IACA,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,IAAI,CAAC;IACf,oBAAoB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1E,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAC/B,CA2MH;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,WAAW,CAAC,GAAG,MAAM,CAoB5E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,aAAa,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,MAAM,CAsDpE;AAqID;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAyCjH;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAiB7F;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAgClG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC,CAqCtF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAyC7F;AAsFD,QAAA,MAAM,SAAS,GAAI,IAAI,YAAY,SAwRlC,CAAC;AAEF,eAAe,SAAS,CAAC;AAQzB,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,eAAe,EAAE,KAAK,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAChH,OAAO,EACN,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,qBAAqB,EACrB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,iBAAiB,EACjB,YAAY,EACZ,mBAAmB,EACnB,aAAa,GACb,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAErG,OAAO,EACN,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,YAAY,EACZ,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,UAAU,EACV,gBAAgB,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACjG,OAAO,EACN,WAAW,EACX,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,KAAK,OAAO,EACZ,QAAQ,EACR,eAAe,GACf,MAAM,mBAAmB,CAAC;AAK3B,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAA2B,MAAM,iCAAiC,CAAC;AAI7F,OAAO,EAUN,KAAK,iBAAiB,EAItB,MAAM,cAAc,CAAC;AAsBtB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAwB7D,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AA8KrE;;;;;;;;;;;;;;GAcG;AACH,qBAAa,wBAAyB,SAAQ,KAAK;IAClD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBACf,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;CAU/C;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CA0DrG;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;;;;;;;;;;OAcG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB;IACtC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,aAAa;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,oBAAoB,GAAG,mBAAmB,GAAG,cAAc,CAAC;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,QAAQ,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACpC;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACxB;AAwOD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAS1G;AAkQD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,gCAAgC,CAC/C,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAA;CAAE,CA2DnG;AA6UD,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,aAAa,CA8NhG;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EACF,SAAS,GACT,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,mBAAmB,CAAC;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,GAAG,cAAc,CAAA;KAAE,CAAC;CACvF;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IACjC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACvE;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,CAmH1D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAkCnE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,WAAW,YAAY;IAC5B,yEAAyE;IACzE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,MAAM,EAAE,OAAO,CAAC;IAChB,qFAAqF;IACrF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qFAAqF;IACrF,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,8FAA8F;IAC9F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;;;;;;OASG;IACH,aAAa,EAAE,aAAa,EAAE,CAAC;IAC/B,4FAA4F;IAC5F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;OAIG;IACH,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,cAAc,EAAE,CAAA;KAAE,CAAC,CAAC;IAChE,gGAAgG;IAChG,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IACpE,sDAAsD;IACtD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;;;;;;OAQG;IACH,iBAAiB,EAAE,iBAAiB,CAAC;IACrC;;;;;;;;OAQG;IACH,oBAAoB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1E;;;;;;;;;;;;;;;;OAgBG;IACH,kBAAkB,CAAC,EAAE;QACpB,OAAO,EAAE;YACR,QAAQ,EAAE,MAAM,EAAE,CAAC;YACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;YACnB,MAAM,EAAE,MAAM,EAAE,CAAC;YACjB,iBAAiB,EAAE,iBAAiB,CAAC;YACrC,oBAAoB,EAAE,KAAK,CAAC;gBAAE,MAAM,EAAE,MAAM,CAAC;gBAAC,IAAI,EAAE,MAAM,CAAC;gBAAC,EAAE,EAAE,MAAM,CAAA;aAAE,CAAC,CAAC;SAC1E,CAAC;QACF,UAAU,EAAE;YACX,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,SAAS,EAAE,MAAM,EAAE,CAAC;SACpB,CAAC;QACF,OAAO,EAAE,MAAM,CAAC;KAChB,CAAC;IACF;;;;;;OAMG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,MAAc,EAAE,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,YAAY,CA8ZtG;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACpC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE,MAAM,GACb,MAAM,GAAG,IAAI,CAiBf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAY3E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,eAAe,CAC9B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE,OAAO,EAChB,GAAG,CAAC,EAAE,eAAe,GACnB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CA+CtE;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;;OAOG;IACH,oBAAoB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACxG,gBAAgB,EAAE,MAAM,CAAC;IACzB,wEAAwE;IACxE,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAC/B,GAAG,EAAE,MAAM,EACX,EAAE,MAAc,EAAE,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,EAC7C,GAAG,CAAC,EAAE,eAAe,GACnB,eAAe,CAwBjB;AAiHD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,+BAA+B,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,eAAe,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,IAAI,CAepH;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,cAAc,CAC7B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,GAAG,CAAC,EAAE,eAAe,GAEnB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IAAC,sBAAsB,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5G;IACA,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,IAAI,CAAC;IACf,oBAAoB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1E,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAC/B,CA2MH;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,WAAW,CAAC,GAAG,MAAM,CAoB5E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,aAAa,CAAC,aAAa,EAAE,aAAa,EAAE,GAAG,MAAM,CAsDpE;AAqID;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAyCjH;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAiB7F;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAgClG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC,CAqCtF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAyC7F;AAsFD,QAAA,MAAM,SAAS,GAAI,IAAI,YAAY,SAwRlC,CAAC;AAEF,eAAe,SAAS,CAAC;AAQzB,OAAO,EAAE,eAAe,EAAE,sBAAsB,EAAE,eAAe,EAAE,KAAK,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAChH,OAAO,EACN,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,qBAAqB,EACrB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,iBAAiB,EACjB,YAAY,EACZ,mBAAmB,EACnB,aAAa,GACb,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,kBAAkB,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAErG,OAAO,EACN,cAAc,EACd,YAAY,EACZ,mBAAmB,EACnB,YAAY,EACZ,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,UAAU,EACV,gBAAgB,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,YAAY,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACjG,OAAO,EACN,WAAW,EACX,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,aAAa,EACb,uBAAuB,EACvB,iBAAiB,EACjB,KAAK,OAAO,EACZ,QAAQ,EACR,eAAe,GACf,MAAM,mBAAmB,CAAC;AAK3B,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -6,12 +6,12 @@ import { execSync } from "node:child_process";
 import fs from "node:fs";
 import path from "node:path";
 import { fileURLToPath } from "node:url";
-import { forEachBlockArray, readBlock, readBlockForDir, writeBlockForDir } from "./block-api.js";
+import { forEachBlockArray, readBlock, readBlockForDir, updateItemInBlock, writeBlockForDir } from "./block-api.js";
 import { computeContentHash, computeFileContentHash } from "./content-hash.js";
-import { adoptConception, installedBlockDestPath, installedSchemaDestPath, loadConfig, loadContext, mergeCatalogRegistries, reconcileActiveSubstrateRegistration, writeConfig, writeSkeletonConfig, } from "./context.js";
+import { adoptConception, installedBlockDestPath, installedSchemaDestPath, loadConfig, loadContext, loadRelations, mergeCatalogRegistries, reconcileActiveSubstrateRegistration, writeConfig, writeSkeletonConfig, } from "./context.js";
 import { BootstrapNotFoundError, flipBootstrapPointer, migrationsPathForDir, mintSubstrateId, pendingBlockedPathForDir, resolveContextDir, SCHEMAS_DIR, schemasDir, tryResolveContextDir, writeBootstrapPointer, } from "./context-dir.js";
 import { registerSubstrate } from "./context-registry.js";
-import { contextState, findAppendableBlocks, validateContext } from "./context-sdk.js";
+import { buildIdIndex, contextState, derivedRollupComplete, evaluateStalenessCandidates, findAppendableBlocks, validateContext, } from "./context-sdk.js";
 import { cleanGitEnv } from "./git-env.js";
 import { buildCurationSuggestions, loadLensView, renderLensView } from "./lens-view.js";
 import { buildFreshRegistryWithChain, getProjectMigrationRegistryForDir, invalidateMigrationRegistryForDir, } from "./migration-registry-loader.js";
@@ -20,11 +20,13 @@ import { getObject, putObject } from "./object-store.js";
 import { registerAll } from "./ops-registry.js";
 import { buildOrientationBlock, skillsDir } from "./orientation.js";
 import { loadPendingBlockedForDir, reconcilePendingBlockedForDir, } from "./pending-blocked-store.js";
+import { discoverArrayKey } from "./read-element.js";
 import { loadRoadmap, renderRoadmap, validateRoadmap } from "./roadmap-plan.js";
 import { mergeSchema } from "./schema-merge.js";
 import { runMigrations } from "./schema-migrations.js";
 import { ValidationError, validate, validateBlockWithMigrationForDir } from "./schema-validator.js";
 import { writeSchemaCheckedForDir } from "./schema-write.js";
+import { resolveStateDerivation, resolveStatusVocabulary as resolveStatusVocab } from "./status-vocab.js";
 import { checkForUpdates } from "./update-check.js";
 // ── Command handlers ────────────────────────────────────────────────────────
 /**
@@ -2159,6 +2161,186 @@ export function resolveConflict(cwd, name, schema, ctx) {
     }
     return { schemaName: name, wroteSchema, baseAdvancedTo: catalogHash };
 }
+/**
+ * `/context reconcile` engine (FEAT-011 — the repair half of the derived-status
+ * invariant class). Computes every stored-vs-derived status delta for the
+ * kinds the config's derived-status invariants declare (paired with their
+ * `state_derivation.rollups` entries), using the SAME shared completeness
+ * helper the state derivation and the invariant class use
+ * (`derivedRollupComplete`) — the preview, the detector, and the repair
+ * cannot disagree. A live run converges each delta through `updateItemInBlock`
+ * (identity-stamped, AJV-validated, envelope-stamped, attested to the invoking
+ * writer via `ctx`): a converge-write is not authoring — the written value IS
+ * the derivation (the schema_version stamp argument). Ceremony discipline:
+ * seeds the catalog config decls at entry, and a LIVE run establishes
+ * substrate identity when absent (it reaches identity-stamping writes;
+ * DEC-0020). Deltas are deduplicated per (block, id) across invariants.
+ */
+export function reconcileContext(cwd, { dryRun = false } = {}, ctx) {
+    const result = { dryRun, deltas: [], applied: 0, stalenessTransitions: [], stalenessApplied: 0 };
+    const destRoot = tryResolveContextDir(cwd);
+    if (destRoot === null) {
+        result.error =
+            "No .pi-context.json bootstrap pointer found. Run /context init <substrate-dir> first to bootstrap the substrate.";
+        return result;
+    }
+    seedCatalogConfigMigrationDecls(destRoot);
+    if (!dryRun) {
+        const establishedId = establishSubstrateIdentityAtEntry(cwd, destRoot);
+        if (establishedId)
+            result.substrateIdEstablished = establishedId;
+    }
+    const config = loadConfig(cwd);
+    if (!config) {
+        result.error = "No config.json found in substrate dir — run /context init <substrate-dir> first.";
+        return result;
+    }
+    result.deltas = computeDerivedStatusDeltas(cwd, config);
+    result.stalenessTransitions = computeStalenessTransitions(cwd);
+    if (dryRun)
+        return result;
+    result.applied = applyDerivedStatusDeltas(cwd, config, result.deltas, ctx);
+    result.stalenessApplied = applyStalenessTransitions(cwd, config, result.stalenessTransitions, ctx);
+    return result;
+}
+/**
+ * The transition slice of the declared-baseline staleness sweep: candidates
+ * from the SAME evaluateStalenessCandidates helper validate flags with,
+ * restricted to the transition-eligible kind, each becoming a stored-status
+ * delta to `stale`. Flag-only anchor-drift candidates never transition.
+ */
+function computeStalenessTransitions(cwd) {
+    const index = buildIdIndex(cwd);
+    return evaluateStalenessCandidates(cwd, index)
+        .filter((c) => c.kind === "staleness-candidate")
+        .map((c) => ({
+        id: c.id,
+        block: c.block,
+        from: String(index.byRefname.get(c.id)?.item.status ?? ""),
+        to: "stale",
+        reasons: c.reasons,
+    }));
+}
+/** Apply the complete-to-stale transitions through the standard validated write path. */
+function applyStalenessTransitions(cwd, config, transitions, ctx) {
+    let applied = 0;
+    for (const t of transitions) {
+        const arrayKey = config.block_kinds?.find((bk) => bk.canonical_id === t.block)?.array_key ??
+            (() => {
+                const data = readBlock(cwd, t.block);
+                const discovered = discoverArrayKey(data);
+                if (discovered === null) {
+                    throw new Error(`context-reconcile: no array key discoverable for block '${t.block}'`);
+                }
+                return discovered;
+            })();
+        updateItemInBlock(cwd, t.block, arrayKey, (item) => String(item.id) === t.id, { status: t.to }, ctx);
+        applied += 1;
+    }
+    return applied;
+}
+/**
+ * Read-only core of the derived-status repair: the stored-vs-derived delta set
+ * for every kind a `derived-status` invariant declares (paired with its
+ * `state_derivation.rollups` entry), deduplicated per (block, id). Shared by
+ * `reconcileContext` and the post-write convergence hook so the ceremony and
+ * the hook compute the identical set.
+ */
+function computeDerivedStatusDeltas(cwd, config) {
+    const deltas = [];
+    const sd = resolveStateDerivation(cwd);
+    const declared = (config.invariants ?? []).filter((inv) => inv.class === "derived-status");
+    if (sd === null || declared.length === 0)
+        return deltas;
+    const index = buildIdIndex(cwd);
+    const edges = loadRelations(cwd);
+    const vocab = resolveStatusVocab(cwd);
+    const bucketOf = (item) => vocab[String(item.status)] ?? "unknown";
+    const rollupByKind = new Map(sd.rollups.map((r) => [r.kind, r]));
+    const roleDir = new Map();
+    for (const rt of config.relation_types ?? []) {
+        if (rt.role_direction !== undefined)
+            roleDir.set(rt.canonical_id, rt.role_direction);
+    }
+    const seen = new Set();
+    for (const inv of declared) {
+        const entry = rollupByKind.get(inv.block);
+        if (entry === undefined)
+            continue; // inert declaration — nothing to derive against
+        for (const loc of index.byRefname.values()) {
+            if (loc.block !== inv.block)
+                continue;
+            const key = `${inv.block} ${loc.id}`;
+            if (seen.has(key))
+                continue;
+            const derived = derivedRollupComplete(index, edges, roleDir, rollupByKind, bucketOf, loc.id)
+                ? entry.complete_status
+                : entry.incomplete_status;
+            const stored = String(loc.item.status);
+            if (stored === derived)
+                continue;
+            seen.add(key);
+            deltas.push({ id: loc.id, block: inv.block, from: stored, to: derived, invariant: inv.id });
+        }
+    }
+    return deltas;
+}
+/** Apply a computed delta set through the standard validated write path. */
+function applyDerivedStatusDeltas(cwd, config, deltas, ctx) {
+    let applied = 0;
+    for (const delta of deltas) {
+        const arrayKey = config.block_kinds?.find((bk) => bk.canonical_id === delta.block)?.array_key ??
+            (() => {
+                const data = readBlock(cwd, delta.block);
+                const discovered = discoverArrayKey(data);
+                if (discovered === null) {
+                    throw new Error(`context-reconcile: no array key discoverable for block '${delta.block}'`);
+                }
+                return discovered;
+            })();
+        updateItemInBlock(cwd, delta.block, arrayKey, (item) => String(item.id) === delta.id, { status: delta.to }, ctx);
+        applied += 1;
+    }
+    return applied;
+}
+/**
+ * Converge-on-write hook (FEAT-011 criterion 2 — FGAP-116's last mechanism,
+ * the schema_version template applied to rollup-kind stored status). Invoked
+ * AFTER a sanctioned mutating op's write lands (the op's own lock is already
+ * released — sequential lock acquisition, no nesting): recomputes the
+ * derived-status delta set with the SAME core the reconcile ceremony uses and
+ * stamps every affected rollup item's stored status through the standard
+ * validated write path — a converge-stamp is not authoring; the written value
+ * IS the derivation. Config-driven opt-in: a substrate with no
+ * `derived-status` invariant (or no `state_derivation.rollups`) computes an
+ * empty set and performs no writes, so non-declaring and legacy substrates
+ * are byte-identical to before. BEST-EFFORT by design: it never establishes
+ * identity (a convergence side-effect minting a substrate_id would be a lazy
+ * mint, DEC-0012) and never fails the caller's already-landed write — an
+ * apply failure leaves the divergence for the `derived-status` invariant to
+ * detect and `context-reconcile` (the ceremony with the establishment +
+ * error surface) to repair. Returns the converged set, or null when there was
+ * nothing to converge or the hook could not run.
+ */
+export function convergeDerivedStatusAfterWrite(cwd, ctx) {
+    try {
+        const config = loadConfig(cwd);
+        if (!config)
+            return null;
+        const deltas = computeDerivedStatusDeltas(cwd, config);
+        if (deltas.length === 0)
+            return null;
+        applyDerivedStatusDeltas(cwd, config, deltas, ctx);
+        return deltas;
+    }
+    catch {
+        // Best-effort: the caller's write already landed; a convergence failure
+        // (pre-identity stamping guard, unreadable sibling block) leaves the
+        // divergence detectable by the derived-status invariant and repairable by
+        // context-reconcile — never a failure of the triggering write.
+        return null;
+    }
+}
 /**
  * Blocked-resolution commit op (TASK-051 — FGAP-080) — the resolution half of
  * the blocked-resync loop `update` opens. After `update` REFUSES a catalog-ahead