Skip to content

docs: FREESTANDING regex disposition — EigenRegex route is now concrete #357

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
InauguralPhysicist merged 1 commit into from
Jul 2, 2026
Merged

docs: FREESTANDING regex disposition — EigenRegex route is now concrete #357

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 7 additions & 4 deletions docs/FREESTANDING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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`
Expand Down
Loading