@mjasnikovs/pi-task 0.38.19 → 0.38.21

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 (44) hide show
  1. package/README.md +1 -0
  2. package/dist/config/config.d.ts +19 -0
  3. package/dist/config/config.js +10 -2
  4. package/dist/config/reasoning-args.d.ts +10 -0
  5. package/dist/config/reasoning-args.js +23 -0
  6. package/dist/config/reasoning.d.ts +160 -0
  7. package/dist/config/reasoning.js +530 -0
  8. package/dist/config/register.d.ts +72 -2
  9. package/dist/config/register.js +291 -38
  10. package/dist/shared/model-endpoint.d.ts +34 -0
  11. package/dist/shared/model-endpoint.js +36 -0
  12. package/dist/shared/reasoning-capability.d.ts +86 -0
  13. package/dist/shared/reasoning-capability.js +82 -0
  14. package/dist/task/child-runner.d.ts +19 -26
  15. package/dist/task/child-runner.js +48 -6
  16. package/dist/task/decompose-fidelity.d.ts +21 -8
  17. package/dist/task/decompose-fidelity.js +98 -17
  18. package/dist/task/gate-child.d.ts +10 -0
  19. package/dist/task/gate-child.js +1 -0
  20. package/dist/task/gate-deps.js +4 -0
  21. package/dist/task/implementation-thinking.d.ts +54 -0
  22. package/dist/task/implementation-thinking.js +33 -0
  23. package/dist/task/orchestrator.d.ts +7 -0
  24. package/dist/task/orchestrator.js +42 -14
  25. package/dist/task/phases.js +47 -24
  26. package/dist/task/prompts.d.ts +0 -23
  27. package/dist/task/prompts.js +0 -25
  28. package/dist/task/reasoning-groups.d.ts +36 -0
  29. package/dist/task/reasoning-groups.js +36 -0
  30. package/dist/task/spec-validation.d.ts +28 -0
  31. package/dist/task/spec-validation.js +44 -0
  32. package/dist/task/title-label.js +2 -2
  33. package/dist/workers/docs-core.js +4 -0
  34. package/dist/workers/fetch-core.js +4 -0
  35. package/dist/workers/focused-extractor.d.ts +12 -1
  36. package/dist/workers/focused-extractor.js +6 -2
  37. package/dist/workers/index.js +2 -0
  38. package/dist/workers/pi-worker-core.d.ts +22 -0
  39. package/dist/workers/pi-worker-core.js +24 -6
  40. package/dist/workers/pi-worker-docs.js +4 -0
  41. package/dist/workers/pi-worker.js +11 -1
  42. package/dist/workers/reasoning-warning.d.ts +64 -0
  43. package/dist/workers/reasoning-warning.js +142 -0
  44. package/package.json +1 -1
@@ -114,11 +114,22 @@ const CARRY_FORWARD_REASONS = new Set([
114
114
  * at no particular column and does not repeat that shape.
115
115
  */
116
116
  export function hasAnswerContent(text) {
117
- const entryish = text
118
- .split('\n')
119
- .map(l => l.replace(/^\s*(?:[-*•]|\d+[.)])\s+/, '').trim())
120
- .filter(l => /^\S.*?(?:\s{2,}|\s+[—–-]\s+)\S/.test(l) && !/[.:]$/.test(l));
121
- return entryish.length >= 2;
117
+ return text.split('\n').filter(isEntryLine).length >= 2;
118
+ }
119
+ /**
120
+ * Is ONE line an entry — a name, a gap, then a description — rather than prose?
121
+ *
122
+ * Split out of `hasAnswerContent` so the same rule can decide what a line IS,
123
+ * not just how many of them there are. A FILES section's paths are read back
124
+ * with it, and a scorer that used its own idea of an entry counted a preamble
125
+ * sentence and a leaked `</tool_call>` as invented paths.
126
+ *
127
+ * Prose wraps at no particular column, so it carries no two-space gap and no
128
+ * spaced dash; when it does, it ends in `.` or `:` and an entry does not.
129
+ */
130
+ export function isEntryLine(raw) {
131
+ const l = raw.replace(/^\s*(?:[-*•]|\d+[.)])\s+/, '').trim();
132
+ return /^\S.*?(?:\s{2,}|\s+[—–-]\s+)\S/.test(l) && !/[.:]$/.test(l);
122
133
  }
123
134
  /**
124
135
  * Frame a discarded attempt's output as work already done.
@@ -420,7 +431,14 @@ function commandWatch(timeoutMs) {
420
431
  }
421
432
  export async function runWorker(input) {
422
433
  const tools = input.tools ?? DEFAULT_TOOLS;
423
- const baseArgs = [...childBaseArgs(input.extensions ?? []), '--mode', 'json', '--tools', tools];
434
+ const baseArgs = [
435
+ ...childBaseArgs(input.extensions ?? []),
436
+ ...(input.thinking ?? []),
437
+ '--mode',
438
+ 'json',
439
+ '--tools',
440
+ tools
441
+ ];
424
442
  const timeoutMs = input.timeoutMs ?? RESEARCH_WORKER_TIMEOUT_MS;
425
443
  let hint = null;
426
444
  // Loop-kill and timeout share one restart budget, mirroring
@@ -14,6 +14,7 @@ import { normalizeQuery } from './research-cache.js';
14
14
  import { projectDocsRaw, buildProjectPrompt } from './docs-project.js';
15
15
  import { projectDocsBudget, projectDocsBudgetExhausted } from '../task/research-fanout-budget.js';
16
16
  import { isAbstention } from './abstention.js';
17
+ import { groupThinkingArgs } from '../config/reasoning-args.js';
17
18
  const RENDER_QUERY_MAX = 100;
18
19
  const Params = Type.Object({
19
20
  module: Type.String({
@@ -137,6 +138,9 @@ export function registerPiWorkerDocs(pi, internals = {}) {
137
138
  cwd: ctx.cwd,
138
139
  signal,
139
140
  spawn,
141
+ // The `extraction` group's level. Resolved at the call site so the
142
+ // extractor itself never reads ambient config.
143
+ thinking: groupThinkingArgs('extraction'),
140
144
  abortedMessage
141
145
  });
142
146
  // ── Project source lookup ───────────────────────────────────────
@@ -8,6 +8,7 @@
8
8
  */
9
9
  import { Text } from '@earendil-works/pi-tui';
10
10
  import { Type } from '@sinclair/typebox';
11
+ import { groupThinkingArgs } from '../config/reasoning-args.js';
11
12
  import { runWorker } from './pi-worker-core.js';
12
13
  import { childFailureReason, formatChildFailure, makeWorkerTool, workerAnswer, workerUnavailable } from './shared.js';
13
14
  const RENDER_PROMPT_MAX = 120;
@@ -38,7 +39,16 @@ export function registerPiWorker(pi) {
38
39
  + '- The task needs the web — use `pi-worker-search` / `pi-worker-fetch`',
39
40
  parameters: WorkerParams,
40
41
  async run(params, signal, ctx) {
41
- const result = await runWorker({ prompt: params.prompt, cwd: ctx.cwd, signal });
42
+ // Grouped with `research`: this is the same read-only exploration
43
+ // loop the four research workers run, just dispatched by a model
44
+ // rather than by the pipeline. Left ungrouped it would be the one
45
+ // child that never honoured a profile.
46
+ const result = await runWorker({
47
+ prompt: params.prompt,
48
+ cwd: ctx.cwd,
49
+ signal,
50
+ thinking: groupThinkingArgs('research')
51
+ });
42
52
  const details = { exitCode: result.exitCode };
43
53
  const failure = formatChildFailure(result, 'Worker aborted.');
44
54
  if (failure !== null) {
@@ -0,0 +1,64 @@
1
+ /**
2
+ * One-line startup hint shown when /task-config asks for a thinking level the
3
+ * connected model will not honour.
4
+ *
5
+ * WHY IT HAS TO EXIST. pi never says it ignored or downgraded a level. Measured
6
+ * live with a proxy on the request body: a model with `reasoning: false` given
7
+ * `--thinking medium` sends no reasoning field at all, and a model whose
8
+ * `thinkingLevelMap` nulls `off` given `--thinking off` is clamped UP to
9
+ * `medium` — thinking stays on. Both are silent. A reasoning profile the user
10
+ * set and the model erased is worse than no profile feature, because it looks
11
+ * like it worked.
12
+ *
13
+ * ANTI-NAG. This warns once per session and clears on the first keystroke, and
14
+ * that is the whole mechanism — deliberately no "already warned about model X"
15
+ * file. Such a record goes stale the moment models.json is edited, and would
16
+ * suppress the warning at exactly the moment a `/model` switch made it true.
17
+ * brave-warning.ts nags every session for a standing misconfiguration and that
18
+ * is correct; this is the same class. The real anti-nag is `inherit`: with the
19
+ * shipped all-`inherit` table, `reasoningMismatches` returns empty for every
20
+ * model and nothing renders at all.
21
+ */
22
+ import type { ExtensionAPI } from '@earendil-works/pi-coding-agent';
23
+ import { type PiTaskConfig } from '../config/config.js';
24
+ import { REASONING_GROUPS, resolveReasoning } from '../config/reasoning.js';
25
+ import { type ReasoningMismatch } from '../shared/reasoning-capability.js';
26
+ /** Every group's current setting, in the shape `reasoningMismatches` wants. */
27
+ export type GroupSettings = Array<{
28
+ group: (typeof REASONING_GROUPS)[number];
29
+ setting: ReturnType<typeof resolveReasoning>;
30
+ }>;
31
+ /**
32
+ * Read every group's effective setting from a config.
33
+ *
34
+ * Takes the config rather than calling `getConfig()` so the caller decides where
35
+ * it comes from. A test that has to mutate the live singleton to drive this is a
36
+ * test whose result depends on whatever the developer had saved before it ran.
37
+ */
38
+ export declare function settingsFrom(cfg: PiTaskConfig): GroupSettings;
39
+ /**
40
+ * The warning line for a set of mismatches.
41
+ *
42
+ * Names the MODEL it checked, because children carry no `-m` and resolve pi's
43
+ * default model, which need not be the host session's — a warning that does not
44
+ * say what it looked at cannot be acted on. Names at most two groups; the count
45
+ * carries the rest, since a line long enough to list seven is a line nobody
46
+ * reads.
47
+ */
48
+ export declare function formatReasoningWarning(modelName: string, mismatches: readonly ReasoningMismatch[]): string | null;
49
+ /**
50
+ * The extra cause line, when the SERVER disagrees with models.json.
51
+ *
52
+ * This is the `/login llama.cpp` case and the only thing the host-side clamp
53
+ * cannot see: pi's built-in llama.cpp provider hardcodes `reasoning: false`, so
54
+ * a perfectly capable server is described to pi as having no reasoning at all.
55
+ * Returns null whenever the two agree, or when there was nothing to compare.
56
+ */
57
+ export declare function formatCapabilityConflict(serverSupportsEffort: boolean | null, modelDeclaresReasoning: boolean): string | null;
58
+ export declare function registerReasoningWarning(pi: ExtensionAPI,
59
+ /**
60
+ * Where the group settings come from. Defaults to the live config, read at
61
+ * `session_start` so a /task-config change since the last session counts.
62
+ * Injected by tests, which must not depend on the developer's saved config.
63
+ */
64
+ readSettings?: () => GroupSettings): void;
@@ -0,0 +1,142 @@
1
+ /**
2
+ * One-line startup hint shown when /task-config asks for a thinking level the
3
+ * connected model will not honour.
4
+ *
5
+ * WHY IT HAS TO EXIST. pi never says it ignored or downgraded a level. Measured
6
+ * live with a proxy on the request body: a model with `reasoning: false` given
7
+ * `--thinking medium` sends no reasoning field at all, and a model whose
8
+ * `thinkingLevelMap` nulls `off` given `--thinking off` is clamped UP to
9
+ * `medium` — thinking stays on. Both are silent. A reasoning profile the user
10
+ * set and the model erased is worse than no profile feature, because it looks
11
+ * like it worked.
12
+ *
13
+ * ANTI-NAG. This warns once per session and clears on the first keystroke, and
14
+ * that is the whole mechanism — deliberately no "already warned about model X"
15
+ * file. Such a record goes stale the moment models.json is edited, and would
16
+ * suppress the warning at exactly the moment a `/model` switch made it true.
17
+ * brave-warning.ts nags every session for a standing misconfiguration and that
18
+ * is correct; this is the same class. The real anti-nag is `inherit`: with the
19
+ * shipped all-`inherit` table, `reasoningMismatches` returns empty for every
20
+ * model and nothing renders at all.
21
+ */
22
+ import { getConfig } from '../config/config.js';
23
+ import { REASONING_GROUPS, resolveReasoning } from '../config/reasoning.js';
24
+ import { reasoningMismatches } from '../shared/reasoning-capability.js';
25
+ import { probeChatTemplateCaps } from '../shared/model-endpoint.js';
26
+ const WIDGET_KEY = 'pi-task-reasoning-warning';
27
+ /**
28
+ * Read every group's effective setting from a config.
29
+ *
30
+ * Takes the config rather than calling `getConfig()` so the caller decides where
31
+ * it comes from. A test that has to mutate the live singleton to drive this is a
32
+ * test whose result depends on whatever the developer had saved before it ran.
33
+ */
34
+ export function settingsFrom(cfg) {
35
+ return REASONING_GROUPS.map(group => ({ group, setting: resolveReasoning(group, cfg) }));
36
+ }
37
+ /**
38
+ * The warning line for a set of mismatches.
39
+ *
40
+ * Names the MODEL it checked, because children carry no `-m` and resolve pi's
41
+ * default model, which need not be the host session's — a warning that does not
42
+ * say what it looked at cannot be acted on. Names at most two groups; the count
43
+ * carries the rest, since a line long enough to list seven is a line nobody
44
+ * reads.
45
+ */
46
+ export function formatReasoningWarning(modelName, mismatches) {
47
+ if (mismatches.length === 0)
48
+ return null;
49
+ const shown = mismatches
50
+ .slice(0, 2)
51
+ .map(m => `${m.group} ${m.wanted}→${m.actual}`)
52
+ .join(', ');
53
+ const rest = mismatches.length > 2 ? ` (+${mismatches.length - 2} more)` : '';
54
+ return (`⚠ pi-task: model "${modelName}" will not run the reasoning levels /task-config asks `
55
+ + `for — ${shown}${rest}. pi clamps to what the model declares. Fix "reasoning" / `
56
+ + '"thinkingLevelMap" for it in ~/.pi/agent/models.json, or set those steps back to '
57
+ + '"inherit" in /task-config');
58
+ }
59
+ /**
60
+ * The extra cause line, when the SERVER disagrees with models.json.
61
+ *
62
+ * This is the `/login llama.cpp` case and the only thing the host-side clamp
63
+ * cannot see: pi's built-in llama.cpp provider hardcodes `reasoning: false`, so
64
+ * a perfectly capable server is described to pi as having no reasoning at all.
65
+ * Returns null whenever the two agree, or when there was nothing to compare.
66
+ */
67
+ export function formatCapabilityConflict(serverSupportsEffort, modelDeclaresReasoning) {
68
+ if (serverSupportsEffort === null)
69
+ return null;
70
+ if (serverSupportsEffort && !modelDeclaresReasoning) {
71
+ return (" — the server's chat template DOES support reasoning; it is the model entry pi is "
72
+ + 'using that says reasoning:false. `/login llama.cpp` hardcodes that, so a '
73
+ + 'hand-written models.json provider entry is the fix');
74
+ }
75
+ if (!serverSupportsEffort && modelDeclaresReasoning) {
76
+ return " — the server's chat template does not read reasoning_effort, so only on/off takes effect";
77
+ }
78
+ return null;
79
+ }
80
+ export function registerReasoningWarning(pi,
81
+ /**
82
+ * Where the group settings come from. Defaults to the live config, read at
83
+ * `session_start` so a /task-config change since the last session counts.
84
+ * Injected by tests, which must not depend on the developer's saved config.
85
+ */
86
+ readSettings = () => settingsFrom(getConfig())) {
87
+ pi.on('session_start', (_event, ctx) => {
88
+ // Terminal-only hint: needs an interactive TUI to render and to catch the
89
+ // keystroke that dismisses it.
90
+ if (ctx.mode !== 'tui')
91
+ return;
92
+ const model = ctx.model;
93
+ const mismatches = reasoningMismatches(model, readSettings());
94
+ if (mismatches.length === 0)
95
+ return;
96
+ const base = formatReasoningWarning(model?.name ?? model?.id ?? 'unknown', mismatches);
97
+ if (base === null)
98
+ return;
99
+ let unsubscribe = null;
100
+ let cleared = false;
101
+ const clear = () => {
102
+ cleared = true;
103
+ try {
104
+ ctx.ui.setWidget(WIDGET_KEY, undefined);
105
+ }
106
+ catch {
107
+ /* stale ctx after a session switch — nothing to clear */
108
+ }
109
+ unsubscribe?.();
110
+ unsubscribe = null;
111
+ };
112
+ const render = (text) => {
113
+ try {
114
+ ctx.ui.setWidget(WIDGET_KEY, [ctx.ui.theme.fg('warning', text)]);
115
+ return true;
116
+ }
117
+ catch {
118
+ return false;
119
+ }
120
+ };
121
+ if (!render(base))
122
+ return;
123
+ unsubscribe = ctx.ui.onTerminalInput(() => {
124
+ clear();
125
+ return undefined;
126
+ });
127
+ // Fire-and-forget: the server probe only ever REFINES the cause line, so
128
+ // it must not delay the warning or be able to prevent it. A 2s budget and
129
+ // a swallowed failure mean a non-llama.cpp backend costs nothing.
130
+ if (model?.baseUrl) {
131
+ void probeChatTemplateCaps(model.baseUrl)
132
+ .then(caps => {
133
+ if (cleared || caps === null)
134
+ return;
135
+ const extra = formatCapabilityConflict(caps.supportsReasoningEffort, model.reasoning);
136
+ if (extra)
137
+ render(base + extra);
138
+ })
139
+ .catch(() => { });
140
+ }
141
+ });
142
+ }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@mjasnikovs/pi-task",
3
- "version": "0.38.19",
3
+ "version": "0.38.21",
4
4
  "description": "Deterministic task planning and spec-orchestration for local models — crash-safe /task pipelines with verify/enforce gates, a real-time remote web view, and web/docs/fetch/worker subagent tools.",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",