b8a9da0c0f
refactor(mcp): make analysis states unrepresentable ( #468 )
...
* refactor(config): parse capability settings into exact states
* refactor(runtime): encode replay and process outcomes exactly
* refactor: make analysis states unrepresentable
* refactor(mcp): register canonical schemas with SDK
* fix: preserve capability and catalog invariants
* fix(build): remove stale compiled modules
* fix(replay): update real verifier policy dependency
* fix(package): verify the complete MCP catalog
* fix(test): supply complete replay reload policy
* refactor(contracts): centralize output schema lookup
* refactor(mcp): delegate protocol boundaries to SDK
* fix(browser): approve real source capture
* fix(mcp): preserve catalog guidance
2026-08-10 02:28:11 +08:00
8f229ede70
feat(electron): add autonomous Electron runtime analysis ( #464 )
...
* feat: add autonomous Electron runtime analysis
* feat(electron): add lifecycle and boundary telemetry
* feat(electron): capture runtime boundary evidence
* fix(electron): package boundary hook helper
* feat(electron): report active capture coverage
* fix(electron): account for bring-your-own runtime
* feat(electron): expand agent-owned runtime scenarios
* fix(ghidra): keep fixture credentials out of argv
* perf(test): serialize local test and docs workloads
* fix(electron): harden active runtime capture
* fix(inspector): require exact runtime target authorization
* fix(docs): make managed manifest host independent
* fix(ci): make generated catalog portable
* fix: unblock autonomous command and electron flows
* fix(electron): close popup and detached helper gaps
2026-08-05 19:07:46 +08:00
281e41f766
fix(verify): follow dynamic Hopper tool availability
2026-07-29 07:18:48 +00:00
c4cd0330e0
fix(catalog): digest provider projections
2026-07-26 16:07:12 +00:00
fecddc0549
perf(mcp): reduce cold-start work
2026-07-26 15:02:58 +00:00
4716fa2ece
test: add critical provider workflow coverage
2026-07-25 15:12:51 +00:00
1c9e50814e
fix(ci): repair cross-platform package verification
2026-07-24 15:22:24 +00:00
24b3dc41df
fix(browser): contain scenario pages and preserve inputs
2026-07-24 14:14:15 +00:00
035e1144b0
feat(server): advertise available tools dynamically
2026-07-24 13:18:58 +00:00
1ac3118aa2
feat(browser): capture controlled Playwright scenarios
2026-07-24 13:16:01 +00:00
e0bc7fd973
fix(hopper): add bounded analysis recovery
2026-07-24 00:33:29 +09:00
508a9ccde9
feat(javascript): expose bounded semantic tracing
2026-07-22 23:22:55 +00:00
e4ee4c9635
fix(process): protect unrelated Hopper during cleanup
2026-07-22 14:04:00 +00:00
513fa294a4
feat(process): record provider and verifier run lineage
2026-07-22 14:01:47 +00:00
f5b3e22e72
feat(evidence): generate verifier completion ledgers
2026-07-22 13:59:19 +00:00
d25e98c3f9
feat: complete REA remediation program
2026-07-22 22:09:12 +09:00
3e61a63a10
refactor: split oversized analysis workflows
2026-07-18 05:49:14 +00:00
1a99a60a29
refactor(adapters): split oversized provider workflows
2026-07-18 05:49:14 +00:00
da1da3bfb8
test(hopper): add semantic runtime conformance
2026-07-18 04:50:23 +00:00
c52a8223c6
fix(managed): emit valid x64 conformance PE
2026-07-17 20:06:07 +08:00
d4be3e7f9a
docs(cli): describe every command input
2026-07-17 02:50:31 +00:00
00a3078148
fix(build): preserve native generated-file line endings
...
Treat CRLF and LF as equivalent when checking committed text artifacts so Windows package lifecycles do not report false drift.
When real generated content changes, retain the existing artifact's line-ending convention and cover both check and update behavior with a focused regression test.
2026-07-17 03:05:19 +09:00
0aef572a26
chore: merge main and resolve MCP contract conflicts
2026-07-16 20:42:14 +08:00
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
fd08025dcd
fix(mcp): remove arbitrary schema byte gate
2026-07-16 20:09:14 +08:00
b2d1f2affd
feat(setup): verify installed skill catalog identity
2026-07-16 19:51:25 +08:00
2b75fcfaac
test(dotnet): add managed conformance verifier
2026-07-16 19:25:13 +09:00
466b1bbebe
feat(dotnet): add managed native boundary inspection
2026-07-16 18:57:56 +09:00
55794d6083
feat(dotnet): add managed member comparison
2026-07-16 18:27:08 +09:00
98cad3788d
feat(dotnet): add managed member inspection
2026-07-16 17:44:36 +09:00
c251c38aa2
feat(dotnet): add managed artifact triage
2026-07-16 17:05:03 +09:00
778b995bbf
feat(application): add cross-layer graph workflows
2026-07-16 11:29:54 +09:00
8c67dbd49e
feat(electron): reconcile static artifacts with passive runtime
2026-07-16 09:55:21 +09:00
3fa2304bc7
feat(electron): map static process and IPC boundaries
2026-07-16 07:56:13 +09:00
2ca56724e4
feat(domain): add versioned JavaScript Application Graph
2026-07-16 05:08:52 +09:00
f0e625d7ee
feat(ghidra): add private headless provider session
2026-07-16 01:27:54 +09:00
941d7101dd
feat(session): add explicit provider registry and target binding
...
Introduce deterministic deep-provider discovery and immutable per-target routing while retaining disjoint artifact and native capability families.
Expose provider selection consistently through MCP, CLI, environment configuration, session status, prompt completion, typed diagnostics, and generated documentation. Preserve exact provider/profile provenance without request racing or transparent fallback.
Cover overlapping providers, ambiguity, rejection details, cancellation, restoration, package installation, and real Hopper target switching.
2026-07-15 22:13:48 +09:00
beb9ece7d1
build: add canonical product catalog and docs drift checks
...
Derive package, tool-family, provider, setup-client, schema-version, and CLI facts from the runtime contract sources into a deterministic checked-in catalog.
Add non-mutating generated-file checks, exact TypeDoc regenerate-and-compare validation, caller-visible documentation fact checks, and CI enforcement through docs:check.
Cover command-router parity, source-derived catalog values, deliberate documentation drift, and stale generated artifacts while preserving runtime behavior.
2026-07-15 17:43:52 +08:00
d648bcd2e4
test: add source-built Hopper conformance fixtures
2026-07-12 19:32:29 +08:00
morluto