mason-context 0.21.0 → 0.23.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) {
@@ -387,11 +384,13 @@ async function storePath(root, relative, createParents = false) {
   }
   return current;
 }
-async function readStoreJson(root, relative) {
+var STORE_MAX_BYTES = 10 * 1024 * 1024;
+async function readStoreJson(root, relative, maxBytes = STORE_MAX_BYTES) {
   try {
     const file = await storePath(root, relative);
-    const raw = await readBoundedFile(file, 10 * 1024 * 1024);
-    if (raw === null) throw new Error("file is not regular or exceeds 10 MiB");
+    const raw = await readBoundedFile(file, maxBytes);
+    if (raw === null)
+      throw new Error(`file is not regular or exceeds ${maxBytes / 1024 / 1024} MiB`);
     const parsed = JSON.parse(raw);
     if (parsed === null) throw new Error("expected a JSON object, received null");
     return parsed;
@@ -413,9 +412,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 +546,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 +554,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 +669,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);
@@ -718,7 +714,12 @@ async function captureAnchorScopes(root, scopes) {
     );
     const inventory = access.inventory();
     if (!inventory) throw new Error("Git anchor inventory unavailable");
-    const ignored = await inspectionGit(
+    const visible = indexMatchingPaths(
+      union.map((anchor) => [anchor]),
+      inventory
+    );
+    const hidden = new Set(union.filter((_, index) => !visible[index].length));
+    const ignored = hidden.size ? (await inspectionGit(
       [
         "ls-files",
         "-z",
@@ -726,13 +727,11 @@ async function captureAnchorScopes(root, scopes) {
         "--ignored",
         "--exclude-standard",
         "--",
-        ...union.map((anchor) => `:(literal)${anchor}`)
+        ...[...hidden].map((anchor) => `:(literal)${anchor}`)
       ],
       { cwd: root, maxBuffer: 8 * 1024 * 1024 }
-    );
-    const files = [
-      .../* @__PURE__ */ new Set([...inventory, ...ignored.stdout.split("\0").filter(Boolean)])
-    ].sort();
+    )).stdout.split("\0").filter(Boolean) : [];
+    const files = [.../* @__PURE__ */ new Set([...inventory, ...ignored])].sort();
     const patterns = await Promise.all(
       union.map(async (anchor) => {
         const literal = fg3.escapePath(anchor);
@@ -748,7 +747,7 @@ async function captureAnchorScopes(root, scopes) {
     const filesByScope = new Map(
       scopes.map((scope, index) => [JSON.stringify([...new Set(scope)].sort()), indexed[index]])
     );
-    return { filesByScope, eligible };
+    return { filesByScope, eligible, hidden, ignored: new Set(ignored) };
   };
   return Promise.all(
     scopes.map((scope) => {
@@ -760,8 +759,10 @@ async function captureAnchorScopes(root, scopes) {
           const capture = { anchors, files: {}, complete: true };
           if (!anchors.length) return capture;
           try {
-            const { eligible, filesByScope } = await (context ??= prepareContext());
-            const files = filesByScope.get(JSON.stringify(anchors));
+            const { eligible, filesByScope, hidden, ignored } = await (context ??= prepareContext());
+            const files = filesByScope.get(JSON.stringify(anchors)).filter(
+              (file) => !ignored.has(file) || anchors.some((anchor) => hidden.has(anchor) && anchorMatches(anchor, file))
+            );
             if (files.length > 2e3) return { ...capture, complete: false };
             for (const file of files) {
               const evidence = await inspectionRead(
@@ -817,16 +818,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 +909,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 +993,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 +1017,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
@@ -1084,9 +1099,29 @@ async function loadDecisionStore(rootDir) {
   );
 }
 
+// src/decisions/excerpts.ts
+import { createHash as createHash4 } from "crypto";
+import { execFile as execFile2 } from "child_process";
+import { promisify as promisify2 } from "util";
+var exec = promisify2(execFile2);
+function driftBaseline(record) {
+  const effective = effectiveDecision(record);
+  const inspection = latestDecisionInspection(
+    record,
+    decisionApproval(effective) === "accepted" ? "operative" : "all"
+  );
+  return {
+    record: effective,
+    capture: inspection?.capture ?? (effective.version === 2 ? effective.capture : void 0),
+    commits: [inspection?.headHash, effective.refreshedHash].filter(
+      (hash) => !!hash && /^[a-f0-9]{40,64}$/.test(hash)
+    )
+  };
+}
+
 // 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 +1136,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,
@@ -1143,13 +1182,15 @@ 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 state = await inspect(effective, inspection?.capture);
+    const baseline = driftBaseline(record);
+    const state = await inspect(baseline.record, baseline.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);
+    if (baseline.record !== record)
+      (report.pendingProposals ??= {})[record.id] = await inspect(
+        record,
+        latestDecisionInspection(record)?.capture
+      );
   }
   return report;
 }
@@ -1270,18 +1311,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 +1356,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 +1366,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;
   }