Skip to content

Red-team softcct-credit-exhausted needle: SoftCCT record → CreditExhausted - #140

Merged
amineux merged 2 commits into
boss/softcct-incorrect-elision-rtfrom
boss/softcct-credit-exhausted
Sep 23, 2026
Merged

amineux merged 2 commits into
boss/softcct-incorrect-elision-rtfrom
boss/softcct-credit-exhausted

Conversation

@amineux

@amineux amineux commented Sep 23, 2026

Copy link
Copy Markdown
Owner

Summary

  • Round 9 KEEP 6: SoftCCT ChipletCoherenceTable::record past MAX_CCT_ENTRIES → PartitionError::CreditExhausted
  • Honest existing table-full path (distinct from Timeline qos-credits)
  • Wire [redteam] attack=softcct-credit-exhausted result=refused

Stacked on #139 (boss/softcct-incorrect-elision-rt).

Test plan

  • cargo test -p aether-core softcct_credit_exhausted
  • cargo test -p aether-redteam
  • release clip greps attack=softcct-credit-exhausted result=refused

@amineux
amineux force-pushed the boss/softcct-incorrect-elision-rt branch from 43dd5ef to c8f536d Compare September 23, 2026 09:55
…usted

Wire existing ChipletCoherenceTable::record past MAX_CCT_ENTRIES into make
red-team as [redteam] attack=softcct-credit-exhausted result=refused.
In-budget fills and existing-label updates admit. Not Timeline qos-credits /
softcct-incorrect-elision / UCIe.
@amineux
amineux force-pushed the boss/softcct-credit-exhausted branch from a31389b to 902b340 Compare September 23, 2026 09:55
@amineux
amineux merged commit 41af69a into boss/softcct-incorrect-elision-rt Sep 23, 2026
3 checks passed
amineux added a commit that referenced this pull request Sep 23, 2026
Site: Round 9 freeze-honest sell fold (#135–#140)
amineux added a commit that referenced this pull request Sep 24, 2026
Land orphaned Round 9 needles (#137–#140) onto main
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