Skip to content

RXRE engine v1.8.0 — MENTE synthesis end-to-end loop

Choose a tag to compare

View all tags
@LexLuthorPrimero LexLuthorPrimero released this 13 Nov 17:07
· 14 commits to main since this release
v1.8.0
12e4c29

RXRE engine v1.8.0 — MENTE synthesis end-to-end loop (2026-11-13).

First complete loop on a previously-unknown target: test_discovery_synthesis.py — binary compiled at test time in tmp; discover_unknown_function runs without any access to the source; rodata literals alpha,beta recovered; sentinels extracted by invoking binary with the visible literals; C regenerated from those literals; 0 mismatches byte differential against the original on a deterministic trial corpus.

Honest limitations: this target was deliberately trivial (-O0 -fno-inline, strong literal hints; both literals visible). P0 remains OPEN for harder targets; no general claim.

verify gate: 78 passed, 2 skipped; 15 stages; manifest 60 artifacts; VERIFY: all steps passed.

Epistemic status: PARTIAL. Third-party verification remains NOT_EXECUTED. MIT.

ZIP SHA-256: see rxre-engine-1.8.0.zip.sha256.

Assets 4
Loading