AutoRE-CLI v0.1.6

AutoRE-CLI v0.1.6

This release adds bounded static byte proofs and rebuilds all five platforms
locally from source revision 952aef624adb0246d983834edf1b4e29ba16a638.

• recover-bytes <input> --addr <address> --output <results>/bytes.json uses
  one immutable input snapshot. It retains the full input hash, selected slice,
  original file offsets, read-only mapping basis and instruction provenance.
• File/stack loads, partial values, MOVK updates and overlapping ordered stores
  share checked byte semantics. Forward edges with a unique predecessor may
  carry memory facts; ambiguous joins and unknown effects preserve uncertainty.
• pair_loops proves supported loop bounds and arithmetic from CFG/IL def-use,
  independent of register names or text readability. Manually supplied plans
  remain unproved candidates.
• Guarded AArch64 pointer-table recovery preserves target order and duplicates,
  materializes case bodies, and keeps unresolved indirect jumps explicit.
• object_slot_links exposes symbolic load/store/copy relationships, source
  load addresses, widths, truncation and zero extension without requiring a
  particular Go compiler version.
• state_chains summarizes literal byte writes only through a unique initial
  state and a proved acyclic constant-state chain ending in return.
• AArch64 multiply-add/subtract and narrow scalar stores now reach the shared
  width-aware IL and byte recovery layers.

These are static candidates. Unknown call effects, ambiguous joins, arbitrary
state machines and unproved captured values remain unresolved. Object-slot
links do not prove Go capture names, initializer order, runtime layouts or
interface dynamic types. Recovered text does not establish runtime use.

All compilation and validation run locally; no GitHub Actions or remote CI is
used. Cross-platform format, architecture, provenance and checksum validation
is static. Native Windows/Linux runtime acceptance is not claimed. macOS
binaries are ad-hoc signed, not notarized; Windows is not Authenticode signed.

Download the matching AutoRE-CLI-0.1.6-<platform> archive or the standalone
AutoRE-CLI-0.1.6-auto-re-skill.zip, then verify SHA256SUMS.release.