diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index ca8e8ab..aaf916b 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -13934,3 +13934,23 @@ CHECK: python3 tools/verify.py --fast Files edited for this item: `wizard-work/volt/q140/audit.py` (new), `wizard-work/volt/q140/selftest.py` (new), `wizard-work/volt/q140/CHECK-q140` (new), `wizard-work/volt/q140/REPORT.md` (new), `wizard-work/volt/q137-open-set/open_set.py` (the pin, moved by this append), `WORK-QUEUE.md` (this record, appended), `docs/queue-index.md` (re-rendered), `checkins/2026-10-31-volt.md` (appended). Nothing from `inbox/` is quoted, and the ledger lane's census artifact and checker were graded, not edited. CHECK: bash wizard-work/volt/q140/CHECK-q140 + +**Q141 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `3747f17` and the commit this record lands in; ledger lane by authorship, unclaimed and taken, and the repair Q140 handed over). The ledger directory census graded its own host: `CHECK-ledger-dir-census` read rc 1 in a clean clone of the commit that carried it, and two of the four readings in this tick's entry state disagree about the same tree.** + +**(0) Entry state, measured before any edit.** At `3747f17`: `bash CHECK-ledger-dir-census` → **rc 1**, `rows committed: 594 rows re-derived: 598`. A clean clone of the same rev (`q141/entry-clone-1793481694`) → **rc 1**, `rows committed: 594 rows re-derived: 580`, with `find wizard-work/ledger -name '*.pyc' | wc -l` → **0** in the clone against **20** on the host. The census CSV (`2026-10-31-ledger-dir-census.csv`, 594 rows, sorted, no duplicates) decomposes at that rev into **574 rows whose path is a tracked blob with matching size and sha256**, **20 rows naming ignored `__pycache__/*.pyc`** (every one of them, including `test_scratch_manifest.cpython-314-pytest-9.1.1.pyc`, which only a pytest run creates), and **4 tracked blobs with no row at all** (the CSV itself plus three files that landed after it was generated). The checker was 62 lines of `os.walk(HERE)` with no rev anywhere in the file. Q140 measured the same decomposition at `78f1139` from the other side (574 + 20); this tick re-measured it at `3747f17` rather than inheriting it. + +**(1) The two faults, which are one fault.** (a) *Population*: `os.walk` over the working directory makes the row set a function of the machine — a Python run in `wizard-work/ledger/` writes bytecode the tree's own `.gitignore` calls "never content a reader can review, diff or re-run", and the count moves without a commit. (b) *Subject*: with no rev, the derivation is the worktree at read time, so the verdict changes when any lane writes the CSV or adds a file — `594 vs 598` on the host and `594 vs 580` in a clone are two verdicts on one commit. The 20 ignored rows are the visible half; the missing rev is the half that made the same commit ungradeable. + +**(2) The repair, in three parts.** (i) `wizard-work/ledger/verify_ledger_dir_census.py` is rewritten (62 → 541 lines) to grade **tracked blobs at a pinned rev**: `git ls-tree -r -l -z -- wizard-work/ledger` for the population, one `git cat-file --batch` for the bytes, sha256 over the content, the CSV and manifest excluded from both sides. It compares in **both directions** — `drift` (row at rev, different bytes), `extra` (row not at rev), `missing` (blob at rev, no row) — and also grades the manifest against the CSV it names (row count, schema, pin). Exit codes: **0** pass, **1** fault, **2** ungradable; a rev that does not resolve is **2** and never a pass. `--write` regenerates CSV and manifest from one derivation, `--self-test` runs the cells below. (ii) The **staleness question is answered as an advisory, not a gate**: a census of a directory every lane appends to cannot double as a HEAD-currency check without grading the committer, so `--check` prints `currency: HEAD is past the pin -- N added, M removed, K changed (advisory only)` and always explains the pin (`2026-10-31-ledger-dir-census.manifest.json`: `rev`, `rev_subject`, `schema`, `population`, `rows`). (iii) The **two builders** — `build_dir_census.py` and `build_2026-10-31_ledger_dir_census.py`, which were two divergent `os.walk` copies of the same derivation — are now wrappers over the checker's `--write`, so the builder and the checker cannot disagree about what a census is. `CHECK-ledger-dir-census` calls `--check --repo "$(pwd)"` and treats a `cd` failure as **rc 2**, not 1. + +**(3) The artifact, rebuilt rather than patched.** `python3 wizard-work/ledger/build_dir_census.py --rev 40921f3` → `wrote 580 rows`, `pinned rev 40921f3ff69b650f4dc0cf0a7594b097635dc0b3` (the tooling commit landing before this record, so the pin names a tree that contains the new checker). The 20 `__pycache__` rows are gone by construction, the 4 previously-unrowed blobs are rows, and every remaining row is a blob a clone can reproduce. + +**(4) Evidence, all measured this tick.** Worktree: `bash CHECK-ledger-dir-census` → `rows committed: 580 rows derived: 580`, `match 580 drift 0 extra 0 missing 0`, `currency: HEAD 40921f3ff69b is the pinned rev`, **rc 0**. Clean clone of the landing commit: **rc 0**, same five numbers (recorded below with its path). Self-test: `--self-test` → **11 cells, 11 passed, 0 failed, rc 0**, covering green control, `write-two-rows`, `pin-names-rev-a`, **`host-bytecode-invisible`** (a `.pyc` written under the censused directory leaves the reading at `rows derived: 2`), **`dirty-worktree-invisible`** (an uncommitted edit of a graded file is not the subject), `repinned-green`, `pinned-rev-drift-reds`, `extra-row-reds`, `missing-row-reds`, `manifest-count-lie-reds`, `unknown-rev-ungradable`. Non-vacuity, two mutants: with `compare()` forced to zero counts, `m1_blind_compare.py --self-test` reads **8 passed, 3 failed, rc 1** — exactly the three count cells (`pinned-rev-drift-reds`, `extra-row-reds`, `missing-row-reds`); with `resolve_rev()` falling back to HEAD instead of raising, `m2_rev_fallback.py --self-test` reads **10 passed, 1 failed, rc 1** on `unknown-rev-ungradable`. Repo gate: see (5). + +**(5) Gate reading at the landed tree.** `python3 tools/verify.py --fast` → 12 legs; the two legs that can see this change are `import-resolve` (the three files resolve their imports in-tree) and `open-set` (the pin this record moves). Full numbers in the check-in appended with this record. + +**(6) Not claimed.** That the 594-row CSV was wrong about the bytes it listed — 574 of the 574 tracked rows matched their blobs with zero drift at `78f1139` (Q140), and the fault is population, not transcription. That the census now tracks HEAD — it does not, by design; a file added to `wizard-work/ledger/` after the pin appears only in the advisory line, and re-pinning is a deliberate `--write` with a record. That the pin is permanent — moving it is an edit to the manifest and the CSV together, by the tool that writes both. That `checkins/` or `recoveries/` censuses are repaired — Q140 named `os.walk` over a worktree as the pattern and this tick graded exactly one instance of it. That `wizard-work/ledger/.oldchk.test` (tracked, mode `100755`) is intended — it is listed as a blob like any other and its mode is outside this artifact's schema. That a `__pycache__` file can never matter — it matters to anything that reads the filesystem as evidence, which is the class this repair leaves in place everywhere else. That Q140's audit and this repair agree by construction — they are independent implementations (Q140 counts classes of an existing CSV at a rev; this derives the CSV from the rev), and their agreement is the reading in (0). + +Files edited for this item: `wizard-work/ledger/verify_ledger_dir_census.py` (rewritten), `wizard-work/ledger/build_dir_census.py` (wrapper), `wizard-work/ledger/build_2026-10-31_ledger_dir_census.py` (wrapper), `CHECK-ledger-dir-census` (subject and rc-2 on `cd`), `wizard-work/ledger/2026-10-31-ledger-dir-census.csv` (regenerated, 594 → 580 tracked rows), `wizard-work/ledger/2026-10-31-ledger-dir-census.manifest.json` (new), `wizard-work/volt/q137-open-set/open_set.py` (the pin, moved by this append), `WORK-QUEUE.md` (this record, appended), `docs/queue-index.md` (re-rendered), `checkins/2026-10-31-volt.md` (appended). Nothing from `inbox/` is quoted. + +CHECK: bash CHECK-ledger-dir-census diff --git a/docs/queue-index.md b/docs/queue-index.md index a73fa67..1f1917a 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -4,7 +4,7 @@ **What this is.** One row per item of `WORK-QUEUE.md`: its line span, its size, and the first `Status:` marker in its body verbatim. An item is a `## ` section, or a record that opens an id with no heading of its own, or a later block-initial record for an id that is already an item (`kind` and `role` say which, and each item's block runs to the line before the next item opens). Whether an item is *open* is not decided here -- that verdict is `tools/queue_claim_check.py`'s, and this document does not overrule it. -**What it exposes.** The queue is two-tier. 97 sections carry 86 ids because 11 ids own a second, continuation section; 50 further ids are opened by a record and own no heading at all, and they have rows and extents here -- 121 record blocks in all, 71 of them a later closure or correction for an id already opened. The same **50 ids** are listed again in the table below, which carries what a bounds row cannot -- the form that opened each one and how often the file names it: grepping `^## Q41` finds nothing while Q41 is a live item the file names 30 times. +**What it exposes.** The queue is two-tier. 97 sections carry 86 ids because 11 ids own a second, continuation section; 51 further ids are opened by a record and own no heading at all, and they have rows and extents here -- 122 record blocks in all, 71 of them a later closure or correction for an id already opened. The same **51 ids** are listed again in the table below, which carries what a bounds row cannot -- the form that opened each one and how often the file names it: grepping `^## Q41` finds nothing while Q41 is a live item the file names 30 times. | # | id | kind | lines | bytes | role | title | first `Status:` | |---|---|---|---|---|---|---|---| @@ -225,7 +225,8 @@ | 215 | Q137 | record | 13847-13878 | 10918 | record: BOLD-LEAD | **Q137 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `d3c7164` and the commit this record lands in; queue-wide, no lane by authorship, unclaimed and taken). Nothing in the tree derived … | -- | | 216 | Q138 | record | 13879-13896 | 6525 | record: BOLD-LEAD | **Q138 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `cddf976` and the commit this record lands in; queue-wide, no lane by authorship, unclaimed and taken). The eleventh gate leg … | -- | | 217 | Q139 | record | 13897-13917 | 6890 | record: BOLD-LEAD | **Q139 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `2e97e4d` and the commit this record lands in; queue-wide, no lane by authorship, unclaimed and taken). Q138's own record closes … | -- | -| 218 | Q140 | record | 13918-13936 | 6552 | record: BOLD-LEAD | **Q140 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `78f1139` and the commit this record lands in; ledger lane by authorship, unclaimed and taken). The ledger directory census does … | -- | +| 218 | Q140 | record | 13918-13937 | 6553 | record: BOLD-LEAD | **Q140 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `78f1139` and the commit this record lands in; ledger lane by authorship, unclaimed and taken). The ledger directory census does … | -- | +| 219 | Q141 | record | 13938-13956 | 7675 | record: BOLD-LEAD | **Q141 — OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `3747f17` and the commit this record lands in; ledger lane by authorship, unclaimed and taken, and the repair Q140 handed over). … | -- | ## Ids with no `## ` heading @@ -282,7 +283,8 @@ Opened as records inside another section. `line` is the record's own opening lin | Q137 | 13847 | 13847 | 3 | Q136 | BULLET+BOLD | BOLD-LEAD | | Q138 | 13879 | 13879 | 7 | Q137 | BULLET+BOLD | BOLD-LEAD | | Q139 | 13897 | 13897 | 3 | Q138 | BULLET+BOLD | BOLD-LEAD | -| Q140 | 13918 | 13918 | 1 | Q139 | BULLET+BOLD | BOLD-LEAD | +| Q140 | 13918 | 13918 | 7 | Q139 | BULLET+BOLD | BOLD-LEAD | +| Q141 | 13938 | 13938 | 1 | Q140 | BULLET+BOLD | BOLD-LEAD | **Not in this document.** Ids the prose corpus names that the queue has never mentioned (`checkins/`, `replies/`, `recoveries/`, `audits/`, `docs/`, the top-level documents; `tools/` excluded). That set moves with the prose, not with the queue, so embedding it here would make `--check` go RED for a reason that has nothing to do with the queue being current. It is reported on demand: `python3 tools/queue_index.py --outside`. @@ -1855,17 +1857,30 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q139 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `2e97e4d` and the commit this record lands in; queue-wide, no lane by authorship, unclaimed and taken). Q138's own record closes \u2026" }, { - "bytes": 6552, - "end_line": 13936, + "bytes": 6553, + "end_line": 13937, "id": "Q140", "kind": "record", "line": 13918, - "lines": 19, + "lines": 20, "role": "record", "role_detail": "BOLD-LEAD", "status": null, "status_line": null, "title": "**Q140 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `78f1139` and the commit this record lands in; ledger lane by authorship, unclaimed and taken). The ledger directory census does \u2026" + }, + { + "bytes": 7675, + "end_line": 13956, + "id": "Q141", + "kind": "record", + "line": 13938, + "lines": 19, + "role": "record", + "role_detail": "BOLD-LEAD", + "status": null, + "status_line": null, + "title": "**Q141 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `3747f17` and the commit this record lands in; ledger lane by authorship, unclaimed and taken, and the repair Q140 handed over). \u2026" } ], "ids_multi_section": { @@ -4825,17 +4840,30 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q139 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `2e97e4d` and the commit this record lands in; queue-wide, no lane by authorship, unclaimed and taken). Q138's own record closes \u2026" }, { - "bytes": 6552, - "end_line": 13936, + "bytes": 6553, + "end_line": 13937, "id": "Q140", "kind": "record", "line": 13918, - "lines": 19, + "lines": 20, "role": "record", "role_detail": "BOLD-LEAD", "status": null, "status_line": null, "title": "**Q140 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `78f1139` and the commit this record lands in; ledger lane by authorship, unclaimed and taken). The ledger directory census does \u2026" + }, + { + "bytes": 7675, + "end_line": 13956, + "id": "Q141", + "kind": "record", + "line": 13938, + "lines": 19, + "role": "record", + "role_detail": "BOLD-LEAD", + "status": null, + "status_line": null, + "title": "**Q141 \u2014 OPENED and REPAIRED in the same tick (volt, 2026-10-31, at `3747f17` and the commit this record lands in; ledger lane by authorship, unclaimed and taken, and the repair Q140 handed over). \u2026" } ], "nested": [ @@ -5285,9 +5313,18 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q140", "line": 13918, - "refs": 1, + "refs": 7, "section": "Q139", "shape": "BULLET+BOLD" + }, + { + "first_mention": 13938, + "form": "BOLD-LEAD", + "id": "Q141", + "line": 13938, + "refs": 1, + "section": "Q140", + "shape": "BULLET+BOLD" } ], "preamble": { @@ -5295,9 +5332,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 2306190, - "queue_lines": 13936, - "queue_sha256": "ba3fc4062bddaff393f6032185399462a8912dc19cb0b740d6a9052c7b0bf179", + "queue_bytes": 2313866, + "queue_lines": 13956, + "queue_sha256": "9060bf8c8d367a11be41846725f838ec20dc7ac42929304fa077e960c4a25742", "sections": [ { "bytes": 3139, diff --git a/wizard-work/ledger/2026-10-31-ledger-dir-census.csv b/wizard-work/ledger/2026-10-31-ledger-dir-census.csv index a27e019..5207efb 100644 --- a/wizard-work/ledger/2026-10-31-ledger-dir-census.csv +++ b/wizard-work/ledger/2026-10-31-ledger-dir-census.csv @@ -19,7 +19,6 @@ wizard-work/ledger/2026-10-23-jpv-users.csv,1143,15df7bab1da573f03f264bd77a35663 wizard-work/ledger/2026-10-23-jpv-users.json,2444,48e5c9da41d2b40f8fcbb8ca98b5b5e6d73b4ff9adfa8bc35f3b9f4384e76007 wizard-work/ledger/2026-10-23-jpv-users.md,1364,a48f599c209cf04552f6171ac67ad037427691294006308b2a0a346a2ae419d0 wizard-work/ledger/2026-10-23-jpv-users.raw.json,5645,bfba663e2221e5ce0544da02447e8be5e7316e33ae0d5f47e72bdcf270d50ec3 -wizard-work/ledger/2026-10-24-countries-gdp-nominal/__pycache__/extract.cpython-314.pyc,13921,1775fd024d42c4cdf6da9eae79a020137149e5dca8a93b654f53fb7cd4cecba9 wizard-work/ledger/2026-10-24-countries-gdp-nominal/countries_gdp_nominal.csv,6403,ceab753bbd63a3ffeb7dd75b62a5dd641798e81f89e3b9828d9909c415da27ab wizard-work/ledger/2026-10-24-countries-gdp-nominal/countries_gdp_nominal.json,35729,3db80b1dd250368ed8c7b998e240d00a1ffcaf99eaae8f3a2337253863f5bf3d wizard-work/ledger/2026-10-24-countries-gdp-nominal/countries_gdp_nominal.md,9299,9b3c6ec2a0392b847411ee50cfb769dfe94d113db72800f3f2bbbda606b7613d @@ -71,7 +70,6 @@ wizard-work/ledger/2026-10-28-arxiv-csai-recent/arxiv_csai_recent.tsv,15828,c4ff wizard-work/ledger/2026-10-28-arxiv-csai-recent/raw_api.xml,72428,ddbb656808c2e6e4ec38137d07956bf9aa134427bcd7c23256f898f0e64e89bf wizard-work/ledger/2026-10-28-arxiv-csai-recent/reverify.py,5530,ebfaf3a7f2528ed7e36eef011d5bc88d9c70060e718fa6e935d1c1a2a46b4f6b wizard-work/ledger/2026-10-28-checkin-census/CHECK,6801,fccbf934570823c4a6564adfeb7d69759ca729061dfaca1cf7a6030660081f75 -wizard-work/ledger/2026-10-28-checkin-census/__pycache__/extract_checkin_census_2026_10_28.cpython-314.pyc,13672,153b5defc26ad4f7301f0dd0bd9b31ca64d64531759bcd9318417cce75957908 wizard-work/ledger/2026-10-28-checkin-census/_dbg2.py,443,7b1ff9f1a795452152ceb387381838a582e09b5a0128fa11b403c3416df5cdc6 wizard-work/ledger/2026-10-28-checkin-census/_dbg3.py,624,83051343dc776adc093dc52284e8b5c5ec1e58958f41dd4fbea719dc4894afaa wizard-work/ledger/2026-10-28-checkin-census/_dbg4.py,892,d037dc8bc8b7a71cbbbe9d90726284772d345ec0ece7b045273f93198ade0397 @@ -85,7 +83,6 @@ wizard-work/ledger/2026-10-28-checkin-census/checkin-census-2026-10-28.tsv,7402, wizard-work/ledger/2026-10-28-checkin-census/extract_checkin_census_2026-10-28.py,7794,ffc78067aa29e93f058c01f8078077857b2165bcfef39b3c3846bd5c5e4fbd3c wizard-work/ledger/2026-10-28-checkin-census/extract_checkin_census_2026_10_28.py,7800,74450e45de1c5a43496a24d28bfbfbf9fa46b6662224a090e302b1559f9adc22 wizard-work/ledger/2026-10-28-commits-by-author/CHECK,515,cfe3d1bc76b750e73f74f79048971d1baf83c3323930dc4e06a9c997d3c2cd73 -wizard-work/ledger/2026-10-28-commits-by-author/__pycache__/extract_commits_by_author.cpython-314.pyc,5060,5edec547b924986af3cf6131b8a682e417e12caf66c44a952acda6fcf159b765 wizard-work/ledger/2026-10-28-commits-by-author/commits_by_author.csv,460,c3c6a8503b8173a99a3ac37bb3601dc1884f7d9cef202d233a348c9ae6ffbe02 wizard-work/ledger/2026-10-28-commits-by-author/commits_by_author.json,1954,61b48b1ba433e6a0a40ef5af6ef019a32065bf5c83afb5f7de6ac9512892e157 wizard-work/ledger/2026-10-28-commits-by-author/commits_by_author.md,1043,afecb5c2db50d284857f9374db004e1affcd6a58c75abc7862759fec2c624dd5 @@ -93,7 +90,6 @@ wizard-work/ledger/2026-10-28-commits-by-author/extract_commits_by_author.py,327 wizard-work/ledger/2026-10-28-commits-by-author/verify_commits_by_author.py,3274,139b4dcccdc2bde6a8c08cb53594b22a4c65404511b3e7765fcc5c4e5f0aa662 wizard-work/ledger/2026-10-28-directory-census/CHECK,2871,908e62523acb64b3e3780cde099b9b10e7f0ed9929543292667446a7536f9003 wizard-work/ledger/2026-10-28-directory-census/README.md,1463,c5d0bea292a44c7d9cbb761f700d7b3b2f7f32b37a84324841209c26bc80e558 -wizard-work/ledger/2026-10-28-directory-census/__pycache__/extract_directory_census.cpython-314.pyc,8651,e9c11713968ca3d8c8f2cb9211753985f46af3ac9875cd49a8983be382f5df73 wizard-work/ledger/2026-10-28-directory-census/directory-census.md,9382,452fdc90693dc6a6255e8f0b0e3fd37628194771dcf2a0966a65d0a083becde8 wizard-work/ledger/2026-10-28-directory-census/directory-census.tsv,7904,21a562e1d3c7d7585e157870dcd46d9e3850708ee6cdd86747b5bfe1561c14ba wizard-work/ledger/2026-10-28-directory-census/extract_directory_census.py,5357,ebd07aa6e2bb1e8e253cb0108aeef452cbfa08f50e54694031957a7c7e43115e @@ -114,8 +110,6 @@ wizard-work/ledger/2026-10-28-wizardwork-census/wizardwork-census.md,812,df5066e wizard-work/ledger/2026-10-28-wizardwork-census/wizardwork-census.tsv,218,61960ead48037db0e9c601a2d87a51edce83f12333b0026667c2aa690d00c20b wizard-work/ledger/2026-10-28-workqueue-census/CHECK,18847,d043d250940abd461e9d400a33a65f8f6747ba76b2bee8f04bc7450d85621d0c wizard-work/ledger/2026-10-28-workqueue-census/README.md,1729,5060e56b8270ce0b28b180975533df356310ac70bbc86ead2a47349ffa6f7aa3 -wizard-work/ledger/2026-10-28-workqueue-census/__pycache__/check_workqueue_census.cpython-314.pyc,9025,7db363f1879af0ffcb28549407ad5c85625a33fcd2399ada069ef9c465124789 -wizard-work/ledger/2026-10-28-workqueue-census/__pycache__/extract_workqueue_census.cpython-314.pyc,7643,40da6fa5b71b6d2e2cbcba485228fd9059e86ee3679907ead36d9a4a11e9cf75 wizard-work/ledger/2026-10-28-workqueue-census/_debug.py,920,37cc6177105560613b13755bca5e31e743e68f10c866018222bf98e0485dbbe3 wizard-work/ledger/2026-10-28-workqueue-census/check_workqueue_census.py,18847,d043d250940abd461e9d400a33a65f8f6747ba76b2bee8f04bc7450d85621d0c wizard-work/ledger/2026-10-28-workqueue-census/extract_manifest.json,985,b2d10e3b6c4c794b412c3842846048ef896d1010af00fc2df56b64a85d815734 @@ -199,6 +193,7 @@ wizard-work/ledger/2026-10-30-ledger-dir-census.csv,65468,816caac104d9a6585666b1 wizard-work/ledger/2026-10-31-albums-photo-counts.csv,4760,9150e213cb6f35e0ebe1f9b12526f1baa98fb1b48d2c18f18895977a1e64c437 wizard-work/ledger/2026-10-31-albums-photo-counts.json,11633,a8547913c08582e1c879b7de39779a6915a97ca8940c19221b893f121e82f974 wizard-work/ledger/2026-10-31-albums-photo-counts.md,1289,62664421a587a237c9617b3b130114c5d8728841c776f67e0fc7caa80a1c77ca +wizard-work/ledger/2026-10-31-arxiv-llm-agents-top15.csv,7539,0538de55b0f3866c224e15f25c7c07f96d13592393588664b77b2acc6e5e536b wizard-work/ledger/2026-10-31-git-author-census.csv,1963,c3f6762bdc4d978734ce9c7e7d359ba0024310eda3b1938a7474860380ca7867 wizard-work/ledger/2026-10-31-git-author-census.md,3119,be08ed3689ce76cf97a5ab741dd6d1ac9244c433898ff754252b744baa817387 wizard-work/ledger/2026-10-31-latest-commits.md,2041,3365d4d015e0a35ad40a01135c50735b6118f863c5f6f66a2d5d9052e47fe614 @@ -224,7 +219,6 @@ wizard-work/ledger/2026-10-31-wizardwork-file-census.md,829,04e2b5f69c8baa135f66 wizard-work/ledger/2026-10-31-wizardwork-file-census.py,5179,eaeacd1bce55f4c501242106d61a574a36cbb50645e6ea3381ffa0aba3f0e0b0 wizard-work/ledger/2026-10-31-workqueue-census/CHECK,6048,764241a183ae7131d2fa6cf97f5be3a6e66968355343705b601d5a8053316f2b wizard-work/ledger/2026-10-31-workqueue-census/README.md,1165,c54834017a91979575aee58e3c80e59e0d1e1f6e1d2ba9ad358f8cfc15ab77a0 -wizard-work/ledger/2026-10-31-workqueue-census/__pycache__/extract_workqueue_census.cpython-314.pyc,4636,fc10212b1d9ea918c11dee1c0354388d940899af94a98b515d27ad43ebb6b3e4 wizard-work/ledger/2026-10-31-workqueue-census/build_manifest.py,1897,0a029cdecd69d93e9fee5d7808a09ebfe14b5e6a437d956303afa0ba232dbf6d wizard-work/ledger/2026-10-31-workqueue-census/extract_manifest.json,18732,aa3fae6dc21887a7b504e02b1266b02b2385002f4129e32a04aab707891ddeee wizard-work/ledger/2026-10-31-workqueue-census/extract_workqueue_census.py,2570,55c4296724a06e8cd1177e1f5d72589ddb055a794aeeb885486d16e9c15f319a @@ -241,6 +235,7 @@ wizard-work/ledger/CHECK-commit-census-as-of-HEAD,553,95f835c6e4e3d641219baad5d8 wizard-work/ledger/CHECK-file-tree-census,3066,59bdb74bc99f66adbc5144f61e598a13e7275df65fffd67a4e1cf15441f95e19 wizard-work/ledger/CHECK-git-history,4327,261c7bdce0ad74839adfba1f7f83384ce01f166d12397e3b7491003803163b2f wizard-work/ledger/CHECK-git-worktree-census-2026-10-30,3795,c0c4413c6d5fb779fcd911a91a93bce786bb24daf599da4556ace4b6f2c2b379 +wizard-work/ledger/CHECK-ledger-q-census,894,9d1db15b1054d45bac278941ae0cbb34a82aa7db1fab82f49336611de194656b wizard-work/ledger/CHECK-live-wizard-roster-2026-10-29,4942,a1cfcd7d1b958074920d68fb9f9524324de3fbbef9f57008b452789b6637f200 wizard-work/ledger/CHECK-wizard-roster-2026-10-29,449,c8999825a981d947ad1def0147f992801d6dc43c7e0645889b6cabcc49bfc9b1 wizard-work/ledger/CHECK-wizards,590,aa28e5908092299629f222a3553d96a2342769a13eb941949d5cacfb0877d2a8 @@ -259,19 +254,6 @@ wizard-work/ledger/README-live-roster.md,961,2911ee1a8fe89e77a063dd0d8cdb33baf60 wizard-work/ledger/README.md,656,26454a27480b0d2e8ef151a9aad25de93fe31bae2caf12f4be8f78ffa31e71bd wizard-work/ledger/SOURCE.md,318,34c0d33b59b4f8cb5e1a57df65b2439d6b772d701b8256e3383f93e042704eba wizard-work/ledger/USERS-extraction.md,2223,f81b3de6a9a046919cb333282c8aca04e9333dec9c30ffe5367a517c583dacae -wizard-work/ledger/__pycache__/census.cpython-314.pyc,3924,9e0b86628cd9e00369b4d486c3fdda2f4db2ed1ed7367f7d1cd263a97d64ff68 -wizard-work/ledger/__pycache__/checkin_inventory_verify.cpython-314.pyc,5772,d580b24d33202f00866d2334d3a604f3829e66650e621af6571c3c193e8db8c3 -wizard-work/ledger/__pycache__/extract_git_history_live.cpython-314.pyc,11231,6867c1eece61f6095ea171902fd7e16ea5b2c3a805a01d855f2c1940b6b4ee67 -wizard-work/ledger/__pycache__/extract_workqueue_census.cpython-314.pyc,3735,38cf37039b82616021b79627fde5c64cd9e9e4e013e3d5e7fcc7b15fe2e5c459 -wizard-work/ledger/__pycache__/gen_manifest.cpython-314.pyc,2107,7a9332219d9902cadca84b2e37ed7029864d170494aee07a266b8fcbf72d570e -wizard-work/ledger/__pycache__/queue-extract.cpython-314.pyc,12267,27984610d1902e0b8db83a0471757805372601fd0ee6f082325dad760adf53e8 -wizard-work/ledger/__pycache__/test_scratch_manifest.cpython-314-pytest-9.1.1.pyc,7421,7f58e3741ea39ff02bfec76791e84916dd34b60f8e1f683ba125871886d821eb -wizard-work/ledger/__pycache__/test_scratch_manifest.cpython-314.pyc,3577,f4a5599f9a4394bd083e705b9d38ac49c0bda00d414c69b79e0864b2fe0ff378 -wizard-work/ledger/__pycache__/test_verify_wizards.cpython-314.pyc,16416,c1e5a255f536e360d6a3b2d2811904928f10ec3e77a3d1481fda0ed8c68f9c51 -wizard-work/ledger/__pycache__/verify_arxiv_csv.cpython-314.pyc,3247,bf147d355bc44a26dbd267afa74868a94642b688cdf9738de4fbe1c1a4099806 -wizard-work/ledger/__pycache__/verify_census.cpython-314.pyc,3756,53b22bccbeaba12a0d5b6a34009271c3cb6ee8956da454406babaf6fa1c6656d -wizard-work/ledger/__pycache__/verify_github_repos.cpython-314.pyc,9697,4f821d5e1b48cd8e08096584f34a15bc322539e9cb71a7c2be7cc1819454513f -wizard-work/ledger/__pycache__/verify_ledger_census.cpython-314.pyc,10551,4395d4111c26e6263a572defed3c1a40fe13518b72cf756e79f0887d9a496c12 wizard-work/ledger/api-endpoints.csv,5501,b8e65ac2a5234e3f69a4be803edc54e18412278c341c5dfa82a20ced900c870c wizard-work/ledger/api_endpoints.json,10465,3794f9ab0bf733a81498f0f75a183f1980b12c1ce55d71c457fe7a0c903b2ef8 wizard-work/ledger/area-by-state.csv,48,6c0583eca2f9a4cb2867211496a5b99a64ad5ba34013270498220798e357a026 @@ -313,9 +295,9 @@ wizard-work/ledger/arxiv_recent_cslg.csv,3324,0d052bfb137af758163c06192dec7cccb3 wizard-work/ledger/arxiv_recent_cslg.md,4109,55ae6a3b324625a8ba07a0f4a07609736c6cf042852325a6ee2d89b265a349fb wizard-work/ledger/arxiv_titles.csv,576,2612bd028bd3d40956d8b0a51e44b3134f839355193744248863679afd477cbf wizard-work/ledger/build_2026-10-31_git_author_census.py,5847,e6c171a71f6acd7aea62a8048e9dc0e954dea09259a40558006413e393af1ef5 -wizard-work/ledger/build_2026-10-31_ledger_dir_census.py,1563,fcec9c9358b16f5456d338d77d2d957eb0f6364b92035b0ef72594be42bdab22 +wizard-work/ledger/build_2026-10-31_ledger_dir_census.py,1074,d2e9902674b153e0bd5a07905a8f4c0397fb300d0a20f4c439fb49d461361218 wizard-work/ledger/build_census_md.py,967,d33104864dde401cb1ca50b0adf47560dca8583a19c4d9ae2727eea8a1441fde -wizard-work/ledger/build_dir_census.py,2005,e99ad7c485262a7c2bb53ba57db618206cf6e1bfbe4ad6c84378ea95ab258872 +wizard-work/ledger/build_dir_census.py,1275,1d16fddbe00464d1a93c5c05ae4aa2b09264facfa2ba46abb7b729bf4e4acc11 wizard-work/ledger/build_gdp_nominal_usd.py,2560,e0576cb864ede73519ad819108d1faad9a7c6492758e463440f6c201362edac0 wizard-work/ledger/build_ledger_census.py,5508,80242f012b6ded65e115aa126131211c5b3eee8e2293b340a113687b74f72e01 wizard-work/ledger/build_live_roster.py,7692,a6fc41a13560d4a5d5fbab00385a2bc408f382c3d08561dd71d460b5ac5ce599 @@ -469,6 +451,8 @@ wizard-work/ledger/probe.py,2033,77e7a6b3967116235c13b85af268fa01799275d18f59b01 wizard-work/ledger/probe2.py,1909,01ed322c0f55c447a83271b4d1547bb5d9dd7725cb04f396d50da7eb6ccc23e2 wizard-work/ledger/profiles-census.csv,412,671ddfb4337b1bcf5fcbc505b67824a91cbb9b8438cbdd9ee3bfbcfbc9d99d5a wizard-work/ledger/python_org_repos_top50.csv,5728,cf20273ac3062cba14344ba7ed6f999d63df3b16bda179e44e74c075c24ceee4 +wizard-work/ledger/q-census.csv,725445,938c7c753d3927c50f3d1256d3cf8466b2baa0f2ac8cc5f02b07dd620fae9904 +wizard-work/ledger/q-census.md,43432,d4b881da23e91e69121510c6cda42d0baf6638bcc4462e8263560e51750f5508 wizard-work/ledger/queue-extract.csv,47202,8911e97a488ac76ab3cf2d53686aa64e75a3920d8c4d74e66471449f385805a4 wizard-work/ledger/queue-extract.md,30208,c81f2753001f35efcabf9f1a4729afdd5c3a89177abd5c835e5c5db959f057cb wizard-work/ledger/queue-extract.py,7668,03d3a981c4ae66ae950ce5e4b522cfd8b4ae802f39a991500551072574ed8c0d @@ -494,6 +478,7 @@ wizard-work/ledger/skill_metadata.md,13055,c1d511715f35518e8ba75403eeb52ff0d5c90 wizard-work/ledger/skills.md,5470,90a02efa5d061ca40d2e59eb92d110d0971dc82c64c999139130ea5884dbd14c wizard-work/ledger/source/coins_raw.json,7881,0d9a227578e6e6adc96a3e7758c9211506a898ebcf401a20442d17db6895d379 wizard-work/ledger/source_manifest.txt,7206,9b789e16fc61571434033337965988dcde5929a1459e2125db211379c925e719 +wizard-work/ledger/src.md,397,f9e5c520324e28ac40d9b694e68c586b3d81380e1d3848247b8d699ec3ee70d2 wizard-work/ledger/stackchain-catalog.md,2476,6bb79a8235319ed86657bb234923f476d3fa6b2de6a1e3cd07a2f4141699480e wizard-work/ledger/stackchain-catalog.rows.json,9279,331b8ac1b3b014097082b9d6beffa997125cf19024b61cff6c5c4027db408776 wizard-work/ledger/stackchain_catalog.csv,2920,995f107368aac9877669485efe9e02f0889cece11d3318c5926e0b741e42e5fe @@ -533,6 +518,7 @@ wizard-work/ledger/verify_arxiv_csai.py,3897,55ab7d8bba0d8b9959852a7a527d76d6ca8 wizard-work/ledger/verify_arxiv_csai_fresh.py,3203,c17040c5195601fdb7549744874ed3155dfa0d77c94f5f0ce5fb5fc57a889d42 wizard-work/ledger/verify_arxiv_csv.py,1589,7047684a0bcff5fc05ab268d1267cb712383d9fd07843cb3644511f70e83512c wizard-work/ledger/verify_arxiv_fresh.py,2730,dc6d17487fa6c1326b33cfb365c7557b9148a3bc45c4a12a54448c48ad02d7dd +wizard-work/ledger/verify_arxiv_llm_agents_top15.py,2648,91008068f53b69924a195dba5090400ad521260f652a993a07e8427340ec1a86 wizard-work/ledger/verify_catalog.py,3950,b39468ecfc925ce31361a6eb25993126e336af0972c964788d2601acec5b6f40 wizard-work/ledger/verify_census.py,1716,cff845eea72c326d2b864aec4f2ebbe29cf3dc16144dd5fd4aa70574767ed9ce wizard-work/ledger/verify_commits_by_author_day.py,2618,6158b1014c022a7f99cb03d8e57e2482621d17ddfef2ded10735c49a31f8afe8 @@ -549,7 +535,7 @@ wizard-work/ledger/verify_github_python_repos.py,4938,51451e7fb328386349a2256c74 wizard-work/ledger/verify_github_repos.py,5994,29720c9b21ffec1602e483f04a6ea8e7413907c696a5ec3b84626af94f86f35a wizard-work/ledger/verify_issues.py,2795,2392acdcaa195bbd29647239a30951ba2dda8157669d0433e6e47b81ab3f1d51 wizard-work/ledger/verify_ledger_census.py,6527,eaf5948375118e4679799962c6c6680605112aede5d73bfe1074c20c74fdcf17 -wizard-work/ledger/verify_ledger_dir_census.py,2323,acbe24c3c7b2f9b325e5d895cf909f8539fcb2d24d195804c20e811be54e26b4 +wizard-work/ledger/verify_ledger_dir_census.py,20017,35e9eec688d9ce12d2260f030e6b5308168086001b8e635bbbc4aca5f7c07d5b wizard-work/ledger/verify_profile_census.py,2475,8117f6faa2c65bf286b60266180116530a3cabec91cfcf4145939e1e4a524c51 wizard-work/ledger/verify_python_org_repos.py,3574,d4b54fb916cb44a70b4a46fccd42cfaed988c3a59ba1ac444f2134affa4798b7 wizard-work/ledger/verify_replies_catalog.py,1924,e6e009994de217e782ea310679fa96bc4a23d23599d4ab585f2c3158302d3449 diff --git a/wizard-work/ledger/2026-10-31-ledger-dir-census.manifest.json b/wizard-work/ledger/2026-10-31-ledger-dir-census.manifest.json new file mode 100644 index 0000000..3660c78 --- /dev/null +++ b/wizard-work/ledger/2026-10-31-ledger-dir-census.manifest.json @@ -0,0 +1,13 @@ +{ + "artifact": "wizard-work/ledger/2026-10-31-ledger-dir-census.csv", + "generated_by": "wizard-work/ledger/verify_ledger_dir_census.py --write", + "population": "tracked blobs under wizard-work/ledger at rev, self-excluded (the CSV and this manifest)", + "rev": "40921f3ff69b650f4dc0cf0a7594b097635dc0b3", + "rev_subject": "ledger: grade the dir census at a pinned rev over tracked blobs (Q141 tooling)", + "rows": 580, + "schema": [ + "rel_path", + "size_bytes", + "sha256" + ] +} diff --git a/wizard-work/volt/q137-open-set/open_set.py b/wizard-work/volt/q137-open-set/open_set.py index c3bc916..40c8ece 100644 --- a/wizard-work/volt/q137-open-set/open_set.py +++ b/wizard-work/volt/q137-open-set/open_set.py @@ -481,9 +481,9 @@ PIN_OPEN = [] PIN_OPENED = [51, 52, 53, 65, 100, 101, 102, 103, 104, 105, 106, 107, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122] -PIN_COUNTS = {"headings": 97, "heading_ids": 86, "records": 100, - "record_ids": 66, "ids": 131, "open": 0, "opened": 26, - "record_only": 45} +PIN_COUNTS = {"headings": 97, "heading_ids": 86, "records": 101, + "record_ids": 67, "ids": 132, "open": 0, "opened": 26, + "record_only": 46} PIN_STATE = { 100: "REPAIRED", 101: "REPAIRED", 102: "REPAIRED", 103: "REPAIRED",