Skip to content

docs(WO80): A4 stage 1 — semantic rulings inventory #330

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
ronaldtse merged 1 commit into from
Oct 21, 2026
Merged

docs(WO80): A4 stage 1 — semantic rulings inventory #330

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
32 changes: 32 additions & 0 deletions TODO.sota/80-a4-rulings-inventory.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
# WO80 — A4 stage 1: the ISC semantic rulings inventory

Status: **IN PROGRESS** (inventory seeded 2026-10-21; each point needs
its empirical ruling + test vector)
The IS-1 spec document (A4's vehicle, WO74 dependency) is authored from
this inventory: every point gets (a) the grammar anchor, (b) the ruby
interpreter's actual behavior verified by a test, (c) a normative
ruling.

## The semantic surface (code anchors: interscript-ruby @ main)

| # | area | grammar anchor | interpreter anchor |
|---|------|----------------|--------------------|
| 1 | stage composition | grammar/concerns/stages.rb (sequence_block, parallel_block, run_rule, separate_directive) | interpreter.rb `execute_rule` / `call` |
| 2 | parallel rule priority + `separator` | stages.rb:45-53 | the parallel executor pass |
| 3 | run (stage composition across dependencies) | stages.rb:120 | dependency-aliased dispatch |
| 4 | funcall (`rababa` + kwargs passthrough) | stages.rb:70-77 | stdlib adapters (optional layer) |
| 5 | item algebra: any / character classes / ranges / alternation | grammar/concerns/primitives.rb (21 rules) | `build_item` |
| 6 | maybe + capture + ref composition | grammar/concerns/items.rb (21 rules) | `build_item`/capture frame |
| 7 | boundary / word guards + casing interaction | primitives.rb + interpreter case handling | `build_regexp` + case pass |
| 8 | aliases (local/remote/imported) + dependency resolution | grammar/concerns/aliases.rb, dependencies.rb | registry alias resolution |
| 9 | metadata contract + embedded tests | grammar/concerns/metadata.rb, tests.rb | test runner |
| 10 | charset/casing directives (`upcase`/`downcase`/`title` stdlib) | metadata/system concerns | stdlib functions |

## Method per point
1. Write the empirical test against the ruby interpreter (the reference
runtime).
2. Run the same vector through ts + py (the C1 harness).
3. Divergence = an open ruling -> decide, encode the ruling as a
normative spec section + a frozen vector.
4. IS-1 v2 text accumulates one section per ruled point; the document
ships when all 10 close (then D2 releases it).
Loading