rea-agents 3.1.0 → 3.2.1

package/dist/application/JavaScriptArtifactGraphBuilder.js

@@ -1,15 +1,14 @@
 import { createJavaScriptApplicationGraph, } from "../domain/javascriptApplicationGraph.js";
 import { JavaScriptArtifactGraphAccumulator } from "./JavaScriptArtifactGraphAccumulator.js";
-import { javaScriptAnalysisLimits, } from "./JavaScriptArtifactGraphContext.js";
 import { addJavaScriptHtmlRoles, addJavaScriptSourceMapOriginals, } from "./JavaScriptArtifactGraphDocuments.js";
 import { addJavaScriptStaticFindings } from "./JavaScriptArtifactGraphFindings.js";
 import { addJavaScriptModuleRelationships, addJavaScriptSourceModules, } from "./JavaScriptModuleRelationships.js";
-import { completeReconstructionCoverage, partialReconstructionCoverage, } from "./JavaScriptArtifactGraphEvidence.js";
+import { completeApplicationCoverage, partialApplicationCoverage, } from "../domain/javascriptApplicationEvidenceSchemas.js";
 import { addJavaScriptArtifactContainers, addJavaScriptArtifactFiles, addJavaScriptBundlerNodes, addJavaScriptPackageNodes, createJavaScriptArtifactRootNode, } from "./JavaScriptArtifactGraphStructure.js";
 import { addElectronBoundaries } from "./ElectronBoundaryGraph.js";
 import { classifyElectronIpcPairings, collectElectronIpcRecords, } from "./ElectronBoundaryAnalysis.js";
-/** Project bounded artifact and AST facts into JavaScript Application Graph v1. */
-export const buildJavaScriptArtifactGraph = (snapshot, fileSet, analysis, input) => {
+/** Project artifact and AST facts into JavaScript Application Graph. */
+export const buildJavaScriptArtifactGraph = (snapshot, fileSet, analysis) => {
     const accumulator = new JavaScriptArtifactGraphAccumulator();
     const root = createJavaScriptArtifactRootNode(accumulator, snapshot);
     const context = {
@@ -17,7 +16,6 @@ export const buildJavaScriptArtifactGraph = (snapshot, fileSet, analysis, input)
         snapshot,
         fileSet,
         analysis,
-        input,
         root,
         filesByPath: new Map(fileSet.files.map((file) => [file.path, file])),
         fileNodes: new Map(),
@@ -40,7 +38,6 @@ export const buildJavaScriptArtifactGraph = (snapshot, fileSet, analysis, input)
     const coverage = graphCoverage(context);
     return createJavaScriptApplicationGraph({
         schema: "JavaScriptApplicationGraph",
-        schema_version: 1,
         root_node_ids: packageRoots.length === 0
             ? [root.node_id]
             : packageRoots.map(({ node_id: id }) => id),
@@ -51,9 +48,7 @@ export const buildJavaScriptArtifactGraph = (snapshot, fileSet, analysis, input)
     });
 };
 const graphCoverage = (context) => {
-    const exactLimitOmissions = context.fileSet.limit_omitted_text_files +
-        context.accumulator.omittedObservations();
-    const sourceMapPolicyGap = context.analysis.source_maps.some(({ status }) => status === "not-approved");
+    const sourceMapPolicyGap = context.analysis.source_maps.some(({ status }) => status === "invalid");
     const malformedStructuredData = context.analysis.packages.some(({ status }) => status !== "included") ||
         context.analysis.json_modules.some(({ status }) => status !== "included") ||
         context.analysis.source_maps.some(({ status }) => status === "invalid");
@@ -64,27 +59,10 @@ const graphCoverage = (context) => {
         malformedStructuredData ||
         partialJavaScript;
     if (context.analysis.truncated_scopes > 0)
-        return partialReconstructionCoverage(reconstructionLimits(context.input), truncationOmittedCount(context), true);
-    if (exactLimitOmissions > 0)
-        return partialReconstructionCoverage(reconstructionLimits(context.input), exactLimitOmissions, true);
+        return partialApplicationCoverage([], null);
     if (unknownGap)
-        return partialReconstructionCoverage(reconstructionLimits(context.input), null, false);
-    return completeReconstructionCoverage(reconstructionLimits(context.input));
-};
-const truncationOmittedCount = (context) => {
-    const staticTruncations = context.analysis.files.filter(({ javascript }) => javascript?.parse_status === "truncated");
-    if (staticTruncations.length > 0)
-        return null;
-    const semanticTruncations = context.analysis.files.flatMap(({ semantic }) => semantic?.ir.coverage.status === "truncated" ? [semantic.ir.coverage] : []);
-    const sourceMapTruncations = context.analysis.source_maps.filter(({ status }) => status === "truncated");
-    if (sourceMapTruncations.length > 0)
-        return null;
-    if (semanticTruncations.length !== context.analysis.truncated_scopes)
-        return null;
-    const omissions = semanticTruncations.map(({ omittedCount }) => omittedCount);
-    return omissions.some((omitted) => omitted === null)
-        ? null
-        : omissions.reduce((total, omitted) => total + (omitted ?? 0), 0);
+        return partialApplicationCoverage([], null);
+    return completeApplicationCoverage();
 };
 const graphLimitations = (context, coverage) => {
     const ipc = collectElectronIpcRecords(context.analysis);
@@ -128,11 +106,6 @@ const graphLimitations = (context, coverage) => {
                 "Native member names are requested by JavaScript syntax and are not verified binary exports in this workflow.",
             ]
             : []),
-        ...(context.accumulator.omittedObservations() === 0
-            ? []
-            : [
-                "Repeated content identities exceeded the per-node observation bound; containment edges still preserve inventoried paths.",
-            ]),
         ...(coverage === "complete"
             ? []
             : [
@@ -140,27 +113,3 @@ const graphLimitations = (context, coverage) => {
             ]),
     ];
 };
-const reconstructionLimits = (input) => [
-    {
-        name: "max-entries",
-        value: input.limits.max_entries,
-        unit: "items",
-    },
-    {
-        name: "max-total-artifact-bytes",
-        value: input.limits.max_total_artifact_bytes,
-        unit: "bytes",
-    },
-    {
-        name: "max-text-files",
-        value: input.limits.max_text_files,
-        unit: "items",
-    },
-    {
-        name: "max-total-text-bytes",
-        value: input.limits.max_total_text_bytes,
-        unit: "bytes",
-    },
-    ...javaScriptAnalysisLimits(input),
-    { name: "max-observations-per-node", value: 64, unit: "items" },
-];

package/dist/application/JavaScriptArtifactGraphBundlers.js

@@ -7,7 +7,7 @@ export const addJavaScriptBundlerNodes = (context) => {
         const asset = context.assetNodes.get(file.path);
         if (javascript === null || asset === undefined)
             continue;
-        const coverage = javascriptAnalysisCoverage(javascript, context.input);
+        const coverage = javascriptAnalysisCoverage(javascript);
         const records = [];
         for (const registration of javascript.bundler_registrations) {
             const input = {
@@ -48,15 +48,12 @@ const createBundlerChunkNode = (context, input) => {
                     bundler: registration.bundler,
                     runtime: registration.runtime,
                     chunk_keys: registration.chunk_keys,
-                    omitted_chunk_keys: registration.omitted_chunk_keys,
                     unknown_chunk_keys: registration.unknown_chunk_keys,
                     runtime_require_name: registration.runtime_require_name,
                     runtime_module_cache_status: registration.runtime_module_cache_status,
                     entry_module_keys: registration.entry_module_keys,
-                    omitted_entry_module_keys: registration.omitted_entry_module_keys,
                     unknown_entry_module_keys: registration.unknown_entry_module_keys,
                     async_chunk_keys: registration.async_chunk_keys,
-                    omitted_async_chunk_keys: registration.omitted_async_chunk_keys,
                     unknown_async_chunk_keys: registration.unknown_async_chunk_keys,
                     module_count: registration.modules.length,
                 },
@@ -92,9 +89,7 @@ const addBundlerModuleNodes = (context, input) => {
                         source_sha256: moduleValue.source_sha256,
                         structural_fingerprint_sha256: moduleValue.structural_fingerprint_sha256,
                         structural_fingerprint_algorithm: moduleValue.structural_fingerprint_algorithm,
-                        structural_fingerprint_status: moduleValue.structural_fingerprint_status,
                         exports: moduleValue.exports,
-                        exports_truncated: moduleValue.exports_truncated,
                     },
                     evidence: astObservationEvidence({
                         sha256: file.sha256,

package/dist/application/JavaScriptArtifactGraphContext.js

@@ -1,5 +1,6 @@
+import { completeApplicationCoverage, partialApplicationCoverage, } from "../domain/javascriptApplicationEvidenceSchemas.js";
 import { JavaScriptArtifactGraphAccumulator } from "./JavaScriptArtifactGraphAccumulator.js";
-import { artifactObservationEvidence, astObservationEvidence, completeReconstructionCoverage, partialReconstructionCoverage, staticInferenceEvidence, unavailableAstEvidence, } from "./JavaScriptArtifactGraphEvidence.js";
+import { artifactObservationEvidence, astObservationEvidence, staticInferenceEvidence, unavailableAstEvidence, } from "./JavaScriptArtifactGraphEvidence.js";
 import { resolveArtifactPathByContext, } from "./JavaScriptArtifactPathResolution.js";
 /** Add a direct artifact-containment edge. */
 export const addArtifactContainsEdge = (context, input) => {
@@ -14,7 +15,7 @@ export const addArtifactContainsEdge = (context, input) => {
                 : input.file.sha256,
             path: input.file.path,
             operation: input.operation,
-            coverage: completeReconstructionCoverage(),
+            coverage: completeApplicationCoverage(),
         }),
     });
 };
@@ -67,7 +68,7 @@ export const addUnavailableStaticParseScope = (context, input) => {
                     sha256: input.file.sha256,
                     path: input.file.path,
                     operation: input.operation,
-                    coverage: partialReconstructionCoverage([], null, false),
+                    coverage: partialApplicationCoverage([], null),
                     limitation: input.limitation,
                 }),
             },
@@ -82,26 +83,21 @@ export const addUnavailableStaticParseScope = (context, input) => {
             sha256: input.file.sha256,
             path: input.file.path,
             operation: "associate-unavailable-parse-scope",
-            coverage: completeReconstructionCoverage(),
+            coverage: completeApplicationCoverage(),
         }),
     });
 };
 /** Coverage for one bounded JavaScript AST analysis. */
-export const javascriptAnalysisCoverage = (analysis, input) => analysis.parse_status === "complete"
-    ? completeReconstructionCoverage(javaScriptAnalysisLimits(input))
-    : {
-        status: "partial",
-        truncated: analysis.parse_status === "truncated",
-        omitted_count: null,
-        limits: javaScriptAnalysisLimits(input),
-    };
+export const javascriptAnalysisCoverage = (analysis) => analysis.parse_status === "complete"
+    ? completeApplicationCoverage()
+    : partialApplicationCoverage([], null);
 /** Stable identity for a fact scoped to one exact artifact. */
 export const artifactLocalIdentity = (sha256, namespace, key) => ({
     strategy: "artifact-local-key",
     stability: "artifact-version",
     artifact_sha256: sha256,
-    namespace: namespace.slice(0, 512),
-    key: key.slice(0, 4_096),
+    namespace,
+    key,
 });
 /** Select the graph node kind for one inventoried relevant file. */
 export const artifactFileNodeKind = (kind) => kind === "javascript"
@@ -130,7 +126,7 @@ export const createElectronRoleNode = (context, input) => context.accumulator.ad
                 sha256: input.anchor.sha256,
                 path: input.anchor.path,
                 operation: "discover-electron-entrypoint",
-                coverage: input.coverage ?? completeReconstructionCoverage(),
+                coverage: input.coverage ?? completeApplicationCoverage(),
                 limitations: input.resolution.limitations,
                 ...(input.range === undefined ? {} : { range: input.range }),
             }),
@@ -159,7 +155,7 @@ export const linkElectronRoleToAsset = (context, input) => {
             sha256: input.anchor.sha256,
             path: input.anchor.path,
             operation: "resolve-electron-entrypoint",
-            coverage: input.coverage ?? completeReconstructionCoverage(),
+            coverage: input.coverage ?? completeApplicationCoverage(),
             limitations: input.resolution.limitations,
             ...(input.range === undefined ? {} : { range: input.range }),
         }),
@@ -181,26 +177,3 @@ export const resolveArtifactPath = (specifier, sourcePath, files, moduleKind) =>
 export const sourceNodeFor = (context, path, moduleKey) => moduleKey === null
     ? context.sourceModuleNodes.get(path)
     : context.moduleNodes.get(moduleLookupKey(path, moduleKey));
-/** Named AST budgets committed to graph evidence coverage. */
-export const javaScriptAnalysisLimits = (input) => [
-    {
-        name: "max-ast-nodes",
-        value: input.limits.max_ast_nodes,
-        unit: "items",
-    },
-    {
-        name: "max-findings",
-        value: input.limits.max_findings,
-        unit: "items",
-    },
-    {
-        name: "max-modules",
-        value: input.limits.max_modules,
-        unit: "items",
-    },
-    {
-        name: "max-parse-milliseconds",
-        value: input.limits.max_parse_milliseconds,
-        unit: "milliseconds",
-    },
-];

package/dist/application/JavaScriptArtifactGraphDocuments.js

@@ -1,5 +1,6 @@
 import { addArtifactContainsEdge, addStaticInferenceEdge, createElectronRoleNode, linkElectronRoleToAsset, } from "./JavaScriptArtifactGraphContext.js";
-import { artifactObservationEvidence, completeReconstructionCoverage, partialReconstructionCoverage, } from "./JavaScriptArtifactGraphEvidence.js";
+import { artifactObservationEvidence } from "./JavaScriptArtifactGraphEvidence.js";
+import { completeApplicationCoverage } from "../domain/javascriptApplicationEvidenceSchemas.js";
 import { resolveArtifactPathByContext } from "./JavaScriptArtifactPathResolution.js";
 /** Project HTML renderer entrypoints and their local script assets. */
 export const addJavaScriptHtmlRoles = (context) => {
@@ -55,7 +56,7 @@ export const addJavaScriptHtmlRoles = (context) => {
                 target: resolved,
                 file: html,
                 range: script.location,
-                coverage: completeReconstructionCoverage(),
+                coverage: completeApplicationCoverage(),
                 relation: "loads",
                 properties: {
                     script_path: script.script_path,
@@ -76,15 +77,7 @@ export const addJavaScriptSourceMapOriginals = (context) => {
         const mapNode = context.fileNodes.get(sourceMap.path);
         if (mapFile === undefined || mapNode === undefined)
             continue;
-        const coverage = sourceMap.status === "truncated"
-            ? partialReconstructionCoverage([
-                {
-                    name: "max-source-map-sources",
-                    value: context.input.limits.max_source_map_sources,
-                    unit: "items",
-                },
-            ], sourceMap.omitted_sources, true)
-            : completeReconstructionCoverage();
+        const coverage = completeApplicationCoverage();
         for (const original of sourceMap.sources) {
             const node = context.accumulator.addNode({
                 kind: "source-module",

package/dist/application/JavaScriptArtifactGraphEvidence.js

@@ -78,20 +78,6 @@ export const unavailableAstEvidence = (input) => ({
     limitations: [input.limitation, ...(input.limitations ?? [])],
     evidence_ids: [],
 });
-/** Complete local projection coverage under named hard limits. */
-export const completeReconstructionCoverage = (limits = []) => ({
-    status: "complete",
-    truncated: false,
-    omitted_count: 0,
-    limits: [...limits],
-});
-/** Partial reconstruction coverage with either exact truncation or a policy gap. */
-export const partialReconstructionCoverage = (limits, omitted, truncated) => ({
-    status: "partial",
-    truncated,
-    omitted_count: omitted,
-    limits: [...limits],
-});
 const artifactReference = (sha256) => ({
     available: true,
     artifact_id: `art_${sha256}`,

package/dist/application/JavaScriptArtifactGraphFindings.js

@@ -8,7 +8,7 @@ export const addJavaScriptStaticFindings = (context) => {
         const asset = context.assetNodes.get(file.path);
         if (javascript === null || asset === undefined)
             continue;
-        const coverage = javascriptAnalysisCoverage(javascript, context.input);
+        const coverage = javascriptAnalysisCoverage(javascript);
         for (const value of javascript.references)
             addReference(context, { file, asset, value, coverage });
         for (const value of javascript.endpoints)
@@ -30,7 +30,7 @@ const addReference = (context, input) => {
     if (input.value.kind === "worker" || input.value.kind === "service-worker") {
         const worker = context.accumulator.addNode({
             kind: input.value.kind === "worker" ? "worker" : "service-worker",
-            identity: artifactLocalIdentity(input.file.sha256, input.value.kind, input.value.specifier ?? input.value.expression ?? "[dynamic]"),
+            identity: artifactLocalIdentity(input.file.sha256, input.value.kind, input.value.specifier ?? input.value.expression),
             observations: [
                 {
                     label: input.value.specifier,
@@ -291,7 +291,7 @@ const resolveBundlerChunkReference = (context, sourcePath, reference) => {
 };
 const unresolvedReferenceNode = (context, file, reference, coverage) => context.accumulator.addNode({
     kind: "javascript-module",
-    identity: artifactLocalIdentity(file.sha256, "unresolved-reference", `${reference.kind}:${reference.specifier ?? reference.expression ?? "[dynamic]"}`),
+    identity: artifactLocalIdentity(file.sha256, "unresolved-reference", `${reference.kind}:${reference.specifier ?? reference.expression}`),
     observations: [
         {
             label: reference.specifier,

package/dist/application/JavaScriptArtifactGraphStructure.js

@@ -1,5 +1,6 @@
+import { completeApplicationCoverage } from "../domain/javascriptApplicationEvidenceSchemas.js";
 import { addArtifactContainsEdge, addUnavailableStaticParseScope, artifactFileNodeKind, artifactLocalIdentity, createElectronRoleNode, linkElectronRoleToAsset, } from "./JavaScriptArtifactGraphContext.js";
-import { artifactObservationEvidence, completeReconstructionCoverage, staticInferenceEvidence, } from "./JavaScriptArtifactGraphEvidence.js";
+import { artifactObservationEvidence, staticInferenceEvidence, } from "./JavaScriptArtifactGraphEvidence.js";
 import { resolveArtifactPathByContext } from "./JavaScriptArtifactPathResolution.js";
 export { addJavaScriptBundlerNodes } from "./JavaScriptArtifactGraphBundlers.js";
 /** Create the exact root artifact node from the inventory manifest. */
@@ -28,7 +29,7 @@ export const createJavaScriptArtifactRootNode = (accumulator, snapshot) => {
                     sha256: root.sha256,
                     path: "artifact-root",
                     operation: "inventory-root",
-                    coverage: completeReconstructionCoverage(),
+                    coverage: completeApplicationCoverage(),
                     limitations: [
                         "artifact-root is a path-independent alias; the application result retains the canonical local input path.",
                     ],
@@ -55,7 +56,7 @@ export const addJavaScriptArtifactContainers = (context) => {
                         sha256: container.sha256,
                         path: container.path,
                         operation: "inventory-nested-asar",
-                        coverage: completeReconstructionCoverage(),
+                        coverage: completeApplicationCoverage(),
                     }),
                 },
             ],
@@ -70,7 +71,7 @@ export const addJavaScriptArtifactContainers = (context) => {
                 sha256: context.snapshot.manifest.root_sha256,
                 path: container.path,
                 operation: "inventory-nested-asar",
-                coverage: completeReconstructionCoverage(),
+                coverage: completeApplicationCoverage(),
             }),
         });
     }
@@ -108,7 +109,7 @@ export const addJavaScriptArtifactFiles = (context) => {
                     sha256: file.container_sha256,
                     path: file.path,
                     operation: "map-entry-content",
-                    coverage: completeReconstructionCoverage(),
+                    coverage: completeApplicationCoverage(),
                 }),
             });
         }
@@ -124,13 +125,12 @@ export const addJavaScriptArtifactFiles = (context) => {
                     : `JavaScript text was unavailable: ${file.text.reason}.`,
             });
         const packageValue = context.analysis.packages.find(({ path }) => path === file.path);
-        if (packageValue?.status !== undefined &&
-            packageValue.status !== "included")
+        if (packageValue !== undefined && packageValue.status !== "included")
             addUnavailableStaticParseScope(context, {
                 file,
                 asset: target,
                 operation: "parse-package-json",
-                limitation: packageValue.limitation ?? "Package metadata could not be parsed.",
+                limitation: packageValue.limitation,
             });
         const jsonValue = context.analysis.json_modules.find(({ path }) => path === file.path);
         if (jsonValue !== undefined && jsonValue.status !== "included")
@@ -138,16 +138,15 @@ export const addJavaScriptArtifactFiles = (context) => {
                 file,
                 asset: target,
                 operation: "parse-json-module",
-                limitation: jsonValue.limitation ?? "JSON module content could not be parsed.",
+                limitation: jsonValue.limitation,
             });
         const sourceMap = context.analysis.source_maps.find(({ path }) => path === file.path);
-        if (sourceMap !== undefined &&
-            (sourceMap.status === "invalid" || sourceMap.status === "not-approved"))
+        if (sourceMap !== undefined && sourceMap.status === "invalid")
             addUnavailableStaticParseScope(context, {
                 file,
                 asset: target,
                 operation: "parse-local-source-map",
-                limitation: sourceMap.limitation ?? "Source-map content could not be parsed.",
+                limitation: sourceMap.limitation,
             });
     }
 };
@@ -176,7 +175,7 @@ export const addJavaScriptPackageNodes = (context) => {
                         sha256: file.sha256,
                         path: file.path,
                         operation: "parse-package-json",
-                        coverage: completeReconstructionCoverage(),
+                        coverage: completeApplicationCoverage(),
                         limitations: packageValue.limitation === null ? [] : [packageValue.limitation],
                     }),
                 },
@@ -193,7 +192,7 @@ export const addJavaScriptPackageNodes = (context) => {
                     sha256: file.sha256,
                     path: file.path,
                     operation: "associate-package-artifact",
-                    coverage: completeReconstructionCoverage(),
+                    coverage: completeApplicationCoverage(),
                 }),
             });
         }
@@ -249,7 +248,7 @@ const createFileTarget = (context, file, javascript) => {
                     sha256: file.sha256,
                     path: file.path,
                     operation: "inventory-relevant-file",
-                    coverage: completeReconstructionCoverage(),
+                    coverage: completeApplicationCoverage(),
                 }),
             },
         ],
@@ -281,7 +280,7 @@ const createAsarEntry = (context, file) => {
                     sha256: file.container_sha256,
                     path: file.path,
                     operation: "inventory-asar-entry",
-                    coverage: completeReconstructionCoverage(),
+                    coverage: completeApplicationCoverage(),
                 }),
             },
         ],
@@ -319,7 +318,7 @@ const addPackageRole = (context, input) => {
             sha256: input.packageFile.sha256,
             path: input.packageFile.path,
             operation: "discover-package-entrypoint",
-            coverage: completeReconstructionCoverage(),
+            coverage: completeApplicationCoverage(),
             limitations: resolution.limitations,
         }),
     });