From 1597e149cd8c43c8bffbd287465cd0abcecbe251 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Wed, 23 Sep 2026 12:00:16 +0200 Subject: [PATCH] =?UTF-8?q?Site:=20Round=209=20freeze-honest=20sell=20fold?= =?UTF-8?q?=20(#135=E2=80=93#140)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fold the six new red-team refusal proofs into the site’s compact transcripts and sell copy without adding hardware, partner, FLOP, or tape-out claims. --- site/index.html | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/site/index.html b/site/index.html index 3916e97..9bfca99 100644 --- a/site/index.html +++ b/site/index.html @@ -648,6 +648,12 @@

freeze-v1 named. M0–M6 landed. Next year is sell, then wait for a table.Collect an opcode table

03

Walk the five beats

-

Isolation → packet → wait → admit class → ATOMIC_ADD + named refuses. Round 5 sealed fence-not-ready, unbound SET_SID, Hodge Tree+Curl, SoftSFI unknown-base, and Soft≠Strict scope honesty. Round 6 sealed Soft-SMMU SubmitSid / SidBudget / Stage2Fault and SoftNoI Exhausted refuse lines. Round 7 sealed HodgeQuota empty admit → QuotaExceeded and SoftGreenPool create → Overcommit. Round 8 adds SoftGreenPool migrate_to_yield → Unbound and create past MAX_GREEN_CTX → Exhausted; the Host Path B close keeps GreenCtx migrate, CDT revoke, and bad-executable refuse visible. Same tree. Commands below exist in make help. Thin third consumer: make mp-shim (inspiration name only).

+

Isolation → packet → wait → admit class → ATOMIC_ADD + named refuses. Round 5 sealed fence-not-ready, unbound SET_SID, Hodge Tree+Curl, SoftSFI unknown-base, and Soft≠Strict scope honesty. Round 6 sealed Soft-SMMU SubmitSid / SidBudget / Stage2Fault and SoftNoI Exhausted refuse lines. Round 7 sealed HodgeQuota empty admit → QuotaExceeded and SoftGreenPool create → Overcommit. Round 8 added SoftGreenPool migrate_to_yield → Unbound and create past MAX_GREEN_CTX → Exhausted. Round 9 adds migrate_to_yield with a destination bound elsewhere → Busy; same-SID overlapping guest PA → Overlap; a Bound walk hole → NotMapped; armed≠packet → WrongStream; SoftCCT dual-proof incorrect-elision refusal; and CCT record past MAX_CCT_ENTRIES → CreditExhausted. Same tree, frozen packet, software proofs. Commands below exist in make help. Thin third consumer: make mp-shim (inspiration name only).

04 @@ -741,7 +747,7 @@

Host Path B

refuse

Named attacks

-

[redteam] attack=… result=refused including the R5–R8 foundation needles: attack=fence-not-ready (PartitionError::FenceNotReady), attack=set-sid-unbound (HalError::Fault), attack=submit-sid (MapError::SubmitSid), attack=sid-budget (MapError::SidBudget), attack=stage2-fault (MapError::Stage2Fault), attack=softnoi-exhausted (NoiError::Exhausted), attack=hodge-curl-tree (HodgeError::CurlOnTree), attack=hodge-quota (HodgeError::QuotaExceeded), attack=greenctx-overcommit (GreenCtxError::Overcommit), attack=greenctx-unbound (GreenCtxError::Unbound), and attack=greenctx-exhausted (GreenCtxError::Exhausted). Also attack=blast-hops (admit_hops → BlastRadius; not a CrossCut rehash), attack=blast-nodes, attack=silent-remote, attack=uncolored-compute, attack=typed-window-sid, attack=hbm-bw (soft meter → QosExceeded; not CXL product / tape-out), attack=foreign-tenant-color, attack=xqueue-sid-override, attack=firewall-ident-pa, attack=hodge-harmonic-tree. Fabric-class admit/refuse. ATOMIC_ADD accept/reject. [softsfi] heap=refused, [softsfi] unknown=refused, and [softsfi] unknown-base=refused. Closer: not confidential GPU, not HW MIG, Soft SMMU is software.

+

[redteam] attack=… result=refused including the R5–R9 foundation needles: attack=fence-not-ready (PartitionError::FenceNotReady), attack=set-sid-unbound (HalError::Fault), attack=submit-sid (MapError::SubmitSid), attack=sid-budget (MapError::SidBudget), attack=stage2-fault (MapError::Stage2Fault), attack=softnoi-exhausted (NoiError::Exhausted), attack=hodge-curl-tree (HodgeError::CurlOnTree), attack=hodge-quota (HodgeError::QuotaExceeded), attack=greenctx-overcommit (GreenCtxError::Overcommit), attack=greenctx-unbound (GreenCtxError::Unbound), attack=greenctx-exhausted (GreenCtxError::Exhausted), attack=greenctx-busy (GreenCtxError::Busy), attack=smmu-overlap (MapError::Overlap), attack=smmu-not-mapped (MapError::NotMapped), attack=smmu-wrong-stream (MapError::WrongStream), attack=softcct-incorrect-elision (dual-proof refuse), and attack=softcct-credit-exhausted (PartitionError::CreditExhausted). Also attack=blast-hops (admit_hops → BlastRadius; not a CrossCut rehash), attack=blast-nodes, attack=silent-remote, attack=uncolored-compute, attack=typed-window-sid, attack=hbm-bw (soft meter → QosExceeded; not CXL product / tape-out), attack=foreign-tenant-color, attack=xqueue-sid-override, attack=firewall-ident-pa, attack=hodge-harmonic-tree. Fabric-class admit/refuse. ATOMIC_ADD accept/reject. [softsfi] heap=refused, [softsfi] unknown=refused, and [softsfi] unknown-base=refused. Closer: not confidential GPU, not HW MIG, Soft SMMU is software.

@@ -829,6 +835,12 @@

Bring your opcode table.

[redteam] attack=greenctx-overcommit result=refused [redteam] attack=greenctx-unbound result=refused [redteam] attack=greenctx-exhausted result=refused +[redteam] attack=greenctx-busy result=refused +[redteam] attack=smmu-overlap result=refused +[redteam] attack=smmu-not-mapped result=refused +[redteam] attack=smmu-wrong-stream result=refused +[redteam] attack=softcct-incorrect-elision result=refused +[redteam] attack=softcct-credit-exhausted result=refused [redteam] fabric-class admit/refuse [redteam] ATOMIC_ADD accept/reject [softsfi] heap=refused @@ -1298,6 +1310,12 @@

2028 close

[redteam] attack=greenctx-overcommit result=refused [redteam] attack=greenctx-unbound result=refused [redteam] attack=greenctx-exhausted result=refused +[redteam] attack=greenctx-busy result=refused +[redteam] attack=smmu-overlap result=refused +[redteam] attack=smmu-not-mapped result=refused +[redteam] attack=smmu-wrong-stream result=refused +[redteam] attack=softcct-incorrect-elision result=refused +[redteam] attack=softcct-credit-exhausted result=refused [diligence] host Path B sealed [redteam] sealed