@turri-dev/cli 0.1.3-next.2babf06 → 0.1.3-next.420ce7e
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/README.md +1 -1
- package/dist/config.js +3 -2
- package/dist/extension.js +86 -35
- package/dist/identity.js +1 -1
- package/dist/loop-cli.js +1 -1
- package/dist/loop-tools.js +1 -1
- package/dist/pi-launch.js +5 -0
- package/dist/question-dialog.js +8 -3
- package/dist/questioning.js +1 -1
- package/dist/regenerate/activity.js +2 -0
- package/dist/regenerate/confine.js +1 -0
- package/dist/regenerate/conform.js +5 -5
- package/dist/regenerate/conformance-agents.js +220 -11
- package/dist/regenerate/conformance.js +91 -35
- package/dist/regenerate/debugger.js +27 -3
- package/dist/regenerate/environment-error.js +63 -9
- package/dist/regenerate/loop.js +22 -4
- package/dist/regenerate/notes.js +66 -17
- package/dist/regenerate/panel-dock.js +31 -2
- package/dist/regenerate/prompt.js +3 -1
- package/dist/regenerate/regenerate.js +35 -14
- package/dist/regenerate/regression.js +2 -1
- package/dist/regenerate/requires.js +55 -2
- package/dist/regenerate/side-panel.js +1 -1
- package/dist/regenerate/stop-report.js +13 -0
- package/dist/regenerate/test-scripts.js +22 -1
- package/dist/regenerate/unit-review.js +11 -0
- package/dist/regenerate-cli.js +1 -1
- package/dist/resume-line.js +4 -0
- package/dist/spec-tools.js +8 -44
- package/docs/authoring-plain.md +9 -6
- package/docs/config.md +3 -2
- package/docs/headless.md +2 -2
- package/docs/regenerating.md +75 -18
- package/docs/skills-and-gates.md +2 -2
- package/docs/using.md +5 -3
- package/genome/skills/bud/SKILL.md +67 -36
- package/genome/skills/bud/references/intent.md +4 -0
- package/package.json +3 -3
- package/genome/skills/bud/references/checklist.md +0 -44
package/docs/authoring-plain.md
CHANGED
|
@@ -196,18 +196,21 @@ the reading that fits the rest of the spec, and marks each such decision in its
|
|
|
196
196
|
code, environment and turri problems to the builds, and stops when a functionality keeps
|
|
197
197
|
struggling after the spec was clarified, when two cycles change nothing, or after twenty.
|
|
198
198
|
|
|
199
|
-
For an existing project, `bud` works the same way, scoped to one feature: intent → scope →
|
|
200
|
-
|
|
201
|
-
|
|
202
|
-
|
|
199
|
+
For an existing project, `bud` works the same way, scoped to one feature: intent → scope → product.
|
|
200
|
+
It first asks how many questions the product phase may ask - light, medium, thorough or best
|
|
201
|
+
judgement, as `brood` does - then a short feature-intent interview, then product questions - a
|
|
202
|
+
trigger and its outcome, an edge case, a rule - and every answer is a spec change, a git diff
|
|
203
|
+
written with `write_spec_diff` and built the moment it is written, before the next question. What
|
|
204
|
+
the questions leave open it decides itself, a spec change each. A change to something already
|
|
203
205
|
specified, built or still to build, is put to the user first and is a spec diff too: what is left to
|
|
204
|
-
build is worked out again from the spec.
|
|
206
|
+
build is worked out again from the spec. It ends on the person's confirmation of a short summary of
|
|
207
|
+
the feature's changes.
|
|
205
208
|
|
|
206
209
|
What keeps the interview honest is the harness, not the interviewer:
|
|
207
210
|
|
|
208
211
|
- **Every question offers choices** (`ask_user` refuses a question without them), and each
|
|
209
212
|
answer maps to one spec change.
|
|
210
|
-
- **Every answer is written before the next question.** In `brood`
|
|
213
|
+
- **Every answer is written before the next question.** In the product phase of `brood` and `bud`, `ask_user` refuses
|
|
211
214
|
a new question until the last answer is a spec change - see [skills and gates](skills-and-gates.md).
|
|
212
215
|
- **Each phase ends on the person's confirmation** of a short summary, not on the interviewer's word.
|
|
213
216
|
|
package/docs/config.md
CHANGED
|
@@ -122,7 +122,7 @@ models: # each agent role's model, thinking and tur
|
|
|
122
122
|
| key | what it sets | left out |
|
|
123
123
|
| --- | --- | --- |
|
|
124
124
|
| `module` | the `.plain` file `turri regenerate` and the chat's `regenerate` build when none is named, from the project root | a file has to be named |
|
|
125
|
-
| `harness-model` | the model `turri` starts on - the one you talk to -
|
|
125
|
+
| `harness-model` | the model `turri` starts on - the one you talk to - and, in the conversation, the planner that cuts the work into jobs (on whatever model the chat is on when it plans); under `turri regenerate`, the planner too | pi's configured model |
|
|
126
126
|
| `coding-model` | every render: functionalities, spec diffs, conformance tests, repairs, planning spec diffs, the explorer | `harness-model` |
|
|
127
127
|
| `judge-model` | the judge and the test review of a conformance run | `coding-model` |
|
|
128
128
|
| `conformance-tests` | `all` (or `true`): conformance tests for every functional spec of every module with test reqs, written once each module's code is built, before anything is built on it. `chosen`: for the functional specs chosen - every one with acceptance tests, and those the chooser picks as each code pulse ends, from what that pulse regenerated. `module`: the same, but the chooser is asked once, when the whole module is regenerated, and plans the conformance pulses too. Under both, the choice is made inside the pulse, before anything is built on the module, and the pulse's report says what was chosen and why; those the person asks for with `conform` are written too; once chosen, a functional spec keeps them, and they are rewritten when it changes - see [who chooses, and when](regenerating.md#conformance-tests-in-the-work-loop). `false`: none written, and none of the existing ones run - until the conversation asks with `conform` | `false` |
|
|
@@ -158,7 +158,8 @@ wrong type, as if it were not there. `model:`, from before there were separate m
|
|
|
158
158
|
| --- | --- |
|
|
159
159
|
| `default` | every role not named below - but the conversation's side |
|
|
160
160
|
| `chat` | `turri`'s model - the same as `harness-model`, which it wins over |
|
|
161
|
-
| `chooser`, `planner
|
|
161
|
+
| `chooser`, `planner` | the conversation's side: the conformance chooser of `turri regenerate`, the planner's agents. Unnamed, the chat's model |
|
|
162
|
+
| `diagnosis` | the diagnosis of a job that failed for good: why it did not land, and what to do. Unnamed, the coding model the job ran on, thinking medium |
|
|
162
163
|
| `release` | `turri release`'s agent and release-after-pulse's: it follows steps - a script, a start command - so it runs on the coding model, thinking low |
|
|
163
164
|
| `coding` | the coding agent, the code fixer of a conformance run and the repair agent - the same as `coding-model`, which it wins over. `--model` on the command line, or a model chosen in the conversation (`engine`), wins over both |
|
|
164
165
|
| `conformance` | the conformance agent |
|
package/docs/headless.md
CHANGED
|
@@ -81,7 +81,7 @@ Useful options - `turri regenerate --help` lists all of them:
|
|
|
81
81
|
|
|
82
82
|
| | |
|
|
83
83
|
| --- | --- |
|
|
84
|
-
| `--harness-model <provider/id>` | `harness-model`: the planner
|
|
84
|
+
| `--harness-model <provider/id>` | `harness-model`: the planner and the conformance chooser |
|
|
85
85
|
| `--coding-model <provider/id>` | `coding-model` (`--model` too): the agents that build - with `:level` for how hard it thinks (`provider/id:high`); not given, the harness model's |
|
|
86
86
|
| `--judge-model <provider/id>` | `judge-model`: the judge and the test review; not given, the coding model |
|
|
87
87
|
| `--conformance-tests <all\|chosen\|module\|false>` | `conformance-tests`, with its values (`true` is `all`) |
|
|
@@ -151,7 +151,7 @@ changes meaning or goes; new fields may appear in the same version. Paths in `pu
|
|
|
151
151
|
"conformance_tests": "all", // all | chosen | module | false
|
|
152
152
|
"review": false,
|
|
153
153
|
"models": {
|
|
154
|
-
"harness": { "model": "…", "thinking": "medium" }, // the planner, the chooser
|
|
154
|
+
"harness": { "model": "…", "thinking": "medium" }, // the planner, the chooser
|
|
155
155
|
"coding": { "model": "…", "thinking": "low" },
|
|
156
156
|
"judge": { "model": "…", "thinking": "medium" },
|
|
157
157
|
"observed": { "coding": ["provider/id:low"], "planner": ["provider/id:medium"] } // what each role really ran on
|
package/docs/regenerating.md
CHANGED
|
@@ -112,6 +112,10 @@ the planner's, the spec-steps agent's, the conformance agents' - is laid out in
|
|
|
112
112
|
A module that `requires` another inherits its functional specs; one that `import`s another
|
|
113
113
|
inherits its definitions, implementation reqs and test reqs.
|
|
114
114
|
|
|
115
|
+
An import module - one a `.plain` file imports, or one kept in a `template/` folder - is no codebase of its own. A
|
|
116
|
+
change to it is built in the modules that import it, through any import modules between, whose code is started; when
|
|
117
|
+
none is, nothing is built, and the change goes in with the first of them built.
|
|
118
|
+
|
|
115
119
|
Template search order: the plain file's own directory, then a sibling `template/`, then
|
|
116
120
|
`--template-dir`, then `PLAIN_TEMPLATE_DIRS`.
|
|
117
121
|
|
|
@@ -160,6 +164,10 @@ runs the unit testing script itself**, and only that run counts (see
|
|
|
160
164
|
tried. An agent circles a cause it has not thought of - an in-memory database every connection opens
|
|
161
165
|
empty, a test runner that leaves the code off its path - and this is the way out. The rounds go on as
|
|
162
166
|
before, up to 20; should the same failure come round three times again, the debugger looks again.
|
|
167
|
+
**A run the time limit stopped** is looked at by the debugger at once, told how long the run had and that the limit
|
|
168
|
+
stopped it: it finds what hangs - the root cause and the fix, as above - or that nothing does, the run getting on up
|
|
169
|
+
to the limit and needing more time than a test run may take. Then the pulse stops, rolled back and not retried, and
|
|
170
|
+
the person is told to raise `TURRI_COMMAND_TIMEOUT` or make the suite faster.
|
|
163
171
|
- **It goes round in circles in its own runs.** An agent stuck on a failure can try the same few changes in
|
|
164
172
|
turn - three signatures of a stand-in function, say - and run the tests after each, dozens of times in one
|
|
165
173
|
turn. Its own `run_unit_tests` runs are watched (`createLoopWatch` in `test-scripts.ts`): the code folder back
|
|
@@ -262,7 +270,8 @@ Passing unit tests prove only what they check, and a coding agent is quick to wr
|
|
|
262
270
|
next to nothing - that a function exists, that a result is not empty, that a status is 200 - or code
|
|
263
271
|
that no test reaches. So, with `review: true` in the [config](config.md), once the unit testing script
|
|
264
272
|
passes a reviewer on the judge model reads what the work wrote, beside the spec, and changes nothing. It
|
|
265
|
-
reviews both halves
|
|
273
|
+
reviews both halves, with the unit testing script word for word in its prompt: a test the script never reaches is
|
|
274
|
+
not run, and checks nothing. The review is off by default - `review: false`, or the key left out - and so is the
|
|
266
275
|
conformance tests' review: the work goes on once its tests pass.
|
|
267
276
|
|
|
268
277
|
- **The code.** Every behaviour, edge case, validation rule and error the spec states for this work
|
|
@@ -499,8 +508,9 @@ testing script, stops before it starts and says which skill adds it.
|
|
|
499
508
|
`prepare-environment-script:` in the config, else the one `prepare_environment*.sh` at the root, else in
|
|
500
509
|
`test_scripts/` - on the build, before every run of the conformance testing script: the harness's own, and the agents'
|
|
501
510
|
`run_conformance_tests`. Both get the same build folder - the code in place, or the same fresh copy - so what it sets up
|
|
502
|
-
for that build, the conformance testing script finds. With conformance off it is not run.
|
|
503
|
-
|
|
511
|
+
for that build, the conformance testing script finds. With conformance off it is not run. Every agent shown the
|
|
512
|
+
conformance testing script - the explorer, the conformance agent, the judge, the code fixer and the repair agent - is
|
|
513
|
+
shown it too, before the conformance testing script.
|
|
504
514
|
|
|
505
515
|
**Where they run.** On this machine, as you would run them: unfenced - no sandbox, no command check, no audit - in
|
|
506
516
|
your own environment with this machine's toolchains, turri's model providers' API keys alone left out. They are yours,
|
|
@@ -577,10 +587,20 @@ not an install:
|
|
|
577
587
|
> **lunch stopped: turri's sandbox kept its agents from reading `…/mise/installs/node/24.16.0/lib/node_modules/npm/bin/npm-cli.js` - it is on this machine; nothing is missing.**
|
|
578
588
|
> To fix: let the agents read that toolchain - add its folder to `toolchains:` in config.turri.yaml, keeping what is there: `toolchains: [/Users/…/mise/installs/node/24.16.0]`. Nothing needs installing.
|
|
579
589
|
|
|
590
|
+
A write the sandbox refused is told apart from a read - a report naming a lock file (`*.lock`, `*.lck`, `lockfile`, even
|
|
591
|
+
one never made), or saying a write, a create or a lock not taken. No setting lets the agents write outside their
|
|
592
|
+
module's folders, their own home and temporary folder and the package caches, and `toolchains:` only lets them read; so
|
|
593
|
+
the stop names the lock and what fixes it instead. In your home - a tool that found it without `$HOME`, as a JVM does for
|
|
594
|
+
`user.home` - it is having the tool use `$HOME` (`-Duser.home=$HOME` where the build starts its JVM); in a toolchain's own
|
|
595
|
+
install, it is a setting of the tool's that keeps the write elsewhere, or a copy of the toolchain that keeps its writes in
|
|
596
|
+
its cache. The agents are told such a refusal is the sandbox's, to report at once - not to work around it for half an
|
|
597
|
+
hour.
|
|
598
|
+
|
|
580
599
|
**The conversation heals it.** Told of the stop, it never regenerates the module again before the cause is fixed - a pulse
|
|
581
600
|
stopped on its environment stops the same way again - and fixes what it can:
|
|
582
601
|
|
|
583
|
-
- **hidden by the sandbox**: it adds the folder to `toolchains:` itself, says so in a line, and resumes
|
|
602
|
+
- **hidden by the sandbox**: it adds the folder to `toolchains:` itself, says so in a line, and resumes - a refused
|
|
603
|
+
write, which no setting fixes, it fixes in the project's own files when it can, and otherwise tells you what to do;
|
|
584
604
|
- **a toolchain or a tool missing** - a JDK, Maven, Go, uv: it looks first for one installed off the PATH - Homebrew's opt
|
|
585
605
|
folders, `/Library/Java/JavaVirtualMachines`, mise, asdf, sdkman, nvm - then asks you, with the exact command for this
|
|
586
606
|
machine (`brew install openjdk@21`, `mise use -g java@21`), and on your yes runs it in its shell, checks the command is
|
|
@@ -822,7 +842,8 @@ coding agent that fixes the code is told the same of the tests: it can read them
|
|
|
822
842
|
Before the test author starts, an explorer - an agent in
|
|
823
843
|
the code's folder with the file tools alone: it reads the code, runs nothing and changes nothing - hands over everything
|
|
824
844
|
the author needs, in parts: how to build and run it; how the conformance tests reach it as the project's
|
|
825
|
-
conformance testing script runs them - the explorer is given the script, and
|
|
845
|
+
conformance testing script runs them - the explorer is given the script, and the prepare script before it where there
|
|
846
|
+
is one, and says what they build or
|
|
826
847
|
installs and what the tests depend on or start (a package, a module, an entry point, by its exact name);
|
|
827
848
|
how each functionality is reached from outside
|
|
828
849
|
(the command, or the route, method and the request and response fields); what it needs around it; and
|
|
@@ -896,10 +917,17 @@ agent is told that a failure of the software itself - it does not build or start
|
|
|
896
917
|
spec says it must not - is not the tests' to work around. When it fails, a judge - an agent that reads
|
|
897
918
|
the code and the tests, changes neither, and holds both to the spec - decides which is wrong. It has the
|
|
898
919
|
file tools and the web (`web_search`, `web_fetch`), to look up what a service the code calls answers - no shell: it
|
|
899
|
-
judges from the code, the tests, the spec and the failing run's output,
|
|
920
|
+
judges from the code, the tests, the spec, the conformance testing script word for word and the failing run's output,
|
|
921
|
+
and its file tools write nothing. The explorer's account of how the code is invoked is in its prompt too, marked as
|
|
922
|
+
written before the run and possibly wrong: the judge checks what it uses of it against the script and the files, and
|
|
923
|
+
gives in `evidence` what it found itself. The script is fixed - neither agent can change it - so it is never the
|
|
924
|
+
culprit: what it does with the tests, the tests fit; what it needs of the build, the code provides.
|
|
900
925
|
|
|
901
926
|
- **the code:** the coding agent - in the code's folder, reading the tests but never changing them - fixes it,
|
|
902
|
-
and keeps its unit tests passing
|
|
927
|
+
and keeps its unit tests passing. The judge quotes the spec's own words the code does not meet, or the testing
|
|
928
|
+
script's for what it needs of the build (`script_needs`: a build output, an entry point, a module) - each checked
|
|
929
|
+
by the harness against the text it quotes. The acceptance tests are in that text, labelled as their tests are:
|
|
930
|
+
for a spec change, those of every functional spec it touches, not only the last one's;
|
|
903
931
|
- **the tests:** the conformance agent corrects them to what the spec says;
|
|
904
932
|
- **the spec:** two functional specs cannot both hold, whatever the code does;
|
|
905
933
|
- **the environment:** neither the code nor the tests can fix it - only the person can, in what the run is given:
|
|
@@ -941,16 +969,41 @@ spending the rest of its 20 attempts on it. Two failures are the same once what
|
|
|
941
969
|
taken out of their lines - numbers, times, paths, colour codes, and the ids a service makes up for each
|
|
942
970
|
response, a UUID or a correlation id. Nothing changes either when the agent sent to fix the code or the tests
|
|
943
971
|
changes no file: two such fixes in a row, and the run stops. The conformance agent has the testing script in its prompt,
|
|
944
|
-
and is told to fit the tests' own build to it.
|
|
972
|
+
and is told to fit the tests' own build to it. The code fixer has the testing scripts its fixes are run by - the
|
|
973
|
+
conformance testing script, the prepare script before it, and the unit testing script - word for word in its task:
|
|
974
|
+
what the conformance testing script needs of the build, it reads there, not only in the judge's quote of it.
|
|
975
|
+
|
|
976
|
+
**Escalation.** A failure judged the tests' goes to the conformance agent first: it owns the tests. When the run then
|
|
977
|
+
fails the same way - the fix changed nothing, or nothing that mattered - the judge is asked again, now whether the
|
|
978
|
+
failure belongs to the code rather than the tests: the run failing on something the code is meant to produce (a build
|
|
979
|
+
output, an entry point, a module the testing script needs), or the tests running and the behaviour itself being
|
|
980
|
+
wrong. Its verdict, either way, has to rest on evidence it gathered: each piece from a file it opened (the harness
|
|
981
|
+
keeps track of what it read, listed and searched), the testing script or the failing run - and not the run alone.
|
|
982
|
+
A verdict without it is sent back; a verdict of code still without it is taken as the tests'. Judged the tests'
|
|
983
|
+
again, the failure stays with the conformance agent, and a fix that changes nothing counts towards stopping as
|
|
984
|
+
before. Judged the code's, it is escalated to the coding agent, handed the script's error, the conformance tests as
|
|
985
|
+
they stand and the judge's reason and evidence (`the script runs dist/cli.js; the build emits dist/src/cli.js`). Its
|
|
986
|
+
fix has to build and pass the unit tests, then the suite runs again. Should the run still fail the same way - or the
|
|
987
|
+
fix change nothing - the run stops there, with the judge's reasoning and evidence in what the person is told. Each of
|
|
988
|
+
these runs is one of the run's 20 attempts, so a failure neither agent can fix stops in three of them.
|
|
945
989
|
|
|
946
990
|
Every attempt is written into the working notes' pitfalls by the harness as cause and effect - what
|
|
947
991
|
the run failed with, how it was judged, and which files the agent sent to fix it changed; the next
|
|
948
992
|
attempt's line says what came of it - and each judge reads them first, so it does not send a
|
|
949
993
|
failure the way that already failed. A run that does not pass is undone whole, its notes with it.
|
|
950
994
|
|
|
951
|
-
Then the suite runs again. A run
|
|
952
|
-
|
|
953
|
-
|
|
995
|
+
Then the suite runs again. A run that exits 80 goes back to the conformance agent without a judge - the tests pass and
|
|
996
|
+
only their static checks do not (see [the static checks](#the-static-checks)): the findings are the tests'.
|
|
997
|
+
|
|
998
|
+
**Timing.** Every run is shown to the judge, the debugger and whoever fixes it with how long it ran against its time
|
|
999
|
+
limit (`runTiming` in `test-scripts.ts`): `This run ended on its own - exit 1, after 37.2s of the 120.0s a test run
|
|
1000
|
+
may take`, or `The time limit stopped this run: it had run 120.0s of the 120.0s ...` - so none takes a run that
|
|
1001
|
+
ended on its own for one the limit stopped, or the other way. A run the time limit stopped is judged like any other,
|
|
1002
|
+
and the judge is told what keeps a run from finishing: the code hangs (it waits on input, keeps a server in the
|
|
1003
|
+
foreground, never exits) - the code's; a test waits for what never comes - the tests'; or nothing hangs, the output
|
|
1004
|
+
showing the run getting on up to the limit, and it needs more time than a test run may take - the environment. That
|
|
1005
|
+
verdict stops the pulse at once, rolled back and not retried, and the person is told to raise `TURRI_COMMAND_TIMEOUT`
|
|
1006
|
+
or make the suite faster - no agent can give a run more time. A run whose script cannot find its
|
|
954
1007
|
toolchain stops the pulse instead - see [when the environment lacks something](#when-the-environment-lacks-something).
|
|
955
1008
|
Unit tests failing after the suite passes go to the coding agent. It goes round up to 20 times; still failing, the work is undone.
|
|
956
1009
|
|
|
@@ -1024,8 +1077,7 @@ both. Each set goes where its folder goes - copied up the chain, committed, roll
|
|
|
1024
1077
|
| --- | --- |
|
|
1025
1078
|
| Where things are | entry points, layout, where each functionality lives |
|
|
1026
1079
|
| How to build, run and test | the commands that work, what had to be installed |
|
|
1027
|
-
| Assumptions | what an agent assumed where the spec is silent - a format, a default, a choice it leaves open |
|
|
1028
|
-
| Spec gaps | what the spec should say and does not - a behaviour the person would want to decide, as the question it leaves |
|
|
1080
|
+
| Assumptions | what an agent assumed where the spec is silent - a format, a default, a choice it leaves open - and the tests that assert it, when any do; one no test asserts is written down all the same |
|
|
1029
1081
|
| Pitfalls | what went wrong and what fixed it - and what the debugger found, filed by turri itself |
|
|
1030
1082
|
| Pulses | written by turri alone, as each pulse ends: the last ten, a line each |
|
|
1031
1083
|
|
|
@@ -1042,9 +1094,14 @@ it landed, a commit of its own (`pulse 3 rolled back: …`) when it did not - so
|
|
|
1042
1094
|
commit, keeps it. `update_notes` refuses the section. What the debugger finds is filed in the pitfalls the moment it
|
|
1043
1095
|
finds it, not left to the coding agent to write down.
|
|
1044
1096
|
|
|
1045
|
-
|
|
1046
|
-
the
|
|
1047
|
-
|
|
1097
|
+
A spec gap - what the spec should say and does not, a behaviour you would want to decide - is not a note: the notes
|
|
1098
|
+
are the next agent's, and a gap is yours. An agent reports one with `report_spec_gap`, giving the question it leaves
|
|
1099
|
+
and the assumption it made meanwhile; turri writes that assumption into the notes' assumptions, so the code built on
|
|
1100
|
+
it is known for what it is. The gaps a pulse's agents report are said in its report - "Spec gaps its agents met ... Put
|
|
1101
|
+
each to the user", each with its assumption - so the conversation asks you, and writes the ones you decide into the
|
|
1102
|
+
spec; the pulse that builds the answer finds the assumption it replaces in the notes, and the tests it names. However many gaps a pulse's agents report, they
|
|
1103
|
+
are put to you - never a reason to stop the pulse; the tool is guarded like any other. A notes
|
|
1104
|
+
file from before keeps no spec gaps section: its lines are dropped as it is read.
|
|
1048
1105
|
|
|
1049
1106
|
Stubborn on the specs, flexible on the assumptions: the spec is never an assumption and never
|
|
1050
1107
|
copied into the notes, and where the two disagree the spec wins. An agent builds on the assumptions
|
|
@@ -1067,8 +1124,8 @@ Leaving notes is required, and only through the `update_notes` tool. The file to
|
|
|
1067
1124
|
notes file, and a change made to it any other way - from the shell, by a script - is undone. An agent
|
|
1068
1125
|
that finishes without calling `update_notes` is asked again, up to three times; if it still has not,
|
|
1069
1126
|
the activity log says so. The turn that asks is for the notes alone: the work is done - its testing script's run
|
|
1070
|
-
passed, and the agent is told so first, so its notes speak of work that succeeded - so every tool but `update_notes`
|
|
1071
|
-
refused, and an agent that keeps calling
|
|
1127
|
+
passed, and the agent is told so first, so its notes speak of work that succeeded - so every tool but `update_notes` and
|
|
1128
|
+
`report_spec_gap` is refused, and an agent that keeps calling the refused ones has its turn stopped. What
|
|
1072
1129
|
landed is what the harness checked; nothing changes after it. Only work that lands is asked: a job whose code or tests do not pass - or whose
|
|
1073
1130
|
testing script cannot run - is rolled back, notes and all, so its agent is not asked to leave any.
|
|
1074
1131
|
|
package/docs/skills-and-gates.md
CHANGED
|
@@ -52,7 +52,7 @@ last one - one answer, one change, as an interview writes them. `spawn` is unpac
|
|
|
52
52
|
each change to write the next at once, not to carry on with an interview it does not have.
|
|
53
53
|
|
|
54
54
|
`questioning:` under `metadata:` names the steps the questioning level caps (`src/questioning.ts`) - `brood`'s
|
|
55
|
-
`[stack, product]`. When there are any and someone to ask, the harness itself asks the first question of the first
|
|
55
|
+
`[stack, product]`, `bud`'s `[product]`. When there are any and someone to ask, the harness itself asks the first question of the first
|
|
56
56
|
step: how many questions those steps may ask - light (3), medium (5), thorough (10) or best judgement - and tells the
|
|
57
57
|
agent the answer beside each step's instructions, with how broad each question is to be: broad at light, a whole area
|
|
58
58
|
at once, narrow at thorough, an edge case at a time. Every level covers the same ground, in less or more depth. In a
|
|
@@ -63,7 +63,7 @@ questions each step has asked, are kept in the run's `run.json`, so a resumed ru
|
|
|
63
63
|
or a run with nobody to ask, is not capped.
|
|
64
64
|
|
|
65
65
|
`spec-diff-per-answer:` under `metadata:` names the steps where every answer is a spec change - `brood`'s
|
|
66
|
-
`[product]`, at every questioning level. There `ask_user` refuses the next question until the last answer is written
|
|
66
|
+
and `bud`'s `[product]`, at every questioning level. There `ask_user` refuses the next question until the last answer is written
|
|
67
67
|
with `write_spec_diff` (a confirmation, or a question dismissed, owes nothing), and `write_spec_diff` no longer waits
|
|
68
68
|
for an answer before a change: the agent writes as many as the step needs, those it decides itself included. The
|
|
69
69
|
level limits the questions, never the spec changes.
|
package/docs/using.md
CHANGED
|
@@ -127,11 +127,11 @@ come waits for a free slot, and says so.
|
|
|
127
127
|
as GitHub names a hunk's function: each section is named once.
|
|
128
128
|
- **The side panel** (`ctrl+h`, as it was left - but on the pulse that last failed, stopped or did not pass, when one has
|
|
129
129
|
since it was last opened: the live panel that showed it is gone with the last pulse, and its announcement in the chat
|
|
130
|
-
says `ctrl+h shows this pulse`; **`/
|
|
130
|
+
says `ctrl+h shows this pulse`; **`/pulses`** on the pulses; not `ctrl+j`, which a terminal without the Kitty
|
|
131
131
|
keyboard protocol sends as a line feed, the same as `shift+enter`, and which a dialog takes for
|
|
132
132
|
`enter`; both stay pi's new-line keys. `ctrl+h` is the byte old terminals sent for backspace; a
|
|
133
133
|
terminal set to send `^H` for its Backspace key would open the panel on it) takes the whole screen - the panel or the chat, one at a time -
|
|
134
|
-
or, `s`, sits beside the chat: the chat on the left, the panel in the right
|
|
134
|
+
or, `s`, sits beside the chat: the chat on the left, the panel in the right half of the screen, and `s` again
|
|
135
135
|
over the whole screen. It opens as it was last left, for the conversation; a terminal under 100 columns has
|
|
136
136
|
no room for both and shows the panel over the whole screen.
|
|
137
137
|
It opens on **regen**: the spec itself, in full, with how much of it the code has been regenerated from drawn
|
|
@@ -218,7 +218,9 @@ come waits for a free slot, and says so.
|
|
|
218
218
|
said and did is not shown - it is in each pulse's log (see [Agent logs](#agent-logs)).
|
|
219
219
|
|
|
220
220
|
`ctrl+h` again, or `esc`, closes it and goes back to the chat. Beside the chat, a click decides which side has
|
|
221
|
-
the keys - the chat or the panel, the one clicked
|
|
221
|
+
the keys - the chat or the panel, the one clicked, or the one `⌥⌘←` / `⌥⌘→` points at (on a
|
|
222
|
+
terminal that passes ⌘ on, over the Kitty keyboard protocol - Ghostty, kitty, WezTerm, iTerm2; not Apple's Terminal);
|
|
223
|
+
the other is drawn faint - and `esc` gives the chat the keys too, the panel staying and
|
|
222
224
|
following the pulses; `ctrl+h` gives the panel the keys again, and from the panel closes it. (pi's regular screen,
|
|
223
225
|
`--tui-mode regular`, reads no mouse: there it is the keys alone.)
|
|
224
226
|
While the panel has the keys, every key is the panel's,
|
|
@@ -1,11 +1,13 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: bud
|
|
3
3
|
description: >-
|
|
4
|
-
Add a feature to an existing ***plain project the way `brood` builds one:
|
|
5
|
-
|
|
6
|
-
|
|
4
|
+
Add a feature to an existing ***plain project the way `brood` builds one: it first asks how many
|
|
5
|
+
questions the product phase may ask - light, medium, thorough or best judgement, broader with
|
|
6
|
+
fewer - then a short feature-intent interview, then product questions - a trigger and its outcome,
|
|
7
|
+
an edge case, a rule - where every answer becomes a spec change, written as a git diff of the
|
|
7
8
|
.plain files and built the moment it is written, so the feature appears while the interview is
|
|
8
|
-
still going.
|
|
9
|
+
still going. What the questions leave open it decides itself, each decision a spec change of its
|
|
10
|
+
own. A change that touches what is already specified or being built is a spec diff too: what
|
|
9
11
|
is left to build is worked out again from the spec. Use when the user wants to add a
|
|
10
12
|
feature to an existing project. Not for starting a new project (use `brood`, or `spawn`
|
|
11
13
|
to start fast) or for editing generated code (the .plain specs are the source of truth).
|
|
@@ -16,7 +18,12 @@ metadata:
|
|
|
16
18
|
intent: "what the feature is for, who it serves, and what it leaves out"
|
|
17
19
|
scope: "finds where the feature goes in the spec, and what is built already"
|
|
18
20
|
product: "the feature, question by question - each answer starts a regenerate pulse"
|
|
19
|
-
|
|
21
|
+
# The phase the questioning level caps, asked by the harness as the first question: light 3,
|
|
22
|
+
# medium 5, thorough 10, best judgement as many as turri judges the phase needs.
|
|
23
|
+
questioning: [product]
|
|
24
|
+
# Every answer in the product phase is a spec change: the next question waits until it is
|
|
25
|
+
# written with write_spec_diff. Changes turri decides itself need no answer before them.
|
|
26
|
+
spec-diff-per-answer: [product]
|
|
20
27
|
---
|
|
21
28
|
|
|
22
29
|
# Bud
|
|
@@ -37,10 +44,36 @@ the spec."
|
|
|
37
44
|
This is `brood`'s product phase, scoped to one feature, on top of what is there: the stack,
|
|
38
45
|
the testing setup and every earlier feature are settled - read them, build on them, restart none.
|
|
39
46
|
|
|
47
|
+
## How many questions
|
|
48
|
+
|
|
49
|
+
The first question of the intent phase is the harness's own, not yours: how many questions the
|
|
50
|
+
**product** phase may ask. The level sets how many questions there are and so how broad each is -
|
|
51
|
+
never what they cover:
|
|
52
|
+
|
|
53
|
+
| level | product questions | each question |
|
|
54
|
+
| --- | --- | --- |
|
|
55
|
+
| light | at most 3 | broad: the whole feature at once - what it does end to end, its main rules - with what fits the brief proposed, for the person to confirm or correct |
|
|
56
|
+
| medium | at most 5 | one part of the feature, with its main rules |
|
|
57
|
+
| thorough | at most 10 | narrow: one trigger, rule or edge case, with follow-ups on the ones that matter |
|
|
58
|
+
| best judgement | as many as you judge the feature needs | as broad or as narrow as each part needs |
|
|
59
|
+
|
|
60
|
+
The intent phase is not capped. Follow-ups count; the closing confirmation - asked with
|
|
61
|
+
`confirms_phase: true` - does not. Past the cap `ask_user` refuses the question. To stop sooner, or
|
|
62
|
+
under best judgement once the feature is settled enough to build, call `end_questions`.
|
|
63
|
+
|
|
64
|
+
The level limits the questions, never the spec changes. **Every answer is a spec change**, whatever
|
|
65
|
+
the level: written with `write_spec_diff` and built at once, before the next question - `ask_user`
|
|
66
|
+
refuses the next one until it is. A broad answer that covers several behaviours is several changes,
|
|
67
|
+
and you write them all. What the questions leave open - the details of a light answer, what is left
|
|
68
|
+
once they are over - is yours to decide, as a careful engineer would, in the light of the brief: each
|
|
69
|
+
decision a spec change of its own, written with `write_spec_diff` with no answer needed before it,
|
|
70
|
+
and said in one line. The closing summary names every decision you made yourself, so the
|
|
71
|
+
confirmation is where the person can change it.
|
|
72
|
+
|
|
40
73
|
## Question style
|
|
41
74
|
|
|
42
|
-
- Ask with `ask_user`, one question per call, and pass `options` so
|
|
43
|
-
types - concrete choices, plus the free-form catch-all the tool adds. Reserve `free_form: true`
|
|
75
|
+
- Ask with `ask_user`, one question per call, as broad as the level says, and pass `options` so
|
|
76
|
+
the user picks rather than types - concrete choices, plus the free-form catch-all the tool adds. Reserve `free_form: true`
|
|
44
77
|
for a genuinely open question.
|
|
45
78
|
- Ask about the product - a trigger and its outcome, an edge case, a rule, a permission, a step of
|
|
46
79
|
a flow - never about a spec section ("which concepts?", "what reqs?"). Let the answer decide which
|
|
@@ -55,6 +88,9 @@ the testing setup and every earlier feature are settled - read them, build on th
|
|
|
55
88
|
|
|
56
89
|
### intent
|
|
57
90
|
|
|
91
|
+
The harness has asked how many questions the product phase may ask before this phase starts; its
|
|
92
|
+
note beside these instructions gives the answer. Do not ask it again.
|
|
93
|
+
|
|
58
94
|
Read `references/intent.md` and ask its five core questions one at a time with `ask_user`. Ask at
|
|
59
95
|
most one focused follow-up when an answer is too vague to summarize. If what the user has already
|
|
60
96
|
said answers a question, confirm it in one line instead of asking.
|
|
@@ -81,8 +117,8 @@ Say in one line where the feature goes, and move on. Write nothing to disk.
|
|
|
81
117
|
|
|
82
118
|
### product
|
|
83
119
|
|
|
84
|
-
The feature, walked question by question. Run this loop
|
|
85
|
-
|
|
120
|
+
The feature, walked question by question. Run this loop while the questioning level allows (see
|
|
121
|
+
"How many questions"):
|
|
86
122
|
|
|
87
123
|
1. **Ask** one product question with `ask_user`.
|
|
88
124
|
2. The user **answers**.
|
|
@@ -106,14 +142,17 @@ covered:
|
|
|
106
142
|
Write it as a git diff: `diff --git a/<file> b/<file>`, `--- a/<file>`, `+++ b/<file>`, then the
|
|
107
143
|
hunks with a few lines of unchanged context, paths from the project root. A new functional spec
|
|
108
144
|
goes where it belongs in build order - after what it builds on, usually at the end.
|
|
109
|
-
4. **Write it with `write_spec_diff
|
|
110
|
-
it; with conformance on, its conformance tests follow it.
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
145
|
+
4. **Write it with `write_spec_diff` at once**, before anything else. It applies the diff and starts
|
|
146
|
+
a render spec diff job for it; with conformance on, its conformance tests follow it. An answer
|
|
147
|
+
that covers several behaviours is a change for each: write them all. Then the changes for what
|
|
148
|
+
you decide yourself around it, if any. Say in one line what went into the spec - "added `:Note:`
|
|
149
|
+
and functional spec 7" - and what became of the build, as the tool says, then ask the next
|
|
150
|
+
question. Never wait for a build, and never ask the user to approve a change.
|
|
151
|
+
|
|
152
|
+
**One answer, at least one change.** A follow-up about the same behaviour - an edge case, a
|
|
153
|
+
validation rule - is its own answer and its own change. An answer that describes two behaviours is
|
|
154
|
+
two changes, both written before the next question. A change never carries both an answer and
|
|
155
|
+
something you decided: what you decide is a change of its own.
|
|
117
156
|
|
|
118
157
|
**What already exists.** When an answer - or the conflict check - means changing something already
|
|
119
158
|
specified: a definition, a req, a functional spec, built or still queued, the next question is
|
|
@@ -127,22 +166,14 @@ is taken out, one it touches renders the spec as it now is.
|
|
|
127
166
|
**Fix your own mistakes in place.** When a later answer refines or contradicts a change you wrote in
|
|
128
167
|
this feature, write the correction as its own diff with `fixes_earlier`, before the next question.
|
|
129
168
|
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
|
|
141
|
-
2. Run `validate` on every module the feature touched.
|
|
142
|
-
3. Fix what either finds with a spec diff and `fixes_earlier` - never by editing the file. Ask the
|
|
143
|
-
user only when a fix is a decision the brief and the answers do not settle.
|
|
144
|
-
|
|
145
|
-
Walk `references/checklist.md` once, as a self-audit. Then hand over in a few lines: the feature's
|
|
146
|
-
spec changes in order, the builds they queued and how they stand (`drift`), and that any
|
|
147
|
-
further change is asked for in the conversation - each one a spec diff, and what is left to build is
|
|
148
|
-
worked out again from the spec. The next feature starts again from the intent.
|
|
169
|
+
Once the questions are over - the cap reached, or `end_questions` called - write what is left of
|
|
170
|
+
the feature the same way: one decision of yours, one spec change, with no answer between. Then run
|
|
171
|
+
`validate` on every module the feature touched, and fix what it finds with a spec diff and
|
|
172
|
+
`fixes_earlier`.
|
|
173
|
+
|
|
174
|
+
Finish by summarizing the feature's spec changes in build order, marking what you decided without
|
|
175
|
+
asking, saying what is built and what is still queued (`drift`), and getting explicit confirmation
|
|
176
|
+
with `confirms_phase: true`. The summary is for the person to take in at a glance - a line a change,
|
|
177
|
+
each decision you made yourself in a few words, about fifteen lines at most, never the specs'
|
|
178
|
+
wording. Any further change is asked for in the conversation, each one a spec diff; the next
|
|
179
|
+
feature starts again from the intent.
|
|
@@ -3,6 +3,10 @@
|
|
|
3
3
|
Extract the intent of this feature before choosing files or authoring specifications. Ask exactly
|
|
4
4
|
five core questions, one at a time, and do not write to disk.
|
|
5
5
|
|
|
6
|
+
The harness has already asked the first question of this phase: how many questions the product
|
|
7
|
+
phase may ask - light (3), medium (5), thorough (10) or best judgement. Do not ask it again; this
|
|
8
|
+
phase's own questions are not capped by it.
|
|
9
|
+
|
|
6
10
|
## Questions
|
|
7
11
|
|
|
8
12
|
1. **Motivation** — What problem or limitation should this feature address?
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@turri-dev/cli",
|
|
3
|
-
"version": "0.1.3-next.
|
|
3
|
+
"version": "0.1.3-next.420ce7e",
|
|
4
4
|
"license": "MIT",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"repository": {
|
|
@@ -33,8 +33,8 @@
|
|
|
33
33
|
"grammar:sync": "node scripts/sync-plyn-grammar.mjs"
|
|
34
34
|
},
|
|
35
35
|
"dependencies": {
|
|
36
|
-
"@earendil-works/pi-coding-agent": "^1.
|
|
37
|
-
"@earendil-works/pi-tui": "^1.
|
|
36
|
+
"@earendil-works/pi-coding-agent": "^1.2.0",
|
|
37
|
+
"@earendil-works/pi-tui": "^1.2.0",
|
|
38
38
|
"@langchain/langgraph": "1.4.15",
|
|
39
39
|
"gray-matter": "^4.0.3",
|
|
40
40
|
"js-yaml": "^5.4.2",
|
|
@@ -1,44 +0,0 @@
|
|
|
1
|
-
# Bud Checklist
|
|
2
|
-
|
|
3
|
-
Use this to verify the workflow was followed - never as a substitute for it. Walk it once in the
|
|
4
|
-
review step, before the handover. A box counts only when the change is in the `.plain` files, not
|
|
5
|
-
merely discussed; an unmet box is completed with a spec diff before finishing.
|
|
6
|
-
|
|
7
|
-
## Intent
|
|
8
|
-
|
|
9
|
-
- [ ] Asked the five core questions of `references/intent.md` one at a time - or confirmed in one
|
|
10
|
-
line what the user had already said - with at most one clarification for a vague answer.
|
|
11
|
-
- [ ] Wrote nothing to disk before the brief was confirmed.
|
|
12
|
-
- [ ] Summarized motivation, affected user, desired outcome, observable success criterion, and
|
|
13
|
-
boundary with explicit exclusions; got explicit confirmation.
|
|
14
|
-
|
|
15
|
-
## Scope
|
|
16
|
-
|
|
17
|
-
- [ ] Read the target `.plain` file(s) whole, with their `import` and `requires` chains, and the
|
|
18
|
-
config that says whether conformance tests are on.
|
|
19
|
-
- [ ] Asked which module only when it was genuinely ambiguous.
|
|
20
|
-
|
|
21
|
-
## Every product question
|
|
22
|
-
|
|
23
|
-
- [ ] Asked exactly one question via `ask_user`, about the product - a trigger and outcome, an edge
|
|
24
|
-
case, a rule, a permission, a step of a flow - never about a spec section.
|
|
25
|
-
- [ ] Turned the answer into exactly one spec change, across every section it needed, and wrote it
|
|
26
|
-
with `write_spec_diff` - never with `write` or `edit`.
|
|
27
|
-
- [ ] Concepts defined in the same change as, or before, what first uses them; no cycles.
|
|
28
|
-
- [ ] Every functional spec follows `add-functional-spec`'s rules, passed its complexity and
|
|
29
|
-
conflict checks, and sits in build order; one too big was split with the user.
|
|
30
|
-
- [ ] Every change to something already specified - built or still queued - was put to the user
|
|
31
|
-
first (keep / augment / replace) and written as a diff with `fixes_earlier`.
|
|
32
|
-
- [ ] Every correction of this feature's own changes was a diff with `fixes_earlier`, before the
|
|
33
|
-
next question.
|
|
34
|
-
- [ ] `***test reqs***` and `***acceptance tests***` only with conformance tests on.
|
|
35
|
-
- [ ] Asked whether the feature is fully covered before leaving the loop.
|
|
36
|
-
|
|
37
|
-
## Review
|
|
38
|
-
|
|
39
|
-
- [ ] Read the modified `.plain` file(s) whole and checked: concepts defined before use, no cycles,
|
|
40
|
-
build order right end to end, functional specs language-agnostic, every external interface
|
|
41
|
-
explicit, acceptance tests consistent with their functional specs.
|
|
42
|
-
- [ ] Ran `validate` on every module touched, and fixed what it reported with spec diffs.
|
|
43
|
-
- [ ] Handed over: the spec changes in order, the builds they queued and how they stand, and that
|
|
44
|
-
further changes are asked for in the conversation as spec diffs.
|