Implement real company-scoped event descriptors

This commit is contained in:
Jan Petykiewicz 2026-04-15 12:11:29 -07:00
commit 780e739daa
21 changed files with 1483 additions and 56 deletions

View file

@ -29,11 +29,13 @@ Implemented today:
symbolic scopes through the ordinary runtime service path while keeping condition-relative
company scopes explicitly blocked
- real `0x4e9a` grouped rows now carry checked-in descriptor metadata, semantic family/preview
summaries, and one recovered executable family: descriptor `2` = `Company Cash`
summaries, and three recovered executable company-scoped families: descriptor `2` = `Company Cash`,
descriptor `13` = `Deactivate Company`, and descriptor `16` = `Company Track Pieces Buildable`
That means the next implementation work is breadth, not bootstrap. The recommended next slice is
broader real grouped-descriptor coverage beyond `Company Cash`, plus condition-relative execution
for the still-blocked symbolic scopes, not another persistence scaffold pass.
broader real grouped-descriptor coverage beyond the current company-scoped batch, plus
condition-relative execution for the still-blocked symbolic scopes, not another persistence
scaffold pass.
## Why This Boundary
@ -375,11 +377,12 @@ Checked-in fixture families already include:
## Next Slice
The recommended next implementation slice is broader real grouped-descriptor coverage on top of the
now-stable compact-control, symbolic-target, and first recovered real-family path.
now-stable compact-control, symbolic-target, and current company-scoped real-family batch.
Target behavior:
- keep descriptor `2` `Company Cash` as the proof that real grouped rows can cross the whole path:
- keep descriptors `2` `Company Cash`, `13` `Deactivate Company`, and `16`
`Company Track Pieces Buildable` as the proof that real grouped rows can cross the whole path:
parse, semantic summary, overlay-backed import, and ordinary trigger execution
- recover more real descriptor identities from the checked-in effect table and expose their target
masks and conservative semantic previews without guessing unsupported behavior
@ -399,8 +402,11 @@ Public-model expectations for that slice:
Fixture work for that slice:
- preserve the parity-heavy tracked sample as the condition-relative blocked frontier while it now
carries recovered `Company Cash` semantics
- add overlay-backed captured fixtures whenever a new real descriptor family becomes executable
carries recovered `Company Cash` semantics with executable import readiness
- keep overlay-backed captured fixtures for the executable company-scoped real families:
`Company Cash`, `Deactivate Company`, and `Company Track Pieces Buildable`
- keep a mixed real-row overlay fixture to lock the all-or-nothing parity rule for partially
supported real records
- keep synthetic harness, save-slice, and overlay paths green as the real descriptor surface widens
Current local constraint: