devrites 7.3.0 → 7.3.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (48) hide show
  1. package/CHANGELOG.md +10 -0
  2. package/README.md +1 -1
  3. package/docs/engine/commands.md +6 -0
  4. package/engine/internal/gate/readiness_binding.go +4 -3
  5. package/engine/internal/state/observation.go +49 -2
  6. package/pack/.claude/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  7. package/pack/.claude/skills/rite-autocomplete/SKILL.md +9 -10
  8. package/pack/.claude/skills/rite-autocomplete/reference/loop.md +8 -1
  9. package/pack/.claude/skills/rite-prove/SKILL.md +15 -7
  10. package/pack/.claude/skills/rite-review/SKILL.md +7 -0
  11. package/pack/.claude/skills/rite-vet/SKILL.md +10 -1
  12. package/pack/generated/claude/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  13. package/pack/generated/claude/skills/rite-autocomplete/SKILL.md +9 -10
  14. package/pack/generated/claude/skills/rite-autocomplete/reference/loop.md +8 -1
  15. package/pack/generated/claude/skills/rite-prove/SKILL.md +15 -7
  16. package/pack/generated/claude/skills/rite-review/SKILL.md +7 -0
  17. package/pack/generated/claude/skills/rite-vet/SKILL.md +10 -1
  18. package/pack/generated/codex/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  19. package/pack/generated/codex/skills/rite-autocomplete/SKILL.md +9 -10
  20. package/pack/generated/codex/skills/rite-autocomplete/reference/loop.md +8 -1
  21. package/pack/generated/codex/skills/rite-prove/SKILL.md +15 -7
  22. package/pack/generated/codex/skills/rite-review/SKILL.md +7 -0
  23. package/pack/generated/codex/skills/rite-vet/SKILL.md +10 -1
  24. package/pack/generated/devin/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  25. package/pack/generated/devin/skills/rite-autocomplete/SKILL.md +9 -10
  26. package/pack/generated/devin/skills/rite-autocomplete/reference/loop.md +8 -1
  27. package/pack/generated/devin/skills/rite-prove/SKILL.md +15 -7
  28. package/pack/generated/devin/skills/rite-review/SKILL.md +7 -0
  29. package/pack/generated/devin/skills/rite-vet/SKILL.md +10 -1
  30. package/pack/generated/dsh/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  31. package/pack/generated/dsh/skills/rite-autocomplete/SKILL.md +9 -10
  32. package/pack/generated/dsh/skills/rite-autocomplete/reference/loop.md +8 -1
  33. package/pack/generated/dsh/skills/rite-prove/SKILL.md +15 -7
  34. package/pack/generated/dsh/skills/rite-review/SKILL.md +7 -0
  35. package/pack/generated/dsh/skills/rite-vet/SKILL.md +10 -1
  36. package/pack/generated/omp/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  37. package/pack/generated/omp/skills/rite-autocomplete/SKILL.md +9 -10
  38. package/pack/generated/omp/skills/rite-autocomplete/reference/loop.md +8 -1
  39. package/pack/generated/omp/skills/rite-prove/SKILL.md +15 -7
  40. package/pack/generated/omp/skills/rite-review/SKILL.md +7 -0
  41. package/pack/generated/omp/skills/rite-vet/SKILL.md +10 -1
  42. package/pack/generated/pi/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
  43. package/pack/generated/pi/skills/rite-autocomplete/SKILL.md +9 -10
  44. package/pack/generated/pi/skills/rite-autocomplete/reference/loop.md +8 -1
  45. package/pack/generated/pi/skills/rite-prove/SKILL.md +15 -7
  46. package/pack/generated/pi/skills/rite-review/SKILL.md +7 -0
  47. package/pack/generated/pi/skills/rite-vet/SKILL.md +10 -1
  48. package/package.json +1 -1
@@ -62,6 +62,9 @@ Pull these via `Read` when the diff demands them:
62
62
  0. Read `.claude/skills/devrites-lib/reference/standards/core.md` first (the always-on operating rules); pull the
63
63
  on-demand rules above as the diff demands them.
64
64
  Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding) before loading workspace artifacts.
65
+ Under Autocomplete, return scheduling for its
66
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
67
+ before cold/local recovery, preserving Review's source-local return cursor.
65
68
  1. Read `spec.md`, `tasks.md`, `state.md`, `decisions.md`,
66
69
  `touched-files.md`, `.devrites/principles.md` (if present: the binding invariants to score
67
70
  the diff against), and the `git diff`. For "what would this change break"
@@ -127,6 +130,10 @@ Pull these via `Read` when the diff demands them:
127
130
  [[`agents.md`](../devrites-lib/reference/standards/agents.md) § Result admission](../devrites-lib/reference/standards/agents.md#result-admission).
128
131
  Either `Outcome: gap` stops Review; silence, failure, or malformed output never
129
132
  becomes an empty findings list.
133
+ Under Autocomplete, before native wait return scheduling to its global frontier
134
+ pass with cohort handles retained; standalone Review stays source-local. Apply
135
+ the shared protected validation window and identity recheck before account
136
+ admission.
130
137
  4. **Reconcile, don't re-review.** With the two parallel reports in hand, the inline
131
138
  lead reconciles. It does **not** re-run the code-review axes over correctness /
132
139
  readability / architecture / maintainability that `devrites-code-reviewer` already
@@ -78,6 +78,9 @@ plan declares a root-authored executable workflow file, read
78
78
  assumptions, and state. Require approved Plan and `Decision coverage: CLEAR`;
79
79
  otherwise stop for Define or Clarify. Check placement (`get_architecture`),
80
80
  blast radius (`trace_path`), and reuse (`search_graph`) per [`code-navigation.md`](../devrites-lib/reference/standards/code-navigation.md).
81
+ Under Autocomplete, return scheduling for its
82
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
83
+ before cold/local recovery; preserve Vet's source-local return cursor.
81
84
  1. **Select depth.** Apply `reference/depth.md` exactly; never skip. Initial passes
82
85
  record engineering verdict and test-plan coverage. Valid Recovery rechecks
83
86
  retain prior depth; enter 1b.
@@ -87,12 +90,18 @@ plan declares a root-authored executable workflow file, read
87
90
  parallel under `../devrites-lib/reference/parallel-dispatch.md`: independent
88
91
  read-only passes on one frozen candidate. Missing required account blocks.
89
92
  Meanwhile run root steps 2–4, including step 3 preflight commands, on that
90
- candidate; reconcile returned accounts.
93
+ candidate. Under Autocomplete, before native wait return scheduling to its
94
+ global frontier pass with reviewer handles retained; standalone Vet stays
95
+ source-local. Apply the shared protected validation window and identity
96
+ recheck before reconciling returned accounts.
91
97
  1b. **Recovery recheck.** Require valid return cursor, accepted prior finding,
92
98
  exact fingerprint/reproduction, repaired candidate identity, changed
93
99
  paths/criteria, affected drift/evidence, and the recorded delta self-check.
94
100
  Freeze that packet and dispatch each exact owning reviewer once,
95
101
  fresh/read-only, limited to it — all its open fingerprints in that dispatch.
102
+ Under Autocomplete, before native wait use the same controller pass and retained
103
+ handles as step 1a; standalone Vet stays source-local. Apply the same
104
+ protected-window account admission.
96
105
  Do not rerun broad inventory or unaffected reviewers. Close the prior
97
106
  fingerprint only with discriminating evidence plus an explicit
98
107
  correction-created regression verdict on the touched invariants (acyclic
@@ -69,6 +69,9 @@ incomplete, stale or human-blocked future work is a planning/repair/blocked
69
69
  opportunity, not a fatal pool failure. Retain every readiness reason: fixing stale
70
70
  bindings does not waive a coexisting human/access/safety gate. Re-Vet affected
71
71
  predecessor assumptions, then record current bindings; never auto-refresh a digest.
72
+ Read archived predecessors in place through the engine's referenced read-only
73
+ readiness lookup. Never copy an archive into live `work/` merely to read/hash it:
74
+ that can resurrect stale controller leases and claims.
72
75
 
73
76
  ## Recover avoidable serialization
74
77
 
@@ -106,13 +109,28 @@ reslicing unchanged work.
106
109
 
107
110
  ## Continuous global frontier
108
111
 
109
- At entry, each landing, planning/review return and before any wait or final reply:
112
+ Autocomplete executes this bounded pass at every phase entry (including cold
113
+ Prove/Vet/Review), before phase-local recovery, on each landing/planning/review
114
+ return, and immediately before a native wait or final reply. A nested phase
115
+ returns scheduling to Autocomplete; its source-local phase/recovery return cursor
116
+ and pending native reviewer handles remain intact. This is not a second phase
117
+ controller or a persistent frontier artifact.
110
118
 
111
119
  1. Re-read controller lease, per-source state/questions/readiness and authorized
112
- sequence. Scan all stages, not only the owner's next local slice. While writers
113
- run, root advances authorized Spec → Clarify → Temper → Define/Plan → Vet,
114
- including narrow repair/re-Vet of prepared targets, under unchanged approval
115
- and safety rules. Missing human authority blocks that target, not safe siblings.
120
+ sequence. Examine every recorded authorized source once per pass, not only
121
+ the owner's next local slice or first blocked child. Prepare absent targets
122
+ through authorized native Spec → Clarify → Temper → Define/Plan → Vet; repair
123
+ and re-Vet current readiness of prepared targets now, not after owner Seal.
124
+ Assess actual source gates, claims and explicit planning/Build restrictions
125
+ before routing. Owner-local red/human/access gates withhold that owner or its
126
+ actual consumers, not independent authorized planning; true whole-run safety,
127
+ access and claim constraints still bind. Retain concrete actions or blockers
128
+ in existing source artifacts under normal write authority.
129
+ Yield a child at its pending reviewer/phase boundary back to this controller;
130
+ never recursively wait for child completion while parent returns are pending.
131
+ Reconcile available parent returns before another pass. A native wait is
132
+ justified only after concrete authorized actions/blockers across the pool
133
+ have been examined; reading later phase skills is not pending Plan/Vet work.
116
134
  If an explicit/AFK capacity change differs from retained capacity, reconcile it
117
135
  before selection using `parallel add --root <repo> --slug <controller> --cap N --json -`
118
136
  with stdin `[]`. This changes capacity only, not workers or a complete lease's
@@ -137,11 +155,14 @@ At entry, each landing, planning/review return and before any wait or final repl
137
155
  Unsupported isolation uses truthful serial owner dispatch and ordinary ordered
138
156
  handoff, never early same-tree foreign Build or concurrent same-worktree writers.
139
157
  4. Launch every selected native writer before waiting on any; keep scheduling
140
- planning and independent review while they run. Land each individually green
141
- sibling through Build review/proof and `parallel integrate --slice <key>`;
142
- refill immediately from the whole authorized pool. A red sibling repairs in
143
- place and holds its slot/paths; it does not delay independent green landings.
144
- Never satisfy a producer edge on writer return or green-but-unlanded work.
158
+ planning and independent review while they run, including while the owner
159
+ awaits Prove/Vet/Review accounts. Apply the protected window below before any
160
+ landing: defer control mutations while frozen validation is pending. Outside
161
+ that window, land each individually green sibling through Build review/proof
162
+ and `parallel integrate --slice <key>`; refill immediately from the whole pool.
163
+ A red sibling repairs in place and holds its slot/paths; it does not delay
164
+ independent safe landings. Never satisfy a producer edge on writer return or
165
+ green-but-unlanded work.
145
166
  After worker-bound review/proof and source bookkeeping finish, prune only
146
167
  verified clean integrated checkouts with `parallel prune --root <repo>
147
168
  --slug <controller>`. Retain transfer refs/lease identities; dirty or ignored
@@ -182,8 +203,17 @@ controller bookkeeping nor sibling proof closes a child's acceptance.
182
203
 
183
204
  Prove/Polish/Review/Seal remain per workspace with fresh candidate bindings. Shared
184
205
  durable Polish outputs serialize; source changes invalidate affected evidence.
185
- Before any non-lease product correction, shared durable Polish write or control
186
- checkpoint, freeze new writer admissions, drain/reconcile retained writers, land
206
+ From candidate freeze/validator dispatch through account admission, preserve the
207
+ exact candidate, control tip and all consumed metadata/validator inputs. Independent
208
+ authorized planning and isolated writers may proceed only without changing those
209
+ inputs or shared runtime resources. Defer integration, checkpoints, cross-source
210
+ corrections and consumed-artifact edits until the window closes; retained green
211
+ workers keep their identities/slots. Recheck candidate, control-tip identity and
212
+ consumed inputs before accepting each account; drift invalidates affected accounts
213
+ and requires native fresh validation, never acceptance against a moving tip.
214
+ After any protected validation window closes, before a non-lease product correction,
215
+ shared durable Polish write or control checkpoint, freeze new writer admissions,
216
+ drain/reconcile retained writers, land
187
217
  safe green work and cleanup the lease. Preserve blocked work; never force-clean
188
218
  it merely to advance a phase. Perform phase-owned correction/proof/checkpoint,
189
219
  then resume the pool from new HEAD. Never accept unrelated commits as expected
@@ -192,6 +222,10 @@ ControlTip or invent phase slices. Read-only frozen proof/review and planning-on
192
222
  Normal ordered handoff reuses the same controller and prepared child cursor.
193
223
  Never archive controller/source while retained lease owns it; clean up owned
194
224
  workers first, preserving salvage and unknown outcomes.
225
+ Global scheduling is not global gating or ordered handoff. Unmet or abandoned
226
+ owner gates remain non-green: an owner request to defer obligations routes Spec
227
+ Drift Guard → Plan → affected Vet under existing authority, or retains the blocked
228
+ source. It never becomes Prove green or Seal GO merely to reach another source.
195
229
 
196
230
  Early child WIPs can interleave with parent WIPs. Parent-only Ship must not absorb
197
231
  those commits as if parent alone were sealed. Deferred release waits for every
@@ -88,6 +88,9 @@ next sequence continuation through Vet in a second session, then stop.
88
88
 
89
89
  1. **Orient and parse.** Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding); when a workspace exists,
90
90
  require its `state.md` and read its cursor; a fresh idea starts empty at step 2.
91
+ Before phase-local cold recovery, execute the bounded
92
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier);
93
+ retain this source's return cursor and pending reviewer handles.
91
94
  Before honoring `blocked` with terminal `next_action`,
92
95
  reconcile retained consumptive evidence and fingerprint attempts from
93
96
  `drift.md`/`evidence.md`; a retained fingerprint below its cap resumes offline
@@ -118,16 +121,12 @@ next sequence continuation through Vet in a second session, then stop.
118
121
  `$rite-build` batch loop → `$rite-prove` → `$rite-polish` →
119
122
  `$rite-review` → `$rite-seal`. Read and execute each skill; durable files, not
120
123
  chat, carry state. Apply the mutable post-vet budget before first Build.
121
- Execute [`parallel-workspaces.md`](../devrites-lib/reference/parallel-workspaces.md):
122
- continuously scan the authorized recorded sequence across stages, preparing
123
- and re-Vetting future targets while writers run. Build queries the global
124
- pool with `parallel select --from-plan --slug <controller> --workspaces
125
- <controller,authorized-source,...> --cap N`; N is explicit `--parallel N`, else
126
- sentinel `max_parallel`, else 10 — one global writer cap, including explicit 1.
127
- Always pass resolved `--parallel N` to Build. Cap>1 uses an isolated first
128
- writer even when initially alone; refill globally per landing and planning/
129
- review return. Unsupported host stays serial. No local ready slice is not
130
- completion while authorized planning, repair/re-Vet or independent work remains.
124
+ Execute the shared [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
125
+ at phase entry, before recovery, on returns and before native waits, not only
126
+ during Build or after Seal. Preserve source-local phase cursors; Autocomplete
127
+ retains repository scheduling. Apply its protected validation window before
128
+ landings/checkpoints and account admission. Pass resolved `--parallel N` to
129
+ Build under its one global cap and existing admission/isolation gates.
131
130
  **Completion:** loop reaches Seal GO or persists a valid stop before any later phase.
132
131
  5. **Apply stops.** At every gate use
133
132
  [stop-conditions.md](reference/stop-conditions.md). A `blocked` label alone is not a stop condition:
@@ -67,13 +67,20 @@ Workspace files, not chat, carry state. Read/execute each phase skill:
67
67
  | 3 | `$rite-temper` | harden or reduce; `expand` and extra acceptance stop for a human; irreversible risk still pauses |
68
68
  | 4 | `$rite-define` | approved plan/tasks/traceability |
69
69
  | 5 | `$rite-vet` | every plan; derive mutable budget after READY |
70
- | 6 | `$rite-build` global frontier | execute [shared controller workflow](../../devrites-lib/reference/parallel-workspaces.md); scan authorized stages and repair/re-Vet while writers run, refill per landing under one global cap; charge each source once per landed slice |
70
+ | 6 | `$rite-build` | execute shared controller selection/admission; charge each source once per landed slice |
71
71
  | 7 | `$rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
72
72
  | 8 | `$rite-polish` | re-prove after code edits |
73
73
  | 9 | `$rite-review` | in-scope correction then fresh proof |
74
74
  | 10 | `$rite-seal` | GO/NO-GO; no Git |
75
75
  | 11 | `$rite-ship` | only after GO; `--ship` never authorizes Git; stop at literal-GO/native approval |
76
76
 
77
+ At every phase entry, before cold/local recovery, on reviewer/planning returns and
78
+ before native waits, Autocomplete executes the bounded
79
+ [global frontier pass](../../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier).
80
+ Keep source-local return cursors and pending handles; apply its protected
81
+ validation window before accepting accounts or landing work. This scheduling
82
+ precedes owner Seal and does not change ordered handoff below.
83
+
77
84
  Check [stop-conditions.md](stop-conditions.md) before advancing. Discard stale
78
85
  pass evidence after source edits. Re-read the selected source before each phase per [phase target binding](../../devrites-lib/reference/parallel-workspaces.md#phase-target-binding). On a cold resume or
79
86
  new activation, run `devrites-engine check regression <slug>`: `BLOCKED` names a
@@ -35,8 +35,9 @@ TTHW, and exact signal-bearing errors; never assert DX (trigger `devex`).
35
35
  grammar/hashing. Spec Drift Guard owns revealed contract drift.
36
36
  - Root runs vetted gates/browser and records immutable evidence; proof runner
37
37
  validates it. Only the bounded wright fixes product source/tests.
38
- - **Prove remains the controlling caller** during technical backtracking. Save
39
- its cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
38
+ - **Prove remains the source-local controlling caller** during technical backtracking;
39
+ under Autocomplete, repository scheduling stays with Autocomplete. Save
40
+ Prove's cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
40
41
  consume nested boundaries; resume the failed rung. A strategy is spent after
41
42
  three no-progress attempts on the exact same fingerprint; escalate it per the
42
43
  [retry contract](../devrites-lib/reference/standards/afk-hitl.md#retry-cap-no-progress-loops-and-self-resolve)
@@ -60,12 +61,15 @@ test changes.
60
61
  ## Workflow
61
62
 
62
63
  1. **Orient.** Read core, resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require `state.md`, and read its
63
- cursor. On blocked Prove cold resume, reconcile retained consumptive evidence
64
- and no-progress corrections before accepting terminal none; a distinct
65
- fingerprint below cap resumes offline triage without another real action.
64
+ cursor. Under Autocomplete, return scheduling for its
65
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
66
+ before cold/local recovery; preserve Prove's source-local return cursor.
67
+ On blocked Prove cold resume, reconcile retained consumptive evidence and
68
+ no-progress corrections before accepting terminal none; a distinct fingerprint
69
+ below cap resumes offline triage without another real action.
66
70
  2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
67
- every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
68
- caller) and resumes here; it never authorizes ad hoc proof.
71
+ every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the source-local
72
+ controlling caller) and resumes here; it never authorizes ad hoc proof.
69
73
  3. **Approve commands.** If absent, use
70
74
  [test-command-discovery](reference/test-command-discovery.md) over repository
71
75
  manifests/CI. Discovery is evidence only: `test-plan.md` is the sole approved runtime
@@ -119,6 +123,10 @@ test changes.
119
123
  7. **Independent validation.** Fresh read-only `devrites-proof-runner` and
120
124
  `devrites-spec-reviewer`, in one parallel wave, judge the same candidate/commands/evidence/acceptance map.
121
125
  Neither runs commands; reject missing/stale, invented-ID, label-only or self-attested reports.
126
+ Under Autocomplete, before native wait return scheduling to its global frontier
127
+ pass, retaining both validator handles. Standalone Prove stays source-local.
128
+ Apply the shared protected validation window and recheck identities before
129
+ admitting accounts.
122
130
  8. **Map proof.** Reconcile verdicts under [acceptance-proof.md](reference/acceptance-proof.md).
123
131
  Every criterion/scenario/interaction/key link needs discriminating evidence or a
124
132
  blocker, including critical-path, observability, developer and wiring branches.
@@ -62,6 +62,9 @@ Pull these via `Read` when the diff demands them:
62
62
  0. Read `.agents/skills/devrites-lib/reference/standards/core.md` first (the always-on operating rules); pull the
63
63
  on-demand rules above as the diff demands them.
64
64
  Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding) before loading workspace artifacts.
65
+ Under Autocomplete, return scheduling for its
66
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
67
+ before cold/local recovery, preserving Review's source-local return cursor.
65
68
  1. Read `spec.md`, `tasks.md`, `state.md`, `decisions.md`,
66
69
  `touched-files.md`, `.devrites/principles.md` (if present: the binding invariants to score
67
70
  the diff against), and the `git diff`. For "what would this change break"
@@ -127,6 +130,10 @@ Pull these via `Read` when the diff demands them:
127
130
  [[`agents.md`](../devrites-lib/reference/standards/agents.md) § Result admission](../devrites-lib/reference/standards/agents.md#result-admission).
128
131
  Either `Outcome: gap` stops Review; silence, failure, or malformed output never
129
132
  becomes an empty findings list.
133
+ Under Autocomplete, before native wait return scheduling to its global frontier
134
+ pass with cohort handles retained; standalone Review stays source-local. Apply
135
+ the shared protected validation window and identity recheck before account
136
+ admission.
130
137
  4. **Reconcile, don't re-review.** With the two parallel reports in hand, the inline
131
138
  lead reconciles. It does **not** re-run the code-review axes over correctness /
132
139
  readability / architecture / maintainability that `devrites-code-reviewer` already
@@ -78,6 +78,9 @@ plan declares a root-authored executable workflow file, read
78
78
  assumptions, and state. Require approved Plan and `Decision coverage: CLEAR`;
79
79
  otherwise stop for Define or Clarify. Check placement (`get_architecture`),
80
80
  blast radius (`trace_path`), and reuse (`search_graph`) per [`code-navigation.md`](../devrites-lib/reference/standards/code-navigation.md).
81
+ Under Autocomplete, return scheduling for its
82
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
83
+ before cold/local recovery; preserve Vet's source-local return cursor.
81
84
  1. **Select depth.** Apply `reference/depth.md` exactly; never skip. Initial passes
82
85
  record engineering verdict and test-plan coverage. Valid Recovery rechecks
83
86
  retain prior depth; enter 1b.
@@ -87,12 +90,18 @@ plan declares a root-authored executable workflow file, read
87
90
  parallel under `../devrites-lib/reference/parallel-dispatch.md`: independent
88
91
  read-only passes on one frozen candidate. Missing required account blocks.
89
92
  Meanwhile run root steps 2–4, including step 3 preflight commands, on that
90
- candidate; reconcile returned accounts.
93
+ candidate. Under Autocomplete, before native wait return scheduling to its
94
+ global frontier pass with reviewer handles retained; standalone Vet stays
95
+ source-local. Apply the shared protected validation window and identity
96
+ recheck before reconciling returned accounts.
91
97
  1b. **Recovery recheck.** Require valid return cursor, accepted prior finding,
92
98
  exact fingerprint/reproduction, repaired candidate identity, changed
93
99
  paths/criteria, affected drift/evidence, and the recorded delta self-check.
94
100
  Freeze that packet and dispatch each exact owning reviewer once,
95
101
  fresh/read-only, limited to it — all its open fingerprints in that dispatch.
102
+ Under Autocomplete, before native wait use the same controller pass and retained
103
+ handles as step 1a; standalone Vet stays source-local. Apply the same
104
+ protected-window account admission.
96
105
  Do not rerun broad inventory or unaffected reviewers. Close the prior
97
106
  fingerprint only with discriminating evidence plus an explicit
98
107
  correction-created regression verdict on the touched invariants (acyclic
@@ -69,6 +69,9 @@ incomplete, stale or human-blocked future work is a planning/repair/blocked
69
69
  opportunity, not a fatal pool failure. Retain every readiness reason: fixing stale
70
70
  bindings does not waive a coexisting human/access/safety gate. Re-Vet affected
71
71
  predecessor assumptions, then record current bindings; never auto-refresh a digest.
72
+ Read archived predecessors in place through the engine's referenced read-only
73
+ readiness lookup. Never copy an archive into live `work/` merely to read/hash it:
74
+ that can resurrect stale controller leases and claims.
72
75
 
73
76
  ## Recover avoidable serialization
74
77
 
@@ -106,13 +109,28 @@ reslicing unchanged work.
106
109
 
107
110
  ## Continuous global frontier
108
111
 
109
- At entry, each landing, planning/review return and before any wait or final reply:
112
+ Autocomplete executes this bounded pass at every phase entry (including cold
113
+ Prove/Vet/Review), before phase-local recovery, on each landing/planning/review
114
+ return, and immediately before a native wait or final reply. A nested phase
115
+ returns scheduling to Autocomplete; its source-local phase/recovery return cursor
116
+ and pending native reviewer handles remain intact. This is not a second phase
117
+ controller or a persistent frontier artifact.
110
118
 
111
119
  1. Re-read controller lease, per-source state/questions/readiness and authorized
112
- sequence. Scan all stages, not only the owner's next local slice. While writers
113
- run, root advances authorized Spec → Clarify → Temper → Define/Plan → Vet,
114
- including narrow repair/re-Vet of prepared targets, under unchanged approval
115
- and safety rules. Missing human authority blocks that target, not safe siblings.
120
+ sequence. Examine every recorded authorized source once per pass, not only
121
+ the owner's next local slice or first blocked child. Prepare absent targets
122
+ through authorized native Spec → Clarify → Temper → Define/Plan → Vet; repair
123
+ and re-Vet current readiness of prepared targets now, not after owner Seal.
124
+ Assess actual source gates, claims and explicit planning/Build restrictions
125
+ before routing. Owner-local red/human/access gates withhold that owner or its
126
+ actual consumers, not independent authorized planning; true whole-run safety,
127
+ access and claim constraints still bind. Retain concrete actions or blockers
128
+ in existing source artifacts under normal write authority.
129
+ Yield a child at its pending reviewer/phase boundary back to this controller;
130
+ never recursively wait for child completion while parent returns are pending.
131
+ Reconcile available parent returns before another pass. A native wait is
132
+ justified only after concrete authorized actions/blockers across the pool
133
+ have been examined; reading later phase skills is not pending Plan/Vet work.
116
134
  If an explicit/AFK capacity change differs from retained capacity, reconcile it
117
135
  before selection using `parallel add --root <repo> --slug <controller> --cap N --json -`
118
136
  with stdin `[]`. This changes capacity only, not workers or a complete lease's
@@ -137,11 +155,14 @@ At entry, each landing, planning/review return and before any wait or final repl
137
155
  Unsupported isolation uses truthful serial owner dispatch and ordinary ordered
138
156
  handoff, never early same-tree foreign Build or concurrent same-worktree writers.
139
157
  4. Launch every selected native writer before waiting on any; keep scheduling
140
- planning and independent review while they run. Land each individually green
141
- sibling through Build review/proof and `parallel integrate --slice <key>`;
142
- refill immediately from the whole authorized pool. A red sibling repairs in
143
- place and holds its slot/paths; it does not delay independent green landings.
144
- Never satisfy a producer edge on writer return or green-but-unlanded work.
158
+ planning and independent review while they run, including while the owner
159
+ awaits Prove/Vet/Review accounts. Apply the protected window below before any
160
+ landing: defer control mutations while frozen validation is pending. Outside
161
+ that window, land each individually green sibling through Build review/proof
162
+ and `parallel integrate --slice <key>`; refill immediately from the whole pool.
163
+ A red sibling repairs in place and holds its slot/paths; it does not delay
164
+ independent safe landings. Never satisfy a producer edge on writer return or
165
+ green-but-unlanded work.
145
166
  After worker-bound review/proof and source bookkeeping finish, prune only
146
167
  verified clean integrated checkouts with `parallel prune --root <repo>
147
168
  --slug <controller>`. Retain transfer refs/lease identities; dirty or ignored
@@ -182,8 +203,17 @@ controller bookkeeping nor sibling proof closes a child's acceptance.
182
203
 
183
204
  Prove/Polish/Review/Seal remain per workspace with fresh candidate bindings. Shared
184
205
  durable Polish outputs serialize; source changes invalidate affected evidence.
185
- Before any non-lease product correction, shared durable Polish write or control
186
- checkpoint, freeze new writer admissions, drain/reconcile retained writers, land
206
+ From candidate freeze/validator dispatch through account admission, preserve the
207
+ exact candidate, control tip and all consumed metadata/validator inputs. Independent
208
+ authorized planning and isolated writers may proceed only without changing those
209
+ inputs or shared runtime resources. Defer integration, checkpoints, cross-source
210
+ corrections and consumed-artifact edits until the window closes; retained green
211
+ workers keep their identities/slots. Recheck candidate, control-tip identity and
212
+ consumed inputs before accepting each account; drift invalidates affected accounts
213
+ and requires native fresh validation, never acceptance against a moving tip.
214
+ After any protected validation window closes, before a non-lease product correction,
215
+ shared durable Polish write or control checkpoint, freeze new writer admissions,
216
+ drain/reconcile retained writers, land
187
217
  safe green work and cleanup the lease. Preserve blocked work; never force-clean
188
218
  it merely to advance a phase. Perform phase-owned correction/proof/checkpoint,
189
219
  then resume the pool from new HEAD. Never accept unrelated commits as expected
@@ -192,6 +222,10 @@ ControlTip or invent phase slices. Read-only frozen proof/review and planning-on
192
222
  Normal ordered handoff reuses the same controller and prepared child cursor.
193
223
  Never archive controller/source while retained lease owns it; clean up owned
194
224
  workers first, preserving salvage and unknown outcomes.
225
+ Global scheduling is not global gating or ordered handoff. Unmet or abandoned
226
+ owner gates remain non-green: an owner request to defer obligations routes Spec
227
+ Drift Guard → Plan → affected Vet under existing authority, or retains the blocked
228
+ source. It never becomes Prove green or Seal GO merely to reach another source.
195
229
 
196
230
  Early child WIPs can interleave with parent WIPs. Parent-only Ship must not absorb
197
231
  those commits as if parent alone were sealed. Deferred release waits for every
@@ -87,6 +87,9 @@ next sequence continuation through Vet in a second session, then stop.
87
87
 
88
88
  1. **Orient and parse.** Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding); when a workspace exists,
89
89
  require its `state.md` and read its cursor; a fresh idea starts empty at step 2.
90
+ Before phase-local cold recovery, execute the bounded
91
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier);
92
+ retain this source's return cursor and pending reviewer handles.
90
93
  Before honoring `blocked` with terminal `next_action`,
91
94
  reconcile retained consumptive evidence and fingerprint attempts from
92
95
  `drift.md`/`evidence.md`; a retained fingerprint below its cap resumes offline
@@ -117,16 +120,12 @@ next sequence continuation through Vet in a second session, then stop.
117
120
  `/rite-build` batch loop → `/rite-prove` → `/rite-polish` →
118
121
  `/rite-review` → `/rite-seal`. Read and execute each skill; durable files, not
119
122
  chat, carry state. Apply the mutable post-vet budget before first Build.
120
- Execute [`parallel-workspaces.md`](../devrites-lib/reference/parallel-workspaces.md):
121
- continuously scan the authorized recorded sequence across stages, preparing
122
- and re-Vetting future targets while writers run. Build queries the global
123
- pool with `parallel select --from-plan --slug <controller> --workspaces
124
- <controller,authorized-source,...> --cap N`; N is explicit `--parallel N`, else
125
- sentinel `max_parallel`, else 10 — one global writer cap, including explicit 1.
126
- Always pass resolved `--parallel N` to Build. Cap>1 uses an isolated first
127
- writer even when initially alone; refill globally per landing and planning/
128
- review return. Unsupported host stays serial. No local ready slice is not
129
- completion while authorized planning, repair/re-Vet or independent work remains.
123
+ Execute the shared [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
124
+ at phase entry, before recovery, on returns and before native waits, not only
125
+ during Build or after Seal. Preserve source-local phase cursors; Autocomplete
126
+ retains repository scheduling. Apply its protected validation window before
127
+ landings/checkpoints and account admission. Pass resolved `--parallel N` to
128
+ Build under its one global cap and existing admission/isolation gates.
130
129
  **Completion:** loop reaches Seal GO or persists a valid stop before any later phase.
131
130
  5. **Apply stops.** At every gate use
132
131
  [stop-conditions.md](reference/stop-conditions.md). A `blocked` label alone is not a stop condition:
@@ -67,13 +67,20 @@ Workspace files, not chat, carry state. Read/execute each phase skill:
67
67
  | 3 | `/rite-temper` | harden or reduce; `expand` and extra acceptance stop for a human; irreversible risk still pauses |
68
68
  | 4 | `/rite-define` | approved plan/tasks/traceability |
69
69
  | 5 | `/rite-vet` | every plan; derive mutable budget after READY |
70
- | 6 | `/rite-build` global frontier | execute [shared controller workflow](../../devrites-lib/reference/parallel-workspaces.md); scan authorized stages and repair/re-Vet while writers run, refill per landing under one global cap; charge each source once per landed slice |
70
+ | 6 | `/rite-build` | execute shared controller selection/admission; charge each source once per landed slice |
71
71
  | 7 | `/rite-prove` | all slices built except deferred (`Satisfies: none`); approved proof; recovery on red |
72
72
  | 8 | `/rite-polish` | re-prove after code edits |
73
73
  | 9 | `/rite-review` | in-scope correction then fresh proof |
74
74
  | 10 | `/rite-seal` | GO/NO-GO; no Git |
75
75
  | 11 | `/rite-ship` | only after GO; `--ship` never authorizes Git; stop at literal-GO/native approval |
76
76
 
77
+ At every phase entry, before cold/local recovery, on reviewer/planning returns and
78
+ before native waits, Autocomplete executes the bounded
79
+ [global frontier pass](../../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier).
80
+ Keep source-local return cursors and pending handles; apply its protected
81
+ validation window before accepting accounts or landing work. This scheduling
82
+ precedes owner Seal and does not change ordered handoff below.
83
+
77
84
  Check [stop-conditions.md](stop-conditions.md) before advancing. Discard stale
78
85
  pass evidence after source edits. Re-read the selected source before each phase per [phase target binding](../../devrites-lib/reference/parallel-workspaces.md#phase-target-binding). On a cold resume or
79
86
  new activation, run `devrites-engine check regression <slug>`: `BLOCKED` names a
@@ -34,8 +34,9 @@ TTHW, and exact signal-bearing errors; never assert DX (trigger `devex`).
34
34
  grammar/hashing. Spec Drift Guard owns revealed contract drift.
35
35
  - Root runs vetted gates/browser and records immutable evidence; proof runner
36
36
  validates it. Only the bounded wright fixes product source/tests.
37
- - **Prove remains the controlling caller** during technical backtracking. Save
38
- its cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
37
+ - **Prove remains the source-local controlling caller** during technical backtracking;
38
+ under Autocomplete, repository scheduling stays with Autocomplete. Save
39
+ Prove's cursor; run Plan repair, Recovery Vet, remediation, and re-proof inline;
39
40
  consume nested boundaries; resume the failed rung. A strategy is spent after
40
41
  three no-progress attempts on the exact same fingerprint; escalate it per the
41
42
  [retry contract](../devrites-lib/reference/standards/afk-hitl.md#retry-cap-no-progress-loops-and-self-resolve)
@@ -59,12 +60,15 @@ test changes.
59
60
  ## Workflow
60
61
 
61
62
  1. **Orient.** Read core, resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding), require `state.md`, and read its
62
- cursor. On blocked Prove cold resume, reconcile retained consumptive evidence
63
- and no-progress corrections before accepting terminal none; a distinct
64
- fingerprint below cap resumes offline triage without another real action.
63
+ cursor. Under Autocomplete, return scheduling for its
64
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
65
+ before cold/local recovery; preserve Prove's source-local return cursor.
66
+ On blocked Prove cold resume, reconcile retained consumptive evidence and
67
+ no-progress corrections before accepting terminal none; a distinct fingerprint
68
+ below cap resumes offline triage without another real action.
65
69
  2. **Freeze scope.** Read spec, tasks, state, test plan, and full diff. Require
66
- every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the controlling
67
- caller) and resumes here; it never authorizes ad hoc proof.
70
+ every slice built except a [deferred slice](../rite-plan/reference/slicing.md#deferred-slice). Missing `test-plan.md` returns to Vet inline (Prove stays the source-local
71
+ controlling caller) and resumes here; it never authorizes ad hoc proof.
68
72
  3. **Approve commands.** If absent, use
69
73
  [test-command-discovery](reference/test-command-discovery.md) over repository
70
74
  manifests/CI. Discovery is evidence only: `test-plan.md` is the sole approved runtime
@@ -118,6 +122,10 @@ test changes.
118
122
  7. **Independent validation.** Fresh read-only `devrites-proof-runner` and
119
123
  `devrites-spec-reviewer`, in one parallel wave, judge the same candidate/commands/evidence/acceptance map.
120
124
  Neither runs commands; reject missing/stale, invented-ID, label-only or self-attested reports.
125
+ Under Autocomplete, before native wait return scheduling to its global frontier
126
+ pass, retaining both validator handles. Standalone Prove stays source-local.
127
+ Apply the shared protected validation window and recheck identities before
128
+ admitting accounts.
121
129
  8. **Map proof.** Reconcile verdicts under [acceptance-proof.md](reference/acceptance-proof.md).
122
130
  Every criterion/scenario/interaction/key link needs discriminating evidence or a
123
131
  blocker, including critical-path, observability, developer and wiring branches.
@@ -61,6 +61,9 @@ Pull these via `Read` when the diff demands them:
61
61
  0. Read `.devin/skills/devrites-lib/reference/standards/core.md` first (the always-on operating rules); pull the
62
62
  on-demand rules above as the diff demands them.
63
63
  Resolve source per [phase target binding](../devrites-lib/reference/parallel-workspaces.md#phase-target-binding) before loading workspace artifacts.
64
+ Under Autocomplete, return scheduling for its
65
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
66
+ before cold/local recovery, preserving Review's source-local return cursor.
64
67
  1. Read `spec.md`, `tasks.md`, `state.md`, `decisions.md`,
65
68
  `touched-files.md`, `.devrites/principles.md` (if present: the binding invariants to score
66
69
  the diff against), and the `git diff`. For "what would this change break"
@@ -126,6 +129,10 @@ Pull these via `Read` when the diff demands them:
126
129
  [[`agents.md`](../devrites-lib/reference/standards/agents.md) § Result admission](../devrites-lib/reference/standards/agents.md#result-admission).
127
130
  Either `Outcome: gap` stops Review; silence, failure, or malformed output never
128
131
  becomes an empty findings list.
132
+ Under Autocomplete, before native wait return scheduling to its global frontier
133
+ pass with cohort handles retained; standalone Review stays source-local. Apply
134
+ the shared protected validation window and identity recheck before account
135
+ admission.
129
136
  4. **Reconcile, don't re-review.** With the two parallel reports in hand, the inline
130
137
  lead reconciles. It does **not** re-run the code-review axes over correctness /
131
138
  readability / architecture / maintainability that `devrites-code-reviewer` already
@@ -77,6 +77,9 @@ plan declares a root-authored executable workflow file, read
77
77
  assumptions, and state. Require approved Plan and `Decision coverage: CLEAR`;
78
78
  otherwise stop for Define or Clarify. Check placement (`get_architecture`),
79
79
  blast radius (`trace_path`), and reuse (`search_graph`) per [`code-navigation.md`](../devrites-lib/reference/standards/code-navigation.md).
80
+ Under Autocomplete, return scheduling for its
81
+ [global frontier pass](../devrites-lib/reference/parallel-workspaces.md#continuous-global-frontier)
82
+ before cold/local recovery; preserve Vet's source-local return cursor.
80
83
  1. **Select depth.** Apply `reference/depth.md` exactly; never skip. Initial passes
81
84
  record engineering verdict and test-plan coverage. Valid Recovery rechecks
82
85
  retain prior depth; enter 1b.
@@ -86,12 +89,18 @@ plan declares a root-authored executable workflow file, read
86
89
  parallel under `../devrites-lib/reference/parallel-dispatch.md`: independent
87
90
  read-only passes on one frozen candidate. Missing required account blocks.
88
91
  Meanwhile run root steps 2–4, including step 3 preflight commands, on that
89
- candidate; reconcile returned accounts.
92
+ candidate. Under Autocomplete, before native wait return scheduling to its
93
+ global frontier pass with reviewer handles retained; standalone Vet stays
94
+ source-local. Apply the shared protected validation window and identity
95
+ recheck before reconciling returned accounts.
90
96
  1b. **Recovery recheck.** Require valid return cursor, accepted prior finding,
91
97
  exact fingerprint/reproduction, repaired candidate identity, changed
92
98
  paths/criteria, affected drift/evidence, and the recorded delta self-check.
93
99
  Freeze that packet and dispatch each exact owning reviewer once,
94
100
  fresh/read-only, limited to it — all its open fingerprints in that dispatch.
101
+ Under Autocomplete, before native wait use the same controller pass and retained
102
+ handles as step 1a; standalone Vet stays source-local. Apply the same
103
+ protected-window account admission.
95
104
  Do not rerun broad inventory or unaffected reviewers. Close the prior
96
105
  fingerprint only with discriminating evidence plus an explicit
97
106
  correction-created regression verdict on the touched invariants (acyclic