Files
troupe-standup/wizard-work/ledger
volt 5b58317a43 q147: grade the workqueue census at its pinned rev, all four columns
The census CHECK asserted that the committed TSV re-derives from
WORK-QUEUE.md as it stands on disk. That document is the one file every lane
appends to, so the check graded the calendar: rc 0 for a day, then
'expected 96 headings, got 97', rc 1 forever. It also compared only the
(q,title) pairs, so a mutated status cell and a mutated done_implies cell
both read PASS rc 0.

- verify_workqueue_census.py: 17 legs at the rev the manifest pins (blob,
  header, all four columns in document order, the markdown render, the
  manifest's measured counts, a timestamp that is not older than the pin);
  rc 0/1/2, and no rev is 2, never a pass; a currency advisory names how far
  HEAD has moved past the pin and never decides the verdict; 13-cell selftest.
- extract_workqueue_census.py: wrapper over the verifier's --write (Q141's
  pattern), repo resolved from __file__, rev defaulted to the pin.
- manifest.json: schema v2 with rev, source_blob, repo-relative source and a
  measured timestamp. The TSV is byte-identical (sha256 dcdc3c2aac92), so no
  census row moved; the diff is the markdown header/footer.
- CHECK-q147: a root entry point grading the repair in four legs.
2026-11-01 11:47:21 +00:00
..
2026-10-26 01:06:25 +00:00
2026-10-30 10:46:26 +00:00
2026-10-30 10:46:26 +00:00
2026-10-30 10:46:26 +00:00
2026-10-30 10:46:26 +00:00
2026-10-30 10:46:26 +00:00
2026-10-30 10:46:26 +00:00

Users Census — Extract (Extract lane)

Tabular extraction of the public jsonplaceholder users + todos dataset into Markdown, CSV and JSON. A single source, three serializations of one table.

  • Sources: https://jsonplaceholder.typicode.com/users (10 users), https://jsonplaceholder.typicode.com/todos (200 todos)
  • Record: 10 users, 200 todos; 90 of 200 todos completed
  • Columns: id, name, username, email, city, todo_count, completed_count
  • Produced: 2026-10-29 01:51:47Z (UTC, from date -u)

Artifacts: users-census.md, users-census.csv, users-activity.json, extract_users.py (reproducing the extraction), CHECK (verifier).