Repository navigation
census: name no private repository, count them (re-anchoring WO 3.5) - #74
Merged
Merged
Conversation
Owner ruling D-2 (a), 2026-11-10: counts only, no history rewrite. - The frame repos.jsonl keeps its 465 public records. The new private-count.json records that the listing of 2026-11-09 (commit c8246ee) counted 40 private repositories. - Both census writers enforce the frame (owner ruling 2026-11-11): a row or a "not reached" entry must belong to a public frame record. run-census.sh censuses public records only. update-rows.sh --frame applies the rule without a clone; `just update-rows --frame` wrote the data in this commit. No row changes. One public entry stays in the "not reached" list. - The catalogue prints the private count in "Not reached" and names no private repository. - just atlas-check now fails on a non-public frame record, on a "not reached" entry outside the frame, and on a malformed private-count.json. - README.adoc no longer names a private repository. - .github/labels.json and .github/label-classifier.json: _generated_from no longer names a private repository (owner ruling 2026-11-11). Both are recorded in (variant (paths :diverged)); the template carries the same line. Tests: tests/census/update_rows_frame_test.sh (new, with negative controls) and a new frame test in tests/atlas. Observed in this session: just catalogue-check, atlas-check, census-test, registry-check, validate-state, validate-claude-md, validate-coapt, validate-repo-map, validate-rsr, the canon deed lint and the I-JSON/JCS check of each changed JSON file pass. No tracked file holds a private name as a JSON value. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0136P7Zo9dheFQzYYWV49hAk
- census-atlas.mjs: sort the keys of private-count.json with the file's own UTF-16 comparator (S2871), not the default sort. - render-catalogue.sh, update-rows.sh: [[ ]] for the tests that WO 3.5 wrote or changed (S7688). - update_rows_frame_test.sh: name the positional parameters of check() (S7679). Observed in this session: just catalogue-check, atlas-check and census-test pass, and update_rows_frame_test.sh passes all 6 cases. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0136P7Zo9dheFQzYYWV49hAk
hyperpolymath
marked this pull request as ready for review
November 11, 2026 17:01
Codex Review Summary: ❌ FailedThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
|
Caution Review failedThe pull request is closed.
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. |
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Work order 3.5 of
docs/proposals/mathesis-re-anchoring.adoc, under owner ruling D-2 (a): counts only, and no history rewrite (finding F-9). The owner ordered WO 3.5 before WO 3.3 on 2026-11-11, so that themustclause "no private repository is named" holds when it lands. This PR changes census data, so it is recorded under "Open census work" inROADMAP.adoc.Changes
docs/atlas/census/repos.jsonlkeeps its 465 public records. The newprivate-count.jsonrecords that the listing of 2026-11-09 (commitc8246ee) counted 40 private repositories.run-census.shcensuses public records only.update-rows.sh --frameapplies the rule without a clone, andjust update-rows --framewrote the data in this PR. No row changes. One public entry stays in "not reached": the public repository that cannot be cloned, which is an open finding.just atlas-checknow fails on a non-public frame record, on a "not reached" entry outside the frame, and on a malformedprivate-count.json.README.adocno longer names a private repository..github/labels.jsonand.github/label-classifier.jsonnamed a private repository in_generated_from. The name is replaced with neutral text, and both files are recorded in(variant (paths :diverged)). The template carries the same line; I report it there.RSR Quality Checklist
As Applicable
docs/status/ROADMAP.adocupdated (open census work)docs/atlas/README.adoc, "A public frame")Testing
Run in this session at the head commit:
tests/census/update_rows_frame_test.sh: 6 cases pass, among them a second run that changes nothing and a missingprivate-count.jsonthat fails the rendertests/atlas: planted non-public frame record, entry outside the frame, string count and extra key each failjust catalogue-check,just atlas-check,just census-test,just registry-check: passjust validate-state,validate-claude-md,validate-coapt,validate-repo-map,validate-rsr, canon deed lint: passNot run here:
just check-proofs(no Guix and no provers in this container; CI runs it) and shellcheck (not installed here).The history keeps the names, as ruling D-2 (a) says (plan section "Why the history is not rewritten").
Generated by Claude Code