@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/graph/EvidenceGraph.js

@@ -46,13 +46,14 @@ const typia_1 = __importDefault(require("typia"));
 const EvidenceFileTarget_1 = require("../targets/EvidenceFileTarget");
 const EvidenceInventory_1 = require("./EvidenceInventory");
 const EvidenceFingerprintIndex_1 = require("../internal/EvidenceFingerprintIndex");
-const InventoryMerge_1 = require("../internal/InventoryMerge");
+const EvidenceInventoryMerge_1 = require("../internal/EvidenceInventoryMerge");
 /**
- * Evaluates coverage and review policies over captured, materialized populations.
+ * Evaluates coverage and review policies over captured, materialized
+ * populations.
  *
  * The checker supplies inventories, selected unit IDs, target resolutions, and
- * reference policies. This facade validates and captures that input; it does not
- * load files or infer declarations. Each call creates a fresh evaluator and
+ * reference policies. This facade validates and captures that input; it does
+ * not load files or infer declarations. Each call creates a fresh evaluator and
  * returns an owned result, isolating prior diagnostics and caller mutations.
  *
  * Evaluation preserves the following boundaries:
@@ -65,24 +66,26 @@ const InventoryMerge_1 = require("../internal/InventoryMerge");
  *    applicable references have been examined.
  *
  * @example
- * const graph: EvidenceGraph = new EvidenceGraph(materializedInput);
- * const first: IEvidenceGraphResult = graph.evaluate();
- * const second: IEvidenceGraphResult = graph.evaluate();
- * // The results have independent storage and no accumulated evaluator state.
+ *   const graph: EvidenceGraph = new EvidenceGraph(materializedInput);
+ *   const first: IEvidenceGraphResult = graph.evaluate();
+ *   const second: IEvidenceGraphResult = graph.evaluate();
+ *   // The results have independent storage and no accumulated evaluator state.
  */
 class EvidenceGraph {
     /**
      * Validated input snapshot owned by this facade.
      *
-     * Evaluators read this captured policy and inventory data. Neither later caller
-     * edits nor modifications to an earlier result can change the snapshot.
+     * Evaluators read this captured policy and inventory data. Neither later
+     * caller edits nor modifications to an earlier result can change the
+     * snapshot.
      */
     input;
     /**
      * Validates the input shape and captures an independent graph snapshot.
      *
      * Semantic inventory and resolution checks occur during evaluation so their
-     * findings can be reported in graph context. Construction performs no source IO.
+     * findings can be reported in graph context. Construction performs no source
+     * IO.
      */
     constructor(input) {
         this.input = structuredClone((() => {
@@ -90,19 +93,21 @@ class EvidenceGraph {
             const _ip1 = input => "error" === input["severity"] || "off" === input["severity"] || "warning" === input["severity"];
             const _ip2 = input => "object" === typeof input["inventory"] && null !== input["inventory"] && _io2(input["inventory"]);
             const _ip3 = input => Array.isArray(input["unitIds"]) && input["unitIds"].every(elem => "string" === typeof elem);
-            const _ip4 = input => Array.isArray(input["units"]) && input["units"].every(elem => "object" === typeof elem && null !== elem && _io8(elem));
-            const _ip5 = input => Array.isArray(input["diagnostics"]) && input["diagnostics"].every(elem => "object" === typeof elem && null !== elem && _io15(elem));
+            const _ip4 = input => Array.isArray(input["units"]) && input["units"].every(elem => "object" === typeof elem && null !== elem && _io9(elem));
+            const _ip5 = input => Array.isArray(input["diagnostics"]) && input["diagnostics"].every(elem => "object" === typeof elem && null !== elem && _io16(elem));
             const _ip6 = input => "string" === typeof input["id"];
-            const _ip7 = input => "string" === typeof input["file"];
+            const _ip7 = input => "string" === typeof input["physicalPath"];
+            const _ip8 = input => "string" === typeof input["fingerprintPath"];
+            const _ip9 = input => "string" === typeof input["file"];
             const _iv0 = new Set(["bigquery", "c", "cpp", "csharp", "dart", "dbml", "go", "java", "javascript", "kotlin", "lua", "markdown", "matlab", "mysql", "objc", "php", "postgresql", "prisma", "python", "ruby", "rust", "scala", "sql", "sqlite", "swagger", "swift", "typescript", "zig"]);
             const _iv1 = new Set(["column", "file", "function", "h1", "h2", "h3", "h4", "model", "operation", "property", "relation", "type"]);
-            const _ip8 = input => Array.isArray(input["withdrawals"]) && input["withdrawals"].every(elem => "object" === typeof elem && null !== elem && _io10(elem));
-            const _ip9 = input => "object" === typeof input["range"] && null !== input["range"] && _io6(input["range"]);
-            const _ip10 = input => "object" === typeof input["location"] && null !== input["location"] && _io5(input["location"]);
-            const _ip11 = input => Array.isArray(input["segments"]) && input["segments"].every(elem => "string" === typeof elem);
-            const _ip12 = input => "string" === typeof input["hostId"];
-            const _ip13 = input => "string" === typeof input["target"];
-            const _ip14 = input => "object" === typeof input["resolution"] && null !== input["resolution"] && _io19(input["resolution"]);
+            const _ip10 = input => Array.isArray(input["withdrawals"]) && input["withdrawals"].every(elem => "object" === typeof elem && null !== elem && _io11(elem));
+            const _ip11 = input => "object" === typeof input["range"] && null !== input["range"] && _io7(input["range"]);
+            const _ip12 = input => "object" === typeof input["location"] && null !== input["location"] && _io6(input["location"]);
+            const _ip13 = input => Array.isArray(input["segments"]) && input["segments"].every(elem => "string" === typeof elem);
+            const _ip14 = input => "string" === typeof input["hostId"];
+            const _ip15 = input => "string" === typeof input["target"];
+            const _ip16 = input => "object" === typeof input["resolution"] && null !== input["resolution"] && _io20(input["resolution"]);
             const _ap0 = (input, _path, _exceptionable = true) => undefined === input["index"] || "number" === typeof input["index"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".index",
@@ -152,7 +157,7 @@ class EvidenceGraph {
                 path: _path + ".units[" + _index30 + "]",
                 expected: "IEvidenceUnit",
                 value: elem
-            }, _errorFactory)) && _ao8(elem, _path + ".units[" + _index30 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao9(elem, _path + ".units[" + _index30 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".units[" + _index30 + "]",
                 expected: "IEvidenceUnit",
@@ -173,7 +178,7 @@ class EvidenceGraph {
                 path: _path + ".diagnostics[" + _index35 + "]",
                 expected: "IEvidenceDiagnostic",
                 value: elem
-            }, _errorFactory)) && _ao15(elem, _path + ".diagnostics[" + _index35 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao16(elem, _path + ".diagnostics[" + _index35 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".diagnostics[" + _index35 + "]",
                 expected: "IEvidenceDiagnostic",
@@ -190,7 +195,19 @@ class EvidenceGraph {
                 expected: "string",
                 value: input["id"]
             }, _errorFactory);
-            const _ap7 = (input, _path, _exceptionable = true) => "string" === typeof input["file"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap7 = (input, _path, _exceptionable = true) => "string" === typeof input["physicalPath"] || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".physicalPath",
+                expected: "string",
+                value: input["physicalPath"]
+            }, _errorFactory);
+            const _ap8 = (input, _path, _exceptionable = true) => "string" === typeof input["fingerprintPath"] || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".fingerprintPath",
+                expected: "string",
+                value: input["fingerprintPath"]
+            }, _errorFactory);
+            const _ap9 = (input, _path, _exceptionable = true) => "string" === typeof input["file"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".file",
                 expected: "string",
@@ -199,7 +216,7 @@ class EvidenceGraph {
             const _av0 = new Set(["bigquery", "c", "cpp", "csharp", "dart", "dbml", "go", "java", "javascript", "kotlin", "lua", "markdown", "matlab", "mysql", "objc", "php", "postgresql", "prisma", "python", "ruby", "rust", "scala", "sql", "sqlite", "swagger", "swift", "typescript", "zig"]);
             const _ae0 = "(\"bigquery\" | \"c\" | \"cpp\" | \"csharp\" | \"dart\" | \"dbml\" | \"go\" | \"java\" | \"javascript\" | \"kotlin\" | \"lua\" | \"markdown\" | \"matlab\" | \"mysql\" | \"objc\" | \"php\" | \"postgresql\" | \"prisma\" | \"python\" | \"ruby\" | \"rust\" | \"scala\" | \"sql\" | \"sqlite\" | \"swagger\" | \"swift\" | \"typescript\" | \"zig\")";
             const _av1 = new Set(["column", "file", "function", "h1", "h2", "h3", "h4", "model", "operation", "property", "relation", "type"]);
-            const _ap8 = (input, _path, _exceptionable = true) => (Array.isArray(input["withdrawals"]) || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap10 = (input, _path, _exceptionable = true) => (Array.isArray(input["withdrawals"]) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".withdrawals",
                 expected: "Array<IEvidenceWithdrawal>",
@@ -209,7 +226,7 @@ class EvidenceGraph {
                 path: _path + ".withdrawals[" + _index40 + "]",
                 expected: "IEvidenceWithdrawal",
                 value: elem
-            }, _errorFactory)) && _ao10(elem, _path + ".withdrawals[" + _index40 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao11(elem, _path + ".withdrawals[" + _index40 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".withdrawals[" + _index40 + "]",
                 expected: "IEvidenceWithdrawal",
@@ -220,29 +237,29 @@ class EvidenceGraph {
                 expected: "Array<IEvidenceWithdrawal>",
                 value: input["withdrawals"]
             }, _errorFactory);
-            const _ap9 = (input, _path, _exceptionable = true) => ("object" === typeof input["range"] && null !== input["range"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap11 = (input, _path, _exceptionable = true) => ("object" === typeof input["range"] && null !== input["range"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".range",
                 expected: "IEvidenceSourceRange",
                 value: input["range"]
-            }, _errorFactory)) && _ao6(input["range"], _path + ".range", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao7(input["range"], _path + ".range", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".range",
                 expected: "IEvidenceSourceRange",
                 value: input["range"]
             }, _errorFactory);
-            const _ap10 = (input, _path, _exceptionable = true) => ("object" === typeof input["location"] && null !== input["location"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap12 = (input, _path, _exceptionable = true) => ("object" === typeof input["location"] && null !== input["location"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".location",
                 expected: "IEvidenceSourceLocation",
                 value: input["location"]
-            }, _errorFactory)) && _ao5(input["location"], _path + ".location", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao6(input["location"], _path + ".location", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".location",
                 expected: "IEvidenceSourceLocation",
                 value: input["location"]
             }, _errorFactory);
-            const _ap11 = (input, _path, _exceptionable = true) => (Array.isArray(input["segments"]) || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap13 = (input, _path, _exceptionable = true) => (Array.isArray(input["segments"]) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".segments",
                 expected: "Array<string>",
@@ -258,24 +275,24 @@ class EvidenceGraph {
                 expected: "Array<string>",
                 value: input["segments"]
             }, _errorFactory);
-            const _ap12 = (input, _path, _exceptionable = true) => "string" === typeof input["hostId"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap14 = (input, _path, _exceptionable = true) => "string" === typeof input["hostId"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".hostId",
                 expected: "string",
                 value: input["hostId"]
             }, _errorFactory);
-            const _ap13 = (input, _path, _exceptionable = true) => "string" === typeof input["target"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap15 = (input, _path, _exceptionable = true) => "string" === typeof input["target"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".target",
                 expected: "string",
                 value: input["target"]
             }, _errorFactory);
-            const _ap14 = (input, _path, _exceptionable = true) => ("object" === typeof input["resolution"] && null !== input["resolution"] || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ap16 = (input, _path, _exceptionable = true) => ("object" === typeof input["resolution"] && null !== input["resolution"] || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".resolution",
                 expected: "IEvidenceTargetResolution",
                 value: input["resolution"]
-            }, _errorFactory)) && _ao19(input["resolution"], _path + ".resolution", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao20(input["resolution"], _path + ".resolution", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".resolution",
                 expected: "IEvidenceTargetResolution",
@@ -333,7 +350,7 @@ class EvidenceGraph {
                 path: _path + ".references[" + _index27 + "]",
                 expected: "IEvidenceGraphReference",
                 value: elem
-            }, _errorFactory)) && _ao17(elem, _path + ".references[" + _index27 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao18(elem, _path + ".references[" + _index27 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".references[" + _index27 + "]",
                 expected: "IEvidenceGraphReference",
@@ -344,19 +361,40 @@ class EvidenceGraph {
                 expected: "Array<IEvidenceGraphReference>",
                 value: input.references
             }, _errorFactory));
-            const _ao10 = (input, _path, _exceptionable = true) => ("hidden" === input.tag || "ignore" === input.tag || "internal" === input.tag || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao10 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable) && ((Array.isArray(input.content) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".content",
+                expected: "Array<IEvidenceSourceRange>",
+                value: input.content
+            }, _errorFactory)) && input.content.every((elem, _index41) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".content[" + _index41 + "]",
+                expected: "IEvidenceSourceRange",
+                value: elem
+            }, _errorFactory)) && _ao7(elem, _path + ".content[" + _index41 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".content[" + _index41 + "]",
+                expected: "IEvidenceSourceRange",
+                value: elem
+            }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".content",
+                expected: "Array<IEvidenceSourceRange>",
+                value: input.content
+            }, _errorFactory));
+            const _ao11 = (input, _path, _exceptionable = true) => ("hidden" === input.tag || "ignore" === input.tag || "internal" === input.tag || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".tag",
                 expected: "(\"hidden\" | \"ignore\" | \"internal\")",
                 value: input.tag
-            }, _errorFactory)) && _ap10(input, _path, true && _exceptionable);
-            const _ao11 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable) && ("string" === typeof input.unitId || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ap12(input, _path, true && _exceptionable);
+            const _ao12 = (input, _path, _exceptionable = true) => _ap9(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && ("string" === typeof input.unitId || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".unitId",
                 expected: "string",
                 value: input.unitId
             }, _errorFactory));
-            const _ao12 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && (undefined === input.origins || (Array.isArray(input.origins) || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao13 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable) && (undefined === input.origins || (Array.isArray(input.origins) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".origins",
                 expected: "(Array<string> | undefined)",
@@ -387,7 +425,7 @@ class EvidenceGraph {
                 expected: "(string | undefined)",
                 value: input.problem
             }, _errorFactory));
-            const _ao13 = (input, _path, _exceptionable = true) => _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && ("evidence" === input.kind || "evidenceExclude" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao14 = (input, _path, _exceptionable = true) => _ap14(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap12(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && ("evidence" === input.kind || "evidenceExclude" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".kind",
                 expected: "(\"evidence\" | \"evidenceExclude\")",
@@ -398,7 +436,7 @@ class EvidenceGraph {
                 expected: "string",
                 value: input.reason
             }, _errorFactory));
-            const _ao14 = (input, _path, _exceptionable = true) => _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && ("evidence" === input.reviews || "evidenceExclude" === input.reviews || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao15 = (input, _path, _exceptionable = true) => _ap14(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap12(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && ("evidence" === input.reviews || "evidenceExclude" === input.reviews || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".reviews",
                 expected: "(\"evidence\" | \"evidenceExclude\")",
@@ -414,7 +452,7 @@ class EvidenceGraph {
                 expected: "string",
                 value: input.description
             }, _errorFactory));
-            const _ao15 = (input, _path, _exceptionable = true) => ("string" === typeof input.code || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao16 = (input, _path, _exceptionable = true) => ("string" === typeof input.code || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".code",
                 expected: "string",
@@ -439,7 +477,7 @@ class EvidenceGraph {
                 path: _path + ".location",
                 expected: "(IEvidenceSourceLocation | undefined)",
                 value: input.location
-            }, _errorFactory)) && _ao5(input.location, _path + ".location", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao6(input.location, _path + ".location", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".location",
                 expected: "(IEvidenceSourceLocation | undefined)",
@@ -465,7 +503,7 @@ class EvidenceGraph {
                 expected: "(string | undefined)",
                 value: input.target
             }, _errorFactory));
-            const _ao16 = (input, _path, _exceptionable = true) => ("string" === typeof input.path || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao17 = (input, _path, _exceptionable = true) => ("string" === typeof input.path || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".path",
                 expected: "string",
@@ -476,7 +514,7 @@ class EvidenceGraph {
                 expected: "boolean",
                 value: input.recursive
             }, _errorFactory));
-            const _ao17 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && ((Array.isArray(input.resolutions) || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao18 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && ((Array.isArray(input.resolutions) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".resolutions",
                 expected: "Array<IEvidenceGraphResolution>",
@@ -486,7 +524,7 @@ class EvidenceGraph {
                 path: _path + ".resolutions[" + _index44 + "]",
                 expected: "IEvidenceGraphResolution",
                 value: elem
-            }, _errorFactory)) && _ao18(elem, _path + ".resolutions[" + _index44 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao19(elem, _path + ".resolutions[" + _index44 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".resolutions[" + _index44 + "]",
                 expected: "IEvidenceGraphResolution",
@@ -506,7 +544,7 @@ class EvidenceGraph {
                 path: _path + ".reviewResolutions[" + _index45 + "]",
                 expected: "IEvidenceGraphReviewResolution",
                 value: elem
-            }, _errorFactory)) && _ao21(elem, _path + ".reviewResolutions[" + _index45 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao22(elem, _path + ".reviewResolutions[" + _index45 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".reviewResolutions[" + _index45 + "]",
                 expected: "IEvidenceGraphReviewResolution",
@@ -542,38 +580,12 @@ class EvidenceGraph {
                 expected: "(boolean | undefined)",
                 value: input.requireReview
             }, _errorFactory));
-            const _ao18 = (input, _path, _exceptionable = true) => ("string" === typeof input.declarationId || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao19 = (input, _path, _exceptionable = true) => ("string" === typeof input.declarationId || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".declarationId",
                 expected: "string",
                 value: input.declarationId
-            }, _errorFactory)) && _ap14(input, _path, true && _exceptionable);
-            const _ao19 = (input, _path, _exceptionable = true) => ("ambiguous" === input.status || "hidden" === input.status || "incomplete" === input.status || "malformed" === input.status || "missing-file" === input.status || "missing-member" === input.status || "out-of-population" === input.status || "resolved" === input.status || "unsupported-host" === input.status || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".status",
-                expected: _ae1,
-                value: input.status
-            }, _errorFactory)) && ((Array.isArray(input.addresses) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".addresses",
-                expected: "Array<IEvidenceAddress>",
-                value: input.addresses
-            }, _errorFactory)) && input.addresses.every((elem, _index46) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".addresses[" + _index46 + "]",
-                expected: "IEvidenceAddress",
-                value: elem
-            }, _errorFactory)) && _ao20(elem, _path + ".addresses[" + _index46 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".addresses[" + _index46 + "]",
-                expected: "IEvidenceAddress",
-                value: elem
-            }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".addresses",
-                expected: "Array<IEvidenceAddress>",
-                value: input.addresses
-            }, _errorFactory)) && _ap4(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap5(input, _path, true && _exceptionable);
+            }, _errorFactory)) && _ap16(input, _path, true && _exceptionable);
             const _ao2 = (input, _path, _exceptionable = true) => (1 === input.schemaVersion || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".schemaVersion",
@@ -609,7 +621,7 @@ class EvidenceGraph {
                 path: _path + ".annotationRanges[" + _index29 + "]",
                 expected: "IEvidenceSourceLocation",
                 value: elem
-            }, _errorFactory)) && _ao5(elem, _path + ".annotationRanges[" + _index29 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao6(elem, _path + ".annotationRanges[" + _index29 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".annotationRanges[" + _index29 + "]",
                 expected: "IEvidenceSourceLocation",
@@ -629,7 +641,7 @@ class EvidenceGraph {
                 path: _path + ".addresses[" + _index31 + "]",
                 expected: "IEvidencePublicAddress",
                 value: elem
-            }, _errorFactory)) && _ao11(elem, _path + ".addresses[" + _index31 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao12(elem, _path + ".addresses[" + _index31 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".addresses[" + _index31 + "]",
                 expected: "IEvidencePublicAddress",
@@ -649,7 +661,7 @@ class EvidenceGraph {
                 path: _path + ".hosts[" + _index32 + "]",
                 expected: "IEvidenceHost",
                 value: elem
-            }, _errorFactory)) && _ao12(elem, _path + ".hosts[" + _index32 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao13(elem, _path + ".hosts[" + _index32 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".hosts[" + _index32 + "]",
                 expected: "IEvidenceHost",
@@ -669,7 +681,7 @@ class EvidenceGraph {
                 path: _path + ".declarations[" + _index33 + "]",
                 expected: "IEvidenceDeclaration",
                 value: elem
-            }, _errorFactory)) && _ao13(elem, _path + ".declarations[" + _index33 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao14(elem, _path + ".declarations[" + _index33 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".declarations[" + _index33 + "]",
                 expected: "IEvidenceDeclaration",
@@ -689,7 +701,7 @@ class EvidenceGraph {
                 path: _path + ".reviews[" + _index34 + "]",
                 expected: "IEvidenceReview",
                 value: elem
-            }, _errorFactory)) && _ao14(elem, _path + ".reviews[" + _index34 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao15(elem, _path + ".reviews[" + _index34 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".reviews[" + _index34 + "]",
                 expected: "IEvidenceReview",
@@ -709,7 +721,7 @@ class EvidenceGraph {
                 path: _path + ".dependencies[" + _index36 + "]",
                 expected: "IEvidenceSourceDependency",
                 value: elem
-            }, _errorFactory)) && _ao16(elem, _path + ".dependencies[" + _index36 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao17(elem, _path + ".dependencies[" + _index36 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".dependencies[" + _index36 + "]",
                 expected: "IEvidenceSourceDependency",
@@ -725,18 +737,49 @@ class EvidenceGraph {
                 expected: "boolean",
                 value: input.complete
             }, _errorFactory));
-            const _ao20 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable);
-            const _ao21 = (input, _path, _exceptionable = true) => ("string" === typeof input.reviewId || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao20 = (input, _path, _exceptionable = true) => ("ambiguous" === input.status || "hidden" === input.status || "incomplete" === input.status || "malformed" === input.status || "missing-file" === input.status || "missing-member" === input.status || "out-of-population" === input.status || "resolved" === input.status || "unsupported-host" === input.status || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".status",
+                expected: _ae1,
+                value: input.status
+            }, _errorFactory)) && ((Array.isArray(input.addresses) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".addresses",
+                expected: "Array<IEvidenceAddress>",
+                value: input.addresses
+            }, _errorFactory)) && input.addresses.every((elem, _index46) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".addresses[" + _index46 + "]",
+                expected: "IEvidenceAddress",
+                value: elem
+            }, _errorFactory)) && _ao21(elem, _path + ".addresses[" + _index46 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".addresses[" + _index46 + "]",
+                expected: "IEvidenceAddress",
+                value: elem
+            }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".addresses",
+                expected: "Array<IEvidenceAddress>",
+                value: input.addresses
+            }, _errorFactory)) && _ap4(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap5(input, _path, true && _exceptionable);
+            const _ao21 = (input, _path, _exceptionable = true) => _ap9(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable);
+            const _ao22 = (input, _path, _exceptionable = true) => ("string" === typeof input.reviewId || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".reviewId",
                 expected: "string",
                 value: input.reviewId
-            }, _errorFactory)) && _ap14(input, _path, true && _exceptionable);
-            const _ao3 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && ("string" === typeof input.physicalPath || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ap16(input, _path, true && _exceptionable);
+            const _ao3 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && (undefined === input.fingerprintRoot || ("object" === typeof input.fingerprintRoot && null !== input.fingerprintRoot || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
-                path: _path + ".physicalPath",
-                expected: "string",
-                value: input.physicalPath
+                path: _path + ".fingerprintRoot",
+                expected: "(IEvidenceSourceFingerprintRoot | undefined)",
+                value: input.fingerprintRoot
+            }, _errorFactory)) && _ao4(input.fingerprintRoot, _path + ".fingerprintRoot", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                method: "typia.assert",
+                path: _path + ".fingerprintRoot",
+                expected: "(IEvidenceSourceFingerprintRoot | undefined)",
+                value: input.fingerprintRoot
             }, _errorFactory)) && ("string" === typeof input.content || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".content",
@@ -757,7 +800,7 @@ class EvidenceGraph {
                 path: _path + ".addresses[" + _index37 + "]",
                 expected: "IEvidenceSourceAddress",
                 value: elem
-            }, _errorFactory)) && _ao4(elem, _path + ".addresses[" + _index37 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao5(elem, _path + ".addresses[" + _index37 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".addresses[" + _index37 + "]",
                 expected: "IEvidenceSourceAddress",
@@ -768,7 +811,8 @@ class EvidenceGraph {
                 expected: "Array<IEvidenceSourceAddress>",
                 value: input.addresses
             }, _errorFactory));
-            const _ao4 = (input, _path, _exceptionable = true) => ("string" === typeof input.absolute || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao4 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable);
+            const _ao5 = (input, _path, _exceptionable = true) => ("string" === typeof input.absolute || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".absolute",
                 expected: "string",
@@ -789,23 +833,23 @@ class EvidenceGraph {
                 expected: "(boolean | undefined)",
                 value: input.selected
             }, _errorFactory));
-            const _ao5 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && (undefined === input.range || ("object" === typeof input.range && null !== input.range || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao6 = (input, _path, _exceptionable = true) => _ap9(input, _path, true && _exceptionable) && (undefined === input.range || ("object" === typeof input.range && null !== input.range || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".range",
                 expected: "(IEvidenceSourceRange | undefined)",
                 value: input.range
-            }, _errorFactory)) && _ao6(input.range, _path + ".range", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao7(input.range, _path + ".range", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".range",
                 expected: "(IEvidenceSourceRange | undefined)",
                 value: input.range
             }, _errorFactory));
-            const _ao6 = (input, _path, _exceptionable = true) => (("object" === typeof input.start && null !== input.start || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao7 = (input, _path, _exceptionable = true) => (("object" === typeof input.start && null !== input.start || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".start",
                 expected: "IEvidenceSourcePosition",
                 value: input.start
-            }, _errorFactory)) && _ao7(input.start, _path + ".start", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao8(input.start, _path + ".start", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".start",
                 expected: "IEvidenceSourcePosition",
@@ -815,13 +859,13 @@ class EvidenceGraph {
                 path: _path + ".end",
                 expected: "IEvidenceSourcePosition",
                 value: input.end
-            }, _errorFactory)) && _ao7(input.end, _path + ".end", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao8(input.end, _path + ".end", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".end",
                 expected: "IEvidenceSourcePosition",
                 value: input.end
             }, _errorFactory));
-            const _ao7 = (input, _path, _exceptionable = true) => ("number" === typeof input.offset || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao8 = (input, _path, _exceptionable = true) => ("number" === typeof input.offset || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".offset",
                 expected: "number",
@@ -837,7 +881,7 @@ class EvidenceGraph {
                 expected: "number",
                 value: input.column
             }, _errorFactory));
-            const _ao8 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && (undefined === input.parentId || "string" === typeof input.parentId || _assertGuard_1._assertGuard(_exceptionable, {
+            const _ao9 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && (undefined === input.parentId || "string" === typeof input.parentId || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".parentId",
                 expected: "(string | undefined)",
@@ -887,7 +931,7 @@ class EvidenceGraph {
                 path: _path + ".sites[" + _index39 + "]",
                 expected: "IEvidenceUnitSite",
                 value: elem
-            }, _errorFactory)) && _ao9(elem, _path + ".sites[" + _index39 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            }, _errorFactory)) && _ao10(elem, _path + ".sites[" + _index39 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                 method: "typia.assert",
                 path: _path + ".sites[" + _index39 + "]",
                 expected: "IEvidenceUnitSite",
@@ -897,50 +941,30 @@ class EvidenceGraph {
                 path: _path + ".sites",
                 expected: "Array<IEvidenceUnitSite>",
                 value: input.sites
-            }, _errorFactory)) && _ap8(input, _path, true && _exceptionable);
-            const _ao9 = (input, _path, _exceptionable = true) => _ap6(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ((Array.isArray(input.content) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".content",
-                expected: "Array<IEvidenceSourceRange>",
-                value: input.content
-            }, _errorFactory)) && input.content.every((elem, _index41) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".content[" + _index41 + "]",
-                expected: "IEvidenceSourceRange",
-                value: elem
-            }, _errorFactory)) && _ao6(elem, _path + ".content[" + _index41 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".content[" + _index41 + "]",
-                expected: "IEvidenceSourceRange",
-                value: elem
-            }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                method: "typia.assert",
-                path: _path + ".content",
-                expected: "Array<IEvidenceSourceRange>",
-                value: input.content
-            }, _errorFactory));
+            }, _errorFactory)) && _ap10(input, _path, true && _exceptionable);
             const _io0 = input => Array.isArray(input.claims) && input.claims.every(elem => "object" === typeof elem && null !== elem && _io1(elem));
-            const _io1 = input => _ip0(input) && (undefined === input.name || "string" === typeof input.name) && _ip1(input) && _ip2(input) && _ip3(input) && (undefined === input.exclusionHostIds || Array.isArray(input.exclusionHostIds) && input.exclusionHostIds.every(elem => "string" === typeof elem)) && (Array.isArray(input.references) && input.references.every(elem => "object" === typeof elem && null !== elem && _io17(elem)));
-            const _io10 = input => ("hidden" === input.tag || "ignore" === input.tag || "internal" === input.tag) && _ip10(input);
-            const _io11 = input => _ip7(input) && _ip11(input) && "string" === typeof input.unitId;
-            const _io12 = input => _ip6(input) && _ip7(input) && _ip9(input) && (undefined === input.origins || Array.isArray(input.origins) && input.origins.every(elem => "string" === typeof elem)) && (undefined === input.siteId || "string" === typeof input.siteId) && _ip3(input) && ("attached" === input.attachment || "unattached" === input.attachment || "unsupported" === input.attachment) && (undefined === input.problem || "string" === typeof input.problem);
-            const _io13 = input => _ip12(input) && _ip13(input) && _ip10(input) && _ip6(input) && ("evidence" === input.kind || "evidenceExclude" === input.kind) && "string" === typeof input.reason;
-            const _io14 = input => _ip12(input) && _ip13(input) && _ip10(input) && _ip6(input) && ("evidence" === input.reviews || "evidenceExclude" === input.reviews) && (undefined === input.fingerprint || "string" === typeof input.fingerprint) && "string" === typeof input.description;
-            const _io15 = input => "string" === typeof input.code && ("error" === input.severity || "warning" === input.severity) && "string" === typeof input.message && "string" === typeof input.repair && (undefined === input.location || "object" === typeof input.location && null !== input.location && _io5(input.location)) && (undefined === input.claim || "number" === typeof input.claim) && (undefined === input.reference || "number" === typeof input.reference) && (undefined === input.hostId || "string" === typeof input.hostId) && (undefined === input.target || "string" === typeof input.target);
-            const _io16 = input => "string" === typeof input.path && "boolean" === typeof input.recursive;
-            const _io17 = input => _ip0(input) && _ip1(input) && _ip2(input) && _ip3(input) && (Array.isArray(input.resolutions) && input.resolutions.every(elem => "object" === typeof elem && null !== elem && _io18(elem))) && (undefined === input.reviewResolutions || Array.isArray(input.reviewResolutions) && input.reviewResolutions.every(elem => "object" === typeof elem && null !== elem && _io21(elem))) && (undefined === input.noEvidenceExclude || "boolean" === typeof input.noEvidenceExclude) && (undefined === input.uniqueEvidence || "boolean" === typeof input.uniqueEvidence) && (undefined === input.singleEvidencePerSymbol || "boolean" === typeof input.singleEvidencePerSymbol) && (undefined === input.checklist || "boolean" === typeof input.checklist) && (undefined === input.requireReview || "boolean" === typeof input.requireReview);
-            const _io18 = input => "string" === typeof input.declarationId && _ip14(input);
-            const _io19 = input => ("ambiguous" === input.status || "hidden" === input.status || "incomplete" === input.status || "malformed" === input.status || "missing-file" === input.status || "missing-member" === input.status || "out-of-population" === input.status || "resolved" === input.status || "unsupported-host" === input.status) && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io20(elem))) && _ip4(input) && _ip8(input) && _ip5(input);
-            const _io2 = input => 1 === input.schemaVersion && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io3(elem))) && (Array.isArray(input.annotationRanges) && input.annotationRanges.every(elem => "object" === typeof elem && null !== elem && _io5(elem))) && _ip4(input) && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io11(elem))) && (Array.isArray(input.hosts) && input.hosts.every(elem => "object" === typeof elem && null !== elem && _io12(elem))) && (Array.isArray(input.declarations) && input.declarations.every(elem => "object" === typeof elem && null !== elem && _io13(elem))) && (Array.isArray(input.reviews) && input.reviews.every(elem => "object" === typeof elem && null !== elem && _io14(elem))) && _ip5(input) && (Array.isArray(input.dependencies) && input.dependencies.every(elem => "object" === typeof elem && null !== elem && _io16(elem))) && "boolean" === typeof input.complete;
-            const _io20 = input => _ip7(input) && _ip11(input);
-            const _io21 = input => "string" === typeof input.reviewId && _ip14(input);
-            const _io3 = input => _ip6(input) && "string" === typeof input.physicalPath && "string" === typeof input.content && "string" === typeof input.digest && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io4(elem)));
-            const _io4 = input => "string" === typeof input.absolute && "string" === typeof input.relative && "string" === typeof input.display && (undefined === input.selected || "boolean" === typeof input.selected);
-            const _io5 = input => _ip7(input) && (undefined === input.range || "object" === typeof input.range && null !== input.range && _io6(input.range));
-            const _io6 = input => "object" === typeof input.start && null !== input.start && _io7(input.start) && ("object" === typeof input.end && null !== input.end && _io7(input.end));
-            const _io7 = input => "number" === typeof input.offset && "number" === typeof input.line && "number" === typeof input.column;
-            const _io8 = input => _ip6(input) && (undefined === input.parentId || "string" === typeof input.parentId) && true === _iv0.has(input.type) && true === _iv1.has(input.symbol) && (Array.isArray(input.identity) && input.identity.every(elem => "string" === typeof elem)) && "string" === typeof input.name && (undefined === input.contentDigest || "string" === typeof input.contentDigest) && (Array.isArray(input.sites) && input.sites.every(elem => "object" === typeof elem && null !== elem && _io9(elem))) && _ip8(input);
-            const _io9 = input => _ip6(input) && _ip7(input) && _ip9(input) && (Array.isArray(input.content) && input.content.every(elem => "object" === typeof elem && null !== elem && _io6(elem)));
+            const _io1 = input => _ip0(input) && (undefined === input.name || "string" === typeof input.name) && _ip1(input) && _ip2(input) && _ip3(input) && (undefined === input.exclusionHostIds || Array.isArray(input.exclusionHostIds) && input.exclusionHostIds.every(elem => "string" === typeof elem)) && (Array.isArray(input.references) && input.references.every(elem => "object" === typeof elem && null !== elem && _io18(elem)));
+            const _io10 = input => _ip6(input) && _ip9(input) && _ip11(input) && (Array.isArray(input.content) && input.content.every(elem => "object" === typeof elem && null !== elem && _io7(elem)));
+            const _io11 = input => ("hidden" === input.tag || "ignore" === input.tag || "internal" === input.tag) && _ip12(input);
+            const _io12 = input => _ip9(input) && _ip13(input) && "string" === typeof input.unitId;
+            const _io13 = input => _ip6(input) && _ip9(input) && _ip11(input) && (undefined === input.origins || Array.isArray(input.origins) && input.origins.every(elem => "string" === typeof elem)) && (undefined === input.siteId || "string" === typeof input.siteId) && _ip3(input) && ("attached" === input.attachment || "unattached" === input.attachment || "unsupported" === input.attachment) && (undefined === input.problem || "string" === typeof input.problem);
+            const _io14 = input => _ip14(input) && _ip15(input) && _ip12(input) && _ip6(input) && ("evidence" === input.kind || "evidenceExclude" === input.kind) && "string" === typeof input.reason;
+            const _io15 = input => _ip14(input) && _ip15(input) && _ip12(input) && _ip6(input) && ("evidence" === input.reviews || "evidenceExclude" === input.reviews) && (undefined === input.fingerprint || "string" === typeof input.fingerprint) && "string" === typeof input.description;
+            const _io16 = input => "string" === typeof input.code && ("error" === input.severity || "warning" === input.severity) && "string" === typeof input.message && "string" === typeof input.repair && (undefined === input.location || "object" === typeof input.location && null !== input.location && _io6(input.location)) && (undefined === input.claim || "number" === typeof input.claim) && (undefined === input.reference || "number" === typeof input.reference) && (undefined === input.hostId || "string" === typeof input.hostId) && (undefined === input.target || "string" === typeof input.target);
+            const _io17 = input => "string" === typeof input.path && "boolean" === typeof input.recursive;
+            const _io18 = input => _ip0(input) && _ip1(input) && _ip2(input) && _ip3(input) && (Array.isArray(input.resolutions) && input.resolutions.every(elem => "object" === typeof elem && null !== elem && _io19(elem))) && (undefined === input.reviewResolutions || Array.isArray(input.reviewResolutions) && input.reviewResolutions.every(elem => "object" === typeof elem && null !== elem && _io22(elem))) && (undefined === input.noEvidenceExclude || "boolean" === typeof input.noEvidenceExclude) && (undefined === input.uniqueEvidence || "boolean" === typeof input.uniqueEvidence) && (undefined === input.singleEvidencePerSymbol || "boolean" === typeof input.singleEvidencePerSymbol) && (undefined === input.checklist || "boolean" === typeof input.checklist) && (undefined === input.requireReview || "boolean" === typeof input.requireReview);
+            const _io19 = input => "string" === typeof input.declarationId && _ip16(input);
+            const _io2 = input => 1 === input.schemaVersion && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io3(elem))) && (Array.isArray(input.annotationRanges) && input.annotationRanges.every(elem => "object" === typeof elem && null !== elem && _io6(elem))) && _ip4(input) && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io12(elem))) && (Array.isArray(input.hosts) && input.hosts.every(elem => "object" === typeof elem && null !== elem && _io13(elem))) && (Array.isArray(input.declarations) && input.declarations.every(elem => "object" === typeof elem && null !== elem && _io14(elem))) && (Array.isArray(input.reviews) && input.reviews.every(elem => "object" === typeof elem && null !== elem && _io15(elem))) && _ip5(input) && (Array.isArray(input.dependencies) && input.dependencies.every(elem => "object" === typeof elem && null !== elem && _io17(elem))) && "boolean" === typeof input.complete;
+            const _io20 = input => ("ambiguous" === input.status || "hidden" === input.status || "incomplete" === input.status || "malformed" === input.status || "missing-file" === input.status || "missing-member" === input.status || "out-of-population" === input.status || "resolved" === input.status || "unsupported-host" === input.status) && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io21(elem))) && _ip4(input) && _ip10(input) && _ip5(input);
+            const _io21 = input => _ip9(input) && _ip13(input);
+            const _io22 = input => "string" === typeof input.reviewId && _ip16(input);
+            const _io3 = input => _ip6(input) && _ip7(input) && _ip8(input) && (undefined === input.fingerprintRoot || "object" === typeof input.fingerprintRoot && null !== input.fingerprintRoot && _io4(input.fingerprintRoot)) && "string" === typeof input.content && "string" === typeof input.digest && (Array.isArray(input.addresses) && input.addresses.every(elem => "object" === typeof elem && null !== elem && _io5(elem)));
+            const _io4 = input => _ip7(input) && _ip8(input);
+            const _io5 = input => "string" === typeof input.absolute && "string" === typeof input.relative && "string" === typeof input.display && (undefined === input.selected || "boolean" === typeof input.selected);
+            const _io6 = input => _ip9(input) && (undefined === input.range || "object" === typeof input.range && null !== input.range && _io7(input.range));
+            const _io7 = input => "object" === typeof input.start && null !== input.start && _io8(input.start) && ("object" === typeof input.end && null !== input.end && _io8(input.end));
+            const _io8 = input => "number" === typeof input.offset && "number" === typeof input.line && "number" === typeof input.column;
+            const _io9 = input => _ip6(input) && (undefined === input.parentId || "string" === typeof input.parentId) && true === _iv0.has(input.type) && true === _iv1.has(input.symbol) && (Array.isArray(input.identity) && input.identity.every(elem => "string" === typeof elem)) && "string" === typeof input.name && (undefined === input.contentDigest || "string" === typeof input.contentDigest) && (Array.isArray(input.sites) && input.sites.every(elem => "object" === typeof elem && null !== elem && _io10(elem))) && _ip10(input);
             const __is = input => "object" === typeof input && null !== input && _io0(input);
             let _errorFactory;
             return (input, errorFactory) => {
@@ -965,18 +989,18 @@ class EvidenceGraph {
     /**
      * Evaluates every independent obligation in the captured input.
      *
-     * A fresh evaluator prevents coverage sets and deferred diagnostics from leaking
-     * across calls. The returned clone also prevents consumers from mutating records
-     * retained by the facade.
+     * A fresh evaluator prevents coverage sets and deferred diagnostics from
+     * leaking across calls. The returned clone also prevents consumers from
+     * mutating records retained by the facade.
      */
     evaluate() {
-        return structuredClone(new GraphEvaluator(this.input).evaluate());
+        return structuredClone(new EvidenceGraphEvaluator(this.input).evaluate());
     }
     /**
      * Captures and evaluates input without retaining a graph facade.
      *
-     * This convenience entry point has the same validation and result ownership as
-     * construction followed by the instance `evaluate` method.
+     * This convenience entry point has the same validation and result ownership
+     * as construction followed by the instance `evaluate` method.
      */
     static evaluate(input) {
         return new EvidenceGraph(input).evaluate();
@@ -986,27 +1010,30 @@ exports.EvidenceGraph = EvidenceGraph;
 /**
  * Owns coverage accumulation and deferred findings for one graph evaluation.
  *
- * Claim and reference contexts keep local populations and resolutions, while this
- * controller records whether acknowledgements participate anywhere in the graph.
- * That shared participation state is needed to avoid declaring an unhosted
- * checklist citation invalid before another applicable reference can explain it.
+ * Claim and reference contexts keep local populations and resolutions, while
+ * this controller records whether acknowledgements participate within each
+ * claim. That claim-local participation state avoids declaring an unhosted
+ * checklist citation invalid before another applicable reference can explain
+ * it, without allowing an independent claim to suppress the finding.
  *
  * The public facade creates a new controller for every evaluation. Its sets and
- * maps therefore describe one traversal only and must not become facade caches.
+ * maps therefore describe one traversal only and must not become facade
+ * caches.
  */
-class GraphEvaluator {
+class EvidenceGraphEvaluator {
     /**
      * Acknowledgements handled by a complete applicable obligation.
      *
-     * Final checklist reporting consults this set across references, preventing a
-     * citation accepted elsewhere from receiving a premature unhosted finding.
+     * Final checklist reporting consults this set across one claim's references.
+     * Keys include the claim occurrence because repeated populations remain
+     * independent obligations even when they reuse declaration IDs.
      */
     answeredDeclarations = new Set();
     /**
      * Findings accumulated during this single traversal.
      *
-     * Finalization deduplicates equivalent findings after all claims are evaluated.
-     * The array is never reused by a later facade invocation.
+     * Finalization deduplicates equivalent findings after all claims are
+     * evaluated. The array is never reused by a later facade invocation.
      */
     diagnostics = [];
     /**
@@ -1020,14 +1047,16 @@ class GraphEvaluator {
      * Checklist statements awaiting graph-wide participation finalization.
      *
      * Each record retains its diagnostic boundary and severity. Later references
-     * can establish that the statement was handled or that its status is uncertain.
+     * can establish that the statement was handled or that its status is
+     * uncertain.
      */
     unhostedChecklists = new Map();
     /**
      * Captured facade input used to create this traversal's claim contexts.
      *
      * The controller relies on the facade's shape validation and copy ownership;
-     * it adds evaluation state without replacing or reloading source populations.
+     * it adds evaluation state without replacing or reloading source
+     * populations.
      */
     input;
     /**
@@ -1040,7 +1069,8 @@ class GraphEvaluator {
         this.input = input;
     }
     /**
-     * Evaluates claims, then finalizes findings that depend on reference participation.
+     * Evaluates claims, then finalizes findings that depend on reference
+     * participation.
      *
      * Inactive obligations do not affect completeness. Every active claim and
      * reference must be complete, and the final diagnostic list must be empty,
@@ -1051,7 +1081,7 @@ class GraphEvaluator {
         // A citation can participate in another reference. Decide deferred checklist
         // findings only after every claim has recorded accepted or uncertain usage.
         this.reportUnhostedChecklists();
-        const diagnostics = InventoryMerge_1.InventoryMerge.unique(this.diagnostics, (diagnostic) => (() => {
+        const diagnostics = EvidenceInventoryMerge_1.EvidenceInventoryMerge.unique(this.diagnostics, (diagnostic) => (() => {
             const _so0 = input => `{${_jsonStringifyTail_1._jsonStringifyTail(`"code":${_jsonStringifyString_1._jsonStringifyString(input.code)},"severity":${"\"" + input.severity + "\""},"message":${_jsonStringifyString_1._jsonStringifyString(input.message)},"repair":${_jsonStringifyString_1._jsonStringifyString(input.repair)},${undefined === input.location ? "" : `"location":${undefined !== input.location ? _so1(input.location) : undefined},`}${undefined === input.claim ? "" : `"claim":${undefined !== input.claim ? String(_jsonStringifyNumber_1._jsonStringifyNumber(input.claim)) : undefined},`}${undefined === input.reference ? "" : `"reference":${undefined !== input.reference ? String(_jsonStringifyNumber_1._jsonStringifyNumber(input.reference)) : undefined},`}${undefined === input.hostId ? "" : `"hostId":${undefined !== input.hostId ? _jsonStringifyString_1._jsonStringifyString(input.hostId) : undefined},`}${undefined === input.target ? "" : `"target":${undefined !== input.target ? _jsonStringifyString_1._jsonStringifyString(input.target) : undefined}`}`)}}`;
             const _so1 = input => `{${_jsonStringifyTail_1._jsonStringifyTail(`"file":${_jsonStringifyString_1._jsonStringifyString(input.file)},${undefined === input.range ? "" : `"range":${undefined !== input.range ? _so2(input.range) : undefined}`}`)}}`;
             const _so2 = input => `{"start":${_so3(input.start)},"end":${_so3(input.end)}}`;
@@ -1076,7 +1106,8 @@ class GraphEvaluator {
      * Disabled claims produce inactive reference records without touching their
      * inventories. A complete claim with no selected units is likewise inactive;
      * otherwise an incomplete claim remains active and marks every child
-     * obligation incomplete so missing extraction cannot reduce required coverage.
+     * obligation incomplete so missing extraction cannot reduce required
+     * coverage.
      */
     evaluateClaim(claim, claimIndex) {
         if (claim.severity === "off")
@@ -1098,7 +1129,7 @@ class GraphEvaluator {
         this.diagnostics.push(...snapshot.diagnostics.map((diagnostic) => this.context(diagnostic, claim.severity, claimIndex)));
         if (!snapshot.complete)
             for (const declaration of snapshot.declarations)
-                this.uncertainDeclarations.add(declaration.id);
+                this.uncertainDeclarations.add(this.declarationKey(claimIndex, declaration.id));
         if (snapshot.complete && population.units.length === 0)
             return {
                 claim: this.claimIndex(claimIndex),
@@ -1117,7 +1148,8 @@ class GraphEvaluator {
         };
     }
     /**
-     * Prepares one reference obligation and stops before coverage when its inputs are uncertain.
+     * Prepares one reference obligation and stops before coverage when its inputs
+     * are uncertain.
      *
      * Reference selection, acknowledgement resolution, and review resolution are
      * validated at this boundary because each reference owns them independently.
@@ -1136,7 +1168,7 @@ class GraphEvaluator {
         this.diagnostics.push(...snapshot.diagnostics.map((diagnostic) => this.context(diagnostic, reference.severity, claimIndex, referenceIndex)));
         if (!snapshot.complete)
             for (const declaration of claimInventory.declarations)
-                this.uncertainDeclarations.add(declaration.id);
+                this.uncertainDeclarations.add(this.declarationKey(claimIndex, declaration.id));
         const unitIds = population.units.map((unit) => unit.id);
         if (!snapshot.complete)
             return this.obligation(claimIndex, referenceIndex, true, false, unitIds, [], []);
@@ -1157,10 +1189,10 @@ class GraphEvaluator {
         if (incomplete) {
             for (const entry of resolutions)
                 if (entry.resolution.status === "incomplete")
-                    this.uncertainDeclarations.add(entry.declarationId);
+                    this.uncertainDeclarations.add(this.declarationKey(claimIndex, entry.declarationId));
             if (reviewResolutions.some((entry) => entry.resolution.status === "incomplete"))
                 for (const declaration of claimInventory.declarations)
-                    this.uncertainDeclarations.add(declaration.id);
+                    this.uncertainDeclarations.add(this.declarationKey(claimIndex, declaration.id));
             return this.obligation(claimIndex, referenceIndex, true, false, unitIds, [], []);
         }
         return this.cover({
@@ -1177,9 +1209,9 @@ class GraphEvaluator {
      * Evaluates acknowledgements against one independent reference context.
      *
      * Coverage, exclusion conflicts, reviews, and cardinality all use this same
-     * claim/reference boundary. The method retains one edge per accepted statement
-     * so reports can explain both the selected units it covers and the host that
-     * accepted responsibility for them.
+     * claim/reference boundary. The method retains one edge per accepted
+     * statement so reports can explain both the selected units it covers and the
+     * host that accepted responsibility for them.
      */
     cover(context) {
         const { claim: { claim, inventory: claimInventory, population: claimPopulation, index: claimIndex, }, reference, index: referenceIndex, inventory: referenceInventory, population: referencePopulation, resolutions, } = context;
@@ -1250,7 +1282,7 @@ class GraphEvaluator {
             if (checklist &&
                 declaration.kind === "evidence" &&
                 !selectedUnitIds.has(target.id)) {
-                this.answeredDeclarations.add(declaration.id);
+                this.answeredDeclarations.add(this.declarationKey(claimIndex, declaration.id));
                 this.diagnostics.push(this.problem("graph-checklist-aggregate", reference.severity, `Positive checklist target '${declaration.target}' names an unselected aggregate containing ${unitIds.length} selected item(s).`, "Cite each selected checklist item this host answers, or exclude the aggregate when none of it applies.", claimIndex, referenceIndex, declaration));
                 for (const hostUnitId of hostUnitIds) {
                     let explained = explainedByHost.get(hostUnitId);
@@ -1275,7 +1307,7 @@ class GraphEvaluator {
                 unitIds,
                 fingerprint: fingerprints.inspect(target.id).fingerprint,
             });
-            this.answeredDeclarations.add(declaration.id);
+            this.answeredDeclarations.add(this.declarationKey(claimIndex, declaration.id));
             if (!checklist)
                 for (const id of unitIds)
                     covered.add(id);
@@ -1377,12 +1409,14 @@ class GraphEvaluator {
             }
     }
     /**
-     * Reports duplicate and contradictory acknowledgement scopes before adding an edge.
+     * Reports duplicate and contradictory acknowledgement scopes before adding an
+     * edge.
      *
-     * Normal coverage permits one aggregate target to cover several selected units,
-     * while checklist coverage also requires the same host to overlap. Comparing
-     * the appropriate scopes prevents an exclusion or repeated annotation from
-     * silently changing the meaning of an earlier acknowledgement.
+     * Normal coverage permits one aggregate target to cover several selected
+     * units, while checklist coverage also requires the same host to overlap.
+     * Comparing the appropriate scopes prevents an exclusion or repeated
+     * annotation from silently changing the meaning of an earlier
+     * acknowledgement.
      */
     conflicts(declaration, targetUnitId, hostUnitIds, unitIds, edges, declarations, severity, claimIndex, referenceIndex, checklist) {
         if (declaration.kind === "evidence") {
@@ -1414,8 +1448,8 @@ class GraphEvaluator {
      *
      * Reviews validate fingerprints but never discharge missing coverage. This
      * phase first validates review statements against resolved acknowledgements,
-     * then enforces required-review freshness only for accepted coverage edges.
-     * A malformed review therefore remains diagnostic evidence without becoming a
+     * then enforces required-review freshness only for accepted coverage edges. A
+     * malformed review therefore remains diagnostic evidence without becoming a
      * substitute for the positive or exclusion statement it names.
      */
     evaluateReviews(context, edges) {
@@ -1511,7 +1545,8 @@ class GraphEvaluator {
         }
     }
     /**
-     * Tests whether a review belongs to an acknowledgement's semantic host population.
+     * Tests whether a review belongs to an acknowledgement's semantic host
+     * population.
      *
      * Unattached reviews can match only their exact documentation host. Attached
      * reviews instead match any shared semantic owner, which preserves alias and
@@ -1543,7 +1578,8 @@ class GraphEvaluator {
         return unit === undefined ? id : this.display(inventory, unit);
     }
     /**
-     * Validates and orders acknowledgement resolutions within one reference obligation.
+     * Validates and orders acknowledgement resolutions within one reference
+     * obligation.
      *
      * Repeated identical entries collapse to one statement. Conflicting entries
      * are removed and diagnosed because selecting either outcome would let source
@@ -1621,7 +1657,8 @@ class GraphEvaluator {
         return Array.from(records.values()).sort((x, y) => this.compareStatements(declarations.get(x.declarationId), declarations.get(y.declarationId), x.declarationId, y.declarationId));
     }
     /**
-     * Validates and orders review resolutions without combining them with acknowledgements.
+     * Validates and orders review resolutions without combining them with
+     * acknowledgements.
      *
      * Reviews have their own target-resolution lifecycle. Conflicts therefore
      * invalidate only the review statement and cannot alter acknowledgement
@@ -1707,7 +1744,7 @@ class GraphEvaluator {
         const yOffset = yLocation?.range === undefined ? -1 : yLocation.range.start.offset;
         const xKey = JSON.stringify([xLocation?.file ?? "", xOffset, xId]);
         const yKey = JSON.stringify([yLocation?.file ?? "", yOffset, yId]);
-        return InventoryMerge_1.InventoryMerge.compare(xKey, yKey);
+        return EvidenceInventoryMerge_1.EvidenceInventoryMerge.compare(xKey, yKey);
     }
     /**
      * Tests structural ancestry through explicit parent identities.
@@ -1733,8 +1770,8 @@ class GraphEvaluator {
     /**
      * Tests whether two semantic-identity collections share a member.
      *
-     * Callers use this for host and target scope relations where duplicated aliases
-     * must not change the boolean result.
+     * Callers use this for host and target scope relations where duplicated
+     * aliases must not change the boolean result.
      */
     overlaps(x, y) {
         const right = new Set(y);
@@ -1745,7 +1782,8 @@ class GraphEvaluator {
      *
      * An address from a selected source is preferred so the repair text reflects
      * the configured population. If no public address exists, the semantic name
-     * remains a useful fallback for invalid or partially extracted inventory data.
+     * remains a useful fallback for invalid or partially extracted inventory
+     * data.
      */
     display(inventory, unit) {
         const selectedFiles = new Set(inventory.sources.flatMap((source) => source.addresses.flatMap((address) => address.selected === false
@@ -1753,7 +1791,7 @@ class GraphEvaluator {
             : [EvidenceFileTarget_1.EvidenceFileTarget.normalize(address.absolute)])));
         const addresses = inventory.addresses
             .filter((address) => address.unitId === unit.id)
-            .sort((x, y) => InventoryMerge_1.InventoryMerge.compare(JSON.stringify([x.file, x.segments]), JSON.stringify([y.file, y.segments])));
+            .sort((x, y) => EvidenceInventoryMerge_1.EvidenceInventoryMerge.compare(JSON.stringify([x.file, x.segments]), JSON.stringify([y.file, y.segments])));
         const address = addresses.find((candidate) => selectedFiles.has(EvidenceFileTarget_1.EvidenceFileTarget.normalize(candidate.file))) ?? addresses[0];
         if (address === undefined)
             return unit.name;
@@ -1762,11 +1800,12 @@ class GraphEvaluator {
             : EvidenceFileTarget_1.EvidenceFileTarget.format(address);
     }
     /**
-     * Applies an obligation's severity and configured coordinates to an existing diagnostic.
+     * Applies an obligation's severity and configured coordinates to an existing
+     * diagnostic.
      *
-     * Inventory diagnostics carry adapter facts but no graph boundary. This wrapper
-     * preserves their repair data while adding the claim/reference identity needed
-     * to distinguish repeated populations in one check result.
+     * Inventory diagnostics carry adapter facts but no graph boundary. This
+     * wrapper preserves their repair data while adding the claim/reference
+     * identity needed to distinguish repeated populations in one check result.
      */
     context(diagnostic, severity, claim, reference) {
         if (severity === "off")
@@ -1782,12 +1821,13 @@ class GraphEvaluator {
         };
     }
     /**
-     * Creates a graph diagnostic with the most specific available repair location.
+     * Creates a graph diagnostic with the most specific available repair
+     * location.
      *
-     * A statement location wins because its annotation should be edited; otherwise
-     * a missing-coverage finding points at the selected unit's first declaration
-     * site. Disabled obligations are forbidden from emitting findings, protecting
-     * the inactive-result contract.
+     * A statement location wins because its annotation should be edited;
+     * otherwise a missing-coverage finding points at the selected unit's first
+     * declaration site. Disabled obligations are forbidden from emitting
+     * findings, protecting the inactive-result contract.
      */
     problem(code, severity, message, repair, claim, reference, statement, unit) {
         if (severity === "off")
@@ -1841,8 +1881,8 @@ class GraphEvaluator {
     /**
      * Maps a reference position to its configured stable index within a claim.
      *
-     * This fallback mirrors claim indexing so diagnostics remain attributable even
-     * while reporting an invalid graph structure.
+     * This fallback mirrors claim indexing so diagnostics remain attributable
+     * even while reporting an invalid graph structure.
      */
     referenceIndex(claim, position) {
         const input = this.input.claims[claim];
@@ -1855,7 +1895,8 @@ class GraphEvaluator {
      *
      * Checklist asks every selected host to answer every Markdown item, whereas
      * cardinality and gathered exclusions impose incompatible global rules. Fail
-     * early rather than producing coverage findings whose denominator is unclear.
+     * early rather than producing coverage findings whose denominator is
+     * unclear.
      */
     validateReferencePolicy(claim, reference, population, claimIndex, referenceIndex) {
         if (reference.checklist !== true)
@@ -1870,17 +1911,19 @@ class GraphEvaluator {
             throw new Error(`${this.label(claimIndex, referenceIndex)} applies checklist to a non-Markdown reference population.`);
     }
     /**
-     * Defers an unhosted checklist finding until every reference can participate.
+     * Defers an unhosted checklist finding until every claim reference
+     * participates.
      *
      * The same declaration may be an eligible answer under another obligation.
      * For duplicate deferred records, the error severity is retained over warning
      * so final reporting cannot weaken the strongest applicable policy.
      */
     recordUnhostedChecklist(declaration, severity, claim, reference) {
-        const previous = this.unhostedChecklists.get(declaration.id);
+        const key = this.declarationKey(claim, declaration.id);
+        const previous = this.unhostedChecklists.get(key);
         if (previous === undefined ||
             (previous.severity === "warning" && severity === "error"))
-            this.unhostedChecklists.set(declaration.id, {
+            this.unhostedChecklists.set(key, {
                 declaration,
                 severity,
                 claim,
@@ -1888,20 +1931,30 @@ class GraphEvaluator {
             });
     }
     /**
-     * Reports deferred checklist annotations that remain conclusively unhosted.
+     * Reports claim-local checklist annotations that remain conclusively
+     * unhosted.
      *
      * Accepted participation suppresses the finding, and uncertain participation
      * suppresses it as well because an incomplete reference cannot prove that the
-     * declaration is ineligible everywhere.
+     * declaration is ineligible throughout its claim.
      */
     reportUnhostedChecklists() {
         for (const record of this.unhostedChecklists.values()) {
-            if (this.answeredDeclarations.has(record.declaration.id) ||
-                this.uncertainDeclarations.has(record.declaration.id))
+            if (this.answeredDeclarations.has(this.declarationKey(record.claim, record.declaration.id)) ||
+                this.uncertainDeclarations.has(this.declarationKey(record.claim, record.declaration.id)))
                 continue;
             this.diagnostics.push(this.problem("graph-unhosted-checklist", record.severity, `@${record.declaration.kind} for '${record.declaration.target}' is not attached to a selected checklist host.`, "Move the acknowledgement onto a selected semantic host that owes this checklist item.", record.claim, record.reference, record.declaration));
         }
     }
+    /**
+     * Names deferred declaration state within one configured claim occurrence.
+     *
+     * Source inventories can be reused verbatim by several claims, so a raw
+     * declaration ID cannot distinguish their independent policy outcomes.
+     */
+    declarationKey(claim, declarationId) {
+        return JSON.stringify([claim, declarationId]);
+    }
     /**
      * Creates a successful inactive obligation without evaluating coverage.
      *
@@ -1915,8 +1968,8 @@ class GraphEvaluator {
      * Creates an active but incomplete obligation after analysis failure.
      *
      * It retains configured IDs for inspection while leaving coverage sets empty,
-     * preventing callers from interpreting a partial traversal as an uncovered
-     * or successfully covered population.
+     * preventing callers from interpreting a partial traversal as an uncovered or
+     * successfully covered population.
      */
     incompleteObligation(claim, reference, input) {
         return this.obligation(claim, reference, input.severity !== "off", false, input.unitIds, [], []);