Repository navigation
RXRE engine v1.3.9 — MENTE etapa 4 (fold rivals)
RXRE engine v1.3.9 — MENTE etapa 4 (2026-11-13).
Supersedes v1.3.8 (fold multi-width). All prior snapshots byte-exact.
New in this release:
- MENTE-fold rivals experiment hermetic in
tools/rxre/tests/test_mente_fold_rivals.py:- An independent Python clone reproduces the unified fold wrap law on 2.554/2.554 sealed fold cases (byte-exact).
- BYTES and CODEPOINTS rivals are REFUTED by the seal; WCWIDTH survives NOT_DETERMINED; no PROVEN; no escalation.
- verify gate: 69 passed, 2 skipped (the 2 skips require the author's private operations DB). 13 stages.
- Docs: EXPEDIENTE Update-17 (fold rivals; clone equivalence), CHANGELOG §1048 §1047 §1046.
Epistemic status unchanged: filenvercmp, wc, fold all PARTIAL target-by-target; third-party verification remains NOT_EXECUTED (issue #1). MIT.
ZIP SHA-256: see rxre-engine-1.3.9.zip.sha256.