perf(proof): pipeline protected work with signed harness identities - #104
Merged
Merged
Conversation
tangletools
approved these changes
Sep 27, 2026
tangletools
left a comment
There was a problem hiding this comment.
✅ Auto-approved PR — 9c3c4138
Blanket team auto-approval is intentional. The merge gates are CI and codex-p1.
No automated review runs on this PR. This approval rests on the rule above alone.
tangletools · auto-approval · reason: blanket_auto_approve · 2026-09-27T05:49:21Z
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.
Change
Pipeline independent protected proof work inside one certified account census epoch, with a fixed four-resource admission budget and an atomic stress pair.
Keep all seven independent before/after census scopes, nine exact owned identities, cleanup checks and exclusive LIVE-10.
The default remains OFF.
Add a separate protected speed workflow that verifies both signed identities before admission.
The application remains the public 0.3.2 archive
476307aaand original signed b5 candidate 36294457062.The current main harness requires a separate signed publish=false candidate.
The original b5 canonical six-row verifier remains mandatory.
Both cloud workflows share one concurrency group.
Proof
No current-harness signed candidate or new pipeline live wall exists.
The budgeted projection remains unknown; the target is below 300 seconds.
This PR changes private proof tooling and does not publish a package.
Rollout and release coordination
Keep OFF until a signed dual-identity preflight and internal fixed-gate live proof pass.
Then stage internal → 1% → broad with full-wall validation and rollback to OFF.
Root holds this PR's merge while the 0.3.3 release preparation binds main
afc8380e.The running 0.3.3 protected run is 36297994978; installed analysis uses that separate signed 0.3.3 archive.
Do not overlap admissions on the shared cloud proof account.