Repository navigation
RXRE engine v1.9.0 — basename bounded-property reconstruction (2026-11-13).
New sixth bounded target: GNU coreutils 9.10 /usr/bin/basename (sha256 1ef9913961b3006d8d5f41718035a8ef7aedcf5f81da46100dffa61421989621; BuildID eb755c71c52c5282f84d01ae80ba24e6f0a5e060). Scoped to a single path operand with NO flags (-a, -s, -z) and NO suffix operand: property = last component after trailing-slash strip (all-slash input maps to / when leading-slashed, otherwise .). . and .. are treated as literal components.
Corpus 1,987/2,013 cases (seeds 20261114/15; UTF-8 wide chars + boundary buckets) sealed before reconstruction; independent C11 reconstruction (basename_20261114/basewrap.c); 0 divergences on both generations; fail-closed identity pin; manifest 65 artifacts; verify.sh 16 stages; pytest gate 80 passed, 2 skipped.
test_discovery_on_basename.py added as integration coverage. Discovery still does NOT validate semantics; P0 remains OPEN. No general-basename claim. Third-party verification remains NOT_EXECUTED.
Epistemic status: PARTIAL. MIT.
ZIP SHA-256: see rxre-engine-1.9.0.zip.sha256 (fd7d56cdf689e87bdba0201f78bf0ac9c418b3f5ba90f95a762a53436edad9c9).