shifathosn
/
rea
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
rea/tests/boundary/mcp
History
N0zoM1z0 bbe6a7c31e test(mcp): assert workflow caveats at their declared locations 
Main now retains upstream provider caveats in the workflow Evidence envelope
as well as the established graph result. Assert each exact list instead of
counting text occurrences across two distinct contract locations. Also assert
the actual complete graph edges so a caveat cannot silently truncate traversal.

Verified 22 focused workflow Evidence and MCP boundary tests. Product code and
advertised output are unchanged.

Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@users.noreply.github.com>
 		2026-10-14 03:50:45 +00:00
..
adbMcp.test.ts fix(ci): share provider workflows to restore static gates 2026-10-10 23:15:02 +08:00
adbStartMcp.test.ts fix(adb): evaluate the full activity start report 2026-10-13 04:12:20 +08:00
advertisedPatternsVMode.test.ts fix(contracts): advertise NUL with a portable hex escape 2026-10-10 01:54:42 +08:00
agentKnownAnswerMcp.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
analysisSummaryDetailMcp.test.ts fix(native): retain failed pwntools process and runtime cleanup (#1708) 2026-10-13 01:37:47 +08:00
analysisViewMcp.test.ts feat(analysis-view): report observed query parameter names (#2982) 2026-10-14 04:00:21 +08:00
androidPackageSummaryMcp.test.ts feat(android): add opt-in package summaries and retained manifest views 2026-10-13 10:21:53 +08:00
apktoolMcp.test.ts fix(ci): share provider workflows to restore static gates 2026-10-10 23:15:02 +08:00
applicationEvidenceMcp.test.ts fix(javascript): share source-map resolution and preserve path uncertainty 2026-10-13 13:48:24 +08:00
applicationExportShapeMcp.test.ts fix(artifacts)!: retain cleanup owners through client shutdown 2026-10-11 04:43:02 +08:00
applicationMutationPresenceMcp.test.ts fix(artifacts)!: retain cleanup owners through client shutdown 2026-10-11 04:43:02 +08:00
artifactMcp.inlineInventory.test.ts fix(artifacts): compare inventories using declared coverage (#2214) 2026-10-14 03:00:27 +08:00
artifactMcp.test.ts fix(artifacts): compare inventories using declared coverage (#2214) 2026-10-14 03:00:27 +08:00
asarListingAdmissionMcp.test.ts fix(artifacts): bound expanded ASAR listing before allocation (#2724) 2026-10-13 23:47:18 +08:00
asarUnpackedExtractionMcp.test.ts fix(electron): support packaged app.asar pages and rewritten unpacked companions (#1400) 2026-10-10 23:01:54 +08:00
binaryDiagnosticsMcp.test.ts fix(target): probe WASM before inferred database routing (#2007) 2026-10-13 23:49:33 +08:00
browserComparisonInput.test.ts test(mcp): leave comparison group completeness to the runtime parser 2026-10-14 03:27:51 +00:00
browserMcp.test.ts feat(browser): attach passive tools to browsers without HTTP discovery (#2346) 2026-10-14 00:36:37 +08:00
browserScenarioMcp.test.ts fix(browser): report mismatched event family selection as unknown in capture comparison (#2239) 2026-10-13 02:36:45 +08:00
bundleComparisonCancellation.test.ts fix(io): retain cleanup ownership and honor cancellation 2026-10-12 14:12:44 +08:00
bundleComparisonMcp.test.ts fix(io): retain cleanup ownership and honor cancellation 2026-10-12 14:12:44 +08:00
clientCapabilities.test.ts perf(mcp)!: compact repeated session discovery facts (#1988) 2026-10-12 07:40:19 +08:00
compactInputSchemaMcp.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
comparisonUnknownsMcp.test.ts fix(comparison): recheck historical calls-only changes (#2223) 2026-10-13 23:30:31 +08:00
contractPresentation.test.ts fix(mcp): deliver typed errors without invalid structured output (#1277) 2026-10-09 13:54:32 +00:00
contractToolHandlerTargetContent.test.ts fix(server): mark retained partial-observation errors as target content (#2398) 2026-10-13 21:46:14 +08:00
cutterCancellationMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
cutterMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
dartAotSummaryMcp.test.ts perf(flutter): add opt-in retained AOT summary and string pages 2026-10-13 11:39:30 +08:00
dylibResolutionMcp.test.ts test(mcp): fix three MCP boundary suites on native Windows (#2312) 2026-10-13 03:13:35 +08:00
electronFusesMcp.test.ts feat(electron): inspect packaged Electron fuse state without execution (#2399) 2026-10-14 09:16:33 +08:00
electronMcp.test.ts fix(electron): identify each unresolved scenario path (#2279) 2026-10-13 21:15:33 +08:00
enhancedTools.01-lists-the-complete-target-open.test.ts fix(native): accept declared facts in dispatch name inventory (#2906) 2026-10-14 00:34:06 +08:00
enhancedTools.03-returns-typed-graph-failures-and.test.ts fix(analysis)!: scope call-graph caveats to their observed relationships 2026-10-12 09:29:07 +08:00
enhancedTools.04-uses-complete-inventories-inline.test.ts fix(providers)!: preserve unknown segment extents and initialized IDA readiness 2026-10-14 09:47:28 +08:00
enhancedTools.06-rejects-incomplete-function-dossiers-at.test.ts fix(contracts)!: require observed provider output metadata 2026-10-10 03:52:13 +08:00
enhancedTools.callPathsAndBatches.test.ts test(mcp): assert workflow caveats at their declared locations 2026-10-14 03:50:45 +00:00
enhancedTools.inputValidation.test.ts fix(mcp): deliver typed errors without invalid structured output (#1277) 2026-10-09 13:54:32 +00:00
enhancedTools.swiftTypes.test.ts refactor: consolidate boundary semantics and prune redundant tests 2026-10-10 05:56:01 +08:00
enhancedTools.traceFeatureCoverage.test.ts feat(ida): resolve containing procedures and report the admitted program as the document (#2374) 2026-10-13 20:56:20 +08:00
enhancedToolsHarness.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
evidenceBundleInline.test.ts fix(evidence): reject unsupported metadata before authentication 2026-10-13 13:00:39 +08:00
evidenceExportCancellation.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
evidenceImportCancellation.test.ts fix(io): retain cleanup ownership and honor cancellation 2026-10-12 14:12:44 +08:00
evidenceImportLifecycle.test.ts fix(evidence): admit bundle imports across session transitions (#2303) 2026-10-13 14:45:03 +08:00
evmInterfaceMcp.test.ts fix(target): probe WASM before inferred database routing (#2007) 2026-10-13 23:49:33 +08:00
firmwareMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
flutterMcp.test.ts feat(flutter): identify Dart snapshot builds and inspect AOT payloads by pure APK parsing (#1582) 2026-10-12 22:35:55 +08:00
fridaLifecycleMcp.test.ts fix(frida): drain admitted operations and honor queued cancellation (#2305) 2026-10-14 02:56:00 +08:00
fridaMcp.test.ts feat: add Frida instrumentation support (#1359) 2026-10-12 22:01:58 +08:00
functionCallDirectionsMcp.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
functionComparisonCoverageMcp.test.ts fix(evidence): preserve call coverage in function comparisons 2026-10-13 04:12:34 +08:00
functionComparisonMcp.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
gdbCancellationMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
ghidraCompactReferencesMcp.test.ts feat(native): expose typed incoming references at exact addresses (#1715) 2026-10-11 19:52:09 +08:00
ghidraEvidenceMcp.test.ts chore: reconcile current main fixes and client support 2026-10-14 08:36:38 +08:00
ghidraFailureDiagnostics.test.ts fix(mcp): deliver typed errors without invalid structured output (#1277) 2026-10-09 13:54:32 +00:00
ghidraInventoryMcp.test.ts feat(native): read embedded cargo-auditable Rust dependency lists (#2456) 2026-10-14 02:50:30 +08:00
ghidraMcpHarness.ts fix(ghidra): fail doctor when the JVM os.arch selects an unvalidated decompiler directory (#2792) 2026-10-14 07:31:11 +08:00
ghidraNativeApiMcp.test.ts refactor: consolidate boundary semantics and prune redundant tests 2026-10-10 05:56:01 +08:00
ghidraReopen.test.ts fix(ghidra): fail doctor when the JVM os.arch selects an unvalidated decompiler directory (#2792) 2026-10-14 07:31:11 +08:00
ghidraRoutingMcp.test.ts perf(mcp)!: compact repeated session discovery facts (#1988) 2026-10-12 07:40:19 +08:00
goBinaryMcp.test.ts feat(go): inspect embedded binary build metadata (#1363) 2026-10-12 11:34:02 +08:00
idaTransport.test.ts fix(providers)!: preserve readiness, coverage, and diagnostic ownership 2026-10-14 08:28:14 +08:00
inlineEvidenceCompositionMcp.test.ts refactor!: enforce canonical evidence and provider boundaries 2026-10-09 20:18:52 +08:00
interfaceBuilderSummaryMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
investigationAnalysisMcp.test.ts fix(call-path): preserve relationship coverage from analysis (#2001) 2026-10-12 08:55:19 +08:00
javascriptAnalysisCancellation.test.ts fix(javascript): retain completed facts through cancellation (#1934) 2026-10-12 02:39:52 +08:00
javascriptAnalysisResources.test.ts fix(javascript): isolate source analysis and retain bounded partial evidence (#1651) 2026-10-11 07:22:50 +08:00
javascriptLiteralPayload.test.ts fix(javascript)!: stop copying literals into semantic metadata (#1407) 2026-10-09 20:00:53 -07:00
javascriptRecoveryMcp.test.ts feat(javascript): recover code-split bundles from multiple inputs (#1686) 2026-10-11 18:39:49 +08:00
javascriptRuntimeObservationMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
javascriptSourceSelection.test.ts feat(javascript): analyze selected application sources 2026-10-12 04:07:14 +08:00
jebMcp.test.ts fix(jeb): confine an invalid REA_JEB_MCP_URL to the JEB tools (#2145) 2026-10-12 06:49:15 -07:00
keyedArchiveNumberMetadataMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
keyedArchivePrototypeKeyMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
keyedArchiveXmlExtensionMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
largeToolResult.test.ts feat(server): frame analysis-target content as untrusted data (#1908) 2026-10-13 06:06:02 +09:00
mainErrors.test.ts refactor!: enforce canonical evidence and provider boundaries 2026-10-09 20:18:52 +08:00
managedArtifactSummaryMcp.test.ts feat(managed): add retained metadata overview and pages (#2413) 2026-10-13 07:41:20 +08:00
managedMcp.test.ts feat(managed): select declaring types in inspect_managed_members 2026-10-12 08:31:37 +08:00
mcpContractHarness.ts fix(ci): share provider workflows to restore static gates 2026-10-10 23:15:02 +08:00
mcpDoctor.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
mcpStartupPolicy.test.ts test(mcp): consolidate SDK schema checks and scenario ports 2026-10-08 04:03:24 +08:00
mobileApplicationGraphMcp.test.ts feat(harmony): project HarmonyOS package inventory evidence (#1447) 2026-10-11 20:09:21 +08:00
nativeAddressContextMcp.test.ts fix(ghidra): resolve file offsets in decompile (#2101) 2026-10-13 18:23:17 +08:00
nativeCallObservationMcp.test.ts fix(native): retain LLDB cleanup ownership through client close 2026-10-10 04:35:03 +08:00
nativeDemangleMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
nativeInputContracts.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
nativeMachoSummaryMcp.test.ts fix(native): retain partial format facts and explicit coverage 2026-10-14 08:29:16 +08:00
nativeSignatureTargetBindingMcp.test.ts fix(native): preserve universal Mach-O container identity 2026-10-12 09:29:07 +08:00
officialArguments.test.ts feat(native): search analyzed memory for masked byte patterns (#2341) 2026-10-13 23:41:45 +08:00
officialTools.test.ts feat(native): search analyzed memory for masked byte patterns (#2341) 2026-10-13 23:41:45 +08:00
openBinaryFifo.test.ts test(filesystem): bound FIFO regressions at consumers 2026-10-10 04:23:03 +08:00
optionalProviderIsolation.test.ts perf(mcp)!: compact repeated session discovery facts (#1988) 2026-10-12 07:40:19 +08:00
outputSchemaProfile.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
outputSchemaSemanticConstraints.test.ts refactor: remove forwarding exports and redundant aliases 2026-10-09 22:46:09 +08:00
outputValidatorReuse.test.ts perf(mcp): reuse output validators across catalog refreshes (#1433) 2026-10-10 12:49:09 +08:00
oversizedErrorDeliveryMcp.test.ts fix(mcp): count the error flag in error result budgets (#2848) 2026-10-13 23:06:55 +08:00
packetCaptureMcp.test.ts feat(captures): discover installed protocol and field definitions (#2496) 2026-10-13 15:55:25 +09:00
pcapMcp.test.ts feat(pcap): add bounded capture summaries through CLI and MCP 2026-10-13 04:53:03 +00:00
processComparisonDiagnosticsMcp.test.ts fix(process): reject deep trace cycles without recursive expansion 2026-10-13 13:00:39 +08:00
processEvidenceIdentityMcp.test.ts perf(evidence): reuse authenticated comparisons through aggregation 2026-10-13 14:39:49 +08:00
processTraceAdaptersParity.test.ts fix(ci): align FAT fixtures and consolidate duplicated workflow helpers 2026-10-13 16:16:31 +08:00
progressMcp.test.ts fix(ghidra): report progress while startup is pending (#1877) 2026-10-11 23:55:39 +08:00
promptCompletion.test.ts test(mcp): align completion checks with provider readiness 2026-10-12 18:44:02 +08:00
promptMcp.test.ts fix(mcp): keep prompt completion within ready provider sessions 2026-10-12 16:27:51 +08:00
providerSelectionMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
rawBinaryMcp.test.ts feat(ghidra): support raw NMOS 6502 analysis (#2079) 2026-10-13 21:13:01 +08:00
reconstructionCoverageMcp.test.ts fix(reconstruction): resolve latest verifier observations without input-order bias 2026-10-13 13:23:38 +08:00
reconstructionObligationLedgerMcp.test.ts refactor: prune obsolete provider and verification code 2026-10-12 08:59:14 +08:00
recordedCrashMcp.test.ts fix(native): retain failed pwntools process and runtime cleanup (#1708) 2026-10-13 01:37:47 +08:00
retainedApplicationEvidenceMcp.test.ts fix(mcp): advertise primitive semantic literal seeds 2026-10-10 03:52:35 +08:00
reverseEngineeringEnvironmentMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
reverseEngineeringPartialMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
reverseEngineeringProviderEnvironmentMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
rizinDebuggerCancellationMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
rustBinaryMcp.test.ts feat(native): read embedded cargo-auditable Rust dependency lists (#2456) 2026-10-14 02:50:30 +08:00
serverIdentity.test.ts fix(mcp): align advertised contracts and retain workflow evidence 2026-10-14 08:32:00 +08:00
serverLifecycleMcp.test.ts fix(artifacts): retain read cleanup ownership through CLI and MCP shutdown 2026-10-13 16:08:41 +08:00
serverUnknownsMcp.test.ts perf(evidence): reuse authenticated unknown mutation snapshots 2026-10-13 12:46:06 +08:00
serverWorkflowMcp.test.ts test(mcp): reuse advertised schema in inventory check (#2469) 2026-10-13 12:00:04 +08:00
sessionEvidenceRecovery.test.ts fix(session): preserve investigation records after failed target opens (#2754) 2026-10-13 23:46:23 +08:00
sessionMcp.test.ts feat(analysis): add opt-in retained inventory and WASM views (#2122) 2026-10-12 21:17:52 +08:00
sessionMcpHarness.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
shutdown.test.ts fix(mcp): retry failed shutdown resources and retain failure reasons 2026-10-10 00:35:17 +08:00
signalRecordingMcp.test.ts feat(signals): discover installed decoders and option help (#2487) 2026-10-13 15:58:19 +09:00
targetContentFramingMcp.test.ts fix(native): honor Mach-O chained pointer locations and library ordinals (#1709) 2026-10-13 07:11:26 +09:00
toolErrorSchemaDelivery.test.ts test(mcp): fix three MCP boundary suites on native Windows (#2312) 2026-10-13 03:13:35 +08:00
toolResult.test.ts feat(server): frame analysis-target content as untrusted data (#1908) 2026-10-13 06:06:02 +09:00
toolSchemaValidity.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00
wasmArtifactMcp.test.ts fix(wasm): attribute invalid paths to their selected fields (#2796) 2026-10-14 02:39:03 +08:00
webModuleTraceMcp.test.ts fix(browser): retain module resolver cleanup ownership 2026-10-12 04:44:25 +08:00
webNetworkCaptureMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
webRuntimeMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
webScriptSelectionMcp.test.ts fix(publication)!: retain cleanup owners across export workflows 2026-10-11 05:17:10 +08:00
webSourceLocationMcp.test.ts fix(mcp): admit composed analysis through result bookkeeping 2026-10-10 00:35:17 +08:00
workflowSnapshotReplayMcp.test.ts fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799) 2026-10-14 04:47:34 +08:00