bare-agent 0.22.0 → 0.24.0

package/README.md

@@ -94,7 +94,7 @@ Every piece works alone — take what you need, ignore the rest. Two axes: **Act
 
 ### Recurse — break a hard task into a tree *(the RLM primitive)*
 
-`recurse(task, ctx, opts)` does **decompose → fan-out → verify → synthesize** in one call — Recursive Language Models as a single import, composed *around* the Loop (never a new engine). The default is **model-driven**: the worker is handed a `spawn_child` tool and decides whether to split, bounded by depth + bareguard (no second guard layer). Forced fan-out (`count` / `mode:'fanout'`) and data-driven width (`mode:'partition'`, measured from a corpus) are opt-in. Give workers a stance with `opts.persona` (prepended to every worker, carries down the tree, deliberately kept out of the isolated verifier). The headline guarantee: **aggregation is code, never a model-stated number**, and a dead worker or exhausted guard returns an honest `{ incomplete, missingSlices }` — never a faked pass.
+`recurse(task, ctx, opts)` does **decompose → fan-out → verify → synthesize** in one call — Recursive Language Models as a single import, composed *around* the Loop (never a new engine). The default is **model-driven**: the worker is handed a `spawn_child` tool and decides whether to split, bounded by depth + bareguard (no second guard layer). Forced fan-out (`count` / `mode:'fanout'`) and data-driven width (`mode:'partition'`, measured from a corpus) are opt-in. Give workers a stance with `opts.persona` (prepended to every worker, carries down the tree, deliberately kept out of the isolated verifier), and tell them *where they are* with `opts.context` (a read-only paths/cwd blob threaded to every worker so a sliced child can locate its artifact — facts, not a stance). For a leaf that should self-correct, pass `opts.refineLeaf` (opt-in): a definite leaf becomes a bounded generate→sense→regenerate loop driven by *your* deterministic sensor (test/compile/lint), feeding the gap back (with escalating temperature on models that accept it; on a temperature-fixed model like `claude-sonnet-5` the gap critique carries recovery, and the receipt records the effective temps). The headline guarantee: **aggregation is code, never a model-stated number**, and a dead worker or exhausted guard returns an honest `{ incomplete, missingSlices }` — never a faked pass.
 
 Over a corpus, context reaches a worker as a **handle routed by question shape** (`opts.retrieval`):
 
@@ -121,7 +121,7 @@ console.log(result.count, result.matchedIds);   // a code-derived count + the id
 
 **Govern — one gate over both axes.** `wireGate(gate)` routes every LLM + tool call through one bareguard policy + audit + budget. Denied tools never reach the model; halts (turn / budget / content caps) exit cleanly. `require('bare-agent/bareguard')`
 
-**Providers:** OpenAI-compatible (OpenAI, OpenRouter, Groq, vLLM, LM Studio), Anthropic, Gemini (native), Ollama, CLIPipe, Fallback — or bring your own (one `generate` method). All return the same shape; swap freely. Usage including prompt-cache tiers is normalized, so `result.metrics` reports honest cumulative tokens + cost — and `null`, never a silent `0`, for a model it couldn't price.
+**Providers:** OpenAI-compatible (OpenAI, OpenRouter, Groq, vLLM, LM Studio), Anthropic, Gemini (native), Ollama, CLIPipe, Fallback — or bring your own (one `generate` method). All return the same shape; swap freely. Usage including prompt-cache tiers is normalized, so `result.metrics` reports honest cumulative tokens + cost — and `null`, never a silent `0`, for a model it couldn't price. A model that rejects a non-default `temperature` (e.g. `claude-sonnet-5`, OpenAI o1/gpt-5-class return a `400`) is handled gracefully — the provider drops the param and retries once rather than failing the call, surfacing `temperatureDropped` so a caller can report the effective value.
 
 **Tools:** Any function is a tool — REST, MCP, CLI, shell. Built-in web + mobile (optional).
 

package/bareagent.context.md

@@ -1,7 +1,7 @@
 # bareagent — Integration Guide
 
 > For AI assistants and developers wiring bareagent into a project.
-> v0.22.0 | Node.js >= 18 | zero required deps (`bareguard ^0.9.0` optional peer for governance) | Apache 2.0
+> v0.24.0 | Node.js >= 18 | zero required deps (`bareguard ^0.9.0` optional peer for governance) | Apache 2.0
 >
 > Full human guide with composition examples, design philosophy, and recipes: [Usage Guide](docs/02-features/usage-guide.md)
 
@@ -37,6 +37,8 @@ Eight entry points:
 | Decompose a hard task into a verified tree (RLM) | recurse — decompose → fan-out → verify → synthesize in one call (**wire a gate**, cost is open by design) |
 | Count / answer "how many / all" over a corpus, honestly | recurse(task, ctx, `{ corpus, retrieval: 'scan' }`) — scans every slice, CODE-counts |
 | Give recurse workers a persona/role (senior-dev stance) | recurse(task, ctx, `{ persona }`) — prepended to every worker, carries down the tree; not applied to the verifier |
+| Tell recurse workers WHERE they are (paths/cwd) so a slice can find its file | recurse(task, ctx, `{ context }`) — read-only blob on every worker's task message + the Planner + verifier; carries down (facts, not a stance) |
+| Let a recurse LEAF retry its own failure with a deterministic check | recurse(task, ctx, `{ refineLeaf: { sensor } }`) — leaf becomes a bounded generate→sense→regenerate loop; your sensor (test/compile/lint), gap fed back, escalating temperature |
 | Track task state (pending/running/done/failed) | StateMachine |
 | Run agent turns on a schedule (cron, timers) | Scheduler |
 | Require human approval before dangerous actions | Checkpoint |
@@ -669,7 +671,18 @@ const out = await recurse('Audit auth.js, billing.js, gateway.js for authz bugs'
 });
 ```
 
-**What a delegated child inherits (important — the setpoint is the TOP node's job):** when a worker delegates with `spawn_child`, the child runs a **fresh `recurse`** that inherits `tools`, `synthesize`, `maxDepth`, and `persona` — but the parent's **`contract`/`evaluate` are stripped** (and the forced `count`/`mode` + the corpus `retrieval` knobs). A slice is not graded against the *whole*-task definition-of-done (that verdict is the top node's, and a slice satisfying the whole DoD is the wrong question); only the top `recurse` verifies the synthesized result. The non-overridable `critical → force-verify` safety floor still fires per node (it keys on the task text, not the contract). So: set `contract`/`evaluate` once at the top; they do not — and should not — re-run per intermediate node.
+**Worker context (`opts.context`, v0.23.0):** a read-only working-context string (paths/cwd) PREPENDED to every worker's TASK message as a `Working context:` block — so a sliced child can **locate its artifact** (the Planner paraphrases the goal into subtasks and drops absolute paths; without this, workers guess `.`/`~`/`/tmp` and get denied). Forwarded to the Planner as `info` (path-aware slices) and shown to the verifier too (neutral FACTS, not a stance — distinct from `persona`, which is a privileged SYSTEM-prompt stance). Carries down the tree. **Security:** it still becomes part of the prompt, so pass caller-trusted run-state only, never untrusted/end-user text (lower-privilege than `persona` — user message, not system — but still an injection surface). Absent ⇒ the task message is unchanged.
+
+**Leaf self-correction (`opts.refineLeaf`, v0.23.0, opt-in):** turn a **definite leaf** (a node offered no `spawn_child` — `simple` tier or at `maxDepth`) into a bounded generate→sense→regenerate loop instead of a single pass: `{ sensor, maxIterations?, temperatures? }`. `sensor(result, { task, context, contract }) → Verdict` is YOUR **deterministic** close (test/compile/lint — not a model judge); on a non-pass its `critique` (the gap, not the transcript) is fed FRESH into the next attempt and — **on models that accept `temperature`** — the **retry temperature ESCALATES** (default `[0.2, 0.7, 1.0]` — load-bearing there: a weak model at a flat temperature regenerates identical wrong code and ignores even crisp feedback). On a **temperature-fixed model** (e.g. `claude-sonnet-5`, which 400s any non-default temperature) the provider silently drops the param (see below), the escalation lever is inert, and the fed-back gap critique carries recovery alone; `receipts.refineLeaf.temperatures` then records the EFFECTIVE temps — a `null` marks an attempt that ran at the model's default (never the ignored requested value). Each attempt is gate-checked + metered; a HaltError mid-loop → clean `{ incomplete }`; honest non-recovery → `receipts.refineLeaf.passed === false` (never a faked pass); `receipts.tokens` sums all attempts. The error-keyed `recall` stays YOUR tool (`opts.tools`), keyed off the fed-back critique — bareagent stays litectx-agnostic. Carries down (engages at the leaves). Absent ⇒ a leaf is a single pass.
+
+```javascript
+const out = await recurse('Fix the failing function in calc.js', ctx, {
+  context: `project root: ${process.cwd()}\nresolve relative paths against it`,
+  refineLeaf: { sensor: (code) => runTestsAndGrade(code) },   // your deterministic test/compile close
+});
+```
+
+**What a delegated child inherits (important — the setpoint is the TOP node's job):** when a worker delegates with `spawn_child`, the child runs a **fresh `recurse`** that inherits `tools`, `synthesize`, `maxDepth`, `persona`, `context`, and `refineLeaf` — but the parent's **`contract`/`evaluate` are stripped** (and the forced `count`/`mode` + the corpus `retrieval` knobs). A slice is not graded against the *whole*-task definition-of-done (that verdict is the top node's, and a slice satisfying the whole DoD is the wrong question); only the top `recurse` verifies the synthesized result. The non-overridable `critical → force-verify` safety floor still fires per node (it keys on the task text, not the contract). So: set `contract`/`evaluate` once at the top; they do not — and should not — re-run per intermediate node.
 
 ## Wiring with Evaluator + refine (output-side verification)
 
@@ -728,6 +741,8 @@ new CLIPipe({ command: 'ollama', args: ['run', 'llama3.2'] })
 
 All return `{ text, toolCalls, usage: { inputTokens, outputTokens }, model? }`. The optional `model` (v0.16.1+) is the id the response was produced by — Loop prefers it over `provider.model` for cost accounting. CLIPipe always returns `toolCalls: []` and zero usage (CLI tools don't report tokens), and omits `model`.
 
+**Temperature graceful degradation (BA-10).** Newer models reject ANY non-default `temperature` with a `400` (`claude-sonnet-5`: `` `temperature` is deprecated for this model. ``; OpenAI o1/gpt-5-class: `Unsupported value: 'temperature' … Only the default (1) …`). All four providers detect that specific 400 (message names `temperature` as unsupported/deprecated AND a temperature was sent), **drop the param, warn once per instance, and retry once** — so a call that would otherwise throw succeeds at the model's default temperature. Keyed off the API error text, not a model list. A genuine out-of-range 400 is NOT degraded (it re-throws — dropping it would mask a caller bug). When a drop happens the result carries `temperatureDropped: true` (an optional `GenerateResult`/`Loop.run` field) so a caller can report the effective temperature — `recurse`'s `refineLeaf` uses it for an honest receipt. Dormant on models that accept temperature (byte-identical to before).
+
 **Error body (v0.11.0):** on an HTTP error the OpenAI/Anthropic/Ollama providers throw a `ProviderError` whose `message` carries the upstream error string. The full parsed response is **not** attached to `err.body` by default (so an unexpected field can't leak through logs that dump the error object). Pass `{ exposeErrorBody: true }` to attach it for debugging.
 
 **Plaintext-key warning (Unreleased):** the OpenAI provider's `baseUrl` accepts `http://` (for local/OpenAI-compatible endpoints), but a `Bearer` key sent over plaintext http to a **non-loopback** host is exposed on the wire. The provider now warns once when that happens. Loopback hosts (`localhost`/`127.0.0.0/8`/`::1` — local proxies, Ollama-style endpoints) stay silent, since that's the legitimate keyless-local case. The header is **not** stripped (some local proxies want a key), so use `https` for any remote endpoint, or drop `apiKey` when the local endpoint needs none.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "bare-agent",
-  "version": "0.22.0",
+  "version": "0.24.0",
   "files": [
     "index.js",
     "index.d.ts",

package/src/loop.d.ts

@@ -111,7 +111,7 @@ export class Loop {
      *   thunk is re-evaluated each round (D4/eval-assist F2) so a tool set that grows mid-run — e.g. a skill
      *   unlocking its tools — is offered on the next round; a static array is resolved once at wire time.
      * @param {Record<string, any>} [options={}] - Per-run overrides (system, temperature, ctx, etc.).
-     * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics}>}
+     * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics, temperatureDropped?: boolean}>}
      *   On halt the returned `error` is `halt:<rule>` (or `halt:unknown` if the
      *   thrown HaltError carried no `rule`), and `msgs` is sanitized so any
      *   dangling assistant `tool_calls` from the halted round are paired with
@@ -129,6 +129,7 @@ export class Loop {
         error: string | null;
         msgs: Message[];
         metrics: RunMetrics;
+        temperatureDropped?: boolean;
     }>;
     /**
      * Health check — validates provider, store, and tools without throwing.
@@ -156,7 +157,7 @@ export class Loop {
      * @param {string} text - User message.
      * @param {ToolDef[]} [tools=[]] - Tool definitions.
      * @param {Record<string, any>} [options={}] - Per-run overrides.
-     * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics}>}
+     * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics, temperatureDropped?: boolean}>}
      */
     chat(text: string, tools?: ToolDef[], options?: Record<string, any>): Promise<{
         text: string;
@@ -166,6 +167,7 @@ export class Loop {
         error: string | null;
         msgs: Message[];
         metrics: RunMetrics;
+        temperatureDropped?: boolean;
     }>;
     stop(): void;
 }

package/src/loop.js

@@ -294,7 +294,7 @@ class Loop {
    *   thunk is re-evaluated each round (D4/eval-assist F2) so a tool set that grows mid-run — e.g. a skill
    *   unlocking its tools — is offered on the next round; a static array is resolved once at wire time.
    * @param {Record<string, any>} [options={}] - Per-run overrides (system, temperature, ctx, etc.).
-   * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics}>}
+   * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics, temperatureDropped?: boolean}>}
    *   On halt the returned `error` is `halt:<rule>` (or `halt:unknown` if the
    *   thrown HaltError carried no `rule`), and `msgs` is sanitized so any
    *   dangling assistant `tool_calls` from the halted round are paired with
@@ -356,6 +356,10 @@ class Loop {
 
     let lastUsage = { inputTokens: 0, outputTokens: 0 };
     let totalCost = 0;
+    // BA-10: sticky across rounds — true if ANY round's `temperature` was dropped by the model (400,
+    // unsupported/deprecated) and retried without it. Surfaced on the result so an upstream receipt
+    // (recurse's refineLeaf) can report the EFFECTIVE temperature rather than the ignored request.
+    let temperatureDropped = false;
 
     // The meter (Feature 3): bareagent is the canonical run counter. Accumulates across rounds and is
     // returned as `result.metrics`. `tokens` is CUMULATIVE over all four tiers (fixes the last-round-only
@@ -583,6 +587,7 @@ class Loop {
       }
 
       lastUsage = result.usage || lastUsage;
+      if (result.temperatureDropped) temperatureDropped = true;
       // Publish the latest measured usage to ctx (non-enumerable, fail-open) so a transcript-bound seam —
       // e.g. F2 stash auto-compaction — can read EXACT provider-counted `inputTokens` to gauge context
       // pressure on the NEXT round's trim. Symmetric with lending ctx.summarize; the Loop stays unaware of
@@ -642,7 +647,7 @@ class Loop {
           try { await flush(msgs, ctx); }
           catch (err) { if (err instanceof HaltError) throw err; this._reportError('trim-flush', err, { round }); }
         }
-        return { text: result.text, toolCalls: [], usage: lastUsage, cost: totalCost, error: null, msgs, metrics: finalizeMetrics() };
+        return { text: result.text, toolCalls: [], usage: lastUsage, cost: totalCost, error: null, msgs, metrics: finalizeMetrics(), ...(temperatureDropped && { temperatureDropped: true }) };
       }
 
       // Execute tool calls
@@ -863,7 +868,7 @@ class Loop {
    * @param {string} text - User message.
    * @param {ToolDef[]} [tools=[]] - Tool definitions.
    * @param {Record<string, any>} [options={}] - Per-run overrides.
-   * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics}>}
+   * @returns {Promise<{text: string, toolCalls: ToolCall[], usage: Usage, cost: number, error: string|null, msgs: Message[], metrics: RunMetrics, temperatureDropped?: boolean}>}
    */
   async chat(text, tools = [], options = {}) {
     this._history.push({ role: 'user', content: text });

package/src/provider-anthropic.d.ts

@@ -54,6 +54,9 @@ export class AnthropicProvider {
      * @throws {Error} `[AnthropicProvider] ...` — on HTTP errors (4xx/5xx) or invalid JSON response.
      */
     generate(messages: Message[], tools?: ToolDef[], options?: Record<string, any>): Promise<GenerateResult>;
+    /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+    _warnTemperatureDropped(): void;
+    _warnedTempDropped: boolean | undefined;
     /**
      * @param {Message} msg
      * @returns {any}

package/src/provider-anthropic.js

@@ -3,6 +3,7 @@
 const https = require('https');
 const http = require('http');
 const { ProviderError } = require('./errors');
+const { requestWithTemperatureFallback } = require('./provider-temperature');
 
 /** @param {string} hostname @returns {boolean} */
 function isLoopbackHost(hostname) {
@@ -91,7 +92,15 @@ class AnthropicProvider {
       }));
     }
 
-    const data = await this._request(body);
+    // BA-10: some models (e.g. claude-sonnet-5) reject a non-default `temperature` with a 400 — drop it
+    // and retry once rather than let the whole call fail. `temperatureDropped` flows back so an upstream
+    // receipt (recurse's refineLeaf) can report the effective temperature, not the one the model ignored.
+    const { data, temperatureDropped } = await requestWithTemperatureFallback({
+      request: () => this._request(body),
+      hadTemperature: () => body.temperature != null,
+      stripTemperature: () => { delete body.temperature; },
+      warnOnce: () => this._warnTemperatureDropped(),
+    });
 
     let text = '';
     /** @type {import('../types').ToolCall[]} */
@@ -115,9 +124,17 @@ class AnthropicProvider {
         cacheReadTokens: data.usage?.cache_read_input_tokens || 0,
         cacheCreationTokens: data.usage?.cache_creation_input_tokens || 0,
       },
+      ...(temperatureDropped && { temperatureDropped: true }),
     };
   }
 
+  /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+  _warnTemperatureDropped() {
+    if (this._warnedTempDropped) return;
+    this._warnedTempDropped = true;
+    console.warn(`[AnthropicProvider] '${this.model}' rejected a non-default 'temperature' (unsupported/deprecated) — retrying without it. Further drops from this provider instance are silent.`);
+  }
+
   /**
    * @param {Message} msg
    * @returns {any}

package/src/provider-gemini.d.ts

@@ -50,6 +50,9 @@ export class GeminiProvider {
      * @throws {Error} `[GeminiProvider] ...` — on HTTP errors (4xx/5xx) or invalid JSON response.
      */
     generate(messages: Message[], tools?: ToolDef[], options?: Record<string, any>): Promise<GenerateResult>;
+    /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+    _warnTemperatureDropped(): void;
+    _warnedTempDropped: boolean | undefined;
     /**
      * Normalize Gemini `usageMetadata` to the neutral {@link Usage} shape. Like OpenAI, `promptTokenCount`
      * INCLUDES the cached tokens (`cachedContentTokenCount`), so subtract for the uncached remainder

package/src/provider-gemini.js

@@ -3,6 +3,7 @@
 const https = require('https');
 const http = require('http');
 const { ProviderError } = require('./errors');
+const { requestWithTemperatureFallback } = require('./provider-temperature');
 
 /** @typedef {import('../types').Message} Message */
 /** @typedef {import('../types').ToolDef} ToolDef */
@@ -103,7 +104,14 @@ class GeminiProvider {
     if (options.temperature != null) genConfig.temperature = options.temperature;
     if (Object.keys(genConfig).length) body.generationConfig = genConfig;
 
-    const data = await this._request(`/models/${this.model}:generateContent`, body);
+    // BA-10: graceful degrade if a model rejects a non-default `temperature` (Gemini nests it under
+    // generationConfig). Keyed off the API error text, so dormant on models that accept temperature.
+    const { data, temperatureDropped } = await requestWithTemperatureFallback({
+      request: () => this._request(`/models/${this.model}:generateContent`, body),
+      hadTemperature: () => body.generationConfig?.temperature != null,
+      stripTemperature: () => { if (body.generationConfig) delete body.generationConfig.temperature; },
+      warnOnce: () => this._warnTemperatureDropped(),
+    });
 
     let text = '';
     /** @type {ToolCall[]} */
@@ -123,9 +131,17 @@ class GeminiProvider {
       toolCalls,
       model: data.modelVersion || this.model,
       usage: this._normalizeUsage(data.usageMetadata),
+      ...(temperatureDropped && { temperatureDropped: true }),
     };
   }
 
+  /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+  _warnTemperatureDropped() {
+    if (this._warnedTempDropped) return;
+    this._warnedTempDropped = true;
+    console.warn(`[GeminiProvider] '${this.model}' rejected a non-default 'temperature' (unsupported/deprecated) — retrying without it. Further drops from this provider instance are silent.`);
+  }
+
   /**
    * Normalize Gemini `usageMetadata` to the neutral {@link Usage} shape. Like OpenAI, `promptTokenCount`
    * INCLUDES the cached tokens (`cachedContentTokenCount`), so subtract for the uncached remainder

package/src/provider-ollama.d.ts

@@ -32,6 +32,9 @@ export class OllamaProvider {
      * @throws {Error} `[OllamaProvider] ...` — on HTTP errors or invalid JSON response.
      */
     generate(messages: Message[], tools?: ToolDef[], options?: Record<string, any>): Promise<GenerateResult>;
+    /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+    _warnTemperatureDropped(): void;
+    _warnedTempDropped: boolean | undefined;
     /**
      * @param {string} path
      * @param {Record<string, any>} body

package/src/provider-ollama.js

@@ -2,6 +2,7 @@
 
 const http = require('http');
 const { ProviderError } = require('./errors');
+const { requestWithTemperatureFallback } = require('./provider-temperature');
 
 /** @typedef {import('../types').Message} Message */
 /** @typedef {import('../types').ToolDef} ToolDef */
@@ -48,7 +49,14 @@ class OllamaProvider {
       }));
     }
 
-    const data = await this._request('/api/chat', body);
+    // BA-10: graceful degrade if a model rejects a non-default `temperature` (Ollama nests it under
+    // `options`). Keyed off the API error text, so dormant on models that accept temperature.
+    const { data, temperatureDropped } = await requestWithTemperatureFallback({
+      request: () => this._request('/api/chat', body),
+      hadTemperature: () => body.options?.temperature != null,
+      stripTemperature: () => { if (body.options) delete body.options.temperature; },
+      warnOnce: () => this._warnTemperatureDropped(),
+    });
     const msg = data.message || {};
 
     return {
@@ -65,9 +73,17 @@ class OllamaProvider {
         inputTokens: data.prompt_eval_count || 0,
         outputTokens: data.eval_count || 0,
       },
+      ...(temperatureDropped && { temperatureDropped: true }),
     };
   }
 
+  /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+  _warnTemperatureDropped() {
+    if (this._warnedTempDropped) return;
+    this._warnedTempDropped = true;
+    console.warn(`[OllamaProvider] '${this.model}' rejected a non-default 'temperature' (unsupported/deprecated) — retrying without it. Further drops from this provider instance are silent.`);
+  }
+
   /**
    * @param {string} path
    * @param {Record<string, any>} body

package/src/provider-openai.d.ts

@@ -44,6 +44,9 @@ export class OpenAIProvider {
      * @throws {Error} `[OpenAIProvider] ...` — on HTTP errors (4xx/5xx) or invalid JSON response.
      */
     generate(messages: Message[], tools?: ToolDef[], options?: Record<string, any>): Promise<GenerateResult>;
+    /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+    _warnTemperatureDropped(): void;
+    _warnedTempDropped: boolean | undefined;
     /**
      * Normalize OpenAI usage to the neutral {@link Usage} shape. OpenAI auto-caches prompt prefixes
      * (>=1024 tokens) and reports the cached portion in `prompt_tokens_details.cached_tokens` —

package/src/provider-openai.js

@@ -3,6 +3,7 @@
 const https = require('https');
 const http = require('http');
 const { ProviderError } = require('./errors');
+const { requestWithTemperatureFallback } = require('./provider-temperature');
 
 /** @typedef {import('../types').Message} Message */
 /** @typedef {import('../types').ToolDef} ToolDef */
@@ -61,7 +62,14 @@ class OpenAIProvider {
       }));
     }
 
-    const data = await this._request('/chat/completions', body);
+    // BA-10: newer models (o1/gpt-5-class) reject a non-default `temperature` with a 400 — drop it and
+    // retry once. `temperatureDropped` flows back so an upstream receipt can report the effective value.
+    const { data, temperatureDropped } = await requestWithTemperatureFallback({
+      request: () => this._request('/chat/completions', body),
+      hadTemperature: () => body.temperature != null,
+      stripTemperature: () => { delete body.temperature; },
+      warnOnce: () => this._warnTemperatureDropped(),
+    });
     const choice = data.choices[0];
     const msg = choice.message;
 
@@ -74,9 +82,17 @@ class OpenAIProvider {
       })),
       model: data.model || this.model,
       usage: this._normalizeUsage(data.usage),
+      ...(temperatureDropped && { temperatureDropped: true }),
     };
   }
 
+  /** One-time warning that this model rejected `temperature` and the request was retried without it (BA-10). */
+  _warnTemperatureDropped() {
+    if (this._warnedTempDropped) return;
+    this._warnedTempDropped = true;
+    console.warn(`[OpenAIProvider] '${this.model}' rejected a non-default 'temperature' (unsupported/deprecated) — retrying without it. Further drops from this provider instance are silent.`);
+  }
+
   /**
    * Normalize OpenAI usage to the neutral {@link Usage} shape. OpenAI auto-caches prompt prefixes
    * (>=1024 tokens) and reports the cached portion in `prompt_tokens_details.cached_tokens` —

package/src/provider-temperature.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Does this error mean the model rejected `temperature` as unsupported/deprecated?
+ * @param {any} err - the rejection from a provider `_request` (a {@link ProviderError} carries `.status`).
+ * @returns {boolean}
+ */
+export function isTemperatureUnsupported(err: any): boolean;
+/**
+ * Issue a provider request; if it 400s because `temperature` is unsupported AND a temperature was
+ * actually sent, strip it and retry ONCE. Returns whether the temperature was dropped so the caller
+ * can report the EFFECTIVE temperature (the receipt must not claim a value the model ignored).
+ *
+ * @param {object} opts
+ * @param {() => Promise<any>} opts.request - issues the API call (rejects `ProviderError` on 4xx).
+ * @param {() => boolean} opts.hadTemperature - was a temperature actually in the request body?
+ * @param {() => void} opts.stripTemperature - mutate the request body to remove the temperature.
+ * @param {() => void} [opts.warnOnce] - emit the one-time degrade warning (caller dedupes per instance).
+ * @returns {Promise<{ data: any, temperatureDropped: boolean }>}
+ */
+export function requestWithTemperatureFallback({ request, hadTemperature, stripTemperature, warnOnce }: {
+    request: () => Promise<any>;
+    hadTemperature: () => boolean;
+    stripTemperature: () => void;
+    warnOnce?: (() => void) | undefined;
+}): Promise<{
+    data: any;
+    temperatureDropped: boolean;
+}>;

package/src/provider-temperature.js

@@ -0,0 +1,60 @@
+'use strict';
+
+// Graceful degradation for models that reject a non-default `temperature` (BA-10 / relayfact F34).
+//
+// Newer models — claude-sonnet-5 ("`temperature` is deprecated for this model."), OpenAI o1/gpt-5-class
+// ("Unsupported value: 'temperature' … Only the default (1) …") — return a 400 for ANY non-default
+// temperature. Left unhandled, the whole `generate` throws; upstream (e.g. recurse's `refineLeaf`) then
+// collapses to `incomplete` with the executable close never run — a failure that LOOKS like "the model
+// couldn't do it" when in fact no attempt was ever made.
+//
+// The fix keys off the API's own error TEXT, never a hardcoded model list, so it survives future models
+// that drop the param and stays dormant on every model that accepts it. It retries ONCE without the
+// temperature, and ONLY for the unsupported/deprecated class — a genuine out-of-range 400 re-throws
+// (dropping it would mask a caller bug).
+
+/** The error names `temperature` … */
+const TEMP_NAMED = /temperature/i;
+// … AND indicates it's unsupported/deprecated (NOT merely out of range — that stays a hard error).
+// The `only…default` alternative uses a BOUNDED gap (`[^.]{0,40}`, not `.*`): an unbounded `.*` here is a
+// quadratic-blowup footgun on a long provider/proxy-supplied error message that repeats "only" with no
+// "default" (O(n) start positions × O(n) backtrack). The bound keeps it linear and still matches
+// "Only the default (1) value is supported."
+const TEMP_UNSUPPORTED = /(deprecat|unsupported|not support|does not support|no longer support|only\b[^.]{0,40}\bdefault|must be omitted|isn't supported|is not allowed)/i;
+
+/**
+ * Does this error mean the model rejected `temperature` as unsupported/deprecated?
+ * @param {any} err - the rejection from a provider `_request` (a {@link ProviderError} carries `.status`).
+ * @returns {boolean}
+ */
+function isTemperatureUnsupported(err) {
+  const msg = err && typeof err.message === 'string' ? err.message : '';
+  return !!err && err.status === 400 && TEMP_NAMED.test(msg) && TEMP_UNSUPPORTED.test(msg);
+}
+
+/**
+ * Issue a provider request; if it 400s because `temperature` is unsupported AND a temperature was
+ * actually sent, strip it and retry ONCE. Returns whether the temperature was dropped so the caller
+ * can report the EFFECTIVE temperature (the receipt must not claim a value the model ignored).
+ *
+ * @param {object} opts
+ * @param {() => Promise<any>} opts.request - issues the API call (rejects `ProviderError` on 4xx).
+ * @param {() => boolean} opts.hadTemperature - was a temperature actually in the request body?
+ * @param {() => void} opts.stripTemperature - mutate the request body to remove the temperature.
+ * @param {() => void} [opts.warnOnce] - emit the one-time degrade warning (caller dedupes per instance).
+ * @returns {Promise<{ data: any, temperatureDropped: boolean }>}
+ */
+async function requestWithTemperatureFallback({ request, hadTemperature, stripTemperature, warnOnce }) {
+  try {
+    return { data: await request(), temperatureDropped: false };
+  } catch (err) {
+    if (isTemperatureUnsupported(err) && hadTemperature()) {
+      stripTemperature();
+      if (warnOnce) warnOnce();
+      return { data: await request(), temperatureDropped: true };
+    }
+    throw err;
+  }
+}
+
+module.exports = { isTemperatureUnsupported, requestWithTemperatureFallback };

package/src/recurse.d.ts

@@ -64,11 +64,53 @@ export type RecurseOptions = {
      * and can override it (and any safety framing) for every worker in the tree. Caller-trusted input only.
      */
     persona?: string | undefined;
+    /**
+     * - (BA-9 / relayfact F19) An optional caller-supplied READ-ONLY working-context
+     * blob (e.g. "project root: /abs/path\nfiles are relative to it") prepended to EVERY worker's task message as
+     * a `Working context:` block, so a sliced child can LOCATE its artifact — the concrete context (absolute
+     * paths / cwd) the Planner strips when it paraphrases the parent goal into child subtasks. CARRIES DOWN the
+     * tree (preserved by `forChild`, like `persona`) and, when forced fan-out plans, is forwarded as the Planner's
+     * `info` so the slices themselves are path-aware. Also shown to the verifier (neutral FACTS, not a stance, so
+     * no anti-sycophancy concern — and an agentic critic needs the path to exercise the artifact). Distinct from
+     * `persona`: persona is a privileged SYSTEM-prompt stance; context is run-state facts on the USER message.
+     * Absent/blank ⇒ byte-identical to pre-BA-9 (backward-compatible). Validated live (`poc/ba9-context-thread.mjs`:
+     * a weak model went 0/3 → 3/3 at locating an unguessable file once the root was threaded).
+     * **SECURITY:** this becomes part of every worker's prompt (and the verifier's) — lower-privilege than
+     * `persona` (the USER message, not the SYSTEM prompt) but still a prompt-injection surface. Intended for
+     * TRUSTED run-state (paths/cwd); do NOT pass untrusted / end-user-controlled text here.
+     */
+    context?: string | undefined;
     /**
      * - Handle tools offered to EVERY worker (RC-5 pull-default: litectx
      * `recall`/`get`, wired at build step 7). Workers query on demand; never the whole corpus.
      */
     tools?: import("../types").ToolDef[] | undefined;
+    /**
+     * (Opt-in, BA-8 / relayfact F17) Turn a DEFINITE LEAF (a node that is offered no `spawn_child` — `simple`
+     * tier or at `maxDepth`) into a bounded generate→sense→regenerate loop instead of a single pass, so a failed
+     * slice can self-correct. `sensor` is a DETERMINISTIC close (test/compile/lint — NOT a model judge, R-S8) that
+     * returns a `Verdict`; on a non-pass its `critique` (the GAP, not the transcript) is fed FRESH into the next
+     * attempt (D6/A1 anti-anchoring) and, on models that ACCEPT `temperature`, the **retry temperature ESCALATES**
+     * (`temperatures`, default `[0.2,0.7,1.0]`) — the live-validated lever that lets a weak model escape a
+     * repeat-the-same-mistake rut (`poc/ba8-leaf-refine.mjs`: 0/5 → 2-3/5; flat temp recovers 0/5). On a
+     * temperature-fixed model (BA-10) the provider drops the param, `receipts.refineLeaf.temperatures` records
+     * `null`, and the fed-back gap critique carries recovery alone. `maxIterations` defaults to
+     * `temperatures.length`; the REAL bound is bareguard (each attempt is gate-checked + metered). CARRIES DOWN the
+     * tree (preserved by `forChild`), so it engages at the leaves of a Family-A decomposition. Recovery is PARTIAL
+     * (a stubborn blind spot may persist) — `receipts.refineLeaf.passed` reports honestly. Does NOT apply to a node
+     * that delegates (its children + the tree verify own quality), nor to the scan/fanout/partition dispatch paths.
+     * Absent ⇒ a leaf is a single pass (byte-identical to pre-BA-8). An error-keyed `recall` is the CALLER's tool
+     * (`opts.tools`) keyed off the fed-back critique — bareagent stays litectx-agnostic.
+     */
+    refineLeaf?: {
+        sensor: (result: any, ctx: {
+            task: string;
+            context: string | undefined;
+            contract: string | null;
+        }) => (Verdict | Promise<Verdict>);
+        maxIterations?: number;
+        temperatures?: number[];
+    } | undefined;
     /**
      * - Definition of done (A3). When present, the verifier grades against THIS,
      * not the loose task, and verification always runs.
@@ -177,6 +219,17 @@ export type RecurseNode = {
      * - The worker Loop's `metrics.tokens`.
      */
     tokens: object | null;
+    /**
+     * - (BA-8) when this
+     * leaf ran as a bounded refine loop: how many attempts it took and whether the deterministic sensor finally
+     * passed (false = honest non-recovery, not a faked success). `temperatures` are the EFFECTIVE per-attempt temps
+     * (BA-10): a `null` marks an attempt the model ran at its DEFAULT because it rejected the requested temperature.
+     */
+    refineLeaf?: {
+        iterations: number;
+        passed: boolean;
+        temperatures: (number | null)[];
+    } | undefined;
     model: string | null;
     /**
      * - (§10 step 7) the retrieval mode this node ran (`scan`/`search`/`exact`),
@@ -283,8 +336,37 @@ export type Slice = {
  *   **SECURITY:** this is a PRIVILEGED system-prompt seam — treat `persona` like a system prompt. Do NOT pass
  *   untrusted / end-user-controlled text here; a hostile persona is prepended ahead of the decomposition policy
  *   and can override it (and any safety framing) for every worker in the tree. Caller-trusted input only.
+ * @property {string} [context] - (BA-9 / relayfact F19) An optional caller-supplied READ-ONLY working-context
+ *   blob (e.g. "project root: /abs/path\nfiles are relative to it") prepended to EVERY worker's task message as
+ *   a `Working context:` block, so a sliced child can LOCATE its artifact — the concrete context (absolute
+ *   paths / cwd) the Planner strips when it paraphrases the parent goal into child subtasks. CARRIES DOWN the
+ *   tree (preserved by `forChild`, like `persona`) and, when forced fan-out plans, is forwarded as the Planner's
+ *   `info` so the slices themselves are path-aware. Also shown to the verifier (neutral FACTS, not a stance, so
+ *   no anti-sycophancy concern — and an agentic critic needs the path to exercise the artifact). Distinct from
+ *   `persona`: persona is a privileged SYSTEM-prompt stance; context is run-state facts on the USER message.
+ *   Absent/blank ⇒ byte-identical to pre-BA-9 (backward-compatible). Validated live (`poc/ba9-context-thread.mjs`:
+ *   a weak model went 0/3 → 3/3 at locating an unguessable file once the root was threaded).
+ *   **SECURITY:** this becomes part of every worker's prompt (and the verifier's) — lower-privilege than
+ *   `persona` (the USER message, not the SYSTEM prompt) but still a prompt-injection surface. Intended for
+ *   TRUSTED run-state (paths/cwd); do NOT pass untrusted / end-user-controlled text here.
  * @property {ToolDef[]} [tools] - Handle tools offered to EVERY worker (RC-5 pull-default: litectx
  *   `recall`/`get`, wired at build step 7). Workers query on demand; never the whole corpus.
+ * @property {{sensor: (result: any, ctx: {task: string, context: string|undefined, contract: string|null}) => (Verdict|Promise<Verdict>), maxIterations?: number, temperatures?: number[]}} [refineLeaf]
+ *   (Opt-in, BA-8 / relayfact F17) Turn a DEFINITE LEAF (a node that is offered no `spawn_child` — `simple`
+ *   tier or at `maxDepth`) into a bounded generate→sense→regenerate loop instead of a single pass, so a failed
+ *   slice can self-correct. `sensor` is a DETERMINISTIC close (test/compile/lint — NOT a model judge, R-S8) that
+ *   returns a `Verdict`; on a non-pass its `critique` (the GAP, not the transcript) is fed FRESH into the next
+ *   attempt (D6/A1 anti-anchoring) and, on models that ACCEPT `temperature`, the **retry temperature ESCALATES**
+ *   (`temperatures`, default `[0.2,0.7,1.0]`) — the live-validated lever that lets a weak model escape a
+ *   repeat-the-same-mistake rut (`poc/ba8-leaf-refine.mjs`: 0/5 → 2-3/5; flat temp recovers 0/5). On a
+ *   temperature-fixed model (BA-10) the provider drops the param, `receipts.refineLeaf.temperatures` records
+ *   `null`, and the fed-back gap critique carries recovery alone. `maxIterations` defaults to
+ *   `temperatures.length`; the REAL bound is bareguard (each attempt is gate-checked + metered). CARRIES DOWN the
+ *   tree (preserved by `forChild`), so it engages at the leaves of a Family-A decomposition. Recovery is PARTIAL
+ *   (a stubborn blind spot may persist) — `receipts.refineLeaf.passed` reports honestly. Does NOT apply to a node
+ *   that delegates (its children + the tree verify own quality), nor to the scan/fanout/partition dispatch paths.
+ *   Absent ⇒ a leaf is a single pass (byte-identical to pre-BA-8). An error-keyed `recall` is the CALLER's tool
+ *   (`opts.tools`) keyed off the fed-back critique — bareagent stays litectx-agnostic.
  * @property {string} [contract] - Definition of done (A3). When present, the verifier grades against THIS,
  *   not the loose task, and verification always runs.
  * @property {(result: any, ctx: {contract: string|null, task: string}) => (Verdict|Promise<Verdict>)} [evaluate]
@@ -343,6 +425,10 @@ export type Slice = {
  * @property {boolean} incomplete
  * @property {boolean} halted
  * @property {object|null} tokens - The worker Loop's `metrics.tokens`.
+ * @property {{iterations: number, passed: boolean, temperatures: (number|null)[]}} [refineLeaf] - (BA-8) when this
+ *   leaf ran as a bounded refine loop: how many attempts it took and whether the deterministic sensor finally
+ *   passed (false = honest non-recovery, not a faked success). `temperatures` are the EFFECTIVE per-attempt temps
+ *   (BA-10): a `null` marks an attempt the model ran at its DEFAULT because it rejected the requested temperature.
  * @property {string|null} model
  * @property {string|null} [retrieval] - (§10 step 7) the retrieval mode this node ran (`scan`/`search`/`exact`),
  *   or null/absent for a plain reasoning node.

package/src/recurse.js

@@ -28,6 +28,7 @@ const { Evaluator } = require('./evaluator');
 const { Planner } = require('./planner');
 const { runPlan } = require('./run-plan');
 const { assessComplexity, isCritical } = require('./complexity');
+const { refine } = require('./refine');
 const { HaltError } = require('./errors');
 const { DECOMPOSITION_POLICY, capabilityScrub } = require('./recurse-prompts');
 const { synthesize } = require('./recurse-synthesize');
@@ -51,6 +52,15 @@ const DEFAULT_FANOUT_CONCURRENCY = 4;
 // many parallel scan-workers a measured corpus needs. A calibratable knob (the §9.1 algorithm; corpus-specific),
 // not a discovered constant — overridable via `opts.workerBudget`. 100 items ≈ a worker doing ~25 scan windows.
 const DEFAULT_WORKER_BUDGET = 100;
+// BA-8 leaf-refine: temperature ESCALATES per retry. The live POC (poc/ba8-leaf-refine.mjs) found that at a flat
+// low temperature a weak model regenerates byte-identical wrong code and IGNORES even crisp deterministic
+// feedback (0/5 recovery); recovery only appears once retries are given room to vary (0/5 → 2-3/5). So escalation
+// is a DESIGN REQUIREMENT of the seam, not a tuning nicety. Overridable via `opts.refineLeaf.temperatures`.
+// SCOPE (BA-10): this holds for models that ACCEPT `temperature`. On a temperature-fixed model (e.g.
+// claude-sonnet-5 — the provider drops the param, `receipts.refineLeaf.temperatures` records `null`), the
+// escalation lever is inert and the fed-back gap `critique` carries recovery alone (an empirical question the
+// live run answers). The critique is the primary correction lever; temperature is a secondary diversity lever.
+const DEFAULT_REFINE_TEMPS = [0.2, 0.7, 1.0];
 
 /**
  * Split an array into EXACTLY `n` contiguous, near-equal chunks (the data-partition for the §11 width path).
@@ -82,6 +92,23 @@ function workerPersonaPrefix(persona) {
   return p ? p + '\n\n' : '';
 }
 
+/**
+ * BA-9 (relayfact F19): prepend the caller's read-only working-context blob to a worker's task message, so a
+ * sliced child can LOCATE its artifact (absolute paths / cwd) — the concrete context the Planner otherwise
+ * strips when it paraphrases the parent goal into child subtasks. Distinct from `persona`: persona is a STANCE
+ * on the SYSTEM prompt (a privileged seam); context is neutral run-state FACTS on the USER message (the form
+ * the live POC `poc/ba9-context-thread.mjs` validated: no-context 0/3 → context 3/3 on a weak model). Absent/
+ * blank ⇒ the task message is byte-identical to pre-BA-9 (backward-compatible). Carries down the tree via
+ * `forChild` (a child of a worker rooted at `/proj` is still rooted at `/proj`), like `persona`.
+ * @param {string} task
+ * @param {unknown} context
+ * @returns {string}
+ */
+function withContext(task, context) {
+  const c = typeof context === 'string' ? context.trim() : '';
+  return c ? `Working context (read-only):\n${c}\n\n${task}` : task;
+}
+
 /**
  * The opts a delegated child inherits. Strips the parent's TOP-LEVEL SETPOINT — `contract`/`evaluate` grade
  * the WHOLE task's final answer; a child grading its own slice against the whole definition-of-done is wasted
@@ -91,9 +118,10 @@ function workerPersonaPrefix(persona) {
  * answered over the parent's corpus; a child has its own subtask and must not re-scan the parent's full corpus
  * (that would fan a whole-corpus count out under every child). The `critical → force-verify` SAFETY FLOOR is
  * unaffected — it keys on the task text via `isCritical`, not the contract, so a critical child still
- * self-verifies. Handle tools (`opts.tools`), `synthesize`, `maxDepth`, and **`persona`** carry down — the
- * persona is a DURABLE worker stance (a child of a "senior security engineer" is still one), unlike the
- * top-only `contract`/`evaluate` setpoint. It rides through the `...opts` spread (not in the strip list).
+ * self-verifies. Handle tools (`opts.tools`), `synthesize`, `maxDepth`, **`persona`**, and **`context`** (BA-9)
+ * carry down — the persona is a DURABLE worker stance (a child of a "senior security engineer" is still one)
+ * and the context is durable run-state (a child rooted at `/proj` is still rooted at `/proj`), unlike the
+ * top-only `contract`/`evaluate` setpoint. They ride through the `...opts` spread (not in the strip list).
  * @param {RecurseOptions} opts
  * @returns {RecurseOptions}
  */
@@ -173,8 +201,37 @@ function auditSafeCtx(ctx, overrides = {}) {
  *   **SECURITY:** this is a PRIVILEGED system-prompt seam — treat `persona` like a system prompt. Do NOT pass
  *   untrusted / end-user-controlled text here; a hostile persona is prepended ahead of the decomposition policy
  *   and can override it (and any safety framing) for every worker in the tree. Caller-trusted input only.
+ * @property {string} [context] - (BA-9 / relayfact F19) An optional caller-supplied READ-ONLY working-context
+ *   blob (e.g. "project root: /abs/path\nfiles are relative to it") prepended to EVERY worker's task message as
+ *   a `Working context:` block, so a sliced child can LOCATE its artifact — the concrete context (absolute
+ *   paths / cwd) the Planner strips when it paraphrases the parent goal into child subtasks. CARRIES DOWN the
+ *   tree (preserved by `forChild`, like `persona`) and, when forced fan-out plans, is forwarded as the Planner's
+ *   `info` so the slices themselves are path-aware. Also shown to the verifier (neutral FACTS, not a stance, so
+ *   no anti-sycophancy concern — and an agentic critic needs the path to exercise the artifact). Distinct from
+ *   `persona`: persona is a privileged SYSTEM-prompt stance; context is run-state facts on the USER message.
+ *   Absent/blank ⇒ byte-identical to pre-BA-9 (backward-compatible). Validated live (`poc/ba9-context-thread.mjs`:
+ *   a weak model went 0/3 → 3/3 at locating an unguessable file once the root was threaded).
+ *   **SECURITY:** this becomes part of every worker's prompt (and the verifier's) — lower-privilege than
+ *   `persona` (the USER message, not the SYSTEM prompt) but still a prompt-injection surface. Intended for
+ *   TRUSTED run-state (paths/cwd); do NOT pass untrusted / end-user-controlled text here.
  * @property {ToolDef[]} [tools] - Handle tools offered to EVERY worker (RC-5 pull-default: litectx
  *   `recall`/`get`, wired at build step 7). Workers query on demand; never the whole corpus.
+ * @property {{sensor: (result: any, ctx: {task: string, context: string|undefined, contract: string|null}) => (Verdict|Promise<Verdict>), maxIterations?: number, temperatures?: number[]}} [refineLeaf]
+ *   (Opt-in, BA-8 / relayfact F17) Turn a DEFINITE LEAF (a node that is offered no `spawn_child` — `simple`
+ *   tier or at `maxDepth`) into a bounded generate→sense→regenerate loop instead of a single pass, so a failed
+ *   slice can self-correct. `sensor` is a DETERMINISTIC close (test/compile/lint — NOT a model judge, R-S8) that
+ *   returns a `Verdict`; on a non-pass its `critique` (the GAP, not the transcript) is fed FRESH into the next
+ *   attempt (D6/A1 anti-anchoring) and, on models that ACCEPT `temperature`, the **retry temperature ESCALATES**
+ *   (`temperatures`, default `[0.2,0.7,1.0]`) — the live-validated lever that lets a weak model escape a
+ *   repeat-the-same-mistake rut (`poc/ba8-leaf-refine.mjs`: 0/5 → 2-3/5; flat temp recovers 0/5). On a
+ *   temperature-fixed model (BA-10) the provider drops the param, `receipts.refineLeaf.temperatures` records
+ *   `null`, and the fed-back gap critique carries recovery alone. `maxIterations` defaults to
+ *   `temperatures.length`; the REAL bound is bareguard (each attempt is gate-checked + metered). CARRIES DOWN the
+ *   tree (preserved by `forChild`), so it engages at the leaves of a Family-A decomposition. Recovery is PARTIAL
+ *   (a stubborn blind spot may persist) — `receipts.refineLeaf.passed` reports honestly. Does NOT apply to a node
+ *   that delegates (its children + the tree verify own quality), nor to the scan/fanout/partition dispatch paths.
+ *   Absent ⇒ a leaf is a single pass (byte-identical to pre-BA-8). An error-keyed `recall` is the CALLER's tool
+ *   (`opts.tools`) keyed off the fed-back critique — bareagent stays litectx-agnostic.
  * @property {string} [contract] - Definition of done (A3). When present, the verifier grades against THIS,
  *   not the loose task, and verification always runs.
  * @property {(result: any, ctx: {contract: string|null, task: string}) => (Verdict|Promise<Verdict>)} [evaluate]
@@ -234,6 +291,10 @@ function auditSafeCtx(ctx, overrides = {}) {
  * @property {boolean} incomplete
  * @property {boolean} halted
  * @property {object|null} tokens - The worker Loop's `metrics.tokens`.
+ * @property {{iterations: number, passed: boolean, temperatures: (number|null)[]}} [refineLeaf] - (BA-8) when this
+ *   leaf ran as a bounded refine loop: how many attempts it took and whether the deterministic sensor finally
+ *   passed (false = honest non-recovery, not a faked success). `temperatures` are the EFFECTIVE per-attempt temps
+ *   (BA-10): a `null` marks an attempt the model ran at its DEFAULT because it rejected the requested temperature.
  * @property {string|null} model
  * @property {string|null} [retrieval] - (§10 step 7) the retrieval mode this node ran (`scan`/`search`/`exact`),
  *   or null/absent for a plain reasoning node.
@@ -401,6 +462,15 @@ async function recurse(task, ctx = {}, opts = {}) {
     if (Array.isArray(opts.corpus)) retrievalTools.push(buildExactTool(normalizeCorpus(opts.corpus)));
   }
   const handleTools = [...(Array.isArray(opts.tools) ? opts.tools : []), ...retrievalTools];
+
+  // BA-8 (opt-in): a DEFINITE leaf (no spawn offered — `simple` tier or at `maxDepth`) with a caller sensor runs
+  // as a bounded refine-with-escalation loop instead of a single pass, so a failed slice self-corrects. Gating on
+  // `!canSpawn` keeps it predictable (a node that may delegate is an orchestrator, not a leaf) and means the seam
+  // engages exactly at the leaves of a Family-A tree (it carries down via forChild). A no-op when unset.
+  if (!canSpawn && opts.refineLeaf && typeof opts.refineLeaf.sensor === 'function') {
+    return recurseRefineLeaf(task, ctx, opts, { provider, system, handleTools, depth, critical, node, sensor: opts.refineLeaf.sensor });
+  }
+
   // NB-3: collect each child's declared RESULT value (copy-on-return: the value, never its transcript) so the
   // reducer can aggregate them. Step-3's seam handed the receipts only, so a code-reduce could not see what to
   // combine — this closes that gap and is what Family B (step 5) will reduce over `runPlan` results[].
@@ -421,7 +491,8 @@ async function recurse(task, ctx = {}, opts = {}) {
   // Fresh message array = a true fresh window (RC-2 copy-on-return, IN side): the worker sees ONLY its task,
   // never a parent transcript. `ctx.depth` is threaded so bareguard's policy can enforce the depth cap (§6).
   const out = await loop.run(
-    [{ role: 'user', content: task }],
+    // BA-9: prepend the caller's read-only working-context (paths/cwd) so this worker can locate its artifact.
+    [{ role: 'user', content: withContext(task, opts.context) }],
     tools,
     // auditSafeCtx: the run ctx reaches the gate as `_ctx`; strip the key-bearing provider (F16/BA-1). The
     // worker Loop already has `provider` as a constructor option, so stripping it from the run ctx is invisible
@@ -504,6 +575,109 @@ async function recurse(task, ctx = {}, opts = {}) {
   }
 }
 
+/**
+ * BA-8 leaf-refine — run a DEFINITE leaf as a bounded generate→sense→regenerate loop (relayfact F17). Reuses the
+ * existing `refine.js` primitive (the Outcomes iterate→grade→revise port): each attempt is a FRESH leaf Loop
+ * (fresh window = fresh-feedback, D6/A1) seeded with the working-context'd task + (on a retry) the prior GAP, run
+ * at an ESCALATING temperature — the live-validated requirement that lets a weak model escape a repeat-the-same-
+ * mistake rut (a flat temperature recovered 0/5 in `poc/ba8-leaf-refine.mjs`). The `sensor` is the caller's
+ * DETERMINISTIC close (test/compile/lint, not a model judge). Governance is bareguard's: every attempt is gate-
+ * checked (`ctx.policy`) and metered (`onLlmResult`); a HaltError mid-loop is a clean `{incomplete}`. Honest
+ * non-recovery is reported (`receipts.refineLeaf.passed=false`), never a faked pass. An optional rubric `verify`
+ * still runs on top when a `contract`/`evaluate`/critical applies (the sensor gates retries; the rubric grades).
+ * @param {string} task
+ * @param {RecurseCtx} ctx
+ * @param {RecurseOptions} opts
+ * @param {{provider: Provider, system: string, handleTools: ToolDef[], depth: number, critical: boolean, node: RecurseNode, sensor: Function}} state
+ * @returns {Promise<RecurseResult>}
+ */
+async function recurseRefineLeaf(task, ctx, opts, state) {
+  const { provider, system, handleTools, depth, critical, node, sensor } = state;
+  node.model = provider.model || null;
+  const cfg = /** @type {{maxIterations?: number, temperatures?: number[]}} */ (opts.refineLeaf || {});
+  const temps = Array.isArray(cfg.temperatures) && cfg.temperatures.length ? cfg.temperatures : DEFAULT_REFINE_TEMPS;
+  const maxIterations = Number.isInteger(cfg.maxIterations) && /** @type {number} */ (cfg.maxIterations) > 0
+    ? /** @type {number} */ (cfg.maxIterations) : temps.length;
+
+  // A refine leaf runs N Loops, so its receipts.tokens SUMS every attempt's spend (not just the last) — the
+  // honest cost of the node. The 4-tier tokens object (`{input,output,cacheCreation,cacheRead}`, loop.js) is flat
+  // numeric, so we accrue field-wise (robust to extra/renamed numeric fields). The gate already sees each attempt
+  // via onLlmResult independently; this is the receipts mirror. Stays null until an attempt produces metrics.
+  /** @type {Record<string, number>|null} */
+  let tokensSum = null;
+  const accrueTokens = (/** @type {any} */ t) => {
+    if (!t || typeof t !== 'object') return;
+    tokensSum = tokensSum || {};
+    for (const [k, v] of Object.entries(t)) if (typeof v === 'number') tokensSum[k] = (tokensSum[k] || 0) + v;
+  };
+  // BA-10 honest receipt: the EFFECTIVE temperature per attempt. A model that rejects a non-default
+  // `temperature` (400, unsupported/deprecated) runs at its DEFAULT — the provider drops it and the Loop
+  // surfaces `temperatureDropped`. Recording the requested temp would claim a value the model ignored, so
+  // a dropped attempt is stored as `null` ("provider default"). Indexed by iteration (refine calls once each).
+  /** @type {(number|null)[]} */
+  const effectiveTemps = [];
+  // One attempt = a fresh leaf Loop (no spawn tool: a retry is a direct correction, not a re-decomposition) at the
+  // iteration's temperature, with the GAP fed forward as fresh feedback. A governance halt → throw so refine stops.
+  const attempt = async ({ iteration, critique }) => {
+    const temperature = temps[Math.min(iteration, temps.length - 1)];
+    const loop = new Loop({
+      provider, system,
+      policy: ctx.policy || undefined,
+      onLlmResult: ctx.onLlmResult || undefined,
+      stream: ctx.stream || undefined,
+      throwOnError: false,
+    });
+    const base = withContext(task, opts.context);
+    const userText = critique
+      ? `${base}\n\nYour previous attempt FAILED these checks:\n${critique}\n\nReturn a corrected result that passes ALL of them.`
+      : base;
+    const out = await loop.run([{ role: 'user', content: userText }], handleTools, { ctx: auditSafeCtx(ctx, { depth }), temperature });
+    // `temperatureDropped` is set on the Loop result only when the model rejected the requested temperature
+    // (BA-10); it's absent on the error/halt return shapes, so read it through a narrow cast.
+    const dropped = /** @type {{temperatureDropped?: boolean}} */ (out).temperatureDropped;
+    effectiveTemps[iteration] = dropped ? null : temperature;
+    accrueTokens(out.metrics ? out.metrics.tokens : null);
+    if (typeof out.error === 'string' && out.error.startsWith('halt:')) throw new HaltError('refine-leaf attempt halted', { rule: out.error.slice('halt:'.length) });
+    if (out.error) throw new Error(out.error); // a non-halt worker fault → honest incomplete
+    return out.text;
+  };
+
+  try {
+    const outcome = await refine({
+      attempt,
+      evaluate: (result, c) => sensor(result, { task, context: opts.context, contract: c.contract }),
+      contract: typeof opts.contract === 'string' ? opts.contract : undefined,
+      maxIterations,
+    });
+    node.tokens = tokensSum;
+    // `temperatures` = the EFFECTIVE temps (BA-10): a `null` marks an attempt whose requested temperature the
+    // model rejected and ran at its default — so the receipt never claims a value the model ignored. On a
+    // temperature-accepting model this equals the requested `temps.slice(0, iterations)` (byte-identical receipt).
+    node.refineLeaf = { iterations: outcome.iterations, passed: !!(outcome.verdict && outcome.verdict.pass), temperatures: effectiveTemps.slice(0, outcome.iterations) };
+    const result = outcome.result;
+
+    // Optional rubric layer on top of the deterministic sensor (RC-7): forced for critical, or a contract/override.
+    const wantVerify = critical || typeof opts.contract === 'string' || typeof opts.evaluate === 'function';
+    if (wantVerify) {
+      const verdict = await verify(task, result, ctx, opts);
+      node.verdict = verdict;
+      return { result, verdict, receipts: node };
+    }
+    // No rubric layer ⇒ the sensor's final verdict IS the node verdict (a non-pass is surfaced, not hidden).
+    node.verdict = outcome.verdict || null;
+    return { result, verdict: outcome.verdict || null, receipts: node };
+  } catch (err) {
+    node.tokens = tokensSum; // record whatever attempts DID spend, on both the halt and fault paths
+    if (err instanceof HaltError) {
+      node.halted = true;
+      node.incomplete = true;
+      return { incomplete: true, best: null, receipts: node };
+    }
+    node.incomplete = true;
+    return { incomplete: true, best: null, receipts: node };
+  }
+}
+
 /**
  * SCAN (§10 step 7 / §9.2.1) — the default retrieval mode for a "how many / all" task over a corpus. A
  * deterministic ORCHESTRATION, not a worker model call: every slice is processed, an isolated Loop LLM-judges
@@ -747,7 +921,10 @@ async function recurseFanout(task, ctx, opts, state) {
     const planner = new Planner({ provider, onLlmResult: /** @type {any} */ (ctx.onLlmResult) || undefined });
     let steps;
     try {
-      steps = await planner.plan(task, { count });
+      // BA-9: forward the working-context as the Planner's `info` so the slices it writes are path-aware (a
+      // child still also receives `opts.context` directly via `forChild` — this just improves the split).
+      const planContext = typeof opts.context === 'string' && opts.context.trim() ? { count, info: opts.context } : { count };
+      steps = await planner.plan(task, planContext);
     } catch (err) {
       if (err instanceof HaltError) throw err;
       node.incomplete = true;
@@ -928,6 +1105,9 @@ function buildSpawnTool(ctx, opts, depth, maxDepth, node, childResults) {
  */
 function verify(task, result, ctx, opts) {
   const contract = typeof opts.contract === 'string' ? opts.contract : null;
+  // BA-9: the verifier sees the working-context too — neutral facts (not a stance, so no anti-sycophancy risk),
+  // and an agentic critic needs the path to exercise the artifact. A caller `evaluate` gets the RAW task (it owns
+  // its own context); only the default isolated grader is contextualized.
   if (typeof opts.evaluate === 'function') {
     return Promise.resolve(opts.evaluate(result, { contract, task }));
   }
@@ -937,7 +1117,7 @@ function verify(task, result, ctx, opts) {
     ? 'Judge whether the result satisfies the definition of done. Be strict and adversarial; cite the specific gap on any shortfall.'
     : 'Judge whether the result fully and correctly answers the goal. Be strict and adversarial; cite the specific gap on any shortfall.';
   return evaluator.evaluate(
-    task,
+    withContext(task, opts.context),
     result,
     { rubric, contract: contract || undefined },
     { onLlmResult: /** @type {any} */ (ctx.onLlmResult), policy: ctx.policy },

package/types/index.d.ts

@@ -80,6 +80,12 @@ export interface GenerateResult {
   usage: Usage;
   /** Model id the response was produced by; preferred over Provider.model for cost accounting. */
   model?: string | null;
+  /**
+   * True when the requested `temperature` was rejected by the model (400, unsupported/deprecated) and
+   * the request was retried without it (BA-10). The response was produced at the model's DEFAULT
+   * temperature, not the one requested — callers reporting an effective temperature must honor this.
+   */
+  temperatureDropped?: boolean;
 }
 
 /** A conversation message in OpenAI chat format. */