Repository navigation
Conversation
|
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 |
|
Nightly final status: CI green; NOT merged — compatibility review hold.
|
|
Same-exp66 evidence-interface audit landed on SwarmLab56 head b1bbd747 (no new nightly experiment or Aegis runtime change). Before: live verifier accepted late1501ms library return, missing/stale/future timestamps, non-score event and contradictory result metadata. Added deadline/timestamp/envelope/log binding checks; original frozen prereg/harness/oracle/scenarios/thresholds/receipts/traces remain byte-identical. 33 tamper rejections + positive accepted (8 reproduced gaps now rejected). Exact-head exp66 CI39213546459 SUCCESS: fresh frozen design runs real pinned Aegis db89917, actual source/dist+row checks,33 negatives; exp64/65 regression CI success. Full local Aegis release1185tests52/52; SwarmLab51claims111traces1022assertions; build/static checks green. Neither PR merged. Safe-builtin25ms false positive under parallel load remains an unresolved runtime compatibility blocker; this verifier fix does not resolve it. Baseline-control admission deviation also remains recorded. No threshold changes or second novelty claim. |
New exp66 / RT56 — loader regex-probe preemption
Pre-registered SwarmLab spec632df6b before implementation/output. Real origin/main Aegis f73ce63: five regex hazards watchdog at1500ms twice instead of returning its advertised25ms rejection. No fake policy integration: public built loadPack. Baseline12/19,5/5substring controls. Two extra baseline failures: invalid env0/-1 reject safe patterns.
Runtime528438c: fixed script + primitive inputs constructs native regex inside V8 context with interrupting timeout; preserves synchronous API/RulePackError context, whole pack refusal, JS features, safe recovery. Normalize invalid budget settings; no new public API. Same frozen design candidate19/19+5/5, focused8red10pass ->18green. Evidence manifests/trace/linked SwarmLab PR forthcoming. Historical bench scores are not live runtime evidence.
Checks / honest merge hold
Limits
Finite load-time probes only; runtime evaluate still unbounded native regex. Not regex safety proof, host-JS security sandbox, arbitrary pack resource bound or production certification. No threshold changes or holdout tuning. Five actual native regex probes interrupted, not Promise.race.
Paired evidence PR: heybeaux/swarmlab#56. Aegis release CI observed SUCCESS https://github.com/heybeaux/aegis/actions/runs/39212271270 (head db89917); merge hold remains for wall-clock false positive.