@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.
Files changed (40) hide show
  1. package/README.md +1 -1
  2. package/dist/config.js +3 -2
  3. package/dist/extension.js +86 -35
  4. package/dist/identity.js +1 -1
  5. package/dist/loop-cli.js +1 -1
  6. package/dist/loop-tools.js +1 -1
  7. package/dist/pi-launch.js +5 -0
  8. package/dist/question-dialog.js +8 -3
  9. package/dist/questioning.js +1 -1
  10. package/dist/regenerate/activity.js +2 -0
  11. package/dist/regenerate/confine.js +1 -0
  12. package/dist/regenerate/conform.js +5 -5
  13. package/dist/regenerate/conformance-agents.js +220 -11
  14. package/dist/regenerate/conformance.js +91 -35
  15. package/dist/regenerate/debugger.js +27 -3
  16. package/dist/regenerate/environment-error.js +63 -9
  17. package/dist/regenerate/loop.js +22 -4
  18. package/dist/regenerate/notes.js +66 -17
  19. package/dist/regenerate/panel-dock.js +31 -2
  20. package/dist/regenerate/prompt.js +3 -1
  21. package/dist/regenerate/regenerate.js +35 -14
  22. package/dist/regenerate/regression.js +2 -1
  23. package/dist/regenerate/requires.js +55 -2
  24. package/dist/regenerate/side-panel.js +1 -1
  25. package/dist/regenerate/stop-report.js +13 -0
  26. package/dist/regenerate/test-scripts.js +22 -1
  27. package/dist/regenerate/unit-review.js +11 -0
  28. package/dist/regenerate-cli.js +1 -1
  29. package/dist/resume-line.js +4 -0
  30. package/dist/spec-tools.js +8 -44
  31. package/docs/authoring-plain.md +9 -6
  32. package/docs/config.md +3 -2
  33. package/docs/headless.md +2 -2
  34. package/docs/regenerating.md +75 -18
  35. package/docs/skills-and-gates.md +2 -2
  36. package/docs/using.md +5 -3
  37. package/genome/skills/bud/SKILL.md +67 -36
  38. package/genome/skills/bud/references/intent.md +4 -0
  39. package/package.json +3 -3
  40. package/genome/skills/bud/references/checklist.md +0 -44
@@ -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
- product → review. After a short feature-intent interview it asks product questions one at a time -
201
- a trigger and its outcome, an edge case, a rule - and every answer is one spec change, a git diff
202
- written with `write_spec_diff` and built the moment it is written. A change to something already
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`'s product phase `ask_user` refuses
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 - the one that diagnoses a job that failed for good, 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 |
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`, `diagnosis` | the conversation's side: the conformance chooser of `turri regenerate`, the planner's agents, the diagnosis of a failed job. Unnamed, the chat's model |
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, the conformance chooser, the diagnosis of a failed pulse |
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, the diagnosis
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
@@ -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. The review is off by default - `review: false`, or the key left out - and so is the
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. The conformance agents are
503
- shown it, before the conformance testing script.
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 says what it builds or
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, and its file tools write nothing:
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 stopped by its time limit goes back to the conformance agent without a judge: the
952
- tests' environment is its. So does a run that exits 80 - the tests pass and only their static checks do not (see
953
- [the static checks](#the-static-checks)): the findings are the tests'. A run whose script cannot find its
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
- The spec gaps a pulse's agents add are said in its report - "Spec gaps its agents met ... Put each to the user" - so
1046
- the conversation asks you, and writes the ones you decide into the spec; the gaps stay in the notes, for the agents
1047
- after, until then.
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` is
1071
- refused, and an agent that keeps calling them has its turn stopped. What
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
 
@@ -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`; **`/regen`** on regen, **`/pulses`** on the pulses; not `ctrl+j`, which a terminal without the Kitty
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 45% of the screen, and `s` again
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 - and `esc` gives the chat the keys too, the panel staying and
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: a short
5
- feature-intent interview, then product questions one at a time - a trigger and its outcome, an
6
- edge case, a rule - where every answer becomes one spec change, written as a git diff of the
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. A change that touches what is already specified or being built is a spec diff too: what
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
- review: "checks the changed spec holds together, then hands over"
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 the user picks rather than
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 until the user says the feature is fully
85
- covered:
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`.** It applies the diff and queues a render spec diff job for
110
- it; with conformance on, its conformance tests follow it. Say in one line what went into the
111
- spec - "added `:Note:` and functional spec 7" - and what became of the build, as the tool says,
112
- then ask the next question. Never wait for a build, and never ask the user to approve a change.
113
-
114
- **One answer, one change.** A follow-up about the same behavior - an edge case, a validation rule -
115
- is its own answer and its own change. An answer that describes two behaviors is two: write the
116
- first, then ask about the second. A change never carries anything the user was not asked about.
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
- When the loop reaches the end of what the brief covers, ask whether the feature is fully covered.
131
- Yes: go to the review. No: the next question.
132
-
133
- ### review
134
-
135
- A short consistency pass over what the feature changed, then the handover.
136
-
137
- 1. Read the modified `.plain` file(s) whole, and check: every new concept defined before use, with
138
- no cycles; build order right end to end - no spec depends on one after it; functional specs
139
- language-agnostic; every external interface explicit (paths, methods, arguments, formats);
140
- acceptance tests consistent with their functional specs.
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.2babf06",
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.1.0",
37
- "@earendil-works/pi-tui": "^1.1.0",
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.