rea-agents 6.1.0 → 6.3.0

package/dist/application/javascript/JavaScriptRuntimeReconciliationService.js

@@ -1,9 +1,9 @@
 import { resolve } from "node:path";
 import { z } from "zod";
-import { AnalysisInputError, AnalysisProtocolError, } from "../../domain/analysisErrorCore.js";
+import { AnalysisProtocolError } from "../../domain/analysisErrorCore.js";
 import {} from "../../domain/analysisErrorBase.js";
 import { analysisInputErrorFromIssues } from "../../domain/inputIssueProjection.js";
-import { reconcileJavaScriptRuntime } from "../../domain/javascript/javascriptRuntimeReconciliation.js";
+import { parseRuntimeReconciliationInput, reconcileJavaScriptRuntime, } from "../../domain/javascript/javascriptRuntimeReconciliation.js";
 import { reconcileJavaScriptRuntimeInputSchema } from "../../domain/javascript/javascriptRuntimeReconciliationSchemas.js";
 import { err, ok } from "../../domain/result.js";
 import { createJavaScriptRuntimeReconciliationEvidence } from "./JavaScriptRuntimeReconciliationEvidence.js";
@@ -17,19 +17,20 @@ export const reconcileJavaScriptRuntimeEvidence = (rawInput) => {
 };
 /** Reconcile input already parsed by a trusted adapter boundary. */
 export const reconcileJavaScriptRuntimeEvidenceValidated = (parsedInput) => {
+    let parsed;
     try {
-        const input = reconcileJavaScriptRuntimeInputSchema.parse(normalizeRuntimeMappingRoots(parsedInput));
-        const result = reconcileJavaScriptRuntime(input);
-        return ok(createJavaScriptRuntimeReconciliationEvidence(input, result));
+        parsed = parseRuntimeReconciliationInput(normalizeRuntimeMappingRoots(parsedInput));
     }
     catch (cause) {
         if (cause instanceof z.ZodError)
             return err(analysisInputErrorFromIssues(OPERATION, cause.issues, parsedInput));
-        if (cause instanceof TypeError &&
-            SAFE_RECONCILIATION_INPUT_CONSTRAINTS.has(cause.message))
-            return err(new AnalysisInputError(OPERATION, undefined, [
-                { path: [], reason: "invalid_value", message: cause.message },
-            ]));
+        return err(new AnalysisProtocolError("JavaScript runtime reconciliation input parsing failed", { cause }));
+    }
+    try {
+        const result = reconcileJavaScriptRuntime(parsed);
+        return ok(createJavaScriptRuntimeReconciliationEvidence(parsed.input, result));
+    }
+    catch (cause) {
         return err(new AnalysisProtocolError("JavaScript runtime reconciliation produced an invalid result", { cause }));
     }
 };
@@ -50,20 +51,3 @@ const normalizeRuntimeMappingRoots = (input) => ({
 const isPortableAbsolutePath = (path) => path.startsWith("/") ||
     /^[a-z]:[\\/]/iu.test(path) ||
     /^(?:\\\\|\/\/)[^\\/]+[\\/][^\\/]+(?:[\\/]|$)/u.test(path);
-const SAFE_RECONCILIATION_INPUT_CONSTRAINTS = new Set([
-    "Evidence semantic identifier does not match its record",
-    "JavaScript application Evidence subject disagrees with its result",
-    "Runtime reconciliation requires inspect_web_page, inspect_electron_page, observe_javascript_runtime, or capture_electron_scenario Evidence",
-    "Runtime Evidence target or declared role disagrees with its result",
-    "Runtime Evidence contains an invalid builtin location",
-    "Runtime Evidence target disagrees with its captured result",
-    "Browser Evidence target is outside its recorded origin scope",
-    "Runtime Evidence contains source without source-capture selection",
-    "Active Electron Evidence application path disagrees with its configured root",
-    ...[
-        "inspect_web_page",
-        "inspect_electron_page",
-        "observe_javascript_runtime",
-        "capture_electron_scenario",
-    ].map((operation) => `Evidence does not match the supported ${operation} contract`),
-]);

package/dist/application/javascript/JavaScriptSemanticGraphAsyncProjection.js

@@ -1,7 +1,6 @@
 import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { unknownSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
-import { semanticCallSiteAt, } from "./JavaScriptSemanticGraphFlowProjection.js";
 /** Project literal EventEmitter registrations, removals, and dispatches. */
 export const projectSemanticEvents = (context) => {
     const eventNodes = new Map();
@@ -85,7 +84,7 @@ const addEventUnknown = (context, operation, event, relation) => {
             : `Static ${operation.method} emitter identity is partial.`,
         candidate_node_ids: [],
         evidence: unknownSemanticEvidence(context.file, operation.location),
-    }));
+    }, context.state.evidenceContexts));
 };
 /** Project Node timer scheduling and exact local handle cancellation. */
 export const projectSemanticTimers = (context) => {
@@ -116,7 +115,7 @@ export const projectSemanticTimers = (context) => {
 };
 const projectTimerSchedule = (context, operation, timerNodes) => {
     addSemanticGraphRelation(context.state, {
-        source: semanticCallSiteAt(context, operation.location),
+        source: context.callSiteAt(operation.location),
         target: timerNodes.get(operation.timerId),
         relation: "schedules-timer",
         resolution: "resolved",
@@ -134,7 +133,7 @@ const projectTimerSchedule = (context, operation, timerNodes) => {
         });
 };
 const projectTimerCancellation = (context, operation, timerNodes) => {
-    const callSite = semanticCallSiteAt(context, operation.location);
+    const callSite = context.callSiteAt(operation.location);
     const target = operation.linkedTimerId === null
         ? undefined
         : timerNodes.get(operation.linkedTimerId);
@@ -154,5 +153,5 @@ const projectTimerCancellation = (context, operation, timerNodes) => {
         detail: `Static ${operation.method} handle resolution was ${operation.resolution}.`,
         candidate_node_ids: [],
         evidence: unknownSemanticEvidence(context.file, operation.location),
-    }));
+    }, context.state.evidenceContexts));
 };

package/dist/application/javascript/JavaScriptSemanticGraphBuilder.js

@@ -45,7 +45,7 @@ export const buildJavaScriptSemanticGraph = ({ rootArtifactSha256, applicationGr
         if (analyzed.semantic !== null)
             projection.projectFile(analyzed.file, analyzed.semantic.ir);
     }
-    return projection.finish(rootArtifactSha256, applicationGraph, analysis);
+    return projection.finish(rootArtifactSha256, applicationGraph);
 };
 /** Accumulate semantic nodes while each source IR is still file-local. */
 export const createJavaScriptSemanticGraphProjection = () => {
@@ -68,7 +68,7 @@ export const createJavaScriptSemanticGraphProjection = () => {
             truncatedFiles += 1;
         state.fileNodeBudget = null;
     };
-    const finishWith = (factory, rootArtifactSha256, applicationGraph, analysis) => {
+    const finishWith = (factory, rootArtifactSha256, applicationGraph) => {
         bindSemanticGraphApplicationNodes(state, applicationGraph);
         if (state.roots.size === 0)
             addFallbackRoot(rootArtifactSha256, state);
@@ -78,6 +78,7 @@ export const createJavaScriptSemanticGraphProjection = () => {
             root_artifact_sha256: rootArtifactSha256,
             application_graph_id: applicationGraph.graph_id,
             root_node_ids: [...state.roots],
+            evidence_contexts: state.evidenceContexts.contexts,
             nodes: [...state.nodes.values()],
             relations: [...state.relations.values()],
             fingerprints,
@@ -98,7 +99,7 @@ export const createJavaScriptSemanticGraphProjection = () => {
                     : [],
                 families: JAVASCRIPT_SEMANTIC_RELATION_FAMILIES.map((family) => ({
                     family,
-                    status: semanticFamilyStatus(family, analysis),
+                    status: semanticFamilyStatus(family),
                     retained_relations: [...state.relations.values()].filter((relation) => JAVASCRIPT_SEMANTIC_RELATION_FAMILY[relation.relation] ===
                         family).length,
                     omitted_relations: truncatedFiles > 0 ? null : 0,
@@ -125,13 +126,14 @@ export const createJavaScriptSemanticGraphProjection = () => {
         state.relations.clear();
         state.unknowns.clear();
         state.roots.clear();
+        state.evidenceContexts.clear();
         fingerprints.length = 0;
         return graph;
     };
     return {
         projectFile: projectSource,
-        finish: (rootArtifactSha256, applicationGraph, analysis) => finishWith(createJavaScriptSemanticGraph, rootArtifactSha256, applicationGraph, analysis),
-        finishImmutableSteps: (rootArtifactSha256, applicationGraph, analysis) => finishWith(createImmutableJavaScriptSemanticGraphSteps, rootArtifactSha256, applicationGraph, analysis),
+        finish: (rootArtifactSha256, applicationGraph) => finishWith(createJavaScriptSemanticGraph, rootArtifactSha256, applicationGraph),
+        finishImmutableSteps: (rootArtifactSha256, applicationGraph) => finishWith(createImmutableJavaScriptSemanticGraphSteps, rootArtifactSha256, applicationGraph),
     };
 };
 const projectFile = (file, ir, state) => {
@@ -209,7 +211,7 @@ const projectFile = (file, ir, state) => {
     projectSemanticResources(context);
     projectSemanticClosureCaptures(context);
     projectSemanticFrontiers(context);
-    return projectSemanticFunctionFingerprints(file, ir, callableNodes);
+    return projectSemanticFunctionFingerprints(file, ir, callableNodes, state.evidenceContexts);
 };
 const createReturnSiteNodes = (file, ir, callables, state) => {
     const result = new Map();

package/dist/application/javascript/JavaScriptSemanticGraphChildProcessProjection.js

@@ -1,7 +1,6 @@
 import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { unknownSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
-import { semanticCallSiteAt, } from "./JavaScriptSemanticGraphFlowProjection.js";
 /** Project child creation, argv/env/stdio, listeners, and signals. */
 export const projectSemanticChildProcesses = (context) => {
     const processNodes = new Map(context.ir.childProcessSpawns.flatMap((spawn) => {
@@ -34,7 +33,7 @@ const addChildProcessNode = (context, spawn) => retainSemanticGraphNode(context.
     },
 });
 const projectSpawn = (context, spawn, child) => {
-    const callSite = semanticCallSiteAt(context, spawn.location);
+    const callSite = context.callSiteAt(spawn.location);
     addSemanticGraphRelation(context.state, {
         source: callSite,
         target: child,
@@ -162,5 +161,5 @@ const addChildUnknown = (input) => {
         detail,
         candidate_node_ids: candidateNodeIds,
         evidence: unknownSemanticEvidence(context.file, location),
-    }));
+    }, context.state.evidenceContexts));
 };

package/dist/application/javascript/JavaScriptSemanticGraphConstruction.js

@@ -1,5 +1,5 @@
 import { javascriptDisplayText } from "../../domain/javascript/javascriptAstValues.js";
-import { createJavaScriptSemanticGraphNode, createJavaScriptSemanticGraphRelation, javaScriptSemanticNodeId, } from "../../domain/javascript/javascriptSemanticGraph.js";
+import { createJavaScriptSemanticGraphNode, createJavaScriptSemanticGraphRelation, JavaScriptSemanticEvidenceContextRegistry, javaScriptSemanticNodeId, } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { inferredSemanticEvidence, observedSemanticEvidence, unavailableSemanticRootEvidence, } from "./JavaScriptSemanticGraphEvidence.js";
 /** Create empty projection state with structural application-node mappings. */
 export const createSemanticGraphProjectionState = (applicationGraph) => {
@@ -8,6 +8,7 @@ export const createSemanticGraphProjectionState = (applicationGraph) => {
         nodes: new Map(),
         relations: new Map(),
         unknowns: new Map(),
+        evidenceContexts: new JavaScriptSemanticEvidenceContextRegistry(),
         roots: new Set(),
         applicationNodeIdsByLocation: index.identifiers,
     };
@@ -38,7 +39,7 @@ export const constructSemanticGraphNode = (file, input, state) => createJavaScri
     label: input.label === null ? null : javascriptDisplayText(input.label),
     properties: input.properties ?? {},
     evidence: observedSemanticEvidence(file, input.location),
-});
+}, state.evidenceContexts);
 /** Reuse retained identities and reject exhausted budgets before allocation. */
 export const retainSemanticGraphNode = (state, file, input) => {
     const identifier = javaScriptSemanticNodeId({
@@ -89,8 +90,9 @@ export const addSemanticGraphRelation = (state, input) => {
         relation: input.relation,
         resolution: input.resolution ?? "candidate",
         properties: input.properties ?? {},
-        evidence: input.evidence ?? inferredSemanticEvidence(input.source),
-    });
+        evidence: input.evidence ??
+            inferredSemanticEvidence(state.evidenceContexts.resolve(input.source.evidence)),
+    }, state.evidenceContexts);
     if (state.relations.has(value.relation_id))
         return;
     state.relations.set(value.relation_id, value);
@@ -116,7 +118,7 @@ export const addSemanticFallbackRoot = (rootArtifactSha256, state) => {
         label: "unavailable semantic root",
         properties: {},
         evidence: unavailableSemanticRootEvidence(rootArtifactSha256),
-    }));
+    }, state.evidenceContexts));
     if (node !== null)
         state.roots.add(node.node_id);
 };

package/dist/application/javascript/JavaScriptSemanticGraphDataProjection.js

@@ -1,7 +1,6 @@
 import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { unknownSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
-import { semanticCallSiteAt, } from "./JavaScriptSemanticGraphFlowProjection.js";
 /** Project environment, argv, file, default, and precedence candidates. */
 export const projectSemanticConfiguration = (context) => {
     const configNodes = new Map(context.ir.configurationOperations.flatMap((operation) => {
@@ -110,7 +109,7 @@ const addRequestNode = (context, operation) => retainSemanticGraphNode(context.s
     },
 });
 const projectRequestConstruction = (context, operation, request) => {
-    const callSite = semanticCallSiteAt(context, operation.location);
+    const callSite = context.callSiteAt(operation.location);
     addSemanticGraphRelation(context.state, {
         source: callSite,
         target: request,
@@ -142,7 +141,7 @@ const projectRequestConstruction = (context, operation, request) => {
 const projectResponseConsumer = (context, operation, response) => {
     addSemanticGraphRelation(context.state, {
         source: response,
-        target: semanticCallSiteAt(context, operation.location),
+        target: context.callSiteAt(operation.location),
         relation: "consumed-by",
         resolution: operation.resolution === "complete" ? "resolved" : "candidate",
         properties: { method: operation.method },
@@ -210,5 +209,5 @@ const addDataUnknown = (input) => {
         detail,
         candidate_node_ids: candidateNodeIds,
         evidence: unknownSemanticEvidence(context.file, location),
-    }));
+    }, context.state.evidenceContexts));
 };

package/dist/application/javascript/JavaScriptSemanticGraphEvidence.js

@@ -32,7 +32,7 @@ export const observedSemanticEvidence = (file, location) => ({
 });
 /** Conservative static relationship evidence derived from one syntax node. */
 export const inferredSemanticEvidence = (source) => ({
-    ...source.evidence,
+    ...source,
     authority: "static-relationship-inference",
     state: "inferred",
     confidence: "high",

package/dist/application/javascript/JavaScriptSemanticGraphFingerprintProjection.js

@@ -1,7 +1,7 @@
 import { createJavaScriptSemanticFingerprint, } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { observedSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
 /** Bind domain fingerprint components to exact semantic function nodes. */
-export const projectSemanticFunctionFingerprints = (file, ir, callableNodes) => ir.functionFingerprints.flatMap((fingerprint) => {
+export const projectSemanticFunctionFingerprints = (file, ir, callableNodes, evidenceContexts) => ir.functionFingerprints.flatMap((fingerprint) => {
     const callable = callableNodes.get(fingerprint.callableId);
     if (callable === undefined)
         return [];
@@ -20,6 +20,6 @@ export const projectSemanticFunctionFingerprints = (file, ir, callableNodes) =>
             },
             limitations: fingerprint.limitations,
             evidence: observedSemanticEvidence(file, callable.identity.source_range),
-        }),
+        }, evidenceContexts),
     ];
 });

package/dist/application/javascript/JavaScriptSemanticGraphFlowProjection.js

@@ -2,10 +2,6 @@ import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/ja
 import { sourceRangesEqual } from "../../domain/javascript/javascriptStaticAnalysisHelpers.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { inferredSemanticEvidenceAt, unknownSemanticEvidence, } from "./JavaScriptSemanticGraphEvidence.js";
-/** Find the retained call-site node at one exact semantic source range. */
-export const semanticCallSiteAt = (context, location) => {
-    return context.callSiteAt(location);
-};
 /** Project explicit static Promise/task ownership without runtime claims. */
 export const projectSemanticPromises = (context) => {
     const promiseNodes = new Map(context.ir.promiseOperations.flatMap((operation) => {
@@ -46,7 +42,7 @@ const projectPromiseCreation = (context, operation, promise) => {
     if (operation.kind === "awaited-expression")
         return;
     addSemanticGraphRelation(context.state, {
-        source: semanticCallSiteAt(context, operation.location),
+        source: context.callSiteAt(operation.location),
         target: promise,
         relation: "creates-promise",
         resolution: operation.kind === "chain" || operation.sourceResolution !== "complete"
@@ -123,7 +119,7 @@ const addPromiseUnknown = (context, operation, promise, promiseNodes) => {
             return candidate === undefined ? [] : [candidate.node_id];
         }),
         evidence: unknownSemanticEvidence(context.file, operation.location),
-    }));
+    }, context.state.evidenceContexts));
 };
 /** Link direct return expressions to their retained semantic references. */
 export const projectSemanticReturnValues = (context) => {
@@ -179,7 +175,7 @@ export const projectSemanticFrontiers = (context) => {
             detail: frontier.reason,
             candidate_node_ids: [],
             evidence: unknownSemanticEvidence(context.file, frontier.location),
-        });
+        }, context.state.evidenceContexts);
         addSemanticGraphUnknown(context.state, unknown);
     }
 };

package/dist/application/javascript/JavaScriptSemanticGraphObjectProjection.js

@@ -1,81 +1,110 @@
+import { semanticSlotAtPath, semanticContainer, semanticPropertyPointer, } from "../../domain/javascript/javascriptSemanticSlots.js";
 import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { unknownSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
 import { semanticPropertySlot } from "./JavaScriptSemanticGraphValueProjection.js";
 /** Project static object reads, writes, spreads, and destructuring. */
 export const projectSemanticObjects = (context) => {
+    const values = new Map(context.ir.bindings.map((binding) => [binding.bindingId, binding.value]));
     for (const operation of context.ir.objectOperations) {
         const occurrence = addObjectOccurrence(context, operation);
-        const slot = operation.objectBindingId === null || operation.propertyName === null
-            ? null
-            : semanticPropertySlot(context, operation.objectBindingId, operation.propertyName);
-        if (operation.kind === "read")
-            addSemanticGraphRelation(context.state, {
-                source: slot,
-                target: occurrence,
-                relation: "reads-property",
-                resolution: operation.resolution === "complete" ? "resolved" : "candidate",
-            });
-        else if (operation.kind === "write")
-            addSemanticGraphRelation(context.state, {
-                source: occurrence,
-                target: slot,
-                relation: "writes-property",
-                resolution: operation.resolution === "complete" ? "resolved" : "candidate",
-            });
-        else if (operation.kind === "destructure")
-            addSemanticGraphRelation(context.state, {
-                source: slot,
+        const target = objectTarget(context, values, operation);
+        const ends = objectRelationEnds(context, operation, occurrence, target);
+        const resolved = operation.resolution === "complete" &&
+            (operation.kind === "write"
+                ? target.receiverResolved
+                : target.presence === "present");
+        addSemanticGraphRelation(context.state, {
+            ...ends,
+            relation: OBJECT_RELATIONS[operation.kind],
+            resolution: resolved ? "resolved" : "candidate",
+        });
+        if (!resolved)
+            addObjectUnknown(context, operation, target.slot ?? occurrence, target);
+    }
+};
+const OBJECT_RELATIONS = {
+    read: "reads-property",
+    write: "writes-property",
+    destructure: "destructures",
+    spread: "spreads",
+};
+const objectTarget = (context, values, operation) => {
+    const binding = operation.objectBindingId === null
+        ? undefined
+        : context.bindingNodes.get(operation.objectBindingId);
+    const value = operation.objectBindingId === null
+        ? undefined
+        : values.get(operation.objectBindingId);
+    if (operation.objectBindingId === null ||
+        operation.propertyPath === null ||
+        value === undefined)
+        return {
+            objectNode: binding,
+            slot: null,
+            presence: "unknown-coverage",
+            receiverResolved: false,
+        };
+    const fact = semanticSlotAtPath(value, operation.propertyPath);
+    if (operation.propertyPath.length === 0)
+        return {
+            objectNode: binding,
+            slot: null,
+            presence: fact.presence,
+            receiverResolved: semanticContainer(value) !== null,
+        };
+    const slot = semanticPropertySlot(context, operation.objectBindingId, operation.propertyPath, fact);
+    const receiver = semanticSlotAtPath(value, operation.propertyPath.slice(0, -1));
+    return {
+        objectNode: slot,
+        slot,
+        presence: fact.presence,
+        receiverResolved: receiver.presence === "present" &&
+            semanticContainer(receiver.value) !== null,
+    };
+};
+const objectRelationEnds = (context, operation, occurrence, target) => {
+    switch (operation.kind) {
+        case "read":
+            return { source: target.slot, target: occurrence };
+        case "write":
+            return { source: occurrence, target: target.slot };
+        case "destructure":
+            return {
+                source: target.slot,
                 target: operation.targetBindingId === null
                     ? undefined
                     : context.bindingNodes.get(operation.targetBindingId),
-                relation: "destructures",
-                resolution: operation.resolution === "complete" ? "resolved" : "candidate",
-            });
-        else
-            addSemanticGraphRelation(context.state, {
-                source: operation.objectBindingId === null
-                    ? undefined
-                    : context.bindingNodes.get(operation.objectBindingId),
-                target: occurrence,
-                relation: "spreads",
-                resolution: operation.resolution === "complete" ? "resolved" : "candidate",
-            });
-        if (operation.resolution !== "complete")
-            addObjectUnknown(context, operation, slot ?? occurrence);
+            };
+        case "spread":
+            return { source: target.objectNode, target: occurrence };
     }
 };
 const addObjectOccurrence = (context, operation) => retainSemanticGraphNode(context.state, context.file, {
     kind: "expression",
     roleKey: operation.objectOperationId,
     location: operation.location,
-    label: operation.propertyName === null
+    label: operation.propertyPath === null
         ? operation.kind
-        : `${operation.kind}:${operation.propertyName}`,
+        : `${operation.kind}:${semanticPropertyPointer(operation.propertyPath)}`,
     functionNodeId: operation.ownerCallableId === null
         ? null
         : (context.callableNodes.get(operation.ownerCallableId)?.node_id ??
             null),
     properties: {
         operation_kind: operation.kind,
-        property_name: operation.propertyName,
+        property_path: operation.propertyPath === null ? null : [...operation.propertyPath],
     },
 });
-const addObjectUnknown = (context, operation, node) => {
-    const relation = operation.kind === "read"
-        ? "reads-property"
-        : operation.kind === "write"
-            ? "writes-property"
-            : operation.kind === "spread"
-                ? "spreads"
-                : "destructures";
+const addObjectUnknown = (context, operation, node, target) => {
+    const relation = OBJECT_RELATIONS[operation.kind];
     addSemanticGraphUnknown(context.state, createJavaScriptSemanticGraphUnknown({
         node_id: node?.node_id ?? null,
         family: "object-flow",
         relation_kinds: [relation],
         reason: "ambiguous-target",
-        detail: `Static ${operation.kind} object identity is partial.`,
+        detail: `Static ${operation.kind} property ${operation.propertyPath === null ? "path is unresolved" : semanticPropertyPointer(operation.propertyPath)} has ${target.presence} presence; its receiver is ${target.receiverResolved ? "a retained container" : "unresolved or not a retained container"}; object identity is ${operation.resolution}.`,
         candidate_node_ids: [],
         evidence: unknownSemanticEvidence(context.file, operation.location),
-    }));
+    }, context.state.evidenceContexts));
 };

package/dist/application/javascript/JavaScriptSemanticGraphProjection.js

@@ -1,4 +1,4 @@
-import { compareCodePoints } from "../../domain/canonicalOrdering.js";
+import { compareUnicodeCodePoints } from "../../domain/unicodeCodePointOrder.js";
 import { JAVASCRIPT_SEMANTIC_RELATION_FAMILIES } from "../../domain/javascript/javascriptSemanticGraphSchemas.js";
 /** Index one immutable file IR; read retained callable membership at query time. */
 export const createSemanticCallableOwnerLookup = (ir, nodes) => {
@@ -29,7 +29,7 @@ export const createSemanticCallableOwnerLookup = (ir, nodes) => {
                 const node = nodes.get(candidate.callableId);
                 const rank = best === undefined
                     ? 1
-                    : compareCodePoints(candidate.priority, best.priority) ||
+                    : compareUnicodeCodePoints(candidate.priority, best.priority) ||
                         best.order - candidate.order;
                 if (node !== undefined && rank > 0) {
                     best = candidate;
@@ -120,7 +120,7 @@ export const createSemanticCallSiteLookup = (ir, nodes) => {
 };
 const rangeKey = (range) => `${range.start.line}:${range.start.column}-${range.end.line}:${range.end.column}`;
 /** Report extractor support without treating missing families as absence. */
-export const semanticFamilyStatus = (family, analysis) => {
+export const semanticFamilyStatus = (family) => {
     if (![
         "call-flow",
         "boundary",
@@ -136,7 +136,7 @@ export const semanticFamilyStatus = (family, analysis) => {
         "timer",
     ].includes(family))
         return "unsupported";
-    return analysis.truncated_scopes === 0 ? "partial" : "unknown";
+    return "partial";
 };
 const contains = (outer, inner) => pointCompare(outer.start, inner.start) <= 0 &&
     pointCompare(outer.end, inner.end) >= 0;

package/dist/application/javascript/JavaScriptSemanticGraphResourceProjection.js

@@ -1,7 +1,6 @@
 import { createJavaScriptSemanticGraphUnknown } from "../../domain/javascript/javascriptSemanticGraph.js";
 import { retainSemanticGraphNode, addSemanticGraphRelation, addSemanticGraphUnknown, } from "./JavaScriptSemanticGraphConstruction.js";
 import { unknownSemanticEvidence } from "./JavaScriptSemanticGraphEvidence.js";
-import { semanticCallSiteAt, } from "./JavaScriptSemanticGraphFlowProjection.js";
 /** Project built-in resource acquisition and exact local release handles. */
 export const projectSemanticResources = (context) => {
     const resourceNodes = new Map(context.ir.resourceOperations.flatMap((operation) => {
@@ -13,7 +12,7 @@ export const projectSemanticResources = (context) => {
     for (const operation of context.ir.resourceOperations)
         if (operation.kind === "acquire")
             addSemanticGraphRelation(context.state, {
-                source: semanticCallSiteAt(context, operation.location),
+                source: context.callSiteAt(operation.location),
                 target: resourceNodes.get(operation.resourceId),
                 relation: "acquires",
                 resolution: "resolved",
@@ -33,7 +32,7 @@ const addResourceNode = (context, operation) => retainSemanticGraphNode(context.
     properties: { method: operation.method },
 });
 const projectRelease = (context, operation, resourceNodes) => {
-    const callSite = semanticCallSiteAt(context, operation.location);
+    const callSite = context.callSiteAt(operation.location);
     const resources = operation.linkedResourceIds.flatMap((identifier) => {
         const resource = resourceNodes.get(identifier);
         return resource === undefined ? [] : [resource];
@@ -55,5 +54,5 @@ const projectRelease = (context, operation, resourceNodes) => {
         detail: `Static ${operation.method} resource ownership is ambiguous.`,
         candidate_node_ids: resources.map(({ node_id: identifier }) => identifier),
         evidence: unknownSemanticEvidence(context.file, operation.location),
-    }));
+    }, context.state.evidenceContexts));
 };