๐บ The auto-improvement loop: what would be built¶
Status: specification of mostly unbuilt work. Written 2026-08-11. Updated 2026-08-26; step 1 built in 5.4.0 and 6.16.0, step 3 in 5.5.0, step 4 in its own PR, and step 5 built narrow (verbatim runs only) in 5.7.0 -- see Build order.
python -m chitragupta.review agenda <draft> is a command now, though
no skill consumes it yet -- that is step 5's widening, still open. Of the
review aids, all seven now emit JSON: verbatim scan as of 5.4.0,
provenance and coverage as of 6.16.0, synthesis and uncited
from the day each landed, and agenda itself from the day it landed.
This document states what would be built and what it must satisfy, in
the order it would be built.
It contains no argument. Every "why" -- why the aid sits in the review layer rather than the drafting one, why three of six item classes may not be acted on, why the loop stops instead of running overnight, and the one documented rule it cannot satisfy without the user's approval -- is in AUTO-IMPROVEMENT-RATIONALE.md. Read that first if you are deciding whether to build this; read this one if you are building it.
Written for someone implementing it. It assumes ARCHITECTURE.md for the four layers and DRAFT-ITERATION.md for the dossier and the drift sweep.
Not covered here: the prose and house-style half, which has its own
detectors, its own persistence and its own roadmap --
HOUSE-STYLE.md. Corpus growth is out of scope entirely:
nothing specified below fetches a paper, writes bibliography.bib, or
writes the ledger.
๐งญ Table of contents¶
- The shape
- 1.
--jsonon every review aid - 2. The
agendaaid - 3. The
agenda-reviserskill - 4. Acceptance and rollback
- The requirements
- Who calls it, and when
- How the loop is reached
- The cost ladder
- What accumulates across drafts
- Build order
- B5 is a separate mechanism, not a widening of this one
- What this does not change
๐ The shape¶
Three sentences.
- The deterministic half is a further review aid: it reads the other eight aids' findings plus the dossier's drift report and emits one ranked, deduplicated worklist.
- The generative half is a skill: it consumes that worklist, repairs what may be repaired unattended, re-verifies each repair, and hands the rest to the human.
- The human closes the loop: they accept the diff, and no code path runs the skill automatically.
โถ 1. --json on every review aid¶
Built (5.4.0, 6.16.0). chitragupta/review/__init__.py owns one output
contract for the layer. Extend it with a JSON sibling beside the
Markdown, at content/review/<topic>/<stem>.<aid>.json.
- The JSON is an additional serialisation of the same findings list, never a second computation. The printed Markdown stays the default and stays authoritative.
- No timestamp, per the layer's existing rule: two runs over an unchanged draft and corpus produce byte-identical JSON.
- This is the verbatim scan's
--jsonchange applied to the layer rather than toverbatim_checkalone, so the report contract does not fork.
What 5.4.0 built, per that change's scope: the layer-level plumbing --
review.envelope() (the payload's provenance, and the not-a-verdict
notice, as data) and review.write_json() -- plus verbatim scan
--json, which prints the payload and files it under --write.
What 6.16.0 added: provenance --json and
coverage --json, reusing that same plumbing. provenance files its
.json unconditionally, matching the .md's own always-write policy;
coverage files its .json only under --write, matching the .md's.
So the agenda below can still find an aid's JSON missing for a given
draft -- not because an aid has yet to reuse the plumbing, but because
that aid was never run against this draft, or coverage was run without
--write -- which is the case step 2 already accounts for.
โถ 2. The agenda aid¶
python -m chitragupta.review agenda <draft> -- a fourth key in review.AIDS.
Deterministic, stdlib-only, no LLM, tier 1, takes no lock, exits 0 whatever
it finds.
Reads:
- the eight aids'
.jsonfor this draft -- each optional, and skipped with a note when absent; chitragupta.dossier.drift(dossier_dir), for missing citekeys and candidates;recorded_but_uncited(draft), for the citekeys the dossier still records and the draft no longer cites -- read without adossier stampbaseline, deliberately, so an unstamped dossier still reports the state;rejected.md-- a candidate already turned down with a reason is never re-proposed;sections.md, so every item carries a section anchor.
Writes: <stem>.agenda.md and <stem>.agenda.json under
content/review/<topic>/, via the layer's existing write().
Merges. One finding may appear in two aids' output; the agenda emits one item. This cross-signal merge is the work no individual aid can do.
Every finding carries a stable identity -- (aid, class, section
anchor, citekey, hash of the matched span) or equivalent -- so that "this
finding is gone" and cross-aid dedup are both decidable across runs.
Order: class order as the table below lists it, then the verbatim scan's severity bucket within a class, then position in the draft.
๐ท Item classes¶
| Class | Source | Kind | Unattended? |
|---|---|---|---|
missing-citekey |
drift | defect -- the gate will fail on it | yes |
recorded-but-uncited |
dossier | missing-citekey in the other direction -- evidence.md or sections.md still records a citekey the draft's text no longer cites |
no -- surfaced. recorded - cited cannot tell a citation the user deleted from a candidate transcribed and never cited, and the two want opposite repairs, so deleting recorded evidence unattended would trade a cosmetic staleness for a real loss. The repair is dossier prune, which a person confirms. Computed without a dossier stamp baseline, unlike status's own report of the same state |
verbatim-run |
verbatim scan | defect above a span threshold | yes, except the long runs the remediation design reserves for the human. Built: agenda-reviser |
prose |
style_check, steering.md |
no evidence delta | yes, for the whole class -- a recorded decision. style_check already emits only the decidable rules of WRITING-STANDARDS.md ยง9, so every prose item is the mechanically re-checkable subset, and the repair is an edit to the draft, which is R1's write-set |
unsupported-claim |
provenance | judgement | no -- surfaced |
claim-support |
support | judgement | no -- surfaced. Unfiltered by design -- a cutoff would claim a precision this corpus does not support (REVIEW.md) -- so _order.severity_rank ranks worst-score-first inside the class instead, and the item's own summary states the score is not a verdict |
uncited-source |
coverage | judgement | no -- surfaced |
uncited-claim |
uncited | judgement | no -- surfaced. Binary per finding, so the agenda may rank it; the fix is evidence, not wording, and a reviser rewording one would make it look supported without making it supported |
misquoted |
quotation | defect -- the span is not in the source it cites | no -- surfaced. Binary and deterministic, so R3 is satisfied and the agenda may rank it; but the defect is in evidence.md, and agenda-reviser edits drafts. There is no unattended repair for a bad quote: |
candidate |
drift | a decision, usually correct to decline | no -- surfaced |
support (C2) asks the same underlying question as provenance --
does the source support this claim? -- but was never wired in as a
second source for unsupported-claim: its score is ranked, never
banded, by design (REVIEW.md), and that class's extractor
(unsupported_claim_items) decides membership by a band, a field
this aid deliberately does not emit. A later change gave it its own class instead,
claim-support, ranked-but-unfiltered rather than thresholded -- a
percentile cutoff would claim the same false precision a band would.
Findings the entailer could not score at all (note set, no quotable
passage) are excluded, since there is no score there to rank or act on.
The prose class had no producer when this was written. It has both a
producer and a consumer now: the detector shipped in 5.13.0 and
its automatic invocation landed in 5.19.0, and chitragupta/style_check.py
emits --json -- so build-order step 6 below is done, and this class
is live rather than an empty list.
โถ 3. The agenda-reviser skill¶
A skill, not a chitragupta/ module. Named for its input, like the two revisers
it joins: draft-reviser works from the dossier, corpus-reviser from a
whole-corpus re-search, this one from the agenda.
Per item:
- Dispatch the existing
draft-reviserdiscipline -- readscope.mdandsteering.mdfirst, edit inside the named section withEdit, never a whole-fileWrite. - Re-run
python -m chitragupta.draft gateand the aid that raised the finding. Accept only if both come back clean. - Re-run every other aid. If the total count of objective-class findings rose, revert the edit and escalate the item.
- Log the attempt in
revisions.md-- outcome included, refusals included.
Termination: at most two attempts per item; a second failure escalates the item and the loop moves on. One agenda pass per invocation. The loop never adds a claim, and on the unattended classes only removes or rewords existing ones.
โถ 4. Acceptance and rollback¶
Two levels.
- Before the pass: one
python -m chitragupta.draft dossier export <slug>. - Within the pass: the skill holds each section's pre-edit text and re-applies it when an item fails. Reverting one item leaves every earlier accepted item intact.
A failed attempt is logged in revisions.md and never in
rejected.md.
The human is presented with a diff plus the revisions.md entries. The
loop proposes and repairs; the human accepts.
๐ฏ The requirements¶
Eleven obligations, each phrased so a reviewer can tell whether it has been met. AUTO-IMPROVEMENT-RATIONALE.md says where each comes from.
| Requirement | |
|---|---|
| R1 | The skill's write-set is exactly the draft and revisions.md. It may execute an aid, the gate and style_check; it may not edit them, nor the boilerplate allowlist, rejected.md, scope.md, or anything under the corpus layer. |
| R2 | Every finding carries an identity stable across runs. |
| R3 | An unattended item's check is binary. No continuous score is ever the thing being optimised. |
| R4 | After each accepted edit, every aid re-runs and the result is compared by R2's finding identity rather than by a total: the repaired item appears in resolved, and no objective-class finding appears in new. A count that holds level because one objective finding was swapped for another is a failed edit, not a neutral one. Otherwise the edit reverts. |
| R5 | Reverting one item leaves every earlier accepted item intact. |
| R6 | Every attempt is logged with its outcome, refusals included, and no machine outcome is ever written to rejected.md. |
| R7 | Two attempts per item, one pass per invocation, then hand back. |
| R8 | Where a deletion and a rewrite both pass, the smaller diff wins. |
| R9 | The agenda taken before the pass is the recorded baseline, and the closing report is stated against it. |
| R10 | The aid is registered in both review.AIDS and __main__.AIDS; the skill's description names its triggers; and both appear in AGENTS.md's layer bullets, CLI.md, the README tables and mkdocs.yml. |
| R11 | No hook, no scheduled job and no other skill invokes the agenda-reviser skill. Its only trigger is a person asking. |
๐ฅ Who calls it, and when¶
The two halves have different answers, and conflating them is how this design would go wrong.
The aid: anyone, at any time. python -m chitragupta.review agenda <draft>
is
free, deterministic, read-only and exits 0. It has exactly the standing of
the other eight aids -- you run it because you want to know. No occasion is
privileged and none is required. That describes the bare command, which
is the one every caller here means; its --baseline mode re-runs the
eight aids before comparing (chitragupta/review/agenda/_recheck.py), so
that mode alone is neither free nor read-only.
The skill: only a person, and only on a draft they consider finished.
Its SKILL.md description is the whole trigger, so in practice it runs
when a user says something like "clean up this draft" or "what is left to
fix here". Three occasions to name in that description:
- before rendering or submitting;
- after a
syncmoved the corpus, whendossier status --allhas named this draft; - on picking a draft back up after weeks away.
Nothing else may call it (R11): not a PostToolUse hook, not a
scheduled job, not a genre skill at the end of its own run, and not
draft-reviser on its own initiative.
Why each.
A stale input is reported, not merged. Reports carry no timestamp -- deliberately, so they diff cleanly -- so the check is file mtime. An aid report older than the draft is named as stale in the agenda's header and its findings marked, rather than presented as current; the header says to re-run that aid.
๐ช How the loop is reached¶
Nothing here is discovered by scanning the filesystem. Each half is reached by a different mechanism, and a piece that is built but not registered is dead code.
| Piece | How it is found | Consequence of omitting it |
|---|---|---|
The agenda aid |
a fourth key in review.AIDS (chitragupta/review/__init__.py) and in __main__.AIDS |
chitragupta/review/__main__.py raises RuntimeError if the two dicts disagree, so a half-registered aid fails loudly at import rather than writing a report nothing can find |
The agenda-reviser skill |
its SKILL.md frontmatter name and description |
This is the only trigger mechanism. A skill whose description does not match how a user phrases the request is never invoked, however correct its body |
| Both, for an agent working on a draft | AGENTS.md's layer bullets, which enumerate the aids (Layer 4) and the skills (Layer 2) | An agent following AGENTS.md would not know either exists |
| Both, for a human | CLI.md for the command and its flags; GENRE.md for which reviser handles what; README's review-aid block | Undiscoverable outside the source |
| The docs themselves | mkdocs.yml nav and the README documentation tables |
Invisible in the site nav. Not a build failure: nav.omitted_files is INFO-level, and mkdocs build --strict still passes |
The first two rows are load-bearing rather than administrative, and SOUL.md is deliberately absent from the list -- why.
โก The cost ladder¶
Do the free thing first, and pay only for what it could not decide -- LADDERS.md's existing shape.
- Detection and rejection, at zero tokens. Every aid,
style_checkand the gate are stdlib, deterministic and modelless. This rung must run to exhaustion before rung 2 begins. - A single-shot edit where the fix is local and the re-check binary: a dialect slip, a defect marker, an acronym. No subagent, no retrieval, no dossier read -- the finding already names the span. The span bounds the edit, not its consequences: a repair inside one sentence can falsify a claim elsewhere in the same draft ("the three approaches below", a count, a forward reference), and no aid detects that. An item whose wording another passage refers to is rung 3 work, and a rung-2 repair that changes a quantity, an enumeration or a name is re-read against the passages that cite it before it is accepted.
- A dispatched reviser, only for items needing the surrounding argument in context. The expensive rung, and the short list.
Model tiering is the fourth rung. Two closed issues settled the policy and the measurement behind it; what is left is applying that policy to whatever mechanical stages this loop adds, which is a question for the build rather than a blocker on it.
๐ What accumulates across drafts¶
Instrumentation the loop would produce that outlives any one draft. None of it is built, and none of it is read today.
- Which retrieval queries paid.
retrieval.mdlogs every call;evidence.mdandrejected.mdrecord what was kept and turned down. Across drafts, that is which query shapes yield kept evidence -- the evidence the parked evaluation harness would otherwise have to synthesise. - Which item classes the human accepts. Accepted and reverted items per class, across drafts, is a labelled record of the loop's own reliability. The gating decision requires its threshold to be tuned against real reports rather than guessed; this is those reports.
- Where the tokens went.
dossier statusalready totals retrieval cost per revision. Across drafts, that is the measurement TOKENS.md currently estimates.
The house-style counterpart -- standing preferences, the glossary, the allowlist -- is in HOUSE-STYLE.md.
๐บ Build order¶
A standing issue already fixes this order; the change is to its scope, not its sequence.
- Settle the amendment. Not a coding task -- AUTO-IMPROVEMENT-RATIONALE.md. Approved by the user on 2026-08-21 and applied in 6.20.1 by the change that needed it to make the verbatim scan a required step in the genre skills. The surviving invariant is advisory-versus-blocking: a review finding may be read, may be invoked by a driver, and may never block a draft.
--json, widened to every aid. Hard prerequisite for everything below. Done:verbatim scanin 5.4.0, thenprovenanceandcoveragein 6.16.0, andsynthesis/uncitedfrom the day each landed -- all six aids now emit JSON on the same layer-level plumbing.- Severity buckets and the boilerplate allowlist. Done in
5.5.0 -- the allowlist shipped as per-host, gitignored data (like
config.toml), not version-controlled as first framed in HOUSE-STYLE.md; the constraints above (read-only to the loop, etc.) hold either way. agenda, one aid further. Done -- useful on its own, independently of whether step 5 follows.- The remediation skill, widened -- the
agenda-reviserskill, over all defect classes rather than verbatim runs alone. Built narrow first, in 5.7.0:overlap-reviser(since renamedagenda-reviser) is the remediation issue as filed, over theverbatim-runclass alone, consumingverbatim scan --jsondirectly rather than an agenda. It did not wait for steps 2 and 4 because it did not need to -- one aid's JSON already existed, and a loop that repairs one class is the report step 7 has to be tuned against. Widening it is now a matter of giving it the agenda as an input and the other classes as work; the write-set, the two-attempt limit, the binary re-check and the person-only trigger are already what R1-R11 ask for.
Two pieces of that step landed with it, both in the review layer
rather than the skill: the scan payload's id (R2's stable identity,
for the verbatim-run class) and verbatim recheck, which is R3's
binary check and R4's did-anything-else-break count made
deterministic. agenda should reuse both rather than restate them.
6. The copy-edit branch and style_check.py, giving
the prose class a producer and a consumer.
7. The gating decision, last, tuned against real reports from
step 5.
Step 5's widening is the only work left live. Steps 1, 2, 3, 4 and 6 are shipped, and step 7 is a closed, declined decision rather than an open issue -- see REQUIREMENTS.md ยง5.1.
๐ง B5 is a separate mechanism, not a widening of this one¶
The five genre skills' own pre-gate self-feedback step (roadmap item
B5, designed in
plans/b5-pregate-self-feedback.md) is easy to misfile as part of this
track, since both critique a draft
against a deterministic count before accepting an edit. They are not
the same mechanism, and R11 ("no other skill invokes the
agenda-reviser skill... only trigger is a person asking") does not
cover B5:
- B5's step runs inside a genre skill, at generation time, on the
draft that skill itself is producing. It is not
agenda-reviser-- R11 governs when a person may start a reviser skill, not what a genre skill's own step does to its own output before the gate. - It does not widen step 5 above and is not a build-order step in this track; it is a sibling mechanism the roadmap tracks separately, under B5.
- It calls
verbatim scan/recheck,draft styleanddossier statusdirectly, the same commandsagenda-reviserand every genre skill's own later steps already call. It never callsreview agenda, so there is no overlap with this track's own machinery to exempt it from. - Its termination condition is the declared query list, not a round
count:
outline.md's list is finite, so "every declared query ran and none came back empty" is decidable. That is a report the step prints, never a bound on how much it may edit and never a condition of presenting -- the three-repair cap is what bounds the editing, and R3 is why exhaustion is reported as a binary rather than a proportion.
๐ซ What this does not change¶
- No new gate.
chitragupta.draft gateremains the only one. The gating-decision issue remains the only place that decision is taken. - No corpus growth. The loop never fetches, never writes the ledger, and never proposes a paper that is not already in it.
- No new layer. Four layers, one new aid in the fourth, one new skill in the second.
- No new entry point.
python -m chitragupta.review agenda <draft>is one verb under an existing front door, at depth 1. - The review layer still never blocks.
agendaexits 0 with a full worklist, exactly as the other eight aids do with findings.