Kaoru0822 b3b5c8b133 fix(kuna): report output beyond REA's buffer as deterministic and final (#4098) ...

Kuna output that overflowed REA's fixed buffer was a `capacity` constraint,
which projects as `retryable: true` with "wait for an active analysis to
complete, then retry". The same target and executable overflow the same
buffer every time; on a 169 MB Mach-O, each retry of a call query repeated a
113 s whole-program graph walk and failed again. The overflow is now a
`memory` constraint whose remediation says repeating fails the same way, a
session answers later call queries from a graph overflow it already saw, and
the cut-off document's stdout tail is no longer returned.

Refs #1957

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-15 05:23:43 -07:00

..

.vitepress

feat(kuna): serve procedures, pseudocode and assembly from Kuna exports (#3854)

2026-10-15 00:53:26 -07:00

assets

docs: keep license sections text-only

2026-10-10 00:09:46 +08:00

readme

feat(kuna): serve procedures, pseudocode and assembly from Kuna exports (#3854)

2026-10-15 00:53:26 -07:00

releases

chore(main): release rea-agents 6.5.0 (#1693)

2026-10-14 20:31:45 +08:00

specs

feat(wasm): compare retained core-module interfaces (#2464)

2026-10-13 23:49:04 +08:00

adb-device-analysis.md

fix(adb)!: distinguish reinstall intent from observed replacement

2026-10-14 17:09:17 +08:00

android-analysis.md

docs(installation): document Linux procps prerequisite

2026-10-14 09:21:11 +08:00

apktool-resource-analysis.md

fix(android): report validated ADB and Apktool host availability

2026-10-14 16:54:08 +08:00

apple-application-analysis.md

fix(apple): limit already-loaded reuse to rpath dependencies (#2292)

2026-10-13 14:40:43 +08:00

architecture.mermaid

fix(reverse): reconcile cleanup ownership and mutation diagnostics (#2799)

2026-10-14 04:47:34 +08:00

binary-diagnostics.md

fix(pwntools): let callers widen the artifact input bound (#2486)

2026-10-13 21:18:12 +08:00

browser-observation.md

fix(browser): bound CDP handshakes and command responses (#3555)

2026-10-15 15:55:29 +09:00

browser-scenario-contract.md

fix(browser): report attached locale coverage limits

2026-10-15 19:37:19 +08:00

cli.md

feat(kuna): serve procedures, pseudocode and assembly from Kuna exports (#3854)

2026-10-15 00:53:26 -07:00

client-configuration.md

fix(setup): include registered IDA budgets in client deadlines

2026-10-15 07:36:34 +08:00

client-verification.md

fix(contracts): preserve array guidance across MCP schema profiles

2026-10-15 01:41:31 +08:00

electron-fuses.md

fix(electron): preserve selected fuse inspection paths (#3104)

2026-10-14 12:49:17 +08:00

electron-observation.md

fix(electron): reject active scenario capture when inspect fuse is disabled (#3453) (#3605)

2026-10-15 15:57:42 +09:00

error-contract.schema.json

feat(evm): inspect offline bytecode interfaces through EVMole (#1051)

2026-10-08 15:32:05 +08:00

evm-bytecode.md

feat(evm): inspect lossless Solidity terminal CBOR metadata (#2790)

2026-10-13 21:55:30 +08:00

firmware-analysis.md

docs(installation): document Linux procps prerequisite

2026-10-14 09:21:11 +08:00

flutter-analysis.md

fix(flutter): reject ambiguous ELF mappings and bound note reads (#2334)

2026-10-13 22:13:22 +08:00

frida-instrumentation.md

fix(frida): drain admitted operations and honor queued cancellation (#2305)

2026-10-14 02:56:00 +08:00

ghidra-dos.md

docs: correct drift and reorganize English guides (#2207)

2026-10-12 22:14:25 +08:00

ghidra-mips.md

fix(ghidra): reconcile GNU MIPS ABI declarations

2026-10-14 14:47:26 +08:00

ghidra-nativeaot.md

docs(nativeaot): document the verified Windows-host parser route (#2497)

2026-10-13 23:48:41 +08:00

ghidra-ppc.md

feat(ghidra): admit 32-bit big-endian PowerPC ELF (#1747)

2026-10-14 06:35:55 +08:00

ghidra-provider.md

feat(ghidra): admit ARM PE targets on Windows (#3965)

2026-10-15 20:11:26 +08:00

ghidra-psp.md

feat(ghidra): admit bounded PSP ELF through installed Allegrex (#1599)

2026-10-11 19:47:33 +08:00

ghidra-riscv.md

feat(ghidra): support raw NMOS 6502 analysis (#2079)

2026-10-13 21:13:01 +08:00

go-binaries.md

fix(providers)!: preserve readiness, coverage, and diagnostic ownership

2026-10-14 08:28:14 +08:00

harmony-analysis.md

feat(harmony): project HarmonyOS package inventory evidence (#1447)

2026-10-11 20:09:21 +08:00

http3-capture-lab.md

test(http3): add real MITM capture verification lab (#1997)

2026-10-14 01:09:19 +08:00

ida-provider.md

fix(setup): include registered IDA budgets in client deadlines

2026-10-15 07:36:34 +08:00

index.md

feat(kuna): serve procedures, pseudocode and assembly from Kuna exports (#3854)

2026-10-15 00:53:26 -07:00

installation.md

feat(ghidra): admit ARM PE targets on Windows (#3965)

2026-10-15 20:11:26 +08:00

javascript-application-graph.md

fix(javascript): retain compiler-dependent module resolution facts

2026-10-13 15:58:25 +08:00

javascript-application-workflows.md

docs: align workflow recovery and current Evidence contracts

2026-10-15 03:43:29 +08:00

javascript-artifact-reconstruction.md

fix(javascript): retain standalone GraphQL source operations

2026-10-15 15:59:42 +08:00

javascript-recovery.md

feat(javascript): recover code-split bundles from multiple inputs (#1686)

2026-10-11 18:39:49 +08:00

javascript-runtime-observation.md

fix(browser): bound CDP handshakes and command responses (#3555)

2026-10-15 15:55:29 +09:00

javascript-runtime-reconciliation.md

fix(javascript): preserve mapped runtime digest disagreements

2026-10-15 17:04:49 +08:00

jeb-analysis.md

fix(jeb): make upstream request deadlines configurable and preserve cancellation

2026-10-15 05:05:18 +08:00

kuna-provider.md

fix(kuna): report output beyond REA's buffer as deterministic and final (#4098)

2026-10-15 05:23:43 -07:00

managed-code-analysis.md

feat(ghidra): admit ARM PE targets on Windows (#3965)

2026-10-15 20:11:26 +08:00

mcp-contracts.md

fix(setup): propagate selected provider deadlines through CLI registrations

2026-10-15 05:16:08 +08:00

mcp-prompts.md

docs(mcp): describe the 100-value completion reply limit (#4086)

2026-10-15 05:20:50 -07:00

migration-6.2.md

docs: correct MCP error and capture import guidance

2026-10-10 05:41:52 +08:00

native-investigation.md

feat(ghidra): admit ARM PE targets on Windows (#3965)

2026-10-15 20:11:26 +08:00

packet-captures.md

test(perf): evaluate larger and non-HTTP packet workflows (#3232)

2026-10-14 16:18:22 +08:00

pcap-analysis.md

feat(pcap): add bounded capture summaries through CLI and MCP

2026-10-13 04:53:03 +00:00

process-capture.md

fix(process): bound normalized terminal retention before allocation

2026-10-14 16:54:08 +08:00

raw-binary.md

feat(ghidra): support raw NMOS 6502 analysis (#2079)

2026-10-13 21:13:01 +08:00

reconstruction-coverage.md

fix(reconstruction): require comparable cited Evidence for coverage

2026-10-15 18:39:57 +08:00

reconstruction-obligation-ledgers.md

fix(reconstruction): require comparable cited Evidence for coverage

2026-10-15 18:39:57 +08:00

reconstruction-readiness.md

docs(readiness): align required stage identifier and checks with evaluator (#2200)

2026-10-13 00:15:54 +08:00

recorded-crashes.md

feat(recorded-crash): decode AArch64 core register notes (#2505)

2026-10-13 23:48:24 +08:00

releasing.md

fix(release): rehearse qualified packages before publication

2026-10-14 21:51:19 +08:00

reverse-engineering-tools.md

docs(objdump): show debug-link flag forms that keep their meaning (#4068)

2026-10-15 18:07:09 +08:00

roadmap.md

docs: remove retired architecture and migration artifacts

2026-10-10 05:41:45 +08:00

rust-binaries.md

fix(rust): retain compatible cargo-auditable revisions

2026-10-14 14:47:26 +08:00

signal-recordings.md

feat(signals): discover installed decoders and option help (#2487)

2026-10-13 15:58:19 +09:00

sqlite-databases.md

feat(sqlite): inspect offline snapshots with selective evidence (#2271)

2026-10-12 18:33:23 +00:00

testing.md

feat(kuna): add bounded call relationships and exact xrefs

2026-10-15 11:12:47 +00:00

tool-design.md

fix(mcp): preserve tuple constraints in advertised schemas

2026-10-15 01:12:46 +08:00

user-visible-errors.csv

feat(native): search analyzed memory for masked byte patterns (#2341)

2026-10-13 23:41:45 +08:00

wasm-artifacts.md

fix(wasm): report WABT output past its budget as a resource constraint (#2117)

2026-10-14 02:58:41 +08:00

web-network-captures.md

fix(browser): preserve passive network inventory uncertainty

2026-10-15 02:28:46 +08:00

web-runtime.md

fix(browser): treat module-import initiator positions as script positions

2026-10-08 16:44:25 +00:00

web-source-location.md

fix(bun): report the real runtime and enforce worker memory budgets on Windows (#1730)

2026-10-11 19:20:00 +08:00

website-module-trace.md

feat(browser): trace captured website module imports (#879)

2026-10-07 14:59:52 +08:00

website-script-export.md

fix(browser): preserve body API provenance through script export

2026-10-12 14:12:19 +08:00

windows-ghidra-p0.md

feat(ghidra): admit ARM PE targets on Windows (#3965)

2026-10-15 20:11:26 +08:00