@flyingrobots/graft 0.11.0 → 0.12.0

package/dist/operations/structural-review.d.ts

@@ -1,10 +1,14 @@
 import type { FileSystem } from "../ports/filesystem.js";
 import type { GitClient } from "../ports/git.js";
+import type { StructuralReferenceWarning } from "../ports/structural-reading.js";
 export interface ReferenceCountResult {
     readonly referenceCount: number;
     readonly referencingFiles: readonly string[];
+    readonly warnings?: readonly ReferenceWarning[];
+    readonly confidence?: "complete" | "partial";
 }
-export type ReferenceCounter = (symbolName: string, filePath: string) => Promise<ReferenceCountResult>;
+export type ReferenceWarning = StructuralReferenceWarning;
+export type ReferenceCounter = (symbolName: string, filePath: string, candidateTargetFilePaths: readonly string[]) => Promise<ReferenceCountResult>;
 export type ReviewCategory = "structural" | "formatting" | "test" | "docs" | "config";
 export interface ReviewFile {
     readonly path: string;
@@ -24,6 +28,8 @@ export interface BreakingChange {
     readonly newSignature?: string;
     readonly impactedFiles: number;
     readonly impactedFilePaths: readonly string[];
+    readonly referenceWarnings: readonly ReferenceWarning[];
+    readonly referenceConfidence: "complete" | "partial";
 }
 export interface StructuralReviewResult {
     readonly base: string;

package/dist/operations/structural-review.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"structural-review.d.ts","sourceRoot":"","sources":["../../src/operations/structural-review.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAMjD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,gBAAgB,GAAG,CAC7B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,KACb,OAAO,CAAC,oBAAoB,CAAC,CAAC;AAGnC,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;AAEtF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,iBAAiB,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAClF;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,mBAAmB,GAAG,cAAc,CAAC;IAC7E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,sBAAsB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,gBAAgB,CAAC;CAC5C;AAmKD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,sBAAsB,CAAC,CA4FjC"}
+{"version":3,"file":"structural-review.d.ts","sourceRoot":"","sources":["../../src/operations/structural-review.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGjD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAIjF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9C;AAED,MAAM,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAE1D,MAAM,MAAM,gBAAgB,GAAG,CAC7B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,wBAAwB,EAAE,SAAS,MAAM,EAAE,KACxC,OAAO,CAAC,oBAAoB,CAAC,CAAC;AAGnC,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC;AAEtF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,iBAAiB,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAClF;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,mBAAmB,GAAG,cAAc,CAAC;IAC7E,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,mBAAmB,EAAE,UAAU,GAAG,SAAS,CAAC;CACtD;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,sBAAsB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,eAAe,EAAE,gBAAgB,CAAC;CAC5C;AA8KD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,sBAAsB,CAAC,CA4FjC"}

package/dist/operations/structural-review.js

@@ -50,12 +50,13 @@ function isConfigFile(filePath) {
 // ---- Breaking change detection --------------------------------------------
 async function detectBreakingChanges(structuralFiles, countReferences) {
     const breaking = [];
+    const candidateTargetFilePaths = structuralFiles.map((file) => file.path);
     for (const file of structuralFiles) {
         // Removed exports → breaking
         for (const removed of file.diff.removed) {
             if (removed.exported !== true)
                 continue;
-            const refs = await countReferences(removed.name, file.path);
+            const refs = await countReferences(removed.name, file.path, candidateTargetFilePaths);
             breaking.push({
                 symbol: removed.name,
                 kind: removed.kind,
@@ -64,6 +65,8 @@ async function detectBreakingChanges(structuralFiles, countReferences) {
                 ...(removed.signature !== undefined ? { previousSignature: removed.signature } : {}),
                 impactedFiles: refs.referenceCount,
                 impactedFilePaths: refs.referencingFiles,
+                referenceWarnings: refs.warnings ?? [],
+                referenceConfidence: refs.confidence ?? "complete",
             });
         }
         // Changed exported symbol signatures → potentially breaking
@@ -72,7 +75,7 @@ async function detectBreakingChanges(structuralFiles, countReferences) {
                 continue;
             if (changed.oldSignature !== undefined && changed.signature !== undefined &&
                 changed.oldSignature !== changed.signature) {
-                const refs = await countReferences(changed.name, file.path);
+                const refs = await countReferences(changed.name, file.path, candidateTargetFilePaths);
                 breaking.push({
                     symbol: changed.name,
                     kind: changed.kind,
@@ -82,6 +85,8 @@ async function detectBreakingChanges(structuralFiles, countReferences) {
                     newSignature: changed.signature,
                     impactedFiles: refs.referenceCount,
                     impactedFilePaths: refs.referencingFiles,
+                    referenceWarnings: refs.warnings ?? [],
+                    referenceConfidence: refs.confidence ?? "complete",
                 });
             }
         }
@@ -139,6 +144,12 @@ function renderSummary(base, head, categories, breakingChanges, totalFiles, stru
             }
         }
         parts.push(`    Impact: referenced by ${String(bc.impactedFiles)} files`);
+        if (bc.referenceConfidence === "partial") {
+            const reason = bc.referenceWarnings.length === 0
+                ? "unresolved or unsupported reference analysis may hide callers"
+                : `${String(bc.referenceWarnings.length)} excluded shadowed access${bc.referenceWarnings.length === 1 ? "" : "es"}`;
+            parts.push(`    Confidence: partial (${reason})`);
+        }
     }
     return parts.join("\n");
 }

package/dist/operations/structural-review.js.map

@@ -1 +1 @@
-{"version":3,"file":"structural-review.js","sourceRoot":"","sources":["../../src/operations/structural-review.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAI9E,OAAO,EAAE,SAAS,EAAwC,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAsD3D,8EAA8E;AAE9E,MAAM,eAAe,GAAG;IACtB,cAAc;IACd,UAAU;IACV,QAAQ;IACR,aAAa;IACb,eAAe;IACf,eAAe;IACf,aAAa;IACb,eAAe;IACf,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,gBAAgB;IAChB,gBAAgB;IAChB,qBAAqB;IACrB,WAAW;IACX,mBAAmB;IACnB,UAAU;IACV,YAAY;IACZ,gBAAgB;CACjB,CAAC;AAEF,MAAM,aAAa,GAAG;IACpB,QAAQ;IACR,SAAS;IACT,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC;AAEF,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,8EAA8E;AAE9E,KAAK,UAAU,qBAAqB,CAClC,eAAoC,EACpC,eAAiC;IAEjC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,6BAA6B;QAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,SAAS;YACxC,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,OAAO,CAAC,IAAI;gBACpB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,gBAAgB;gBAC5B,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpF,aAAa,EAAE,IAAI,CAAC,cAAc;gBAClC,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;aACzC,CAAC,CAAC;QACL,CAAC;QAED,4DAA4D;QAC5D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,SAAS;YACxC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;gBACrE,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI;oBACpB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,UAAU,EAAE,mBAAmB;oBAC/B,iBAAiB,EAAE,OAAO,CAAC,YAAY;oBACvC,YAAY,EAAE,OAAO,CAAC,SAAS;oBAC/B,aAAa,EAAE,IAAI,CAAC,cAAc;oBAClC,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAE9E,SAAS,aAAa,CACpB,IAAY,EACZ,IAAY,EACZ,UAA0C,EAC1C,eAA0C,EAC1C,UAAkB,EAClB,eAAoC;IAEpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,KAAK,IAAI,MAAM,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,qBAAqB;IACrB,IAAI,UAAU,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChF,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,UAAU,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACtE,IAAI,YAAY,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;QAC1E,IAAI,YAAY,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,CAAC,UAAU,KAAK,gBAAgB,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,mBAAmB,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,sBAAsB,CAAC,CAAC;YAC7D,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAA6B;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IAEjC,yBAAyB;IACzB,MAAM,QAAQ,GAAqB;QACjC,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;QACnD,IAAI;QACJ,IAAI;KACL,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;IAE7C,iDAAiD;IACjD,MAAM,iBAAiB,GAAG,MAAM,yBAAyB,CAAC;QACxD,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI;QACJ,IAAI;KACL,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE7D,kDAAkD;IAClD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErE,kCAAkC;IAClC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,iEAAiE;QACjE,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC5C,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,CAAC;QAC5B,MAAM,oBAAoB,GAAG,IAAI,KAAK,SAAS;YAC7C,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEhF,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrD,CAAC;aAAM,IAAI,oBAAoB,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,YAAY;gBACtB,iBAAiB,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;aAC5G,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAmC;QACjD,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;KACV,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9B,CAAC;IAED,iDAAiD;IACjD,MAAM,mBAAmB,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACvD,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,qBAAqB,CAAC,mBAAmB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IAE/F,oBAAoB;IACpB,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,EACJ,IAAI,EACJ,UAAU,EACV,eAAe,EACf,eAAe,CAAC,MAAM,EACtB,UAAU,CAAC,KAAK,CACjB,CAAC;IAEF,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,UAAU,EAAE,eAAe,CAAC,MAAM;QAClC,UAAU;QACV,KAAK;QACL,eAAe;QACf,OAAO;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"structural-review.js","sourceRoot":"","sources":["../../src/operations/structural-review.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAI9E,OAAO,EAAE,SAAS,EAAwC,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AA8D3D,8EAA8E;AAE9E,MAAM,eAAe,GAAG;IACtB,cAAc;IACd,UAAU;IACV,QAAQ;IACR,aAAa;IACb,eAAe;IACf,eAAe;IACf,aAAa;IACb,eAAe;IACf,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,gBAAgB;IAChB,gBAAgB;IAChB,qBAAqB;IACrB,WAAW;IACX,mBAAmB;IACnB,UAAU;IACV,YAAY;IACZ,gBAAgB;CACjB,CAAC;AAEF,MAAM,aAAa,GAAG;IACpB,QAAQ;IACR,SAAS;IACT,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC;AAEF,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,8EAA8E;AAE9E,KAAK,UAAU,qBAAqB,CAClC,eAAoC,EACpC,eAAiC;IAEjC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,wBAAwB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1E,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,6BAA6B;QAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,SAAS;YACxC,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;YACtF,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,OAAO,CAAC,IAAI;gBACpB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,gBAAgB;gBAC5B,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpF,aAAa,EAAE,IAAI,CAAC,cAAc;gBAClC,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;gBACxC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;gBACtC,mBAAmB,EAAE,IAAI,CAAC,UAAU,IAAI,UAAU;aACnD,CAAC,CAAC;QACL,CAAC;QAED,4DAA4D;QAC5D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,SAAS;YACxC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;gBACrE,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;gBACtF,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI;oBACpB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,UAAU,EAAE,mBAAmB;oBAC/B,iBAAiB,EAAE,OAAO,CAAC,YAAY;oBACvC,YAAY,EAAE,OAAO,CAAC,SAAS;oBAC/B,aAAa,EAAE,IAAI,CAAC,cAAc;oBAClC,iBAAiB,EAAE,IAAI,CAAC,gBAAgB;oBACxC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;oBACtC,mBAAmB,EAAE,IAAI,CAAC,UAAU,IAAI,UAAU;iBACnD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAE9E,SAAS,aAAa,CACpB,IAAY,EACZ,IAAY,EACZ,UAA0C,EAC1C,eAA0C,EAC1C,UAAkB,EAClB,eAAoC;IAEpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,KAAK,IAAI,MAAM,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,qBAAqB;IACrB,IAAI,UAAU,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChF,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,UAAU,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACtE,IAAI,YAAY,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;QAC1E,IAAI,YAAY,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,CAAC,UAAU,KAAK,gBAAgB,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,mBAAmB,CAAC,CAAC;YAC1D,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,sBAAsB,CAAC,CAAC;YAC7D,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,6BAA6B,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC1E,IAAI,EAAE,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,EAAE,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;gBAC9C,CAAC,CAAC,+DAA+D;gBACjE,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACtH,KAAK,CAAC,IAAI,CAAC,4BAA4B,MAAM,GAAG,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAA6B;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IAEjC,yBAAyB;IACzB,MAAM,QAAQ,GAAqB;QACjC,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;QACnD,IAAI;QACJ,IAAI;KACL,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;IAE7C,iDAAiD;IACjD,MAAM,iBAAiB,GAAG,MAAM,yBAAyB,CAAC;QACxD,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI;QACJ,IAAI;KACL,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE7D,kDAAkD;IAClD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAErE,kCAAkC;IAClC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,iEAAiE;QACjE,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC5C,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,CAAC;QAC5B,MAAM,oBAAoB,GAAG,IAAI,KAAK,SAAS;YAC7C,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEhF,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrD,CAAC;aAAM,IAAI,oBAAoB,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,YAAY;gBACtB,iBAAiB,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;aAC5G,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAmC;QACjD,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;KACV,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9B,CAAC;IAED,iDAAiD;IACjD,MAAM,mBAAmB,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CACvD,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,qBAAqB,CAAC,mBAAmB,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IAE/F,oBAAoB;IACpB,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,EACJ,IAAI,EACJ,UAAU,EACV,eAAe,EACf,eAAe,CAAC,MAAM,EACtB,UAAU,CAAC,KAAK,CACjB,CAAC;IAEF,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,UAAU,EAAE,eAAe,CAAC,MAAM;QAClC,UAAU;QACV,KAAK;QACL,eAAe;QACf,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/operations/workspace-read-view.d.ts

@@ -0,0 +1,208 @@
+import type { FileSystem } from "../ports/filesystem.js";
+/**
+ * The bytes Graft analysis is permitted to see, and nothing else.
+ *
+ * Analysis previously received a general `FileSystem` and reached through it to
+ * the live disk, so "read the workspace" and "read anything" were one
+ * authority. A read view separates them, which is what will let analysis run
+ * after an observation has settled rather than racing the disk it is
+ * describing.
+ *
+ * The seam is landed; the settled side of it is not. Both production
+ * composition roots pass `LiveWorkspaceReadSource`, so what this interface
+ * buys today is that the authority is named and singular, not that it is
+ * settled. See `AdmittedWorkspaceSnapshot` for what is still missing.
+ *
+ * The primitive is bytes, not text. A basis identifies bytes, so a seam that
+ * decoded on the way through could not honour it: an undecodable file would
+ * either throw at the boundary or arrive silently replaced, and neither is the
+ * observed content. Decoding is an analysis projection, applied above.
+ */
+export interface WorkspaceReadView {
+    /** Returns the bytes for a path. Rejects if it cannot produce them. */
+    readBytes(path: string): Promise<Uint8Array>;
+}
+/**
+ * What an observation retained about itself.
+ *
+ * Analysis has to be attributable to the observation that produced it. A
+ * result carrying no request or settlement identity cannot be replayed, and
+ * cannot be told apart from bytes someone assembled.
+ */
+export interface WorkspaceReadEvidence {
+    readonly requestId: string;
+    readonly settlementId: string;
+    readonly workspaceRoot: string;
+    /** Identity of the exact bytes the observation settled. */
+    readonly basisDigest: string;
+}
+/**
+ * A read view over bytes an observation settled.
+ *
+ * Separate from `WorkspaceReadView` because fetching bytes and possessing
+ * settled bytes are not the same capability, and a single interface for both
+ * forced the live filesystem to inhabit a contract it cannot satisfy. It has
+ * no basis, so it supplied a sentinel in the field whose contract is "the
+ * identity of the exact bytes" — a value meaning "this is not a basis" living
+ * where the basis goes. One of these performs an effect and the other carries
+ * evidence; they are not substitutable.
+ */
+export interface AdmittedWorkspaceReadView extends WorkspaceReadView {
+    readonly evidence: WorkspaceReadEvidence;
+    /** Every path the request admitted, in the order it declared them. */
+    admittedPaths(): readonly string[];
+}
+/**
+ * One file as a single observation saw it.
+ *
+ * Operations take this rather than a filesystem so that policy evaluation,
+ * cache comparison, and projection all describe the same bytes. When each
+ * step fetched its own copy, a file rewritten between two of them could be
+ * authorised in one version and returned in another, and the cache would
+ * record the hash of one beside the outline of the other.
+ *
+ * `utf8` is null when the bytes are not valid UTF-8. It is a separate field
+ * rather than a decode at the point of use because a basis identifies bytes:
+ * substituting replacement characters would return content the observation
+ * never settled, under the identity of content it did.
+ */
+export interface ObservedFile {
+    readonly path: string;
+    readonly bytes: Uint8Array;
+    readonly utf8: string | null;
+}
+/**
+ * The size an observation has, whether or not it decodes as text.
+ *
+ * Policy must be evaluated for every observation, including bytes with no
+ * faithful text projection: a binary or banned path is refused for being
+ * binary or banned, and skipping the check when decoding fails would let it
+ * through to a projection instead. Counting 0x0A is exact for any byte
+ * sequence, because a newline byte cannot occur inside a multi-byte UTF-8
+ * sequence.
+ */
+export declare function observedActual(file: ObservedFile): {
+    lines: number;
+    bytes: number;
+};
+/** Observes a path exactly once. Rejects if the view cannot produce it. */
+export declare function observeFile(view: WorkspaceReadView, path: string): Promise<ObservedFile>;
+declare const admittedSnapshotBrand: unique symbol;
+/**
+ * An immutable observation, shaped as Echo would settle one.
+ *
+ * NOT YET PRODUCED IN PRODUCTION. There is no decoder that turns an Echo
+ * settlement into one of these, and no composition root constructs one. The
+ * only constructor is the test constructor below, so today every value of this
+ * type is admitted by assertion. Every production Graft read still goes through
+ * `LiveWorkspaceReadSource` to the live disk. Building the decoder is the
+ * remaining work in #228; until it exists, this type describes the destination,
+ * not the current state.
+ *
+ * The brand is compile-time friction, not runtime evidence. It stops a caller
+ * assembling one inline and having analysis treat it as settled, but a brand
+ * cannot attest that Echo settled anything — only a decoder validating the
+ * settlement envelope can, and that is what does not exist yet.
+ *
+ * The request-side fields are retained because analysis must be attributable
+ * to the observation that produced it: a snapshot with no request or
+ * settlement identity cannot be replayed, and cannot be told apart from bytes
+ * someone assembled.
+ */
+interface WorkspaceSnapshotDescriptor {
+    readonly requestId: string;
+    readonly settlementId: string;
+    readonly workspaceRoot: string;
+    readonly basisDigest: string;
+    /** The exact paths the request admitted. */
+    readonly aperture: readonly string[];
+    readonly byteBudget: number;
+    readonly symlinkPolicy: "refuse";
+}
+export interface AdmittedWorkspaceSnapshot extends WorkspaceSnapshotDescriptor {
+    readonly [admittedSnapshotBrand]: true;
+}
+export interface WorkspaceSnapshotFields extends WorkspaceSnapshotDescriptor {
+    /** The settled files, keyed by workspace-relative path. */
+    readonly files: ReadonlyMap<string, SettledFile>;
+}
+/**
+ * One file as the observation recorded it.
+ *
+ * The entry kind is carried rather than assumed because refusing symlinks is a
+ * claim about what was observed, and a claim with nowhere to record its
+ * subject cannot be checked. A settlement that reports a symlink while
+ * declaring `symlinkPolicy: "refuse"` is self-contradictory, and the only
+ * place that contradiction is visible is here.
+ */
+export interface SettledFile {
+    readonly bytes: Uint8Array;
+    readonly entryKind: "regular" | "symlink";
+}
+export type SnapshotAdmissionErrorCode = "INVALID_BYTE_BUDGET" | "DUPLICATE_APERTURE_PATH" | "MISSING_APERTURE_BYTES" | "OUTSIDE_APERTURE" | "SYMLINK_REFUSED" | "BYTE_BUDGET_EXCEEDED" | "MISSING_RETAINED_FILES";
+/** A snapshot that contradicts a field it declares. */
+export declare class SnapshotAdmissionError extends Error {
+    readonly code: SnapshotAdmissionErrorCode;
+    readonly detail: string;
+    constructor(code: SnapshotAdmissionErrorCode, detail: string);
+}
+/**
+ * Builds a snapshot that is admitted by assertion rather than by settlement.
+ *
+ * Named for what it is so that a production composition root using it is
+ * obvious in review. The assertion is only about provenance: no Echo
+ * settlement stands behind this value. The fields it declares are still
+ * checked, because a test fixture that could contradict itself would prove
+ * analysis works against observations that cannot occur.
+ *
+ * Copies its input, so a caller mutating the maps and arrays it passed cannot
+ * reach the snapshot afterwards.
+ */
+export declare function unsafeAdmittedWorkspaceSnapshotForTest(fields: WorkspaceSnapshotFields): AdmittedWorkspaceSnapshot;
+/** A path the snapshot does not admit. */
+export declare class UnadmittedPathError extends Error {
+    readonly path: string;
+    readonly code: "UNADMITTED_PATH";
+    constructor(path: string);
+}
+/** A path the snapshot admits but for which it carries no bytes. */
+export declare class MissingSnapshotBytesError extends Error {
+    readonly path: string;
+    readonly code: "MISSING_SETTLED_BYTES";
+    constructor(path: string);
+}
+/**
+ * A read view over settled snapshot bytes.
+ *
+ * Refuses rather than falling back: a path outside the aperture is a request
+ * for authority the observation did not grant, and answering it from disk
+ * would silently reintroduce the coupling this type exists to remove.
+ */
+export declare class SnapshotWorkspaceReadView implements AdmittedWorkspaceReadView {
+    readonly evidence: WorkspaceReadEvidence;
+    constructor(snapshot: AdmittedWorkspaceSnapshot);
+    readBytes(path: string): Promise<Uint8Array>;
+    admittedPaths(): readonly string[];
+}
+/**
+ * Bytes read from the live filesystem at the moment of the call.
+ *
+ * This is the behaviour Graft had before observations were admitted, kept as
+ * an explicitly named adapter rather than as a default. It is deliberately
+ * **not** an `AdmittedWorkspaceReadView`: nothing about it is settled. The
+ * bytes it returns describe the disk when it was asked, so two reads can
+ * disagree, no basis over them means anything, and it has no admitted path set
+ * to enumerate. It offers neither, so a caller needing either fails to compile
+ * rather than receiving a sentinel or a rejected promise.
+ *
+ * Every production composition root still uses this. That is the remaining
+ * work in #228, and it is visible by name at each one.
+ */
+export declare class LiveWorkspaceReadSource implements WorkspaceReadView {
+    private readonly fs;
+    readonly workspaceRoot: string;
+    constructor(fs: Pick<FileSystem, "isFileNotFoundError" | "readFile">, workspaceRoot: string);
+    readBytes(path: string): Promise<Uint8Array>;
+}
+export {};
+//# sourceMappingURL=workspace-read-view.d.ts.map

package/dist/operations/workspace-read-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-read-view.d.ts","sourceRoot":"","sources":["../../src/operations/workspace-read-view.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,iBAAiB;IAChC,uEAAuE;IACvE,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;CAC9C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAA0B,SAAQ,iBAAiB;IAClE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,sEAAsE;IACtE,aAAa,IAAI,SAAS,MAAM,EAAE,CAAC;CACpC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAOnF;AAED,2EAA2E;AAC3E,wBAAsB,WAAW,CAC/B,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,YAAY,CAAC,CASvB;AAED,OAAO,CAAC,MAAM,qBAAqB,EAAE,OAAO,MAAM,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,UAAU,2BAA2B;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4CAA4C;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC;CAClC;AAED,MAAM,WAAW,yBAA0B,SAAQ,2BAA2B;IAC5E,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,uBAAwB,SAAQ,2BAA2B;IAC1E,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAClD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC;CAC3C;AAOD,MAAM,MAAM,0BAA0B,GAClC,qBAAqB,GACrB,yBAAyB,GACzB,wBAAwB,GACxB,kBAAkB,GAClB,iBAAiB,GACjB,sBAAsB,GACtB,wBAAwB,CAAC;AAE7B,uDAAuD;AACvD,qBAAa,sBAAuB,SAAQ,KAAK;IAE7C,QAAQ,CAAC,IAAI,EAAE,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM;gBADd,IAAI,EAAE,0BAA0B,EAChC,MAAM,EAAE,MAAM;CAK1B;AA8FD;;;;;;;;;;;GAWG;AACH,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,uBAAuB,GAC9B,yBAAyB,CAc3B;AAED,0CAA0C;AAC1C,qBAAa,mBAAoB,SAAQ,KAAK;IAGhC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,QAAQ,CAAC,IAAI,EAAG,iBAAiB,CAAU;gBAEtB,IAAI,EAAE,MAAM;CAIlC;AAED,oEAAoE;AACpE,qBAAa,yBAA0B,SAAQ,KAAK;IAGtC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,QAAQ,CAAC,IAAI,EAAG,uBAAuB,CAAU;gBAE5B,IAAI,EAAE,MAAM;CAIlC;AA2CD;;;;;;GAMG;AACH,qBAAa,yBAA0B,YAAW,yBAAyB;IACzE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;gBAE7B,QAAQ,EAAE,yBAAyB;IAsC/C,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IAkB5C,aAAa,IAAI,SAAS,MAAM,EAAE;CAMnC;AAID;;;;;;;;;;;;;GAaG;AACH,qBAAa,uBAAwB,YAAW,iBAAiB;IAE7D,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,QAAQ,CAAC,aAAa,EAAE,MAAM;gBADb,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,qBAAqB,GAAG,UAAU,CAAC,EAChE,aAAa,EAAE,MAAM;IAG1B,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;CAgBnD"}

package/dist/operations/workspace-read-view.js

@@ -0,0 +1,302 @@
+// SPDX-License-Identifier: Apache-2.0
+// © James Ross Ω FLYING•ROBOTS <https://github.com/flyingrobots>
+/**
+ * The size an observation has, whether or not it decodes as text.
+ *
+ * Policy must be evaluated for every observation, including bytes with no
+ * faithful text projection: a binary or banned path is refused for being
+ * binary or banned, and skipping the check when decoding fails would let it
+ * through to a projection instead. Counting 0x0A is exact for any byte
+ * sequence, because a newline byte cannot occur inside a multi-byte UTF-8
+ * sequence.
+ */
+export function observedActual(file) {
+    return {
+        lines: file.utf8 !== null
+            ? file.utf8.split("\n").length
+            : file.bytes.reduce((count, byte) => (byte === 0x0a ? count + 1 : count), 1),
+        bytes: file.bytes.byteLength,
+    };
+}
+/** Observes a path exactly once. Rejects if the view cannot produce it. */
+export async function observeFile(view, path) {
+    const bytes = await view.readBytes(path);
+    let utf8;
+    try {
+        utf8 = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(bytes);
+    }
+    catch {
+        utf8 = null;
+    }
+    return { path, bytes, utf8 };
+}
+const retainedFilesBySnapshot = new WeakMap();
+/** A snapshot that contradicts a field it declares. */
+export class SnapshotAdmissionError extends Error {
+    code;
+    detail;
+    constructor(code, detail) {
+        super(`snapshot contradicts its own declaration: ${detail}`);
+        this.code = code;
+        this.detail = detail;
+        this.name = "SnapshotAdmissionError";
+    }
+}
+/**
+ * Checks a snapshot against the fields it declares.
+ *
+ * Every check here is internal consistency: it asks whether the settlement
+ * honours the request it claims to answer, not whether Echo settled it. That
+ * second question needs the settlement envelope, and belongs to the decoder
+ * that does not exist yet. Both callers want these checks, so they live apart
+ * from either.
+ *
+ * Refusing at construction rather than at read time is the point. A snapshot
+ * that passes here is total over its aperture, so analysis can treat the
+ * observation as complete instead of discovering a hole partway through and
+ * having to decide what an absent admitted path means.
+ */
+function checkSnapshotFields(fields) {
+    if (!Number.isSafeInteger(fields.byteBudget) || fields.byteBudget < 0) {
+        throw new SnapshotAdmissionError("INVALID_BYTE_BUDGET", `byte budget is not a non-negative safe integer: ${String(fields.byteBudget)}`);
+    }
+    const admitted = new Set();
+    for (const path of fields.aperture) {
+        if (admitted.has(path)) {
+            throw new SnapshotAdmissionError("DUPLICATE_APERTURE_PATH", `aperture lists a duplicate path: ${path}`);
+        }
+        admitted.add(path);
+    }
+    for (const path of admitted) {
+        if (!fields.files.has(path)) {
+            throw new SnapshotAdmissionError("MISSING_APERTURE_BYTES", `aperture path carries no settled bytes: ${path}`);
+        }
+    }
+    let settledBytes = 0;
+    for (const [path, file] of fields.files) {
+        if (!admitted.has(path)) {
+            throw new SnapshotAdmissionError("OUTSIDE_APERTURE", `settled bytes for a path outside the aperture: ${path}`);
+        }
+        // Unconditional because `symlinkPolicy` admits exactly one value today.
+        // Branching on it would read as though a snapshot could permit symlinks,
+        // and the first reader to add a second policy value would find the branch
+        // already written and assume it had been thought through.
+        if (file.entryKind === "symlink") {
+            throw new SnapshotAdmissionError("SYMLINK_REFUSED", `symlink recorded under a policy that refuses symlinks: ${path}`);
+        }
+        settledBytes += file.bytes.byteLength;
+    }
+    if (settledBytes > fields.byteBudget) {
+        throw new SnapshotAdmissionError("BYTE_BUDGET_EXCEEDED", `settled bytes exceed the declared byte budget: ` +
+            `${String(settledBytes)} > ${String(fields.byteBudget)}`);
+    }
+}
+function copySnapshotFields(fields) {
+    const files = new Map();
+    for (const [path, file] of fields.files) {
+        files.set(path, {
+            bytes: Uint8Array.from(file.bytes),
+            entryKind: file.entryKind,
+        });
+    }
+    return {
+        requestId: fields.requestId,
+        settlementId: fields.settlementId,
+        workspaceRoot: fields.workspaceRoot,
+        basisDigest: fields.basisDigest,
+        aperture: [...fields.aperture],
+        byteBudget: fields.byteBudget,
+        symlinkPolicy: fields.symlinkPolicy,
+        files,
+    };
+}
+/**
+ * Builds a snapshot that is admitted by assertion rather than by settlement.
+ *
+ * Named for what it is so that a production composition root using it is
+ * obvious in review. The assertion is only about provenance: no Echo
+ * settlement stands behind this value. The fields it declares are still
+ * checked, because a test fixture that could contradict itself would prove
+ * analysis works against observations that cannot occur.
+ *
+ * Copies its input, so a caller mutating the maps and arrays it passed cannot
+ * reach the snapshot afterwards.
+ */
+export function unsafeAdmittedWorkspaceSnapshotForTest(fields) {
+    const copiedFields = copySnapshotFields(fields);
+    checkSnapshotFields(copiedFields);
+    const snapshot = Object.freeze({
+        requestId: copiedFields.requestId,
+        settlementId: copiedFields.settlementId,
+        workspaceRoot: copiedFields.workspaceRoot,
+        basisDigest: copiedFields.basisDigest,
+        aperture: Object.freeze([...copiedFields.aperture]),
+        byteBudget: copiedFields.byteBudget,
+        symlinkPolicy: copiedFields.symlinkPolicy,
+    });
+    retainedFilesBySnapshot.set(snapshot, copiedFields.files);
+    return snapshot;
+}
+/** A path the snapshot does not admit. */
+export class UnadmittedPathError extends Error {
+    path;
+    code = "UNADMITTED_PATH";
+    constructor(path) {
+        super(`path is outside the admitted snapshot aperture: ${path}`);
+        this.path = path;
+        this.name = "UnadmittedPathError";
+    }
+}
+/** A path the snapshot admits but for which it carries no bytes. */
+export class MissingSnapshotBytesError extends Error {
+    path;
+    code = "MISSING_SETTLED_BYTES";
+    constructor(path) {
+        super(`admitted path carries no settled bytes: ${path}`);
+        this.path = path;
+        this.name = "MissingSnapshotBytesError";
+    }
+}
+const retainedReadStateByView = new WeakMap();
+function retainedReadState(view) {
+    const state = retainedReadStateByView.get(view);
+    if (state === undefined) {
+        throw new Error("SnapshotWorkspaceReadView has no retained read state");
+    }
+    return state;
+}
+/**
+ * Snapshot evidence has no platform tag yet. Drive roots and backslash-UNC
+ * roots are unambiguously Windows; slash-rooted paths remain POSIX so a legal
+ * backslash in a POSIX filename cannot become authority over another path.
+ */
+function usesWindowsPathSyntax(workspaceRoot) {
+    return /^[A-Za-z]:[\\/]/u.test(workspaceRoot) || workspaceRoot.startsWith("\\\\");
+}
+function snapshotLookupPath(workspaceRoot, requestedPath) {
+    const windowsPathSyntax = usesWindowsPathSyntax(workspaceRoot);
+    const normalizedRoot = (windowsPathSyntax ? workspaceRoot.replaceAll("\\", "/") : workspaceRoot)
+        .replace(/\/+$/u, "");
+    const normalizedRequest = windowsPathSyntax
+        ? requestedPath.replaceAll("\\", "/")
+        : requestedPath;
+    const rootPrefix = normalizedRoot.length === 0 ? "/" : `${normalizedRoot}/`;
+    return normalizedRequest.startsWith(rootPrefix)
+        ? normalizedRequest.slice(rootPrefix.length)
+        : requestedPath;
+}
+/**
+ * A read view over settled snapshot bytes.
+ *
+ * Refuses rather than falling back: a path outside the aperture is a request
+ * for authority the observation did not grant, and answering it from disk
+ * would silently reintroduce the coupling this type exists to remove.
+ */
+export class SnapshotWorkspaceReadView {
+    evidence;
+    constructor(snapshot) {
+        if (new.target !== SnapshotWorkspaceReadView) {
+            throw new TypeError("SnapshotWorkspaceReadView does not support subclass construction");
+        }
+        this.evidence = Object.freeze({
+            requestId: snapshot.requestId,
+            settlementId: snapshot.settlementId,
+            workspaceRoot: snapshot.workspaceRoot,
+            basisDigest: snapshot.basisDigest,
+        });
+        Object.defineProperty(this, "evidence", {
+            writable: false,
+            configurable: false,
+        });
+        const retainedFiles = retainedFilesBySnapshot.get(snapshot);
+        if (retainedFiles === undefined) {
+            throw new SnapshotAdmissionError("MISSING_RETAINED_FILES", "snapshot has no retained settled bytes");
+        }
+        // Copied on the way in, so a snapshot assembled from a caller's mutable
+        // maps cannot change underneath the view once it exists.
+        const bytes = new Map();
+        for (const [path, file] of retainedFiles) {
+            bytes.set(path, Uint8Array.from(file.bytes));
+        }
+        retainedReadStateByView.set(this, {
+            bytes,
+            aperture: [...snapshot.aperture],
+            admitted: new Set(snapshot.aperture),
+        });
+        Object.freeze(this);
+    }
+    // Asynchronous because a filesystem-backed view cannot read lazily behind a
+    // synchronous signature, and both must satisfy one interface for
+    // RepoWorkspace analysis methods to depend on exactly one read view.
+    readBytes(path) {
+        const state = retainedReadState(this);
+        const lookupPath = snapshotLookupPath(this.evidence.workspaceRoot, path);
+        if (!state.admitted.has(lookupPath)) {
+            return Promise.reject(new UnadmittedPathError(path));
+        }
+        const content = state.bytes.get(lookupPath);
+        if (content === undefined) {
+            // Unreachable: admission requires the aperture and the settled-file set
+            // to agree exactly. Kept as a guard so a future decoder that skipped
+            // that check would fail loudly here rather than return absent bytes.
+            return Promise.reject(new MissingSnapshotBytesError(path));
+        }
+        // Copied on the way out, so a caller writing through the returned array
+        // cannot rewrite the retained evidence.
+        return Promise.resolve(Uint8Array.from(content));
+    }
+    admittedPaths() {
+        // From the aperture, which is what the request admitted — not from the
+        // byte entries that happen to be present. Answering from the latter is how
+        // a partial settlement would report itself as a complete one.
+        return [...retainedReadState(this).aperture];
+    }
+}
+Object.freeze(SnapshotWorkspaceReadView.prototype);
+/**
+ * Bytes read from the live filesystem at the moment of the call.
+ *
+ * This is the behaviour Graft had before observations were admitted, kept as
+ * an explicitly named adapter rather than as a default. It is deliberately
+ * **not** an `AdmittedWorkspaceReadView`: nothing about it is settled. The
+ * bytes it returns describe the disk when it was asked, so two reads can
+ * disagree, no basis over them means anything, and it has no admitted path set
+ * to enumerate. It offers neither, so a caller needing either fails to compile
+ * rather than receiving a sentinel or a rejected promise.
+ *
+ * Every production composition root still uses this. That is the remaining
+ * work in #228, and it is visible by name at each one.
+ */
+export class LiveWorkspaceReadSource {
+    fs;
+    workspaceRoot;
+    constructor(fs, workspaceRoot) {
+        this.fs = fs;
+        this.workspaceRoot = workspaceRoot;
+    }
+    async readBytes(path) {
+        try {
+            return Uint8Array.from(await this.fs.readFile(path));
+        }
+        catch (error) {
+            const isMissing = this.fs.isFileNotFoundError !== undefined
+                ? this.fs.isFileNotFoundError(error)
+                : isPortableFileNotFoundError(error);
+            if (isMissing) {
+                throw Object.assign(new Error(`Workspace file not found: ${path}`), {
+                    code: "ENOENT",
+                    cause: error,
+                });
+            }
+            throw error;
+        }
+    }
+}
+function isPortableFileNotFoundError(error) {
+    if (typeof error === "object" && error !== null && "code" in error && error.code === "ENOENT") {
+        return true;
+    }
+    return error instanceof Error
+        && (error.name === "NotFoundError" || /^(?:file )?not found(?:\b|:)/i.test(error.message));
+}
+//# sourceMappingURL=workspace-read-view.js.map