remedi(ghx): remove private program material from public tip - #133
Merged
zacharybalicki merged 1 commit intoSep 29, 2026
Merged
Conversation
Take non-public program registers and program trees off the default branch without rewriting history. The public release checker now reads sealed pins that this tree already records.
zacharybalicki
added a commit
that referenced
this pull request
Sep 29, 2026
EB-T11 no longer lists the removed investor-demo manifest. The 22 tests that read docs/internal skip with PRIVATE_TREE_REMOVED_FROM_PUBLIC_TIP when that tree is absent. The teardown workflow, including account 960577828987, is unchanged. Council notes under docs/planning and docs/architecture stay for a separate disclosure pass.
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
1 participant
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.
Audience: INTERNAL
This pull request is product-readiness containment for the public default branch. It removes non-public program registers and program trees from the tip of main. Git history, tags, and releases are unchanged.
Removed from the tip (383 files):
docs/internaldocs/programs/production-readiness, including the claim ledger and the sibling non-public program registersinternalprogram packages, includingwave3-claim-inventorypackages/investor-demo-wave2The public release checker now reads
docs/programs/release-engineering/SEALED-RELEASE-PINS.json. Those pins are the CLI tag and sealed Python hashes this tree already records inscripts/release/stage_sealed_pypi.py. The W3 lab teardown workflow still assumes its existing OIDC role. The account id stays in that workflow because the role assumption uses it.A full copy of the removed trees, with a path and sha256 manifest, is preserved on the operator machine at
/home/vantioai/evidence/github-excellence-2026-09-29/containment-preserve/. That copy is not part of this pull request.Left unmerged for council.