@smartmemory/compose 0.3.7 → 0.4.0

package/lib/judgment-decisions.js

@@ -0,0 +1,466 @@
+/**
+ * lib/judgment-decisions.js — ledger event to SmartMemory decision mapping
+ * (GOV-COMPOSE-SEAM-1 step 1 `canon-on-decisions`, phase P1).
+ *
+ * Pure. No I/O, no clock, no SmartMemory client. The write path (P2) and the
+ * backfill (P3) both call these; the dry run (`bin/judgment-migrate.js`) calls
+ * them and writes nothing, which is what makes the value spike measurable
+ * before anything is committed.
+ *
+ * Design answers this file implements — see
+ * smart-memory-docs/docs/features/GOV-COMPOSE-SEAM-1/design.md:
+ *   D1  SmartMemory owns; markdown is a projection.
+ *   D3  kind mapping (below).
+ *   D4  an inferred conviction may NOT produce the same confidence as a stated
+ *       one, and the distinction survives onto `source_type`.
+ *   D5  enforceable = names a step + names an observable + a build could
+ *       violate it. Fixed in writing before the count was taken.
+ *
+ * P2.5 (D4 review gate) is applied by `applyConvictionReview`, from the owner
+ * verdicts in `docs/features/GOV-COMPOSE-SEAM-1/conviction-review.json`. The
+ * backfill must call it and must refuse any inferred conviction the file does
+ * not rule on.
+ */
+
+import { createHash } from 'node:crypto';
+
+/** Ledger kinds that become a SmartMemory decision at all (D3). */
+export const DECISION_KINDS = new Set(['decide', 'kill', 'open', 'correct']);
+
+/**
+ * Kinds that touch a decision without being one. `calibrate` amends an existing
+ * decision's confidence; the rest are annotation, routing or integrity events
+ * and must not inflate the decision store (D3).
+ */
+export const NON_DECISION_KINDS = new Set(['note', 'escalate', 'override', 'attest', 'calibrate']);
+
+/**
+ * Conviction to confidence.
+ *
+ * Two separate scales on purpose (D4). A conviction the owner stated is worth
+ * more than one an agent inferred from a transcript, and the gap has to be
+ * visible in the number as well as in `source_type` — otherwise a guess reads
+ * as an assertion the moment it lands in a bundle rule.
+ *
+ * An inferred `high` (0.55) sits BELOW a stated `medium` (0.6) deliberately: we
+ * would rather act on something the owner actually said with middling
+ * conviction than on something we decided he probably meant.
+ */
+export const CONFIDENCE = {
+  stated: { high: 0.9, medium: 0.6, low: 0.35 },
+  inferred: { high: 0.55, medium: 0.4, low: 0.25 },
+};
+
+/** Confidence for a decision-shaped entry that carries no conviction at all. */
+export const CONFIDENCE_UNSTATED = 0.5;
+
+/**
+ * Stable identity for a ledger entry.
+ *
+ * The jsonl carries no id — identity is position plus content. Hashing
+ * (seq, kind, title, written_at) gives the backfill an idempotency key that
+ * survives a re-run without a schema change, and changes if the entry is
+ * rewritten, which is what we want: a rewritten entry is a different fact.
+ */
+export function stableEntryKey(entry, seq) {
+  const material = [
+    String(seq),
+    entry.kind ?? '',
+    entry.title ?? '',
+    entry.provenance?.written_at ?? '',
+  ].join(' ');
+  return `compose-ledger-${createHash('sha256').update(material).digest('hex').slice(0, 16)}`;
+}
+
+/**
+ * Split a ledger title of the form `slug — prose` into its two halves.
+ * Both em dash and hyphen separators appear in the imported canon.
+ */
+export function splitTitle(title = '') {
+  const m = title.match(/^([a-z0-9][a-z0-9-]*)\s+[—-]\s+([\s\S]*)$/);
+  if (!m) return { slug: null, statement: (title || '').trim() };
+  return { slug: m[1], statement: m[2].trim() };
+}
+
+/**
+ * `decide` to `policy` when the entry states a forward-going rule, else
+ * `choice`.
+ *
+ * This is the D3 split that feeds the spike, so it is deliberately narrow: a
+ * policy has to read as an instruction that outlives the moment. Anything
+ * ambiguous stays a `choice`, which counts for less. Erring the other way would
+ * be the motivated counting the plan warns about.
+ */
+const POLICY_MARKERS = [
+  /\balways\b/i,
+  /\bnever\b/i,
+  /\bmust\b/i,
+  /\bfrom (?:here|now) on\b/i,
+  /\bgoing forward\b/i,
+  /\bby default\b/i,
+  /\bno new\b/i,
+];
+
+export function decideSubtype(entry) {
+  const text = `${entry.title ?? ''}\n${entry.body ?? ''}`;
+  return POLICY_MARKERS.some((re) => re.test(text)) ? 'policy' : 'choice';
+}
+
+/**
+ * D5 — the enforceability test, applied as three independent signals.
+ *
+ * Returns the signals, not just a verdict, because the reported spike number is
+ * an ADJUDICATED count: this classifier proposes, a human confirms. A regex
+ * cannot tell "reviews run before merge" from "reviewing is how we work", and
+ * pretending otherwise would produce exactly the motivated number D5 exists to
+ * prevent. `verdict: 'candidate'` means "bring this one to the adjudication
+ * pass", never "counted".
+ */
+const STEP_MARKERS = [
+  /\b(?:design|blueprint|implement|review|merge|commit|push|deploy|release|ingest|recall|migrate|build|test)\b/i,
+  /\bstep\b/i,
+  /\bgate\b/i,
+  /\bpipeline\b/i,
+];
+
+const OBSERVABLE_MARKERS = [
+  /\bfiles?\b/i,
+  /\bstatus\b/i,
+  /\bcount\b/i,
+  /\bexit code\b/i,
+  /\btests?\b/i,
+  /\bimports?\b/i,
+  /\bcontract\b/i,
+  /\bschema\b/i,
+  /\bversion\b/i,
+  /\bcommit\b/i,
+  /\bfields?\b/i,
+];
+
+/**
+ * A rule true by construction cannot be violated, so it is not enforceable —
+ * it is a description of how the system already works. These read as claims
+ * about identity or belief rather than constraints on a run.
+ */
+const NON_VIOLABLE_MARKERS = [
+  /\bis what\b/i,
+  /\bthe product is\b/i,
+  /\bwe are\b/i,
+  /\bthe point is\b/i,
+  /\bframing\b/i,
+];
+
+export function classifyEnforceable(entry) {
+  const text = `${entry.title ?? ''}\n${entry.body ?? ''}`;
+  const namesStep = STEP_MARKERS.some((re) => re.test(text));
+  const namesObservable = OBSERVABLE_MARKERS.some((re) => re.test(text));
+  const violable = !NON_VIOLABLE_MARKERS.some((re) => re.test(text));
+  const signals = { namesStep, namesObservable, violable };
+  const all = namesStep && namesObservable && violable;
+  return {
+    signals,
+    // Three-way on purpose. `historical` is a confident no; `candidate` is
+    // "all three signals fired, a human must confirm"; nothing here is ever a
+    // confident yes, because the yes is the judgement the spike is measuring.
+    verdict: all ? 'candidate' : 'historical',
+    adjudicated: null,
+  };
+}
+
+/**
+ * One rejected alternative, as the single string the contract accepts.
+ *
+ * The ledger models a rejection as `{what, why}`; `rejected_alternatives` is
+ * `array<string>` end to end. The `why` is kept in the same string rather than
+ * dropped — a rejected option without its reason is the least useful half.
+ */
+export function flattenRejected(r) {
+  if (typeof r === 'string') return r;
+  const what = (r?.what ?? '').trim();
+  const why = (r?.why ?? '').trim();
+  if (!what) return why;
+  return why ? `${what} — ${why}` : what;
+}
+
+/**
+ * Map one ledger event to a SmartMemory decision payload (D3).
+ *
+ * Returns `null` for kinds that are not decisions — callers filter, they do not
+ * branch on kind themselves, so the D3 table has exactly one implementation.
+ *
+ * `correct` maps to a supersede, which needs a target that only the backfill
+ * knows (the decision written for the entry it corrects). The payload therefore
+ * carries `supersedes_slug` and the caller resolves it; mapping it here would
+ * require I/O and this file stays pure.
+ */
+export function ledgerEntryToDecision(entry, seq) {
+  if (!entry || typeof entry !== 'object') return null;
+  const kind = entry.kind;
+  if (!DECISION_KINDS.has(kind)) return null;
+
+  const { slug, statement } = splitTitle(entry.title ?? '');
+  const conviction = entry.conviction ?? null;
+  const source = conviction?.source === 'stated'
+    ? 'stated'
+    : conviction?.source === 'inferred' ? 'inferred' : null;
+  const level = conviction?.level ?? null;
+
+  const confidence = source && level && CONFIDENCE[source]?.[level] !== undefined
+    ? CONFIDENCE[source][level]
+    : CONFIDENCE_UNSTATED;
+
+  // D4: the guess/assertion distinction survives onto the decision itself, not
+  // only into the confidence number, so a bundle rule built on a guess is
+  // visibly built on a guess wherever it is read.
+  const sourceType = source === 'stated'
+    ? 'explicit'
+    : source === 'inferred' ? 'inferred' : 'imported';
+
+  const decision = {
+    idempotency_key: stableEntryKey(entry, seq),
+    content: statement,
+    decision_type: kind === 'decide' ? decideSubtype(entry) : 'choice',
+    confidence,
+    source_type: sourceType,
+    status: kind === 'open' ? 'pending' : 'active',
+    domain: 'compose',
+    tags: ['compose-judgment', `ledger:${kind}`, ...(slug ? [`slug:${slug}`] : [])],
+    rationale: entry.body ?? '',
+    rejected_alternatives: [],
+    context_snapshot: {
+      ledger_seq: seq,
+      ledger_kind: kind,
+      ledger_slug: slug,
+      ledger_anchor: entry.anchor ?? null,
+      // `refs` is a RENDERED field: judgment-gen's EVENT_DETAIL_KEYS prints it
+      // into LEDGER.md. Dropping it made the markdown unreproducible from the
+      // decision store — measured 2026-08-23, 14 of the 43 backfilled entries
+      // carry refs and every one of them lost its evidence pointers. It is the
+      // ONLY rendered detail key the mapper did not carry; `rejected` and
+      // `conviction` already travel, and no decision-shaped entry uses any of
+      // the other fourteen. Empty stays empty rather than `[]` so the snapshot
+      // does not grow a key for the 29 entries that have no refs.
+      ...(Array.isArray(entry.refs) && entry.refs.length ? { ledger_refs: entry.refs } : {}),
+      // The STRUCTURED rejected list, beside the flattened one.
+      //
+      // `rejected_alternatives` is `list[str]` on the wire, so `{what, why}` is
+      // joined with " — ". That join is not reversible: the separator also
+      // occurs INSIDE `what` (an em dash is ordinary prose), and splitting on
+      // the first or the last occurrence both guess wrong. Measured 2026-08-23:
+      // 8 of the 43 backfilled entries reconstruct to the wrong what/why split,
+      // which renders a different LEDGER.md line.
+      //
+      // `context_snapshot` has no such type constraint, so the original travels
+      // intact here while the flattened list stays where readers expect it.
+      // This is NOT the same data twice over: one is for a human reading a
+      // decision, the other is what the projection has to reproduce.
+      ...(Array.isArray(entry.rejected) && entry.rejected.length
+        ? { ledger_rejected: entry.rejected }
+        : {}),
+      written_at: entry.provenance?.written_at ?? null,
+      via: entry.provenance?.via ?? null,
+      actor: entry.provenance?.actor ?? null,
+      conviction,
+      // D4 review gate: an inferred conviction is not written at stated
+      // confidence until the owner has ruled on it. The backfill REFUSES on
+      // this flag rather than warning (no silent degradation).
+      conviction_review_required: source === 'inferred',
+      conviction_review: null,
+    },
+  };
+
+  // `rejected_alternatives` is `array<string>` on both the core manager and the
+  // HTTP contract — there is NO field for the reason. Flattening "what (why)"
+  // into one string is lossy-but-visible; dropping the why silently would be
+  // lossy-and-invisible, and the why is the half a reader actually needs.
+  // See docs/features/GOV-COMPOSE-SEAM-1/decision-create-contract.json.
+  if (Array.isArray(entry.rejected)) {
+    decision.rejected_alternatives = entry.rejected.map((r) => flattenRejected(r));
+  }
+
+  // A kill is a live decision NOT to do something, so it stays `active` with
+  // the killed option recorded as the rejected alternative (D3). Mapping it to
+  // `abandoned` would say the decision itself was dropped, which is the
+  // opposite of what a kill means.
+  if (kind === 'kill') {
+    decision.rejected_alternatives.unshift(
+      flattenRejected({ what: statement, why: entry.reason ?? entry.body ?? '' }),
+    );
+    decision.content = `Do not: ${statement}`;
+  }
+
+  if (kind === 'correct') {
+    decision.supersedes_slug = slug;
+  }
+
+  return decision;
+}
+
+/**
+ * The inverse of `ledgerEntryToDecision` (GOV-COMPOSE-SEAM-1 P4).
+ *
+ * D1 says SmartMemory owns the canon and the markdown is a generated
+ * projection. That is only true if a decision can be turned back into the
+ * ledger event `judgment-gen.js` renders — otherwise the markdown is still
+ * authoritative and D1 was never really settled.
+ *
+ * Everything this needs is read from `context_snapshot`, which is the only
+ * field on the create contract with no shape constraint. `content`, `rationale`
+ * and `rejected_alternatives` are for a human reading a decision; they are
+ * derived views (a kill's content is prefixed, its alternatives are flattened)
+ * and are deliberately NOT the reconstruction source.
+ *
+ * What this CANNOT recover, and why:
+ *   - `provenance.session` is never sent forward, so it comes back `null`. It
+ *     is `null` on every entry in the current ledger and does not render.
+ *   - Non-decision kinds (`note`, `escalate`, `override`, `calibrate`,
+ *     `attest`) were ruled out of the decision store by D3 and are not in
+ *     SmartMemory at all. 73 of the 116 ledger entries are in that class, so
+ *     LEDGER.md as a whole does NOT regenerate from decisions — only its
+ *     decision-shaped events do. See the P4 section of the plan.
+ *
+ * @param {object} decision  a decision as the service returns it
+ * @returns {{ seq: number|null, entry: object }|null}
+ */
+export function decisionToLedgerEntry(decision) {
+  const cs = decision?.context_snapshot;
+  if (!cs || typeof cs !== 'object') return null;
+  const kind = cs.ledger_kind;
+  if (!DECISION_KINDS.has(kind)) return null;
+
+  const slug = cs.ledger_slug ?? null;
+  // A kill's content is stored prefixed so it reads as a decision NOT to do
+  // something; the ledger title carries the bare statement.
+  const statement = kind === 'kill'
+    ? String(decision.content ?? '').replace(/^Do not: /, '')
+    : String(decision.content ?? '');
+
+  const entry = {
+    provenance: {
+      actor: cs.actor ?? null,
+      session: null,
+      written_at: cs.written_at ?? null,
+      // `via` is omitted rather than null when absent: the store drops null
+      // values from context_snapshot, and the renderer prints a `· via x`
+      // suffix only for a truthy value, so a null key would be noise.
+      ...(cs.via ? { via: cs.via } : {}),
+    },
+    kind,
+    title: slug ? `${slug} — ${statement}` : statement,
+    body: decision.rationale ?? '',
+  };
+
+  if (cs.ledger_refs) entry.refs = cs.ledger_refs;
+  // The structured list, never the flattened one: `flattenRejected` is not
+  // reversible (the " — " join also occurs inside `what`).
+  if (cs.ledger_rejected) entry.rejected = cs.ledger_rejected;
+  if (cs.conviction) entry.conviction = cs.conviction;
+  if (cs.ledger_anchor) entry.anchor = cs.ledger_anchor;
+
+  return { seq: cs.ledger_seq ?? null, entry };
+}
+
+/** Read a whole ledger stream into mapped decisions plus the skipped tail. */
+export function mapLedger(events) {
+  const decisions = [];
+  const skipped = [];
+  events.forEach((entry, i) => {
+    const seq = i + 1;
+    const mapped = ledgerEntryToDecision(entry, seq);
+    if (mapped) {
+      decisions.push({
+        seq,
+        entry,
+        decision: mapped,
+        enforceability: classifyEnforceable(entry),
+      });
+    } else {
+      skipped.push({ seq, kind: entry?.kind ?? null, title: entry?.title ?? '' });
+    }
+  });
+  return { decisions, skipped };
+}
+
+// ── P2.5: the owner's inferred-conviction verdicts (D4) ────────────────────
+
+/**
+ * The three verdicts the owner ruled on 2026-08-22. The 15 inferred entries
+ * sorted cleanly by what evidence of the owner they actually contain, so they
+ * were ruled as three groups rather than one at a time.
+ *
+ * - `promoted` (group A) — the entry quotes the owner's own words. The
+ *   `inferred` label was simply wrong: someone wrote down what he said and then
+ *   filed the confidence as a guess. Migrates at the stated scale.
+ * - `choice_kept_strength_dropped` (group B) — the owner made the decision
+ *   ("Decided (owner, elicited)") but the CONFIDENCE was read off behaviour:
+ *   "without hedging", "quick, unhesitating yes", "no elaboration offered".
+ *   The choice is kept and attributed; the agent's reading of its strength is
+ *   discarded. A fast yes can mean confident or can mean bored, and treating
+ *   the two as the same is the laundering D4 exists to stop.
+ * - `unrated` (group C) — no trace the owner was ever asked. Migrates so the
+ *   history survives, but carrying an explicit "nobody has ruled on this"
+ *   marker, and may not back an enforceable rule until someone does.
+ */
+export const REVIEW_VERDICTS = new Set(['promoted', 'choice_kept_strength_dropped', 'unrated']);
+
+/**
+ * `Decision.confidence` is a non-optional `float` upstream
+ * (smartmemory/managed/framework.py:377 — `default_confidence=0.8`), so an
+ * unrated conviction cannot be written as null. It takes the neutral value and
+ * carries `conviction_unrated: true` alongside, which is what downstream must
+ * branch on. Stated here because a 0.5 that means "nobody asked" and a 0.5 that
+ * means "middling" are different facts wearing the same number.
+ */
+export function applyConvictionReview(decision, verdict) {
+  const snap = decision.context_snapshot;
+  if (!snap.conviction_review_required) return decision;
+
+  if (!verdict || !REVIEW_VERDICTS.has(verdict.verdict)) {
+    // Refuse, do not warn. An unreviewed inferred conviction written at stated
+    // confidence is exactly the failure the gate exists to prevent, and a
+    // warning in a backfill log is not a gate.
+    throw new Error(
+      `judgment-decisions: ledger seq ${snap.ledger_seq} carries an inferred conviction with no owner verdict. `
+      + 'Add one to docs/features/GOV-COMPOSE-SEAM-1/conviction-review.json before backfilling.',
+    );
+  }
+
+  const level = snap.conviction?.level ?? null;
+  snap.conviction_review = { ...verdict, applied: true };
+  snap.conviction_review_required = false;
+
+  if (verdict.verdict === 'promoted') {
+    decision.source_type = 'explicit';
+    decision.confidence = (level && CONFIDENCE.stated[level] !== undefined)
+      ? CONFIDENCE.stated[level]
+      : CONFIDENCE_UNSTATED;
+    return decision;
+  }
+
+  if (verdict.verdict === 'choice_kept_strength_dropped') {
+    // The DECISION was the owner's, so the source is explicit; only the
+    // strength was guessed, so the number goes back to neutral.
+    decision.source_type = 'explicit';
+    decision.confidence = CONFIDENCE_UNSTATED;
+    snap.conviction_strength_dropped = true;
+    return decision;
+  }
+
+  // unrated
+  decision.source_type = 'inferred';
+  decision.confidence = CONFIDENCE_UNSTATED;
+  snap.conviction_unrated = true;
+  snap.enforceable_eligible = false;
+  return decision;
+}
+
+/** Apply a whole verdict file to a mapped ledger. Throws on the first gap. */
+export function applyReviewFile(mapped, reviewFile) {
+  const verdicts = reviewFile?.verdicts ?? {};
+  for (const d of mapped.decisions) {
+    if (d.decision.context_snapshot.conviction_review_required) {
+      applyConvictionReview(d.decision, verdicts[String(d.seq)]);
+    }
+  }
+  return mapped;
+}

package/lib/judgment-gen.js

@@ -28,6 +28,7 @@ import {
   effectiveStore,
   goalCutoverComplete,
 } from './judgment/store/index.js';
+import { buildSupersessionIndex } from './judgment/trace.js';
 
 function atomicWrite(path, content) {
   const tmp = `${path}.tmp.${process.pid}`;
@@ -58,10 +59,13 @@ function smartmemoryTeamId(cwd) {
 export function loadSnapshot(cwd) {
   const rawStore = createJudgmentStore(cwd);
   const store = effectiveStore(rawStore);
+  // Prebuilt index: derivePositionStatus otherwise rescans every other slug's
+  // chain per call, making this whole-store pass O(n^2) (COMP-JUDGMENT-PRECEDENT).
+  const supersession = buildSupersessionIndex(store);
   const positions = store.listPositionSlugs().map((slug) => ({
     slug,
     chain: store.readPositionChain(slug),
-    status: store.derivePositionStatus(slug),
+    status: store.derivePositionStatus(slug, supersession),
   }));
   return {
     positions,

package/lib/judgment-writer.js

@@ -48,9 +48,12 @@ import {
   effectiveStore,
   goalCutoverComplete,
 } from './judgment/store/index.js';
+import { buildSupersessionIndex, tracePosition } from './judgment/trace.js';
 import { syncManifest } from './judgment-attest.js';
 import { regenerateProjections } from './judgment-gen.js';
 import { getJudgmentValidator } from './judgment/schema.js';
+import { ledgerEntryToDecision } from './judgment-decisions.js';
+import { writeJudgmentDecision } from './judgment-decision-write.js';
 import {
   assertValidRecord,
   assertGrounding,
@@ -3263,7 +3266,7 @@ export async function judgmentLedgerAppend(cwd, args, internal = {}) {
       assertValidRecord('ledger_event', event);
       return event;
     },
-    execute: (event) => {
+    execute: async (event) => {
       const store = createJudgmentStore(cwd);
 
       let spawned = null;
@@ -3313,6 +3316,32 @@ export async function judgmentLedgerAppend(cwd, args, internal = {}) {
         assertValidRecord('prediction', graded);
       }
 
+      // GOV-COMPOSE-SEAM-1 `canon-on-decisions` P2 — the SmartMemory write.
+      //
+      // BEFORE the local commit, deliberately. Under D1 the SmartMemory
+      // decision is the canon and the markdown is a projection, so the canon
+      // is written first and the projection follows. It is also the only
+      // ordering that fails safely: a remote failure throws and nothing local
+      // is written, whereas committing locally first would leave a decision
+      // that exists in the projection and nowhere else.
+      //
+      // The seq is computed here rather than taken from `appendLedgerEvent`
+      // because the key needs it before the append. Safe: we hold the advisory
+      // lock, so the length cannot move underneath us. If the local commit
+      // below then fails, a retry recomputes the SAME seq, hits the sidecar,
+      // skips the remote write and completes the local one.
+      //
+      // `writeJudgmentDecision` is FAIL-CLOSED and returns null only when the
+      // coupling is disabled. A live entry carrying an inferred conviction is
+      // written on the inferred confidence scale and flagged
+      // `conviction_review_required` for a later ruling — the P2.5 gate blocks
+      // the BACKFILL, not new entries, which would otherwise be unrecordable.
+      const nextSeq = store.readLedgerEvents().length + 1;
+      const mapped = ledgerEntryToDecision(event, nextSeq);
+      if (mapped) {
+        await writeJudgmentDecision(cwd, mapped);
+      }
+
       const undo = new UndoLog();
       let seq;
       commitWithProjections(cwd, undo, () => {
@@ -3345,18 +3374,43 @@ export async function judgmentLedgerAppend(cwd, args, internal = {}) {
  * recent ledger. Small result (AUDIT-19) — titles and refs, never full
  * document text. Replays pending intents first (reconciler-on-read).
  */
+/**
+ * Causal ancestry for one position (COMP-JUDGMENT-PRECEDENT slice A).
+ *
+ * Read-only counterpart to getJudgmentState, which returns latest-only and so
+ * cannot answer "what did this replace, and what did we believe then". Takes the
+ * same lock + intent replay so the trace reflects committed state, not a
+ * half-applied intent queue.
+ */
+export async function getJudgmentTrace(cwd, slug) {
+  if (typeof slug !== 'string' || slug.trim() === '') {
+    throw typedError('JUDGMENT_INPUT', 'get_judgment_trace: slug is required');
+  }
+  const release = await acquireJudgmentLock(cwd);
+  try {
+    await replayIntentsLocked(cwd);
+    const store = effectiveStore(createJudgmentStore(cwd));
+    return tracePosition(store, slug.trim());
+  } finally {
+    release();
+  }
+}
+
 export async function getJudgmentState(cwd) {
   const release = await acquireJudgmentLock(cwd);
   try {
     const replay = await replayIntentsLocked(cwd);
     regenerateProjections(cwd);
     const store = effectiveStore(createJudgmentStore(cwd));
+    // Prebuilt index — see COMP-JUDGMENT-PRECEDENT: without it this loop is
+    // O(n^2) over the store.
+    const supersession = buildSupersessionIndex(store);
     const positions = store.listPositionSlugs().map((slug) => {
       const latest = store.latestPositionRevision(slug);
       return {
         slug,
         ref: `${slug}#r${latest.rev}`,
-        status: store.derivePositionStatus(slug),
+        status: store.derivePositionStatus(slug, supersession),
         conviction: latest.conviction?.level ?? null,
       };
     });

package/lib/lifecycle-modes.js

@@ -51,7 +51,7 @@ export const LIFECYCLE_MODES = {
       ship: [],
     },
     skippable: ['prd', 'architecture', 'report'],
-    terminal: ['complete', 'killed'],
+    terminal: ['complete', 'killed', 'complete_backfilled'],
     genesis: 'explore_design',
     completablePhase: 'ship', // the phase that → complete (was hard-coded by name)
     phaseArtifacts: ['design.md', 'prd.md', 'architecture.md', 'blueprint.md', 'plan.md', 'report.md'],
@@ -92,7 +92,7 @@ export const LIFECYCLE_MODES = {
       ship: [],
     },
     skippable: [],
-    terminal: ['complete', 'killed'],
+    terminal: ['complete', 'killed', 'complete_backfilled'],
     genesis: 'reproduce',
     completablePhase: 'ship',
     phaseArtifacts: [], // empty → assess uses the global default (preserves today's bug behavior)
@@ -121,7 +121,7 @@ export const LIFECYCLE_MODES = {
       ship: [],
     },
     skippable: [],
-    terminal: ['complete', 'killed'],
+    terminal: ['complete', 'killed', 'complete_backfilled'],
     genesis: 'explore_design',
     completablePhase: 'ship',
     phaseArtifacts: ['design.md', 'plan.md'],
@@ -163,7 +163,7 @@ export const LIFECYCLE_MODES = {
       inconclusive: ['under_test', 'open'],
     },
     skippable: [],
-    terminal: ['superseded', 'dissolved', 'complete', 'killed'],
+    terminal: ['superseded', 'dissolved', 'complete', 'killed', 'complete_backfilled'],
     genesis: 'open',
     completablePhase: 'resolved',
     phaseArtifacts: [],