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
|
@@ -3,7 +3,6 @@ import { buildReconstructionObligationLedgerEvidenceValidated, resolveReconstruc
|
|
|
3
3
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
4
4
|
import { logToolExecution } from "../toolLogging.js";
|
|
5
5
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
6
|
-
import { toCallToolResult } from "../toolResult.js";
|
|
7
6
|
import { recordResult } from "./helpers.js";
|
|
8
7
|
const contract = applicationToolContract("build_reconstruction_obligation_ledger");
|
|
9
8
|
/** Register conservative reconstruction-obligation generation and closure. */
|
|
@@ -11,13 +10,13 @@ export const registerReconstructionObligationLedgerTool = (server, options) => {
|
|
|
11
10
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input) => {
|
|
12
11
|
const resolved = resolveReconstructionObligationLedgerRequest(input);
|
|
13
12
|
if (!resolved.ok)
|
|
14
|
-
return toCallToolResult(resolved, contract);
|
|
13
|
+
return server.delivery.toCallToolResult(resolved, contract);
|
|
15
14
|
const result = await logToolExecution(options.logger, contract.name, () => Promise.resolve(buildReconstructionObligationLedgerEvidenceValidated(resolved.value)));
|
|
16
15
|
if (!result.ok)
|
|
17
|
-
return toCallToolResult(result, contract);
|
|
16
|
+
return server.delivery.toCallToolResult(result, contract);
|
|
18
17
|
const recorded = recordSessionEvidenceSources(options.recordEvidence, resolved.value.evidence_bundle.records);
|
|
19
18
|
if (!recorded.ok)
|
|
20
|
-
return toCallToolResult(recorded, contract);
|
|
21
|
-
return recordResult(options, contract, result.value);
|
|
19
|
+
return server.delivery.toCallToolResult(recorded, contract);
|
|
20
|
+
return recordResult({ ...options, delivery: server.delivery }, contract, result.value);
|
|
22
21
|
});
|
|
23
22
|
};
|
|
@@ -4,7 +4,6 @@ import { APPLICATION_TOOL_CONTRACTS, applicationToolContract, } from "../../cont
|
|
|
4
4
|
import { recordSessionEvidenceSources } from "../sessionEvidence.js";
|
|
5
5
|
import { logToolExecution } from "../toolLogging.js";
|
|
6
6
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
7
|
-
import { toCallToolResult } from "../toolResult.js";
|
|
8
7
|
import { recordResult } from "./helpers.js";
|
|
9
8
|
/** Register execution-free Android and Apple inventory projection tools. */
|
|
10
9
|
export const registerProjectMobileApplicationGraphTools = (server, options) => {
|
|
@@ -26,11 +25,11 @@ const registerProjection = (context) => {
|
|
|
26
25
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input) => {
|
|
27
26
|
const result = await logToolExecution(options.logger, contract.name, () => Promise.resolve(project(input)));
|
|
28
27
|
if (!result.ok)
|
|
29
|
-
return toCallToolResult(result, contract);
|
|
28
|
+
return server.delivery.toCallToolResult(result, contract);
|
|
30
29
|
const recordedSources = recordSessionEvidenceSources(options.recordEvidence, inventoryEvidenceSources(input));
|
|
31
30
|
if (!recordedSources.ok)
|
|
32
|
-
return toCallToolResult(recordedSources, contract);
|
|
33
|
-
return recordResult(options, contract, result.value);
|
|
31
|
+
return server.delivery.toCallToolResult(recordedSources, contract);
|
|
32
|
+
return recordResult({ ...options, delivery: server.delivery }, contract, result.value);
|
|
34
33
|
});
|
|
35
34
|
};
|
|
36
35
|
const inventoryEvidenceSources = (input) => {
|
|
@@ -4,7 +4,6 @@ import { traceApplicationFeatureEvidenceValidated } from "../../application/java
|
|
|
4
4
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
5
5
|
import { logToolExecution } from "../toolLogging.js";
|
|
6
6
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
7
|
-
import { toCallToolResult } from "../toolResult.js";
|
|
8
7
|
import { recordResult } from "./helpers.js";
|
|
9
8
|
const traceContract = applicationToolContract("trace_application_feature");
|
|
10
9
|
/** Register the provider-neutral JavaScript feature trace tool. */
|
|
@@ -12,15 +11,15 @@ export const registerTraceFeatureTool = (server, options) => {
|
|
|
12
11
|
server.registerTool(traceContract.name, toolRegistrationOptions(traceContract), async (input) => {
|
|
13
12
|
const resolved = resolveApplicationEvidenceRequest(input, options.evidenceById);
|
|
14
13
|
if (!resolved.ok)
|
|
15
|
-
return toCallToolResult(resolved, traceContract);
|
|
14
|
+
return server.delivery.toCallToolResult(resolved, traceContract);
|
|
16
15
|
const parsed = resolved.value;
|
|
17
16
|
const result = await logToolExecution(options.logger, traceContract.name, () => Promise.resolve(traceApplicationFeatureEvidenceValidated(parsed)));
|
|
18
17
|
if (!result.ok)
|
|
19
|
-
return toCallToolResult(result, traceContract);
|
|
18
|
+
return server.delivery.toCallToolResult(result, traceContract);
|
|
20
19
|
const sources = [parsed.application, ...parsed.native_observations];
|
|
21
20
|
const recorded = recordSessionEvidenceSources(options.recordEvidence, sources);
|
|
22
21
|
if (!recorded.ok)
|
|
23
|
-
return toCallToolResult(recorded, traceContract);
|
|
24
|
-
return recordResult(options, traceContract, result.value);
|
|
22
|
+
return server.delivery.toCallToolResult(recorded, traceContract);
|
|
23
|
+
return recordResult({ ...options, delivery: server.delivery }, traceContract, result.value);
|
|
25
24
|
});
|
|
26
25
|
};
|
|
@@ -4,7 +4,6 @@ import { traceJavaScriptSemanticsEvidenceValidated } from "../../application/jav
|
|
|
4
4
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
5
5
|
import { logToolExecution } from "../toolLogging.js";
|
|
6
6
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
7
|
-
import { toCallToolResult } from "../toolResult.js";
|
|
8
7
|
import { recordResult } from "./helpers.js";
|
|
9
8
|
const contract = applicationToolContract("trace_javascript_semantics");
|
|
10
9
|
/** Register the bounded JavaScript semantic relation trace tool. */
|
|
@@ -12,16 +11,16 @@ export const registerTraceJavaScriptSemanticsTool = (server, options) => {
|
|
|
12
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input) => {
|
|
13
12
|
const resolved = resolveApplicationEvidenceRequest(input, options.evidenceById);
|
|
14
13
|
if (!resolved.ok)
|
|
15
|
-
return toCallToolResult(resolved, contract);
|
|
14
|
+
return server.delivery.toCallToolResult(resolved, contract);
|
|
16
15
|
const parsed = resolved.value;
|
|
17
16
|
const result = await logToolExecution(options.logger, contract.name, () => Promise.resolve(traceJavaScriptSemanticsEvidenceValidated(parsed)));
|
|
18
17
|
if (!result.ok)
|
|
19
|
-
return toCallToolResult(result, contract);
|
|
18
|
+
return server.delivery.toCallToolResult(result, contract);
|
|
20
19
|
const recorded = recordSessionEvidenceSources(options.recordEvidence, [
|
|
21
20
|
parsed.application,
|
|
22
21
|
]);
|
|
23
22
|
if (!recorded.ok)
|
|
24
|
-
return toCallToolResult(recorded, contract);
|
|
25
|
-
return recordResult(options, contract, result.value);
|
|
23
|
+
return server.delivery.toCallToolResult(recorded, contract);
|
|
24
|
+
return recordResult({ ...options, delivery: server.delivery }, contract, result.value);
|
|
26
25
|
});
|
|
27
26
|
};
|
|
@@ -4,9 +4,8 @@ import { createEvidence, parseEvidence } from "../domain/evidence.js";
|
|
|
4
4
|
import { jsonValueSchema } from "../domain/jsonValue.js";
|
|
5
5
|
import { recordDerivedEvidence } from "./recordDerivedEvidence.js";
|
|
6
6
|
import { runDerivedOperation } from "./runDerivedOperation.js";
|
|
7
|
-
import { ARTIFACT_COMPARISON_PROVIDER } from "
|
|
7
|
+
import { ARTIFACT_COMPARISON_PROVIDER } from "../application/InvestigationProviders.js";
|
|
8
8
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
9
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
10
9
|
/** Register Evidence-backed deterministic artifact comparison. */
|
|
11
10
|
export const registerArtifactComparisonTool = (server, session, contract) => {
|
|
12
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
@@ -16,13 +15,13 @@ export const registerArtifactComparisonTool = (server, session, contract) => {
|
|
|
16
15
|
return { left, right, comparison: compareArtifacts(left, right) };
|
|
17
16
|
});
|
|
18
17
|
if (!computed.ok)
|
|
19
|
-
return toCallToolResult(computed, contract);
|
|
18
|
+
return server.delivery.toCallToolResult(computed, contract);
|
|
20
19
|
const { left, right, comparison } = computed.value;
|
|
21
20
|
const sources = [left, right];
|
|
22
21
|
for (const source of sources) {
|
|
23
22
|
const recordedSource = session.recordEvidence(source);
|
|
24
23
|
if (!recordedSource.ok)
|
|
25
|
-
return toCallToolResult(recordedSource, contract);
|
|
24
|
+
return server.delivery.toCallToolResult(recordedSource, contract);
|
|
26
25
|
}
|
|
27
26
|
const leftEvidenceIds = [left.evidence_id];
|
|
28
27
|
const rightEvidenceIds = [right.evidence_id];
|
|
@@ -39,7 +38,7 @@ export const registerArtifactComparisonTool = (server, session, contract) => {
|
|
|
39
38
|
limitations: comparison.limitations,
|
|
40
39
|
evidenceLinks: [...leftEvidenceIds, ...rightEvidenceIds],
|
|
41
40
|
});
|
|
42
|
-
return toEvidenceToolResult(evidence, contract, recordDerivedEvidence(session, evidence, artifactUnknownInput(left, right, comparison.status, evidence.evidence_id)));
|
|
41
|
+
return server.delivery.toEvidenceToolResult(evidence, contract, recordDerivedEvidence(session, evidence, artifactUnknownInput(left, right, comparison.status, evidence.evidence_id)));
|
|
43
42
|
});
|
|
44
43
|
};
|
|
45
44
|
const artifactUnknownInput = (left, right, status, comparisonEvidenceId) => {
|
|
@@ -2,8 +2,8 @@ import { ARTIFACT_TOOL_CONTRACTS } from "../contracts/artifactToolContracts.js";
|
|
|
2
2
|
import { registerEvidenceTools } from "./registerEvidenceTools.js";
|
|
3
3
|
import { artifactInspectionResultSchema } from "../domain/artifactInspection.js";
|
|
4
4
|
/** Register deterministic artifact inventory and safe extraction operations. */
|
|
5
|
-
export const registerArtifactTools = (server,
|
|
6
|
-
registerEvidenceTools(server,
|
|
5
|
+
export const registerArtifactTools = (server, options) => {
|
|
6
|
+
registerEvidenceTools(server, ARTIFACT_TOOL_CONTRACTS, {
|
|
7
7
|
...options,
|
|
8
8
|
sourceEvidence: (operation, result) => operation === "inspect_artifact"
|
|
9
9
|
? artifactInspectionResultSchema
|
|
@@ -1,15 +1,14 @@
|
|
|
1
1
|
import { toolContract } from "../contracts/toolContracts.js";
|
|
2
2
|
import { logToolExecution } from "./toolLogging.js";
|
|
3
3
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
4
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
5
4
|
/** Bind offline layout inspection to its named contract and session Evidence owner. */
|
|
6
5
|
export const registerBinaryDiagnosticsTools = (server, service, logger, recordEvidence) => {
|
|
7
6
|
const contract = toolContract("inspect_binary_layout");
|
|
8
7
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
9
8
|
const result = await logToolExecution(logger, contract.name, () => service.inspect(input, { signal: context.mcpReq.signal }));
|
|
10
9
|
if (!result.ok)
|
|
11
|
-
return toCallToolResult(result, contract);
|
|
10
|
+
return server.delivery.toCallToolResult(result, contract);
|
|
12
11
|
const recorded = recordEvidence?.(result.value);
|
|
13
|
-
return toEvidenceToolResult(result.value, contract, recorded);
|
|
12
|
+
return server.delivery.toEvidenceToolResult(result.value, contract, recorded);
|
|
14
13
|
});
|
|
15
14
|
};
|
|
@@ -5,20 +5,19 @@ import { toolContract } from "../contracts/toolContracts.js";
|
|
|
5
5
|
import { browserScenarioSchema } from "../domain/browserScenario.js";
|
|
6
6
|
import { logToolExecution } from "./toolLogging.js";
|
|
7
7
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
8
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
9
8
|
/** Register the browser scenario tool with execution-time provider diagnostics. */
|
|
10
9
|
export const registerBrowserScenarioTool = (server, options) => {
|
|
11
10
|
const contract = toolContract("capture_browser_scenario");
|
|
12
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
13
12
|
const scenario = browserScenarioSchema.parse(input);
|
|
14
13
|
if (options.loadFailure !== undefined)
|
|
15
|
-
return toCallToolResult(err(optionalProviderUnavailable(options.loadFailure, contract.name)), contract);
|
|
14
|
+
return server.delivery.toCallToolResult(err(optionalProviderUnavailable(options.loadFailure, contract.name)), contract);
|
|
16
15
|
const result = await logToolExecution(options.logger, contract.name, () => captureBrowserScenario(options.provider, scenario, {
|
|
17
16
|
signal: context.mcpReq.signal,
|
|
18
17
|
}));
|
|
19
18
|
if (!result.ok)
|
|
20
|
-
return toCallToolResult(result, contract);
|
|
19
|
+
return server.delivery.toCallToolResult(result, contract);
|
|
21
20
|
const recorded = options.recordEvidence?.(result.value);
|
|
22
|
-
return toEvidenceToolResult(result.value, contract, recorded);
|
|
21
|
+
return server.delivery.toEvidenceToolResult(result.value, contract, recorded);
|
|
23
22
|
});
|
|
24
23
|
};
|
|
@@ -7,10 +7,10 @@ import { inspectWebPageInputSchema } from "../domain/browserObservation.js";
|
|
|
7
7
|
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
8
8
|
import { logToolExecution } from "./toolLogging.js";
|
|
9
9
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
10
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
11
10
|
/** Register browser tools with execution-time provider diagnostics. */
|
|
12
11
|
// oxlint-disable-next-line max-lines-per-function -- direct SDK calls retain each schema-handler type correlation.
|
|
13
12
|
export const registerBrowserTools = (server, options) => {
|
|
13
|
+
const registration = { ...options, delivery: server.delivery };
|
|
14
14
|
const listContract = toolContract("list_browser_targets");
|
|
15
15
|
const inspectContract = toolContract("inspect_web_page");
|
|
16
16
|
const analyzeContract = toolContract("analyze_web_bundle");
|
|
@@ -19,42 +19,39 @@ export const registerBrowserTools = (server, options) => {
|
|
|
19
19
|
const captureDiffContract = toolContract("compare_web_captures");
|
|
20
20
|
const screenshotContract = toolContract("capture_web_screenshot");
|
|
21
21
|
const screenshotDiffContract = toolContract("compare_web_screenshots");
|
|
22
|
-
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runBrowserTool(
|
|
22
|
+
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runBrowserTool(registration, listContract, { input, context }, (parsed, { signal }) => listBrowserTargets(options.browser, parsed, {
|
|
23
23
|
signal,
|
|
24
24
|
})));
|
|
25
|
-
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runBrowserTool(
|
|
26
|
-
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runBrowserTool(
|
|
25
|
+
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runBrowserTool(registration, inspectContract, { input, context }, (parsed, { signal, progress }) => inspectWebPage(options.browser, inspectWebPageInputSchema.parse(parsed), { signal, progress })));
|
|
26
|
+
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runBrowserTool(registration, analyzeContract, { input, context }, (parsed, { signal, progress }) => analyzeWebBundle(options.browser, analyzeWebBundleInputSchema.parse(parsed), {
|
|
27
27
|
signal,
|
|
28
28
|
progress,
|
|
29
29
|
})));
|
|
30
|
-
server.registerTool(sessionContract.name, toolRegistrationOptions(sessionContract), (input, context) => runBrowserTool(
|
|
30
|
+
server.registerTool(sessionContract.name, toolRegistrationOptions(sessionContract), (input, context) => runBrowserTool(registration, sessionContract, { input, context }, (parsed, { signal, progress }) => observeWebSession(options.browser, parsed, {
|
|
31
31
|
signal,
|
|
32
32
|
progress,
|
|
33
33
|
})));
|
|
34
|
-
server.registerTool(webMcpContract.name, toolRegistrationOptions(webMcpContract), (input, context) => runBrowserTool(
|
|
34
|
+
server.registerTool(webMcpContract.name, toolRegistrationOptions(webMcpContract), (input, context) => runBrowserTool(registration, webMcpContract, { input, context }, (parsed, { signal, progress }) => discoverWebMcpTools(options.browser, parsed, {
|
|
35
35
|
signal,
|
|
36
36
|
progress,
|
|
37
37
|
})));
|
|
38
|
-
server.registerTool(captureDiffContract.name, toolRegistrationOptions(captureDiffContract), (input, context) => runBrowserTool(
|
|
39
|
-
server.registerTool(screenshotContract.name, toolRegistrationOptions(screenshotContract), (input, context) => runBrowserTool(
|
|
38
|
+
server.registerTool(captureDiffContract.name, toolRegistrationOptions(captureDiffContract), (input, context) => runBrowserTool(registration, captureDiffContract, { input, context }, (parsed) => compareWebCaptureEvidence(options.browser, parsed)));
|
|
39
|
+
server.registerTool(screenshotContract.name, toolRegistrationOptions(screenshotContract), (input, context) => runBrowserTool(registration, screenshotContract, { input, context }, (parsed, { signal, progress }) => captureWebScreenshot(options.browser, parsed, {
|
|
40
40
|
signal,
|
|
41
41
|
progress,
|
|
42
42
|
})));
|
|
43
|
-
server.registerTool(screenshotDiffContract.name, toolRegistrationOptions(screenshotDiffContract), (input, context) => runBrowserTool(
|
|
43
|
+
server.registerTool(screenshotDiffContract.name, toolRegistrationOptions(screenshotDiffContract), (input, context) => runBrowserTool(registration, screenshotDiffContract, { input, context }, (parsed) => compareWebScreenshotEvidence(options.browser, parsed)));
|
|
44
44
|
};
|
|
45
45
|
const runBrowserTool = async (options, contract, request, execute) => {
|
|
46
46
|
const { input, context } = request;
|
|
47
47
|
if (options.loadFailure !== undefined)
|
|
48
|
-
return toCallToolResult(err(optionalProviderUnavailable(options.loadFailure, contract.name)), contract);
|
|
48
|
+
return options.delivery.toCallToolResult(err(optionalProviderUnavailable(options.loadFailure, contract.name)), contract);
|
|
49
49
|
const result = await logToolExecution(options.logger, contract.name, () => execute(input, {
|
|
50
50
|
signal: context.mcpReq.signal,
|
|
51
51
|
progress: mcpProgressReporter(context),
|
|
52
52
|
}));
|
|
53
53
|
if (!result.ok)
|
|
54
|
-
return toCallToolResult(result, contract);
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
const evidenceResult = (options, contract, evidence) => {
|
|
58
|
-
const recorded = options.recordEvidence?.(evidence);
|
|
59
|
-
return toEvidenceToolResult(evidence, contract, recorded);
|
|
54
|
+
return options.delivery.toCallToolResult(result, contract);
|
|
55
|
+
const recorded = options.recordEvidence?.(result.value);
|
|
56
|
+
return options.delivery.toEvidenceToolResult(result.value, contract, recorded);
|
|
60
57
|
};
|
|
@@ -4,9 +4,8 @@ import { compareBundles } from "../domain/bundleComparison.js";
|
|
|
4
4
|
import { createEvidence } from "../domain/evidence.js";
|
|
5
5
|
import { jsonValueSchema } from "../domain/jsonValue.js";
|
|
6
6
|
import { runDerivedOperation } from "./runDerivedOperation.js";
|
|
7
|
-
import { BUNDLE_COMPARISON_PROVIDER } from "
|
|
7
|
+
import { BUNDLE_COMPARISON_PROVIDER } from "../application/InvestigationProviders.js";
|
|
8
8
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
9
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
10
9
|
/** Register canonical Evidence bundle comparison. */
|
|
11
10
|
export const registerBundleComparisonTool = (server, session, contract) => {
|
|
12
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
@@ -15,12 +14,12 @@ export const registerBundleComparisonTool = (server, session, contract) => {
|
|
|
15
14
|
readEvidenceBundle(input.right_bundle_path),
|
|
16
15
|
]);
|
|
17
16
|
if (!left.ok)
|
|
18
|
-
return toCallToolResult(left, contract);
|
|
17
|
+
return server.delivery.toCallToolResult(left, contract);
|
|
19
18
|
if (!right.ok)
|
|
20
|
-
return toCallToolResult(right, contract);
|
|
19
|
+
return server.delivery.toCallToolResult(right, contract);
|
|
21
20
|
const computed = await runDerivedOperation(context, contract.name, () => compareBundles(left.value, right.value, input.record_pairs));
|
|
22
21
|
if (!computed.ok)
|
|
23
|
-
return toCallToolResult(computed, contract);
|
|
22
|
+
return server.delivery.toCallToolResult(computed, contract);
|
|
24
23
|
const comparison = computed.value;
|
|
25
24
|
const evidence = createEvidence(undefined, BUNDLE_COMPARISON_PROVIDER, {
|
|
26
25
|
predicateType: "rea.bundle-comparison",
|
|
@@ -36,6 +35,6 @@ export const registerBundleComparisonTool = (server, session, contract) => {
|
|
|
36
35
|
limitations: comparison.limitations,
|
|
37
36
|
});
|
|
38
37
|
const recorded = session.recordEvidence(evidence);
|
|
39
|
-
return toEvidenceToolResult(evidence, contract, recorded);
|
|
38
|
+
return server.delivery.toEvidenceToolResult(evidence, contract, recorded);
|
|
40
39
|
});
|
|
41
40
|
};
|
|
@@ -3,23 +3,24 @@ import { ok } from "../domain/result.js";
|
|
|
3
3
|
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
4
4
|
import { logToolExecution } from "./toolLogging.js";
|
|
5
5
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
6
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
7
6
|
/** Register provider cleanup and optional pre-close snapshot persistence. */
|
|
8
7
|
export const registerCloseLifecycleTool = ({ server, session, logger, closeContract, }) => {
|
|
9
8
|
server.registerTool(closeContract.name, toolRegistrationOptions(closeContract), async (input, context) => {
|
|
10
9
|
const progress = mcpProgressReporter(context);
|
|
11
10
|
const snapshotPath = input.snapshot_path;
|
|
12
11
|
if (snapshotPath === undefined) {
|
|
12
|
+
// Enqueue the lifecycle transition before awaiting progress transport so
|
|
13
|
+
// a later open request cannot overtake this close.
|
|
14
|
+
const closing = logToolExecution(logger, closeContract.name, () => session.close({ progress }));
|
|
13
15
|
await reportLifecycleStart(progress, closeContract.name);
|
|
14
|
-
const closed = await
|
|
16
|
+
const closed = await closing;
|
|
15
17
|
await reportLifecycleEnd(progress, closeContract.name, closed.ok);
|
|
16
|
-
return toCallToolResult(closed, closeContract);
|
|
18
|
+
return server.delivery.toCallToolResult(closed, closeContract);
|
|
17
19
|
}
|
|
20
|
+
const closing = logToolExecution(logger, closeContract.name, () => session.closeWithSnapshot(snapshotPath, input.overwrite, { progress }));
|
|
18
21
|
await reportLifecycleStart(progress, closeContract.name, "saving snapshot; closing provider");
|
|
19
|
-
const closed = await
|
|
20
|
-
progress,
|
|
21
|
-
}));
|
|
22
|
+
const closed = await closing;
|
|
22
23
|
await reportLifecycleEnd(progress, closeContract.name, closed.ok);
|
|
23
|
-
return toCallToolResult(closed.ok ? ok({ ...closed.value }) : closed, closeContract);
|
|
24
|
+
return server.delivery.toCallToolResult(closed.ok ? ok({ ...closed.value }) : closed, closeContract);
|
|
24
25
|
});
|
|
25
26
|
};
|
|
@@ -9,28 +9,28 @@ import { inspectElectronPageInputSchema } from "../domain/javascript/electronObs
|
|
|
9
9
|
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
10
10
|
import { logToolExecution } from "./toolLogging.js";
|
|
11
11
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
12
|
-
import { toCallToolResult, toEvidenceToolResult } from "./toolResult.js";
|
|
13
12
|
/** Register Electron tools even when a provider is absent. */
|
|
14
13
|
// oxlint-disable-next-line max-lines-per-function -- direct SDK calls retain each schema-handler type correlation.
|
|
15
14
|
export const registerElectronTools = (server, options) => {
|
|
15
|
+
const registration = { ...options, delivery: server.delivery };
|
|
16
16
|
const listContract = toolContract("list_electron_targets");
|
|
17
17
|
const inspectContract = toolContract("inspect_electron_page");
|
|
18
18
|
const analyzeContract = toolContract("analyze_javascript_application");
|
|
19
19
|
const reconcileContract = toolContract("reconcile_javascript_runtime");
|
|
20
20
|
const activeContract = toolContract("capture_electron_scenario");
|
|
21
|
-
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runElectronTool(
|
|
21
|
+
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runElectronTool(registration, listContract, { input, context }, (parsed, { signal }) => listElectronTargets(options.electron, parsed, {
|
|
22
22
|
signal,
|
|
23
23
|
})));
|
|
24
|
-
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runElectronTool(
|
|
24
|
+
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runElectronTool(registration, inspectContract, { input, context }, async (parsed, { signal, progress }) => {
|
|
25
25
|
const request = inspectElectronPageInputSchema.parse(parsed);
|
|
26
26
|
return inspectElectronPage(options.electron, request, {
|
|
27
27
|
signal,
|
|
28
28
|
progress,
|
|
29
29
|
});
|
|
30
30
|
}));
|
|
31
|
-
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runElectronTool(
|
|
32
|
-
server.registerTool(reconcileContract.name, toolRegistrationOptions(reconcileContract), (input, context) => runElectronTool(
|
|
33
|
-
server.registerTool(activeContract.name, toolRegistrationOptions(activeContract), (input, context) => runElectronTool(
|
|
31
|
+
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runElectronTool(registration, analyzeContract, { input, context }, (parsed, { signal, progress }) => analyzeJavaScriptApplicationValidated(parsed, { signal, progress })));
|
|
32
|
+
server.registerTool(reconcileContract.name, toolRegistrationOptions(reconcileContract), (input, context) => runElectronTool(registration, reconcileContract, { input, context }, (parsed) => Promise.resolve(reconcileJavaScriptRuntimeEvidenceValidated(parsed))));
|
|
33
|
+
server.registerTool(activeContract.name, toolRegistrationOptions(activeContract), (input, context) => runElectronTool(registration, activeContract, { input, context }, (parsed, { signal, progress }) => captureElectronScenario(options.electronActive, parsed, {
|
|
34
34
|
signal,
|
|
35
35
|
progress,
|
|
36
36
|
})));
|
|
@@ -44,16 +44,13 @@ const runElectronTool = async (options, contract, request, execute) => {
|
|
|
44
44
|
? options.observationLoadFailure
|
|
45
45
|
: undefined;
|
|
46
46
|
if (failure !== undefined)
|
|
47
|
-
return toCallToolResult(err(optionalProviderUnavailable(failure, contract.name)), contract);
|
|
47
|
+
return options.delivery.toCallToolResult(err(optionalProviderUnavailable(failure, contract.name)), contract);
|
|
48
48
|
const result = await logToolExecution(options.logger, contract.name, () => execute(input, {
|
|
49
49
|
signal: context.mcpReq.signal,
|
|
50
50
|
progress: mcpProgressReporter(context),
|
|
51
51
|
}));
|
|
52
52
|
if (!result.ok)
|
|
53
|
-
return toCallToolResult(result, contract);
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
const evidenceResult = (options, contract, evidence) => {
|
|
57
|
-
const recorded = options.recordEvidence?.(evidence);
|
|
58
|
-
return toEvidenceToolResult(evidence, contract, recorded);
|
|
53
|
+
return options.delivery.toCallToolResult(result, contract);
|
|
54
|
+
const recorded = options.recordEvidence?.(result.value);
|
|
55
|
+
return options.delivery.toEvidenceToolResult(result.value, contract, recorded);
|
|
59
56
|
};
|