tldr-experts 0.12.0 → 0.13.0

package/CHANGELOG.md

@@ -1,6 +1,133 @@
 # Changelog
 
 
+## 0.13.0 — 2026-09-08
+
+### Added
+
+- **`tldrx expert rescore [<name>] [--area <a>]` — score the knowledge you already paid for.**
+  Its sibling `recompute` is arithmetic over the evidence rows already in `competencies.yml`;
+  `rescore` RE-READS `knowledge/*.md` and derives their evidence again under today's rules. It
+  exists because the gate fix below changes what the NEXT training run earns and can do nothing
+  for the files already on disk: for every expert the bug hit, `evidence:` is `[]`, so the only
+  other recovery is to buy the same readings a second time — **$9.47** of them in the measured
+  case. Like `recompute` it reads no code, spawns nothing, spends nothing, and leaves `status`
+  and `last_trained` exactly as it found them.
+  Rows are dated by the knowledge file's own `trained_at`, or by the expert's `last_trained`
+  when it has none — **never by the clock**, because §2.6 weighs recency and a reading taken in
+  August is not evidence gathered today. When neither date exists the file is skipped with that
+  as the reason, and so is a file that no longer validates: rescoring is a re-read under
+  today's rules, and keeping rows an older tldrx once accepted is the drift this refuses.
+  **A rescored row carries two dates, and the rescore writes itself into the ledger** — because
+  the workspaces this command exists to rescue are exactly the ones whose `training.jsonl`
+  already asserts `check.passed` with `evidence_added: 0`. Built and measured on the first cut:
+  a $0 rescore turned that ledger's own August date into real August-dated rows and moved the
+  level 0 → 1, leaving `training.jsonl` byte-identical — two files that contradict each other,
+  with nothing on disk saying a free re-derivation weeks later is what wrote the rows. So
+  `areas[].evidence[].rescored_at` is additive and optional beside `at`, and its ABSENCE keeps
+  the meaning every row already had: a paid training turn earned it. `at` still says when the
+  CLAIM was read and is still the only date the level formula weighs; `rescored_at` says when
+  the SCORING happened. And `training.jsonl` gains one `evidence.rescored` line per file whose
+  rescore actually moved something — `cost_usd: 0`, `spawned: 0`, dated when it RAN and never
+  backdated to match the rows, carrying `dated_at`/`dated_by` so the two clocks in one record
+  can never be read as one. A rescore that changes nothing writes no line: it contradicts
+  nothing, and a ledger that grows on every idempotent re-run is one nobody reads.
+
+- **`scripts/merge-wave.sh` now refuses a branch that carries no review record (#192).** Every
+  other invariant this script protects got a mechanism — the lock (#44), the HEAD assertion, the
+  ref guard (#89), the unwind and orphan refusal (#116), the self-snapshot (#117). The pre-merge
+  review was still a paragraph, and prose loses to recency: measured over twelve maintenance
+  waves (2026-09-06 → 2026-09-07), **4 of the 12** pre-merge reviews found a real Important
+  defect the implementer then fixed before the branch merged, and the one wave that reviewed
+  *after* merging found one too — which then sat on `main` for ~2 hours, because once a commit is
+  published the only remedies are a follow-up merge or a revert and both wait for the next lock
+  window. That wave did not decide to skip the review; it simply did not remember at the moment
+  the branch was green, and nothing in the merge path could tell the difference afterwards.
+  So the record is now a FILE on the branch, `.review/<branch>.md`, asserted in the same preamble
+  block as the dirty-tree and orphan refusals: `verdict: merge` on the first line (anything else,
+  `verdict: fixes required` included, refuses), `reviewed-by:` naming who read it, and `against:`
+  naming the sha they read. A file rather than a commit trailer because it lands in the merge
+  commit's tree — `main` keeps answering "was this reviewed, by whom, against which diff" long
+  after the branch is deleted, which a trailer could not. **A stale record refuses rather than
+  warns**, and the refusal names both shas: a review of a different diff is exactly the hole the
+  honour system already allowed, and a warning would let it through. Staleness is measured as
+  "the code moved", not "the sha differs" — the named sha must be an ancestor of the branch head
+  with no path outside `.review/` changed since — because a record can only ever name the commit
+  the reviewer READ, and committing the record moves the head past exactly that sha, so a literal
+  sha-equals-head rule would be unsatisfiable by construction. A rebase does invalidate a record,
+  correctly: it is a different diff. The exit code is **10**, a new one: that script's table is
+  its own namespace with one code per condition, `2` there is already "merge conflict", and the
+  CLI refusal families in `src/cli/exitCodes.ts` — where 2 IS the gate refusal — do not reach a
+  shell script that never imports them. Every refusal prints the file path and the three
+  lines it wants, so a session that trips the gate never has to read the script to satisfy it.
+  There is **no escape hatch** — no flag, no env var — on the issue's own argument that a
+  documented one is a hole the moment it exists. Scoped to the MERGE PATH alone:
+  `scripts/release.sh` commits on `main` directly, waves nothing and names `merge-wave.sh`
+  nowhere (measured — `grep -n 'merge-wave' scripts/release.sh scripts/release-check.sh
+  docs/RELEASING.md` exits 1 with no output), so releasing is untouched and `docs/RELEASING.md`
+  needed no change. `AGENTS.md` §2 carries the rule and the `maintain` skill cites it rather
+  than restating it.
+
+### Fixed
+
+- **The mutation check is asked of the developer, which can run it, instead of the reviewer,
+  which holds no pen.** Every stack pack's `## Checks` carried "Can each new test fail? verify:
+  change the line under test, re-run only that test's file … and confirm it goes red", and those
+  Checks are rendered verbatim into the reviewer prompt under `## Stack checks` — a hundred lines
+  above a Rule in that same prompt reading "You have no write tool." That was not a wording slip
+  in one of the two places: `REVIEWER_TOOLS` is `Read`, `Grep`, `Glob`, `Bash(git diff *)`, so the
+  role being asked held neither the pen the mutation needs nor a way to run a test. Measured over
+  a week of unattended runs on three real workspaces, hosts resolved the contradiction by hand
+  every time and nobody reported the check as unaskable — which is the worse outcome, because a
+  reviewer that cannot perform a check still answers it, from reading alone, and calls that an
+  answer. It is a producer's obligation, so it goes to the producer: the developer's contract now
+  carries it as step 5 of `## Investigate` (`MUTATION_PROOF_RULE`), naming the same instrument the
+  packs named — the one test file while iterating, the declared command once, at the Definition of
+  Done — and asking for the record it leaves. What is left in the packs is the reviewer's half,
+  and it is a read: *did the developer record, beside each new test, that it was seen to fail?* A
+  new test carrying none is a finding with a cited file. Where the record goes is the part that
+  had to be decided rather than assumed — the reviewer's allowance holds no `git log`, so a commit
+  message is a surface it cannot read, and beside the test, in the test file, is the one place
+  that is both the developer's to write and the reviewer's to cite. The developer prompt's bytes
+  change and `test/build-golden.test.ts` moves with them; the reviewer prompt's own bytes do not.
+- **A role expert could never earn evidence — `--mode full` mines the run record and the domain
+  gate refused it** (gh #154). `roleTraining.ts` states the premise: full mode's pre-pass reads
+  `tldrx-work/<run>/**/{handoff,retro}.md`, "the record of how this workflow actually ran, which
+  IS a role's domain". `outsideDomain` then judged every one of those citations against the
+  `## Domain` bullets of `expert.md`, which name folders of CODE — so 100% of what the runs pass
+  produced was discarded as `outside domain`, in every workspace, every time.
+  Measured on a real workspace at 0.8.0: four role experts, `--mode full`, **$9.47 spent and one
+  evidence row** — and that row is a fact token, the one citation kind the gate never inspects.
+  And it was not fixable from the workspace: `domainPaths()` drops any single-segment bullet, so
+  `tldrx-work` — the only spelling the matcher would match — cannot be declared, while every
+  spelling that DOES register (`tldrx-work/**`, `tldrx-work/<run>`) is a literal the
+  no-globbing matcher can never reach. The two sets are disjoint.
+  Re-measured on 0.12.0 before the fix: `domainPaths()` over the five shipped role templates
+  still yields `.tldrx/map/**`, `.tldrx/process.yml` + `.tldrx/map/workspace.md`,
+  `.tldrx/conventions/shared.md`, `.tldrx/map/{repo}/gotchas.md` and `.tldrx/memory/facts.yml`,
+  and `pathsIntersect` is `false` against every one of them for a citation to
+  `tldrx-work/<run>/03-build/handoff.md` — so no role expert could earn a row from the runs
+  pass at 0.12.0 either.
+  The gate now treats the run record as in-domain for the file mined FROM it, scoped to the pass
+  and not to the expert's `kind:` — a light file citing a handoff is still out of domain, and
+  still says so.
+- **Two shipped role templates declared a `## Domain` path that matched nothing at all.**
+  `pathsIntersect` is segment-prefix matching with no globbing, so architect's `.tldrx/map/**`
+  and operations' `.tldrx/map/{repo}/gotchas.md` were literal strings: even a citation to the
+  map itself was refused. Both are now spelled `.tldrx/map/`, which the matcher reaches; the
+  nuance each carried stays in the bullet's prose. Globs and `{repo}` placeholders remain
+  unsupported in a `## Domain` bullet — a test now refuses one in any shipped role template
+  rather than letting it look like it works.
+- **A paid training pass that earned nothing said so nowhere durable.** The ledger recorded
+  `problems` only on the failure path, so a file that validated, cost $1.61 and added zero
+  evidence rows was written down as `check.passed` with `evidence_added: 0` and no reason beside
+  it — the operator's next signal being `tldrx status` telling them to train it again. The
+  `check.passed` record now carries its `warnings`, and the run prints `the level did not move —
+  $X.XX bought 0 evidence row(s)` with the reasons under it. It stays exit `0` and the file is
+  still kept: a warning is a way of being worth nothing, not a lie, and quarantining an honest
+  file would destroy the one thing that was paid for. (The sibling of #101 on the output side —
+  that one refuses an empty INPUT before the money; nothing asked the question after.)
+
 ## 0.12.0 — 2026-09-08
 
 ### Added

package/README.md

@@ -316,6 +316,7 @@ back on the registry is 0.3.0.
 
 | Version | Date | Status | Contains |
 |---|---|---|---|
+| 0.13.0 | 2026-09-08 | `beta` | evidence a role expert can actually earn, and a review that leaves a record: `--mode full`'s runs pass mines `tldrx-work/**` while the domain gate judged every citation it produced against folders of code — measured at four role experts, **$9.47 and one evidence row**, and unfixable from the workspace because the single spelling the matcher would reach is the one `domainPaths()` drops — so the gate now treats the run record as in-domain for the file mined FROM it, scoped to the pass and never to the expert's `kind:` (a light file citing a handoff is still out of domain and still says so), two shipped role templates stop declaring `.tldrx/map/**` and `.tldrx/map/{repo}/gotchas.md` paths that matched nothing at all, and a pass that validated, spent money and earned zero rows now prints `the level did not move — $X.XX bought 0 evidence row(s)` with its reasons carried into `check.passed` instead of a silent ledger; `tldrx expert rescore` recovers what was already bought for $0 by re-reading `knowledge/*.md` under today's rules, dating rows by the knowledge file's own `trained_at` and never by the clock, with `rescored_at` additive beside `at` — its ABSENCE keeping the meaning every existing row had — and one `evidence.rescored` line per file it actually moved, so a free re-derivation can never be read as a paid turn; `scripts/merge-wave.sh` refuses a branch carrying no `.review/<branch>.md` with **exit 10**, its own code because `2` in that script is already "merge conflict", a stale record refusing rather than warning and staleness measured as "the code moved" rather than "the sha differs", since committing the record moves the head past exactly the sha it names; and the mutation check moves from the reviewer, whose allowance is `Read`/`Grep`/`Glob`/`Bash(git diff *)` and holds no pen, to the developer's contract that can run it, leaving the reviewer the read it can actually perform |
 | 0.12.0 | 2026-09-08 | `beta` | records that can be attributed and spans that were actually measured: the reviewer can be pinned to its own model and effort per role (`reviewer:`) and per story stakes (`reviewer_by_stakes:`, keyed on a story's new optional `stakes:` enum), resolved field by field under `--model`/`--effort` and shipping NO opus default — because there is no evidence yet that a stronger reviewer finds more, only the record that lets the evidence accumulate: every verdict now names the model that produced it, a host review reading `basis: host-declared` off its own flags and a host that declared nothing reading `not recorded` rather than the bundle's suggestion; `run.yml` gains `created_with` and `last_written_by` beside the file format's own `version: 1`, and `agent.spawned`/`agent.result` carry `tldrx_version`, so a run that outlived an upgrade carries both ends of the range that drove it; a task row carries `duration_ms` that never travels without `duration_basis` — `spawned` is the wall clock around the sub-agent's process, `prepare-to-commit` is a ceiling that includes the host's own time — and `tldrx cost` shows a duration per attempt and a per-stage sum that names a mixed basis instead of adding two different quantities, with a pre-existing row reading `not recorded` and never `0s`; no surface prints a bare `$0.00` over work nobody metered — one implementation writes `≥ $12.40 (7 tasks unmetered)` or `not measured: 9 in-session tasks, 0 metered` across `run status`, `budget show`, the dashboard, `replay`, `run auto`, the Build handoff and every notification, and `budget.yml` gains `unmetered_tasks` and `spent_basis`; the surface a story actually changed is measured off its own diff over the range the reviewer was shown and appended as one `story.touches_widened` with `basis: "measured"` beside what was declared, advisory and never rewriting the operator's `touches:`; and a `maintain` skill encodes the maintenance circuit twelve hand-run waves actually measured — reproduce an issue on current `origin/main` before touching anything, a fresh reviewer before `merge-wave.sh` and not after, at most 3 issues and 2 implementers a cycle — pinned by a test that every command and `§N` it cites resolves |
 | 0.11.1 | 2026-09-08 | `beta` | operating a run when nobody is watching: the drive mandate now names the host's own context as the costliest instrument and tells the driver what to READ back — a sub-agent's outcome from its `result.json` and the ledger, never its transcript, each sub-agent briefed to report its turn in ten lines, and a cited file re-opened to VERIFY at a gate rather than re-read for a claim already made — paid for inside the unchanged line budgets rather than appended; `.tldrx/workspace.yml` takes one optional `notify:` block whose command is handed a `version: 1` JSON object on stdin at each moment a person is needed (an open question with its options, its recommendation and the literal `tldrx answer` line; a gate with its approve line; a finished or failed run with what its exit code's family means; a budget warning with both numbers), split to argv and never shelled, with a notifier that will not split, is not there, exits non-zero or hangs recorded as `notify.failed` instead of failing the run; `tldrx run auto --wait-answers <duration>` polls the question files and resumes when the answer lands instead of exiting 4 the moment a stage parks, and `--notify-every <duration>` sends a timer-driven heartbeat that reminds rather than reassures while a run is parked; and a new EN+ES guide page walks the whole unattended loop — host mode versus the engine, the payload keys, a dependency-free Node adapter, a first-run checklist and the four ways it silently does nothing — naming no messaging service, by the same reasoning the mandate has always given |
 | 0.11.0 | 2026-09-08 | `beta` | governance that leaves a record: every answer says who decided it and what repo it binds, an advisory contradiction check raises a question that never stops a run and states its own limit, the close and the Build handoff count decided vs not-stated; `tldrx story widen` is the sanctioned way to grow a story's surface (a done story needs `reopen --for-fix` first) and a defect no story owns is named in the handoff, the PR body and the boundary card instead of absorbed; a budget grant is a recorded number in `budget.yml` that survives every writer, `budget raise` warns or refuses against it, presets are labelled as the assumptions they are, `triage.budget_basis` says where a figure came from and `tldrx cost --stories` measures each story against the ceiling its spawn was given, honest about lower bounds |

package/dist/hooks/budget-gate.js

@@ -29,7 +29,7 @@ import {
   validateRunBudget,
   wouldExceed,
   wouldExceedHostTokens
-} from "./chunk-zrjgpgwy.js";
+} from "./chunk-fsgsn8vb.js";
 import {
   EventLog
 } from "./chunk-f1w9sy07.js";

package/dist/hooks/{chunk-zrjgpgwy.js → chunk-fsgsn8vb.js}

@@ -595,12 +595,14 @@ function readEvidenceRows(input) {
       continue;
     }
     const confidence = str2(row.confidence);
+    const rescoredAt = str2(row.rescored_at);
     evidence.push({
       kind,
       src,
       at,
       ...row.cross === true ? { cross: true } : {},
-      ...isEvidenceConfidence(confidence) ? { confidence } : {}
+      ...isEvidenceConfidence(confidence) ? { confidence } : {},
+      ...rescoredAt === "" ? {} : { rescored_at: rescoredAt }
     });
   }
   return { evidence, ignored: [...counts.values()] };

package/dist/hooks/{chunk-jd48713j.js → chunk-w9r9p155.js}

@@ -10,7 +10,7 @@ import {
   spentBasis,
   tallyOf,
   validateRunBudget
-} from "./chunk-zrjgpgwy.js";
+} from "./chunk-fsgsn8vb.js";
 import {
   EventLog,
   asRunFile,

package/dist/hooks/session-start.js

@@ -18,7 +18,7 @@ import {
   openQuestions,
   runSnapshot,
   whatIsWaiting
-} from "./chunk-jd48713j.js";
+} from "./chunk-w9r9p155.js";
 import {
   expertsDir,
   loadExperts,
@@ -26,7 +26,7 @@ import {
   pathsIntersect,
   readExpertDomain,
   stackExpertNames
-} from "./chunk-zrjgpgwy.js";
+} from "./chunk-fsgsn8vb.js";
 import"./chunk-f1w9sy07.js";
 import"./chunk-yvgkw0gm.js";
 import {

package/dist/hooks/statusline.js

@@ -2,8 +2,8 @@
 import {
   bar,
   runSnapshot
-} from "./chunk-jd48713j.js";
-import"./chunk-zrjgpgwy.js";
+} from "./chunk-w9r9p155.js";
+import"./chunk-fsgsn8vb.js";
 import"./chunk-f1w9sy07.js";
 import"./chunk-yvgkw0gm.js";
 import"./chunk-1knfmj6j.js";