rea/docs at 403fef0d401c1014a41fddce375085eb6e4a3823 - rea

.vitepress

feat(elf): inspect Linux kernel module metadata (#7010 )

2026-10-24 22:35:20 +08:00

assets

docs(readme): show a dark showcase image on dark themes (#6915 )

2026-10-24 05:51:22 +08:00

design

docs(limits): describe how to design admission recovery (#6368 )

2026-10-23 05:10:36 +08:00

readme

docs(i18n): add complete Romanian README (#7026 )

2026-10-25 01:54:08 +08:00

releases

chore(release/6.7.0): release rea-agents 6.7.0 (#4983 )

2026-10-18 15:40:45 +08:00

specs

fix(environment): bound create learning and invalidate stale write proofs (#6929 )

2026-10-24 23:57:30 +08:00

verification

feat(pe): inspect TLS callbacks and load configuration (#7008 )

2026-10-24 22:06:41 +08:00

adb-device-analysis.md

fix(adb): own numeric declaration validation and diagnostics

2026-10-24 06:34:33 +08:00

agent-environments.md

fix(environment): bound create learning and invalidate stale write proofs (#6929 )

2026-10-24 23:57:30 +08:00

android-analysis.md

fix(android): preserve binary class selectors across metadata calls

2026-10-24 17:21:08 +08:00

apk-signature.md

fix(artifacts): retain completed acquisition facts through finalization

2026-10-24 23:51:20 +08:00

apktool-resource-analysis.md

fix(filesystem): distinguish admission and bound-target failures

2026-10-24 11:27:27 +08:00

apple-application-analysis.md

fix(apple): keep dyld candidates inside the analyzed root on Windows (#6955 )

2026-10-24 16:10:18 +08:00

apple-ips.md

feat(apple): inspect IPS crash reports (#6511 )

2026-10-24 16:02:59 +08:00

architecture.mermaid

refactor(evaluation): move agent grading into development ownership

2026-10-24 11:50:11 +08:00

binary-diagnostics.md

fix(analysis): preserve artifact and selection error ownership

2026-10-24 22:54:05 +08:00

browser-observation.md

fix(browser): include IndexedDB versions in storage fingerprints

2026-10-25 01:45:23 +08:00

browser-scenario-contract.md

feat(environment): time browser scenario records so scenario environments learn a write clock (#6967 )

2026-10-24 22:48:50 +08:00

ci-analysis.md

docs(ci): add a repeatable static analysis example (#6496 )

2026-10-23 23:42:58 +09:00

cli.md

feat(firmware): inspect flattened devicetree blobs (#7009 )

2026-10-24 22:45:22 +08:00

client-configuration.md

docs(setup): describe Codex registration preservation

2026-10-24 12:30:37 +08:00

client-verification.md

refactor(evaluation): move agent grading into development ownership

2026-10-24 11:50:11 +08:00

desktop-applications.md

docs(desktop): list all supported IL2CPP metadata versions

2026-10-24 00:11:41 +08:00

devicetree.md

fix(metadata): preserve declared phandles and relocation fields

2026-10-24 23:51:20 +08:00

electron-fuses.md

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

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

electron-observation.md

merge: consolidate upstream identity and representation owners

2026-10-24 05:13:41 +08:00

elf-notes.md

fix(native): preserve metadata uncertainty in coverage

2026-10-25 01:45:23 +08:00

erlang-beam.md

test(erlang): cover lambdas names filter and chunks miss in BEAM views (#6973 )

2026-10-24 17:39:57 +08:00

error-contract.schema.json

fix(mcp): guide agents through tool error recovery (#5470 )

2026-10-20 21:45:05 +08:00

evm-bytecode.md

fix(evm): preserve reply allowance failures and selected limits

2026-10-24 02:40:21 +08:00

firmware-analysis.md

feat(firmware): inspect flattened devicetree blobs (#7009 )

2026-10-24 22:45:22 +08:00

flutter-analysis.md

fix(flutter): qualify unsupported unified snapshot profiles

2026-10-24 04:28:54 +08:00

frida-instrumentation.md

fix!: retain Frida observations through shared finalization

2026-10-24 01:47:31 +08:00

ghidra-dol.md

feat(ghidra): analyze GameCube/Wii DOL executables through Ghidra (#6240 )

2026-10-24 17:56:31 +08:00

ghidra-dos.md

docs: clarify evidence ownership and verification guidance

2026-10-23 17:13:00 +08:00

ghidra-mips.md

fix(ghidra): admit recordless MIPS-I legacy targets (#7014 )

2026-10-25 01:16:51 +08:00

ghidra-nativeaot.md

fix(nativeaot): charge only examined candidate table entries

2026-10-24 04:23:56 +08:00

ghidra-ppc.md

feat(ghidra): analyze GameCube/Wii DOL executables through Ghidra (#6240 )

2026-10-24 17:56:31 +08:00

ghidra-provider.md

fix(ghidra): enforce request limits before encoding (#6917 )

2026-10-24 17:17:52 +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

merge: consolidate upstream ownership and coverage fixes

2026-10-24 04:43:33 +08:00

godot-pck.md

fix(parsers): respect container facts and real decoding boundaries

2026-10-23 23:02:07 +08:00

gpu-code-objects.md

fix(gpu): derive legacy bundle extents from codec framing

2026-10-24 02:35:21 +08:00

harmony-analysis.md

fix(harmony): retain path-only package and signing observations

2026-10-24 02:40:22 +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

feat(analysis)!: default function MCP output to retained summaries (#5660 )

2026-10-24 08:18:53 +08:00

il2cpp-metadata.md

fix(il2cpp): accept names in native type-reference views

2026-10-24 17:21:08 +08:00

index.md

feat(elf): inspect Linux kernel module metadata (#7010 )

2026-10-24 22:35:20 +08:00

installation.md

fix(setup): preserve cleanup ownership and resource reports (#6920 )

2026-10-24 15:08:10 +08:00

javascript-application-graph.md

fix(javascript): separate endpoint syntax correspondence from target identity

2026-10-24 03:59:44 +08:00

javascript-application-workflows.md

fix(javascript): bound loop capture and rest-copy expansion

2026-10-24 19:36:20 +08:00

javascript-artifact-reconstruction.md

fix(javascript): preserve factory export helper identity

2026-10-24 16:08:26 +08:00

javascript-recovery.md

fix(javascript): preserve recovery acquisition and cancellation failures

2026-10-24 03:11:07 +08:00

javascript-route-inventory.md

fix(javascript): preserve route selection owners and uncertainty

2026-10-24 04:25:13 +08:00

javascript-runtime-observation.md

fix(inspector): retain captures through authorization cleanup failures

2026-10-24 03:16:30 +08:00

javascript-runtime-reconciliation.md

fix(browser): preserve unknown script ownership through reconciliation

2026-10-24 04:23:56 +08:00

jeb-analysis.md

fix(jeb): retain selected inputs and completed primary replies

2026-10-24 03:00:07 +08:00

kernel-modules.md

fix(metadata): preserve declared phandles and relocation fields

2026-10-24 23:51:20 +08:00

kuna-provider.md

feat(analysis)!: default function MCP output to retained summaries (#5660 )

2026-10-24 08:18:53 +08:00

managed-code-analysis.md

fix(managed): preserve malformed signature uncertainty in comparisons

2026-10-24 10:17:23 +08:00

mcp-contracts.md

fix(artifacts): describe observed inventory scope accurately

2026-10-24 16:08:26 +08:00

mcp-prompts.md

fix(mcp): enforce initialization and discovery contracts

2026-10-24 02:41:17 +08:00

migration-6.2.md

docs: correct MCP error and capture import guidance

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

model-artifacts.md

fix(model): preserve uncertainty across released GGUF layouts

2026-10-24 02:00:10 +08:00

native-function-matching.md

feat(analysis)!: default function MCP output to retained summaries (#5660 )

2026-10-24 08:18:53 +08:00

native-investigation.md

fix(native): classify dyld refusals before export fallback

2026-10-24 17:21:08 +08:00

packet-captures.md

fix(captures): preserve canonical TShark alias fields

2026-10-23 19:07:46 +08:00

pcap-analysis.md

fix(pcap): preserve header snapshot limit with inferred lengths

2026-10-24 10:35:50 +08:00

pe-certificates.md

fix(pe): accept WIN_CERTIFICATE padding counted in dwLength (#6721 )

2026-10-24 06:04:41 +08:00

pe-imports.md

fix(pe): share header identity across native metadata readers

2026-10-24 16:08:26 +08:00

pe-load-config.md

fix(metadata): preserve declared phandles and relocation fields

2026-10-24 23:51:20 +08:00

process-capture.md

fix(process): validate rendered omission causes in saved captures

2026-10-24 09:36:14 +08:00

python-packaged-applications.md

fix(artifacts): preserve typed resource limit diagnoses

2026-10-24 03:00:08 +08:00

python-pyc.md

feat(python): query selected pyc code-object facts (#6928 )

2026-10-24 10:23:06 +08:00

raw-binary.md

feat(ghidra): analyze GameCube/Wii DOL executables through Ghidra (#6240 )

2026-10-24 17:56:31 +08:00

reconstruction-coverage.md

merge: consolidate upstream identity and representation owners

2026-10-24 05:13:41 +08:00

reconstruction-obligation-ledgers.md

fix(reconstruction): qualify original process evidence at its owner

2026-10-24 06:13:53 +08:00

reconstruction-readiness.md

refactor(verification): separate readiness evidence scopes

2026-10-24 11:31:39 +08:00

recorded-crashes.md

feat(apple): inspect IPS crash reports (#6511 )

2026-10-24 16:02:59 +08:00

releasing.md

fix(release): recover transient commit-history reads

2026-10-24 16:47:56 +08:00

reverse-engineering-tools.md

docs(cutter): explain bridge descriptor discovery configuration

2026-10-24 17:21:08 +08:00

roadmap.md

docs: remove retired architecture and migration artifacts

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

rust-binaries.md

fix(native): preserve parsed section and architecture facts

2026-10-24 07:28:09 +08:00

signal-recordings.md

merge: consolidate upstream identity and representation owners

2026-10-24 05:13:41 +08:00

sqlite-databases.md

test(sqlite): preserve worker failures through cleanup retry

2026-10-24 12:34:10 +08:00

testing.md

fix(verifiers): load shared source without compiler processes (#7012 )

2026-10-24 15:02:22 +00:00

tool-design.md

fix(analysis): retain one-shot target selection provenance

2026-10-25 01:45:23 +08:00

user-visible-errors.csv

fix(windows): explain when Windows refuses to load the verified native addon (#6832 )

2026-10-24 11:37:58 +08:00

wasm-artifacts.md

merge: consolidate upstream ownership and coverage fixes

2026-10-24 04:43:33 +08:00

web-network-captures.md

feat(environment): build agent environments from a prompt (#6946 )

2026-10-24 21:51:41 +08:00

web-runtime.md

fix(browser): retain truthful cleanup facts and document request ownership

2026-10-24 03:59:44 +08:00

web-source-location.md

fix(sourcemaps): bind cleanup status to remaining codec owners

2026-10-24 03:10:43 +08:00

website-module-trace.md

fix(analysis): preserve artifact and selection error ownership

2026-10-24 22:54:05 +08:00

website-script-export.md

docs: correct setup capture and recovery boundary guidance

2026-10-24 02:40:21 +08:00

windows-ghidra-p0.md

fix(windows): explain when Windows refuses to load the verified native addon (#6832 )

2026-10-24 11:37:58 +08:00