fix(public-surface): quarantine docs/specs leak + correct prereg count - #2
Merged
Merged
Conversation
…g count - .gitignore: re-ignore docs/specs/ (internal infra specs reference private repos; docs/ is recursively re-included so they were one git-add from public) - README.md: 5 -> 4 dated pre-registrations (only 4 dated files are public; H11 is private) Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
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.
What
Public-surface audit remediation. Two small, low-risk public changes:
docs/specs/(CRITICAL)..gitignorere-ignoresdocs/specs/after the recursive!/docs/re-include. Internal infrastructure specs there reference private repos and were one carelessgit add docs/from publishing. The deny rule is last-match-wins; verified ignored viagit check-ignore. The existing spec was moved to a private, fully-ignored location.README.md: "5 dated pre-registrations" -> "4" (only 4 dated files are public; the H11 prereg is intentionally private;INDEX.mdis an index, not a prereg).l->lineinCTF/gandalf/probe.py(ruff E741), pre-existing nit surfaced by the pre-commit health check.Verification
make verify-public— PASSmake public-surface— PASSmake repro/make benchmark(10/10) — PASSruff checkon tracked public Python — cleangit check-ignore docs/specs/*— ignoredThe broader audit (pipeline re-manifest + coverage gate, burner sync, bounty scaffold, local index) was done outside the public surface and is not part of this PR.
🤖 Generated with Claude Code