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.
- package/CHANGELOG.md +10 -0
- package/README.md +1 -1
- package/docs/engine/commands.md +6 -0
- package/engine/internal/gate/readiness_binding.go +4 -3
- package/engine/internal/state/observation.go +49 -2
- package/pack/.claude/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/.claude/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/.claude/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/.claude/skills/rite-prove/SKILL.md +15 -7
- package/pack/.claude/skills/rite-review/SKILL.md +7 -0
- package/pack/.claude/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/claude/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/claude/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/claude/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/claude/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/claude/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/claude/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/codex/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/codex/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/codex/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/codex/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/codex/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/codex/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/devin/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/devin/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/devin/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/devin/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/devin/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/devin/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/dsh/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/dsh/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/dsh/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/dsh/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/dsh/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/dsh/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/omp/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/omp/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/omp/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/omp/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/omp/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/omp/skills/rite-vet/SKILL.md +10 -1
- package/pack/generated/pi/skills/devrites-lib/reference/parallel-workspaces.md +46 -12
- package/pack/generated/pi/skills/rite-autocomplete/SKILL.md +9 -10
- package/pack/generated/pi/skills/rite-autocomplete/reference/loop.md +8 -1
- package/pack/generated/pi/skills/rite-prove/SKILL.md +15 -7
- package/pack/generated/pi/skills/rite-review/SKILL.md +7 -0
- package/pack/generated/pi/skills/rite-vet/SKILL.md +10 -1
- 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
|
|
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
|
-
|
|
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.
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
and
|
|
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
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
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
|
-
|
|
186
|
-
|
|
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 [
|
|
122
|
-
|
|
123
|
-
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
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`
|
|
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
|
|
39
|
-
|
|
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.
|
|
64
|
-
|
|
65
|
-
|
|
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
|
|
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
|
|
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
|
-
|
|
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.
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
and
|
|
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
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
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
|
-
|
|
186
|
-
|
|
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 [
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
124
|
-
|
|
125
|
-
|
|
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`
|
|
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
|
|
38
|
-
|
|
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.
|
|
63
|
-
|
|
64
|
-
|
|
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
|
|
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
|
|
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
|