Site: Round 9 freeze-honest sell fold (#135–#140)

[amineux]

Summary

• Fold the six Round 9 red-team refusals into the site’s compact proof transcripts and sell copy.
• Name the exact boundaries: GreenCtx Busy, Soft-SMMU Overlap / NotMapped / WrongStream, SoftCCT dual-proof refusal, and CCT CreditExhausted.
• Keep the freeze-honest scope: software proofs only, with no FLOPs, tape-out, or partner claims.

Test plan

• git diff --check
• Site copy assertions cover all six attack lines in each transcript block.
• CI