3 people 98f22358e6 fix(sqlite): preserve snapshot admission failure semantics ...

Refuse oversized database and WAL inputs before acquisition with exact observed bytes and export guidance. Keep initial path failures separate from file-set changes and retain cleanup and partial observations on late growth.

Refs #4208, #4188, #4141, #4127

Co-authored-by: hima <1ep23ic023@eastpoint.ac.in>
Co-authored-by: Royce <roycelam@umich.edu>

2026-10-16 03:37:54 +08:00

..

.vitepress

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

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

assets

…

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

…

verification

fix(javascript): bind native handoffs to canonical byte identity

2026-10-15 17:08:49 +00: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

…

architecture.mermaid

…

binary-diagnostics.md

…

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

…

evm-bytecode.md

…

firmware-analysis.md

docs(installation): document Linux procps prerequisite

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

flutter-analysis.md

…

frida-instrumentation.md

…

ghidra-dos.md

…

ghidra-mips.md

fix(ghidra): reconcile GNU MIPS ABI declarations

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

ghidra-nativeaot.md

fix(ghidra): use resolved type addresses for NativeAOT metadata

2026-10-15 21:05:33 +08:00

ghidra-ppc.md

…

ghidra-provider.md

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

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

ghidra-psp.md

…

ghidra-riscv.md

…

go-binaries.md

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

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

harmony-analysis.md

…

http3-capture-lab.md

…

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

…

javascript-application-workflows.md

fix(javascript): bind native handoffs to canonical byte identity

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

javascript-artifact-reconstruction.md

fix(javascript): enforce semantic byte bounds for literals

2026-10-15 23:43:05 +08:00

javascript-recovery.md

…

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): answer a repeated single-function request without re-running Kuna (#4169)

2026-10-15 09:36:05 -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(mcp): relax Boolean literals without narrowing valid inputs

2026-10-16 03:13:14 +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

…

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

…

process-capture.md

fix(process): preserve unrelated trace comparison uncertainty (#4178)

2026-10-16 00:56:55 +08:00

raw-binary.md

…

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

…

recorded-crashes.md

…

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

…

rust-binaries.md

fix(rust): retain compatible cargo-auditable revisions

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

signal-recordings.md

…

sqlite-databases.md

fix(sqlite): preserve snapshot admission failure semantics

2026-10-16 03:37:54 +08:00

testing.md

ci(ghidra): compile the packaged bridge source cohort (#3142)

2026-10-15 18:11:19 +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

…

wasm-artifacts.md

…

web-network-captures.md

fix(browser): preserve passive network inventory uncertainty

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

web-runtime.md

…

web-source-location.md

…

website-module-trace.md

…

website-script-export.md

…

windows-ghidra-p0.md

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

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