Skip to content

RXRE engine v1.3.8 — fold multi-width milestone

Choose a tag to compare

View all tags
@LexLuthorPrimero LexLuthorPrimero released this 13 Nov 07:15
· 28 commits to main since this release
v1.3.8
494d0e8

RXRE engine v1.3.8 — fold multi-width (2026-11-13).

With the fold -w 4 property milestone sealed in v1.3.7, the reconstruction now carries six gated regenerations:

  • -w 4 × seeds 20261113/20261114 (2.554 cases each)
  • -w 1 seed 20261115 (1.054) · -w 2 seed 20261116 (1.054) · -w 3 seed 20261117 (1.054) · -w 8 seed 20261122 (1.054)

All verify.sh-gated: 0 divergence in every one of the six. foldwrap.c and gen_fold_cases.py are parameterized (argv[2]=width for verify, argv[4]=width for generation); verify.sh still fail-closed on /usr/bin/fold identity; manifest extended and SEAL updated (all changes additive).

Invariant across everything: filenvercmp, wc and fold targets stay PARTIAL on their own domains; third-party verification NOT_EXECUTED; no general claim. MIT.

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

Assets 4
Loading