mason-context 0.21.0 → 0.22.0

package/dist/mason-drift.js

@@ -31,7 +31,7 @@ var init_types = __esm({
 });
 
 // src/drift/cli.ts
-import path11 from "path";
+import path9 from "path";
 
 // src/utils/git-read.ts
 import { execFile } from "child_process";
@@ -84,10 +84,7 @@ function execGit(args, options) {
 
 // src/drift/drift.ts
 import fs4 from "fs/promises";
-import path6 from "path";
-
-// src/snapshot/snapshot.ts
-import path5 from "path";
+import path4 from "path";
 
 // src/utils/validation.ts
 function isRecord(value) {
@@ -413,9 +410,6 @@ import fs3 from "fs/promises";
 import os from "os";
 var lockOwnerSchema = z.object({ host: z.string(), pid: z.number().int().positive() });
 
-// src/test-map.ts
-import path4 from "path";
-
 // src/snapshot/snapshot.ts
 var repoPath = z2.string().refine((value) => normalizeRepoPath(value) !== null, "Expected a relative repository path");
 var verificationFields = {
@@ -550,7 +544,7 @@ async function findGhostFiles(resolvedRoot, mappedFiles) {
   const ghosts = [];
   for (const file of mappedFiles) {
     try {
-      await fs4.access(path6.join(resolvedRoot, file));
+      await fs4.access(path4.join(resolvedRoot, file));
     } catch {
       ghosts.push(file);
     }
@@ -558,7 +552,7 @@ async function findGhostFiles(resolvedRoot, mappedFiles) {
   return ghosts.sort();
 }
 async function computeDrift(rootDir) {
-  const root = path6.resolve(rootDir);
+  const root = path4.resolve(rootDir);
   const snapshot = await loadSnapshot(root);
   if (!snapshot) return null;
   const [headHash, workingTree] = await Promise.all([
@@ -673,11 +667,11 @@ import fg3 from "fast-glob";
 // src/audit/inspection.ts
 import fg2 from "fast-glob";
 import { AsyncLocalStorage as AsyncLocalStorage2 } from "async_hooks";
-import path7 from "path";
+import path5 from "path";
 var inspections = new AsyncLocalStorage2();
 function inspectionRead(root, key, read) {
   const inspection = inspections.getStore();
-  if (!inspection || inspection.root !== path7.resolve(root)) return read();
+  if (!inspection || inspection.root !== path5.resolve(root)) return read();
   if (!inspection.reads.has(key)) {
     const pending = read();
     inspection.reads.set(key, pending);
@@ -817,16 +811,16 @@ function changedCaptureFiles(before, after) {
 }
 
 // src/decisions/drift.ts
-import path10 from "path";
+import path8 from "path";
 
 // src/decisions/decisions.ts
 import fs6 from "fs/promises";
-import path9 from "path";
+import path7 from "path";
 import { createHash as createHash3 } from "crypto";
 import { z as z5 } from "zod";
 
 // src/context/lexical.ts
-import path8 from "path";
+import path6 from "path";
 
 // src/decisions/provenance.ts
 import { z as z4 } from "zod";
@@ -908,6 +902,7 @@ var currentSchema = legacySchema.extend({
       inspector: text(200),
       note: text(1500),
       outcome: z4.literal("no_contradiction_found"),
+      scope: z4.literal("operative").optional(),
       decisionDigest: z4.string().regex(/^[a-f0-9]{64}$/),
       headHash: z4.string(),
       capture: anchorCaptureSchema
@@ -991,8 +986,19 @@ function effectiveDecision(record) {
     history: record.history.slice(0, index + 1)
   };
 }
-function decisionInspectionDigest(record) {
+function decisionInspectionDigest(record, scope = "all") {
   const effective = effectiveDecision(record);
+  if (scope === "operative")
+    return createHash2("sha256").update(
+      JSON.stringify([
+        "operative",
+        record.status,
+        decisionApproval(effective),
+        effective.version === 2 ? effective.revision : 0,
+        decisionContent(effective),
+        effective.refreshedHash
+      ])
+    ).digest("hex");
   return createHash2("sha256").update(
     JSON.stringify([
       record.status,
@@ -1004,8 +1010,10 @@ function decisionInspectionDigest(record) {
     ])
   ).digest("hex");
 }
-function latestDecisionInspection(record) {
-  return record.version === 2 ? record.inspections?.filter((i) => i.decisionDigest === decisionInspectionDigest(record)).at(-1) : void 0;
+function latestDecisionInspection(record, scope = "all") {
+  return record.version === 2 ? record.inspections?.filter(
+    (i) => (scope === "operative" || i.scope !== "operative") && i.decisionDigest === decisionInspectionDigest(record, i.scope ?? "all")
+  ).at(-1) : void 0;
 }
 
 // src/decisions/decisions.ts
@@ -1086,7 +1094,7 @@ async function loadDecisionStore(rootDir) {
 
 // src/decisions/drift.ts
 async function computeDecisionDrift(rootDir, decisions) {
-  const resolvedRoot = path10.resolve(rootDir);
+  const resolvedRoot = path8.resolve(rootDir);
   const store = decisions ? { records: decisions, diagnostics: [] } : await loadDecisionStore(resolvedRoot);
   const report = {
     historyAvailable: true,
@@ -1101,11 +1109,15 @@ async function computeDecisionDrift(rootDir, decisions) {
   ]);
   const changesByHash = /* @__PURE__ */ new Map();
   const baselines = store.records.filter((record) => record.status === "active").flatMap((record) => {
-    const inspection = latestDecisionInspection(record);
-    if (inspection) return [inspection.capture];
-    return [.../* @__PURE__ */ new Set([effectiveDecision(record), record])].flatMap(
-      (candidate) => candidate.version === 2 && candidate.capture ? [candidate.capture] : []
-    );
+    const effective = effectiveDecision(record);
+    return [.../* @__PURE__ */ new Set([effective, record])].flatMap((candidate) => {
+      const inspection = latestDecisionInspection(
+        record,
+        candidate === effective && decisionApproval(effective) === "accepted" ? "operative" : "all"
+      );
+      const capture = inspection?.capture ?? (candidate.version === 2 ? candidate.capture : void 0);
+      return capture ? [capture] : [];
+    });
   });
   const captures = await captureAnchorScopes(
     resolvedRoot,
@@ -1144,12 +1156,18 @@ async function computeDecisionDrift(rootDir, decisions) {
   for (const record of store.records) {
     if (record.status !== "active") continue;
     const effective = effectiveDecision(record);
-    const inspection = latestDecisionInspection(record);
+    const inspection = latestDecisionInspection(
+      record,
+      decisionApproval(effective) === "accepted" ? "operative" : "all"
+    );
     const state = await inspect(effective, inspection?.capture);
     report.freshness[record.id] = state.freshness;
     if (state.changedFiles.length) report.staleDecisions[record.id] = state.changedFiles;
     if (effective !== record)
-      (report.pendingProposals ??= {})[record.id] = await inspect(record, inspection?.capture);
+      (report.pendingProposals ??= {})[record.id] = await inspect(
+        record,
+        latestDecisionInspection(record)?.capture
+      );
   }
   return report;
 }
@@ -1270,18 +1288,14 @@ function formatRefreshPrompt(report, decisionDrift) {
     )
   );
   lines.push("");
-  const scopedFiles = [...report.changedFiles, ...report.unmappedFiles];
-  if (!report.historyAvailable || report.recommendation === "full-rebuild") {
-    lines.push(
-      "PROCEDURE (full rebuild): run the complete Map-Reduce build. Call generate_snapshot_batch repeatedly (follow nextOffset until null), calling save_partial_snapshot after each batch, then reduce_snapshot, then save_snapshot once with the unified map. Derive features ONLY from files shown in each batch prompt \u2014 never invent paths."
-    );
-  } else {
+  lines.push(
+    "PROCEDURE (scoped refresh): inspect the changed and unmapped files with your own source tools. Use get_snapshot to read the existing map, then save_snapshot with only evidence-supported corrected features/flows. Remove deleted entries with removeFeatures/removeFlows. Managed batch creation and reduction have been removed."
+  );
+  if (!report.historyAvailable || report.recommendation === "full-rebuild")
     lines.push(
-      "PROCEDURE (scoped refresh): call generate_snapshot_batch with the files list below \u2014 the SAME list on every call \u2014 following nextOffset until null, calling save_partial_snapshot after each batch. Then call reduce_snapshot (it merges into the existing map, preserving untouched entries) and save_snapshot once. Use save_snapshot's removeFeatures/removeFlows for features that no longer exist (see ghostFiles/renames). Derive features ONLY from files shown in each batch prompt \u2014 never invent paths."
+      "History or coverage is insufficient for a bounded refresh. Inspect all affected entries directly; do not claim freshness for entries you have not checked."
     );
-    lines.push("");
-    lines.push(`files: ${JSON.stringify(scopedFiles)}`);
-  }
+  lines.push(`files: ${JSON.stringify([...report.changedFiles, ...report.unmappedFiles])}`);
   const staleDecisionIds = Object.keys(decisionDrift.staleDecisions);
   if (staleDecisionIds.length > 0) {
     lines.push("");
@@ -1319,7 +1333,7 @@ async function runDriftCli(argv, io = {
     io.out(USAGE);
     return 0;
   }
-  const rootDir = path11.resolve(args.dir);
+  const rootDir = path9.resolve(args.dir);
   let report;
   try {
     report = await computeDrift(rootDir);
@@ -1329,7 +1343,7 @@ async function runDriftCli(argv, io = {
   }
   if (!report) {
     io.err(
-      `No Mason snapshot found at ${path11.join(rootDir, ".mason", "snapshot.json")}. Build one via the Mason MCP server first.`
+      `No Mason snapshot found at ${path9.join(rootDir, ".mason", "snapshot.json")}. Managed map creation has been removed; decisions and context work without a map.`
     );
     return 2;
   }