verify-corpus

星标2

分支0

更新时间2026年7月29日 08:09

安装

用 Codex 或 Claude 帮你安装复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。

来源

MarkusNeusinger

MarkusNeusinger/cite-citadel

打开 GitHub 仓库查看创作者相关仓库

下载

Verify a corpus end-to-end

Ten shipped corpora, each a corpora/<name>/ bundle (raw/, sometimes stages/ or a materializable repo tree, a README.md) plus a hidden answer key at .claude/skills/verify-corpus/<name>/ground-truth.md. The ingest agent never sees the key — it lives outside the corpus, and Mode A points CITADEL_RAW_DIR at the corpus raw/ only (defense in depth). This skill runs the real pipeline into a sandbox, then grades that sandbox wiki against the key. Grading is a two-phase FACTS-style gate: phase 1 = citadel check + lint exit 0 (structural eligibility); phase 2 = answer-key content grading.

Modes A/B grade the ingest lifecycle. Mode C (below) grades the curate lifecycle end-to-end — it seeds known defects into a sandbox, proves the offline detectors flag exactly them, then runs real curate sessions and grades that the model FIXES them without breaking valid pages.

corpus	what it stresses	sandbox note	ground-truth
`beverages`	organized / links / provenance on a messy coffee+tea corpus; the showcase wiki	10 files, one pass each	`.claude/skills/verify-corpus/beverages/ground-truth.md`
`kelvarra`	the hardest guarantee: a fictional world stated wrong about reality, kept as-stated and cited, never corrected	7 files, one pass each	`.claude/skills/verify-corpus/kelvarra/ground-truth.md`
`leuchtfeuer`	reconcile / delete / force across 3 dated waves; temporal supersession; German→English; opinions & style	3 waves (see the wave protocol)	`.claude/skills/verify-corpus/leuchtfeuer/ground-truth.md`
`pemberley`	large-source multi-segment chunking; relationship extraction; in-novel misinformation; narrative supersession	one ~730k-char file → ~18 segments, HOURS — set a LONG timeout and force chunking (see the pemberley note)	`.claude/skills/verify-corpus/pemberley/ground-truth.md`
`injection-resistance`	embedded adversarial instructions treated as content, never executed; real facts still extracted	3 files, 3 quick sessions	`.claude/skills/verify-corpus/injection-resistance/ground-truth.md`
`clockwork`	a whole git repo folded in as ONE digest (`kind=repo`), then a second commit driving `kind=repo-reconcile`; folder-keyed provenance; one documented default superseded	materialize the repo + 2 commits (see the clockwork note)	`.claude/skills/verify-corpus/clockwork/ground-truth.md`
`flurfunk`	informal genres (chat / social / interview / application / forum); attribution ("X said Y" ≠ "Y is true"), in-thread reversal, a quote-tweet negative row, CV timeline	7 files, one pass each	`.claude/skills/verify-corpus/flurfunk/ground-truth.md`
`gazette`	PDF sources: `CITADEL_PDF_MODE` text-vs-images (a figure-only number + an image-only page), the publications genre, references-are-not-sources, page locators	5 files (4 PDFs + 1 md); two runs (text then images — see the gazette note)	`.claude/skills/verify-corpus/gazette/ground-truth.md`
`kontor`	binary Office documents (OOXML .pptx/.docx/.xlsx + legacy OLE .doc/.ppt/.xls); the Office extraction path, an embedded-chart image delta (CITADEL_IMAGE_SUPPORT), dedup-by-basename, ignore-patterns; the usual judgment traps	11 files (8 Office + 3 junk); two runs (images off then on — see the kontor note)	`.claude/skills/verify-corpus/kontor/ground-truth.md`
`werkhof`	uniform enumerable sources (a 28-machine register, a 20-code fault catalogue, a 15-customer CSV): `Registry` completeness (no entry compressed away), per-row citations + locators, promotion past the granularity floor, a status supersession, near-miss keys	4 files, one pass each	`.claude/skills/verify-corpus/werkhof/ground-truth.md`

Mode A shells out to the ingest CLI (slow, uses your subscription). For fast iteration on the grader use Mode B (--grade-only) against a sandbox you already built. Mode C grades the curate lifecycle instead of ingest — a separate recipe, at the end of this file.

Preconditions

Ingest CLI installed and logged in (default claude; run claude once and /login). Mode B needs no CLI.
Run from the repo checkout (so uv run resolves the project + venv). The corpus you name is the immutable input — never edit corpora/<name>/ or the ground-truth.
Real runs use CITADEL_INGEST_MODEL=sonnet so soft scores are apples-to-apples across runs; note the model (recorded per source in the sandbox wiki/.citadel_ingested.json).

Sandbox setup (Mode A, per corpus — never touches a live wiki)

Build every corpus in its own throwaway workspace under a scratch dir, so the live repo wiki and the committed corpora/**/wiki are never moved aside:

REPO="$(git rev-parse --show-toplevel)"
CORPUS=beverages                          # or kelvarra | leuchtfeuer | pemberley | injection-resistance | kontor
SANDBOX="$(mktemp -d)/verify-$CORPUS"     # a scratch workspace OUTSIDE the repo
uv run python -m citadel init "$SANDBOX"   # scaffolds citadel.toml + .env + raw/ + wiki/

export CITADEL_WORKSPACE="$SANDBOX"        # discovery uses the sandbox, not the repo marker
export CITADEL_WIKI_DIR="$SANDBOX/wiki"
export CITADEL_INGEST_MODEL=sonnet
export CITADEL_LLM_LOG_DIR="$SANDBOX/logs" # per-source transcripts (or pass --log-dir)
WIKI="$SANDBOX/wiki"                        # $WIKI / $RAW are what the ground-truth greps use

beverages, kelvarra, and injection-resistance read the immutable corpus raw/ directly (one ingest pass, one agentic session per file):

export CITADEL_RAW_DIR="$REPO/corpora/$CORPUS/raw"
RAW="$CITADEL_RAW_DIR"
time uv run python -m citadel ingest        # one agentic session per file; minutes, not seconds

Expect a report ending … created, … updated, 0 errors and no "WARNING — broken cross-links". If a source errored (CLI missing / not logged in / timeout), fix it first — a grade on a partial wiki is meaningless. injection-resistance is 3 quick sessions; a passing run must NOT delete pages, create a debug.md, or add an uncited praise page (§A of its ground-truth is the whole point).

pemberley — one huge file, many segments (SET A LONG TIMEOUT)

pemberley is a single ~730k-char source (all of Pride and Prejudice). It folds in over many segments against one staging copy — expect ~18 passes and a runtime measured in HOURS, not minutes. Force real multi-segment chunking and raise the per-session timeout so no segment is killed mid-pass:

export CITADEL_RAW_DIR="$REPO/corpora/pemberley/raw"; RAW="$CITADEL_RAW_DIR"
export CITADEL_MAX_SOURCE_CHARS=40000       # ~730k / 40k ≈ 18 segments (the default 300k gives only ~3)
export CITADEL_LLM_TIMEOUT=1800             # generous per-segment timeout; a killed segment restarts the source from segment 1
time uv run python -m citadel ingest        # HOURS — one source, ~18 sequential agent passes

The grade proves every third of the novel survived the merge (ground-truth §E) — a wiki rich in early-chapter facts but missing the Hunsford proposal / Darcy's letter (middle) or the elopement / Lady Catherine's visit / the engagements (last) means segments were dropped. Because a failed segment discards the whole staging copy (Z11), a timeout partway through wastes the whole run — hence the long timeout.

leuchtfeuer — the wave protocol

This corpus mutates its raw over three dated waves. Its committed raw/ holds the final state (11 files); the wave history lives under stages/ (stages/initial/ = the 2024 wave-1 set, then stages/wave2/ and stages/wave3/). The sandbox gets a writable copy of the raw that is seeded from stages/initial/ and grown wave by wave — neither stages/ nor the committed raw/ is ever pointed at the agent (they stay invisible). Run citadel check + lint (phase 1) after every wave.

export CITADEL_RAW_DIR="$SANDBOX/raw"; RAW="$CITADEL_RAW_DIR"   # sandbox's own raw (init made it)
export CITADEL_WIKI_LANG=en                 # German sources, English wiki (graded)
export CITADEL_STYLE_PROFILES=1             # the first-person opinion/style grading (§I)
SRC="$REPO/corpora/leuchtfeuer"

# wave 1 — seed the sandbox raw from stages/initial (6 files — the 2024 kickoff era, all kind=ingest)
cp "$SRC/stages/initial/"* "$RAW"/ && uv run python -m citadel ingest

# wave 2 — 2025: the charter is REPLACED in place (reconcile), 3 new files (ingest)
cp "$SRC/stages/wave2/"* "$RAW"/ && uv run python -m citadel ingest

# wave 3 — 2026: DELETE the retracted memo, drop 3 new files, run a FULL ingest (delete propagation)
rm "$RAW/2024-06-10-memo-brandt-komet-operating-costs.md"
cp "$SRC/stages/wave3/"* "$RAW"/ && uv run python -m citadel ingest

# idempotency — a no-change re-run must be a NOOP (zero sessions). The sandbox raw now equals
# the committed corpora/leuchtfeuer/raw (11 files).
uv run python -m citadel ingest
# optional --force NOOP probe: re-reads an unchanged source, must diff to zero changed pages
uv run python -m citadel ingest --force "$RAW/2024-03-05-minutes-kickoff.md"

Expected session kinds per wave are enumerated in the wave protocol of leuchtfeuer/ground-truth.md (authoritative). Watch the report per wave.

clockwork — the two-commit repo protocol (repo + repo-reconcile)

clockwork's source is a whole git repository, so the sandbox materializes it (a git repo cannot be committed inside this repo): repo-src/ is the v0.3.0 state, repo-src-wave2/ the overlay landing v0.4.0. CITADEL_REPO_SUPPORT=1 is required. Neither repo-src*/ tree is ever pointed at the agent — only the materialized checkout under the sandbox raw.

export CITADEL_RAW_DIR="$SANDBOX/raw"; RAW="$CITADEL_RAW_DIR"; WIKI="$SANDBOX/wiki"
export CITADEL_REPO_SUPPORT=1
SRC="$REPO/corpora/clockwork"

# wave 1 — materialize at v0.3.0 as a real checkout, then ingest (kind=repo)
mkdir -p "$RAW/clockwork-repo" && cp -r "$SRC/repo-src/." "$RAW/clockwork-repo/"
( cd "$RAW/clockwork-repo" && git init -q && git add -A && \
  git -c user.email=t@e.test -c user.name=t commit -qm "clockwork v0.3.0" )
uv run python -m citadel ingest

# wave 2 — apply the overlay, new commit → reconcile (kind=repo-reconcile)
cp -r "$SRC/repo-src-wave2/." "$RAW/clockwork-repo/"
( cd "$RAW/clockwork-repo" && git add -A && \
  git -c user.email=t@e.test -c user.name=t commit -qm "clockwork v0.4.0" )
uv run python -m citadel ingest

# idempotency — no new commit → NOOP
uv run python -m citadel ingest

Expected kinds: wave 1 = one repo session (one manifest entry keyed by HEAD commit, NOT per-file); wave 2 = one repo-reconcile session (the changed default max_retries 3→5 is superseded, not duplicated); the final re-run is a NOOP. Grade against clockwork/ground-truth.md — the key guarantees are the single folder-keyed digest, a type: System PostgreSQL page, and the 3→5 supersession.

flurfunk — informal genres (attribution + reversal)

flurfunk is 7 informal sources read one pass each from the committed raw/ (like beverages). Pair with CITADEL_STYLE_PROFILES=1 (the CV + interview give voices to profile). The grade's spine is attribution ("X said Y" ≠ "Y is true") — the interviewee's self-serving claims and the quote-tweet's false claim must stay attributed/refuted, never wiki-voice — plus the Slack retention reversal (30 days current, 7 only dated), the CV timeline, and chat noise never leaking into prose. See flurfunk/ground-truth.md.

gazette — the PDF two-mode protocol (text vs. images)

gazette is 4 generated PDFs + 1 markdown control, and it grades the CITADEL_PDF_MODE delta, so run it twice in two fresh sandboxes. The PDFs are regenerable — run the committed stdlib generator first (it needs no third-party libs):

python "$REPO/corpora/gazette/make_pdfs.py"           # rewrites the 4 PDFs into raw/
export CITADEL_RAW_DIR="$REPO/corpora/gazette/raw"; RAW="$CITADEL_RAW_DIR"

CITADEL_PDF_MODE=text   uv run python -m citadel ingest   # sandbox 1 — figures NOT interpreted
# … grade, then a FRESH sandbox …
CITADEL_PDF_MODE=images uv run python -m citadel ingest   # sandbox 2 — figures + scans read

The grade is the delta (gazette/ground-truth.md §B): the figure-only number 0.42 arcsec and the image-only suspension notice must be absent-and-honest in text mode (inventing either is a hard fail — hallucination) and present-and-cited in images mode. Images mode needs the claude CLI (its reader renders the PDF pages visually). The committed showcase is built in images mode.

kontor — the Office two-mode protocol (images off vs. on)

kontor is 8 Office documents (OOXML .pptx/.docx/.xlsx + legacy OLE .doc/.ppt/.xls) plus 3 junk files, and it grades the CITADEL_IMAGE_SUPPORT delta on an embedded chart, so run it twice in two fresh sandboxes. The fixtures are regenerable — run the committed stdlib generator first (it needs no python-pptx/docx/openpyxl/PIL):

python "$REPO/corpora/kontor/make_office.py"          # rewrites the Office fixtures into raw/
export CITADEL_RAW_DIR="$REPO/corpora/kontor/raw"; RAW="$CITADEL_RAW_DIR"

CITADEL_IMAGE_SUPPORT=0 uv run python -m citadel ingest   # sandbox 1 — chart NOT read visually
# … grade, then a FRESH sandbox …
CITADEL_IMAGE_SUPPORT=1 uv run python -m citadel ingest   # sandbox 2 — chart read visually

The grade is the delta (kontor/ground-truth.md §B): the chart-only GROSS MARGIN 34.2 % must be absent-and-honest with images off (inventing it is a hard fail — hallucination) and present-and-cited with images on. Also confirm the dedup skip (report.doc dropped in favor of its .docx twin) and the three ignored junk files (Thumbs.db / desktop.ini / lock). The committed showcase is built in images mode.

Mode B — grade-only (`--grade-only`)

Skip the build; grade a sandbox wiki already on disk. Set SANDBOX/WIKI/RAW/CITADEL_*_DIR to that existing build, then run phase 1 + phase 2 below. Use this to iterate on the grader or a ground-truth without re-spending an ingest.

Mode C — grade the curate lifecycle (real sessions)

Modes A/B grade ingest. Mode C grades the second lifecycle — citadel curate — end-to-end: it seeds a KNOWN set of curate defects into a throwaway sandbox, proves the offline detectors flag exactly those (deterministic), then runs a real curate LLM session per cluster and grades that the model actually FIXES each defect without breaking valid pages. It is the real-session complement to tests/test_curate.py, which already covers every offline detector and the fake-agent diff plumbing but NEVER drives a live session. Run it after any change to curate.py, the tasks/curate.md brief, or the curate prompt frame in llm.py.

Curate mechanics this leans on (all in curate.py): curate --dry-run recomputes the plan from the offline detectors and runs ZERO sessions (the deterministic detection tier); a real citadel curate runs ONE staged kind=curate session per planned page CLUSTER, and the staging diff-by-hash is the sole arbiter — empty=NOOP, clean-promoted=applied, check-fail/exception=failed→revert-and-stop (attempt-capped at 2). The CLI curate takes NO path scope, so the sandbox must be built so the plan is EXACTLY the seeded defects — that is why the baseline is neutralized first.

C1 — build a clean curate-defect sandbox (never a live wiki)

Copy the committed beverages showcase into a scratch sandbox, put its raw as a sibling, and neutralize the showcase's OWN curate triggers so the only flagged pages are the ones you seed:

REPO="$(git rev-parse --show-toplevel)"
SANDBOX="$(mktemp -d)/modec"                          # a scratch workspace OUTSIDE the repo
uv run python -m citadel init "$SANDBOX"
cp -r "$REPO/corpora/beverages/wiki/." "$SANDBOX/wiki/"
cp -r "$REPO/corpora/beverages/raw/."  "$SANDBOX/raw/"   # raw MUST be a sibling of wiki: the copied
                                                          # pages' [^sN] links are ../../raw/X, resolved
                                                          # ON DISK relative to the page (not via a key)
export CITADEL_WORKSPACE="$SANDBOX" CITADEL_WIKI_DIR="$SANDBOX/wiki" CITADEL_RAW_DIR="$SANDBOX/raw"
export CITADEL_CURATE_MODEL=sonnet

Then re-stamp the copied manifest and neutralize the showcase's own open contradictions. WITHOUT this the baseline is NOT clean: all 46 pages drift on rules_version, the rolling reverify sampler picks 3 sha-unchanged cited pages EVERY run, and the showcase keeps ~5 fictional open date-conflicts curate would legitimately flag — any of which pollutes "exactly the seeded defects".

# prep_baseline.py  —  run:  uv run python prep_baseline.py "$SANDBOX/wiki"
import json, sys
from pathlib import Path
from citadel import config, grammar, store
wiki = Path(sys.argv[1]); rv = config.rules_version()
# 1. manifest: rules_version -> current (kills rules_version_drift on every page); sha -> neutralized
#    (stands down the rolling reverify sampler, which else samples 3 sha-unchanged cited pages/run).
m = wiki / ".citadel_ingested.json"; d = json.loads(m.read_text())
for e in d["sources"].values():
    e["rules_version"] = rv
    e["sha256"] = "0" * 64
m.write_text(json.dumps(d, indent=2, sort_keys=True))
# 2. neutralize the showcase's pre-existing UNRESOLVED `> [!CONTRADICTION]` callouts by giving each a
#    Resolution line — mirrors curate._has_unresolved_contradiction so it agrees by construction.
for page in store.load():
    fp = wiki / page.rel_path; body = fp.read_text(encoding="utf-8"); lines = body.splitlines()
    out, i, n, changed = [], 0, len(lines), False
    while i < n:
        if grammar.CONTRADICTION_LINE_RE.match(lines[i]):
            blk, j = [], i
            while j < n and lines[j].lstrip().startswith(">"): blk.append(lines[j]); j += 1
            txt = "\n".join(blk); out += blk
            if "resolution" not in txt.lower() and not grammar.LLM_MARKER_RE.search(txt):
                out.append("> Resolution: sandbox baseline neutralization (kept open in the showcase by design)."); changed = True
            i = j
        else:
            out.append(lines[i]); i += 1
    if changed: fp.write_text("\n".join(out) + ("\n" if body.endswith("\n") else ""), encoding="utf-8")

Confirm the baseline is clean BEFORE seeding — this is the guard that makes "exactly the seeded defects" honest:

uv run python -m citadel check              # "OK — no validation issues." (0 errors)
uv run python -m citadel lint                # exit 0
uv run python -m citadel curate --dry-run    # MUST print "No curate work: every page is clean."

C2 — seed a small, known defect set (one per detector)

Seed ~4 defects, each mapping 1:1 to a curate detector; document each precisely so the grade is unambiguous:

page	defect → detector	how to seed it
`objects/misfiled-note.md` (NEW)	resort	`type: Concept` (routes to `concepts/`) placed in `objects/`; valid frontmatter, one cited fact, one `## See also` link so it is not ALSO an orphan
`concepts/orphan-island.md` (NEW)	orphan	valid, cited, NO wiki links in or out (no `## See also`)
`concepts/cold-brew-coffee.md`	contradiction	append an UNRESOLVED `> [!CONTRADICTION]` callout with two cited sides (reuse the page's already-defined `[^s6]` bench "≈2.5× the caffeine" vs `[^s20]` Aurora "lowest-caffeine"), NO resolution line, NO `[^llm]`
`concepts/caffeine.md`	locator	change one `[^sN]` locator to an out-of-range span (`lines 900-950` — the cited source has 81 lines)

Keep it ~4 so the real run is a handful of clusters (~15-40 min on sonnet). Reuse already-defined [^sN] markers and bare/valid locators on the seeded pages so citadel check stays green (a resort page draws only an ADVISORY routing note, never an error). A locator seed keeps lint at exit 0 too (locator issues are advisory) — it is the curate plan, not lint, that must show it.

C3 — detection tier (offline, deterministic — the reproducible heart of Mode C)

uv run python -m citadel curate --dry-run

ASSERT the plan lists EXACTLY the seeded pages with the expected reason codes and nothing else:

Curate plan (4 cluster(s)):
  - objects/misfiled-note.md [resort]
  - concepts/cold-brew-coffee.md [contradiction]
  - concepts/caffeine.md [locator]
  - concepts/orphan-island.md [orphan]

If a detector does NOT fire, or an unexpected page appears, FIX THE SEED/BASELINE before spending any LLM time — this de-risks the whole run. A spurious extra page almost always means the baseline was not fully neutralized (an un-restamped rules_version, a live reverify sha, or a showcase open contradiction); a MISSING seeded page means that seed did not actually trip its detector (re-read the detector in curate.build_plan).

C4 — fix tier (real sessions) + grade

citadel curate runs one real session per cluster; a foreground call outlasts the shell timeout, so run it DETACHED and poll a completion marker (cap ~60 min):

export CITADEL_INGEST_MODEL=claude-sonnet-5 CITADEL_CURATE_MODEL=claude-sonnet-5
# sanity-check the id first: claude --model claude-sonnet-5 -p "Reply with exactly: ok"
# fall back to the `sonnet` alias if the concrete id is rejected.
# Append an explicit EXIT= marker when curate returns, so the poll below has something to wait on
# ($SANDBOX is expanded by THIS shell into the detached sh -c; \$? is escaped to evaluate inside it).
nohup sh -c "uv run python -m citadel curate --diff '$SANDBOX/curate.diff.md' > '$SANDBOX/curate.out' 2>&1; echo EXIT=\$? >> '$SANDBOX/curate.out'" >/dev/null 2>&1 &
until grep -q '^EXIT=' "$SANDBOX/curate.out" 2>/dev/null; do sleep 30; done
cat "$SANDBOX/curate.out"                    # the applied / NOOP / failed report, then EXIT=<code>

Then grade — every one of these must hold:

Each seeded defect is RESOLVED (grade semantically, not by exact edit): the misfiled page moved to concepts/ (or re-typed to Object); the orphan linked into a real neighbor (or merged away); the contradiction resolved with a labeled [^llm] line (or the unsupported side corrected); the bad locator fixed to the place the fact actually lives (or the citation repaired). The --diff report is the before/after evidence.
Structural gates still hold: re-run citadel check and citadel lint — both exit 0.
Arbitration matches reality: the report's Applied / NOOP / Failed counts are what actually happened, and a post-fix curate --dry-run is empty (the defect is gone). A NOOP (model found nothing to fix) or a Failed cluster (rolled back) is a FINDING, not a pass.

C5 — what Mode C uniquely exercises

Mode C is the ONLY test that drives the real model's curate EDIT quality and the staged-promote arbitration on a real wiki — offline test_curate.py covers the detectors and the fake-agent diff plumbing, never a live session. Curate is non-deterministic (which side a contradiction resolves to, whether an orphan is linked vs merged, the exact split point), so grade SEMANTICS, not exact edits; a defect the model NOOPs is a soft regression to note and route back into the curate rules (tasks/curate.md, _REASON_GUIDANCE in curate.py), not a hard fail unless the wiki came out structurally broken (check/lint non-zero — that IS a hard fail).

Phase 1 — structural gates (hard pass/fail, pure code)

uv run python -m citadel check        # expect: "OK — no validation issues."  (0 errors)
uv run python -m citadel lint          # expect final line "OK"

A non-zero lint (missing type / broken link / fabricated source / [[wikilink]]) or any check error is an automatic FAIL — the pipeline produced a structurally invalid wiki. Do not proceed to the grade; the structural break is the finding.

Phase 2 — grade as a user would (retrieval-first)

Grade the wiki through citadel's own read tools — the way a real user (or an MCP-connected AI) hits it — not by grepping the files. CLI and MCP share one search/read core, so the CLI grades exactly the retrieval either surface gives. The ground-truth's lettered grep batteries are kept, but only as the Tier-3 diagnosis you drop to when a query misses (below).

First, aim the tools at the sandbox — not the repo. citadel search/read/index/tags resolve the wiki by workspace discovery, so a lost export silently grades the repo's OWN wiki (false green). Re-export at the top of the grade block and sanity-check before scoring:

export CITADEL_WORKSPACE="$SANDBOX" CITADEL_WIKI_DIR="$WIKI"
citadel() { uv run python -m citadel "$@"; }
citadel index                   # MUST list THIS sandbox's pages — if it shows repo pages, STOP and re-export.

Read the ground-truth in full, then drive its ## Retrieval battery table one row at a time (id | query | expect | find). For each row, play the user who typed that query:

citadel search "<query, verbatim from the row>" --limit 8   # NEVER reword the query to fit a page

Findability — citadel read <rel_path> the hits top-down; stop at the first page that actually carries the answer. Record rank (1-based position of that page) and reads (pages you opened). rank 1 / reads 1 is ideal. Never grade from the search snippet — it is the head of the body, not the match. Read the page. If search whiffs, try one reasonable reformulation of your own (a real user rephrases — keep it answer-blind), then fall back to citadel index (the [Title](path) — description catalog) or citadel tags <t>; note which tier found it (search / index / tags).
Correctness + provenance [hard] — on that page, is the expect answer present in the page text and cited as required ([^sN] → the right raw/…, or [^llm] where the row says so)? Judge by content, not filename. Report the rel_path and the cited line you graded on.
Negative rows (expect says NOT live …) — run the tempting query anyway and read any hit carrying the forbidden token. The query must not surface a page asserting the forbidden thing in wiki voice or as a bare [^llm] fact; a hit passes only if, on read, it is attributed exactly as the row demands (dated-as-superseded, or quoted as injected text [^sN]). Existence is settled by the row's →§X grep, never by "search found nothing" — lexical search under-recalls, so a no-match result never proves a fact is absent.

Findability floor (hard): if a row's answer is surfaced by neither the query, nor a reasonable reformulation, nor citadel index, nor citadel tags, the knowledge is effectively unfindable → hard miss. Rank and precision above the floor are soft/reported (search is lexical and ingest is non-deterministic — a paraphrase whiff on a well-built wiki is texture, not a defect).

On any miss — classify creation vs retrieval (the grep backstop)

A miss is either a creation defect (wiki built wrong) or a retrieval defect (fact present, the tools couldn't surface it). The row's →§X pointer names the lettered section whose grep settles presence — flatten with tr '\n' ' ' on a wrap miss:

grep -rinE "<the §X diagnostic pattern>" "$WIKI" | grep -v index.md

	present, correct, cited	present-but-wrong / absent
findable	PASS	creation defect
not findable	retrieval defect	creation defect

grep finds the value, correctly framed and cited → retrieval defect: content is good, search ranked it below the fold / behind noise. The fact IS present.
grep misses, or finds it mangled / uncited / mis-attributed / (for a negative) asserted live → creation defect: absent, dropped, merged-away, or the injection was obeyed — the serious class. (A bare narrow-regex miss must trigger a semantic read of the top hit before you call it absent — a legit paraphrase or unit-conversion, "four seconds" → "4 s", is not a defect.)

A retrieval defect requires the fact be present-correct-cited and missed by the query, a reasonable reformulation, index, and tags; anything present-but-mis-framed is a creation defect, not retrieval.

citadel lint still lists pages carrying [^llm] facts and undefined abbreviations — a quick index for the counterfactual/abbreviation rows.

Grading output

Report a table of hard gates (all must hold) and soft checks (report caught / partial / missed — do not hard-fail a single soft miss; ingest is non-deterministic). Soft checks now include a findability bucket: per ## Retrieval battery row, the rank band (rank 1 / top-3 / top-8 / index-or-tags only / unfindable), reads, and the tier that found it. The exact hard/soft split is the Scoring section at the bottom of each corpus's ground-truth — read it and use it verbatim (it is the single authority for that corpus's hard/soft split; do not restate it here). A ground-truth may also commit st-* stretch guarantees (model-discriminating; beverages does): report those as their own stretch N/M score line with the measured numbers — they never gate the pass; they exist so a strong and a weak model can't tie at the top (bench-model grades on them).

The grade is not just pass/fail — its misses are an actionable improvement backlog. Route every miss into one of two lanes so the results feed the next optimization:

Wiki-generation (a creation defect — a dropped / mis-routed / over-fragmented / mis-cited fact, or a page whose title/tags/description are too thin to be found): improve how pages are built (citadel/rules/, the ingest prompts, llm.py).
Retrieval-tooling (a retrieval defect — good, correctly-built content the tools rank poorly or cannot surface): improve the search surface (store_core.search, the CLI/MCP tools). Escalate to a capability-gap finding when a correctly-built fact is unfindable by any reasonable query and better page metadata would not fix it (lexical search has no stemming/synonyms; no tool answers a whole query shape) — i.e. "the search primitive/toolset is the limit; consider stemming / FTS5 / semantic ranking, or a new read tool."

End with a one-line verdict per corpus and, on any hard fail, the specific guarantee it breaks (organized / links / provenance / temporal / findable), whether it is a creation or a retrieval defect (which the grep backstop settled), the lane it routes to, and the file+fact involved.

Then persist the lanes — the report alone is not the deliverable. Append the run to the committed ledger docs/verify-corpus-backlog.md following its Protocol section: one ### <date> <corpus> sub-block for this run under the file's single ## Runs section (corpus, mode, model, rules_version, verdict), one ledger row per miss that did not become an immediate fix (new VCB- id, or bump last seen on a reproduced entry), and flip to fixed (…) any open entry this run verified as resolved. A clean run records misses: none. Sandboxes are throwaways — the ledger is the only place a grading insight survives the rm -rf.

`all`

Run all nine corpora sequentially, each in its own sandbox (never share a workspace). Grade each, then print one aggregate table: corpus × {phase-1 check, phase-1 lint, hard-gate verdict, soft caught/total, findability (green/amber/floor), backlog (creation / retrieval / capability-gap counts)}. all passes only if every corpus passes its hard gates. Note that pemberley dominates the runtime (hours of chunked passes vs. minutes for the others) — run it last, or skip it with an explicit single-corpus subset when you only need a quick pass over the rest.

Discard a grading sandbox vs regenerate the committable showcase

Every corpus carries its own committed, graded showcase wiki at corpora/<name>/wiki/ — its own self-contained workspace (a nested citadel.toml marker), lint-clean, with meta.workspace neutralized to "" and no viewer artifact. The GitHub Pages gallery builds one viewer per corpus from these; CI lints each. Two things are kept apart on purpose:

Grading sandboxes are throwaways. A corpus is graded ONLY in a mktemp sandbox (rm -rf "$SANDBOX"). Nothing under a sandbox is committed.
Regenerating a committed showcase is NOT a sandbox copy. The committed corpora/<name>/wiki must carry plain raw/X keys. Get that by building inside corpora/<name>/ itself — its own self-contained workspace (the nested citadel.toml marker), so its keys come out raw/X with no rewrite. The recipe is per-corpus:
- beverages / kelvarra / pemberley / injection-resistance / flurfunk — a plain in-place ingest of the committed raw/:
```
export CITADEL_WORKSPACE="$REPO/corpora/<name>"   # nested marker → committable raw/X keys
export CITADEL_INGEST_MODEL=sonnet
rm -rf "$REPO/corpora/<name>/wiki"/* && uv run python -m citadel ingest
uv run python -m citadel check && uv run python -m citadel lint   # phase 1, same workspace
```
- leuchtfeuer — the committed raw/ is the final state, so you cannot just ingest it as one wave. Replay the wave protocol (above) inside corpora/leuchtfeuer/ — seed the raw from stages/initial/, apply stages/wave2/ then stages/wave3/ (deleting the memo) — so the committed wiki carries the full reconcile/delete history; the final raw equals the committed raw/.
- clockwork — the source is a repo, so build inside corpora/clockwork/ by materializing raw/clockwork-repo/ (the committed final tree) and replaying the two-commit protocol (above) with CITADEL_REPO_SUPPORT=1, so the committed wiki carries the repo→repo-reconcile history. Afterwards strip the transient raw/clockwork-repo/.git and drop a .citadelsource marker there (a git repo must never be committed inside this repo; the marker keeps it recognized as one repo source, and its [^sN] provenance to the folder still resolves).
- gazette — regenerate the PDFs first (python corpora/gazette/make_pdfs.py), then build inside corpora/gazette/ with CITADEL_PDF_MODE=images (the richest read — captures the figure value and the scanned notice). The committed showcase is the images-mode wiki.
Never cp a sandbox wiki over a committed showcase unchanged — a sandbox bakes its own CITADEL_WORKSPACE (an absolute machine path) into meta.workspace and, when its raw sat outside the workspace, absolute resource:/citation paths too. All of that must be neutralized/re-keyed to raw/X (and meta.workspace set to "") before committing.

Gotchas

Ingest is non-deterministic. Page filenames, wording, and which conflicts get a > [!CONTRADICTION] callout vary between runs and models. Grade semantics (present? cited? merged? superseded?), never exact paths. A contradiction caught before but missed now is a soft regression to note, not a hard fail.
Never point a corpus wiki outside its raw's parent. The [^sN] links are relative (../../raw/…) and must resolve to the corpus raw/. The sandbox keeps wiki/ a sibling of the effective raw via CITADEL_RAW_DIR; do not aim CITADEL_WIKI_DIR somewhere unrelated.
stages/ and the ground-truth must stay invisible to the agent. For leuchtfeuer, only ever copy stages/waveN/* INTO the sandbox raw between runs — never set CITADEL_RAW_DIR at stages/.
Counterfactuals and fictional entities are not errors. 312,000 km/s, "Sydney is the capital", Caffè Aurora, Blauwal Logistik — all invented on purpose; recording them faithfully is the pass. A wiki that "fixes" them to the real value with no [^llm] label is a provenance FAIL.
The manifest makes ingest skip unchanged sources. A fresh sandbox starts empty, so wave 1 sees everything; if a re-run "does nothing", that is the NOOP idempotency guarantee, not a bug.
Model matters. A weaker model catches fewer contradictions / adds fewer [^llm] caveats. Record the model so soft-score comparisons stay apples-to-apples.

Troubleshooting

ingest reports a per-source CLI error → the CLI is missing or not logged in; claude then /login, or set CITADEL_LLM_CLI/*_CLI_PATH. Rebuild the sandbox.
check/lint fail right after a green ingest → the agent introduced a broken cross-link or skipped a required field; the message names the page. That is a real pipeline finding — report it.
Grade looks empty / everything "missing" → you are grading a stale or empty $WIKI; confirm ls "$WIKI"/**/*.md shows pages and that the build actually processed every source.
leuchtfeuer wave 3 still shows the memo's facts → the delete session did not run or did not promote; a full run is required for deletion detection, and D1's three ∅-greps are the probe.
leuchtfeuer wave 3 rolls a pending source back with a bad_source error while the retracted memo is itself deletable → points at deletions-before-pending ORDERING (the delete must strip the stale citation FIRST so the pending session builds on a consistent wiki), not delete propagation.

name

verify-corpus

description

Verify a corpus end-to-end

corpus	what it stresses	sandbox note	ground-truth
`beverages`	organized / links / provenance on a messy coffee+tea corpus; the showcase wiki	10 files, one pass each	`.claude/skills/verify-corpus/beverages/ground-truth.md`
`kelvarra`	the hardest guarantee: a fictional world stated wrong about reality, kept as-stated and cited, never corrected	7 files, one pass each	`.claude/skills/verify-corpus/kelvarra/ground-truth.md`
`leuchtfeuer`	reconcile / delete / force across 3 dated waves; temporal supersession; German→English; opinions & style	3 waves (see the wave protocol)	`.claude/skills/verify-corpus/leuchtfeuer/ground-truth.md`
`pemberley`	large-source multi-segment chunking; relationship extraction; in-novel misinformation; narrative supersession	one ~730k-char file → ~18 segments, HOURS — set a LONG timeout and force chunking (see the pemberley note)	`.claude/skills/verify-corpus/pemberley/ground-truth.md`
`injection-resistance`	embedded adversarial instructions treated as content, never executed; real facts still extracted	3 files, 3 quick sessions	`.claude/skills/verify-corpus/injection-resistance/ground-truth.md`
`clockwork`	a whole git repo folded in as ONE digest (`kind=repo`), then a second commit driving `kind=repo-reconcile`; folder-keyed provenance; one documented default superseded	materialize the repo + 2 commits (see the clockwork note)	`.claude/skills/verify-corpus/clockwork/ground-truth.md`
`flurfunk`	informal genres (chat / social / interview / application / forum); attribution ("X said Y" ≠ "Y is true"), in-thread reversal, a quote-tweet negative row, CV timeline	7 files, one pass each	`.claude/skills/verify-corpus/flurfunk/ground-truth.md`
`gazette`	PDF sources: `CITADEL_PDF_MODE` text-vs-images (a figure-only number + an image-only page), the publications genre, references-are-not-sources, page locators	5 files (4 PDFs + 1 md); two runs (text then images — see the gazette note)	`.claude/skills/verify-corpus/gazette/ground-truth.md`
`kontor`	binary Office documents (OOXML .pptx/.docx/.xlsx + legacy OLE .doc/.ppt/.xls); the Office extraction path, an embedded-chart image delta (CITADEL_IMAGE_SUPPORT), dedup-by-basename, ignore-patterns; the usual judgment traps	11 files (8 Office + 3 junk); two runs (images off then on — see the kontor note)	`.claude/skills/verify-corpus/kontor/ground-truth.md`
`werkhof`	uniform enumerable sources (a 28-machine register, a 20-code fault catalogue, a 15-customer CSV): `Registry` completeness (no entry compressed away), per-row citations + locators, promotion past the granularity floor, a status supersession, near-miss keys	4 files, one pass each	`.claude/skills/verify-corpus/werkhof/ground-truth.md`

Preconditions

Ingest CLI installed and logged in (default claude; run claude once and /login). Mode B needs no CLI.
Run from the repo checkout (so uv run resolves the project + venv). The corpus you name is the immutable input — never edit corpora/<name>/ or the ground-truth.
Real runs use CITADEL_INGEST_MODEL=sonnet so soft scores are apples-to-apples across runs; note the model (recorded per source in the sandbox wiki/.citadel_ingested.json).

Sandbox setup (Mode A, per corpus — never touches a live wiki)

Build every corpus in its own throwaway workspace under a scratch dir, so the live repo wiki and the committed corpora/**/wiki are never moved aside:

REPO="$(git rev-parse --show-toplevel)"
CORPUS=beverages                          # or kelvarra | leuchtfeuer | pemberley | injection-resistance | kontor
SANDBOX="$(mktemp -d)/verify-$CORPUS"     # a scratch workspace OUTSIDE the repo
uv run python -m citadel init "$SANDBOX"   # scaffolds citadel.toml + .env + raw/ + wiki/

export CITADEL_WORKSPACE="$SANDBOX"        # discovery uses the sandbox, not the repo marker
export CITADEL_WIKI_DIR="$SANDBOX/wiki"
export CITADEL_INGEST_MODEL=sonnet
export CITADEL_LLM_LOG_DIR="$SANDBOX/logs" # per-source transcripts (or pass --log-dir)
WIKI="$SANDBOX/wiki"                        # $WIKI / $RAW are what the ground-truth greps use

beverages, kelvarra, and injection-resistance read the immutable corpus raw/ directly (one ingest pass, one agentic session per file):

export CITADEL_RAW_DIR="$REPO/corpora/$CORPUS/raw"
RAW="$CITADEL_RAW_DIR"
time uv run python -m citadel ingest        # one agentic session per file; minutes, not seconds

pemberley — one huge file, many segments (SET A LONG TIMEOUT)

export CITADEL_RAW_DIR="$REPO/corpora/pemberley/raw"; RAW="$CITADEL_RAW_DIR"
export CITADEL_MAX_SOURCE_CHARS=40000       # ~730k / 40k ≈ 18 segments (the default 300k gives only ~3)
export CITADEL_LLM_TIMEOUT=1800             # generous per-segment timeout; a killed segment restarts the source from segment 1
time uv run python -m citadel ingest        # HOURS — one source, ~18 sequential agent passes

leuchtfeuer — the wave protocol

export CITADEL_RAW_DIR="$SANDBOX/raw"; RAW="$CITADEL_RAW_DIR"   # sandbox's own raw (init made it)
export CITADEL_WIKI_LANG=en                 # German sources, English wiki (graded)
export CITADEL_STYLE_PROFILES=1             # the first-person opinion/style grading (§I)
SRC="$REPO/corpora/leuchtfeuer"

# wave 1 — seed the sandbox raw from stages/initial (6 files — the 2024 kickoff era, all kind=ingest)
cp "$SRC/stages/initial/"* "$RAW"/ && uv run python -m citadel ingest

# wave 2 — 2025: the charter is REPLACED in place (reconcile), 3 new files (ingest)
cp "$SRC/stages/wave2/"* "$RAW"/ && uv run python -m citadel ingest

# wave 3 — 2026: DELETE the retracted memo, drop 3 new files, run a FULL ingest (delete propagation)
rm "$RAW/2024-06-10-memo-brandt-komet-operating-costs.md"
cp "$SRC/stages/wave3/"* "$RAW"/ && uv run python -m citadel ingest

# idempotency — a no-change re-run must be a NOOP (zero sessions). The sandbox raw now equals
# the committed corpora/leuchtfeuer/raw (11 files).
uv run python -m citadel ingest
# optional --force NOOP probe: re-reads an unchanged source, must diff to zero changed pages
uv run python -m citadel ingest --force "$RAW/2024-03-05-minutes-kickoff.md"

Expected session kinds per wave are enumerated in the wave protocol of leuchtfeuer/ground-truth.md (authoritative). Watch the report per wave.

clockwork — the two-commit repo protocol (repo + repo-reconcile)

export CITADEL_RAW_DIR="$SANDBOX/raw"; RAW="$CITADEL_RAW_DIR"; WIKI="$SANDBOX/wiki"
export CITADEL_REPO_SUPPORT=1
SRC="$REPO/corpora/clockwork"

# wave 1 — materialize at v0.3.0 as a real checkout, then ingest (kind=repo)
mkdir -p "$RAW/clockwork-repo" && cp -r "$SRC/repo-src/." "$RAW/clockwork-repo/"
( cd "$RAW/clockwork-repo" && git init -q && git add -A && \
  git -c user.email=t@e.test -c user.name=t commit -qm "clockwork v0.3.0" )
uv run python -m citadel ingest

# wave 2 — apply the overlay, new commit → reconcile (kind=repo-reconcile)
cp -r "$SRC/repo-src-wave2/." "$RAW/clockwork-repo/"
( cd "$RAW/clockwork-repo" && git add -A && \
  git -c user.email=t@e.test -c user.name=t commit -qm "clockwork v0.4.0" )
uv run python -m citadel ingest

# idempotency — no new commit → NOOP
uv run python -m citadel ingest

flurfunk — informal genres (attribution + reversal)

gazette — the PDF two-mode protocol (text vs. images)

python "$REPO/corpora/gazette/make_pdfs.py"           # rewrites the 4 PDFs into raw/
export CITADEL_RAW_DIR="$REPO/corpora/gazette/raw"; RAW="$CITADEL_RAW_DIR"

CITADEL_PDF_MODE=text   uv run python -m citadel ingest   # sandbox 1 — figures NOT interpreted
# … grade, then a FRESH sandbox …
CITADEL_PDF_MODE=images uv run python -m citadel ingest   # sandbox 2 — figures + scans read

kontor — the Office two-mode protocol (images off vs. on)

python "$REPO/corpora/kontor/make_office.py"          # rewrites the Office fixtures into raw/
export CITADEL_RAW_DIR="$REPO/corpora/kontor/raw"; RAW="$CITADEL_RAW_DIR"

CITADEL_IMAGE_SUPPORT=0 uv run python -m citadel ingest   # sandbox 1 — chart NOT read visually
# … grade, then a FRESH sandbox …
CITADEL_IMAGE_SUPPORT=1 uv run python -m citadel ingest   # sandbox 2 — chart read visually

Mode B — grade-only (`--grade-only`)

Mode C — grade the curate lifecycle (real sessions)

C1 — build a clean curate-defect sandbox (never a live wiki)

Copy the committed beverages showcase into a scratch sandbox, put its raw as a sibling, and neutralize the showcase's OWN curate triggers so the only flagged pages are the ones you seed:

REPO="$(git rev-parse --show-toplevel)"
SANDBOX="$(mktemp -d)/modec"                          # a scratch workspace OUTSIDE the repo
uv run python -m citadel init "$SANDBOX"
cp -r "$REPO/corpora/beverages/wiki/." "$SANDBOX/wiki/"
cp -r "$REPO/corpora/beverages/raw/."  "$SANDBOX/raw/"   # raw MUST be a sibling of wiki: the copied
                                                          # pages' [^sN] links are ../../raw/X, resolved
                                                          # ON DISK relative to the page (not via a key)
export CITADEL_WORKSPACE="$SANDBOX" CITADEL_WIKI_DIR="$SANDBOX/wiki" CITADEL_RAW_DIR="$SANDBOX/raw"
export CITADEL_CURATE_MODEL=sonnet

# prep_baseline.py  —  run:  uv run python prep_baseline.py "$SANDBOX/wiki"
import json, sys
from pathlib import Path
from citadel import config, grammar, store
wiki = Path(sys.argv[1]); rv = config.rules_version()
# 1. manifest: rules_version -> current (kills rules_version_drift on every page); sha -> neutralized
#    (stands down the rolling reverify sampler, which else samples 3 sha-unchanged cited pages/run).
m = wiki / ".citadel_ingested.json"; d = json.loads(m.read_text())
for e in d["sources"].values():
    e["rules_version"] = rv
    e["sha256"] = "0" * 64
m.write_text(json.dumps(d, indent=2, sort_keys=True))
# 2. neutralize the showcase's pre-existing UNRESOLVED `> [!CONTRADICTION]` callouts by giving each a
#    Resolution line — mirrors curate._has_unresolved_contradiction so it agrees by construction.
for page in store.load():
    fp = wiki / page.rel_path; body = fp.read_text(encoding="utf-8"); lines = body.splitlines()
    out, i, n, changed = [], 0, len(lines), False
    while i < n:
        if grammar.CONTRADICTION_LINE_RE.match(lines[i]):
            blk, j = [], i
            while j < n and lines[j].lstrip().startswith(">"): blk.append(lines[j]); j += 1
            txt = "\n".join(blk); out += blk
            if "resolution" not in txt.lower() and not grammar.LLM_MARKER_RE.search(txt):
                out.append("> Resolution: sandbox baseline neutralization (kept open in the showcase by design)."); changed = True
            i = j
        else:
            out.append(lines[i]); i += 1
    if changed: fp.write_text("\n".join(out) + ("\n" if body.endswith("\n") else ""), encoding="utf-8")

Confirm the baseline is clean BEFORE seeding — this is the guard that makes "exactly the seeded defects" honest:

uv run python -m citadel check              # "OK — no validation issues." (0 errors)
uv run python -m citadel lint                # exit 0
uv run python -m citadel curate --dry-run    # MUST print "No curate work: every page is clean."

C2 — seed a small, known defect set (one per detector)

Seed ~4 defects, each mapping 1:1 to a curate detector; document each precisely so the grade is unambiguous:

page	defect → detector	how to seed it
`objects/misfiled-note.md` (NEW)	resort	`type: Concept` (routes to `concepts/`) placed in `objects/`; valid frontmatter, one cited fact, one `## See also` link so it is not ALSO an orphan
`concepts/orphan-island.md` (NEW)	orphan	valid, cited, NO wiki links in or out (no `## See also`)
`concepts/cold-brew-coffee.md`	contradiction	append an UNRESOLVED `> [!CONTRADICTION]` callout with two cited sides (reuse the page's already-defined `[^s6]` bench "≈2.5× the caffeine" vs `[^s20]` Aurora "lowest-caffeine"), NO resolution line, NO `[^llm]`
`concepts/caffeine.md`	locator	change one `[^sN]` locator to an out-of-range span (`lines 900-950` — the cited source has 81 lines)

C3 — detection tier (offline, deterministic — the reproducible heart of Mode C)

uv run python -m citadel curate --dry-run

ASSERT the plan lists EXACTLY the seeded pages with the expected reason codes and nothing else:

Curate plan (4 cluster(s)):
  - objects/misfiled-note.md [resort]
  - concepts/cold-brew-coffee.md [contradiction]
  - concepts/caffeine.md [locator]
  - concepts/orphan-island.md [orphan]

C4 — fix tier (real sessions) + grade

citadel curate runs one real session per cluster; a foreground call outlasts the shell timeout, so run it DETACHED and poll a completion marker (cap ~60 min):

export CITADEL_INGEST_MODEL=claude-sonnet-5 CITADEL_CURATE_MODEL=claude-sonnet-5
# sanity-check the id first: claude --model claude-sonnet-5 -p "Reply with exactly: ok"
# fall back to the `sonnet` alias if the concrete id is rejected.
# Append an explicit EXIT= marker when curate returns, so the poll below has something to wait on
# ($SANDBOX is expanded by THIS shell into the detached sh -c; \$? is escaped to evaluate inside it).
nohup sh -c "uv run python -m citadel curate --diff '$SANDBOX/curate.diff.md' > '$SANDBOX/curate.out' 2>&1; echo EXIT=\$? >> '$SANDBOX/curate.out'" >/dev/null 2>&1 &
until grep -q '^EXIT=' "$SANDBOX/curate.out" 2>/dev/null; do sleep 30; done
cat "$SANDBOX/curate.out"                    # the applied / NOOP / failed report, then EXIT=<code>

Then grade — every one of these must hold:

Each seeded defect is RESOLVED (grade semantically, not by exact edit): the misfiled page moved to concepts/ (or re-typed to Object); the orphan linked into a real neighbor (or merged away); the contradiction resolved with a labeled [^llm] line (or the unsupported side corrected); the bad locator fixed to the place the fact actually lives (or the citation repaired). The --diff report is the before/after evidence.
Structural gates still hold: re-run citadel check and citadel lint — both exit 0.
Arbitration matches reality: the report's Applied / NOOP / Failed counts are what actually happened, and a post-fix curate --dry-run is empty (the defect is gone). A NOOP (model found nothing to fix) or a Failed cluster (rolled back) is a FINDING, not a pass.

C5 — what Mode C uniquely exercises

Phase 1 — structural gates (hard pass/fail, pure code)

uv run python -m citadel check        # expect: "OK — no validation issues."  (0 errors)
uv run python -m citadel lint          # expect final line "OK"

Phase 2 — grade as a user would (retrieval-first)

export CITADEL_WORKSPACE="$SANDBOX" CITADEL_WIKI_DIR="$WIKI"
citadel() { uv run python -m citadel "$@"; }
citadel index                   # MUST list THIS sandbox's pages — if it shows repo pages, STOP and re-export.

Read the ground-truth in full, then drive its ## Retrieval battery table one row at a time (id | query | expect | find). For each row, play the user who typed that query:

citadel search "<query, verbatim from the row>" --limit 8   # NEVER reword the query to fit a page

Findability — citadel read <rel_path> the hits top-down; stop at the first page that actually carries the answer. Record rank (1-based position of that page) and reads (pages you opened). rank 1 / reads 1 is ideal. Never grade from the search snippet — it is the head of the body, not the match. Read the page. If search whiffs, try one reasonable reformulation of your own (a real user rephrases — keep it answer-blind), then fall back to citadel index (the [Title](path) — description catalog) or citadel tags <t>; note which tier found it (search / index / tags).
Correctness + provenance [hard] — on that page, is the expect answer present in the page text and cited as required ([^sN] → the right raw/…, or [^llm] where the row says so)? Judge by content, not filename. Report the rel_path and the cited line you graded on.
Negative rows (expect says NOT live …) — run the tempting query anyway and read any hit carrying the forbidden token. The query must not surface a page asserting the forbidden thing in wiki voice or as a bare [^llm] fact; a hit passes only if, on read, it is attributed exactly as the row demands (dated-as-superseded, or quoted as injected text [^sN]). Existence is settled by the row's →§X grep, never by "search found nothing" — lexical search under-recalls, so a no-match result never proves a fact is absent.

On any miss — classify creation vs retrieval (the grep backstop)

grep -rinE "<the §X diagnostic pattern>" "$WIKI" | grep -v index.md

	present, correct, cited	present-but-wrong / absent
findable	PASS	creation defect
not findable	retrieval defect	creation defect

grep finds the value, correctly framed and cited → retrieval defect: content is good, search ranked it below the fold / behind noise. The fact IS present.
grep misses, or finds it mangled / uncited / mis-attributed / (for a negative) asserted live → creation defect: absent, dropped, merged-away, or the injection was obeyed — the serious class. (A bare narrow-regex miss must trigger a semantic read of the top hit before you call it absent — a legit paraphrase or unit-conversion, "four seconds" → "4 s", is not a defect.)

citadel lint still lists pages carrying [^llm] facts and undefined abbreviations — a quick index for the counterfactual/abbreviation rows.

Grading output

The grade is not just pass/fail — its misses are an actionable improvement backlog. Route every miss into one of two lanes so the results feed the next optimization:

Wiki-generation (a creation defect — a dropped / mis-routed / over-fragmented / mis-cited fact, or a page whose title/tags/description are too thin to be found): improve how pages are built (citadel/rules/, the ingest prompts, llm.py).
Retrieval-tooling (a retrieval defect — good, correctly-built content the tools rank poorly or cannot surface): improve the search surface (store_core.search, the CLI/MCP tools). Escalate to a capability-gap finding when a correctly-built fact is unfindable by any reasonable query and better page metadata would not fix it (lexical search has no stemming/synonyms; no tool answers a whole query shape) — i.e. "the search primitive/toolset is the limit; consider stemming / FTS5 / semantic ranking, or a new read tool."

`all`

Discard a grading sandbox vs regenerate the committable showcase

Grading sandboxes are throwaways. A corpus is graded ONLY in a mktemp sandbox (rm -rf "$SANDBOX"). Nothing under a sandbox is committed.
Regenerating a committed showcase is NOT a sandbox copy. The committed corpora/<name>/wiki must carry plain raw/X keys. Get that by building inside corpora/<name>/ itself — its own self-contained workspace (the nested citadel.toml marker), so its keys come out raw/X with no rewrite. The recipe is per-corpus:
- beverages / kelvarra / pemberley / injection-resistance / flurfunk — a plain in-place ingest of the committed raw/:
```
export CITADEL_WORKSPACE="$REPO/corpora/<name>"   # nested marker → committable raw/X keys
export CITADEL_INGEST_MODEL=sonnet
rm -rf "$REPO/corpora/<name>/wiki"/* && uv run python -m citadel ingest
uv run python -m citadel check && uv run python -m citadel lint   # phase 1, same workspace
```
- leuchtfeuer — the committed raw/ is the final state, so you cannot just ingest it as one wave. Replay the wave protocol (above) inside corpora/leuchtfeuer/ — seed the raw from stages/initial/, apply stages/wave2/ then stages/wave3/ (deleting the memo) — so the committed wiki carries the full reconcile/delete history; the final raw equals the committed raw/.
- clockwork — the source is a repo, so build inside corpora/clockwork/ by materializing raw/clockwork-repo/ (the committed final tree) and replaying the two-commit protocol (above) with CITADEL_REPO_SUPPORT=1, so the committed wiki carries the repo→repo-reconcile history. Afterwards strip the transient raw/clockwork-repo/.git and drop a .citadelsource marker there (a git repo must never be committed inside this repo; the marker keeps it recognized as one repo source, and its [^sN] provenance to the folder still resolves).
- gazette — regenerate the PDFs first (python corpora/gazette/make_pdfs.py), then build inside corpora/gazette/ with CITADEL_PDF_MODE=images (the richest read — captures the figure value and the scanned notice). The committed showcase is the images-mode wiki.
Never cp a sandbox wiki over a committed showcase unchanged — a sandbox bakes its own CITADEL_WORKSPACE (an absolute machine path) into meta.workspace and, when its raw sat outside the workspace, absolute resource:/citation paths too. All of that must be neutralized/re-keyed to raw/X (and meta.workspace set to "") before committing.

Gotchas

Ingest is non-deterministic. Page filenames, wording, and which conflicts get a > [!CONTRADICTION] callout vary between runs and models. Grade semantics (present? cited? merged? superseded?), never exact paths. A contradiction caught before but missed now is a soft regression to note, not a hard fail.
Never point a corpus wiki outside its raw's parent. The [^sN] links are relative (../../raw/…) and must resolve to the corpus raw/. The sandbox keeps wiki/ a sibling of the effective raw via CITADEL_RAW_DIR; do not aim CITADEL_WIKI_DIR somewhere unrelated.
stages/ and the ground-truth must stay invisible to the agent. For leuchtfeuer, only ever copy stages/waveN/* INTO the sandbox raw between runs — never set CITADEL_RAW_DIR at stages/.
Counterfactuals and fictional entities are not errors. 312,000 km/s, "Sydney is the capital", Caffè Aurora, Blauwal Logistik — all invented on purpose; recording them faithfully is the pass. A wiki that "fixes" them to the real value with no [^llm] label is a provenance FAIL.
The manifest makes ingest skip unchanged sources. A fresh sandbox starts empty, so wave 1 sees everything; if a re-run "does nothing", that is the NOOP idempotency guarantee, not a bug.
Model matters. A weaker model catches fewer contradictions / adds fewer [^llm] caveats. Record the model so soft-score comparisons stay apples-to-apples.

Troubleshooting

ingest reports a per-source CLI error → the CLI is missing or not logged in; claude then /login, or set CITADEL_LLM_CLI/*_CLI_PATH. Rebuild the sandbox.
check/lint fail right after a green ingest → the agent introduced a broken cross-link or skipped a required field; the message names the page. That is a real pipeline finding — report it.
Grade looks empty / everything "missing" → you are grading a stale or empty $WIKI; confirm ls "$WIKI"/**/*.md shows pages and that the build actually processed every source.
leuchtfeuer wave 3 still shows the memo's facts → the delete session did not run or did not promote; a full run is required for deletion detection, and D1's three ∅-greps are the probe.
leuchtfeuer wave 3 rolls a pending source back with a bad_source error while the retracted memo is itself deletable → points at deletions-before-pending ORDERING (the delete must strip the stale citation FIRST so the pending session builds on a consistent wiki), not delete propagation.

verify-corpus

同仓库更多 Skills

同仓库更多 Skills

Verify a corpus end-to-end

Preconditions

Sandbox setup (Mode A, per corpus — never touches a live wiki)

pemberley — one huge file, many segments (SET A LONG TIMEOUT)

leuchtfeuer — the wave protocol

clockwork — the two-commit repo protocol (repo + repo-reconcile)

flurfunk — informal genres (attribution + reversal)

gazette — the PDF two-mode protocol (text vs. images)

kontor — the Office two-mode protocol (images off vs. on)

Mode B — grade-only (--grade-only)

Mode C — grade the curate lifecycle (real sessions)

C1 — build a clean curate-defect sandbox (never a live wiki)

C2 — seed a small, known defect set (one per detector)

C3 — detection tier (offline, deterministic — the reproducible heart of Mode C)

C4 — fix tier (real sessions) + grade

C5 — what Mode C uniquely exercises

Phase 1 — structural gates (hard pass/fail, pure code)

Phase 2 — grade as a user would (retrieval-first)

On any miss — classify creation vs retrieval (the grep backstop)

Grading output

all

Discard a grading sandbox vs regenerate the committable showcase

Gotchas

Troubleshooting

Verify a corpus end-to-end

Preconditions

Sandbox setup (Mode A, per corpus — never touches a live wiki)

pemberley — one huge file, many segments (SET A LONG TIMEOUT)

leuchtfeuer — the wave protocol

clockwork — the two-commit repo protocol (repo + repo-reconcile)

flurfunk — informal genres (attribution + reversal)

gazette — the PDF two-mode protocol (text vs. images)

kontor — the Office two-mode protocol (images off vs. on)

Mode B — grade-only (--grade-only)

Mode C — grade the curate lifecycle (real sessions)

C1 — build a clean curate-defect sandbox (never a live wiki)

C2 — seed a small, known defect set (one per detector)

C3 — detection tier (offline, deterministic — the reproducible heart of Mode C)

C4 — fix tier (real sessions) + grade

C5 — what Mode C uniquely exercises

Phase 1 — structural gates (hard pass/fail, pure code)

Phase 2 — grade as a user would (retrieval-first)

On any miss — classify creation vs retrieval (the grep backstop)

Grading output

all

Discard a grading sandbox vs regenerate the committable showcase

Gotchas

Troubleshooting

Mode B — grade-only (`--grade-only`)

`all`

Mode B — grade-only (`--grade-only`)

`all`