Skip to content

AutoRE-CLI v0.1.5

Choose a tag to compare

@timwhitez timwhitez released this 07 Sep 07:09
e8edbbf

AutoRE-CLI v0.1.5

This release improves bounded static investigation and refreshes all five
platform binaries from source revision
158ca044a1908e9ae2b39105d68ccbd4b333bc51.

  • Recover structurally validated Go function inventories when a named table has
    rewritten magic. Real names and synthetic address labels are counted separately;
    inferred layout does not prove a compiler version or runtime ABI.
  • Connect validated AArch64 formed addresses to indirect-call discovery and graph
    candidates. Unresolved calls provide bounded caller inspection actions.
  • Preserve scalar/pair memory widths, ordered writes and SP writeback in IL, while
    retaining opaque semantics for unsupported forms. Function JSON includes bounded
    constant stack-byte evidence with unknown bytes, provenance and strict UTF-8.
  • Add fold-pair-bytes for bounded, explicitly parameterized algebraic candidates.
    It does not execute instructions or prove that a binary uses the supplied plan.
  • Suppress repeated inspection actions, add optional prior-receipt no-progress
    checks, and distinguish checkout diagnosis from duplicate installed Skills.
  • Bound Go seed decoding by the next function boundary and expose separate
    load, discovery and serialization benchmark costs.
  • Refresh public agent instructions, bilingual investigation guidance and helpers.

General file-backed copy propagation, automatic string-loop parameter proofs,
and string recovery through closure/state-machine chains remain unsupported by
this slice. Recovered text and inferred calls do not prove runtime behavior or
malicious intent.

All five binaries are built locally with the pinned Rust toolchain. No GitHub
Actions or remote CI is used. Cross-platform binary format, architecture,
provenance, signing and checksum checks are static; native Windows/Linux runtime
acceptance is not claimed. macOS binaries are ad-hoc signed, not notarized;
the Windows binary is not Authenticode signed.

Download the matching AutoRE-CLI-0.1.5-<platform> archive, or the standalone
AutoRE-CLI-0.1.5-auto-re-skill.zip, and verify SHA256SUMS.release before use.