shifathosn
/
rea
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs: correct inline evidence and Hopper behavior

This commit is contained in:
morluto 2026-09-29 11:38:24 +08:00
parent c2a6f4bc43
commit bf9cce1aef
2 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/installation.md
View File

@ -154,7 +154,10 @@ its supported command-line interface does not attach to an already-open
document. While another live REA session owns the same target and loader
profile, a second session reports the owning run ID instead of opening a
duplicate document. Closing the owning REA session releases this guard; Hopper
keeps its document open.
keeps its document open. A later REA session can therefore open another
document for the same target. REA does not currently identify, focus, or reuse
that existing GUI document, and the supported launcher exposes no attach or
reuse action for it.
On supported Linux distributions, approved setup verifies Hopper's official
`.deb`, `.rpm`, or Arch package before invoking the native package manager.

8
skills/reverse-engineer-anything/references/evidence-workflows.md
View File

@ -1,9 +1,9 @@
# Evidence, comparison, and verification workflows
REA results are Evidence v2. Cite evidence IDs and preserve authority,
limitations, coverage, and residual unknowns. Read the smallest deterministic
page that answers the question. Continue from a returned next offset while
`has_more` is true only when exhaustive coverage matters.
REA results are inline evidence. Cite evidence IDs and preserve authority,
limitations, coverage, and residual unknowns. Inventory and search tools return
their complete results in one call; use focused queries when the full inventory
is not needed.
Use `record_unknown` only with explicit approval and name the authority or
environment still required. Supply supporting and contradicting evidence IDs.