Relax stop rule for non-hook work

This commit is contained in:
Jan Petykiewicz 2026-04-18 13:14:28 -07:00
commit ec9df1eb5a
4 changed files with 7 additions and 10 deletions

View file

@ -166,8 +166,8 @@ should prefer rehosting the owning source state or the real reader/setter family
guessing one more derived leaf field from nearby offsets, and the checked-in guessing one more derived leaf field from nearby offsets, and the checked-in
[`docs/rehost-queue.md`](docs/rehost-queue.md) file is now the control surface for that loop: [`docs/rehost-queue.md`](docs/rehost-queue.md) file is now the control surface for that loop:
after each commit, check the queue and continue unless the queue is empty, a real blocker remains after each commit, check the queue and continue unless the queue is empty, a real blocker remains
that cannot be advanced by targeted static analysis or by expanding the rehosted probe/owner that cannot be advanced by any non-hook analysis or rehosting path without guessing, or approval
surface without guessing, or approval is needed. A checked-in is needed. A checked-in
The same runtime surface now also exposes higher-layer blocker probes: The same runtime surface now also exposes higher-layer blocker probes:
`runtime inspect-periodic-company-service-trace <save.gms>`, `runtime inspect-periodic-company-service-trace <save.gms>`,
`runtime inspect-region-service-trace <save.gms>`, and `runtime inspect-region-service-trace <save.gms>`, and

View file

@ -202,8 +202,7 @@ The highest-value next passes are now:
instead of guessing another derived leaf field from neighboring raw offsets; the checked-in instead of guessing another derived leaf field from neighboring raw offsets; the checked-in
`docs/rehost-queue.md` file is the control surface for that work loop, and after each commit the `docs/rehost-queue.md` file is the control surface for that work loop, and after each commit the
next queue item should run unless the queue is empty, a real blocker remains that cannot be next queue item should run unless the queue is empty, a real blocker remains that cannot be
advanced by targeted static analysis or by expanding the rehosted probe/owner surface without advanced by any non-hook analysis or rehosting path without guessing, or approval is needed
guessing, or approval is needed
- `rrt-runtime` now also exposes higher-layer probe commands for the current blocked frontier: - `rrt-runtime` now also exposes higher-layer probe commands for the current blocked frontier:
`runtime inspect-periodic-company-service-trace <save.gms>`, `runtime inspect-periodic-company-service-trace <save.gms>`,
`runtime inspect-region-service-trace <save.gms>`, and `runtime inspect-region-service-trace <save.gms>`, and

View file

@ -4,9 +4,8 @@ Working rule:
- Do not stop after commits. - Do not stop after commits.
- After each commit, check this queue and continue. - After each commit, check this queue and continue.
- Only stop if the queue is empty, you hit a real blocker that cannot be advanced by targeted - Only stop if the queue is empty, the remaining work cannot be advanced by any non-hook analysis
static analysis or by expanding the rehosted probe/owner surface without guessing, or you need or rehosting path without guessing, or you need approval.
approval.
- Before any final response, state which stop condition is true. If none is true, continue. - Before any final response, state which stop condition is true. If none is true, continue.
## Next ## Next

View file

@ -296,9 +296,8 @@ bond-service simulation.
The process rule for the remaining runtime work is explicit too: prefer rehosting owning state and The process rule for the remaining runtime work is explicit too: prefer rehosting owning state and
real reader/setter families over guessing leaf fields, and use `docs/rehost-queue.md` as the real reader/setter families over guessing leaf fields, and use `docs/rehost-queue.md` as the
checked-in control surface for the work loop. After each commit, check that queue and continue checked-in control surface for the work loop. After each commit, check that queue and continue
unless the queue is empty, a real blocker remains that cannot be advanced by targeted static unless the queue is empty, a real blocker remains that cannot be advanced by any non-hook analysis
analysis or by expanding the rehosted probe/owner surface without guessing, or approval is or rehosting path without guessing, or approval is needed.
needed.
The same control surface now also has matching runtime probes: The same control surface now also has matching runtime probes:
`runtime inspect-periodic-company-service-trace <save.gms>`, `runtime inspect-periodic-company-service-trace <save.gms>`,
`runtime inspect-region-service-trace <save.gms>`, and `runtime inspect-region-service-trace <save.gms>`, and