Skip to content

RXRE engine v1.4.0 — FOUR sealed bounded targets

Choose a tag to compare

View all tags
@LexLuthorPrimero LexLuthorPrimero released this 13 Nov 07:25
· 24 commits to main since this release
v1.4.0
6171324

RXRE engine v1.4.0 — FOUR sealed bounded targets (2026-11-13).

After filenvercmp and wc, the fold milestone (cell width, multi-width) and now tr -s x are verified with the same discipline:

  • tr milestone (evidence/r3/tr_20261113/): independent C11 reconstruction (trwrap.c): greedy squeeze de runs consecutivos de 0x78 ('x'); 2 x 2.513 = 2.513×2, 0 divergencias (seeds 20261113/14); corpus sellado sesgo a runs de x; verify.sh 14 etapas con /usr/bin/tr fail-closed pin (b1d1bfbe… coreutils-9.10-5.fc44).
  • Four targets: /usr/bin/ls (filenvercmp), /usr/bin/wc (11 corpora), /usr/bin/fold (6 regeneraciones), /usr/bin/tr (2 generations).
  • Manifest extended to 56 artifacts; verify gate 69 passed, 2 skipped.

Epistemic status: no general claim; third-party verification remains NOT_EXECUTED; issue #1 stands. MIT.

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

Assets 4
Loading