Skip to content

RXRE engine v1.5.0 — FIVE sealed bounded targets

Choose a tag to compare

View all tags
@LexLuthorPrimero LexLuthorPrimero released this 13 Nov 07:32
· 23 commits to main since this release
v1.5.0
6cc0c20

RXRE engine v1.5.0 — FIVE bounded targets sealed (2026-11-13).

With filenvercmp, wc, fold and tr, the package adds a fifth bounded property verified the same way:

  • dirname (/usr/bin/dirname — sha256 aac6a889dcfe1bcaabdcfea17b89c643c29abee5efce3fafbbb0c34b70e864a7, GNU coreutils 9.10-5.fc44): property reconstruction (parent directory computation) in C11 vs sealed corpus (seeds 20261113/14, 1.917/1.901 cases) — byte-exact, 0 divergences.
  • verify.sh → 15 stages with /usr/bin/dirname fail-closed identity check; manifest extended to 60 artifacts; verify gate 69 passed, 2 skipped.

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

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

Assets 4
Loading