rea-agents 3.0.0 → 3.1.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 +14 -16
- package/dist/application/AnalysisContextQueries.js +21 -9
- package/dist/application/ApplicationWorkflowEvidenceResolver.js +19 -11
- package/dist/application/ArtifactInventory/policy.js +17 -0
- package/dist/application/ArtifactInventory/reader.js +1 -4
- package/dist/application/ArtifactInventory/scanCanonical.js +0 -3
- package/dist/application/ArtifactInventory/scanReader.js +7 -7
- package/dist/application/ArtifactInventory/types.js +1 -5
- package/dist/application/BinarySession.js +14 -16
- package/dist/application/BinarySessionRecords.js +31 -5
- package/dist/application/BinarySessionStatus.js +11 -5
- package/dist/application/BrowserEvidence.js +3 -5
- package/dist/application/CapabilityClientRequirements.js +26 -0
- package/dist/application/CapabilityInventory.js +134 -63
- package/dist/application/CrossVersionInventory.js +7 -6
- package/dist/application/ElectronActiveEvidence.js +55 -0
- package/dist/application/ElectronActiveObservationPort.js +1 -0
- package/dist/application/ElectronActiveObservationService.js +81 -0
- package/dist/application/EnhancedTools.js +22 -20
- package/dist/application/EvidenceBundleCommands.js +5 -1
- package/dist/application/EvidenceLedger.js +8 -1
- package/dist/application/JavaScriptReplayPermission.js +1 -1
- package/dist/application/JavaScriptReplayService.js +23 -15
- package/dist/application/ManagedRuntimeCorrelationService.js +9 -5
- package/dist/application/NodeRuntimeCharacterizationService.js +8 -9
- package/dist/application/ProcessCaptureLifecycle.js +5 -0
- package/dist/application/ProcessCli.js +2 -1
- package/dist/application/ProcessHarness.js +8 -3
- package/dist/application/ProcessNormalization.js +2 -1
- package/dist/application/ProjectPermissionStore.js +1 -0
- package/dist/application/ReferenceSourceImport.js +2 -2
- package/dist/application/SetupClientConfiguration.js +6 -1
- package/dist/application/WindowsCapabilities.js +5 -4
- package/dist/artifacts/ArtifactProvider.js +8 -10
- package/dist/artifacts/SafeOutputTree.js +7 -8
- package/dist/browser/CdpCaptureStorageFingerprints.js +10 -7
- package/dist/browser/CdpElectronInspection.js +3 -1
- package/dist/browser/JavaScriptRuntimeScope.js +5 -0
- package/dist/browser/PlaywrightElectronActiveActions.js +324 -0
- package/dist/browser/PlaywrightElectronActiveProvider.js +294 -0
- package/dist/browser/PlaywrightScenarioBrowser.js +4 -4
- package/dist/browser/PlaywrightScenarioSession.js +4 -4
- package/dist/browser/SensitiveTextCapture.js +1 -1
- package/dist/browser/V8InspectorCaptureProjection.js +1 -0
- package/dist/browser/V8InspectorProvider.js +3 -3
- package/dist/catalogIdentity.js +12 -6
- package/dist/cli/managedCommands.js +1 -1
- package/dist/cliApplicationCommands.js +2 -2
- package/dist/cliBrowserAdvancedCommands.js +11 -5
- package/dist/cliBrowserCommands.js +14 -7
- package/dist/cliCommandNames.js +1 -0
- package/dist/cliElectronCommands.js +46 -4
- package/dist/cliJavaScriptRuntimeCommands.js +14 -6
- package/dist/cliObservationOptions.js +4 -0
- package/dist/cliPolicyCommands.js +1 -0
- package/dist/config/browserScenario.js +77 -0
- package/dist/config/electronAutomation.js +35 -0
- package/dist/config/environment.js +6 -0
- package/dist/config/javascriptReplay.js +41 -0
- package/dist/config/managedRuntime.js +25 -0
- package/dist/config/parseConfig.js +56 -200
- package/dist/config/parsers.js +10 -1
- package/dist/config/passiveObservation.js +157 -0
- package/dist/config/processCapture.js +47 -0
- package/dist/contracts/applicationToolContracts.js +2 -5
- package/dist/contracts/applicationWorkflowInputContracts.js +86 -96
- package/dist/contracts/artifactToolContracts.js +27 -34
- package/dist/contracts/browserToolContracts.js +2 -2
- package/dist/contracts/electronToolContracts.js +30 -1
- package/dist/contracts/enhancedInputs.js +13 -29
- package/dist/contracts/functionWorkflowToolContracts.js +2 -3
- package/dist/contracts/managedToolContracts.js +4 -9
- package/dist/contracts/managedWorkflowExamples.js +12 -9
- package/dist/contracts/managedWorkflowToolContracts.js +30 -27
- package/dist/contracts/nativeToolContracts.js +2 -3
- package/dist/contracts/sessionToolSchemas.js +61 -0
- package/dist/contracts/toolContractExamples.js +1 -0
- package/dist/contracts/toolContractHelpers.js +23 -0
- package/dist/contracts/toolContracts.js +5 -77
- package/dist/contracts/toolEffects.js +15 -0
- package/dist/contracts/toolOutputSchemaGroups.js +17 -2
- package/dist/contracts/toolOutputSchemaPrimitives.js +76 -26
- package/dist/contracts/toolSchemaMetadata.js +128 -0
- package/dist/doctorRuntime.js +1 -1
- package/dist/domain/androidApplication.js +2 -0
- package/dist/domain/appleApplication.js +2 -0
- package/dist/domain/binaryTarget.js +7 -5
- package/dist/domain/binaryTargetTypes.js +1 -0
- package/dist/domain/browserCaptureComparison.js +21 -69
- package/dist/domain/browserObservation.js +22 -9
- package/dist/domain/bytecodeProvider.js +33 -35
- package/dist/domain/callPath.js +3 -2
- package/dist/domain/conformanceReplay.js +3 -3
- package/dist/domain/conformanceTrustGate.js +151 -16
- package/dist/domain/customProtocolCapture.js +3 -3
- package/dist/domain/electronActiveObservation.js +277 -0
- package/dist/domain/electronObservation.js +15 -11
- package/dist/domain/electronStaticAnalysisValues.js +4 -1
- package/dist/domain/eventProcessTree.js +82 -79
- package/dist/domain/functionComparisonNormalization.js +15 -8
- package/dist/domain/functionDossierEvidence.js +9 -4
- package/dist/domain/hopperValues.js +68 -71
- package/dist/domain/inputIssueProjection.js +4 -1
- package/dist/domain/investigationWorkspace.js +16 -15
- package/dist/domain/javascriptExportShapeComparisonSchemas.js +2 -2
- package/dist/domain/javascriptReplay.js +79 -63
- package/dist/domain/javascriptRuntimeObservation.js +1 -0
- package/dist/domain/javascriptRuntimeReconciliationActive.js +89 -0
- package/dist/domain/javascriptRuntimeReconciliationGraph.js +11 -10
- package/dist/domain/javascriptRuntimeReconciliationMatching.js +57 -49
- package/dist/domain/javascriptRuntimeReconciliationParsing.js +5 -1
- package/dist/domain/javascriptRuntimeReconciliationResult.js +21 -14
- package/dist/domain/javascriptRuntimeReconciliationSchemas.js +1 -1
- package/dist/domain/knownPageCoverage.js +15 -7
- package/dist/domain/nativeApiBoundary.js +15 -7
- package/dist/domain/nodeRuntimeCharacterization.js +14 -13
- package/dist/domain/processCaptureReactiveValidation.js +8 -3
- package/dist/domain/processCaptureValidation.js +7 -3
- package/dist/domain/processComparison.js +12 -7
- package/dist/domain/processObservation.js +5 -6
- package/dist/domain/processReactiveMatching.js +14 -7
- package/dist/domain/processReactiveTransition.js +9 -3
- package/dist/domain/processScenario.js +6 -3
- package/dist/domain/processTraceComparison.js +3 -2
- package/dist/domain/protocolCapture.js +8 -6
- package/dist/domain/reconstructionReadinessSchemas.js +30 -2
- package/dist/domain/referenceSourceImportParsing.js +2 -2
- package/dist/domain/replayMachineRuntime.js +5 -3
- package/dist/domain/sourceToBundleComparison.js +2 -2
- package/dist/domain/sourceToBundleComparisonSchemas.js +8 -8
- package/dist/domain/sourceToBundleSignals.js +7 -1
- package/dist/domain/staticRuntimeCorrelation.js +7 -5
- package/dist/domain/webBundleAnalysis.js +14 -14
- package/dist/domain/webCaptureDiff.js +15 -12
- package/dist/dotnet/ManagedNativeBoundaryInspector.js +2 -3
- package/dist/generatedMcpToolCatalog.js +1 -1
- package/dist/generatedPackageMetadata.js +1 -1
- package/dist/ghidra/GhidraClient.js +1 -1
- package/dist/ghidra/GhidraClientStartup.js +1 -1
- package/dist/ghidra/GhidraFunctionValues.js +17 -15
- package/dist/ghidra/GhidraInventoryValues.js +57 -47
- package/dist/ghidra/GhidraProvider.js +18 -10
- package/dist/ghidra/GhidraProviderCapabilities.js +5 -1
- package/dist/ghidra/GhidraSocketConnection.js +1 -1
- package/dist/ghidra/protocol.js +19 -42
- package/dist/hopper/BridgeLauncher.js +3 -1
- package/dist/hopper/HopperAnalysisProfile.js +2 -4
- package/dist/hopper/HopperCleanup.js +5 -6
- package/dist/hopper/HopperClient.js +1 -1
- package/dist/hopper/HopperProvider.js +0 -14
- package/dist/hopper/LinuxPrivateDisplayProbe.js +16 -10
- package/dist/main/reload.js +1 -6
- package/dist/main/state.js +0 -14
- package/dist/main/transport.js +30 -37
- package/dist/main.js +17 -15
- package/dist/mcpDoctor.js +2 -24
- package/dist/process/PrivateRuntimeRoot.js +17 -0
- package/dist/process/ProcessOwnership.js +64 -128
- package/dist/process/ProcessOwnershipIdentity.js +13 -0
- package/dist/process/ProcessOwnershipObservation.js +88 -0
- package/dist/process/ProcessOwnershipProcessTree.js +22 -0
- package/dist/process/ProviderDeadline.js +8 -12
- package/dist/process/WindowsAuthority.js +32 -0
- package/dist/reference/ReferenceSourceReader.js +3 -3
- package/dist/reference/ReferenceSourceReaderEntries.js +2 -2
- package/dist/replay/JavaScriptReplayWorker.js +95 -11
- package/dist/replay/JavaScriptReplayWorkerTypes.js +1 -0
- package/dist/replay/LinuxJavaScriptReplayRunner.js +10 -15
- package/dist/replay/ReplayOutcome.js +26 -15
- package/dist/replay/ReplayWorkerProtocol.js +34 -29
- package/dist/server/createServer.js +158 -94
- package/dist/server/mcpClientMetadata.js +32 -0
- package/dist/server/registerApplicationTools/characterization.js +6 -13
- package/dist/server/registerApplicationTools/compareExportShapes.js +2 -7
- package/dist/server/registerApplicationTools/compareSourceToBundle.js +2 -7
- package/dist/server/registerApplicationTools/compareVersions.js +3 -8
- package/dist/server/registerApplicationTools/controlledReplay.js +6 -11
- package/dist/server/registerApplicationTools/coverage.js +13 -19
- package/dist/server/registerApplicationTools/obligationLedger.js +1 -6
- package/dist/server/registerApplicationTools/readiness.js +1 -6
- package/dist/server/registerApplicationTools/traceFeature.js +3 -8
- package/dist/server/registerApplicationTools/traceSemantics.js +1 -6
- package/dist/server/registerArtifactComparisonTool.js +12 -16
- package/dist/server/registerBrowserScenarioTool.js +1 -6
- package/dist/server/registerBrowserTools.js +37 -79
- package/dist/server/registerBundleComparisonTool.js +10 -14
- package/dist/server/registerCloseLifecycleTool.js +6 -14
- package/dist/server/registerElectronTools.js +30 -47
- package/dist/server/registerEnhancedTools.js +114 -122
- package/dist/server/registerEvidenceTools.js +5 -9
- package/dist/server/registerFunctionComparisonTool.js +11 -15
- package/dist/server/registerInvestigationTools.js +41 -57
- package/dist/server/registerJavaScriptRuntimeObservationTools.js +13 -27
- package/dist/server/registerManagedWorkflowTools/compareManagedMembers.js +4 -9
- package/dist/server/registerManagedWorkflowTools/contract.js +2 -3
- package/dist/server/registerManagedWorkflowTools/importManagedReconstruction.js +3 -8
- package/dist/server/registerManagedWorkflowTools/planManagedRuntimeCorrelation.js +3 -8
- package/dist/server/registerManagedWorkflowTools/projectManagedApplicationGraph.js +8 -13
- package/dist/server/registerManagedWorkflowTools/verifyManagedNativeBoundaries.js +4 -9
- package/dist/server/registerOfficialTools.js +8 -9
- package/dist/server/registerProcessComparisonTool.js +19 -24
- package/dist/server/registerReplayMachineTool.js +4 -10
- package/dist/server/registerSessionRecordTools.js +69 -40
- package/dist/server/registerSessionStatusTool.js +13 -28
- package/dist/server/registerSessionTools.js +36 -52
- package/dist/server/sessionAvailabilityPolicy.js +2 -1
- package/dist/server/sessionToolPolicies.js +1 -5
- package/dist/server/toolRegistrationOptions.js +4 -192
- package/dist/server/toolResult.js +2 -18
- package/package.json +22 -14
- package/scripts/electron-active-hook-boundaries.cjs +394 -0
- package/scripts/electron-active-hook.cjs +501 -0
- package/scripts/rea.mjs +1 -11
- package/skills/reverse-engineer-anything/SKILL.md +2 -2
- package/dist/server/DynamicToolAvailability.js +0 -70
- package/dist/server/LazyToolCatalog.js +0 -134
- package/dist/server/hydrateServerTools.js +0 -191
- package/dist/server/toolInputValidation.js +0 -77
- package/scripts/package-runner-bootstrap.mjs +0 -72
|
@@ -1,9 +1,7 @@
|
|
|
1
1
|
import { evaluateReconstructionReadinessValidated, resolveReconstructionReadinessRequest, } from "../../application/ReconstructionReadinessService.js";
|
|
2
2
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
3
|
-
import { reconstructionReadinessInputSchema } from "../../domain/reconstructionReadinessSchemas.js";
|
|
4
3
|
import { reconstructionReadinessReportSchema } from "../../domain/reconstructionReadinessSchemas.js";
|
|
5
4
|
import { logToolExecution } from "../toolLogging.js";
|
|
6
|
-
import { safeParseToolInput } from "../toolInputValidation.js";
|
|
7
5
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
8
6
|
import { toCallToolResult } from "../toolResult.js";
|
|
9
7
|
import { recordSources } from "./helpers.js";
|
|
@@ -11,10 +9,7 @@ const contract = applicationToolContract("evaluate_reconstruction_readiness");
|
|
|
11
9
|
/** Register deterministic public-contract reconstruction conformance. */
|
|
12
10
|
export const registerReconstructionReadinessTool = (server, options) => {
|
|
13
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input) => {
|
|
14
|
-
const
|
|
15
|
-
if (!parsed.ok)
|
|
16
|
-
return toCallToolResult(parsed, contract);
|
|
17
|
-
const resolved = resolveReconstructionReadinessRequest(parsed.value);
|
|
12
|
+
const resolved = resolveReconstructionReadinessRequest(input);
|
|
18
13
|
if (!resolved.ok)
|
|
19
14
|
return toCallToolResult(resolved, contract);
|
|
20
15
|
const result = await logToolExecution(options.logger, contract.name, () => Promise.resolve(evaluateReconstructionReadinessValidated(resolved.value)));
|
|
@@ -1,20 +1,15 @@
|
|
|
1
|
-
import { traceApplicationFeatureEvidenceValidated } from "../../application/JavaScriptApplicationWorkflowService.js";
|
|
2
1
|
import { resolveTraceApplicationFeatureRequestValidated } from "../../application/ApplicationWorkflowEvidenceResolver.js";
|
|
2
|
+
import { traceApplicationFeatureEvidenceValidated } from "../../application/JavaScriptApplicationWorkflowService.js";
|
|
3
3
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
4
|
-
import { traceApplicationFeatureRequestSchema } from "../../contracts/applicationWorkflowInputContracts.js";
|
|
5
4
|
import { logToolExecution } from "../toolLogging.js";
|
|
6
|
-
import { toCallToolResult } from "../toolResult.js";
|
|
7
5
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
8
|
-
import {
|
|
6
|
+
import { toCallToolResult } from "../toolResult.js";
|
|
9
7
|
import { recordResult, recordSources } from "./helpers.js";
|
|
10
8
|
const traceContract = applicationToolContract("trace_application_feature");
|
|
11
9
|
/** Register the provider-neutral JavaScript feature trace tool. */
|
|
12
10
|
export const registerTraceFeatureTool = (server, options) => {
|
|
13
11
|
server.registerTool(traceContract.name, toolRegistrationOptions(traceContract), async (input) => {
|
|
14
|
-
const
|
|
15
|
-
if (!parsedInput.ok)
|
|
16
|
-
return toCallToolResult(parsedInput, traceContract);
|
|
17
|
-
const resolved = resolveTraceApplicationFeatureRequestValidated(parsedInput.value, options.evidenceLookup);
|
|
12
|
+
const resolved = resolveTraceApplicationFeatureRequestValidated(input, options.evidenceLookup);
|
|
18
13
|
if (!resolved.ok)
|
|
19
14
|
return toCallToolResult(resolved, traceContract);
|
|
20
15
|
const parsed = resolved.value;
|
|
@@ -1,8 +1,6 @@
|
|
|
1
1
|
import { resolveTraceJavaScriptSemanticsRequestValidated } from "../../application/ApplicationWorkflowEvidenceResolver.js";
|
|
2
2
|
import { traceJavaScriptSemanticsEvidenceValidated } from "../../application/JavaScriptSemanticTraceService.js";
|
|
3
3
|
import { applicationToolContract } from "../../contracts/applicationToolContracts.js";
|
|
4
|
-
import { traceJavaScriptSemanticsRequestSchema } from "../../contracts/applicationWorkflowInputContracts.js";
|
|
5
|
-
import { safeParseToolInput } from "../toolInputValidation.js";
|
|
6
4
|
import { logToolExecution } from "../toolLogging.js";
|
|
7
5
|
import { toolRegistrationOptions } from "../toolRegistrationOptions.js";
|
|
8
6
|
import { toCallToolResult } from "../toolResult.js";
|
|
@@ -11,10 +9,7 @@ const contract = applicationToolContract("trace_javascript_semantics");
|
|
|
11
9
|
/** Register the bounded JavaScript semantic relation trace tool. */
|
|
12
10
|
export const registerTraceJavaScriptSemanticsTool = (server, options) => {
|
|
13
11
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input) => {
|
|
14
|
-
const
|
|
15
|
-
if (!parsedInput.ok)
|
|
16
|
-
return toCallToolResult(parsedInput, contract);
|
|
17
|
-
const resolved = resolveTraceJavaScriptSemanticsRequestValidated(parsedInput.value, options.evidenceLookup);
|
|
12
|
+
const resolved = resolveTraceJavaScriptSemanticsRequestValidated(input, options.evidenceLookup);
|
|
18
13
|
if (!resolved.ok)
|
|
19
14
|
return toCallToolResult(resolved, contract);
|
|
20
15
|
const result = await logToolExecution(options.logger, contract.name, () => Promise.resolve(traceJavaScriptSemanticsEvidenceValidated(resolved.value)));
|
|
@@ -1,44 +1,40 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { SESSION_TOOL_CONTRACTS } from "../contracts/toolContracts.js";
|
|
2
|
+
import { compareArtifacts } from "../domain/artifactComparison.js";
|
|
2
3
|
import { createEvidence } from "../domain/evidence.js";
|
|
3
4
|
import { jsonValueSchema } from "../domain/jsonValue.js";
|
|
4
5
|
import { recordDerivedEvidence } from "./recordDerivedEvidence.js";
|
|
6
|
+
import { runDerivedOperation } from "./runDerivedOperation.js";
|
|
5
7
|
import { resolveSessionEvidenceIds } from "./sessionEvidence.js";
|
|
6
8
|
import { ARTIFACT_COMPARISON_PROVIDER } from "./sessionToolPolicies.js";
|
|
7
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
8
9
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
9
|
-
import {
|
|
10
|
-
import { safeParseToolInput } from "./toolInputValidation.js";
|
|
10
|
+
import { toCallToolResult } from "./toolResult.js";
|
|
11
11
|
/** Register Evidence-backed deterministic artifact comparison. */
|
|
12
12
|
export const registerArtifactComparisonTool = (server, session, contract) => {
|
|
13
13
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
14
|
-
const parsedInput = safeParseToolInput(artifactComparisonInputSchema, input, contract.name);
|
|
15
|
-
if (!parsedInput.ok)
|
|
16
|
-
return toCallToolResult(parsedInput, contract);
|
|
17
|
-
const parsed = parsedInput.value;
|
|
18
14
|
const expected = {
|
|
19
15
|
operation: "inventory_artifact",
|
|
20
16
|
predicate: "rea.analysis/v2",
|
|
21
17
|
};
|
|
22
|
-
const left = resolveSessionEvidenceIds(session,
|
|
18
|
+
const left = resolveSessionEvidenceIds(session, input.left_evidence_ids, expected);
|
|
23
19
|
if (!left.ok)
|
|
24
20
|
return toCallToolResult(left, contract);
|
|
25
|
-
const right = resolveSessionEvidenceIds(session,
|
|
21
|
+
const right = resolveSessionEvidenceIds(session, input.right_evidence_ids, expected);
|
|
26
22
|
if (!right.ok)
|
|
27
23
|
return toCallToolResult(right, contract);
|
|
28
|
-
const computed = await runDerivedOperation(context, contract.name, () => compareArtifacts(left.value, right.value,
|
|
24
|
+
const computed = await runDerivedOperation(context, contract.name, () => compareArtifacts(left.value, right.value, input.offset, input.limit));
|
|
29
25
|
if (!computed.ok)
|
|
30
26
|
return toCallToolResult(computed, contract);
|
|
31
27
|
const comparison = computed.value;
|
|
32
|
-
const leftEvidenceIds =
|
|
33
|
-
const rightEvidenceIds =
|
|
28
|
+
const leftEvidenceIds = input.left_evidence_ids;
|
|
29
|
+
const rightEvidenceIds = input.right_evidence_ids;
|
|
34
30
|
const evidence = createEvidence(undefined, ARTIFACT_COMPARISON_PROVIDER, {
|
|
35
31
|
predicateType: "rea.artifact-comparison/v1",
|
|
36
32
|
operation: contract.name,
|
|
37
33
|
parameters: {
|
|
38
34
|
left_evidence_ids: leftEvidenceIds,
|
|
39
35
|
right_evidence_ids: rightEvidenceIds,
|
|
40
|
-
offset:
|
|
41
|
-
limit:
|
|
36
|
+
offset: input.offset,
|
|
37
|
+
limit: input.limit,
|
|
42
38
|
},
|
|
43
39
|
result: jsonValueSchema.parse(comparison),
|
|
44
40
|
confidence: "derived",
|
|
@@ -46,7 +42,7 @@ export const registerArtifactComparisonTool = (server, session, contract) => {
|
|
|
46
42
|
limitations: comparison.limitations,
|
|
47
43
|
evidenceLinks: [...leftEvidenceIds, ...rightEvidenceIds],
|
|
48
44
|
});
|
|
49
|
-
return toCallToolResult(recordDerivedEvidence(session, evidence, artifactUnknownInput(
|
|
45
|
+
return toCallToolResult(recordDerivedEvidence(session, evidence, artifactUnknownInput(input, comparison.status)), contract);
|
|
50
46
|
});
|
|
51
47
|
};
|
|
52
48
|
const artifactUnknownInput = (input, status) => {
|
|
@@ -1,18 +1,13 @@
|
|
|
1
1
|
import { captureBrowserScenario } from "../application/BrowserScenarioCaptureService.js";
|
|
2
2
|
import { BROWSER_SCENARIO_TOOL_CONTRACTS } from "../contracts/browserScenarioToolContracts.js";
|
|
3
|
-
import { browserScenarioSchema } from "../domain/browserScenario.js";
|
|
4
3
|
import { logToolExecution } from "./toolLogging.js";
|
|
5
|
-
import { safeParseToolInput } from "./toolInputValidation.js";
|
|
6
4
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
7
5
|
import { toCallToolResult } from "./toolResult.js";
|
|
8
6
|
/** Register the controlled browser scenario tool even when policy disables it. */
|
|
9
7
|
export const registerBrowserScenarioTool = (server, options) => {
|
|
10
8
|
const [contract] = BROWSER_SCENARIO_TOOL_CONTRACTS;
|
|
11
9
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
12
|
-
const
|
|
13
|
-
if (!parsed.ok)
|
|
14
|
-
return toCallToolResult(parsed, contract);
|
|
15
|
-
const result = await logToolExecution(options.logger, contract.name, () => captureBrowserScenario(options.provider, options.permissionAuthority, parsed.value, { signal: context.mcpReq.signal }));
|
|
10
|
+
const result = await logToolExecution(options.logger, contract.name, () => captureBrowserScenario(options.provider, options.permissionAuthority, input, { signal: context.mcpReq.signal }));
|
|
16
11
|
if (!result.ok)
|
|
17
12
|
return toCallToolResult(result, contract);
|
|
18
13
|
const recorded = options.recordEvidence?.(result.value);
|
|
@@ -1,90 +1,48 @@
|
|
|
1
1
|
import { analyzeWebBundle, captureWebScreenshot, compareWebCaptureEvidence, compareWebScreenshotEvidence, discoverWebMcpTools, inspectWebPage, listBrowserTargets, observeWebSession, } from "../application/BrowserObservationService.js";
|
|
2
2
|
import { BROWSER_TOOL_CONTRACTS } from "../contracts/browserToolContracts.js";
|
|
3
|
-
import {
|
|
4
|
-
import { analyzeWebBundleInputSchema } from "../domain/webBundleAnalysis.js";
|
|
5
|
-
import { observeWebSessionInputSchema } from "../domain/browserSession.js";
|
|
6
|
-
import { discoverWebMcpToolsInputSchema } from "../domain/webMcpDiscovery.js";
|
|
7
|
-
import { browserCaptureComparisonInputSchema } from "../domain/browserCaptureComparison.js";
|
|
8
|
-
import { captureWebScreenshotInputSchema, compareWebScreenshotsInputSchema, } from "../domain/webScreenshot.js";
|
|
3
|
+
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
9
4
|
import { logToolExecution } from "./toolLogging.js";
|
|
10
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
11
5
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
12
|
-
import {
|
|
13
|
-
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
6
|
+
import { toCallToolResult } from "./toolResult.js";
|
|
14
7
|
/** Register browser tools even when policy/provider availability denies execution. */
|
|
8
|
+
// oxlint-disable-next-line max-lines-per-function -- direct SDK calls retain each schema-handler type correlation.
|
|
15
9
|
export const registerBrowserTools = (server, options) => {
|
|
16
10
|
const [listContract, inspectContract, analyzeContract, sessionContract, webMcpContract, captureDiffContract, screenshotContract, screenshotDiffContract,] = BROWSER_TOOL_CONTRACTS;
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
});
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
});
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
schema: observeWebSessionInputSchema,
|
|
43
|
-
execute: (parsed, { signal, progress }) => observeWebSession(options.browser, options.permissionAuthority, parsed, {
|
|
44
|
-
signal,
|
|
45
|
-
progress,
|
|
46
|
-
}),
|
|
47
|
-
});
|
|
48
|
-
registerBrowserTool(server, options, {
|
|
49
|
-
contract: webMcpContract,
|
|
50
|
-
schema: discoverWebMcpToolsInputSchema,
|
|
51
|
-
execute: (parsed, { signal, progress }) => discoverWebMcpTools(options.browser, options.permissionAuthority, parsed, {
|
|
52
|
-
signal,
|
|
53
|
-
progress,
|
|
54
|
-
}),
|
|
55
|
-
});
|
|
56
|
-
registerBrowserTool(server, options, {
|
|
57
|
-
contract: captureDiffContract,
|
|
58
|
-
schema: browserCaptureComparisonInputSchema,
|
|
59
|
-
execute: (parsed, _context) => compareWebCaptureEvidence(options.browser, parsed),
|
|
60
|
-
});
|
|
61
|
-
registerBrowserTool(server, options, {
|
|
62
|
-
contract: screenshotContract,
|
|
63
|
-
schema: captureWebScreenshotInputSchema,
|
|
64
|
-
execute: (parsed, { signal, progress }) => captureWebScreenshot(options.browser, options.permissionAuthority, parsed, {
|
|
65
|
-
signal,
|
|
66
|
-
progress,
|
|
67
|
-
}),
|
|
68
|
-
});
|
|
69
|
-
registerBrowserTool(server, options, {
|
|
70
|
-
contract: screenshotDiffContract,
|
|
71
|
-
schema: compareWebScreenshotsInputSchema,
|
|
72
|
-
execute: (parsed, _context) => compareWebScreenshotEvidence(options.browser, parsed),
|
|
73
|
-
});
|
|
11
|
+
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runBrowserTool(options, listContract, { input, context }, (parsed, { signal }) => listBrowserTargets(options.browser, options.permissionAuthority, parsed, {
|
|
12
|
+
signal,
|
|
13
|
+
})));
|
|
14
|
+
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runBrowserTool(options, inspectContract, { input, context }, (parsed, { signal, progress }) => inspectWebPage(options.browser, options.permissionAuthority, parsed, {
|
|
15
|
+
signal,
|
|
16
|
+
progress,
|
|
17
|
+
})));
|
|
18
|
+
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runBrowserTool(options, analyzeContract, { input, context }, (parsed, { signal, progress }) => analyzeWebBundle(options.browser, options.permissionAuthority, parsed, {
|
|
19
|
+
signal,
|
|
20
|
+
progress,
|
|
21
|
+
})));
|
|
22
|
+
server.registerTool(sessionContract.name, toolRegistrationOptions(sessionContract), (input, context) => runBrowserTool(options, sessionContract, { input, context }, (parsed, { signal, progress }) => observeWebSession(options.browser, options.permissionAuthority, parsed, {
|
|
23
|
+
signal,
|
|
24
|
+
progress,
|
|
25
|
+
})));
|
|
26
|
+
server.registerTool(webMcpContract.name, toolRegistrationOptions(webMcpContract), (input, context) => runBrowserTool(options, webMcpContract, { input, context }, (parsed, { signal, progress }) => discoverWebMcpTools(options.browser, options.permissionAuthority, parsed, {
|
|
27
|
+
signal,
|
|
28
|
+
progress,
|
|
29
|
+
})));
|
|
30
|
+
server.registerTool(captureDiffContract.name, toolRegistrationOptions(captureDiffContract), (input, context) => runBrowserTool(options, captureDiffContract, { input, context }, (parsed) => compareWebCaptureEvidence(options.browser, parsed)));
|
|
31
|
+
server.registerTool(screenshotContract.name, toolRegistrationOptions(screenshotContract), (input, context) => runBrowserTool(options, screenshotContract, { input, context }, (parsed, { signal, progress }) => captureWebScreenshot(options.browser, options.permissionAuthority, parsed, {
|
|
32
|
+
signal,
|
|
33
|
+
progress,
|
|
34
|
+
})));
|
|
35
|
+
server.registerTool(screenshotDiffContract.name, toolRegistrationOptions(screenshotDiffContract), (input, context) => runBrowserTool(options, screenshotDiffContract, { input, context }, (parsed) => compareWebScreenshotEvidence(options.browser, parsed)));
|
|
74
36
|
};
|
|
75
|
-
const
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
if (!result.ok)
|
|
85
|
-
return toCallToolResult(result, spec.contract);
|
|
86
|
-
return evidenceResult(options, spec.contract, result.value);
|
|
87
|
-
});
|
|
37
|
+
const runBrowserTool = async (options, contract, request, execute) => {
|
|
38
|
+
const { input, context } = request;
|
|
39
|
+
const result = await logToolExecution(options.logger, contract.name, () => execute(input, {
|
|
40
|
+
signal: context.mcpReq.signal,
|
|
41
|
+
progress: mcpProgressReporter(context),
|
|
42
|
+
}));
|
|
43
|
+
if (!result.ok)
|
|
44
|
+
return toCallToolResult(result, contract);
|
|
45
|
+
return evidenceResult(options, contract, result.value);
|
|
88
46
|
};
|
|
89
47
|
const evidenceResult = (options, contract, evidence) => {
|
|
90
48
|
const recorded = options.recordEvidence?.(evidence);
|
|
@@ -1,29 +1,25 @@
|
|
|
1
1
|
import { readEvidenceBundle } from "../application/EvidenceBundleFiles.js";
|
|
2
|
-
import {
|
|
2
|
+
import { SESSION_TOOL_CONTRACTS } from "../contracts/toolContracts.js";
|
|
3
|
+
import { compareBundles } from "../domain/bundleComparison.js";
|
|
3
4
|
import { createEvidence } from "../domain/evidence.js";
|
|
4
5
|
import { jsonValueSchema } from "../domain/jsonValue.js";
|
|
5
6
|
import { ok } from "../domain/result.js";
|
|
7
|
+
import { runDerivedOperation } from "./runDerivedOperation.js";
|
|
6
8
|
import { BUNDLE_COMPARISON_PROVIDER } from "./sessionToolPolicies.js";
|
|
7
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
8
9
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
9
|
-
import {
|
|
10
|
-
import { safeParseToolInput } from "./toolInputValidation.js";
|
|
10
|
+
import { toCallToolResult } from "./toolResult.js";
|
|
11
11
|
/** Register canonical Evidence bundle comparison. */
|
|
12
12
|
export const registerBundleComparisonTool = (server, session, contract, evidenceFilePolicy) => {
|
|
13
13
|
server.registerTool(contract.name, toolRegistrationOptions(contract), async (input, context) => {
|
|
14
|
-
const parsedInput = safeParseToolInput(bundleComparisonInputSchema, input, contract.name);
|
|
15
|
-
if (!parsedInput.ok)
|
|
16
|
-
return toCallToolResult(parsedInput, contract);
|
|
17
|
-
const parsed = parsedInput.value;
|
|
18
14
|
const [left, right] = await Promise.all([
|
|
19
|
-
readEvidenceBundle(
|
|
20
|
-
readEvidenceBundle(
|
|
15
|
+
readEvidenceBundle(input.left_bundle_path, evidenceFilePolicy),
|
|
16
|
+
readEvidenceBundle(input.right_bundle_path, evidenceFilePolicy),
|
|
21
17
|
]);
|
|
22
18
|
if (!left.ok)
|
|
23
19
|
return toCallToolResult(left, contract);
|
|
24
20
|
if (!right.ok)
|
|
25
21
|
return toCallToolResult(right, contract);
|
|
26
|
-
const computed = await runDerivedOperation(context, contract.name, () => compareBundles(left.value, right.value,
|
|
22
|
+
const computed = await runDerivedOperation(context, contract.name, () => compareBundles(left.value, right.value, input.record_pairs, input.offset, input.limit));
|
|
27
23
|
if (!computed.ok)
|
|
28
24
|
return toCallToolResult(computed, contract);
|
|
29
25
|
const comparison = computed.value;
|
|
@@ -33,9 +29,9 @@ export const registerBundleComparisonTool = (server, session, contract, evidence
|
|
|
33
29
|
parameters: {
|
|
34
30
|
left_bundle_sha256: comparison.left_bundle_sha256,
|
|
35
31
|
right_bundle_sha256: comparison.right_bundle_sha256,
|
|
36
|
-
record_pairs:
|
|
37
|
-
offset:
|
|
38
|
-
limit:
|
|
32
|
+
record_pairs: input.record_pairs,
|
|
33
|
+
offset: input.offset,
|
|
34
|
+
limit: input.limit,
|
|
39
35
|
},
|
|
40
36
|
result: jsonValueSchema.parse(comparison),
|
|
41
37
|
confidence: "derived",
|
|
@@ -1,37 +1,30 @@
|
|
|
1
1
|
import { writeAnalysisSnapshot } from "../application/AnalysisSnapshotFiles.js";
|
|
2
|
-
import { closeBinaryInputSchema } from "../contracts/sessionLifecycleInputs.js";
|
|
3
2
|
import { ok } from "../domain/result.js";
|
|
4
3
|
import { reportLifecycleEnd, reportLifecycleStart, } from "./lifecycleProgress.js";
|
|
5
|
-
import { logToolExecution } from "./toolLogging.js";
|
|
6
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
7
4
|
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
8
5
|
import { permissionFailure } from "./permissionFailure.js";
|
|
9
|
-
import {
|
|
6
|
+
import { logToolExecution } from "./toolLogging.js";
|
|
10
7
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
8
|
+
import { toCallToolResult } from "./toolResult.js";
|
|
11
9
|
/** Register provider cleanup and optional pre-close snapshot persistence. */
|
|
12
10
|
export const registerCloseLifecycleTool = ({ server, session, logger, contracts: [, closeContract], snapshotFilePolicy, permissionAuthority, }) => {
|
|
13
11
|
server.registerTool(closeContract.name, toolRegistrationOptions(closeContract), async (input, context) => {
|
|
14
|
-
const parsedInput = safeParseToolInput(closeBinaryInputSchema, input, closeContract.name);
|
|
15
|
-
if (!parsedInput.ok)
|
|
16
|
-
return toCallToolResult(parsedInput, closeContract);
|
|
17
|
-
const parsed = parsedInput.value;
|
|
18
12
|
const progress = mcpProgressReporter(context);
|
|
19
|
-
if (
|
|
13
|
+
if (input.snapshot_path === undefined) {
|
|
20
14
|
await reportLifecycleStart(progress, closeContract.name);
|
|
21
15
|
const closed = await logToolExecution(logger, closeContract.name, () => session.close({ progress }));
|
|
22
16
|
await reportLifecycleEnd(progress, closeContract.name, closed.ok);
|
|
23
|
-
server.sendToolListChanged();
|
|
24
17
|
return toCallToolResult(closed, closeContract);
|
|
25
18
|
}
|
|
26
19
|
if (permissionAuthority !== undefined) {
|
|
27
20
|
const authorized = await permissionAuthority.authorize({
|
|
28
21
|
capability: "snapshot_write",
|
|
29
|
-
roots: [
|
|
22
|
+
roots: [input.snapshot_path],
|
|
30
23
|
executables: [],
|
|
31
24
|
environment_names: [],
|
|
32
25
|
network: "none",
|
|
33
26
|
mount: false,
|
|
34
|
-
operation_identity: `close_binary:snapshot:${
|
|
27
|
+
operation_identity: `close_binary:snapshot:${input.snapshot_path}`,
|
|
35
28
|
}, "write");
|
|
36
29
|
if (!authorized.ok)
|
|
37
30
|
return toCallToolResult(permissionFailure(authorized), closeContract);
|
|
@@ -39,13 +32,12 @@ export const registerCloseLifecycleTool = ({ server, session, logger, contracts:
|
|
|
39
32
|
const snapshot = session.exportAnalysisSnapshot();
|
|
40
33
|
if (!snapshot.ok)
|
|
41
34
|
return toCallToolResult(snapshot, closeContract);
|
|
42
|
-
const written = await writeAnalysisSnapshot(snapshot.value,
|
|
35
|
+
const written = await writeAnalysisSnapshot(snapshot.value, input.snapshot_path, input.overwrite, snapshotFilePolicy);
|
|
43
36
|
if (!written.ok)
|
|
44
37
|
return toCallToolResult(written, closeContract);
|
|
45
38
|
await reportLifecycleStart(progress, closeContract.name, "snapshot written; closing provider");
|
|
46
39
|
const closed = await logToolExecution(logger, closeContract.name, () => session.close({ progress }));
|
|
47
40
|
await reportLifecycleEnd(progress, closeContract.name, closed.ok);
|
|
48
|
-
server.sendToolListChanged();
|
|
49
41
|
return closed.ok
|
|
50
42
|
? toCallToolResult(ok({
|
|
51
43
|
path: written.value.path,
|
|
@@ -1,63 +1,46 @@
|
|
|
1
|
+
import { captureElectronScenario } from "../application/ElectronActiveObservationService.js";
|
|
2
|
+
import { inspectElectronPage, listElectronTargets, } from "../application/ElectronObservationService.js";
|
|
1
3
|
import { analyzeJavaScriptApplicationValidated } from "../application/JavaScriptApplicationService.js";
|
|
2
4
|
import { reconcileJavaScriptRuntimeEvidenceValidated } from "../application/JavaScriptRuntimeReconciliationService.js";
|
|
3
|
-
import {
|
|
4
|
-
import {
|
|
5
|
-
import {
|
|
6
|
-
import { reconcileJavaScriptRuntimeInputSchema } from "../domain/javascriptRuntimeReconciliationSchemas.js";
|
|
5
|
+
import { ELECTRON_TOOL_CONTRACTS } from "../contracts/electronToolContracts.js";
|
|
6
|
+
import { summarizeJavaScriptApplicationEvidence } from "./javascriptApplicationResult.js";
|
|
7
|
+
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
7
8
|
import { logToolExecution } from "./toolLogging.js";
|
|
8
|
-
import { toCallToolResult } from "./toolResult.js";
|
|
9
9
|
import { toolRegistrationOptions } from "./toolRegistrationOptions.js";
|
|
10
|
-
import {
|
|
11
|
-
import { mcpProgressReporter } from "./mcpProgress.js";
|
|
12
|
-
import { summarizeJavaScriptApplicationEvidence } from "./javascriptApplicationResult.js";
|
|
10
|
+
import { toCallToolResult } from "./toolResult.js";
|
|
13
11
|
/** Register Electron tools even when provider or permission policy is absent. */
|
|
12
|
+
// oxlint-disable-next-line max-lines-per-function -- direct SDK calls retain each schema-handler type correlation.
|
|
14
13
|
export const registerElectronTools = (server, options) => {
|
|
15
|
-
const [listContract, inspectContract, analyzeContract, reconcileContract] = ELECTRON_TOOL_CONTRACTS;
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
});
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
execute: (parsed, { signal, progress }) => inspectElectronPage(options.electron, options.permissionAuthority, parsed, {
|
|
27
|
-
signal,
|
|
28
|
-
progress,
|
|
29
|
-
}),
|
|
30
|
-
});
|
|
31
|
-
registerElectronTool(server, options, {
|
|
32
|
-
contract: analyzeContract,
|
|
33
|
-
schema: analyzeJavaScriptApplicationToolInputSchema,
|
|
34
|
-
execute: (parsed, { signal, progress }) => analyzeJavaScriptApplicationValidated(options.permissionAuthority, parsed, { signal, progress }),
|
|
14
|
+
const [listContract, inspectContract, analyzeContract, reconcileContract, activeContract,] = ELECTRON_TOOL_CONTRACTS;
|
|
15
|
+
server.registerTool(listContract.name, toolRegistrationOptions(listContract), (input, context) => runElectronTool(options, listContract, { input, context }, (parsed, { signal }) => listElectronTargets(options.electron, options.permissionAuthority, parsed, {
|
|
16
|
+
signal,
|
|
17
|
+
})));
|
|
18
|
+
server.registerTool(inspectContract.name, toolRegistrationOptions(inspectContract), (input, context) => runElectronTool(options, inspectContract, { input, context }, (parsed, { signal, progress }) => inspectElectronPage(options.electron, options.permissionAuthority, parsed, {
|
|
19
|
+
signal,
|
|
20
|
+
progress,
|
|
21
|
+
})));
|
|
22
|
+
server.registerTool(analyzeContract.name, toolRegistrationOptions(analyzeContract), (input, context) => runElectronTool(options, analyzeContract, {
|
|
23
|
+
input,
|
|
24
|
+
context,
|
|
35
25
|
projectEvidence: (evidence, parsed) => {
|
|
36
26
|
const summary = summarizeJavaScriptApplicationEvidence(evidence);
|
|
37
27
|
return parsed.detail === "full"
|
|
38
28
|
? { structured: evidence.normalized_result, text: summary }
|
|
39
29
|
: { structured: summary };
|
|
40
30
|
},
|
|
41
|
-
});
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
schema: reconcileJavaScriptRuntimeInputSchema,
|
|
45
|
-
execute: (parsed, _context) => Promise.resolve(reconcileJavaScriptRuntimeEvidenceValidated(parsed)),
|
|
46
|
-
});
|
|
31
|
+
}, (parsed, { signal, progress }) => analyzeJavaScriptApplicationValidated(options.permissionAuthority, parsed, { signal, progress })));
|
|
32
|
+
server.registerTool(reconcileContract.name, toolRegistrationOptions(reconcileContract), (input, context) => runElectronTool(options, reconcileContract, { input, context }, (parsed) => Promise.resolve(reconcileJavaScriptRuntimeEvidenceValidated(parsed))));
|
|
33
|
+
server.registerTool(activeContract.name, toolRegistrationOptions(activeContract), (input, context) => runElectronTool(options, activeContract, { input, context }, (parsed, { signal, progress }) => captureElectronScenario(options.electronActive, options.permissionAuthority, parsed, { signal, progress })));
|
|
47
34
|
};
|
|
48
|
-
const
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
if (!result.ok)
|
|
58
|
-
return toCallToolResult(result, spec.contract);
|
|
59
|
-
return evidenceResult(options, spec.contract, result.value, spec.projectEvidence?.(result.value, parsedInput.value));
|
|
60
|
-
});
|
|
35
|
+
const runElectronTool = async (options, contract, request, execute) => {
|
|
36
|
+
const { input, context, projectEvidence } = request;
|
|
37
|
+
const result = await logToolExecution(options.logger, contract.name, () => execute(input, {
|
|
38
|
+
signal: context.mcpReq.signal,
|
|
39
|
+
progress: mcpProgressReporter(context),
|
|
40
|
+
}));
|
|
41
|
+
if (!result.ok)
|
|
42
|
+
return toCallToolResult(result, contract);
|
|
43
|
+
return evidenceResult(options, contract, result.value, projectEvidence?.(result.value, input));
|
|
61
44
|
};
|
|
62
45
|
const evidenceResult = (options, contract, evidence, projection) => {
|
|
63
46
|
const recorded = options.recordEvidence?.(evidence);
|