rea-agents 6.5.0 → 6.7.0

package/dist/cli-runtime/{toolOutputSchemaGroups-DRiYs1je.js → toolOutputSchemaGroups-BqdSzySu.js}

@@ -1,11 +1,13 @@
 import { __esmMin } from "./rolldown-runtime-DXoylpqc.js";
-import { BINARY_ARCHITECTURES as BINARY_ARCHITECTURES$1, CANONICAL_BASE64_PATTERN, IDENTIFIER_PATTERN, addressCoordinate, addressList, addressedEntry, addressedValue, analysisBookmarkSchema, analysisInputErrorFromIssues, analysisStringSchema, artifactEdgeSchema, artifactExtractionResultSchema, artifactGraphManifestSchema, artifactInspectionOutputSchema, artifactInspectionResultSchema, artifactNodeSchema, artifactOccurrenceSchema, canonicalJson as canonicalJson$1, compareUnicodeCodePoints, compositeKey, containingProcedureResolution, decodeCanonicalBase64, digestCanonicalValue, digestSchema, emptyArraySchema, err, evidenceBundleSchema, evidenceResultOf, evidenceSchema, functionComparisonResultSchema, functionDossierOutput, functionDossierSchema, functionInstructionWindowSchema, graphNode, hasCompleteInventoryCoverage, init_addressCoordinate, init_artifactGraph, init_artifactInspection, init_artifactInventoryEvidence, init_binaryTargetTypes, init_canonicalDigest, init_canonicalOrdering, init_comparisonSemantics, init_digests, init_emptyArraySchema, init_evidence, init_evidenceBundle, init_functionComparisonSchemas, init_hopperValues, init_inputIssueProjection, init_interfaceBuilderGraph, init_localPath, init_machoCpuIdentity, init_nativeApiBoundary, init_nativeInstruction, init_nativeInvestigationGraph, init_nativeValueTrace, init_objcSwiftMetadata, init_processCapture, init_processCaptureCoverage, init_recordedTransportUrl, init_relationshipCoverage, init_residualUnknown, init_result, init_stringPatterns, init_toolOutputSchemaPrimitives, init_unicodeCodePointOrder, init_webScreenshot, integrityContradictionSchema, interfaceBuilderAnalysisSchema, interfaceBuilderDocumentSchema, isMachOFormat, lifecycleResultOf, localPathStringSchema, machoCpuSubtypeBase, nativeApiInspectionResultSchema, nativeCallTargetsSchema, nativeDispatchMetadataResultSchema, nativeInstructionSchema, nativeInvestigationCoverageSchema, nativeInvestigationEdgeSchema, nativeInvestigationNodeSchema, nativeInvestigationTraceSchema, nativeValueTraceSchema, nullableText, ok, parseArtifactInventoryEvidence, parseArtifactInventoryResult, parseEvidence, parseEvidenceBundle, parseRecordedTransportUrl, parseUrlQueryParameterNames, prefixedDigestSchema, procedureIdentitySchema, procedureInfoOutput, processCaptureSchema, processSourceTruncated, referenceEdgeSchema, relationshipCoverageSchema, residualUnknownSchema, segmentOutput, serializeEvidenceBundle, sessionProvider, symbolDiscoveryOutput, targetFormatSchema, targetKindSchema, uniqueSorted, unresolvedCallSchema, validateArtifactInventorySubject } from "./reconstructionObligationLedgerSchemas-Bao0xMr-.js";
-import { AnalysisInputError, AnalysisOutputError, AnalysisResourceConstraintError, AnalysisUnsupportedTargetError, MAX_JSON_DEPTH, analysisErrorProjectionSchema, init_analysisErrorCore, init_errorSchemas, init_jsonValue, jsonObjectSchema, jsonValueSchema } from "./errorSchemas-CTRmvMl3.js";
-import { init_javascriptApplicationAnalysis, init_javascriptSourceSelection, javaScriptSourceSelectionSchema, parseOwnedJavaScriptApplicationAnalysisSteps } from "./javascriptApplicationAnalysis-HgMzVMQw.js";
-import { cliMetadataGuidSchema, init_managedApplicationGraph, init_managedArtifact, init_managedInspectionEvidence, managedApplicationGraphResultSchema, managedArtifactInspectionSchema, managedMemberInspectionSchema, managedNativeBoundaryInspectionSchema, parseManagedInspectionEvidence } from "./managedApplicationGraph-B08jb3jq.js";
+import { BINARY_ARCHITECTURES as BINARY_ARCHITECTURES$1, CANONICAL_BASE64_PATTERN, IDENTIFIER_PATTERN, RAW_ONLY_ARCHITECTURES, UnknownPlistReal, addressCoordinate, addressList, addressedEntry, addressedValue, analysisBookmarkSchema, analysisInputErrorFromIssues, analysisStringSchema, artifactEdgeSchema, artifactExtractionResultSchema, artifactGraphManifestSchema, artifactInspectionResultSchema, artifactNodeSchema, artifactOccurrenceSchema, canonicalJson as canonicalJson$1, compareUnicodeCodePoints, compositeKey, containingProcedureResolution, decodeCanonicalBase64, digestCanonicalValue, digestSchema, electronFuseReportSchema, emptyArraySchema, err, evidenceBundleSchema, evidenceResultOf, evidenceSchema, functionComparisonResultSchema, functionDossierOutput, functionDossierSchema, functionInstructionWindowSchema, graphNode, hasCompleteInventoryCoverage, init_addressCoordinate, init_artifactGraph, init_artifactInspection, init_artifactInventoryEvidence, init_binaryTargetTypes, init_canonicalDigest, init_canonicalOrdering, init_comparisonSemantics, init_digests, init_electronFuses, init_emptyArraySchema, init_evidence, init_evidenceBundle, init_functionComparisonSchemas, init_hopperValues, init_inputIssueProjection, init_interfaceBuilderGraph, init_localPath, init_machoCpuIdentity, init_nativeApiBoundary, init_nativeInstruction, init_nativeInvestigationGraph, init_nativeValueTrace, init_objcSwiftMetadata, init_plistNumbers, init_processCapture, init_processCaptureCoverage, init_recordedTransportUrl, init_relationshipCoverage, init_residualUnknown, init_result, init_stringPatterns, init_toolOutputSchemaPrimitives, init_unicodeCodePointOrder, init_webScreenshot, integrityContradictionSchema, interfaceBuilderAnalysisSchema, interfaceBuilderDocumentSchema, isMachOFormat, lifecycleResultOf, localPathStringSchema, machoCpuSubtypeBase, nativeApiInspectionResultSchema, nativeCallTargetsSchema, nativeDispatchMetadataResultSchema, nativeInstructionSchema, nativeInvestigationCoverageSchema, nativeInvestigationEdgeSchema, nativeInvestigationNodeSchema, nativeInvestigationTraceSchema, nativeValueTraceSchema, nullableText, ok, parseArtifactInspectionInventoryResult, parseArtifactInventoryEvidence, parseArtifactInventoryResult, parseEvidence, parseEvidenceBundle, parseRecordedTransportUrl, parseUrlQueryParameterNames, prefixedDigestSchema, procedureIdentitySchema, procedureInfoOutput, processCaptureSchema, processSourceTruncated, referenceEdgeSchema, relationshipCoverageSchema, residualUnknownSchema, segmentOutput, serializeEvidenceBundle, sessionProvider, symbolDiscoveryOutput, targetFormatSchema, targetKindSchema, uniqueSorted, unresolvedCallSchema } from "./reconstructionObligationLedgerSchemas-Bi6sect1.js";
+import { AnalysisCancelledError, AnalysisInputError, AnalysisOutputError, AnalysisResourceConstraintError, AnalysisUnsupportedTargetError, MAX_JSON_DEPTH, analysisErrorProjectionSchema, init_analysisErrorCore, init_errorSchemas, init_jsonValue, jsonObjectSchema, jsonValueSchema } from "./errorSchemas-Ixz_q7qt.js";
+import { applicationCoverageSchema, applicationGraphEvidenceSchema, applicationNodeIdentitySchema, applicationNodeObservationSchema, applicationNodeSchema, init_javascriptApplicationAnalysis, init_javascriptApplicationEvidenceSchemas, init_javascriptApplicationGraphSchemas, init_javascriptSemanticGraphSchemas, init_javascriptSourceSelection, javaScriptSemanticGraphInputSchema, javaScriptSourceSelectionSchema, parseOwnedJavaScriptApplicationAnalysisSteps } from "./javascriptApplicationAnalysis-Dk6yBV8g.js";
+import { cliMetadataGuidSchema, init_managedApplicationGraph, init_managedArtifact, init_managedInspectionEvidence, managedApplicationGraphResultSchema, managedArtifactInspectionSchema, managedMemberInspectionSchema, managedNativeBoundaryInspectionSchema, parseManagedInspectionEvidence } from "./managedApplicationGraph-BazVqpJv.js";
 import { z } from "zod";
 import { createHash } from "node:crypto";
 import canonicalize from "canonicalize";
+import { types } from "node:util";
+import { isProxy } from "node:util/types";
 
 //#region dist/domain/wasm/wasmInterface.js
 var kind, valueType, limit, signature, wasmInterfaceSchema, WASM_INTERFACE_REPRESENTATION_BYTES, wasmInterfaceEntryRepresentationBytes;
@@ -313,7 +315,7 @@ function init_toolEffects() {
 				accessesNetwork: true,
 				idempotent: false
 			}),
-			frida_session_status: effects(),
+			frida_session_status: evidence,
 			close_frida_session: effects({
 				mutatesTarget: true,
 				mutatesSession: true,
@@ -740,7 +742,11 @@ function init_toolEffects() {
 			}),
 			list_javascript_runtime_targets: browserEvidence,
 			observe_javascript_runtime: browserEvidence,
-			analyze_javascript_application: evidence,
+			analyze_javascript_application: effects({
+				mutatesSession: true,
+				writesFilesystem: true,
+				launchesProcess: true
+			}),
 			inspect_electron_fuses: evidence,
 			export_web_scripts: effects({
 				mutatesSession: true,
@@ -966,6 +972,150 @@ function init_analysisDetail() {
 	})))();
 }
 
+//#endregion
+//#region dist/domain/analysisView/javascriptModuleReferences.js
+var moduleKindSchema, javascriptModuleReferencesRequestSchema, basisSchema, javascriptModuleReferenceSchema;
+function init_javascriptModuleReferences() {
+	return (init_javascriptModuleReferences = __esmMin((() => {
+		init_digests();
+		init_javascriptApplicationEvidenceSchemas();
+		moduleKindSchema = z.enum([
+			"javascript-asset",
+			"javascript-module",
+			"source-module"
+		]);
+		javascriptModuleReferencesRequestSchema = z.strictObject({
+			kind: z.literal("javascript"),
+			collection: z.literal("modules"),
+			projection: z.literal("references"),
+			where: z.strictObject({
+				path: z.string().nullable().optional(),
+				kind: moduleKindSchema.optional()
+			}).default({}),
+			offset: z.number().int().nonnegative().default(0),
+			limit: z.number().int().positive().default(64)
+		});
+		basisSchema = z.strictObject({
+			authority: applicationGraphEvidenceSchema.shape.authority,
+			state: applicationGraphEvidenceSchema.shape.state,
+			confidence: applicationGraphEvidenceSchema.shape.confidence
+		});
+		javascriptModuleReferenceSchema = z.strictObject({
+			node_id: prefixedDigestSchema("jag_node"),
+			kind: moduleKindSchema,
+			path: z.string().nullable(),
+			identity: applicationNodeIdentitySchema,
+			retained_source_range_count: z.number().int().nonnegative(),
+			basis: z.array(basisSchema).min(1)
+		});
+	})))();
+}
+
+//#endregion
+//#region dist/domain/analysisView/javascriptApplicationCoverage.js
+var javascriptApplicationSourceCoverageSchema, javascriptApplicationSourceCoverage;
+function init_javascriptApplicationCoverage() {
+	return (init_javascriptApplicationCoverage = __esmMin((() => {
+		init_javascriptApplicationEvidenceSchemas();
+		init_javascriptSemanticGraphSchemas();
+		init_javascriptSourceSelection();
+		javascriptApplicationSourceCoverageSchema = z.strictObject({
+			source_selection: javaScriptSourceSelectionSchema.exactOptional(),
+			application: applicationCoverageSchema,
+			semantic: javaScriptSemanticGraphInputSchema.shape.coverage.omit({ families: true }),
+			application_unknown_count: z.number().int().nonnegative(),
+			semantic_unknown_count: z.number().int().nonnegative()
+		});
+		javascriptApplicationSourceCoverage = (analysis) => {
+			const { families: _families, ...semantic } = analysis.semantic_graph.coverage;
+			return {
+				...analysis.source_selection === undefined ? {} : { source_selection: analysis.source_selection },
+				application: analysis.graph.coverage,
+				semantic,
+				application_unknown_count: analysis.graph.nodes.reduce((count, node) => count + Number(node.kind === "unknown"), 0),
+				semantic_unknown_count: analysis.semantic_graph.unknowns.length
+			};
+		};
+	})))();
+}
+
+//#endregion
+//#region dist/domain/analysisView/javascriptFactsView.js
+var propertyKeySchema, javascriptFactsViewRequestSchema, javascriptFactRowSchema, observationPath, projectJavaScriptFacts;
+function init_javascriptFactsView() {
+	return (init_javascriptFactsView = __esmMin((() => {
+		init_javascriptApplicationGraphSchemas();
+		propertyKeySchema = applicationNodeObservationSchema.shape.properties.keyType;
+		javascriptFactsViewRequestSchema = z.strictObject({
+			kind: z.literal("javascript-facts"),
+			where: z.strictObject({
+				paths: z.array(z.string()).optional().describe("Exact Evidence artifact-path or source-range source strings. Omitted includes unknown locations; [] matches none. No filesystem lookup or path normalization."),
+				kinds: z.array(applicationNodeSchema.shape.kind).optional()
+			}).default({}),
+			property_keys: z.array(propertyKeySchema).describe("Exact retained observation-property names to read; [] requests identities/provenance only. Missing properties remain omitted, distinct from retained null. No cross-observation merging or inferred values."),
+			include_available_property_keys: z.boolean().default(false).describe("Opt into original property names for each returned observation, without unselected values. Use with property_keys: [] to discover fields before reading them."),
+			offset: z.number().int().nonnegative().default(0),
+			limit: z.number().int().positive().default(64)
+		});
+		javascriptFactRowSchema = applicationNodeSchema.pick({
+			node_id: true,
+			kind: true,
+			identity: true
+		}).extend(applicationNodeObservationSchema.pick({
+			observation_id: true,
+			source_map_reference: true,
+			properties: true,
+			evidence: true
+		}).shape).extend({ available_property_keys: z.array(propertyKeySchema).exactOptional() });
+		observationPath = (observation) => {
+			const { location } = observation.evidence;
+			if (!location.available) return null;
+			if (location.value.kind === "artifact-path") return location.value.path;
+			if (location.value.kind === "source-range") return location.value.source;
+			return null;
+		};
+		projectJavaScriptFacts = (nodes, view) => {
+			const paths = view.where.paths === undefined ? null : new Set(view.where.paths);
+			const kinds = view.where.kinds === undefined ? null : new Set(view.where.kinds);
+			if (paths?.size === 0 || kinds?.size === 0) return {
+				rows: [],
+				total: 0
+			};
+			const keys = [...new Set(view.property_keys)];
+			const rows = [];
+			let total = 0;
+			for (const node of nodes) {
+				if (kinds !== null && !kinds.has(node.kind)) continue;
+				for (const observation of node.observations) {
+					if (paths !== null) {
+						const path = observationPath(observation);
+						if (path === null || !paths.has(path)) continue;
+					}
+					total += 1;
+					if (total <= view.offset || rows.length >= view.limit) continue;
+					rows.push({
+						node_id: node.node_id,
+						kind: node.kind,
+						identity: node.identity,
+						observation_id: observation.observation_id,
+						source_map_reference: observation.source_map_reference,
+						...view.include_available_property_keys ? { available_property_keys: Object.keys(observation.properties).sort() } : {},
+						properties: Object.fromEntries(keys.flatMap((key) => {
+							const value = observation.properties[key];
+							return value !== undefined && Object.hasOwn(observation.properties, key) ? [[key, value]] : [];
+						})),
+						evidence: observation.evidence
+					});
+				}
+			}
+			return {
+				rows,
+				total
+			};
+		};
+	})))();
+}
+
 //#endregion
 //#region dist/domain/analysisView/analysisViewErrors.js
 var INSPECT_ANALYSIS_VIEW_OPERATION, analysisViewInputError;
@@ -1533,12 +1683,23 @@ function init_binaryLayoutView() {
 
 //#endregion
 //#region dist/domain/analysisView/javascriptApplicationView.js
-var OPERATION$1, inputError$1, jsIncompatible, javascriptModulePath, moduleEntries, exportNames, nodeHashes, sourceRanges, moduleItem, applicationUnknownCount, javascriptCoverageUnknowns, parentFields$1, selectModule, projectJavaScriptApplicationView;
+/** One owner for the module kinds and path semantics of every module view. */
+function* moduleEntries(nodes) {
+	for (const node of nodes) {
+		if (isModuleNode(node)) yield {
+			node,
+			path: javascriptModulePath(node)
+		};
+	}
+}
+var OPERATION$1, inputError$1, jsIncompatible, javascriptModulePath, isModuleNode, modulePage, exportNames, nodeHashes, sourceRanges, moduleItem, moduleReference, javascriptCoverageUnknowns, parentFields$1, selectModule, projectJavaScriptApplicationView;
 function init_javascriptApplicationView() {
 	return (init_javascriptApplicationView = __esmMin((() => {
 		init_analysisErrorCore();
 		init_jsonValue();
 		init_result();
+		init_javascriptApplicationCoverage();
+		init_javascriptFactsView();
 		init_analysisViewCoverage();
 		OPERATION$1 = "inspect_analysis_view";
 		inputError$1 = (issues) => new AnalysisInputError(OPERATION$1, undefined, issues);
@@ -1559,10 +1720,21 @@ function init_javascriptApplicationView() {
 			}
 			return null;
 		};
-		moduleEntries = (nodes) => nodes.filter((node) => node.kind === "javascript-asset" || node.kind === "javascript-module" || node.kind === "source-module").map((node) => ({
-			node,
-			path: javascriptModulePath(node)
-		}));
+		isModuleNode = (node) => node.kind === "javascript-asset" || node.kind === "javascript-module" || node.kind === "source-module";
+		modulePage = (nodes, view) => {
+			const entries = [];
+			let total = 0;
+			for (const entry of moduleEntries(nodes)) {
+				if (view.where?.kind !== undefined && entry.node.kind !== view.where.kind) continue;
+				if (view.where?.path !== undefined && entry.path !== view.where.path) continue;
+				if (total >= view.offset && entries.length < view.limit) entries.push(entry);
+				total += 1;
+			}
+			return {
+				entries,
+				total
+			};
+		};
 		exportNames = (node) => {
 			const names = new Set();
 			for (const observation of node.observations) {
@@ -1616,17 +1788,37 @@ function init_javascriptApplicationView() {
 				}
 			}))
 		});
-		applicationUnknownCount = (analysis) => analysis.graph.nodes.reduce((count, node) => count + Number(node.kind === "unknown"), 0);
-		javascriptCoverageUnknowns = (analysis) => {
+		moduleReference = ({ node, path }) => {
+			let ranges = 0;
+			const support = new Map();
+			for (const { evidence } of node.observations) {
+				if (evidence.location.available && evidence.location.value.kind === "source-range") ranges += 1;
+				const { authority, state, confidence } = evidence;
+				support.set(`${authority}:${state}:${confidence}`, {
+					authority,
+					state,
+					confidence
+				});
+			}
+			return {
+				node_id: node.node_id,
+				kind: node.kind,
+				path,
+				identity: node.identity,
+				retained_source_range_count: ranges,
+				basis: [...support.values()]
+			};
+		};
+		javascriptCoverageUnknowns = (coverage) => {
 			const unknowns = [];
-			if (analysis.graph.coverage.status !== "complete") unknowns.push(`graph.coverage.status is ${analysis.graph.coverage.status}`);
-			if (analysis.semantic_graph.coverage.status !== "complete") unknowns.push(`semantic_graph.coverage.status is ${analysis.semantic_graph.coverage.status}`);
-			const applicationUnknowns = applicationUnknownCount(analysis);
+			if (coverage.application.status !== "complete") unknowns.push(`graph.coverage.status is ${coverage.application.status}`);
+			if (coverage.semantic.status !== "complete") unknowns.push(`semantic_graph.coverage.status is ${coverage.semantic.status}`);
+			const applicationUnknowns = coverage.application_unknown_count;
 			if (applicationUnknowns > 0) unknowns.push(`${String(applicationUnknowns)} application graph unknowns remain in the parent Evidence.`);
-			if (analysis.semantic_graph.unknowns.length > 0) unknowns.push(`${String(analysis.semantic_graph.unknowns.length)} semantic graph unknowns remain in the parent Evidence.`);
+			if (coverage.semantic_unknown_count > 0) unknowns.push(`${String(coverage.semantic_unknown_count)} semantic graph unknowns remain in the parent Evidence.`);
 			return unknowns;
 		};
-		parentFields$1 = (parent, analysis) => {
+		parentFields$1 = (parent, analysis, sourceCoverage) => {
 			const limitations = [
 				...analysis.limitations,
 				...analysis.graph.limitations,
@@ -1641,7 +1833,7 @@ function init_javascriptApplicationView() {
 					sha256: analysis.root_artifact_sha256
 				},
 				limitations: boundedViewMessages([...parent.limitations, ...limitations], parent.evidenceId, "limitations"),
-				unknowns: boundedViewMessages(limitations, parent.evidenceId, "unknowns", javascriptCoverageUnknowns(analysis))
+				unknowns: boundedViewMessages(limitations, parent.evidenceId, "unknowns", javascriptCoverageUnknowns(sourceCoverage))
 			};
 		};
 		selectModule = (modules, selector) => {
@@ -1690,38 +1882,65 @@ function init_javascriptApplicationView() {
 			return err(jsIncompatible("Module items are selected by exact path or node_id."));
 		};
 		projectJavaScriptApplicationView = (parent, analysis, view) => {
-			if (view.kind !== "summary" && view.kind !== "item" && view.kind !== "page") return err(jsIncompatible("JavaScript application Evidence supports summary, module item or module page views."));
-			const shared = parentFields$1(parent, analysis);
-			const modules = moduleEntries(analysis.graph.nodes);
-			if (view.kind === "summary") return ok({
-				kind: "summary",
-				view,
-				summary: {
-					input_path: analysis.input_path,
-					format: analysis.format,
-					root_artifact_sha256: analysis.root_artifact_sha256,
-					...analysis.source_selection === undefined ? {} : { source_selection: analysis.source_selection },
-					statistics: jsonObjectSchema.parse(analysis.statistics),
-					electron: jsonObjectSchema.parse(analysis.summary),
-					coverage: jsonObjectSchema.parse({
-						application: analysis.graph.coverage,
-						semantic: {
-							...analysis.semantic_graph.coverage,
-							families: analysis.semantic_graph.coverage.families.map(({ unknown_ids, ...family }) => ({
-								...family,
-								unknown_count: unknown_ids.length
-							}))
-						},
-						application_unknowns: applicationUnknownCount(analysis),
-						semantic_unknowns: analysis.semantic_graph.unknowns.length
-					}),
-					limitation_count: analysis.limitations.length
-				},
-				coverage: completeWithinViewCoverage(modules.length, analysis.graph.nodes.length),
-				...shared
-			});
+			if (view.kind !== "summary" && view.kind !== "item" && view.kind !== "page" && view.kind !== "javascript" && view.kind !== "javascript-facts") return err(jsIncompatible("JavaScript application Evidence supports summary, module item/page, typed module references or selected JavaScript facts."));
+			const sourceCoverage = javascriptApplicationSourceCoverage(analysis);
+			const shared = parentFields$1(parent, analysis, sourceCoverage);
+			if (view.kind === "javascript-facts") {
+				const { rows, total } = projectJavaScriptFacts(analysis.graph.nodes, view);
+				return ok({
+					...shared,
+					kind: "javascript-facts",
+					view,
+					rows,
+					source_coverage: sourceCoverage,
+					coverage: pageViewCoverage(view.offset, rows.length, total)
+				});
+			}
+			if (view.kind === "javascript") {
+				const { entries, total } = modulePage(analysis.graph.nodes, view);
+				const rows = entries.map(moduleReference);
+				return ok({
+					...shared,
+					kind: "javascript",
+					view,
+					rows,
+					source_coverage: sourceCoverage,
+					coverage: pageViewCoverage(view.offset, rows.length, total)
+				});
+			}
+			if (view.kind === "summary") {
+				const moduleCount = analysis.graph.nodes.reduce((count, node) => count + Number(isModuleNode(node)), 0);
+				return ok({
+					kind: "summary",
+					view,
+					summary: {
+						input_path: analysis.input_path,
+						format: analysis.format,
+						root_artifact_sha256: analysis.root_artifact_sha256,
+						...analysis.source_selection === undefined ? {} : { source_selection: analysis.source_selection },
+						statistics: jsonObjectSchema.parse(analysis.statistics),
+						electron: jsonObjectSchema.parse(analysis.summary),
+						coverage: jsonObjectSchema.parse({
+							application: analysis.graph.coverage,
+							semantic: {
+								...analysis.semantic_graph.coverage,
+								families: analysis.semantic_graph.coverage.families.map(({ unknown_ids, ...family }) => ({
+									...family,
+									unknown_count: unknown_ids.length
+								}))
+							},
+							application_unknowns: sourceCoverage.application_unknown_count,
+							semantic_unknowns: sourceCoverage.semantic_unknown_count
+						}),
+						limitation_count: analysis.limitations.length
+					},
+					coverage: completeWithinViewCoverage(moduleCount, analysis.graph.nodes.length),
+					...shared
+				});
+			}
 			if (view.kind === "item") {
 				if (view.collection !== "modules") return err(jsIncompatible("Section and symbol collections apply to inspect_binary_layout Evidence."));
+				const modules = [...moduleEntries(analysis.graph.nodes)];
 				const selected = selectModule(modules, view.selector);
 				if (!selected.ok) return selected;
 				return ok({
@@ -1733,7 +1952,8 @@ function init_javascriptApplicationView() {
 				});
 			}
 			if (view.kind !== "page" || view.collection !== "modules") return err(jsIncompatible("Section and symbol collections apply to inspect_binary_layout Evidence."));
-			const items = modules.slice(view.offset, view.offset + view.limit).map(({ node, path }) => ({
+			const { entries, total } = modulePage(analysis.graph.nodes, view);
+			const items = entries.map(({ node, path }) => ({
 				node_id: node.node_id,
 				kind: node.kind,
 				path
@@ -1742,7 +1962,7 @@ function init_javascriptApplicationView() {
 				kind: "page",
 				view,
 				items,
-				coverage: pageViewCoverage(view.offset, items.length, modules.length),
+				coverage: pageViewCoverage(view.offset, items.length, total),
 				...shared
 			});
 		};
@@ -1980,16 +2200,73 @@ function init_webNetworkCapture() {
 	})))();
 }
 
+//#endregion
+//#region dist/domain/analysisView/analysisViewDataAdmission.js
+var MEMBER_BYTES, CONTAINER_BYTES, textBytes$1, admitAnalysisViewData;
+function init_analysisViewDataAdmission() {
+	return (init_analysisViewDataAdmission = __esmMin((() => {
+		init_analysisErrorCore();
+		init_jsonValue();
+		init_result();
+		MEMBER_BYTES = 256;
+		CONTAINER_BYTES = 512;
+		textBytes$1 = (length) => 32 + length * 14;
+		admitAnalysisViewData = (value, inline, reserve) => {
+			const ancestors = new Set();
+			const path = inline ? ["source", "evidence"] : ["source"];
+			const invalid = () => err(new AnalysisInputError("inspect_analysis_view", undefined, [{
+				path: [...path],
+				reason: "invalid_value",
+				message: "Parent data must contain bounded ordinary JSON data without cycles or accessors."
+			}]));
+			const visit = (item, depth) => {
+				if (isProxy(item) || typeof item === "function") return invalid();
+				if (depth > 1e3 + (inline ? 4 : 3) || typeof item === "object" && item !== null && ancestors.has(item)) return invalid();
+				const member = reserve?.(MEMBER_BYTES + (inline && typeof item === "string" ? textBytes$1(item.length) : 0) + (typeof item === "object" && item !== null ? CONTAINER_BYTES : 0));
+				if (member !== undefined && !member.ok) return member;
+				if (typeof item !== "object" || item === null) return ok(undefined);
+				ancestors.add(item);
+				const child = (key) => {
+					path.push(key);
+					const descriptor = Object.getOwnPropertyDescriptor(item, key);
+					const admitted = descriptor === undefined || !Object.hasOwn(descriptor, "value") ? invalid() : visit(descriptor.value, depth + 1);
+					path.pop();
+					return admitted;
+				};
+				if (Array.isArray(item)) {
+					if (Object.getPrototypeOf(item) !== Array.prototype || Object.hasOwn(item, Symbol.iterator) || Object.hasOwn(item, "map") || Object.hasOwn(item, "constructor")) return invalid();
+					for (let index = 0; index < item.length; index += 1) {
+						const admitted = child(index);
+						if (!admitted.ok) return admitted;
+					}
+				} else {
+					const prototype = Object.getPrototypeOf(item);
+					if (prototype !== Object.prototype && prototype !== null) return invalid();
+					for (const key of Object.getOwnPropertyNames(item)) {
+						const keyAdmission = inline ? reserve?.(textBytes$1(key.length)) : undefined;
+						if (keyAdmission !== undefined && !keyAdmission.ok) return keyAdmission;
+						const admitted = child(key);
+						if (!admitted.ok) return admitted;
+					}
+				}
+				ancestors.delete(item);
+				return ok(undefined);
+			};
+			return visit(value, 0);
+		};
+	})))();
+}
+
 //#endregion
 //#region dist/domain/analysisView/WebNetworkApiSurfaceAccumulator.js
-var requestSchema, responseSchema, contentSchema, MEDIA_TYPE_ESSENCE, mediaTypeEssence, GROUP_BYTES, SEGMENT_BYTES, ENTRY_BYTES, RECORD_SCRATCH_BYTES, SEGMENT_SCRATCH_BYTES, CAPTURE_CONTAINER_BYTES, CAPTURE_MEMBER_BYTES, textBytes, segmentRule, WebNetworkApiSurfaceAccumulator;
+var requestSchema, responseSchema, contentSchema, MEDIA_TYPE_ESSENCE, mediaTypeEssence, GROUP_BYTES, SEGMENT_BYTES, ENTRY_BYTES, RECORD_SCRATCH_BYTES, SEGMENT_SCRATCH_BYTES, CAPTURE_CONTAINER_BYTES, textBytes, segmentRule, WebNetworkApiSurfaceAccumulator;
 function init_WebNetworkApiSurfaceAccumulator() {
 	return (init_WebNetworkApiSurfaceAccumulator = __esmMin((() => {
 		init_analysisErrorCore();
 		init_unicodeCodePointOrder();
 		init_recordedTransportUrl();
 		init_result();
-		init_jsonValue();
+		init_analysisViewDataAdmission();
 		init_webNetworkCapture();
 		init_analysisViewCoverage();
 		requestSchema = z.object({ request: z.object({
@@ -2017,7 +2294,6 @@ function init_WebNetworkApiSurfaceAccumulator() {
 		RECORD_SCRATCH_BYTES = 512;
 		SEGMENT_SCRATCH_BYTES = 512;
 		CAPTURE_CONTAINER_BYTES = 512;
-		CAPTURE_MEMBER_BYTES = 256;
 		textBytes = (length) => 32 + length * 14;
 		segmentRule = (value) => {
 			if (/^[0-9]+$/u.test(value)) return "numeric";
@@ -2058,46 +2334,11 @@ function init_WebNetworkApiSurfaceAccumulator() {
 			}
 			/** Reserve schema output and validation scratch while the borrowed parent stays live. */
 			admitCaptureClone(value) {
-				return this.#admitCaptureValue(value, new Set(), 0, false);
+				return admitAnalysisViewData(value, false, (bytes) => this.#retain(bytes) ? ok(undefined) : this.#overBudget());
 			}
 			/** Admit the complete portable envelope before cloning or authenticating it. */
 			admitInlineEvidence(value) {
-				return this.#admitCaptureValue(value, new Set(), 0, true);
-			}
-			#admitCaptureValue(value, ancestors, depth, inline) {
-				if (depth > 1e3 + (inline ? 4 : 3) || typeof value === "object" && value !== null && ancestors.has(value)) return this.#invalidCapture();
-				if (!this.#retain(CAPTURE_MEMBER_BYTES)) return this.#overBudget();
-				if (inline && typeof value === "string" && !this.#retain(textBytes(value.length))) return this.#overBudget();
-				if (typeof value !== "object" || value === null) return ok(undefined);
-				if (!this.#retain(CAPTURE_CONTAINER_BYTES)) return this.#overBudget();
-				ancestors.add(value);
-				if (Array.isArray(value)) {
-					for (let index = 0; index < value.length; index += 1) {
-						const descriptor = Object.getOwnPropertyDescriptor(value, index);
-						if (descriptor === undefined || !Object.hasOwn(descriptor, "value")) return this.#invalidCapture();
-						const admitted = this.#admitCaptureValue(descriptor.value, ancestors, depth + 1, inline);
-						if (!admitted.ok) return admitted;
-					}
-				} else {
-					const prototype = Object.getPrototypeOf(value);
-					if (prototype !== Object.prototype && prototype !== null) return this.#invalidCapture();
-					for (const key of Object.getOwnPropertyNames(value)) {
-						if (inline && !this.#retain(textBytes(key.length))) return this.#overBudget();
-						const descriptor = Object.getOwnPropertyDescriptor(value, key);
-						if (descriptor === undefined || !Object.hasOwn(descriptor, "value")) return this.#invalidCapture();
-						const admitted = this.#admitCaptureValue(descriptor.value, ancestors, depth + 1, inline);
-						if (!admitted.ok) return admitted;
-					}
-				}
-				ancestors.delete(value);
-				return ok(undefined);
-			}
-			#invalidCapture() {
-				return err(new AnalysisInputError("inspect_analysis_view", undefined, [{
-					path: ["source"],
-					reason: "invalid_value",
-					message: "Parent capture must contain bounded ordinary JSON data without cycles or accessors."
-				}]));
+				return admitAnalysisViewData(value, true, (bytes) => this.#retain(bytes) ? ok(undefined) : this.#overBudget());
 			}
 			addLimitations(limitations) {
 				for (const limitation of limitations) {
@@ -2861,7 +3102,6 @@ function init_artifactInventoryView() {
 		init_canonicalOrdering();
 		init_result();
 		init_artifactInventoryEvidence();
-		init_artifactInspection();
 		init_analysisViewCoverage();
 		inputError = (message) => new AnalysisInputError("inspect_analysis_view", undefined, [{
 			path: ["source"],
@@ -2875,18 +3115,11 @@ function init_artifactInventoryView() {
 					evidenceIds: [parent.evidenceId],
 					inspection: null
 				});
-				const inspection = artifactInspectionResultSchema.parse(parent.normalizedResult);
-				for (const step of inspection.substeps) {
-					if (step.evidence_id !== step.evidence.evidence_id || step.evidence.operation !== step.operation) throw new TypeError("Inspection substep identity differs from its source Evidence");
-				}
-				const parsed = parseArtifactInventoryEvidence(inspection.substeps.map(({ evidence }) => evidence));
-				const manifest = parsed.inventory.manifest;
-				validateArtifactInventorySubject(parent.subject ?? null, manifest);
-				if (inspection.subject.manifest_id !== manifest.manifest_id || inspection.subject.root_artifact_id !== manifest.root_artifact_id || inspection.subject.root_sha256 !== manifest.root_sha256 || inspection.subject.root_format !== manifest.root_format) throw new TypeError("Inspection subject differs from its inventory manifest");
+				const parsed = parseArtifactInspectionInventoryResult(parent.normalizedResult, parent.subject ?? null);
 				return ok({
 					inventory: parsed.inventory,
-					evidenceIds: parsed.evidence.map(({ evidence_id }) => evidence_id),
-					inspection
+					evidenceIds: parsed.evidenceIds,
+					inspection: parsed.inspection
 				});
 			} catch (cause) {
 				if (!(cause instanceof TypeError) && !(cause instanceof z.ZodError)) throw cause;
@@ -3119,6 +3352,8 @@ function init_managedMemberView() {
 		]);
 		nullableCount = z.number().int().nonnegative().nullable();
 		managedMemberSummarySchema = z.strictObject({
+			signature_resolution: member.signature_resolution,
+			nesting_read: member.nesting_read,
 			artifact: member.artifact,
 			module: member.module,
 			metadata: member.metadata,
@@ -3142,6 +3377,8 @@ function init_managedMemberView() {
 			})
 		});
 		managedMembersViewContextSchema = z.strictObject({
+			signature_resolution: member.signature_resolution,
+			nesting_read: member.nesting_read,
 			identity_scope: member.identity_scope,
 			selection: member.selection.unwrap(),
 			source_metadata_status: member.metadata.shape.status,
@@ -3244,6 +3481,8 @@ function init_managedMemberView() {
 				view,
 				page,
 				...shared,
+				signature_resolution: report.signature_resolution,
+				nesting_read: report.nesting_read,
 				identity_scope: report.identity_scope,
 				selection: report.selection,
 				source_metadata_status: report.metadata.status,
@@ -5115,9 +5354,12 @@ function init_dartAotView() {
 
 //#endregion
 //#region dist/domain/analysisView/analysisView.js
-var summaryViewSchema, facetViewSchema, indexSelectorSchema, nameSelectorSchema, pathSelectorSchema, nodeIdSelectorSchema, moduleItemViewSchema, sectionOrSymbolItemViewSchema, itemViewSchema, pageViewSchema, nativeViewSchema, inventoryViewSchema, analysisViewRequestSchema, inlineEvidenceInputSchema, analysisViewSourceSchema, inspectAnalysisViewInputSchema, coverageSchema, artifactSchema, layoutSummarySchema, javascriptSummarySchema, inventorySummarySchema, viewResultBase, summaryViewResultBase, binaryLayoutSummaryViewResultSchema, javascriptApplicationSummaryViewResultSchema, artifactInventorySummaryViewResultSchema, wasmArtifactSummaryViewResultSchema, machoSummaryViewResultSchema, interfaceBuilderSummaryViewResultSchema, evmInterfaceSummaryViewResultSchema, managedArtifactSummaryViewResultSchema, managedMemberSummaryViewResultSchema, webNetworkCaptureSummaryViewResultSchema, androidPackageSummaryViewResultSchema, pcapCaptureSummaryViewResultSchema, dartAotSummaryViewResultSchema, analysisViewResultSchema, sealAnalysisView, parentDigest, parseJavaScriptParent, unsupportedParent, parentArtifactPath, retainedViewProjectors, projectAnalysisView;
+var summaryViewSchema, facetViewSchema, indexSelectorSchema, nameSelectorSchema, pathSelectorSchema, nodeIdSelectorSchema, moduleItemViewSchema, sectionOrSymbolItemViewSchema, itemViewSchema, pageViewSchema, nativeViewSchema, inventoryViewSchema, analysisViewRequestSchema, inlineEvidenceInputSchema, analysisViewSourceSchema, inspectAnalysisViewInputSchema, coverageSchema, artifactSchema, layoutSummarySchema, javascriptSummarySchema, inventorySummarySchema, viewResultBase, summaryViewResultBase, binaryLayoutSummaryViewResultSchema, javascriptApplicationSummaryViewResultSchema, javascriptModuleReferencesViewResultSchema, javascriptFactsViewResultSchema, artifactInventorySummaryViewResultSchema, wasmArtifactSummaryViewResultSchema, machoSummaryViewResultSchema, interfaceBuilderSummaryViewResultSchema, evmInterfaceSummaryViewResultSchema, managedArtifactSummaryViewResultSchema, managedMemberSummaryViewResultSchema, webNetworkCaptureSummaryViewResultSchema, androidPackageSummaryViewResultSchema, pcapCaptureSummaryViewResultSchema, dartAotSummaryViewResultSchema, analysisViewResultSchema, sealAnalysisView, parentDigest, parseJavaScriptParent, unsupportedParent, parentArtifactPath, retainedViewProjectors, projectAnalysisView;
 function init_analysisView() {
 	return (init_analysisView = __esmMin((() => {
+		init_javascriptModuleReferences();
+		init_javascriptApplicationCoverage();
+		init_javascriptFactsView();
 		init_javascriptSourceSelection();
 		init_analysisErrorCore();
 		init_analysisViewErrors();
@@ -5227,6 +5469,8 @@ function init_analysisView() {
 			facetViewSchema,
 			itemViewSchema,
 			pageViewSchema,
+			javascriptModuleReferencesRequestSchema,
+			javascriptFactsViewRequestSchema,
 			nativeViewSchema,
 			inventoryViewSchema,
 			wasmViewRequestSchema,
@@ -5373,6 +5617,22 @@ function init_analysisView() {
 			summary: javascriptSummarySchema,
 			parent_operation: z.literal("analyze_javascript_application")
 		});
+		javascriptModuleReferencesViewResultSchema = z.strictObject({
+			...viewResultBase,
+			kind: z.literal("javascript"),
+			view: javascriptModuleReferencesRequestSchema,
+			parent_operation: z.literal("analyze_javascript_application"),
+			rows: z.array(javascriptModuleReferenceSchema),
+			source_coverage: javascriptApplicationSourceCoverageSchema
+		});
+		javascriptFactsViewResultSchema = z.strictObject({
+			...viewResultBase,
+			kind: z.literal("javascript-facts"),
+			view: javascriptFactsViewRequestSchema,
+			parent_operation: z.literal("analyze_javascript_application"),
+			rows: z.array(javascriptFactRowSchema),
+			source_coverage: javascriptApplicationSourceCoverageSchema
+		});
 		artifactInventorySummaryViewResultSchema = z.strictObject({
 			...summaryViewResultBase,
 			parent_operation: z.enum(["inspect_artifact", "inventory_artifact"]),
@@ -5499,6 +5759,8 @@ function init_analysisView() {
 				items: z.array(jsonValueSchema),
 				...viewResultBase
 			}),
+			javascriptModuleReferencesViewResultSchema,
+			javascriptFactsViewResultSchema,
 			z.strictObject({
 				kind: z.literal("native"),
 				view: nativeViewSchema,
@@ -6425,7 +6687,8 @@ function init_rawBinary() {
 			"x86_64",
 			"arm",
 			"arm64",
-			"6502"
+			"6502",
+			"m68k"
 		];
 		binaryArchitectureSchema = z.enum(BINARY_ARCHITECTURES);
 		RAW_BINARY_ENTRY_POINT = /^0x[0-9A-Fa-f]{1,16}$/u;
@@ -6440,11 +6703,11 @@ function init_rawBinary() {
 			});
 		};
 		validateRawBinaryLength = (length) => Number.isSafeInteger(length) && length >= 1 ? ok(null) : err("raw-binary requires at least one file byte");
-		addressWidth = (architecture) => architecture === "6502" ? 65535n : architecture === "x86" || architecture === "arm" ? 4294967295n : 18446744073709551615n;
+		addressWidth = (architecture) => architecture === "6502" ? 65535n : architecture === "x86" || architecture === "arm" || architecture === "m68k" ? 4294967295n : 18446744073709551615n;
 		admitRawBinary = (input) => {
 			const architecture = binaryArchitectureSchema.safeParse(input.architecture);
 			if (!architecture.success) return err({
-				reason: "raw-binary format requires architecture (x86, x86_64, arm, arm64, or 6502)",
+				reason: "raw-binary format requires architecture (x86, x86_64, arm, arm64, 6502, or m68k)",
 				constraint: "load_selection_rejected"
 			});
 			if (typeof input.entryPoint !== "string") return err({
@@ -6460,6 +6723,10 @@ function init_rawBinary() {
 				reason: `raw-binary ${architecture.data} entry_point ${entry.value.canonical} must be 4-byte aligned`,
 				constraint: "load_selection_rejected"
 			});
+			if (architecture.data === "m68k" && entry.value.value % 2n !== 0n) return err({
+				reason: `raw-binary m68k entry_point ${entry.value.canonical} must be 2-byte aligned`,
+				constraint: "load_selection_rejected"
+			});
 			const length = validateRawBinaryLength(input.fileBytes);
 			if (!length.ok) return err({
 				reason: length.error,
@@ -6848,6 +7115,23 @@ function init_bytePattern() {
 				code: "custom",
 				message: "Byte search coverage and continuation disagree"
 			});
+			const ranges = value.searched.blocks.map((block) => ({
+				segment: block.segment,
+				start: addressCoordinate(block.start),
+				end: addressCoordinate(block.end)
+			}));
+			for (const [index, match] of value.matches.entries()) {
+				const address = addressCoordinate(match.address);
+				if (address === null || !ranges.some((range) => range.segment === match.segment && range.start !== null && range.end !== null && range.start.space === address.space && range.end.space === address.space && range.start.offset <= address.offset && address.offset <= range.end.offset)) context.addIssue({
+					code: "custom",
+					path: [
+						"matches",
+						index,
+						"address"
+					],
+					message: "Byte match must lie within reported searched coverage in the same segment and address space"
+				});
+			}
 		});
 	})))();
 }
@@ -7004,7 +7288,7 @@ function init_nativeMetadataRecovery() {
 
 //#endregion
 //#region dist/domain/native/nativeLoadImage.js
-var integer, digest, hexBytes, address, nativeLoadImageObservationSchema, nativeLoadImageCheckSchema, nativeLoadImageSchema;
+var integer, digest, hexBytes, address, nativeLoadImageObservationSchema, nativeLoadImageCheckSchema, nativeLoadImageSchema, nativeLoadImagePartialObservationSchema;
 function init_nativeLoadImage() {
 	return (init_nativeLoadImage = __esmMin((() => {
 		init_nativeMetadataRecovery();
@@ -7109,6 +7393,15 @@ function init_nativeLoadImage() {
 				limitations: z.array(z.string().min(1))
 			})
 		]);
+		nativeLoadImagePartialObservationSchema = z.discriminatedUnion("stage", [z.strictObject({
+			kind: z.literal("native-load-image"),
+			stage: z.literal("measured"),
+			observations: nativeLoadImageObservationSchema
+		}), z.strictObject({
+			kind: z.literal("native-load-image"),
+			stage: z.literal("completed"),
+			result: nativeLoadImageSchema
+		})]);
 	})))();
 }
 
@@ -7249,25 +7542,65 @@ function init_processTraceEvaluation() {
 				locations: [...input.locations]
 			}
 		});
-		evaluateFiniteTrace = (ids, specification) => {
-			if (specification.language.kind !== "finite_traces") return null;
-			for (const variant of specification.language.variants) {
+		evaluateFiniteTrace = (ids, language) => {
+			let bestPrefix = -1;
+			const bestEventIds = new Set();
+			const bestLocationIndexes = new Set();
+			const recordMismatch = (offset, missing, unexpected) => {
+				if (offset > bestPrefix) {
+					bestPrefix = offset;
+					bestEventIds.clear();
+					bestLocationIndexes.clear();
+				}
+				if (offset !== bestPrefix) return;
+				for (const eventId of missing) bestEventIds.add(eventId);
+				for (const { id, index } of unexpected) {
+					bestEventIds.add(id);
+					bestLocationIndexes.add(index);
+				}
+			};
+			for (const variant of language.variants) {
 				let offset = 0;
-				let accepted = true;
+				let mismatched = false;
 				for (const token of variant.trace) {
-					if (typeof token === "string") {
-						if (ids[offset] !== token) accepted = false;
-						offset += 1;
-						continue;
+					const expected = typeof token === "string" ? [token] : token.unordered;
+					const actual = ids.slice(offset, offset + expected.length);
+					const remaining = new Map();
+					for (const eventId of expected) remaining.set(eventId, (remaining.get(eventId) ?? 0) + 1);
+					const unexpected = [];
+					for (const [index, eventId] of actual.entries()) {
+						const count = remaining.get(eventId) ?? 0;
+						if (count === 0) unexpected.push({
+							id: eventId,
+							index: offset + index
+						});
+						else if (count === 1) remaining.delete(eventId);
+						else remaining.set(eventId, count - 1);
 					}
-					const actual = ids.slice(offset, offset + token.unordered.length).sort();
-					const expected = [...token.unordered].sort();
-					if (canonicalTraceJson(actual) !== canonicalTraceJson(expected)) accepted = false;
-					offset += token.unordered.length;
+					const missing = [...remaining].flatMap(([eventId, count]) => Array.from({ length: count }, () => eventId));
+					if (missing.length > 0 || unexpected.length > 0 || actual.length < expected.length) {
+						recordMismatch(offset, missing, unexpected);
+						mismatched = true;
+						break;
+					}
+					offset += expected.length;
 				}
-				if (accepted && offset === ids.length) return variant.id;
+				if (mismatched) continue;
+				if (offset === ids.length) return {
+					status: "pass",
+					variant: variant.id
+				};
+				const unexpected = ids[offset];
+				recordMismatch(offset, [], unexpected === undefined ? [] : [{
+					id: unexpected,
+					index: offset
+				}]);
 			}
-			return null;
+			return {
+				status: "fail",
+				eventIds: [...bestEventIds],
+				locationIndexes: [...bestLocationIndexes]
+			};
 		};
 		collectRecords = (capture, sources) => {
 			const records = [];
@@ -7427,18 +7760,21 @@ function init_processTraceEvaluation() {
 			if (invalidCardinality !== null) return invalidCardinality;
 			if (specification.language.kind === "partial_order") return evaluatePartialOrder(trace, specification.language);
 			const ids = trace.rawTrace.map(({ event_id }) => event_id);
-			const variant = evaluateFiniteTrace(ids, specification);
-			return variant === null ? failure({
+			const evaluation = evaluateFiniteTrace(ids, specification.language);
+			return evaluation.status === "fail" ? failure({
 				kind: "trace",
 				message: "Observed events do not match any finite trace variant.",
-				eventIds: ids,
-				locations: trace.rawTrace.map(({ location }) => location),
+				eventIds: evaluation.eventIds,
+				locations: evaluation.locationIndexes.flatMap((index) => {
+					const location = trace.rawTrace[index]?.location;
+					return location === undefined ? [] : [location];
+				}),
 				rawTrace: trace.rawTrace
 			}) : {
 				result: {
 					status: "pass",
-					matched_variant: variant,
-					satisfied_constraints: [`variant:${variant}`],
+					matched_variant: evaluation.variant,
+					satisfied_constraints: [`variant:${evaluation.variant}`],
 					raw_trace: trace.rawTrace
 				},
 				diagnostic: null
@@ -7489,7 +7825,7 @@ function init_processTraceDimensionProjection() {
 				case "terminal": return (!any(left.frames, right.frames) || sources.has("terminal_raw")) && (!any(left.rendered_frames, right.rendered_frames) || sources.has("terminal_rendered"));
 				case "interaction": return sources.has("interaction");
 				case "exit": return sources.has("lifecycle");
-				case "filesystem": return false;
+				case "filesystem": return sources.has("filesystem");
 				case "process": return sources.has("process");
 			}
 		};
@@ -7720,7 +8056,7 @@ function init_processComparison() {
 				const exact = dimensions[dimension];
 				if (!covered.has(dimension)) return exact;
 				if (trace.verdict === "nonconforming") return exact;
-				if (trace.verdict === "different") return traceShowsDifference && (exact !== "unchanged" || attributed.has(dimension)) ? "changed" : exact;
+				if (trace.verdict === "different") return traceShowsDifference && attributed.has(dimension) ? "changed" : exact;
 				if (trace.verdict === "unknown" && [
 					"changed",
 					"added",
@@ -8022,6 +8358,7 @@ function init_dylibResolutionFindings() {
 var ROOT_RELATIVE_PATH, rootRelativePathSchema, dylibResolutionInputSchema, dependencyCommandSchema, dependencySchema, machoSliceSchema, candidateSchema, edgeSchema, findingSchema$1, imageSchema, dylibResolutionResultSchema, candidateTemplates, evaluateCandidate, platformLoadability, imageLoadabilityForPlatform, isKnownPlatform, imageFacts, resolution, resolveDependency, traceProcess, traceDylibLoading, withoutDependencies, compare;
 function init_dylibResolution() {
 	return (init_dylibResolution = __esmMin((() => {
+		init_analysisErrorCore();
 		init_dyldPaths();
 		init_digests();
 		init_dyldEnvironment();
@@ -8347,7 +8684,7 @@ function init_dylibResolution() {
 			if (rootSlice.install_name !== null && rootSlice.install_name.startsWith("@rpath/")) context.byInstallName.set(rootSlice.install_name, context.root);
 			const pending = [context.root];
 			while (pending.length > 0) {
-				signal?.throwIfAborted();
+				if (signal?.aborted) throw new AnalysisCancelledError("trace_dylib_resolution", { cause: signal.reason });
 				const loader = pending.pop() ?? "";
 				const current = context.loaded.get(loader);
 				if (current === undefined) continue;
@@ -8459,6 +8796,109 @@ function init_dylibResolution() {
 	})))();
 }
 
+//#endregion
+//#region dist/domain/apple/plistValue.js
+var MAX_PLIST_DEPTH, unknownDateLimitation, nonFiniteRealLimitation, unknownRealLimitation, negativeZeroReal, negativeZeroRealLimitation, projectPlistValue;
+function init_plistValue() {
+	return (init_plistValue = __esmMin((() => {
+		init_plistNumbers();
+		MAX_PLIST_DEPTH = 128;
+		unknownDateLimitation = (count) => `${String(count)} date value(s) are reported as { "$plist_type": "date", "iso8601": null } because the decoder could not represent them, such as XML dates with years beyond 9999 or negative years, or dates outside the JavaScript date range.`;
+		nonFiniteRealLimitation = (count) => `${String(count)} non-finite real value(s) are reported as { "$plist_type": "real", "value": "<spelling>" } using canonical numeric labels nan, +infinity or -infinity because a JSON number cannot carry them.`;
+		unknownRealLimitation = (count) => `${String(count)} numeric value(s) are reported as { "$plist_type": "real", "value": null } because XML numeric decoding could not establish their value identity.`;
+		negativeZeroReal = () => ({
+			$plist_type: "real",
+			value: "-0"
+		});
+		negativeZeroRealLimitation = (count) => `${String(count)} negative-zero real value(s) are reported as { "$plist_type": "real", "value": "-0" } because a JSON number cannot carry the sign of zero.`;
+		projectPlistValue = (value, onWrappedScalar) => {
+			let nonFiniteRealCount = 0;
+			let unknownRealCount = 0;
+			let negativeZeroRealCount = 0;
+			let unknownDateCount = 0;
+			const scalar = (value) => {
+				onWrappedScalar?.(value);
+				return value;
+			};
+			const project = (item, depth) => {
+				if (depth > 128) throw new RangeError(`Plist exceeds ${String(128)} nesting levels`);
+				if (item !== null && typeof item === "object" && types.isProxy(item)) throw new TypeError("Plist values cannot contain proxies");
+				if (item instanceof Uint8Array) return scalar({
+					$plist_type: "data",
+					base64: Buffer.from(item).toString("base64")
+				});
+				if (item instanceof UnknownPlistReal) {
+					unknownRealCount += 1;
+					return scalar({
+						$plist_type: "real",
+						value: null
+					});
+				}
+				if (item instanceof Date) {
+					if (!Number.isNaN(Date.prototype.getTime.call(item))) return scalar({
+						$plist_type: "date",
+						iso8601: Date.prototype.toISOString.call(item)
+					});
+					unknownDateCount += 1;
+					return scalar({
+						$plist_type: "date",
+						iso8601: null
+					});
+				}
+				if (typeof item === "number" && !Number.isFinite(item)) {
+					nonFiniteRealCount += 1;
+					const label = Number.isNaN(item) ? "nan" : item > 0 ? "+infinity" : "-infinity";
+					return scalar({
+						$plist_type: "real",
+						value: label
+					});
+				}
+				if (typeof item === "number" && Object.is(item, -0)) {
+					negativeZeroRealCount += 1;
+					return scalar(negativeZeroReal());
+				}
+				if (typeof item === "bigint") return scalar({
+					$plist_type: "integer",
+					decimal: item.toString()
+				});
+				if (Array.isArray(item)) {
+					const result = [];
+					for (let index = 0; index < item.length; index++) {
+						const descriptor = Object.getOwnPropertyDescriptor(item, index);
+						if (descriptor === undefined || !Object.hasOwn(descriptor, "value")) throw new TypeError("Plist arrays require dense data properties without accessors");
+						result.push(project(descriptor.value, depth + 1));
+					}
+					return result;
+				}
+				if (item !== null && typeof item === "object") {
+					const entries = [];
+					for (const key of Reflect.ownKeys(item)) {
+						const descriptor = Object.getOwnPropertyDescriptor(item, key);
+						if (descriptor?.enumerable !== true) continue;
+						if (typeof key !== "string" || !Object.hasOwn(descriptor, "value")) throw new TypeError("Plist dictionary entries require string keys and data properties");
+						entries.push([key, project(descriptor.value, depth + 1)]);
+					}
+					return Object.fromEntries(entries);
+				}
+				return z.union([
+					z.string(),
+					z.number(),
+					z.boolean(),
+					z.null()
+				]).parse(item);
+			};
+			const projected = project(value, 0);
+			return {
+				value: projected,
+				nonFiniteRealCount,
+				unknownRealCount,
+				negativeZeroRealCount,
+				unknownDateCount
+			};
+		};
+	})))();
+}
+
 //#endregion
 //#region dist/domain/apple/keyedArchive.js
 var KeyedArchiveKindError, keyedArchiveInputSchema, linkSchema, keyedArchiveResultSchema, record, uid, archiverMismatch, projectKeyedArchive;
@@ -8466,6 +8906,8 @@ function init_keyedArchive() {
 	return (init_keyedArchive = __esmMin((() => {
 		init_analysisErrorCore();
 		init_jsonValue();
+		init_localPath();
+		init_plistValue();
 		KeyedArchiveKindError = class extends TypeError {
 			kind;
 			name = "KeyedArchiveKindError";
@@ -8475,7 +8917,7 @@ function init_keyedArchive() {
 			}
 		};
 		keyedArchiveInputSchema = z.strictObject({
-			path: z.string().min(1).default("."),
+			path: localPathStringSchema.default("."),
 			root: z.string().optional(),
 			offset: z.number().int().min(0).default(0),
 			limit: z.number().int().min(1).max(2e4).default(2e4)
@@ -8526,9 +8968,9 @@ function init_keyedArchive() {
 			truncated: z.boolean(),
 			limitations: z.array(z.string())
 		});
-		record = (value) => value !== null && typeof value === "object" && !Array.isArray(value) ? value : undefined;
-		uid = (value) => {
-			const object = record(value);
+		record = (value, wrappedScalars) => value !== null && typeof value === "object" && !Array.isArray(value) && !wrappedScalars.has(value) ? value : undefined;
+		uid = (value, wrappedScalars) => {
+			const object = record(value, wrappedScalars);
 			if (object === undefined || Object.keys(object).length !== 1) return undefined;
 			const marker = Object.hasOwn(object, "UID") ? object.UID : object["CF$UID"];
 			return typeof marker === "number" ? marker : undefined;
@@ -8539,12 +8981,14 @@ function init_keyedArchive() {
 			return typeof archive.$archiver === "string" ? `its $archiver is ${JSON.stringify(archive.$archiver)}` : "its $archiver is not a string";
 		};
 		projectKeyedArchive = (value, selection) => {
-			const archive = record(jsonValueSchema.parse(value));
+			const wrappedScalars = new WeakSet();
+			const projected = projectPlistValue(value, (scalar) => wrappedScalars.add(scalar));
+			const archive = record(projected.value, wrappedScalars);
 			if (archive?.$archiver !== "NSKeyedArchiver") throw new KeyedArchiveKindError(`Selected property list is not an NSKeyedArchiver archive: ${archiverMismatch(archive)}`, "property-list");
 			if (!Array.isArray(archive.$objects)) throw new TypeError("Expected NSKeyedArchiver with an $objects array");
 			const table = archive.$objects;
 			if (table.length > 2e5) throw new RangeError("Archive exceeds 200000 object-table entries");
-			const top = record(archive.$top);
+			const top = record(archive.$top, wrappedScalars);
 			if (top === undefined || Object.keys(top).length === 0) throw new TypeError("Keyed archive has no $top roots");
 			if (selection.root !== undefined && !Object.hasOwn(top, selection.root)) throw new AnalysisInputError("inspect_keyed_archive", undefined, [{
 				path: ["root"],
@@ -8555,16 +8999,13 @@ function init_keyedArchive() {
 			const roots = selection.root === undefined ? top : { [selection.root]: top[selection.root] ?? null };
 			const references = [];
 			const scan = (source, initial) => {
-				const pending = [{
-					value: initial,
-					path: []
-				}];
+				const pending = initial;
 				let visited = 0;
 				while (pending.length > 0) {
 					const item = pending.pop();
 					if (item === undefined) break;
 					if (++visited > 2e5 || item.path.length > 128) throw new RangeError("Archive exceeds 200000 values per object or 128 nesting levels");
-					const target = uid(item.value);
+					const target = uid(item.value, wrappedScalars);
 					if (target !== undefined) {
 						const index = Number.isSafeInteger(target) && target >= 0 ? target : null;
 						references.push({
@@ -8583,7 +9024,7 @@ function init_keyedArchive() {
 							});
 						}
 					} else {
-						const fields = record(item.value);
+						const fields = record(item.value, wrappedScalars);
 						if (fields !== undefined) for (const key of Object.keys(fields).sort().reverse()) {
 							const child = fields[key];
 							if (child !== undefined) pending.push({
@@ -8595,13 +9036,22 @@ function init_keyedArchive() {
 					if (references.length > 2e5) throw new RangeError("Archive exceeds 200000 reference edges");
 				}
 			};
-			scan(null, roots);
+			scan(null, Object.keys(roots).sort().reverse().flatMap((key) => {
+				const value = roots[key];
+				return value === undefined ? [] : [{
+					value,
+					path: [key]
+				}];
+			}));
 			const objects = table.map((value, id) => {
-				scan(id, value);
-				const fields = record(value);
-				const classUid = uid(fields?.$class);
+				scan(id, [{
+					value,
+					path: []
+				}]);
+				const fields = record(value, wrappedScalars);
+				const classUid = uid(fields?.$class, wrappedScalars);
 				const classId = classUid !== undefined && Number.isSafeInteger(classUid) && classUid >= 0 ? classUid : null;
-				const descriptor = classId === null ? undefined : record(table[classId]);
+				const descriptor = classId === null ? undefined : record(table[classId], wrappedScalars);
 				const className = typeof descriptor?.$classname === "string" ? descriptor.$classname : null;
 				const isNil = id === 0 && value === "$null";
 				return {
@@ -8617,6 +9067,10 @@ function init_keyedArchive() {
 			const page = objects.slice(selection.offset, end);
 			const ids = new Set(page.map(({ id }) => id));
 			return {
+				nonFiniteRealCount: projected.nonFiniteRealCount,
+				unknownRealCount: projected.unknownRealCount,
+				negativeZeroRealCount: projected.negativeZeroRealCount,
+				unknownDateCount: projected.unknownDateCount,
 				roots,
 				objects: page,
 				references: references.filter(({ source }) => source === null || ids.has(source)),
@@ -8766,11 +9220,41 @@ function init_appleAssetCatalog() {
 	})))();
 }
 
+//#endregion
+//#region dist/domain/managed/managedMemberSignatureIdentity.js
+var signatureIdentity, hasSignatureResolution, withoutResolution, comparableSides;
+function init_managedMemberSignatureIdentity() {
+	return (init_managedMemberSignatureIdentity = __esmMin((() => {
+		signatureIdentity = ({ raw_sha256, resolved_sha256 }) => resolved_sha256 === null ? `raw:${raw_sha256}` : `resolved:${resolved_sha256}`;
+		hasSignatureResolution = (result) => result.signature_resolution !== null || result.methods.length === 0 && result.fields.length === 0;
+		withoutResolution = (members) => members.map((member) => ({
+			...member,
+			signature: {
+				...member.signature,
+				resolved_sha256: null
+			}
+		}));
+		comparableSides = (left, right) => {
+			if (hasSignatureResolution(left.result) && hasSignatureResolution(right.result)) return [left, right];
+			const raw = (side) => ({
+				...side,
+				result: {
+					...side.result,
+					methods: withoutResolution(side.result.methods),
+					fields: withoutResolution(side.result.fields)
+				}
+			});
+			return [raw(left), raw(right)];
+		};
+	})))();
+}
+
 //#endregion
 //#region dist/domain/managed/managedMemberComparisonCoverage.js
 var buildComparisonCoverage, sameSelection, sideCoverageStatus, sideManifest, buildComparisonSummary, buildComparisonMatching, comparisonLimitations;
 function init_managedMemberComparisonCoverage() {
 	return (init_managedMemberComparisonCoverage = __esmMin((() => {
+		init_managedMemberSignatureIdentity();
 		buildComparisonCoverage = ({ left, right }) => {
 			const leftStatus = sideCoverageStatus(left);
 			const rightStatus = sideCoverageStatus(right);
@@ -8815,11 +9299,15 @@ function init_managedMemberComparisonCoverage() {
 			const limitations = [
 				"Metadata tokens are build-local coordinates; matched pairs are remaps, not persistent identities.",
 				"Methods pair within one declared type and name by exact CIL/signature, then signature, then structural shape; only then may exact CIL/signature or structural shape alone remap across declared types or names, never taking a member whose own declared type and name remain unpaired on the other side or whose declaring type is unresolved. Names alone are never a matching basis.",
-				"Fields pair by declared type, name, and signature, then remap by exact decoded signature alone under the same rule; an undecoded signature is compared only by its raw bytes, and an unmatched member with one stays unknown."
+				"Fields pair by declared type, name, and signature, then remap by exact decoded signature alone under the same rule; an undecoded signature is compared only for an exact signature match, and an unmatched member with one stays unknown."
 			];
+			const namesTypes = (result) => result.methods.some(({ signature }) => signature.resolved_sha256 !== null && signature.resolved_sha256 !== signature.raw_sha256) || result.fields.some(({ signature }) => signature.resolved_sha256 !== null && signature.resolved_sha256 !== signature.raw_sha256);
+			if (hasSignatureResolution(left) && hasSignatureResolution(right) && (namesTypes(left) || namesTypes(right))) limitations.push("Signature type operands compare by namespace, name, and enclosing names only; defining assemblies and CLR type identity are not established by this comparison.");
 			if (left.coverage.state !== "complete" || right.coverage.state !== "complete") limitations.push("At least one managed member observation is partial.");
 			if (!sameSelection(left, right)) limitations.push("The observations select different declaring types; a member outside the other side's selection is unknown, not added or removed.");
 			else if (left.selection !== null) limitations.push(`Both observations cover only the selected declaring types (${left.selection.type_names.join(", ")}); member totals and statuses describe those types, not the whole assembly.`);
+			if (!hasSignatureResolution(left) || !hasSignatureResolution(right)) limitations.push("At least one managed member observation does not attest signature type-name resolution, so signatures compare by raw bytes, which name types by build-local metadata row.");
+			if (left.nesting_read === null || right.nesting_read === null) limitations.push("At least one managed member observation predates enclosing-name identity. The legacy bare-name comparison does not establish the enclosing owner of a nested type.");
 			if (left.exported_types === null || right.exported_types === null) limitations.push("At least one managed member observation predates ExportedType inspection; its exported and forwarded types are unknown.");
 			if ((left.exported_types?.length ?? 0) > 0 || (right.exported_types?.length ?? 0) > 0) limitations.push("ExportedType rows, including type forwarders, are observed but not compared; an unchanged comparison does not establish an unchanged exported or forwarded type set.");
 			limitations.push("ldstr literals are not compared; normalized CIL keeps #US tokens rather than decoded text, so an unchanged method does not establish unchanged string literals.");
@@ -8830,40 +9318,40 @@ function init_managedMemberComparisonCoverage() {
 
 //#endregion
 //#region dist/domain/managed/managedMemberComparisonMatch.js
-var sha256$1, keyMethod, keyField, matchMethods, matchFields, identityOf, declaredAs, matchByKeys, unresolvedSignatureAmbiguities, unpairedOf, competitionIdentityKey, ownerlessContested, remappable, ownerlessDeclarable, groupBy, observedBy, matchObserved, keyMembers, parseManagedMemberEvidence;
+var sha256$1, keyMethod, keyField, matchMethods, matchFields, identityOf, declaredAs, matchByKeys, unresolvedSignatureAmbiguities, unpairedOf, competitionIdentityKey, ownerlessContested, remappable, declaredCandidates, groupBy, observedBy, matchObserved, keyMembers, parseManagedMemberEvidence;
 function init_managedMemberComparisonMatch() {
 	return (init_managedMemberComparisonMatch = __esmMin((() => {
 		init_managedArtifact();
 		init_managedInspectionEvidence();
+		init_managedMemberSignatureIdentity();
 		sha256$1 = (value) => {
 			const serialized = canonicalize(value);
 			if (serialized === undefined) throw new TypeError("Managed comparison canonicalization failed");
 			return createHash("sha256").update(serialized).digest("hex");
 		};
-		keyMethod = (item) => ({
+		keyMethod = (item, declared) => ({
 			item,
-			identity: identityOf(item),
-			rawSignatureKey: item.signature.raw_sha256,
+			identity: identityOf({
+				declaring_type: declared(item),
+				name: item.name
+			}),
+			identityUnavailable: declared(item) === null,
+			signatureId: signatureIdentity(item.signature),
 			exactKey: item.body.status === "present" && item.body.il_sha256 !== null && item.body.normalized_il_sha256 !== null ? sha256$1([
 				"method-exact",
-				item.signature.raw_sha256,
+				signatureIdentity(item.signature),
 				item.body.il_sha256,
 				item.body.normalized_il_sha256
 			]) : null,
-			signatureKey: sha256$1([
+			signatureKey: declared(item) === null ? null : sha256$1([
 				"method-signature",
-				item.declaring_type,
+				declared(item),
 				item.name,
-				item.signature.raw_sha256
+				signatureIdentity(item.signature)
 			]),
 			structuralKey: item.signature.parse_status === "decoded" && item.body.status === "present" ? sha256$1([
 				"method-structural",
-				item.signature.kind,
-				item.signature.calling_convention,
-				item.signature.generic_parameter_count,
-				item.signature.parameter_count,
-				item.signature.return_type,
-				item.signature.parameter_types,
+				signatureIdentity(item.signature),
 				item.body.status,
 				item.body.header_format,
 				item.body.il_size,
@@ -8884,16 +9372,20 @@ function init_managedMemberComparisonMatch() {
 				])
 			]) : null
 		});
-		keyField = (item) => ({
+		keyField = (item, declared) => ({
 			item,
-			identity: identityOf(item),
-			rawSignatureKey: item.signature.raw_sha256,
-			exactKey: item.signature.parse_status === "decoded" ? sha256$1(["field-exact", item.signature.raw_sha256]) : null,
-			signatureKey: sha256$1([
+			identity: identityOf({
+				declaring_type: declared(item),
+				name: item.name
+			}),
+			identityUnavailable: declared(item) === null,
+			signatureId: signatureIdentity(item.signature),
+			exactKey: item.signature.parse_status === "decoded" ? sha256$1(["field-exact", signatureIdentity(item.signature)]) : null,
+			signatureKey: declared(item) === null ? null : sha256$1([
 				"field-signature",
-				item.declaring_type,
+				declared(item),
 				item.name,
-				item.signature.raw_sha256
+				signatureIdentity(item.signature)
 			]),
 			structuralKey: sha256$1([
 				"field-structural",
@@ -8913,11 +9405,11 @@ function init_managedMemberComparisonMatch() {
 				{
 					basis: "exact-signature",
 					key: ({ signatureKey }) => signatureKey,
-					competitionKey: ({ rawSignatureKey }) => rawSignatureKey
+					competitionKey: ({ signatureId }) => signatureId
 				},
 				{
 					basis: "structural-method-shape",
-					key: declaredAs((keyed) => keyed.item.declaring_type === null ? null : keyed.structuralKey),
+					key: declaredAs((keyed) => keyed.identityUnavailable ? null : keyed.structuralKey),
 					competitionKey: ({ structuralKey }) => structuralKey
 				},
 				{
@@ -8944,7 +9436,7 @@ function init_managedMemberComparisonMatch() {
 				{
 					basis: "exact-signature",
 					key: ({ signatureKey }) => signatureKey,
-					competitionKey: ({ rawSignatureKey }) => rawSignatureKey
+					competitionKey: ({ signatureId }) => signatureId
 				},
 				{
 					basis: "field-signature",
@@ -8956,7 +9448,7 @@ function init_managedMemberComparisonMatch() {
 		identityOf = ({ declaring_type, name }) => sha256$1([declaring_type, name]);
 		declaredAs = (key) => (item) => {
 			const value = key(item);
-			return value === null ? null : sha256$1([item.identity, value]);
+			return value === null || item.identityUnavailable ? null : sha256$1([item.identity, value]);
 		};
 		matchByKeys = ({ left, right, rounds }) => {
 			const usedLeft = new Set();
@@ -8969,7 +9461,7 @@ function init_managedMemberComparisonMatch() {
 				const competitionKey = round.competitionKey ?? ((item) => item.exactKey);
 				const unpairedLeft = unpairedOf(left, pairedLeft);
 				const unpairedRight = unpairedOf(right, pairedRight);
-				const declarable = ownerlessDeclarable(unpairedLeft, unpairedRight, competitionKey);
+				const declarable = declaredCandidates(unpairedLeft, unpairedRight, competitionKey);
 				const openLeft = left.filter((item) => !usedLeft.has(item));
 				const openRight = right.filter((item) => !usedRight.has(item));
 				const remapContested = round.remap === true ? ownerlessContested([openLeft, openRight], competitionKey) : new Set();
@@ -8978,7 +9470,7 @@ function init_managedMemberComparisonMatch() {
 				for (const [key, leftItems] of leftGroups) {
 					const rightItems = rightGroups.get(key);
 					if (rightItems === undefined) continue;
-					const refused = round.remap === true && [...leftItems, ...rightItems].some(({ item }) => item.declaring_type === null);
+					const refused = round.remap === true && [...leftItems, ...rightItems].some(({ identityUnavailable }) => identityUnavailable);
 					if (!refused && leftItems.length === 1 && rightItems.length === 1) {
 						const [leftItem] = leftItems;
 						const [rightItem] = rightItems;
@@ -9004,7 +9496,7 @@ function init_managedMemberComparisonMatch() {
 					}
 				}
 			}
-			for (const group of unresolvedSignatureAmbiguities(left.filter((item) => !usedLeft.has(item)), right.filter((item) => !usedRight.has(item)), ownerlessContested([unpairedOf(left, pairedLeft), unpairedOf(right, pairedRight)], (member) => member.rawSignatureKey))) {
+			for (const group of unresolvedSignatureAmbiguities(left.filter((item) => !usedLeft.has(item)), right.filter((item) => !usedRight.has(item)), ownerlessContested([unpairedOf(left, pairedLeft), unpairedOf(right, pairedRight)], (member) => member.signatureId))) {
 				for (const item of group.left) usedLeft.add(item);
 				for (const item of group.right) usedRight.add(item);
 				ambiguous.push(group);
@@ -9017,7 +9509,7 @@ function init_managedMemberComparisonMatch() {
 			};
 		};
 		unresolvedSignatureAmbiguities = (left, right, contested) => {
-			const key = (member) => competitionIdentityKey(member, member.rawSignatureKey) ?? "";
+			const key = (member) => competitionIdentityKey(member, member.signatureId) ?? "";
 			const leftGroups = groupBy(left, key);
 			const rightGroups = groupBy(right, key);
 			const groups = [];
@@ -9043,7 +9535,7 @@ function init_managedMemberComparisonMatch() {
 					const key = competitionIdentityKey(member, keyOf(member));
 					if (key === null) continue;
 					seen.set(key, (seen.get(key) ?? 0) + 1);
-					if (member.item.declaring_type === null) ownerless.add(key);
+					if (member.identityUnavailable) ownerless.add(key);
 				}
 				for (const key of ownerless) if ((seen.get(key) ?? 0) > 1) contested.add(key);
 			}
@@ -9053,24 +9545,15 @@ function init_managedMemberComparisonMatch() {
 			const kept = new Set(others.map(({ identity }) => identity));
 			return items.filter((member) => {
 				const key = keyOf(member);
-				return key !== null && contested.has(competitionIdentityKey(member, key) ?? "") || member.item.declaring_type === null || !kept.has(member.identity);
+				return key !== null && contested.has(competitionIdentityKey(member, key) ?? "") || member.identityUnavailable || !kept.has(member.identity);
 			});
 		};
-		ownerlessDeclarable = (left, right, keyOf) => {
-			const count = (side) => {
-				const seen = new Map();
-				for (const member of side) {
-					const key = keyOf(member);
-					if (key !== null) seen.set(key, (seen.get(key) ?? 0) + 1);
-				}
-				return seen;
-			};
-			const leftSeen = count(left);
-			const rightSeen = count(right);
+		declaredCandidates = (left, right, keyOf) => {
 			const contested = ownerlessContested([left, right], keyOf);
 			return (member) => {
-				const key = keyOf(member);
-				return key !== null && contested.has(competitionIdentityKey(member, key) ?? "") ? false : member.item.declaring_type !== null || key === null || (leftSeen.get(key) ?? 0) <= 1 && (rightSeen.get(key) ?? 0) <= 1;
+				if (member.identityUnavailable) return false;
+				const key = competitionIdentityKey(member, keyOf(member));
+				return key === null || !contested.has(key);
 			};
 		};
 		groupBy = (items, keyOf) => {
@@ -9085,22 +9568,36 @@ function init_managedMemberComparisonMatch() {
 			return grouped;
 		};
 		observedBy = (side) => ({ declaring_type }) => side.result.selection === null || declaring_type !== null && side.result.selection.type_names.includes(declaring_type);
-		matchObserved = (left, right, sides, match, key) => {
-			const matched = match(left.filter(sides.inRight).map(key), right.filter(sides.inLeft).map(key));
+		matchObserved = (left, right, sides, match, keyLeft, keyRight) => {
+			const matched = match(left.filter(sides.inRight).map(keyLeft), right.filter(sides.inLeft).map(keyRight));
 			return {
 				...matched,
-				leftOnly: [...matched.leftOnly, ...left.filter((item) => !sides.inRight(item)).map(key)],
-				rightOnly: [...matched.rightOnly, ...right.filter((item) => !sides.inLeft(item)).map(key)]
+				leftOnly: [...matched.leftOnly, ...left.filter((item) => !sides.inRight(item)).map(keyLeft)],
+				rightOnly: [...matched.rightOnly, ...right.filter((item) => !sides.inLeft(item)).map(keyRight)]
 			};
 		};
-		keyMembers = (left, right) => {
+		keyMembers = (observedLeft, observedRight) => {
+			const [left, right] = comparableSides(observedLeft, observedRight);
 			const sides = {
 				inLeft: observedBy(left),
 				inRight: observedBy(right)
 			};
+			const modern = left.result.nesting_read !== null && right.result.nesting_read !== null;
+			const declared = (inspection) => {
+				const names = new Map(inspection.types.map((type) => [type.token, type.name_sha256]));
+				return (item) => {
+					if (inspection.nesting_read === false) return null;
+					const digest = names.get(item.declaring_type_token ?? "");
+					if (inspection.nesting_read !== null && digest == null) return null;
+					if (!modern) return item.declaring_type;
+					return digest == null ? null : ["nominal-name-sha256", digest];
+				};
+			};
+			const declaredLeft = declared(left.result);
+			const declaredRight = declared(right.result);
 			return {
-				methodMatches: matchObserved(left.result.methods, right.result.methods, sides, matchMethods, keyMethod),
-				fieldMatches: matchObserved(left.result.fields, right.result.fields, sides, matchFields, keyField)
+				methodMatches: matchObserved(left.result.methods, right.result.methods, sides, matchMethods, (item) => keyMethod(item, declaredLeft), (item) => keyMethod(item, declaredRight)),
+				fieldMatches: matchObserved(left.result.fields, right.result.fields, sides, matchFields, (item) => keyField(item, declaredLeft), (item) => keyField(item, declaredRight))
 			};
 		};
 		parseManagedMemberEvidence = (evidence) => {
@@ -9115,15 +9612,16 @@ function init_managedMemberComparisonMatch() {
 
 //#endregion
 //#region dist/domain/managed/managedMemberComparisonItems.js
-var inventoryCovers, methodDimensions, callShape, fieldShape, methodIdentity, fieldIdentity, unmatchedComparison, methodOnlyItem, absenceLimitations, undecodedOneSidedNames, fieldOnlyItem, ambiguityLimitation, buildMethodItems, buildFieldItems;
+var inventoryCovers, methodDimensions, callShape, fieldShape, methodIdentity, fieldIdentity, unmatchedComparison, methodOnlyItem, absenceLimitations, unresolved, pairedSignatureLimitations, undecodedOneSidedNames, fieldOnlyItem, ambiguityLimitation, buildMethodItems, buildFieldItems;
 function init_managedMemberComparisonItems() {
 	return (init_managedMemberComparisonItems = __esmMin((() => {
 		init_managedMemberComparisonMatch();
+		init_managedMemberSignatureIdentity();
 		inventoryCovers = (complete, selection, member) => complete && (selection === null || member.declaring_type !== null && selection.has(member.declaring_type));
 		methodDimensions = (left, right) => {
 			const dimensions = [];
 			if (left.flags !== right.flags || left.impl_flags !== right.impl_flags) dimensions.push("metadata");
-			if (left.signature.raw_sha256 !== right.signature.raw_sha256) dimensions.push("signature");
+			if (signatureIdentity(left.signature) !== signatureIdentity(right.signature)) dimensions.push("signature");
 			const leftBodyComplete = left.body.status === "present" && left.body.truncated_instructions === 0;
 			const rightBodyComplete = right.body.status === "present" && right.body.truncated_instructions === 0;
 			const bothAbsent = left.body.status === "absent" && right.body.status === "absent";
@@ -9168,11 +9666,12 @@ function init_managedMemberComparisonItems() {
 			candidate_left_tokens: [],
 			candidate_right_tokens: []
 		});
-		methodOnlyItem = (member, context, undecoded) => {
+		methodOnlyItem = (member, identity, identityUnavailable, context, undecoded) => {
 			if (member.left !== undefined) {
-				const limitations = absenceLimitations(member.left, {
+				const limitations = absenceLimitations(member.left, identity, {
 					oppositeComplete: inventoryCovers(context.rightComplete, context.rightSelection, member.left),
-					oppositeUndecodedNames: undecoded.right,
+					unpaired: undecoded,
+					ownIdentityUnavailable: identityUnavailable,
 					opposite: "right",
 					inventory: "method"
 				});
@@ -9190,9 +9689,10 @@ function init_managedMemberComparisonItems() {
 					limitations
 				};
 			}
-			const limitations = absenceLimitations(member.right, {
+			const limitations = absenceLimitations(member.right, identity, {
 				oppositeComplete: inventoryCovers(context.leftComplete, context.leftSelection, member.right),
-				oppositeUndecodedNames: undecoded.left,
+				unpaired: undecoded,
+				ownIdentityUnavailable: identityUnavailable,
 				opposite: "left",
 				inventory: "method"
 			});
@@ -9210,23 +9710,47 @@ function init_managedMemberComparisonItems() {
 				limitations
 			};
 		};
-		absenceLimitations = (member, opposite) => [
+		absenceLimitations = (member, identity, opposite) => [
+			...opposite.ownIdentityUnavailable ? ["declaring-type-name-not-resolved: Declared type identity could not be resolved; a bare display name cannot establish a counterpart or absence."] : [],
+			...opposite.unpaired.unknownOwners[opposite.opposite].has(member.name) ? [`counterpart-declaring-type-name-not-resolved: The ${opposite.opposite} ${opposite.inventory} inventory has an unpaired same-named member with unresolved enclosing-name identity, so absence was not established.`] : [],
 			...opposite.oppositeComplete ? [] : [`unknown-within-incomplete-metadata: The ${opposite.opposite} ${opposite.inventory} inventory is incomplete, so absence was not observed.`],
-			...member.signature.parse_status === "decoded" ? [] : [`signature-not-decoded: The member's ${member.signature.parse_status} signature was compared only by exact declared type, name, and raw bytes, so a changed or renamed counterpart could not be sought.`],
-			...member.signature.parse_status === "decoded" && opposite.oppositeUndecodedNames.size > 0 && opposite.oppositeUndecodedNames.has(identityOf(member)) ? [`counterpart-signature-not-decoded: The ${opposite.opposite} ${opposite.inventory} inventory has an unpaired member with the same declared type and name whose signature was not decoded, so it may be this member with a changed signature.`] : []
+			...member.signature.parse_status === "decoded" ? [] : [`signature-not-decoded: The member's ${member.signature.parse_status} signature was compared only by exact declared type, name, and signature bytes, so a changed or renamed counterpart could not be sought.`],
+			...member.signature.parse_status === "decoded" && opposite.unpaired.undecoded[opposite.opposite].has(identity) ? [`counterpart-signature-not-decoded: The ${opposite.opposite} ${opposite.inventory} inventory has an unpaired member with the same declared type and name whose signature was not decoded, so it may be this member with a changed signature.`] : [],
+			...unresolved(member, opposite.unpaired.resolved) ? [`signature-not-resolved: The member's signature names a type REA could not name, so it was compared by raw bytes, which name types by build-local metadata row; a counterpart whose referenced type moved rows could not be found.`] : [],
+			...member.signature.parse_status === "decoded" && !unresolved(member, opposite.unpaired.resolved) && opposite.unpaired.unresolved[opposite.opposite].has(identity) ? [`counterpart-signature-not-resolved: The ${opposite.opposite} ${opposite.inventory} inventory has an unpaired member with the same declared type and name whose signature names a type REA could not name, so it may be this member.`] : []
 		];
-		undecodedOneSidedNames = (members) => {
-			const names = (side) => new Set(side.filter(({ item }) => item.signature.parse_status !== "decoded").map(({ identity }) => identity));
+		unresolved = (member, resolved) => resolved && member.signature.kind !== "unknown" && member.signature.resolved_sha256 === null;
+		pairedSignatureLimitations = (left, right, examined) => unresolved(left, examined) || unresolved(right, examined) ? ["signature-not-resolved: At least one signature names a type REA could not resolve; equal build-local row bytes do not establish equivalent signature types."] : [];
+		undecodedOneSidedNames = (members, resolved) => {
+			const sides = {
+				left: [...members.leftOnly, ...members.ambiguous.flatMap(({ left }) => left)],
+				right: [...members.rightOnly, ...members.ambiguous.flatMap(({ right }) => right)]
+			};
+			const names = (side, keep) => new Set(side.filter(({ item }) => keep(item)).map(({ identity }) => identity));
+			const undecoded = (item) => item.signature.parse_status !== "decoded";
+			const notResolved = (item) => unresolved(item, resolved);
 			return {
-				left: names([...members.leftOnly, ...members.ambiguous.flatMap(({ left }) => left)]),
-				right: names([...members.rightOnly, ...members.ambiguous.flatMap(({ right }) => right)])
+				resolved,
+				unknownOwners: {
+					left: new Set(sides.left.filter((x) => x.identityUnavailable).map((x) => x.item.name)),
+					right: new Set(sides.right.filter((x) => x.identityUnavailable).map((x) => x.item.name))
+				},
+				undecoded: {
+					left: names(sides.left, undecoded),
+					right: names(sides.right, undecoded)
+				},
+				unresolved: {
+					left: names(sides.left, notResolved),
+					right: names(sides.right, notResolved)
+				}
 			};
 		};
-		fieldOnlyItem = (member, context, undecoded) => {
+		fieldOnlyItem = (member, identity, identityUnavailable, context, undecoded) => {
 			if (member.left !== undefined) {
-				const limitations = absenceLimitations(member.left, {
+				const limitations = absenceLimitations(member.left, identity, {
 					oppositeComplete: inventoryCovers(context.rightComplete, context.rightSelection, member.left),
-					oppositeUndecodedNames: undecoded.right,
+					unpaired: undecoded,
+					ownIdentityUnavailable: identityUnavailable,
 					opposite: "right",
 					inventory: "field"
 				});
@@ -9243,9 +9767,10 @@ function init_managedMemberComparisonItems() {
 					limitations
 				};
 			}
-			const limitations = absenceLimitations(member.right, {
+			const limitations = absenceLimitations(member.right, identity, {
 				oppositeComplete: inventoryCovers(context.leftComplete, context.leftSelection, member.right),
-				oppositeUndecodedNames: undecoded.left,
+				unpaired: undecoded,
+				ownIdentityUnavailable: identityUnavailable,
 				opposite: "left",
 				inventory: "field"
 			});
@@ -9262,10 +9787,11 @@ function init_managedMemberComparisonItems() {
 				limitations
 			};
 		};
-		ambiguityLimitation = (members, basis) => basis === "exact-signature" ? `Multiple managed ${members} share the same raw signature; REA did not guess declared ownership or a token remap.` : basis === "exact-il-signature" ? "Multiple managed methods share the same CIL and signature; REA did not guess a token remap." : members === "methods" ? "Multiple managed methods share the same structural shape; REA did not guess a token remap." : "Multiple managed fields share the same signature; REA did not guess a token remap.";
+		ambiguityLimitation = (members, basis, identityUnavailable) => identityUnavailable ? "declaring-type-name-not-resolved: Declared type identity remains unresolved; REA did not guess a counterpart from display names, signatures or CIL." : basis === "exact-signature" ? `Multiple managed ${members} share the same signature; REA did not guess declared ownership or a token remap.` : basis === "exact-il-signature" ? "Multiple managed methods share the same CIL and signature; REA did not guess a token remap." : members === "methods" ? "Multiple managed methods share the same structural shape; REA did not guess a token remap." : "Multiple managed fields share the same signature; REA did not guess a token remap.";
 		buildMethodItems = (matches, context) => {
 			const items = [];
 			for (const pair of matches.pairs) {
+				const signatureLimitations = pairedSignatureLimitations(pair.left.item, pair.right.item, context.signatureResolutionExamined);
 				const { dimensions: observedDimensions, bodyUnknown } = methodDimensions(pair.left.item, pair.right.item);
 				const dimensions = bodyUnknown ? [...observedDimensions, "body-coverage"] : observedDimensions;
 				const observedChange = observedDimensions.length > 0;
@@ -9275,7 +9801,7 @@ function init_managedMemberComparisonItems() {
 						right: pair.right.item.token,
 						basis: pair.basis
 					})}`,
-					status: observedChange ? "changed" : bodyUnknown ? "unknown" : "unchanged",
+					status: observedChange ? "changed" : bodyUnknown || signatureLimitations.length > 0 ? "unknown" : "unchanged",
 					left: methodIdentity(pair.left.item),
 					right: methodIdentity(pair.right.item),
 					match: {
@@ -9287,7 +9813,7 @@ function init_managedMemberComparisonItems() {
 					},
 					dimensions,
 					evidence_links: [context.leftEvidenceId, context.rightEvidenceId],
-					limitations: bodyUnknown ? ["Method body facets are unknown because at least one side has unavailable or partial body data."] : []
+					limitations: [...signatureLimitations, ...bodyUnknown ? ["Method body facets are unknown because at least one side has unavailable or partial body data."] : []]
 				});
 			}
 			for (const ambiguous of matches.ambiguous) {
@@ -9309,24 +9835,25 @@ function init_managedMemberComparisonItems() {
 					},
 					dimensions: ["availability"],
 					evidence_links: [context.leftEvidenceId, context.rightEvidenceId],
-					limitations: [ambiguityLimitation("methods", ambiguous.basis)]
+					limitations: [ambiguityLimitation("methods", ambiguous.basis, ambiguous.left.some((item) => item.identityUnavailable) || ambiguous.right.some((item) => item.identityUnavailable))]
 				});
 			}
-			const undecoded = undecodedOneSidedNames(matches);
-			for (const item of matches.leftOnly) items.push(methodOnlyItem({ left: item.item }, context, undecoded));
-			for (const item of matches.rightOnly) items.push(methodOnlyItem({ right: item.item }, context, undecoded));
+			const undecoded = undecodedOneSidedNames(matches, context.signatureResolutionExamined);
+			for (const item of matches.leftOnly) items.push(methodOnlyItem({ left: item.item }, item.identity, item.identityUnavailable, context, undecoded));
+			for (const item of matches.rightOnly) items.push(methodOnlyItem({ right: item.item }, item.identity, item.identityUnavailable, context, undecoded));
 			return items;
 		};
 		buildFieldItems = (matches, context) => {
 			const items = [];
 			for (const pair of matches.pairs) {
-				const changed = pair.left.item.signature.raw_sha256 !== pair.right.item.signature.raw_sha256 || pair.left.item.flags !== pair.right.item.flags;
+				const signatureLimitations = pairedSignatureLimitations(pair.left.item, pair.right.item, context.signatureResolutionExamined);
+				const changed = signatureIdentity(pair.left.item.signature) !== signatureIdentity(pair.right.item.signature) || pair.left.item.flags !== pair.right.item.flags;
 				items.push({
 					item_id: `mmc_field_${sha256$1({
 						left: pair.left.item.token,
 						right: pair.right.item.token
 					})}`,
-					status: changed ? "changed" : "unchanged",
+					status: changed ? "changed" : signatureLimitations.length > 0 ? "unknown" : "unchanged",
 					left: fieldIdentity(pair.left.item),
 					right: fieldIdentity(pair.right.item),
 					match: {
@@ -9337,7 +9864,7 @@ function init_managedMemberComparisonItems() {
 						candidate_right_tokens: []
 					},
 					evidence_links: [context.leftEvidenceId, context.rightEvidenceId],
-					limitations: []
+					limitations: signatureLimitations
 				});
 			}
 			for (const ambiguous of matches.ambiguous) items.push({
@@ -9356,11 +9883,11 @@ function init_managedMemberComparisonItems() {
 					candidate_right_tokens: ambiguous.right.map(({ item }) => item.token)
 				},
 				evidence_links: [context.leftEvidenceId, context.rightEvidenceId],
-				limitations: [ambiguityLimitation("fields", ambiguous.basis)]
+				limitations: [ambiguityLimitation("fields", ambiguous.basis, ambiguous.left.some((item) => item.identityUnavailable) || ambiguous.right.some((item) => item.identityUnavailable))]
 			});
-			const undecoded = undecodedOneSidedNames(matches);
-			for (const item of matches.leftOnly) items.push(fieldOnlyItem({ left: item.item }, context, undecoded));
-			for (const item of matches.rightOnly) items.push(fieldOnlyItem({ right: item.item }, context, undecoded));
+			const undecoded = undecodedOneSidedNames(matches, context.signatureResolutionExamined);
+			for (const item of matches.leftOnly) items.push(fieldOnlyItem({ left: item.item }, item.identity, item.identityUnavailable, context, undecoded));
+			for (const item of matches.rightOnly) items.push(fieldOnlyItem({ right: item.item }, item.identity, item.identityUnavailable, context, undecoded));
 			return items;
 		};
 	})))();
@@ -9377,6 +9904,7 @@ function init_managedMemberComparison() {
 		init_managedMemberComparisonCoverage();
 		init_managedMemberComparisonItems();
 		init_managedMemberComparisonMatch();
+		init_managedMemberSignatureIdentity();
 		init_digests();
 		evidenceIdSchema$9 = prefixedDigestSchema("ev");
 		tokenSchema$2 = z.string().regex(/^0x[0-9a-f]{8}$/u);
@@ -9560,7 +10088,8 @@ function init_managedMemberComparison() {
 				leftComplete: left.result.metadata.status === "complete",
 				rightComplete: right.result.metadata.status === "complete",
 				leftSelection: selectedTypes(left.result),
-				rightSelection: selectedTypes(right.result)
+				rightSelection: selectedTypes(right.result),
+				signatureResolutionExamined: hasSignatureResolution(left.result) && hasSignatureResolution(right.result)
 			};
 			const methodItems = buildMethodItems(methodMatches, itemContext);
 			const fieldItems = buildFieldItems(fieldMatches, itemContext);
@@ -9650,7 +10179,7 @@ function init_managedNativeVerificationSchemas() {
 			evidence_links: z.array(evidenceIdSchema$8).min(1),
 			limitations: z.array(textSchema$1)
 		};
-		observedCandidatesSchema = z.tuple([nativeSymbolSchema]).rest(nativeSymbolSchema);
+		observedCandidatesSchema = z.tuple([nativeSymbolSchema], nativeSymbolSchema).check(z.minLength(1));
 		pinvokeVerificationSchema = z.union([
 			z.strictObject({
 				...pinvokeVerificationContextShape,
@@ -10262,8 +10791,9 @@ function init_artifactComparison() {
 				contradiction: 0
 			};
 			for (const change of changes) counts[change.classification] += 1;
+			const changedPaths = new Set(changes.filter(({ classification }) => classification !== "added").map(({ logical_path: path }) => path));
 			return {
-				unchanged: covered ? Math.max(0, left.occurrences.length - counts.removed - counts.changed - counts.contradiction - counts.unknown) : 0,
+				unchanged: covered ? left.occurrences.filter(({ logical_path: path }) => !changedPaths.has(path)).length : 0,
 				...counts,
 				unknown: covered ? counts.unknown : Math.max(counts.unknown, Math.max(left.manifest.occurrence_count, right.manifest.occurrence_count) - counts.added - counts.removed - counts.changed - counts.contradiction)
 			};
@@ -11343,357 +11873,6 @@ function init_reconstructionVerificationSchemas() {
 	})))();
 }
 
-//#endregion
-//#region dist/domain/electron/electronFuses.js
-var ELECTRON_FUSE_SENTINEL, ELECTRON_FUSE_STATE_BYTES, ELECTRON_FUSE_V1_NAMES, FUSE_IMPLICATIONS, OTHER_MEANS_LIMITATION, MISSING_SENTINEL_LIMITATION, byteSchema, fuseStateSchema, electronFuseSchema, electronFuseSentinelSchema, electronFuseSliceSchema, implicationLocation, electronFuseImplicationSchema, electronFuseReportSchema, inspectElectronFusesInputSchema, electronFuseState, electronFuseName, describeElectronFuseFindings, embeddedAsarIntegrityApplies, describeSentinel, implicationFor, validateReportBounds, implicationKey, validateSentinel;
-function init_electronFuses() {
-	return (init_electronFuses = __esmMin((() => {
-		init_digests();
-		init_localPath();
-		ELECTRON_FUSE_SENTINEL = "dL7pKGdnNz796PbbjQWNKmHXBZaB9tsX";
-		ELECTRON_FUSE_STATE_BYTES = {
-			disabled: 48,
-			enabled: 49,
-			removed: 114
-		};
-		ELECTRON_FUSE_V1_NAMES = [
-			"RunAsNode",
-			"EnableCookieEncryption",
-			"EnableNodeOptionsEnvironmentVariable",
-			"EnableNodeCliInspectArguments",
-			"EnableEmbeddedAsarIntegrityValidation",
-			"OnlyLoadAppFromAsar",
-			"LoadBrowserProcessSpecificV8Snapshot",
-			"GrantFileProtocolExtraPrivileges",
-			"WasmTrapHandlers"
-		];
-		FUSE_IMPLICATIONS = [
-			{
-				subject: "node_cli_inspect_arguments",
-				fuseIndex: 3,
-				enabled: "honored",
-				inactive: "not_honored"
-			},
-			{
-				subject: "electron_run_as_node",
-				fuseIndex: 0,
-				enabled: "honored",
-				inactive: "not_honored"
-			},
-			{
-				subject: "embedded_asar_integrity_validation",
-				fuseIndex: 4,
-				enabled: "enforced",
-				inactive: "not_enforced"
-			},
-			{
-				subject: "only_load_app_from_asar",
-				fuseIndex: 5,
-				enabled: "restricted_to_app_asar",
-				inactive: "not_restricted_to_app_asar"
-			}
-		];
-		OTHER_MEANS_LIMITATION = "Fuse state does not prove the application enables Inspector through other means, such as app.commandLine or a remote-debugging switch in application code.";
-		MISSING_SENTINEL_LIMITATION = "A missing sentinel means fuse state is unknown, not that every fuse is disabled.";
-		byteSchema = z.number().int().min(0).max(255);
-		fuseStateSchema = z.enum([
-			"enabled",
-			"disabled",
-			"removed",
-			"unknown"
-		]);
-		electronFuseSchema = z.strictObject({
-			index: z.number().int().nonnegative(),
-			name: z.string().min(1).nullable(),
-			state: fuseStateSchema,
-			raw_byte: byteSchema
-		});
-		electronFuseSentinelSchema = z.strictObject({
-			sentinel_offset: z.number().int().nonnegative(),
-			wire_version: byteSchema.nullable(),
-			declared_length: byteSchema.nullable(),
-			fuses: z.array(electronFuseSchema),
-			complete: z.boolean()
-		});
-		electronFuseSliceSchema = z.strictObject({
-			index: z.number().int().nonnegative(),
-			file_offset: z.number().int().nonnegative(),
-			size: z.number().int().nonnegative(),
-			architecture: z.string().min(1).nullable(),
-			sentinel_count: z.number().int().nonnegative(),
-			sentinels: z.array(electronFuseSentinelSchema)
-		});
-		implicationLocation = {
-			relationship: z.literal("derivation"),
-			slice_index: z.number().int().nonnegative(),
-			sentinel_offset: z.number().int().nonnegative()
-		};
-		electronFuseImplicationSchema = z.discriminatedUnion("subject", [
-			z.strictObject({
-				...implicationLocation,
-				subject: z.literal("node_cli_inspect_arguments"),
-				fuse_index: z.literal(3),
-				outcome: z.enum([
-					"honored",
-					"not_honored",
-					"unknown"
-				])
-			}),
-			z.strictObject({
-				...implicationLocation,
-				subject: z.literal("electron_run_as_node"),
-				fuse_index: z.literal(0),
-				outcome: z.enum([
-					"honored",
-					"not_honored",
-					"unknown"
-				])
-			}),
-			z.strictObject({
-				...implicationLocation,
-				subject: z.literal("embedded_asar_integrity_validation"),
-				fuse_index: z.literal(4),
-				outcome: z.enum([
-					"enforced",
-					"not_enforced",
-					"unknown"
-				])
-			}),
-			z.strictObject({
-				...implicationLocation,
-				subject: z.literal("only_load_app_from_asar"),
-				fuse_index: z.literal(5),
-				outcome: z.enum([
-					"restricted_to_app_asar",
-					"not_restricted_to_app_asar",
-					"unknown"
-				])
-			})
-		]);
-		electronFuseReportSchema = z.strictObject({
-			artifact: z.strictObject({
-				selected_path: localPathStringSchema,
-				resolved_path: localPathStringSchema,
-				sha256: digestSchema,
-				bytes: z.number().int().nonnegative(),
-				format: z.enum([
-					"mach-o",
-					"mach-o-universal",
-					"pe",
-					"elf"
-				])
-			}).describe("Caller-selected path, resolved regular file, and the container that was read"),
-			slices: z.array(electronFuseSliceSchema).describe("One entry per universal Mach-O slice, or a single entry for a thin Mach-O, PE, or ELF file. Sentinel offsets are file-absolute."),
-			runtime_implications: z.array(electronFuseImplicationSchema).describe("Derivations from version-1 fuse bytes. Each entry names the fuse index it came from."),
-			limitations: z.array(z.string().min(1))
-		}).superRefine((report, context) => {
-			validateReportBounds(report, context);
-		});
-		inspectElectronFusesInputSchema = z.strictObject({ path: localPathStringSchema.describe("Absolute filesystem path to a macOS .app bundle, Electron Framework binary, Windows PE executable, or Linux ELF executable") });
-		electronFuseState = (byte) => {
-			if (byte === ELECTRON_FUSE_STATE_BYTES.disabled) return "disabled";
-			if (byte === ELECTRON_FUSE_STATE_BYTES.enabled) return "enabled";
-			if (byte === ELECTRON_FUSE_STATE_BYTES.removed) return "removed";
-			return "unknown";
-		};
-		electronFuseName = (wireVersion, index) => wireVersion === 1 ? ELECTRON_FUSE_V1_NAMES[index] ?? null : null;
-		describeElectronFuseFindings = (slices, container) => {
-			const runtime_implications = [];
-			const limitations = [OTHER_MEANS_LIMITATION, MISSING_SENTINEL_LIMITATION];
-			for (const slice of slices) {
-				if (slice.sentinel_count === 0) limitations.push(`Slice ${slice.index} at file offset ${slice.file_offset} contains no Electron fuse sentinel; fuse state for that slice is unknown, not disabled.`);
-				else if (slice.sentinel_count > 1) limitations.push(`Slice ${slice.index} at file offset ${slice.file_offset} contains ${slice.sentinel_count} Electron fuse sentinels; every sentinel is reported and none is selected.`);
-				for (const sentinel of slice.sentinels) describeSentinel(slice.index, sentinel, container, runtime_implications, limitations);
-			}
-			return {
-				runtime_implications,
-				limitations
-			};
-		};
-		embeddedAsarIntegrityApplies = (container) => container === "mach-o" || container === "mach-o-universal" || container === "pe";
-		describeSentinel = (sliceIndex, sentinel, container, implications, limitations) => {
-			if (!sentinel.complete) limitations.push(`Electron fuse wire at file offset ${sentinel.sentinel_offset} is truncated; fuse bytes past the slice stay unknown.`);
-			if (sentinel.wire_version === null) return;
-			if (sentinel.wire_version !== 1) {
-				limitations.push(`Electron fuse wire at file offset ${sentinel.sentinel_offset} uses wire version ${sentinel.wire_version}; version 1 is the only pinned name table, so runtime implications for this wire are unknown.`);
-				return;
-			}
-			for (const spec of FUSE_IMPLICATIONS) {
-				const fuse = sentinel.fuses.find((item) => item.index === spec.fuseIndex);
-				if (fuse === undefined) {
-					limitations.push(`Electron fuse wire at file offset ${sentinel.sentinel_offset} does not include fuse index ${spec.fuseIndex}; that runtime implication is unknown.`);
-					continue;
-				}
-				const applicabilityUnknown = spec.subject === "embedded_asar_integrity_validation" && !embeddedAsarIntegrityApplies(container);
-				if (applicabilityUnknown) limitations.push(`Electron compiles embedded ASAR integrity validation only on macOS and Windows; the observed fuse byte at file offset ${sentinel.sentinel_offset} does not establish enforcement.`);
-				implications.push(implicationFor(spec, applicabilityUnknown ? "unknown" : fuse.state, {
-					slice_index: sliceIndex,
-					sentinel_offset: sentinel.sentinel_offset
-				}));
-			}
-		};
-		implicationFor = (spec, state, location) => {
-			const outcome = state === "enabled" ? spec.enabled : state === "unknown" ? "unknown" : spec.inactive;
-			return {
-				relationship: "derivation",
-				subject: spec.subject,
-				fuse_index: spec.fuseIndex,
-				outcome,
-				...location
-			};
-		};
-		validateReportBounds = (report, context) => {
-			const size = report.artifact.bytes;
-			for (const [sliceIndex, slice] of report.slices.entries()) {
-				if (slice.index !== sliceIndex) context.addIssue({
-					code: "custom",
-					path: [
-						"slices",
-						sliceIndex,
-						"index"
-					],
-					message: "Slice index does not match its position in the report."
-				});
-				if (slice.sentinel_count !== slice.sentinels.length) context.addIssue({
-					code: "custom",
-					path: [
-						"slices",
-						sliceIndex,
-						"sentinel_count"
-					],
-					message: "Sentinel count does not match the reported sentinels."
-				});
-				if (slice.file_offset > size || slice.size > size - slice.file_offset) context.addIssue({
-					code: "custom",
-					path: ["slices", sliceIndex],
-					message: "Slice range extends outside the selected artifact."
-				});
-				for (const [sentinelIndex, sentinel] of slice.sentinels.entries()) validateSentinel(slice, sentinel, sliceIndex, sentinelIndex, context);
-			}
-			const expected = new Set(describeElectronFuseFindings(report.slices, report.artifact.format).runtime_implications.map(implicationKey));
-			for (const [index, implication] of report.runtime_implications.entries()) {
-				if (!expected.has(implicationKey(implication))) context.addIssue({
-					code: "custom",
-					path: ["runtime_implications", index],
-					message: "Runtime implication is not supported by the reported fuse bytes and applicability."
-				});
-				const slice = report.slices[implication.slice_index];
-				if (slice?.sentinels.some((sentinel) => sentinel.sentinel_offset === implication.sentinel_offset) !== true) context.addIssue({
-					code: "custom",
-					path: ["runtime_implications", index],
-					message: "Runtime implication does not reference a reported sentinel."
-				});
-			}
-		};
-		implicationKey = (fact) => JSON.stringify([
-			fact.slice_index,
-			fact.sentinel_offset,
-			fact.subject,
-			fact.fuse_index,
-			fact.outcome
-		]);
-		validateSentinel = (slice, sentinel, sliceIndex, sentinelIndex, context) => {
-			const sentinelEnd = sentinel.sentinel_offset + ELECTRON_FUSE_SENTINEL.length;
-			const wireEnd = sentinelEnd + (sentinel.wire_version === null ? 0 : 1) + (sentinel.declared_length === null ? 0 : 1) + sentinel.fuses.length;
-			if (wireEnd > slice.file_offset + slice.size) context.addIssue({
-				code: "custom",
-				path: [
-					"slices",
-					sliceIndex,
-					"sentinels",
-					sentinelIndex
-				],
-				message: "Reported wire header or fuse bytes extend outside the slice."
-			});
-			if (sentinel.sentinel_offset < slice.file_offset || sentinelEnd > slice.file_offset + slice.size) context.addIssue({
-				code: "custom",
-				path: [
-					"slices",
-					sliceIndex,
-					"sentinels",
-					sentinelIndex,
-					"sentinel_offset"
-				],
-				message: "Sentinel is outside its slice."
-			});
-			if (sentinel.wire_version === null && sentinel.declared_length !== null) context.addIssue({
-				code: "custom",
-				path: [
-					"slices",
-					sliceIndex,
-					"sentinels",
-					sentinelIndex,
-					"declared_length"
-				],
-				message: "A wire without a version byte cannot declare a fuse count."
-			});
-			if (sentinel.complete && (sentinel.declared_length === null || sentinel.fuses.length !== sentinel.declared_length)) context.addIssue({
-				code: "custom",
-				path: [
-					"slices",
-					sliceIndex,
-					"sentinels",
-					sentinelIndex,
-					"complete"
-				],
-				message: "A complete wire must contain every declared fuse byte."
-			});
-			if (!sentinel.complete && sentinel.declared_length !== null && sentinel.fuses.length >= sentinel.declared_length) context.addIssue({
-				code: "custom",
-				path: [
-					"slices",
-					sliceIndex,
-					"sentinels",
-					sentinelIndex,
-					"complete"
-				],
-				message: "An incomplete wire must omit at least one declared fuse byte."
-			});
-			for (const [fuseIndex, fuse] of sentinel.fuses.entries()) {
-				if (fuse.index !== fuseIndex) context.addIssue({
-					code: "custom",
-					path: [
-						"slices",
-						sliceIndex,
-						"sentinels",
-						sentinelIndex,
-						"fuses",
-						fuseIndex,
-						"index"
-					],
-					message: "Fuse index does not match its wire position."
-				});
-				if (fuse.state !== electronFuseState(fuse.raw_byte)) context.addIssue({
-					code: "custom",
-					path: [
-						"slices",
-						sliceIndex,
-						"sentinels",
-						sentinelIndex,
-						"fuses",
-						fuseIndex,
-						"state"
-					],
-					message: "Fuse state does not match its raw byte."
-				});
-				if (sentinel.wire_version !== null && fuse.name !== electronFuseName(sentinel.wire_version, fuse.index)) context.addIssue({
-					code: "custom",
-					path: [
-						"slices",
-						sliceIndex,
-						"sentinels",
-						sentinelIndex,
-						"fuses",
-						fuseIndex,
-						"name"
-					],
-					message: "Fuse name does not match the pinned version-1 table."
-				});
-			}
-		};
-	})))();
-}
-
 //#endregion
 //#region dist/contracts/toolOutputSchemaGroups.js
 var contextFacetSchema, bookmarkFacetSchema, officialOutputSchemas, literalTraceOutput, callPathTraceOutput, batchProcedureIdentity, enhancedOutputSchemas, nativeOutputSchemas, artifactOutputSchemas, managedOutputSchemas, managedWorkflowOutputSchemas, lifecycleTargetFields, detectedLifecycleTargetSchema, rawLifecycleTargetSchema, sessionOutputSchemas, electronFuseOutputSchemas;
@@ -11958,7 +12137,7 @@ function init_toolOutputSchemaGroups() {
 			demangle_swift: evidenceResultOf(demangleSwiftSchema)
 		};
 		artifactOutputSchemas = {
-			inspect_artifact: evidenceResultOf(z.union([artifactInspectionOutputSchema, artifactInventorySummaryViewResultSchema])),
+			inspect_artifact: evidenceResultOf(z.union([artifactInspectionResultSchema, artifactInventorySummaryViewResultSchema])),
 			extract_artifact: evidenceResultOf(artifactExtractionResultSchema),
 			decode_interface_builder: evidenceResultOf(z.union([interfaceBuilderAnalysisSchema, interfaceBuilderSummaryViewResultSchema])),
 			inspect_keyed_archive: evidenceResultOf(keyedArchiveResultSchema),
@@ -11984,7 +12163,7 @@ function init_toolOutputSchemaGroups() {
 		detectedLifecycleTargetSchema = z.object({
 			...lifecycleTargetFields,
 			format: targetFormatSchema.exclude(["raw-binary"]),
-			architecture: z.enum(BINARY_ARCHITECTURES$1).exclude(["6502"]).nullable()
+			architecture: z.enum(BINARY_ARCHITECTURES$1).exclude([...RAW_ONLY_ARCHITECTURES]).nullable()
 		});
 		rawLifecycleTargetSchema = z.object({
 			...lifecycleTargetFields,
@@ -12067,4 +12246,4 @@ function init_toolOutputSchemaGroups() {
 }
 
 //#endregion
-export { ELECTRON_FUSE_SENTINEL, INSPECT_ANALYSIS_VIEW_OPERATION, KeyedArchiveKindError, PROCESS_PROVIDER, WASM_INTERFACE_REPRESENTATION_BYTES, WEB_NETWORK_CAPTURE_FORMATS, WEB_NETWORK_CAPTURE_LIMITS, WebNetworkApiSurfaceAccumulator, admitRawBinary, analysisDetailOutputSchemaOf, analysisDetailSchema, analysisViewResultSchema, androidInputSchemas, androidPackageInspectionInputSchema, androidPackageSummaryViewResultSchema, androidRequestSchema, androidResultSchemas, appleAssetCatalogInputSchema, appleResourceKeyFields, artifactComparisonInputSchema, artifactOutputSchemas, binaryArchitectureSchema, binaryLayoutPayloadSchema, binaryLayoutSchema, binaryLayoutSummaryViewResultSchema, bundleComparisonInputSchema, bytePatternFields, byteSearchResultSchema, callPathInputSchema, captureSensitiveValues, changedBehaviorInputSchema, compareBundles, compareManagedMembers, compareProcessCaptures, dartAotInspectionInputSchema, dartAotSummaryViewResultSchema, demangleSwiftSchema, describeElectronFuseFindings, dexDescriptorSchema, dylibResolutionInputSchema, dylibResolutionResultSchema, electronFuseName, electronFuseOutputSchemas, electronFuseReportSchema, electronFuseState, enhancedOutputSchemas, evidenceRecordFiltersSchema, evmInterfaceSchema, evmInterfaceSummaryViewResultSchema, flutterInputSchemas, flutterRequestSchema, flutterResultSchemas, importManagedReconstruction, init_WebNetworkApiSurfaceAccumulator, init_analysisDetail, init_analysisView, init_analysisViewErrors, init_androidAnalysis, init_appleAssetCatalog, init_artifactComparison, init_binaryLayout, init_bundleComparison, init_bytePattern, init_callPathSchemas, init_changedBehavior, init_dyldPaths, init_dylibResolution, init_electronFuses, init_evidenceRecordSummary, init_evmInterface, init_flutterBuildAnalysis, init_keyedArchive, init_managedMemberComparison, init_managedMemberComparisonMatch, init_managedNativeVerificationSchemas, init_managedReconstruction, init_nativeCallObservation, init_nativeDataType, init_nativeFunctionAnnotations, init_nativeInspection, init_nativeLoadImage, init_nativeUiObservation, init_pcapAnalysis, init_pngHeader, init_processComparison, init_processEvidenceProvider, init_processTraceSpecification, init_rawBinary, init_reconstructionVerificationSchemas, init_solidityMetadata, init_staticRuntimeCorrelation, init_toolEffects, init_toolOutputSchemaGroups, init_wasmArtifact, init_wasmInterface, init_webNetworkCapture, inspectAnalysisViewInputSchema, inspectBinaryLayoutInputSchema, inspectElectronFusesInputSchema, inspectEvmInterfaceInputSchema, inspectMachoSchema, inspectPlistSchema, inspectSignatureSchema, inspectWasmArtifactInputSchema, inspectWebNetworkCaptureInputSchema, isProcessEvidenceProvider, javascriptApplicationSummaryViewResultSchema, keyedArchiveInputSchema, keyedArchiveResultSchema, listArchitecturesSchema, managedNativeVerificationInputSchema, managedNativeVerificationResultSchema, managedOutputSchemas, managedReconstructionImportInputSchema, managedWorkflowOutputSchemas, nativeCallEventSchema, nativeCallObservationInputSchema, nativeCallObservationResultSchema, nativeCodeLocationSchema, nativeDataTypeInputSchema, nativeDataTypeSchema, nativeFunctionAnnotationsInputSchema, nativeFunctionAnnotationsSchema, nativeLoadImageObservationSchema, nativeLoadImageSchema, nativeOutputSchemas, nativeUiObservationInputSchema, nativeUiResultSchema, nativeUiScenarioInputSchema, nativeUiSnapshotSchema, officialOutputSchemas, parseAppleAssetCatalogRecords, parseManagedMemberEvidence, pcapCaptureSummaryViewResultSchema, pcapInputSchemas, pcapRequestSchema, pcapResultSchemas, pinvokeVerificationSchema, processTraceSpecificationSchema, projectAnalysisView, projectAppleAssetCatalogPage, projectKeyedArchive, rawBinaryEntryPointSchema, rawBinarySelectionError, readPngHeaderDimensions, reconstructionVerificationInputSchema, resolveTreePath, sessionOutputSchemas, solidityMetadataSchema, staticRuntimeCorrelationInputSchema, summarizeEvidenceBundle, toolContractMetadata, traceDylibLoading, validateBytePattern, wasmArtifactMatchesSubject, wasmArtifactSchema, wasmArtifactSummaryViewResultSchema, wasmInterfaceEntryRepresentationBytes, wasmInterfaceSchema, webNetworkCapturePayloadSchema, webNetworkCaptureSchema, webNetworkCaptureSummaryViewResultSchema };
+export { INSPECT_ANALYSIS_VIEW_OPERATION, KeyedArchiveKindError, PROCESS_PROVIDER, WASM_INTERFACE_REPRESENTATION_BYTES, WEB_NETWORK_CAPTURE_FORMATS, WEB_NETWORK_CAPTURE_LIMITS, WebNetworkApiSurfaceAccumulator, admitAnalysisViewData, admitRawBinary, analysisDetailOutputSchemaOf, analysisDetailSchema, analysisViewResultSchema, androidInputSchemas, androidPackageInspectionInputSchema, androidPackageSummaryViewResultSchema, androidRequestSchema, androidResultSchemas, appleAssetCatalogInputSchema, appleResourceKeyFields, artifactComparisonInputSchema, artifactOutputSchemas, binaryArchitectureSchema, binaryLayoutPayloadSchema, binaryLayoutSchema, binaryLayoutSummaryViewResultSchema, bundleComparisonInputSchema, bytePatternFields, byteSearchResultSchema, callPathInputSchema, captureSensitiveValues, changedBehaviorInputSchema, compareBundles, compareManagedMembers, compareProcessCaptures, dartAotInspectionInputSchema, dartAotSummaryViewResultSchema, demangleSwiftSchema, dexDescriptorSchema, dylibResolutionInputSchema, dylibResolutionResultSchema, electronFuseOutputSchemas, enhancedOutputSchemas, evidenceRecordFiltersSchema, evmInterfaceSchema, evmInterfaceSummaryViewResultSchema, flutterInputSchemas, flutterRequestSchema, flutterResultSchemas, importManagedReconstruction, init_WebNetworkApiSurfaceAccumulator, init_analysisDetail, init_analysisView, init_analysisViewDataAdmission, init_analysisViewErrors, init_androidAnalysis, init_appleAssetCatalog, init_artifactComparison, init_binaryLayout, init_bundleComparison, init_bytePattern, init_callPathSchemas, init_changedBehavior, init_dyldPaths, init_dylibResolution, init_evidenceRecordSummary, init_evmInterface, init_flutterBuildAnalysis, init_keyedArchive, init_managedMemberComparison, init_managedMemberComparisonMatch, init_managedNativeVerificationSchemas, init_managedReconstruction, init_nativeCallObservation, init_nativeDataType, init_nativeFunctionAnnotations, init_nativeInspection, init_nativeLoadImage, init_nativeMetadataRecovery, init_nativeUiObservation, init_pcapAnalysis, init_plistValue, init_pngHeader, init_processComparison, init_processEvidenceProvider, init_processTraceSpecification, init_rawBinary, init_reconstructionVerificationSchemas, init_solidityMetadata, init_staticRuntimeCorrelation, init_toolEffects, init_toolOutputSchemaGroups, init_wasmArtifact, init_wasmInterface, init_webNetworkCapture, inspectAnalysisViewInputSchema, inspectBinaryLayoutInputSchema, inspectEvmInterfaceInputSchema, inspectMachoSchema, inspectPlistSchema, inspectSignatureSchema, inspectWasmArtifactInputSchema, inspectWebNetworkCaptureInputSchema, isProcessEvidenceProvider, javascriptApplicationSummaryViewResultSchema, keyedArchiveInputSchema, keyedArchiveResultSchema, listArchitecturesSchema, managedNativeVerificationInputSchema, managedNativeVerificationResultSchema, managedOutputSchemas, managedReconstructionImportInputSchema, managedWorkflowOutputSchemas, nativeCallEventSchema, nativeCallObservationInputSchema, nativeCallObservationResultSchema, nativeCapturedOutputSchema, nativeCodeLocationSchema, nativeDataTypeInputSchema, nativeDataTypeSchema, nativeFunctionAnnotationsInputSchema, nativeFunctionAnnotationsSchema, nativeLoadImageObservationSchema, nativeLoadImagePartialObservationSchema, nativeLoadImageSchema, nativeMetadataRecoverySummarySchema, nativeOutputSchemas, nativeUiObservationInputSchema, nativeUiResultSchema, nativeUiScenarioInputSchema, nativeUiSnapshotSchema, negativeZeroReal, negativeZeroRealLimitation, nonFiniteRealLimitation, officialOutputSchemas, parseAppleAssetCatalogRecords, parseManagedMemberEvidence, pcapCaptureSummaryViewResultSchema, pcapInputSchemas, pcapRequestSchema, pcapResultSchemas, pinvokeVerificationSchema, processTraceSpecificationSchema, projectAnalysisView, projectAppleAssetCatalogPage, projectKeyedArchive, projectPlistValue, rawBinaryEntryPointSchema, rawBinarySelectionError, readPngHeaderDimensions, reconstructionVerificationInputSchema, resolveTreePath, sessionOutputSchemas, solidityMetadataSchema, staticRuntimeCorrelationInputSchema, summarizeEvidenceBundle, toolContractMetadata, traceDylibLoading, unknownDateLimitation, unknownRealLimitation, validateBytePattern, wasmArtifactMatchesSubject, wasmArtifactSchema, wasmArtifactSummaryViewResultSchema, wasmInterfaceEntryRepresentationBytes, wasmInterfaceSchema, webNetworkCapturePayloadSchema, webNetworkCaptureSchema, webNetworkCaptureSummaryViewResultSchema };