Repository navigation
Reconcile repository count ontology - #46
Merged
verifrax-systems merged 1 commit intoAug 30, 2026
Merged
verifrax-systems merged 1 commit into
verifrax-systems merged 1 commit into
Conversation
verifrax-systems
approved these changes
Aug 30, 2026
verifrax-systems
left a comment
Member
There was a problem hiding this comment.
Independent exact-head governance review complete for 49afb57.
Verified:
- base main is exactly c6e84c6;
- candidate is one signed commit with valid GitHub verification;
- candidate tree is exactly e9da4e3b91341e23c3b02d8088b11d4d5ca9ae0d;
- reviewed patch SHA-256 is exactly f2cd770761ff757aa24c27afe918401314a784589be867510a6de8325c9981b0;
- changed-file set is exactly governance/ADMISSIONS.json and governance/NON_GOVERNED_REPOS.txt;
- ADMISSIONS changes only public_repository_count from 36 to 37;
- all other count-policy fields and ADMISSIONS entries remain unchanged;
- governed repository registry remains exactly 35 and still includes SPEEDKIT;
- live public perimeter is exactly 37;
- live-public minus governed is exactly VERIFRAX-CONTROL-VERIFY and VERIFRAX-PY;
- candidate non-governed registry exactly matches that derived set;
- governed and non-governed sets are disjoint and their union equals the live public perimeter;
- GOVERNED_REPOS.txt and REPO_CLASSES.json are unchanged;
- governance protection, required signatures and rulesets remain unchanged;
- repository has zero required status contexts for this PR.
Approved for governed merge only while head remains exactly 49afb57.
verifrax-systems
deleted the
count-ontology-non-governed-reconciliation-20260830T180916Z
branch
August 30, 2026 18:25
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.
Reconciles the live repository count ontology with the current governed registry and public organization perimeter.
Exact changes:
Preserved:
Derived invariant:
35 governed repositories + 2 explicitly non-governed public repositories = 37 live public repositories.
Candidate head: 49afb57
Candidate tree: e9da4e3b91341e23c3b02d8088b11d4d5ca9ae0d
Candidate patch SHA-256: f2cd770761ff757aa24c27afe918401314a784589be867510a6de8325c9981b0