Skip to content

Red-team greenctx-exhausted needle: SoftGreenPool create → Exhausted - #133

Merged
amineux merged 1 commit into
mainfrom
boss/greenctx-exhausted
Sep 23, 2026
Merged

amineux merged 1 commit into
mainfrom
boss/greenctx-exhausted

Conversation

@amineux

@amineux amineux commented Sep 23, 2026

Copy link
Copy Markdown
Owner

Summary

  • Wire existing SoftGreenPool::create past MAX_GREEN_CTX slots into make red-team as [redteam] attack=greenctx-exhausted result=refused.
  • Four tiny in-budget creates (sm=1,wq=1) admit; fifth → GreenCtxError::Exhausted.
  • Contrast: after 70/30 fill, create → Overcommit (sibling greenctx-overcommit stays separate). Not SoftNoI Exhausted; not HW MIG / BAR0 / SoftNPU.

Test plan

  • cargo test -p aether-core greenctx_exhausted
  • cargo test -p aether-redteam
  • cargo run -p aether-redteam --release greps attack=greenctx-exhausted result=refused + sealed
  • CI make red-team

Wire existing SoftGreenPool::create past MAX_GREEN_CTX slots into make
red-team as [redteam] attack=greenctx-exhausted result=refused. Four tiny
in-budget creates admit; fifth Exhausts. Contrast after 70/30 stays
Overcommit (sibling needle). Not greenctx-overcommit SM/WQ / SoftNoI
Exhausted / HW MIG / BAR0 / SoftNPU. Makefile CI grep + BLAST/DILIGENCE
one honest row.
@amineux
amineux merged commit 8e002de into main Sep 23, 2026
3 checks passed
amineux added a commit that referenced this pull request Sep 23, 2026
Site: Round 8 foundation sell fold (#132–#133)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants