From 53d83507290653e8178226914c5e5b7886f7080c Mon Sep 17 00:00:00 2001 From: InauguralPhysicist Date: Wed, 1 Jul 2026 23:36:42 -0500 Subject: [PATCH] =?UTF-8?q?docs:=20FREESTANDING=20regex=20disposition=20?= =?UTF-8?q?=E2=80=94=20the=20EigenRegex=20route=20is=20now=20concrete?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit EigenRegex reached ERE parity (S8, 2026-07-01): escapes, POSIX classes, {n,m} intervals, re_replace, and a builtin-shaped compat layer (lib/regex_compat.eigs) differential-tested against the regex_* builtins as the oracle. Point the ledger's regex entry at it and record the two documented divergences (leftmost-longest vs leftmost-first, no \b). Co-Authored-By: Claude Fable 5 --- docs/FREESTANDING.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/docs/FREESTANDING.md b/docs/FREESTANDING.md index f44696d..8dc0986 100644 --- a/docs/FREESTANDING.md +++ b/docs/FREESTANDING.md @@ -139,11 +139,14 @@ jitter). Used by `random_int`/`randn`/stdlib. - **`BUILD`/`ELIM`**: `exit`/`_exit`/`abort` → halt the CPU / panic; `getenv` → empty stub or a kernel config table; `atexit` → no-op. -### Regex — `DROP` → reuse the ecosystem +### Regex — `DROP` → route to EigenRegex (the route now exists) `regcomp` `regexec` `regfree` -The regex builtins use glibc ERE. Freestanding: drop them, or route to -**EigenRegex** (the pure-EigenScript Pike-VM regex already in the portfolio) — -the ecosystem feeding its own substrate. +The regex builtins use glibc ERE. Freestanding: drop the C builtins and load +**EigenRegex**'s `lib/regex_compat.eigs` (ERE-parity as of its S8, 2026-07-01) — +builtin-shaped drop-ins for `regex_match`/`regex_find`/`regex_replace` over the +pure-EigenScript Pike VM, differential-tested against these builtins as the +oracle. Documented divergences: POSIX leftmost-longest vs Pike-VM +leftmost-first, and no `\b`. The ecosystem feeding its own substrate. ### ctype / sort — `BUILD` tiny `__ctype_b_loc` `__ctype_tolower_loc` `__ctype_toupper_loc` (`isalpha`/`toupper`