Repository navigation
exp70: preprocessing admission real-Aegis red → bounded gate → green - #60
Merged
Merged
Conversation
…kage runner before baseline
… and pinned live CI
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
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. Comment |
Owner
Author
|
Post-merge: main exp70CI39914007848 SUCCESS; all triggered regression workflows green. Exact red/red/green admitted evidence remains valid. Paired Aegis main releaseCI39914001768 FAILED an unchanged RT57 timing-calibration test despite green exact-head PR release CI. Final nightly status merged-main-ci-red, NOT release-green. No retry-until-lucky; preserve failure for follow-up. |
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.
New deterministic admission experiment, not replayed development. Preregister0f8efd2, frozenab9b4dd before observations. Real Aegis27375f6 repeated red8/8 admission hazards; compatibility12/12 and preprocessdisabled8/8 controls green. Same frozen20cases candidate9e99e7b allgreen. Paired heybeaux/aegis#76.
Includes3admitted traces+sidecars/source/dist receipts, full replay/metric/full evaluation binding and freshness/exactSHA live CI;35tamper rejections+positive. Core build/typecheck and evidence52claims114traces1046assertions green. Aegis1208tests/fullrelease green locally. Existing checks are regression, not novel evidence.
New conservative policy:65536commandunits,64variants,8192decodedunits. NOT proof of baseline CPU/memory exhaustion, speedup, whole-call bound or certification. Standalone helper stays legacy/unbounded; no pending exp68/69 imported. CI/clean mergeability pending; no green CI claim from local exit0.