Commit Graph

476 Commits

Author SHA1 Message Date
morluto 1140d5637b
Merge branch 'main' into codex/rea-2-mcp-contract-hardening 2026-07-16 20:44:22 +08:00
N0zoM1z0 793a948c1b test(dotnet): verify managed app manifests 2026-07-16 21:44:09 +09:00
morluto 0aef572a26 chore: merge main and resolve MCP contract conflicts 2026-07-16 20:42:14 +08:00
morluto f728295bd0 fix(mcp): remove schema byte compaction 2026-07-16 20:30:33 +08:00
N0zoM1z0 849c05290a docs: refresh managed native verification api
Regenerate the managed-native verification TypeDoc pages with Node 24.18.0 so CI docs:check matches the committed output.

Verification: source ~/.nvm/nvm.sh; nvm use 24.18.0; npm run docs:generate; npm run docs:check.
2026-07-16 21:26:38 +09:00
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
morluto 0f2d01300a fix(package): accept expected doctor diagnostics 2026-07-16 20:26:25 +08:00
morluto 2b064335ea docs(api): refresh managed reconstruction contracts 2026-07-16 20:15:48 +08:00
morluto a807471e4e fix(mcp): normalize inferred field descriptions 2026-07-16 20:15:33 +08:00
morluto d36af5d0f7 feat(mcp)!: require Evidence for managed reconstruction 2026-07-16 20:15:24 +08:00
morluto fd08025dcd fix(mcp): remove arbitrary schema byte gate 2026-07-16 20:09:14 +08:00
morluto f7aa19154d refactor(mcp): remove obsolete managed evidence parser 2026-07-16 19:53:08 +08:00
morluto cab7c4a521 test(mcp): derive sessionless managed inventory 2026-07-16 19:53:08 +08:00
morluto 412bbaf05e fix(mcp): hide managed workflows without a session 2026-07-16 19:53:03 +08:00
morluto 9c4a93d9b1 fix(mcp): integrate managed contracts after rebase 2026-07-16 19:52:35 +08:00
morluto 6e6827cd76 test(hopper): avoid scheduler-sensitive exit timing 2026-07-16 19:51:25 +08:00
morluto 37c0f39954 fix(mcp): parse adapter inputs exactly once 2026-07-16 19:51:25 +08:00
morluto d1e72207f4 fix(mcp): align runtime unknown argument validation 2026-07-16 19:51:25 +08:00
morluto 8a1c128b67 fix(deps): run freshness check from escaped paths 2026-07-16 19:51:25 +08:00
morluto f23f52903c fix(test): make host fixtures portable 2026-07-16 19:51:25 +08:00
morluto b2d1f2affd feat(setup): verify installed skill catalog identity 2026-07-16 19:51:25 +08:00
morluto 8de25d0230 test(mcp): cover strict compact wire contracts 2026-07-16 19:50:16 +08:00
morluto ee1cd40405 feat(mcp)!: harden contracts and evidence references
BREAKING CHANGE: comparison tools now require session-owned Evidence IDs or approved bundle paths, and structured Evidence results use compact references.
2026-07-16 19:49:58 +08:00
morluto ad398a17f5 chore(deps): detect stale direct dependency installs 2026-07-16 19:49:57 +08:00
N0zoM1z0 cc1e47c615 docs(dotnet): refresh managed reconstruction api 2026-07-16 20:37:42 +09:00
N0zoM1z0 c506664744 feat(dotnet): import managed reconstructions 2026-07-16 20:37:42 +09:00
N0zoM1z0 798631ade6 docs: refresh managed runtime api docs 2026-07-16 20:10:36 +09:00
N0zoM1z0 5f66cfd57a feat(dotnet): add managed runtime correlation planning 2026-07-16 20:10:36 +09:00
N0zoM1z0 2b75fcfaac test(dotnet): add managed conformance verifier 2026-07-16 19:25:13 +09:00
N0zoM1z0 466b1bbebe feat(dotnet): add managed native boundary inspection 2026-07-16 18:57:56 +09:00
N0zoM1z0 55794d6083 feat(dotnet): add managed member comparison 2026-07-16 18:27:08 +09:00
N0zoM1z0 98cad3788d feat(dotnet): add managed member inspection 2026-07-16 17:44:36 +09:00
N0zoM1z0 c251c38aa2 feat(dotnet): add managed artifact triage 2026-07-16 17:05:03 +09:00
N0zoM1z0 80faff3e5b docs(analysis): define managed-code evidence boundary 2026-07-16 16:09:17 +09:00
N0zoM1z0 3183f47c0f test(replay): use portable seam executables 2026-07-16 15:45:55 +09:00
N0zoM1z0 a8c1057279 docs: stabilize replay API source links
Regenerate the new TypeDoc pages after their source files are tracked so CI and local generation both include the canonical main-branch source links.
2026-07-16 15:45:55 +09:00
N0zoM1z0 d86231ad33 feat(application): add isolated JavaScript replay
Expose one plan/execute replay contract through both CLI and MCP with exact source, input, runtime, sandbox, limit, and export commitments.

Run selected ESM and extracted CommonJS/Rspack factories in a disposable Linux x64 Bubblewrap namespace with a content-addressed Node ELF closure, architecture-checked seccomp, delegated systemd cgroup limits, bounded protocol capture, cancellation, and observable cleanup.

Preserve left and right observations as Evidence, derive differential comparisons without erasing unknowns, add optional separately authorized reproducers, and fail closed on stale plans or unavailable host boundaries.

Add source-owned parser, sanitizer, clipboard, denial, timeout, OOM, protocol-forgery, and cancellation coverage; a real Linux verifier and workflow; regenerated catalogs and TypeDoc; and updated the packaged REA analysis skill for the 83-tool inventory.
2026-07-16 15:45:55 +09:00
N0zoM1z0 461990da3f docs(security): define controlled replay authority 2026-07-16 11:54:05 +09:00
N0zoM1z0 4a30820a93 docs: refresh application workflow API links 2026-07-16 11:29:54 +09:00
N0zoM1z0 778b995bbf feat(application): add cross-layer graph workflows 2026-07-16 11:29:54 +09:00
N0zoM1z0 87b23482e2 docs: refresh runtime reconciliation API 2026-07-16 09:55:21 +09:00
N0zoM1z0 8c67dbd49e feat(electron): reconcile static artifacts with passive runtime 2026-07-16 09:55:21 +09:00
N0zoM1z0 3fa2304bc7 feat(electron): map static process and IPC boundaries 2026-07-16 07:56:13 +09:00
morluto 3988a866f1
Merge pull request #251 from morluto/pr236-docs-fix
docs: refresh generated artifacts for 1.7.0
2026-07-16 06:05:21 +08:00
morluto 13c79b670a docs: refresh generated artifacts for 1.7.0 2026-07-15 22:00:32 +00:00
morluto 0f97e21bf7
Merge pull request #250 from morluto/fix/pr236-rebased
docs: refresh product catalog for 1.7.0 release
2026-07-16 05:51:26 +08:00
morluto 4647b324b8 docs: refresh generated artifacts for 1.7.0 2026-07-15 21:49:10 +00:00
github-actions[bot] 3cc127f2af
chore(main): release rea-agents 1.7.0 2026-07-15 21:43:57 +00:00
N0zoM1z0 aa46abfe1b feat(artifact): reconstruct JavaScript application structure 2026-07-16 06:43:30 +09:00
N0zoM1z0 da4817abd1 docs: regenerate JavaScript graph API with Node 24 2026-07-16 05:08:52 +09:00