N0zoM1z0 8cbc125b93 feat(dotnet): verify managed native boundaries ...

Add the verify_managed_native_boundaries workflow for comparing authenticated inspect_managed_native_boundaries Evidence with supplied native export or function Evidence. The workflow verifies only P/Invoke declaration names against observed native symbols, keeps verified, inferred, contradicted, unresolved, and unsupported-native states explicit, and does not translate managed metadata tokens or RVAs into native addresses.

Expose schema-identical MCP and CLI surfaces, update managed workflow contracts, product catalog facts, TypeDoc output, README/localized docs, ADR status, package verification, and the REA analysis skill metadata for the 90-tool/50-command inventory.

Verification: npx vitest run tests/managedNativeVerification.test.ts --coverage=false; npm run typecheck; npm run docs:generate; npm run check (first run hit a load-sensitive sessionMcp timeout, isolated rerun passed); npx vitest run tests/sessionMcp.test.ts --coverage=false; npm run check; npm run knip; npm run jscpd; npm run scan:todos; npm run verify:managed; CXX=/usr/bin/g++-13 CC=/usr/bin/gcc-13 npm run verify:package.

2026-07-16 21:26:38 +09:00

..

conformance

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

fixtures

feat(dotnet): add managed native boundary inspection

2026-07-16 18:57:56 +09:00

integration

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

analysisProfile.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

analysisProviderRegistry.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

analysisSnapshot.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

applicationWorkflowCli.test.ts

feat(application): add cross-layer graph workflows

2026-07-16 11:29:54 +09:00

applicationWorkflowMcp.test.ts

test(replay): use portable seam executables

2026-07-16 15:45:55 +09:00

applicationWorkflowVerifier.test.ts

feat(application): add cross-layer graph workflows

2026-07-16 11:29:54 +09:00

artifactComparison.test.ts

test: stabilize artifact pagination coverage

2026-07-12 22:32:14 +00:00

artifactInventorySnapshot.test.ts

Simplify and harden investigation workflows

2026-07-12 21:45:26 +00:00

artifactMcp.test.ts

feat(mcp): expose progress resources and availability

2026-07-14 02:11:56 +00:00

artifactProvider.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

authorizedArtifactInventory.test.ts

fix: harden PTY events and configured roots

2026-07-14 15:21:39 +08:00

binarySession.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

binaryTarget.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

bridgeLauncher.test.ts

fix(hopper): select verified Linux demo mode explicitly

2026-07-14 20:24:33 +00:00

bridgeRegex.test.ts

test: reduce test suite runtime

2026-07-14 21:08:27 +00:00

bridgeTruthfulness.test.ts

fix(hopper): complete owned Linux shutdown (#116)

2026-07-14 06:05:25 +08:00

browserCli.test.ts

test: serialize subprocess-heavy integrations

2026-07-14 21:33:25 +00:00

browserMcp.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

browserObservation.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

bundleComparison.test.ts

Add evidence-backed investigation workflows

2026-07-12 21:12:18 +00:00

bundleComparisonMcp.test.ts

Simplify and harden investigation workflows

2026-07-12 21:45:26 +00:00

callPath.test.ts

Add evidence-backed investigation workflows

2026-07-12 21:12:18 +00:00

cdpBrowserProvider.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

cdpCaptureCompleteness.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

cdpCaptureDocuments.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

cdpConnection.test.ts

fix(browser): preserve operation-aware cancellation errors

2026-07-14 20:48:01 +00:00

cdpElectronProvider.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

cdpSafeMetadata.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

changedBehavior.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

clientRegistrationStatus.test.ts

feat(identity): derive MCP surface metadata

2026-07-14 09:51:42 +08:00

cliLogging.test.ts

fix(cli): return nonzero status for operation failures (#121)

2026-07-14 06:33:34 +08:00

cliOutput.test.ts

test: serialize subprocess-heavy integrations

2026-07-14 21:33:25 +00:00

cliPolicyCommands.test.ts

test(cli): verify packaged policy revocation

2026-07-14 21:32:23 +00:00

compositeProvider.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

config.test.ts

feat(dotnet): add managed runtime correlation planning

2026-07-16 20:10:36 +09:00

conformanceFixtures.test.ts

test: add source-built Hopper conformance fixtures

2026-07-12 19:32:29 +08:00

contractSnapshot.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

createServer.test.ts

Add evidence-backed investigation workflows

2026-07-12 21:12:18 +00:00

crossVersionInventory.test.ts

perf(application): scan version artifacts in parallel

2026-07-14 19:33:40 +08:00

derivedOperation.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

directAnalysisPermissions.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

dispatcher.test.ts

fix(cli): make clean source checkouts start reliably

2026-07-15 14:44:04 +00:00

doctor.test.ts

fix(doctor): honor explicit Hopper launcher

2026-07-14 20:34:57 +00:00

electronApplicationAnalysis.test.ts

feat(electron): map static process and IPC boundaries

2026-07-16 07:56:13 +09:00

electronCli.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

electronFileScope.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

electronMcp.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

enhancedTools.test.ts

test: reduce test suite runtime

2026-07-14 21:08:27 +00:00

errors.test.ts

feat(application): add isolated JavaScript replay

2026-07-16 15:45:55 +09:00

evidence.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

evidenceBundleFiles.test.ts

fix: harden PTY events and configured roots

2026-07-14 15:21:39 +08:00

evidenceResources.test.ts

feat(mcp): expose progress resources and availability

2026-07-14 02:11:56 +00:00

functionComparison.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

functionComparisonMcp.test.ts

fix(errors): improve recovery guidance

2026-07-13 19:09:27 +00:00

ghidraBridgeTruthfulness.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

ghidraClient.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

ghidraDoctor.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

ghidraFunctionValues.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

ghidraInstallation.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

ghidraInventoryValues.test.ts

feat(ghidra): implement read-only inventory operations

2026-07-16 02:59:37 +09:00

ghidraLauncher.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

ghidraMcp.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

ghidraProvider.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

hopperAnalysisProfile.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

hopperClient.test.ts

refactor(process): extract reusable provider lifecycle primitives

2026-07-15 23:20:48 +09:00

hopperProviderSelection.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

hopperValues.test.ts

fix(bridge): harden bounded Hopper boundaries

2026-07-13 03:14:15 +00:00

identity.test.ts

fix(cli): make clean source checkouts start reliably

2026-07-15 14:44:04 +00:00

installScript.test.ts

fix(errors): improve recovery guidance

2026-07-13 19:09:27 +00:00

investigationMcp.test.ts

fix(application): add explicit investigation replay

2026-07-14 21:03:23 +00:00

investigationWorkspace.test.ts

fix(application): add explicit investigation replay

2026-07-14 21:03:23 +00:00

javascriptApplicationGraph.test.ts

feat(domain): add versioned JavaScript Application Graph

2026-07-16 05:08:52 +09:00

javascriptApplicationWorkflows.test.ts

feat(application): add cross-layer graph workflows

2026-07-16 11:29:54 +09:00

javascriptArtifactReconstruction.test.ts

feat(artifact): reconstruct JavaScript application structure

2026-07-16 06:43:30 +09:00

javascriptReplay.test.ts

test(replay): use portable seam executables

2026-07-16 15:45:55 +09:00

javascriptReplayWorker.test.ts

feat(application): add isolated JavaScript replay

2026-07-16 15:45:55 +09:00

javascriptRuntimeReconciliation.test.ts

feat(electron): reconcile static artifacts with passive runtime

2026-07-16 09:55:21 +09:00

jsonLimits.test.ts

fix: resolve validation and artifact edge cases

2026-07-14 16:15:24 +08:00

jsonShape.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

linuxHopper.test.ts

test(linux): verify setup through CLI and MCP

2026-07-13 21:20:51 +00:00

macHopper.test.ts

fix(setup): replace managed Hopper on reinstall

2026-07-15 06:52:52 +00:00

mainErrors.test.ts

test(runtime): cover idempotent handler cleanup

2026-07-14 21:20:24 +00:00

mainReload.test.ts

fix(test): adapt mainReload shutdown seam to registerShutdown signature

2026-07-14 22:29:25 +00:00

managedArtifactProvider.test.ts

feat(dotnet): add managed native boundary inspection

2026-07-16 18:57:56 +09:00

managedMcp.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

managedMemberComparison.test.ts

feat(dotnet): add managed member comparison

2026-07-16 18:27:08 +09:00

managedNativeVerification.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

managedReconstruction.test.ts

feat(dotnet): import managed reconstructions

2026-07-16 20:37:42 +09:00

managedRuntimeCorrelation.test.ts

feat(dotnet): add managed runtime correlation planning

2026-07-16 20:10:36 +09:00

nativeDmgArtifactReader.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

nativeProvider.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

officialTools.test.ts

fix(mcp): preserve migrated revisions and valid links

2026-07-14 02:11:56 +00:00

permissionAuthority.test.ts

fix(runtime): apply permission reloads atomically

2026-07-15 06:16:46 +08:00

permissionMcp.test.ts

feat(mcp): expose progress resources and availability

2026-07-14 02:11:56 +00:00

permissionPolicy.test.ts

fix: resolve validation and artifact edge cases

2026-07-14 16:15:24 +08:00

pngVisualDiff.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

processCapture.test.ts

fix: address setup, upgrade, and process test regressions

2026-07-15 06:34:25 +00:00

processCli.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

processOwnership.test.ts

refactor(process): extract reusable provider lifecycle primitives

2026-07-15 23:20:48 +09:00

productCatalog.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

progressMcp.test.ts

feat(mcp): expose progress resources and availability

2026-07-14 02:11:56 +00:00

progressReporter.test.ts

feat(core): add typed policy and integrity contracts

2026-07-14 02:11:56 +00:00

projectPermissionStore.test.ts

fix: harden PTY events and configured roots

2026-07-14 15:21:39 +08:00

promptCompletion.test.ts

test: strengthen MCP prompt acceptance coverage

2026-07-13 21:21:32 +08:00

promptContracts.test.ts

feat: add guided MCP workflow prompts

2026-07-13 21:04:28 +08:00

promptMcp.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

providerArchitecture.test.ts

feat(ghidra): add function analysis and conformance

2026-07-16 04:17:08 +09:00

providerBinding.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

providerProcess.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

providerSelectionMcp.test.ts

feat(session): add explicit provider registry and target binding

2026-07-15 22:13:48 +09:00

readmeConsistency.test.ts

feat(dotnet): add managed member comparison

2026-07-16 18:27:08 +09:00

realHopperAssertions.test.ts

test(verification): strengthen conformance and real-Hopper checks

2026-07-13 03:15:46 +00:00

reconstructionVerification.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

referenceSourceGraph.test.ts

fix(reference): preserve distinct parse failures

2026-07-14 20:31:04 +00:00

referenceSourceImport.test.ts

test(reference): cover failure normalization

2026-07-14 21:32:23 +00:00

referenceSourceReader.test.ts

Add evidence-backed investigation workflows

2026-07-12 21:12:18 +00:00

replayWorkerProtocol.test.ts

feat(application): add isolated JavaScript replay

2026-07-16 15:45:55 +09:00

residualUnknown.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

runtime.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

safeOutputTree.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

sensitiveTextCapture.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

serverIdentity.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

sessionMcp.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

setup.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

setupConfig.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

setupInstallFailure.test.ts

fix: preserve setup diagnostics and clean Knip config

2026-07-14 19:27:31 +08:00

setupLifecycle.test.ts

feat(ghidra): add private headless provider session

2026-07-16 01:27:54 +09:00

setupSkill.test.ts

feat(dotnet): add managed native boundary inspection

2026-07-16 18:57:56 +09:00

staticRuntimeCorrelation.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

symbolAnalysis.test.ts

fix: resolve triaged correctness issues

2026-07-14 14:39:02 +08:00

toolContracts.test.ts

feat(dotnet): verify managed native boundaries

2026-07-16 21:26:38 +09:00

toolResult.test.ts

refactor(domain): remove provider-specific target and snapshot state

2026-07-15 20:31:56 +09:00

upgrade.test.ts

fix(upgrade): prevent version downgrades

2026-07-14 20:45:30 +00:00

webBundleAnalyzer.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

webCaptureDiff.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

webInventory.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00

webSourceMapFetcher.test.ts

feat: add web and Electron reverse-engineering workflows

2026-07-14 20:24:12 +09:00