rea-agents 6.1.0 → 6.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +24 -24
- package/bridge/ghidra/ReaGhidraBridge.java +32 -4
- package/bridge/hopper_bridge.py +8 -1
- package/dist/android/JadxConfiguration.js +87 -7
- package/dist/android/JadxMcpTransport.js +14 -2
- package/dist/android/JadxProvider.js +64 -36
- package/dist/android/JadxSession.js +51 -9
- package/dist/application/BinaryTargetResolver.js +68 -20
- package/dist/application/BrowserEvidence.js +3 -8
- package/dist/application/BrowserScenarioEvidence.js +4 -20
- package/dist/application/CapabilityInventory.js +43 -9
- package/dist/application/ClientConfigurationDocument.js +97 -25
- package/dist/application/ClientRegistrationStatus.js +19 -6
- package/dist/application/DirectAnalysis.js +41 -20
- package/dist/application/DirectAnalysisCleanup.js +71 -0
- package/dist/application/DirectAnalysisStatus.js +3 -7
- package/dist/application/Doctor.js +40 -53
- package/dist/application/DoctorDiagnostics.js +2 -3
- package/dist/application/EnhancedTools.js +51 -6
- package/dist/application/EvidenceBundleFiles.js +8 -3
- package/dist/application/InvestigationProviders.js +13 -5
- package/dist/application/JsonFiles.js +56 -23
- package/dist/application/LinuxHopper.js +11 -7
- package/dist/application/MacHopper.js +15 -18
- package/dist/application/RealHopperAssertions.js +0 -11
- package/dist/application/ReconstructionObligationCandidates.js +10 -3
- package/dist/application/ReconstructionObligationLedgerProjection.js +3 -1
- package/dist/application/ReferenceSourceImportEntries.js +1 -1
- package/dist/application/RegularFileRead.js +17 -0
- package/dist/application/Setup.js +26 -23
- package/dist/application/SetupClientConfiguration.js +18 -7
- package/dist/application/SetupHost.js +20 -29
- package/dist/application/SetupPlan.js +24 -20
- package/dist/application/SetupSkill.js +57 -8
- package/dist/application/SupportedClients.js +43 -0
- package/dist/application/Uninstall.js +98 -30
- package/dist/application/UpdateMaintenance.js +13 -7
- package/dist/application/UpdateRuntime.js +12 -12
- package/dist/application/Utf8JsonInput.js +64 -0
- package/dist/application/WebScriptExportService.js +38 -5
- package/dist/application/WorkflowEvidence.js +25 -2
- package/dist/application/XrefsAddressResolution.js +45 -0
- package/dist/application/analysisView/AnalysisViewService.js +76 -0
- package/dist/application/android/AndroidAnalysisService.js +1 -1
- package/dist/application/binary/AnalysisClientCleanup.js +30 -5
- package/dist/application/binary/AnalysisProviderEvaluation.js +1 -2
- package/dist/application/binary/AnalysisProviderRegistry.js +2 -6
- package/dist/application/binary/AnalysisSnapshotCache.js +13 -10
- package/dist/application/binary/BinarySession.js +86 -29
- package/dist/application/binary/BinarySessionComposition.js +1 -3
- package/dist/application/binary/BinarySessionExecution.js +3 -5
- package/dist/application/binary/BinarySessionOpen.js +10 -2
- package/dist/application/binary/BinarySessionRecords.js +1 -1
- package/dist/application/binary/BinarySessionStatus.js +1 -6
- package/dist/application/binary/CompositeProvider.js +4 -18
- package/dist/application/binary/LazyAnalysisProvider.js +5 -5
- package/dist/application/binary/SessionProviderRouter.js +27 -135
- package/dist/application/homebrew.js +48 -0
- package/dist/application/javascript/ElectronActiveEvidence.js +10 -14
- package/dist/application/javascript/ElectronBoundaryAnalysis.js +2 -2
- package/dist/application/javascript/ElectronBoundaryGraphNative.js +5 -1
- package/dist/application/javascript/JavaScriptApplicationEvidence.js +3 -6
- package/dist/application/javascript/JavaScriptApplicationEvidenceGraph.js +107 -46
- package/dist/application/javascript/JavaScriptApplicationService.js +7 -1
- package/dist/application/javascript/JavaScriptApplicationWorkflowService.js +59 -45
- package/dist/application/javascript/JavaScriptArtifactAnalysis.js +5 -9
- package/dist/application/javascript/JavaScriptArtifactGraphBuilder.js +19 -27
- package/dist/application/javascript/JavaScriptArtifactGraphBundlers.js +11 -3
- package/dist/application/javascript/JavaScriptArtifactGraphContext.js +9 -0
- package/dist/application/javascript/JavaScriptArtifactGraphDocuments.js +8 -5
- package/dist/application/javascript/JavaScriptArtifactGraphFindings.js +46 -29
- package/dist/application/javascript/JavaScriptArtifactGraphStructure.js +0 -1
- package/dist/application/javascript/JavaScriptArtifactPathResolution.js +86 -27
- package/dist/application/javascript/JavaScriptArtifactReconstruction.js +52 -9
- package/dist/application/javascript/JavaScriptArtifactReconstructionInput.js +1 -0
- package/dist/application/javascript/JavaScriptJsonModules.js +2 -2
- package/dist/application/javascript/JavaScriptModuleRelationships.js +6 -18
- package/dist/application/javascript/JavaScriptRuntimeObservationService.js +3 -3
- package/dist/application/javascript/JavaScriptRuntimeReconciliationService.js +11 -27
- package/dist/application/javascript/JavaScriptSemanticGraphAsyncProjection.js +4 -5
- package/dist/application/javascript/JavaScriptSemanticGraphBuilder.js +8 -6
- package/dist/application/javascript/JavaScriptSemanticGraphChildProcessProjection.js +2 -3
- package/dist/application/javascript/JavaScriptSemanticGraphConstruction.js +7 -5
- package/dist/application/javascript/JavaScriptSemanticGraphDataProjection.js +3 -4
- package/dist/application/javascript/JavaScriptSemanticGraphEvidence.js +1 -1
- package/dist/application/javascript/JavaScriptSemanticGraphFingerprintProjection.js +2 -2
- package/dist/application/javascript/JavaScriptSemanticGraphFlowProjection.js +3 -7
- package/dist/application/javascript/JavaScriptSemanticGraphObjectProjection.js +76 -47
- package/dist/application/javascript/JavaScriptSemanticGraphProjection.js +4 -4
- package/dist/application/javascript/JavaScriptSemanticGraphResourceProjection.js +3 -4
- package/dist/application/javascript/JavaScriptSemanticGraphValueProjection.js +51 -25
- package/dist/application/javascript/JavaScriptSemanticTraceService.js +15 -10
- package/dist/application/managed/ManagedMemberComparisonService.js +2 -1
- package/dist/application/managed/ManagedNativeVerificationService.js +2 -1
- package/dist/application/native/NativeCallRoutes.js +2 -4
- package/dist/application/process/ProcessCli.js +11 -11
- package/dist/application/process/ProcessEvidence.js +0 -1
- package/dist/artifacts/ArtifactProvider.js +53 -30
- package/dist/artifacts/ArtifactProviderMetadata.js +1 -4
- package/dist/artifacts/ArtifactReader.js +31 -0
- package/dist/artifacts/AsarArtifactReader.js +81 -17
- package/dist/artifacts/DirectoryArtifactReader.js +2 -1
- package/dist/artifacts/MachOSliceArtifactReader.js +9 -2
- package/dist/artifacts/NativeDmgArtifactReader.js +207 -77
- package/dist/artifacts/NativeDmgOwnership.js +109 -0
- package/dist/artifacts/SafeOutputTree.js +16 -2
- package/dist/artifacts/ZipArtifactReader.js +11 -4
- package/dist/artifacts/apple/AppleAssetCatalogAnalysis.js +4 -2
- package/dist/artifacts/apple/DylibResolutionReader.js +17 -7
- package/dist/artifacts/apple/KeyedArchiveReader.js +68 -42
- package/dist/artifacts/apple/MachoLoadCommandReader.js +36 -6
- package/dist/artifacts/extraction/ArtifactExtraction.js +104 -29
- package/dist/artifacts/inventory/ArtifactGraphConstruction.js +71 -66
- package/dist/artifacts/inventory/ArtifactInventory.js +0 -1
- package/dist/artifacts/inventory/classify.js +33 -14
- package/dist/artifacts/inventory/hashStableRootArtifact.js +37 -0
- package/dist/artifacts/inventory/reader.js +3 -3
- package/dist/artifacts/inventory/scanCanonical.js +64 -34
- package/dist/artifacts/inventory/scanReader.js +12 -20
- package/dist/artifacts/javascript/JavaScriptArtifactFiles.js +65 -27
- package/dist/browser/BrowserScenarioPartialObservation.js +106 -0
- package/dist/browser/CdpBrowserProvider.js +6 -6
- package/dist/browser/CdpCaptureEventHandlers.js +2 -4
- package/dist/browser/CdpCaptureEvents.js +0 -1
- package/dist/browser/CdpCaptureStorageFingerprints.js +3 -3
- package/dist/browser/CdpCaptureValues.js +20 -0
- package/dist/browser/CdpElectronInspection.js +2 -2
- package/dist/browser/CdpElectronProvider.js +4 -5
- package/dist/browser/CdpElectronScriptEvents.js +2 -8
- package/dist/browser/CdpElectronScripts.js +4 -5
- package/dist/browser/CdpPageCaptureScripts.js +2 -3
- package/dist/browser/CdpSafeMetadata.js +10 -10
- package/dist/browser/CdpWebMcpDiscovery.js +16 -13
- package/dist/browser/PlaywrightBrowserScenarioProvider.js +64 -49
- package/dist/browser/PlaywrightElectronActiveActions.js +2 -56
- package/dist/browser/PlaywrightElectronActiveProvider.js +10 -6
- package/dist/browser/PlaywrightScenarioArtifacts.js +1 -1
- package/dist/browser/PlaywrightScenarioBrowser.js +269 -66
- package/dist/browser/PlaywrightScenarioEvents.js +1 -1
- package/dist/browser/PlaywrightScenarioSession.js +41 -32
- package/dist/browser/WebSourceMapFetcher.js +32 -6
- package/dist/browser/assets/ScenarioScriptCapture.js +8 -12
- package/dist/browser/assets/ScriptCaptureAdapters.js +1 -1
- package/dist/browser/history/CaptureFailures.js +6 -2
- package/dist/browser/history/MitmproxyCaptureAdapter.js +4 -2
- package/dist/catalogIdentity.js +0 -1
- package/dist/cli/analysisViewCommands.js +36 -0
- package/dist/cli/artifactCommands.js +11 -12
- package/dist/cli/coreAnalysisCommands.js +3 -3
- package/dist/cli/coreBinaryCommands.js +37 -28
- package/dist/cli/coreNativeCommands.js +9 -10
- package/dist/cli/electronCommands.js +12 -13
- package/dist/cli/interactiveSetup.js +6 -6
- package/dist/cli/javascriptApplicationAnalysis.js +2 -12
- package/dist/cli/jsonOutput.js +3 -2
- package/dist/cli/managedCommands.js +7 -8
- package/dist/cli/nativeCallCommands.js +1 -2
- package/dist/cli/omittableDefaults.js +50 -0
- package/dist/cli/processCommands.js +3 -2
- package/dist/cli/setupCommands.js +16 -15
- package/dist/cli/streamedJsonOutput.js +83 -4
- package/dist/cli/utilityCommands.js +10 -12
- package/dist/cli.js +19 -8
- package/dist/cliBrowserScenarioCommands.js +2 -2
- package/dist/cliCommandNames.js +1 -0
- package/dist/cliJsonFile.js +179 -0
- package/dist/cliJsonInput.js +60 -33
- package/dist/cliObservationOptions.js +4 -0
- package/dist/cliOutput.js +0 -38
- package/dist/composition/auxiliaryAnalysisProviders.js +30 -25
- package/dist/composition/binary.js +9 -9
- package/dist/composition/browserScenario.js +2 -1
- package/dist/composition/directAnalysis.js +20 -14
- package/dist/composition/electronScenario.js +1 -1
- package/dist/composition/optionalObservationProviders.js +12 -7
- package/dist/config/environment.js +6 -0
- package/dist/config/ghidraStartupTimeout.js +4 -9
- package/dist/config/homeDirectory.js +12 -0
- package/dist/config/mcpResponseBudget.js +9 -1
- package/dist/config/parseConfig.js +7 -3
- package/dist/config/parsers.js +19 -22
- package/dist/contracts/analysisViewToolContracts.js +56 -0
- package/dist/contracts/applicationToolContracts.js +5 -4
- package/dist/contracts/artifactComparisonExample.js +7 -7
- package/dist/contracts/artifactToolContracts.js +1 -1
- package/dist/contracts/browserScenarioToolContracts.js +1 -1
- package/dist/contracts/browserToolContracts.js +19 -15
- package/dist/contracts/enhancedInputs.js +2 -2
- package/dist/contracts/enhancedToolContracts.js +4 -3
- package/dist/contracts/errorSchemas.js +3 -1
- package/dist/contracts/evm/evmToolContracts.js +1 -1
- package/dist/contracts/functionComparisonExample.js +8 -0
- package/dist/contracts/functionWorkflowToolContracts.js +1 -1
- package/dist/contracts/inputSchemaPresentation.js +181 -0
- package/dist/contracts/investigationExamples.js +4 -3
- package/dist/contracts/javascript/electronToolContracts.js +3 -2
- package/dist/contracts/javascript/javascriptApplicationWorkflowExamples.js +3 -22
- package/dist/contracts/javascript/javascriptExportShapeComparisonExample.js +248 -0
- package/dist/contracts/javascript/javascriptRuntimeObservationToolContracts.js +1 -1
- package/dist/contracts/javascript/javascriptRuntimeReconciliationExample.js +8 -7
- package/dist/contracts/managed/managedToolContracts.js +8 -12
- package/dist/contracts/managed/managedWorkflowToolContracts.js +1 -1
- package/dist/contracts/mobileApplicationGraphExamples.js +8 -8
- package/dist/contracts/native/binaryDiagnosticsToolContracts.js +1 -1
- package/dist/contracts/native/nativeToolContracts.js +2 -2
- package/dist/contracts/officialToolContracts.js +2 -1
- package/dist/contracts/promptContracts.js +2 -2
- package/dist/contracts/providerSelection.js +1 -1
- package/dist/contracts/sessionLifecycleInputs.js +4 -3
- package/dist/contracts/sessionStatusContract.js +3 -2
- package/dist/contracts/sessionToolContracts.js +17 -4
- package/dist/contracts/sessionToolSchemas.js +4 -16
- package/dist/contracts/toolContracts.js +2 -0
- package/dist/contracts/toolEffects.js +1 -0
- package/dist/contracts/toolOutputSchemaGroups.js +138 -94
- package/dist/contracts/toolOutputSchemaPrimitives.js +13 -26
- package/dist/contracts/toolSchemaMetadata.js +18 -69
- package/dist/contracts/webNetworkCaptureToolContracts.js +1 -1
- package/dist/contracts/webRuntimeToolContracts.js +1 -1
- package/dist/contracts/webScriptToolContracts.js +1 -1
- package/dist/doctorRuntime.js +7 -5
- package/dist/domain/analysisErrorBase.js +5 -0
- package/dist/domain/analysisErrorCore.js +3 -0
- package/dist/domain/analysisErrorPresentation.js +22 -5
- package/dist/domain/analysisErrorProjection.js +24 -5
- package/dist/domain/analysisSnapshot.js +31 -31
- package/dist/domain/analysisView/analysisView.js +241 -0
- package/dist/domain/analysisView/analysisViewCoverage.js +19 -0
- package/dist/domain/analysisView/binaryLayoutView.js +159 -0
- package/dist/domain/analysisView/javascriptApplicationView.js +238 -0
- package/dist/domain/android/androidApplication.js +1 -1
- package/dist/domain/android/androidPartialObservation.js +36 -0
- package/dist/domain/apple/appleApplication.js +1 -1
- package/dist/domain/apple/dylibResolution.js +10 -3
- package/dist/domain/apple/interfaceBuilderGraph.js +0 -1
- package/dist/domain/apple/keyedArchive.js +26 -2
- package/dist/domain/artifactComparison.js +15 -6
- package/dist/domain/artifactGraph.js +17 -4
- package/dist/domain/artifactIdentity.js +8 -8
- package/dist/domain/artifactInspection.js +8 -8
- package/dist/domain/artifactInventoryEvidence.js +9 -16
- package/dist/domain/artifactOperationError.js +3 -3
- package/dist/domain/artifactPartialObservation.js +1 -0
- package/dist/domain/artifactPathSyntax.js +49 -0
- package/dist/domain/binaryTarget.js +39 -13
- package/dist/domain/browserCaptureComparison.js +13 -49
- package/dist/domain/browserCompleteness.js +3 -2
- package/dist/domain/browserNetworkEvidence.js +10 -4
- package/dist/domain/browserObservation.js +0 -1
- package/dist/domain/browserObservationSchemas.js +14 -3
- package/dist/domain/browserScenario.js +0 -1
- package/dist/domain/browserScenarioCapture.js +1 -2
- package/dist/domain/browserScenarioCaptureValues.js +2 -2
- package/dist/domain/browserScenarioDiff.js +0 -2
- package/dist/domain/browserScenarioDiffEvidence.js +0 -12
- package/dist/domain/browserScenarioDiffValues.js +2 -2
- package/dist/domain/browserScenarioNormalization.js +3 -3
- package/dist/domain/browserScenarioValues.js +6 -6
- package/dist/domain/callPath.js +15 -18
- package/dist/domain/callPathSchemas.js +2 -2
- package/dist/domain/canonicalDigest.js +7 -1
- package/dist/domain/canonicalOrdering.js +1 -13
- package/dist/domain/changedBehavior.js +5 -6
- package/dist/domain/comparisonSemantics.js +0 -5
- package/dist/domain/completionLedgerGeneration.js +2 -1
- package/dist/domain/configurationErrors.js +12 -0
- package/dist/domain/conformancePackage.js +4 -3
- package/dist/domain/digests.js +0 -3
- package/dist/domain/evidence.js +19 -40
- package/dist/domain/evidenceBundle.js +58 -42
- package/dist/domain/evidenceCompletionLedger.js +2 -1
- package/dist/domain/firmware/firmwareAnalysis.js +4 -3
- package/dist/domain/functionComparison.js +6 -6
- package/dist/domain/functionComparisonDimensions.js +120 -87
- package/dist/domain/functionComparisonNormalization.js +26 -36
- package/dist/domain/functionComparisonResults.js +3 -6
- package/dist/domain/functionComparisonSchemas.js +2 -8
- package/dist/domain/functionDossierEvidence.js +4 -38
- package/dist/domain/hopperValues.js +11 -15
- package/dist/domain/javascript/electronActiveObservation.js +29 -71
- package/dist/domain/javascript/electronObservation.js +14 -3
- package/dist/domain/javascript/electronStaticAnalysisBrowser.js +12 -11
- package/dist/domain/javascript/electronStaticAnalysisIpc.js +11 -2
- package/dist/domain/javascript/electronStaticAnalysisNative.js +7 -4
- package/dist/domain/javascript/electronStaticAnalysisValues.js +8 -4
- package/dist/domain/javascript/javascriptApplicationAnalysis.js +3 -1
- package/dist/domain/javascript/javascriptApplicationChangeGraph.js +12 -8
- package/dist/domain/javascript/javascriptApplicationEvidenceSchemas.js +6 -0
- package/dist/domain/javascript/javascriptApplicationGraph.js +41 -16
- package/dist/domain/javascript/javascriptApplicationGraphSchemas.js +9 -2
- package/dist/domain/javascript/javascriptApplicationVersionComparison.js +4 -4
- package/dist/domain/javascript/javascriptApplicationVersionComparisonSchemas.js +37 -22
- package/dist/domain/javascript/javascriptApplicationVersionItems.js +50 -36
- package/dist/domain/javascript/javascriptApplicationVersionKeys.js +9 -8
- package/dist/domain/javascript/javascriptAstFingerprint.js +2 -2
- package/dist/domain/javascript/javascriptAstValues.js +22 -0
- package/dist/{application/javascript/JavaScriptReturnShapeProjection.js → domain/javascript/javascriptExportReturnShapeProjection.js} +4 -4
- package/dist/domain/javascript/javascriptExportShapeComparison.js +10 -3
- package/dist/domain/javascript/javascriptExportShapeComparisonIdentity.js +6 -1
- package/dist/domain/javascript/javascriptExportShapeComparisonSchemas.js +58 -22
- package/dist/domain/javascript/javascriptExportShapeSelection.js +7 -7
- package/dist/domain/javascript/javascriptExportShapeVariants.js +70 -16
- package/dist/domain/javascript/javascriptFeatureSeed.js +25 -3
- package/dist/domain/javascript/javascriptFeatureTrace.js +7 -6
- package/dist/domain/javascript/javascriptFeatureTraceSchemas.js +17 -9
- package/dist/domain/javascript/javascriptFeatureTraversal.js +4 -5
- package/dist/domain/javascript/javascriptNativeHandoff.js +7 -7
- package/dist/domain/javascript/javascriptRuntimeLoadState.js +0 -1
- package/dist/domain/javascript/javascriptRuntimeObservation.js +18 -7
- package/dist/domain/javascript/javascriptRuntimeReconciliation.js +12 -6
- package/dist/domain/javascript/javascriptRuntimeReconciliationActive.js +9 -8
- package/dist/domain/javascript/javascriptRuntimeReconciliationCaptureParsing.js +212 -0
- package/dist/domain/javascript/javascriptRuntimeReconciliationGraph.js +5 -4
- package/dist/domain/javascript/javascriptRuntimeReconciliationInputValidation.js +28 -0
- package/dist/domain/javascript/javascriptRuntimeReconciliationMatching.js +6 -6
- package/dist/domain/javascript/javascriptRuntimeReconciliationParsing.js +12 -222
- package/dist/domain/javascript/javascriptRuntimeReconciliationResult.js +2 -2
- package/dist/domain/javascript/javascriptRuntimeReconciliationRuntime.js +15 -4
- package/dist/domain/javascript/javascriptRuntimeReconciliationSchemas.js +2 -2
- package/dist/domain/javascript/javascriptRuntimeStaticCandidates.js +7 -7
- package/dist/domain/javascript/javascriptSemanticAnalysis.js +209 -11
- package/dist/domain/javascript/javascriptSemanticAsyncEffects.js +2 -1
- package/dist/domain/javascript/javascriptSemanticCallResolution.js +9 -7
- package/dist/domain/javascript/javascriptSemanticCalls.js +2 -1
- package/dist/domain/javascript/javascriptSemanticChildProcesses.js +4 -3
- package/dist/domain/javascript/javascriptSemanticCoverage.js +20 -0
- package/dist/domain/javascript/javascriptSemanticDataEffectHelpers.js +7 -9
- package/dist/domain/javascript/javascriptSemanticDataEffects.js +4 -11
- package/dist/domain/javascript/javascriptSemanticFingerprints.js +2 -2
- package/dist/domain/javascript/javascriptSemanticGraph.js +220 -71
- package/dist/domain/javascript/javascriptSemanticGraphSchemas.js +19 -1
- package/dist/domain/javascript/javascriptSemanticIr.js +0 -4
- package/dist/domain/javascript/javascriptSemanticIterationSources.js +106 -0
- package/dist/domain/javascript/javascriptSemanticMemberMutations.js +515 -74
- package/dist/domain/javascript/javascriptSemanticMutationInitializers.js +190 -0
- package/dist/domain/javascript/javascriptSemanticMutationValues.js +44 -36
- package/dist/domain/javascript/javascriptSemanticObjects.js +79 -42
- package/dist/domain/javascript/javascriptSemanticPrimitives.js +8 -14
- package/dist/domain/javascript/javascriptSemanticProjection.js +21 -16
- package/dist/domain/javascript/javascriptSemanticPromises.js +16 -21
- package/dist/domain/javascript/javascriptSemanticPropertyPaths.js +23 -0
- package/dist/domain/javascript/javascriptSemanticProvenance.js +3 -3
- package/dist/domain/javascript/javascriptSemanticQuery.js +8 -2
- package/dist/domain/javascript/javascriptSemanticQueryIdentity.js +3 -2
- package/dist/domain/javascript/javascriptSemanticQuerySchemas.js +8 -9
- package/dist/domain/javascript/javascriptSemanticRequireOrigin.js +16 -10
- package/dist/domain/javascript/javascriptSemanticResourceLimits.js +1 -1
- package/dist/domain/javascript/javascriptSemanticResources.js +1 -1
- package/dist/domain/javascript/javascriptSemanticReturns.js +55 -44
- package/dist/domain/javascript/javascriptSemanticSlots.js +72 -0
- package/dist/domain/javascript/javascriptSemanticTraversal.js +6 -1
- package/dist/domain/javascript/javascriptSemanticValues.js +180 -76
- package/dist/domain/javascript/javascriptSourceMapPaths.js +114 -0
- package/dist/domain/javascript/javascriptSourceParser.js +34 -9
- package/dist/domain/javascript/javascriptStaticAnalysisBundler.js +5 -6
- package/dist/domain/javascript/javascriptStaticAnalysisCalls.js +2 -1
- package/dist/domain/javascript/javascriptStaticAnalysisHelpers.js +26 -16
- package/dist/domain/javascript/sourceToBundleComparison.js +19 -8
- package/dist/domain/javascript/sourceToBundleSignals.js +53 -25
- package/dist/domain/jsonSerialization.js +109 -55
- package/dist/domain/jsonShape.js +46 -19
- package/dist/domain/localPath.js +10 -4
- package/dist/domain/managed/managedApplicationGraph.js +10 -6
- package/dist/domain/managed/managedApplicationGraphNodes.js +82 -57
- package/dist/domain/managed/managedArtifact.js +6 -4
- package/dist/domain/managed/managedMemberComparison.js +2 -9
- package/dist/domain/managed/managedMemberComparisonMatch.js +6 -7
- package/dist/domain/managed/managedNativeVerification.js +0 -2
- package/dist/domain/managed/managedNativeVerificationMatch.js +9 -3
- package/dist/domain/native/binaryLayout.js +2 -3
- package/dist/domain/native/nativeApiBoundary.js +1 -1
- package/dist/domain/native/nativeCallObservation.js +3 -3
- package/dist/domain/native/nativeInstruction.js +7 -0
- package/dist/domain/native/nativeValueFlow.js +5 -11
- package/dist/domain/native/objcSwiftMetadata.js +15 -17
- package/dist/domain/native/recordedCrash.js +2 -3
- package/dist/domain/offsetDateTime.js +17 -0
- package/dist/domain/process/processCapture.js +22 -20
- package/dist/domain/process/processCaptureCoverage.js +70 -0
- package/dist/domain/process/processCaptureExample.js +45 -1
- package/dist/domain/process/processCaptureParsing.js +1 -34
- package/dist/domain/process/processCaptureValidation.js +82 -13
- package/dist/domain/process/processComparison.js +39 -43
- package/dist/domain/process/processObservation.js +10 -2
- package/dist/domain/process/processScenario.js +24 -2
- package/dist/domain/process/processTraceComparison.js +0 -2
- package/dist/domain/process/processTraceDimensionProjection.js +1 -1
- package/dist/domain/process/processTraceEvaluation.js +19 -15
- package/dist/domain/process/processTraceSpecification.js +4 -7
- package/dist/domain/providerAdapterError.js +2 -0
- package/dist/domain/providerCleanupError.js +6 -2
- package/dist/domain/reconstructionCoverage.js +7 -3
- package/dist/domain/reconstructionObligationLedgerSchemas.js +2 -1
- package/dist/domain/reconstructionReadinessSchemas.js +2 -1
- package/dist/domain/reconstructionUnknowns.js +4 -3
- package/dist/domain/reconstructionVerification.js +6 -5
- package/dist/domain/reconstructionVerificationSchemas.js +2 -1
- package/dist/domain/referenceSourceGraph.js +27 -28
- package/dist/domain/referenceSourceImportParsing.js +34 -45
- package/dist/domain/residualUnknown.js +3 -2
- package/dist/domain/staticRuntimeCorrelation.js +4 -3
- package/dist/domain/stringPatterns.js +6 -0
- package/dist/domain/swiftSymbolClassification.js +66 -0
- package/dist/domain/symbolAnalysis.js +83 -20
- package/dist/domain/unicodeCodePointOrder.js +6 -0
- package/dist/domain/webBundleAnalyzerInspection.js +9 -1
- package/dist/domain/webCaptureDiff.js +71 -30
- package/dist/domain/webCaptureDiffSchemas.js +8 -11
- package/dist/domain/webEventListeners.js +3 -2
- package/dist/domain/webExecution.js +3 -2
- package/dist/domain/webInventory.js +3 -2
- package/dist/domain/webMcpDiscovery.js +4 -3
- package/dist/domain/webRuntime.js +0 -2
- package/dist/domain/webScriptExport.js +2 -2
- package/dist/dotnet/ManagedArtifactInspector.js +2 -19
- package/dist/dotnet/ManagedMemberInspector.js +12 -18
- package/dist/dotnet/ManagedMemberInspectorCore.js +47 -44
- package/dist/dotnet/ManagedMemberInstructionDecoder.js +1 -2
- package/dist/dotnet/ManagedMemberRows.js +75 -62
- package/dist/dotnet/ManagedMetadataInventory.js +16 -22
- package/dist/dotnet/ManagedMethodBodyReader.js +4 -0
- package/dist/dotnet/ManagedNativeBoundaryHelpers.js +109 -94
- package/dist/dotnet/ManagedNativeBoundaryInspector.js +12 -21
- package/dist/dotnet/ManagedReaderFailure.js +16 -0
- package/dist/dotnet/ManagedStaticProvider.js +13 -12
- package/dist/dotnet/ManagedStaticProviderMetadata.js +1 -4
- package/dist/evaluation/AgentEvaluationFixtures.js +250 -0
- package/dist/evaluation/AgentEvaluationReport.js +28 -0
- package/dist/evaluation/CodexAgentEval.js +12 -8
- package/dist/evaluation/KnownAnswerEvaluation.js +281 -0
- package/dist/evm/EvmoleInterfaceProvider.js +2 -1
- package/dist/filesystem/RegularFile.js +41 -0
- package/dist/firmware/FirmwareCommand.js +9 -5
- package/dist/firmware/FirmwareProvider.js +4 -4
- package/dist/generatedPackageMetadata.js +2 -2
- package/dist/ghidra/GhidraAnalysisProfile.js +3 -6
- package/dist/ghidra/GhidraClient.js +105 -36
- package/dist/ghidra/GhidraClientStartup.js +0 -2
- package/dist/ghidra/GhidraDoctor.js +6 -5
- package/dist/ghidra/GhidraFunctionValues.js +3 -5
- package/dist/ghidra/GhidraInstallation.js +151 -22
- package/dist/ghidra/GhidraJavaLaunch.js +6 -2
- package/dist/ghidra/GhidraLauncher.js +58 -26
- package/dist/ghidra/GhidraProvider.js +6 -2
- package/dist/ghidra/GhidraProviderCapabilities.js +6 -0
- package/dist/ghidra/GhidraProviderClient.js +13 -3
- package/dist/ghidra/GhidraSessionError.js +2 -0
- package/dist/ghidra/GhidraSessionRoot.js +39 -0
- package/dist/ghidra/extensions/GhidraExtensions.js +17 -10
- package/dist/ghidra/extensions/nativeaot/NativeAotAdapter.js +8 -2
- package/dist/hopper/BridgeLauncher.js +34 -45
- package/dist/hopper/HopperAnalysisProfile.js +3 -8
- package/dist/hopper/HopperCleanup.js +56 -27
- package/dist/hopper/HopperClient.js +86 -65
- package/dist/hopper/HopperMachOImage.js +3 -2
- package/dist/hopper/HopperProvider.js +16 -18
- package/dist/hopper/HopperRegexSearch.js +3 -6
- package/dist/hopper/HopperTargetLease.js +132 -49
- package/dist/hopper/LinuxPrivateDisplayProbe.js +6 -0
- package/dist/ida/IdaConfiguration.js +8 -3
- package/dist/ida/IdaInput.js +1 -7
- package/dist/ida/IdaMcpConnection.js +8 -4
- package/dist/ida/IdaOperationRunner.js +5 -3
- package/dist/ida/IdaProvider.js +8 -12
- package/dist/ida/IdaSessionClient.js +24 -20
- package/dist/ida/IdaWorkspace.js +12 -13
- package/dist/inspector/JavaScriptRuntimeScope.js +9 -5
- package/dist/inspector/V8InspectorCaptureProjection.js +47 -14
- package/dist/inspector/V8InspectorProvider.js +97 -35
- package/dist/javascript/recovery/WakaruCommand.js +7 -2
- package/dist/javascript/recovery/WakaruExecution.js +5 -2
- package/dist/main/shutdown.js +81 -29
- package/dist/main/startup.js +9 -2
- package/dist/main/transport.js +23 -3
- package/dist/main.js +11 -18
- package/dist/native/AppleMachoSelection.js +16 -6
- package/dist/native/AppleObjcDispatchFacets.js +3 -3
- package/dist/native/AppleObjcProperties.js +17 -7
- package/dist/native/CommandRunner.js +9 -7
- package/dist/native/LldbCallTracer.js +249 -77
- package/dist/native/NativeMacOSProvider.js +32 -17
- package/dist/native/NativeMacOSProviderMetadata.js +1 -2
- package/dist/native/NativeUiHelperRuntime.js +11 -2
- package/dist/native/NativeUiObservation.js +2 -2
- package/dist/native/pwntools/PwntoolsDecoder.js +2 -1
- package/dist/process/DarwinProcessRunTokenReader.js +16 -2
- package/dist/process/ExecFileOutput.js +88 -6
- package/dist/process/PrivateRuntimeRoot.js +10 -5
- package/dist/process/ProcessOwnership.js +1 -4
- package/dist/process/ProcessOwnershipObservation.js +18 -16
- package/dist/process/ProviderProcess.js +1 -3
- package/dist/process/capture/FilesystemSnapshot.js +131 -24
- package/dist/process/capture/ProcessCaptureError.js +13 -0
- package/dist/process/capture/ProcessCaptureLifecycle.js +148 -74
- package/dist/process/capture/ProcessFilesystemEffects.js +51 -6
- package/dist/process/capture/ProcessHarness.js +16 -33
- package/dist/process/capture/ProcessNormalization.js +20 -2
- package/dist/process/capture/ProcessSampling.js +25 -2
- package/dist/process/capture/TerminalRenderer.js +14 -0
- package/dist/process/snapshotEnvironment.js +14 -0
- package/dist/server/EvidenceMcpServer.js +25 -14
- package/dist/server/analysisAdmission.js +8 -0
- package/dist/server/createServer.js +71 -59
- package/dist/server/mcpClientMetadata.js +12 -5
- package/dist/server/promptCompletion.js +3 -8
- package/dist/server/registerAnalysisViewTool.js +15 -0
- package/dist/server/registerAndroidTools.js +2 -3
- package/dist/server/registerApplicationTools/compareExportShapes.js +6 -6
- package/dist/server/registerApplicationTools/compareSourceToBundle.js +4 -5
- package/dist/server/registerApplicationTools/compareVersions.js +4 -5
- package/dist/server/registerApplicationTools/coverage.js +1 -2
- package/dist/server/registerApplicationTools/helpers.js +4 -4
- package/dist/server/registerApplicationTools/obligationLedger.js +4 -5
- package/dist/server/registerApplicationTools/projectMobileApplicationGraph.js +3 -4
- package/dist/server/registerApplicationTools/traceFeature.js +4 -5
- package/dist/server/registerApplicationTools/traceSemantics.js +4 -5
- package/dist/server/registerArtifactComparisonTool.js +4 -5
- package/dist/server/registerArtifactTools.js +2 -2
- package/dist/server/registerBinaryDiagnosticsTools.js +2 -3
- package/dist/server/registerBrowserScenarioTool.js +3 -4
- package/dist/server/registerBrowserTools.js +13 -16
- package/dist/server/registerBundleComparisonTool.js +5 -6
- package/dist/server/registerCloseLifecycleTool.js +8 -7
- package/dist/server/registerElectronTools.js +10 -13
- package/dist/server/registerEnhancedTools.js +82 -77
- package/dist/server/registerEvidenceTools.js +54 -47
- package/dist/server/registerEvmTools.js +2 -3
- package/dist/server/registerFirmwareTools.js +2 -3
- package/dist/server/registerFunctionComparisonTool.js +7 -8
- package/dist/server/registerInvestigationTools.js +14 -15
- package/dist/server/registerJavaScriptRecoveryTool.js +2 -3
- package/dist/server/registerJavaScriptRuntimeObservationTools.js +6 -6
- package/dist/server/registerManagedTools.js +7 -4
- package/dist/server/registerManagedWorkflowTools/compareManagedMembers.js +5 -6
- package/dist/server/registerManagedWorkflowTools/importManagedReconstruction.js +4 -5
- package/dist/server/registerManagedWorkflowTools/projectManagedApplicationGraph.js +6 -7
- package/dist/server/registerManagedWorkflowTools/verifyManagedNativeBoundaries.js +6 -7
- package/dist/server/registerOfficialTools.js +32 -41
- package/dist/server/registerProcessComparisonTool.js +8 -8
- package/dist/server/registerRecordedCrashTools.js +2 -3
- package/dist/server/registerSessionRecordTools.js +15 -19
- package/dist/server/registerSessionStatusTool.js +3 -4
- package/dist/server/registerSessionTools.js +19 -19
- package/dist/server/registerWebModuleTool.js +2 -3
- package/dist/server/registerWebNetworkCaptureTool.js +2 -3
- package/dist/server/registerWebRuntimeTools.js +4 -5
- package/dist/server/registerWebScriptTool.js +2 -3
- package/dist/server/registerWebSourceLocationTool.js +2 -3
- package/dist/server/toolResult.js +66 -94
- package/dist/server/toolResultEncoding.js +11 -10
- package/dist/windows/WindowsNativeLoader.js +1 -0
- package/dist/windows/WindowsOwnedProcess.js +60 -15
- package/dist/windows/WindowsPrivateRuntime.js +7 -8
- package/native/windows/README.md +3 -1
- package/native/windows/build/manifest.json +2 -2
- package/native/windows/build/rea-windows-x64.node +0 -0
- package/package.json +42 -30
- package/scripts/rea.mjs +3 -6
- package/skills/reverse-engineer-anything/SKILL.md +14 -13
- package/skills/reverse-engineer-anything/references/android-applications.md +6 -3
- package/skills/reverse-engineer-anything/references/evidence-workflows.md +8 -4
- package/skills/reverse-engineer-anything/references/javascript-applications.md +16 -6
- package/skills/reverse-engineer-anything/references/native-and-artifacts.md +18 -0
- package/dist/artifacts/inventory/policy.js +0 -2
- package/dist/config.js +0 -1
- package/dist/contracts/browserCaptureToolInputSchema.js +0 -43
- package/dist/contracts/process/processCaptureExample.js +0 -2
- package/dist/contracts/toolOutputSchemas.js +0 -2
- package/dist/domain/managed/managedApplicationGraphNodeCoverage.js +0 -6
- package/dist/main/reload.js +0 -12
- package/dist/main/state.js +0 -3
- package/dist/server/registerNativeTools.js +0 -6
- package/dist/server/sessionToolPolicies.js +0 -2
|
@@ -0,0 +1,212 @@
|
|
|
1
|
+
import { z } from "zod";
|
|
2
|
+
import { browserAllowedOriginsSchema, browserEndpointSchema, } from "../browserObservation.js";
|
|
3
|
+
import { webPageInspectionSchema, } from "../browserObservationSchemas.js";
|
|
4
|
+
import { classifyBrowserCompleteness, } from "../browserCompleteness.js";
|
|
5
|
+
import { electronPageInspectionSchema, } from "./electronObservation.js";
|
|
6
|
+
import { javascriptRuntimeObservationSchema, javascriptRuntimeKindSchema, } from "./javascriptRuntimeObservation.js";
|
|
7
|
+
import { digestCanonicalValue } from "../canonicalDigest.js";
|
|
8
|
+
import { compareUnicodeCodePoints } from "../unicodeCodePointOrder.js";
|
|
9
|
+
import { parseEvidence } from "../evidence.js";
|
|
10
|
+
import { parseActiveElectronCapture } from "./javascriptRuntimeReconciliationActive.js";
|
|
11
|
+
import { assertEvidenceIdentity, invalidInput, parseAtPath, } from "./javascriptRuntimeReconciliationInputValidation.js";
|
|
12
|
+
/** Parse only supported passive web/Electron inspection Evidence. */
|
|
13
|
+
export const parseRuntimeCaptures = (observations, path = ["runtime_observations"]) => observations
|
|
14
|
+
.map((observation, index) => parseRuntimeCapture(observation, [...path, index]))
|
|
15
|
+
.sort((left, right) => compareUnicodeCodePoints(left.evidence.evidence_id, right.evidence.evidence_id));
|
|
16
|
+
const parseRuntimeCapture = (input, evidencePath) => {
|
|
17
|
+
const evidence = parseAtPath(parseEvidence, input, evidencePath);
|
|
18
|
+
if (evidence.operation === "inspect_web_page")
|
|
19
|
+
return parseBrowserCapture(evidence, evidencePath);
|
|
20
|
+
if (evidence.operation === "inspect_electron_page")
|
|
21
|
+
return parseElectronCapture(evidence, evidencePath);
|
|
22
|
+
if (evidence.operation === "observe_javascript_runtime")
|
|
23
|
+
return parseV8Capture(evidence, evidencePath);
|
|
24
|
+
if (evidence.operation === "capture_electron_scenario") {
|
|
25
|
+
return parseAtPath(() => parseActiveElectronCapture(evidence), evidence, evidencePath);
|
|
26
|
+
}
|
|
27
|
+
throw invalidInput(evidencePath, "Runtime reconciliation requires inspect_web_page, inspect_electron_page, observe_javascript_runtime, or capture_electron_scenario Evidence");
|
|
28
|
+
};
|
|
29
|
+
const parseBrowserCapture = (evidence, path) => {
|
|
30
|
+
assertEvidenceIdentity(evidence, {
|
|
31
|
+
operation: "inspect_web_page",
|
|
32
|
+
predicate: "rea.web-page-inspection",
|
|
33
|
+
providerId: "rea-cdp-browser",
|
|
34
|
+
providerName: "REA Chrome DevTools Protocol observation provider",
|
|
35
|
+
providerVersion: "2",
|
|
36
|
+
authority: "external-service",
|
|
37
|
+
confidence: "observed",
|
|
38
|
+
}, path);
|
|
39
|
+
const inspection = parseAtPath((value) => webPageInspectionSchema.parse(value), evidence.normalized_result, [...path, "normalized_result"]);
|
|
40
|
+
assertRuntimeParameters(evidence, {
|
|
41
|
+
kind: "browser",
|
|
42
|
+
targetId: inspection.target.target_id,
|
|
43
|
+
targetOrigin: inspection.target.origin,
|
|
44
|
+
sourceIncluded: inspection.scripts.items.some(({ source }) => source.included),
|
|
45
|
+
}, path);
|
|
46
|
+
return {
|
|
47
|
+
kind: "browser",
|
|
48
|
+
evidence,
|
|
49
|
+
inspection,
|
|
50
|
+
captureSha256: digestCanonicalValue(inspection, "Runtime reconciliation"),
|
|
51
|
+
scriptsCompleteWithinScope: scriptsComplete(inspection.completeness),
|
|
52
|
+
};
|
|
53
|
+
};
|
|
54
|
+
const parseElectronCapture = (evidence, path) => {
|
|
55
|
+
assertEvidenceIdentity(evidence, {
|
|
56
|
+
operation: "inspect_electron_page",
|
|
57
|
+
predicate: "rea.electron-page-inspection",
|
|
58
|
+
providerId: "rea-cdp-electron",
|
|
59
|
+
providerName: "REA Electron file-page CDP observation provider",
|
|
60
|
+
providerVersion: "1",
|
|
61
|
+
authority: "external-service",
|
|
62
|
+
confidence: "observed",
|
|
63
|
+
}, path);
|
|
64
|
+
const inspection = parseAtPath((value) => electronPageInspectionSchema.parse(value), evidence.normalized_result, [...path, "normalized_result"]);
|
|
65
|
+
assertRuntimeParameters(evidence, {
|
|
66
|
+
kind: "electron",
|
|
67
|
+
targetId: inspection.target.target_id,
|
|
68
|
+
sourceIncluded: inspection.scripts.items.some(({ source }) => source.included),
|
|
69
|
+
}, path);
|
|
70
|
+
return {
|
|
71
|
+
kind: "electron",
|
|
72
|
+
evidence,
|
|
73
|
+
inspection,
|
|
74
|
+
captureSha256: digestCanonicalValue(inspection, "Runtime reconciliation"),
|
|
75
|
+
scriptsCompleteWithinScope: scriptsComplete(inspection.completeness),
|
|
76
|
+
};
|
|
77
|
+
};
|
|
78
|
+
const parseV8Capture = (evidence, path) => {
|
|
79
|
+
assertEvidenceIdentity(evidence, {
|
|
80
|
+
operation: "observe_javascript_runtime",
|
|
81
|
+
predicate: "rea.javascript-runtime-observation",
|
|
82
|
+
providerId: "rea-v8-inspector",
|
|
83
|
+
providerName: "REA passive Node/Electron V8 Inspector provider",
|
|
84
|
+
providerVersion: "1",
|
|
85
|
+
authority: "external-service",
|
|
86
|
+
confidence: "observed",
|
|
87
|
+
}, path);
|
|
88
|
+
const result = parseAtPath((value) => javascriptRuntimeObservationSchema.parse(value), evidence.normalized_result, [...path, "normalized_result"]);
|
|
89
|
+
assertV8RuntimeParameters(evidence, result, path);
|
|
90
|
+
return {
|
|
91
|
+
kind: "v8-inspector",
|
|
92
|
+
evidence,
|
|
93
|
+
inspection: normalizeV8Inspection(result),
|
|
94
|
+
captureSha256: digestCanonicalValue(result, "Runtime reconciliation"),
|
|
95
|
+
scriptsCompleteWithinScope: false,
|
|
96
|
+
};
|
|
97
|
+
};
|
|
98
|
+
const assertV8RuntimeParameters = (evidence, result, path) => {
|
|
99
|
+
const parameters = parseAtPath((value) => z
|
|
100
|
+
.object({
|
|
101
|
+
inspector_endpoint: browserEndpointSchema,
|
|
102
|
+
target_id: z.string().trim().min(1),
|
|
103
|
+
runtime_kind: javascriptRuntimeKindSchema.optional(),
|
|
104
|
+
})
|
|
105
|
+
.passthrough()
|
|
106
|
+
.parse(value), evidence.parameters, [...path, "parameters"]);
|
|
107
|
+
if (parameters.target_id !== result.target.target_id ||
|
|
108
|
+
(parameters.runtime_kind !== undefined &&
|
|
109
|
+
parameters.runtime_kind !== result.target.runtime_kind))
|
|
110
|
+
throw invalidInput([...path, "parameters", "target_id"], "Runtime Evidence target or declared role disagrees with its result");
|
|
111
|
+
if (result.target.location.kind === "builtin" &&
|
|
112
|
+
!result.target.location.specifier.startsWith("node:"))
|
|
113
|
+
throw invalidInput([...path, "normalized_result", "target", "location"], "Runtime Evidence contains an invalid builtin location");
|
|
114
|
+
for (const [index, { location }] of result.scripts.items.entries())
|
|
115
|
+
if (location.kind === "builtin" && !location.specifier.startsWith("node:"))
|
|
116
|
+
throw invalidInput([...path, "normalized_result", "scripts", "items", index, "location"], "Runtime Evidence contains an invalid builtin location");
|
|
117
|
+
};
|
|
118
|
+
const normalizeV8Inspection = (result) => ({
|
|
119
|
+
target: {
|
|
120
|
+
target_id: result.target.target_id,
|
|
121
|
+
type: result.target.protocol_type,
|
|
122
|
+
title: result.target.runtime_kind,
|
|
123
|
+
attached: result.target.attached,
|
|
124
|
+
...(result.target.location.kind === "unresolved"
|
|
125
|
+
? { unresolved_location: result.target.location }
|
|
126
|
+
: runtimeLocation(result.target.location)),
|
|
127
|
+
},
|
|
128
|
+
frames: [],
|
|
129
|
+
scripts: {
|
|
130
|
+
items: result.scripts.items.map((script) => ({
|
|
131
|
+
script_key: script.script_key,
|
|
132
|
+
frame_id: script.execution_context_key,
|
|
133
|
+
...runtimeLocation(script.location),
|
|
134
|
+
cdp_hash: script.cdp_hash,
|
|
135
|
+
length: script.length,
|
|
136
|
+
is_module: script.is_module,
|
|
137
|
+
language: null,
|
|
138
|
+
source: {
|
|
139
|
+
included: false,
|
|
140
|
+
reason: "V8 Inspector source capture is outside passive authority.",
|
|
141
|
+
},
|
|
142
|
+
})),
|
|
143
|
+
},
|
|
144
|
+
workers: [],
|
|
145
|
+
completeness: classifyBrowserCompleteness({
|
|
146
|
+
policyFilteredSections: new Set(excludedV8Scripts(result) > 0 ? ["scripts"] : []),
|
|
147
|
+
attachLimitedSections: new Set([
|
|
148
|
+
"frames",
|
|
149
|
+
"scripts",
|
|
150
|
+
"script_sources",
|
|
151
|
+
"workers",
|
|
152
|
+
]),
|
|
153
|
+
truncatedSections: new Set(result.capture.truncated ? ["scripts"] : []),
|
|
154
|
+
unavailableSections: new Set(["frames", "script_sources", "workers"]),
|
|
155
|
+
excluded: excludedV8Scripts(result) === 0
|
|
156
|
+
? []
|
|
157
|
+
: [
|
|
158
|
+
{
|
|
159
|
+
section: "scripts",
|
|
160
|
+
reason: "out_of_target_scope",
|
|
161
|
+
count: excludedV8Scripts(result),
|
|
162
|
+
},
|
|
163
|
+
],
|
|
164
|
+
droppedEvents: {
|
|
165
|
+
scripts: result.capture.events_dropped,
|
|
166
|
+
network_requests: 0,
|
|
167
|
+
console_events: 0,
|
|
168
|
+
websocket_connections: 0,
|
|
169
|
+
websocket_frames: 0,
|
|
170
|
+
webmcp_tools: 0,
|
|
171
|
+
timeline_events: 0,
|
|
172
|
+
},
|
|
173
|
+
}),
|
|
174
|
+
});
|
|
175
|
+
const runtimeLocation = (location) => {
|
|
176
|
+
if (location.kind === "unresolved")
|
|
177
|
+
return { unresolved_location: location };
|
|
178
|
+
if (location.kind === "file")
|
|
179
|
+
return { file_path: location.file_path };
|
|
180
|
+
if (location.kind === "url")
|
|
181
|
+
return { url: location.sanitized_url };
|
|
182
|
+
return { url: location.specifier };
|
|
183
|
+
};
|
|
184
|
+
const excludedV8Scripts = (result) => Object.values(result.scripts.excluded).reduce((total, count) => total + count, 0);
|
|
185
|
+
const assertRuntimeParameters = (evidence, expected, path) => {
|
|
186
|
+
const common = {
|
|
187
|
+
target_id: z.string().trim().min(1),
|
|
188
|
+
cdp_endpoint: browserEndpointSchema,
|
|
189
|
+
include_script_sources: z.boolean(),
|
|
190
|
+
};
|
|
191
|
+
if (expected.kind === "browser") {
|
|
192
|
+
const parameters = parseAtPath((value) => z
|
|
193
|
+
.object({ ...common, allowed_origins: browserAllowedOriginsSchema })
|
|
194
|
+
.passthrough()
|
|
195
|
+
.parse(value), evidence.parameters, [...path, "parameters"]);
|
|
196
|
+
if (parameters.target_id !== expected.targetId)
|
|
197
|
+
throw invalidInput([...path, "parameters", "target_id"], "Runtime Evidence target disagrees with its captured result");
|
|
198
|
+
if (!parameters.allowed_origins.includes(expected.targetOrigin))
|
|
199
|
+
throw invalidInput([...path, "parameters", "allowed_origins"], "Browser Evidence target is outside its recorded origin scope");
|
|
200
|
+
if (expected.sourceIncluded && !parameters.include_script_sources)
|
|
201
|
+
throw invalidInput([...path, "parameters", "include_script_sources"], "Runtime Evidence contains source without source-capture selection");
|
|
202
|
+
return;
|
|
203
|
+
}
|
|
204
|
+
const parameters = parseAtPath((value) => z.object(common).passthrough().parse(value), evidence.parameters, [...path, "parameters"]);
|
|
205
|
+
if (parameters.target_id !== expected.targetId)
|
|
206
|
+
throw invalidInput([...path, "parameters", "target_id"], "Runtime Evidence target disagrees with its captured result");
|
|
207
|
+
if (expected.sourceIncluded && !parameters.include_script_sources)
|
|
208
|
+
throw invalidInput([...path, "parameters", "include_script_sources"], "Runtime Evidence contains source without source-capture selection");
|
|
209
|
+
};
|
|
210
|
+
const scriptsComplete = (completeness) => !completeness.truncated_sections.includes("scripts") &&
|
|
211
|
+
!completeness.unavailable_sections.includes("scripts") &&
|
|
212
|
+
completeness.dropped_events.scripts === 0;
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { createJavaScriptApplicationGraph, createJavaScriptApplicationNode, } from "./javascriptApplicationGraph.js";
|
|
2
|
-
import {
|
|
2
|
+
import { uniqueSorted } from "../canonicalOrdering.js";
|
|
3
|
+
import { compareUnicodeCodePoints } from "../unicodeCodePointOrder.js";
|
|
3
4
|
/** Merge source graphs, runtime nodes, and inferred mappings into one valid JAG. */
|
|
4
5
|
export const buildReconciledApplicationGraph = (input) => {
|
|
5
6
|
const merged = mergeNodes([
|
|
@@ -44,11 +45,11 @@ export const buildReconciledApplicationGraph = (input) => {
|
|
|
44
45
|
const boundGraphContent = (input, nodes, edges) => {
|
|
45
46
|
const allRoots = preferredRootIds(input);
|
|
46
47
|
const rootNodeIds = allRoots;
|
|
47
|
-
const sortedNodes = [...nodes].sort((left, right) =>
|
|
48
|
+
const sortedNodes = [...nodes].sort((left, right) => compareUnicodeCodePoints(left.node_id, right.node_id));
|
|
48
49
|
const retainedNodes = sortedNodes;
|
|
49
50
|
const retainedIds = new Set(retainedNodes.map(({ node_id: id }) => id));
|
|
50
51
|
const retainedEdges = [...edges]
|
|
51
|
-
.sort((left, right) =>
|
|
52
|
+
.sort((left, right) => compareUnicodeCodePoints(left.edge_id, right.edge_id))
|
|
52
53
|
.filter(({ source_node_id: source, target_node_id: target }) => retainedIds.has(source) && retainedIds.has(target));
|
|
53
54
|
return {
|
|
54
55
|
rootNodeIds,
|
|
@@ -143,7 +144,7 @@ const mergeNodes = (nodes) => {
|
|
|
143
144
|
...new Map(group
|
|
144
145
|
.flatMap(({ observations: values }) => values)
|
|
145
146
|
.map((observation) => [observation.observation_id, observation])).values(),
|
|
146
|
-
].sort((left, right) =>
|
|
147
|
+
].sort((left, right) => compareUnicodeCodePoints(left.observation_id, right.observation_id));
|
|
147
148
|
return createJavaScriptApplicationNode({
|
|
148
149
|
kind: first.kind,
|
|
149
150
|
identity: first.identity,
|
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
import { z } from "zod";
|
|
2
|
+
/** Prefix caller paths on a nested Zod validation boundary. */
|
|
3
|
+
export const parseAtPath = (parse, input, path) => {
|
|
4
|
+
try {
|
|
5
|
+
return parse(input);
|
|
6
|
+
}
|
|
7
|
+
catch (cause) {
|
|
8
|
+
if (cause instanceof z.ZodError)
|
|
9
|
+
throw new z.ZodError(cause.issues.map((issue) => ({
|
|
10
|
+
...issue,
|
|
11
|
+
path: [...path, ...issue.path],
|
|
12
|
+
})));
|
|
13
|
+
throw cause;
|
|
14
|
+
}
|
|
15
|
+
};
|
|
16
|
+
/** Represent one semantic caller constraint as a standard validation issue. */
|
|
17
|
+
export const invalidInput = (path, message) => new z.ZodError([{ code: "custom", path: [...path], message }]);
|
|
18
|
+
/** Verify an authenticated Evidence record against one runtime workflow. */
|
|
19
|
+
export const assertEvidenceIdentity = (evidence, expected, path) => {
|
|
20
|
+
if (evidence.operation !== expected.operation ||
|
|
21
|
+
evidence.predicate_type !== expected.predicate ||
|
|
22
|
+
evidence.provider.id !== expected.providerId ||
|
|
23
|
+
evidence.provider.name !== expected.providerName ||
|
|
24
|
+
evidence.provider.version !== expected.providerVersion ||
|
|
25
|
+
evidence.authority !== expected.authority ||
|
|
26
|
+
evidence.confidence !== expected.confidence)
|
|
27
|
+
throw invalidInput(path, `Evidence does not match the supported ${expected.operation} contract`);
|
|
28
|
+
};
|
|
@@ -1,12 +1,12 @@
|
|
|
1
|
-
import { createJavaScriptApplicationEdge
|
|
2
|
-
import {
|
|
3
|
-
import {
|
|
1
|
+
import { createJavaScriptApplicationEdge } from "./javascriptApplicationGraph.js";
|
|
2
|
+
import { digestCanonicalValue } from "../canonicalDigest.js";
|
|
3
|
+
import { compareUnicodeCodePoints } from "../unicodeCodePointOrder.js";
|
|
4
4
|
import { mappedRuntimePaths, } from "./javascriptRuntimeStaticCandidates.js";
|
|
5
5
|
/** Match runtime entities conservatively and emit only inferred observed_as edges. */
|
|
6
6
|
export const reconcileRuntimeEntities = (input) => {
|
|
7
7
|
const index = indexCandidates(input.candidates);
|
|
8
8
|
const evaluated = input.entities.map((entity) => reconcileEntity(entity, index, input.layers));
|
|
9
|
-
const retained = evaluated.sort((left, right) =>
|
|
9
|
+
const retained = evaluated.sort((left, right) => compareUnicodeCodePoints(left.item.reconciliation_id, right.item.reconciliation_id));
|
|
10
10
|
return {
|
|
11
11
|
items: retained.map(({ item }) => item),
|
|
12
12
|
edges: retained.flatMap(({ edge }) => (edge === null ? [] : [edge])),
|
|
@@ -105,7 +105,7 @@ const candidatesWithLocation = (entity, index, layers) => {
|
|
|
105
105
|
if (!located.has(key))
|
|
106
106
|
located.set(key, { candidate, mapping });
|
|
107
107
|
}
|
|
108
|
-
return [...located.values()].sort((left, right) =>
|
|
108
|
+
return [...located.values()].sort((left, right) => compareUnicodeCodePoints(candidateKey(left.candidate), candidateKey(right.candidate)));
|
|
109
109
|
};
|
|
110
110
|
const indexCandidates = (candidates) => {
|
|
111
111
|
const byCategoryDigest = new Map();
|
|
@@ -189,7 +189,7 @@ const createItem = (entity, input) => {
|
|
|
189
189
|
candidate_static_nodes: candidateReferences.items,
|
|
190
190
|
};
|
|
191
191
|
return {
|
|
192
|
-
reconciliation_id: `jrr_item_${
|
|
192
|
+
reconciliation_id: `jrr_item_${digestCanonicalValue(semantic, "Runtime reconciliation")}`,
|
|
193
193
|
...semantic,
|
|
194
194
|
};
|
|
195
195
|
};
|
|
@@ -1,25 +1,15 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
3
|
-
import { classifyBrowserCompleteness, } from "../browserCompleteness.js";
|
|
4
|
-
import { electronPageInspectionSchema, } from "./electronObservation.js";
|
|
5
|
-
import { javascriptRuntimeObservationSchema, javascriptRuntimeKindSchema, } from "./javascriptRuntimeObservation.js";
|
|
6
|
-
import { canonicalDigest } from "../comparisonSemantics.js";
|
|
7
|
-
import { compareCodePoints } from "../canonicalOrdering.js";
|
|
1
|
+
import { digestCanonicalValue } from "../canonicalDigest.js";
|
|
2
|
+
import { compareUnicodeCodePoints } from "../unicodeCodePointOrder.js";
|
|
8
3
|
import { parseEvidence } from "../evidence.js";
|
|
9
4
|
import { javascriptApplicationAnalysisResultSchema, } from "./javascriptApplicationAnalysis.js";
|
|
10
|
-
import {} from "./
|
|
11
|
-
import { parseActiveElectronCapture } from "./javascriptRuntimeReconciliationActive.js";
|
|
5
|
+
import { assertEvidenceIdentity, invalidInput, parseAtPath, } from "./javascriptRuntimeReconciliationInputValidation.js";
|
|
12
6
|
/** Parse and semantically bind every static analysis Evidence layer. */
|
|
13
|
-
export const parseStaticLayers = (layers) => layers
|
|
14
|
-
.map((layer) => parseStaticLayer(layer))
|
|
15
|
-
.sort((left, right) =>
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
.sort((left, right) => compareCodePoints(left.evidence.evidence_id, right.evidence.evidence_id));
|
|
20
|
-
const parseStaticLayer = (layer) => {
|
|
21
|
-
const evidence = parseEvidence(layer.analysis);
|
|
22
|
-
const result = javascriptApplicationAnalysisResultSchema.parse(evidence.normalized_result);
|
|
7
|
+
export const parseStaticLayers = (layers, path = ["static_layers"]) => layers
|
|
8
|
+
.map((layer, index) => parseStaticLayer(layer, [...path, index, "analysis"]))
|
|
9
|
+
.sort((left, right) => compareUnicodeCodePoints(left.layerId, right.layerId));
|
|
10
|
+
const parseStaticLayer = (layer, evidencePath) => {
|
|
11
|
+
const evidence = parseAtPath(parseEvidence, layer.analysis, evidencePath);
|
|
12
|
+
const result = parseAtPath((value) => javascriptApplicationAnalysisResultSchema.parse(value), evidence.normalized_result, [...evidencePath, "normalized_result"]);
|
|
23
13
|
assertEvidenceIdentity(evidence, {
|
|
24
14
|
operation: "analyze_javascript_application",
|
|
25
15
|
predicate: "rea.javascript-application-analysis",
|
|
@@ -28,14 +18,14 @@ const parseStaticLayer = (layer) => {
|
|
|
28
18
|
providerVersion: "1",
|
|
29
19
|
authority: "shipped-artifact",
|
|
30
20
|
confidence: "derived",
|
|
31
|
-
});
|
|
21
|
+
}, evidencePath);
|
|
32
22
|
if (evidence.subject === null ||
|
|
33
23
|
evidence.subject.digest.sha256 !== result.root_artifact_sha256 ||
|
|
34
24
|
evidence.subject.format !== result.format ||
|
|
35
25
|
evidence.subject.local_path !== result.input_path)
|
|
36
|
-
throw
|
|
26
|
+
throw invalidInput([...evidencePath, "subject"], "JavaScript application Evidence subject disagrees with its result");
|
|
37
27
|
return {
|
|
38
|
-
layerId: `jrl_${
|
|
28
|
+
layerId: `jrl_${digestCanonicalValue({
|
|
39
29
|
role: layer.role,
|
|
40
30
|
evidence_id: evidence.evidence_id,
|
|
41
31
|
runtime_mappings: layer.runtime_mappings,
|
|
@@ -47,203 +37,3 @@ const parseStaticLayer = (layer) => {
|
|
|
47
37
|
runtimeMappings: layer.runtime_mappings,
|
|
48
38
|
};
|
|
49
39
|
};
|
|
50
|
-
const parseRuntimeCapture = (input) => {
|
|
51
|
-
const evidence = parseEvidence(input);
|
|
52
|
-
if (evidence.operation === "inspect_web_page") {
|
|
53
|
-
assertEvidenceIdentity(evidence, {
|
|
54
|
-
operation: "inspect_web_page",
|
|
55
|
-
predicate: "rea.web-page-inspection",
|
|
56
|
-
providerId: "rea-cdp-browser",
|
|
57
|
-
providerName: "REA Chrome DevTools Protocol observation provider",
|
|
58
|
-
providerVersion: "2",
|
|
59
|
-
authority: "external-service",
|
|
60
|
-
confidence: "observed",
|
|
61
|
-
});
|
|
62
|
-
const inspection = webPageInspectionSchema.parse(evidence.normalized_result);
|
|
63
|
-
assertRuntimeParameters(evidence, {
|
|
64
|
-
kind: "browser",
|
|
65
|
-
targetId: inspection.target.target_id,
|
|
66
|
-
targetOrigin: inspection.target.origin,
|
|
67
|
-
sourceIncluded: inspection.scripts.items.some(({ source }) => source.included),
|
|
68
|
-
});
|
|
69
|
-
return {
|
|
70
|
-
kind: "browser",
|
|
71
|
-
evidence,
|
|
72
|
-
inspection,
|
|
73
|
-
captureSha256: canonicalDigest(inspection, "Runtime reconciliation"),
|
|
74
|
-
scriptsCompleteWithinScope: scriptsComplete(inspection.completeness),
|
|
75
|
-
};
|
|
76
|
-
}
|
|
77
|
-
if (evidence.operation === "inspect_electron_page") {
|
|
78
|
-
assertEvidenceIdentity(evidence, {
|
|
79
|
-
operation: "inspect_electron_page",
|
|
80
|
-
predicate: "rea.electron-page-inspection",
|
|
81
|
-
providerId: "rea-cdp-electron",
|
|
82
|
-
providerName: "REA Electron file-page CDP observation provider",
|
|
83
|
-
providerVersion: "1",
|
|
84
|
-
authority: "external-service",
|
|
85
|
-
confidence: "observed",
|
|
86
|
-
});
|
|
87
|
-
const inspection = electronPageInspectionSchema.parse(evidence.normalized_result);
|
|
88
|
-
assertRuntimeParameters(evidence, {
|
|
89
|
-
kind: "electron",
|
|
90
|
-
targetId: inspection.target.target_id,
|
|
91
|
-
sourceIncluded: inspection.scripts.items.some(({ source }) => source.included),
|
|
92
|
-
});
|
|
93
|
-
return {
|
|
94
|
-
kind: "electron",
|
|
95
|
-
evidence,
|
|
96
|
-
inspection,
|
|
97
|
-
captureSha256: canonicalDigest(inspection, "Runtime reconciliation"),
|
|
98
|
-
scriptsCompleteWithinScope: scriptsComplete(inspection.completeness),
|
|
99
|
-
};
|
|
100
|
-
}
|
|
101
|
-
if (evidence.operation === "observe_javascript_runtime") {
|
|
102
|
-
assertEvidenceIdentity(evidence, {
|
|
103
|
-
operation: "observe_javascript_runtime",
|
|
104
|
-
predicate: "rea.javascript-runtime-observation",
|
|
105
|
-
providerId: "rea-v8-inspector",
|
|
106
|
-
providerName: "REA passive Node/Electron V8 Inspector provider",
|
|
107
|
-
providerVersion: "1",
|
|
108
|
-
authority: "external-service",
|
|
109
|
-
confidence: "observed",
|
|
110
|
-
});
|
|
111
|
-
const result = javascriptRuntimeObservationSchema.parse(evidence.normalized_result);
|
|
112
|
-
assertV8RuntimeParameters(evidence, result);
|
|
113
|
-
const inspection = normalizeV8Inspection(result);
|
|
114
|
-
return {
|
|
115
|
-
kind: "v8-inspector",
|
|
116
|
-
evidence,
|
|
117
|
-
inspection,
|
|
118
|
-
captureSha256: canonicalDigest(result, "Runtime reconciliation"),
|
|
119
|
-
scriptsCompleteWithinScope: false,
|
|
120
|
-
};
|
|
121
|
-
}
|
|
122
|
-
if (evidence.operation === "capture_electron_scenario") {
|
|
123
|
-
return parseActiveElectronCapture(evidence);
|
|
124
|
-
}
|
|
125
|
-
throw new TypeError("Runtime reconciliation requires inspect_web_page, inspect_electron_page, observe_javascript_runtime, or capture_electron_scenario Evidence");
|
|
126
|
-
};
|
|
127
|
-
const assertV8RuntimeParameters = (evidence, result) => {
|
|
128
|
-
const parameters = z
|
|
129
|
-
.object({
|
|
130
|
-
inspector_endpoint: browserEndpointSchema,
|
|
131
|
-
target_id: z.string().trim().min(1),
|
|
132
|
-
runtime_kind: javascriptRuntimeKindSchema.optional(),
|
|
133
|
-
})
|
|
134
|
-
.passthrough()
|
|
135
|
-
.parse(evidence.parameters);
|
|
136
|
-
if (parameters.target_id !== result.target.target_id ||
|
|
137
|
-
(parameters.runtime_kind !== undefined &&
|
|
138
|
-
parameters.runtime_kind !== result.target.runtime_kind))
|
|
139
|
-
throw new TypeError("Runtime Evidence target or declared role disagrees with its result");
|
|
140
|
-
for (const location of [
|
|
141
|
-
result.target.location,
|
|
142
|
-
...result.scripts.items.map(({ location }) => location),
|
|
143
|
-
])
|
|
144
|
-
if (location.kind === "builtin" && !location.specifier.startsWith("node:"))
|
|
145
|
-
throw new TypeError("Runtime Evidence contains an invalid builtin location");
|
|
146
|
-
};
|
|
147
|
-
const normalizeV8Inspection = (result) => ({
|
|
148
|
-
target: {
|
|
149
|
-
target_id: result.target.target_id,
|
|
150
|
-
type: result.target.protocol_type,
|
|
151
|
-
title: result.target.runtime_kind,
|
|
152
|
-
attached: result.target.attached,
|
|
153
|
-
...(result.target.location.kind === "unresolved"
|
|
154
|
-
? { unresolved_location: result.target.location }
|
|
155
|
-
: runtimeLocation(result.target.location)),
|
|
156
|
-
},
|
|
157
|
-
frames: [],
|
|
158
|
-
scripts: {
|
|
159
|
-
items: result.scripts.items.map((script) => ({
|
|
160
|
-
script_key: script.script_key,
|
|
161
|
-
frame_id: script.execution_context_key,
|
|
162
|
-
...runtimeLocation(script.location),
|
|
163
|
-
cdp_hash: script.cdp_hash ?? "",
|
|
164
|
-
length: script.length,
|
|
165
|
-
is_module: script.is_module,
|
|
166
|
-
language: null,
|
|
167
|
-
source: {
|
|
168
|
-
included: false,
|
|
169
|
-
reason: "V8 Inspector source capture is outside passive authority.",
|
|
170
|
-
},
|
|
171
|
-
})),
|
|
172
|
-
},
|
|
173
|
-
workers: [],
|
|
174
|
-
completeness: classifyBrowserCompleteness({
|
|
175
|
-
policyFilteredSections: new Set(excludedV8Scripts(result) > 0 ? ["scripts"] : []),
|
|
176
|
-
attachLimitedSections: new Set([
|
|
177
|
-
"frames",
|
|
178
|
-
"scripts",
|
|
179
|
-
"script_sources",
|
|
180
|
-
"workers",
|
|
181
|
-
]),
|
|
182
|
-
truncatedSections: new Set(result.capture.truncated ? ["scripts"] : []),
|
|
183
|
-
unavailableSections: new Set(["frames", "script_sources", "workers"]),
|
|
184
|
-
excluded: excludedV8Scripts(result) === 0
|
|
185
|
-
? []
|
|
186
|
-
: [
|
|
187
|
-
{
|
|
188
|
-
section: "scripts",
|
|
189
|
-
reason: "out_of_target_scope",
|
|
190
|
-
count: excludedV8Scripts(result),
|
|
191
|
-
},
|
|
192
|
-
],
|
|
193
|
-
droppedEvents: {
|
|
194
|
-
scripts: result.capture.events_dropped,
|
|
195
|
-
network_requests: 0,
|
|
196
|
-
console_events: 0,
|
|
197
|
-
websocket_connections: 0,
|
|
198
|
-
websocket_frames: 0,
|
|
199
|
-
webmcp_tools: 0,
|
|
200
|
-
timeline_events: 0,
|
|
201
|
-
},
|
|
202
|
-
}),
|
|
203
|
-
});
|
|
204
|
-
const runtimeLocation = (location) => {
|
|
205
|
-
if (location.kind === "file")
|
|
206
|
-
return { file_path: location.file_path };
|
|
207
|
-
if (location.kind === "url")
|
|
208
|
-
return { url: location.sanitized_url };
|
|
209
|
-
return { url: location.specifier };
|
|
210
|
-
};
|
|
211
|
-
const excludedV8Scripts = (result) => Object.values(result.scripts.excluded).reduce((total, count) => total + count, 0);
|
|
212
|
-
const assertRuntimeParameters = (evidence, expected) => {
|
|
213
|
-
const common = {
|
|
214
|
-
target_id: z.string().trim().min(1),
|
|
215
|
-
cdp_endpoint: browserEndpointSchema,
|
|
216
|
-
include_script_sources: z.boolean(),
|
|
217
|
-
};
|
|
218
|
-
if (expected.kind === "browser") {
|
|
219
|
-
const parameters = z
|
|
220
|
-
.object({ ...common, allowed_origins: browserAllowedOriginsSchema })
|
|
221
|
-
.passthrough()
|
|
222
|
-
.parse(evidence.parameters);
|
|
223
|
-
if (parameters.target_id !== expected.targetId)
|
|
224
|
-
throw new TypeError("Runtime Evidence target disagrees with its captured result");
|
|
225
|
-
if (!parameters.allowed_origins.includes(expected.targetOrigin))
|
|
226
|
-
throw new TypeError("Browser Evidence target is outside its recorded origin scope");
|
|
227
|
-
if (expected.sourceIncluded && !parameters.include_script_sources)
|
|
228
|
-
throw new TypeError("Runtime Evidence contains source without source-capture selection");
|
|
229
|
-
return;
|
|
230
|
-
}
|
|
231
|
-
const parameters = z.object(common).passthrough().parse(evidence.parameters);
|
|
232
|
-
if (parameters.target_id !== expected.targetId)
|
|
233
|
-
throw new TypeError("Runtime Evidence target disagrees with its captured result");
|
|
234
|
-
if (expected.sourceIncluded && !parameters.include_script_sources)
|
|
235
|
-
throw new TypeError("Runtime Evidence contains source without source-capture selection");
|
|
236
|
-
};
|
|
237
|
-
const scriptsComplete = (completeness) => !completeness.truncated_sections.includes("scripts") &&
|
|
238
|
-
!completeness.unavailable_sections.includes("scripts") &&
|
|
239
|
-
completeness.dropped_events.scripts === 0;
|
|
240
|
-
const assertEvidenceIdentity = (evidence, expected) => {
|
|
241
|
-
if (evidence.operation !== expected.operation ||
|
|
242
|
-
evidence.predicate_type !== expected.predicate ||
|
|
243
|
-
evidence.provider.id !== expected.providerId ||
|
|
244
|
-
evidence.provider.name !== expected.providerName ||
|
|
245
|
-
evidence.provider.version !== expected.providerVersion ||
|
|
246
|
-
evidence.authority !== expected.authority ||
|
|
247
|
-
evidence.confidence !== expected.confidence)
|
|
248
|
-
throw new TypeError(`Evidence does not match the supported ${expected.operation} contract`);
|
|
249
|
-
};
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import {} from "./javascriptApplicationGraph.js";
|
|
2
|
-
import {
|
|
2
|
+
import { digestCanonicalValue } from "../canonicalDigest.js";
|
|
3
3
|
import { uniqueSorted } from "../canonicalOrdering.js";
|
|
4
4
|
import { javascriptRuntimeReconciliationResultSchema, } from "./javascriptRuntimeReconciliationSchemas.js";
|
|
5
5
|
/** Build and verify the deterministic caller-visible reconciliation result. */
|
|
@@ -21,7 +21,7 @@ export const createJavaScriptRuntimeReconciliationResult = (input) => {
|
|
|
21
21
|
limitations: reconciliationLimitations(completion),
|
|
22
22
|
};
|
|
23
23
|
return javascriptRuntimeReconciliationResultSchema.parse({
|
|
24
|
-
reconciliation_id: `jrr_${
|
|
24
|
+
reconciliation_id: `jrr_${digestCanonicalValue(semantic, "Runtime reconciliation")}`,
|
|
25
25
|
...semantic,
|
|
26
26
|
});
|
|
27
27
|
};
|
|
@@ -86,9 +86,14 @@ const frameEntities = (capture) => capture.inspection.frames.map((frame) => {
|
|
|
86
86
|
});
|
|
87
87
|
});
|
|
88
88
|
const scriptEntities = (capture) => capture.inspection.scripts.items.map((script) => {
|
|
89
|
-
const location = "
|
|
90
|
-
? {
|
|
91
|
-
|
|
89
|
+
const location = "unresolved_location" in script
|
|
90
|
+
? {
|
|
91
|
+
kind: "unresolved",
|
|
92
|
+
value: script.unresolved_location.reported_url,
|
|
93
|
+
}
|
|
94
|
+
: "url" in script
|
|
95
|
+
? { kind: "url", value: script.url }
|
|
96
|
+
: { kind: "file", value: script.file_path };
|
|
92
97
|
return runtimeEntity(capture, {
|
|
93
98
|
kind: "script",
|
|
94
99
|
nodeKind: "runtime-script-instance",
|
|
@@ -103,7 +108,13 @@ const scriptEntities = (capture) => capture.inspection.scripts.items.map((script
|
|
|
103
108
|
: null,
|
|
104
109
|
label: location.value,
|
|
105
110
|
properties: {
|
|
106
|
-
|
|
111
|
+
...("unresolved_location" in script
|
|
112
|
+
? {
|
|
113
|
+
location_kind: "unresolved",
|
|
114
|
+
reported_url: script.unresolved_location.reported_url,
|
|
115
|
+
location_reason: script.unresolved_location.reason,
|
|
116
|
+
}
|
|
117
|
+
: { location: location.value }),
|
|
107
118
|
cdp_hash: script.cdp_hash,
|
|
108
119
|
length: script.length,
|
|
109
120
|
is_module: script.is_module,
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { z } from "zod";
|
|
2
|
-
import {
|
|
2
|
+
import { compareUnicodeCodePoints } from "../unicodeCodePointOrder.js";
|
|
3
3
|
import { evidenceSchema } from "../evidence.js";
|
|
4
4
|
import { javascriptRuntimeUnresolvedLocationSchema } from "./javascriptRuntimeObservation.js";
|
|
5
5
|
import { javascriptApplicationGraphSchema } from "./javascriptApplicationGraph.js";
|
|
@@ -64,7 +64,7 @@ const staticLayerSchema = z.strictObject({
|
|
|
64
64
|
function normalizeRuntimeMappings(mappings) {
|
|
65
65
|
return [
|
|
66
66
|
...new Map(mappings.map((mapping) => [runtimeMappingKey(mapping), mapping])).values(),
|
|
67
|
-
].sort((left, right) =>
|
|
67
|
+
].sort((left, right) => compareUnicodeCodePoints(runtimeMappingKey(left), runtimeMappingKey(right)));
|
|
68
68
|
}
|
|
69
69
|
function runtimeMappingKey(mapping) {
|
|
70
70
|
return mapping.kind === "file-root"
|