Skip to content

Site: Round 8 foundation sell fold (#132–#133) #134

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
amineux merged 1 commit into from
Sep 23, 2026
Merged

Site: Round 8 foundation sell fold (#132–#133) #134

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 8 additions & 2 deletions site/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -646,6 +646,8 @@ <h3>freeze-v1 named. M0–M6 landed. Next year is sell, then wait for a table.</
[redteam] attack=hodge-curl-tree result=refused
[redteam] attack=hodge-quota result=refused
[redteam] attack=greenctx-overcommit result=refused
[redteam] attack=greenctx-unbound result=refused
[redteam] attack=greenctx-exhausted result=refused
[redteam] fabric-class admit/refuse
[redteam] ATOMIC_ADD accept/reject
[softsfi] heap=refused
Expand Down Expand Up @@ -701,7 +703,7 @@ <h3>Collect an opcode table</h3>
<article class="glass sell-goal" data-reveal data-d="2">
<small>03</small>
<h3>Walk the five beats</h3>
<p>Isolation → packet → wait → admit class → <code>ATOMIC_ADD</code> + 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 adds HodgeQuota empty admit → QuotaExceeded and SoftGreenPool create → Overcommit; the Host Path B close keeps GreenCtx migrate, CDT revoke, and bad-executable refuse visible. Same tree. Commands below exist in <code>make help</code>. Thin third consumer: <code>make mp-shim</code> (inspiration name only).</p>
<p>Isolation → packet → wait → admit class → <code>ATOMIC_ADD</code> + 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 <code>make help</code>. Thin third consumer: <code>make mp-shim</code> (inspiration name only).</p>
</article>
<article class="glass sell-goal" data-reveal data-d="3">
<small>04</small>
Expand Down Expand Up @@ -739,7 +741,7 @@ <h3>Host Path B</h3>
<span class="badge done">refuse</span>
</div>
<h3>Named attacks</h3>
<p><code>[redteam] attack=… result=refused</code> including the R5–R7 foundation needles: <code>attack=fence-not-ready</code> (<code>PartitionError::FenceNotReady</code>), <code>attack=set-sid-unbound</code> (<code>HalError::Fault</code>), <code>attack=submit-sid</code> (<code>MapError::SubmitSid</code>), <code>attack=sid-budget</code> (<code>MapError::SidBudget</code>), <code>attack=stage2-fault</code> (<code>MapError::Stage2Fault</code>), <code>attack=softnoi-exhausted</code> (<code>NoiError::Exhausted</code>), <code>attack=hodge-curl-tree</code> (<code>HodgeError::CurlOnTree</code>), <code>attack=hodge-quota</code> (<code>HodgeError::QuotaExceeded</code>), and <code>attack=greenctx-overcommit</code> (<code>GreenCtxError::Overcommit</code>). Also <code>attack=blast-hops</code> (<code>admit_hops</code> → <code>BlastRadius</code>; not a CrossCut rehash), <code>attack=blast-nodes</code>, <code>attack=silent-remote</code>, <code>attack=uncolored-compute</code>, <code>attack=typed-window-sid</code>, <code>attack=hbm-bw</code> (soft meter → <code>QosExceeded</code>; not CXL product / tape-out), <code>attack=foreign-tenant-color</code>, <code>attack=xqueue-sid-override</code>, <code>attack=firewall-ident-pa</code>, <code>attack=hodge-harmonic-tree</code>. Fabric-class admit/refuse. <code>ATOMIC_ADD</code> accept/reject. <code>[softsfi] heap=refused</code>, <code>[softsfi] unknown=refused</code>, and <code>[softsfi] unknown-base=refused</code>. Closer: not confidential GPU, not HW MIG, Soft SMMU is software.</p>
<p><code>[redteam] attack=… result=refused</code> including the R5–R8 foundation needles: <code>attack=fence-not-ready</code> (<code>PartitionError::FenceNotReady</code>), <code>attack=set-sid-unbound</code> (<code>HalError::Fault</code>), <code>attack=submit-sid</code> (<code>MapError::SubmitSid</code>), <code>attack=sid-budget</code> (<code>MapError::SidBudget</code>), <code>attack=stage2-fault</code> (<code>MapError::Stage2Fault</code>), <code>attack=softnoi-exhausted</code> (<code>NoiError::Exhausted</code>), <code>attack=hodge-curl-tree</code> (<code>HodgeError::CurlOnTree</code>), <code>attack=hodge-quota</code> (<code>HodgeError::QuotaExceeded</code>), <code>attack=greenctx-overcommit</code> (<code>GreenCtxError::Overcommit</code>), <code>attack=greenctx-unbound</code> (<code>GreenCtxError::Unbound</code>), and <code>attack=greenctx-exhausted</code> (<code>GreenCtxError::Exhausted</code>). Also <code>attack=blast-hops</code> (<code>admit_hops</code> → <code>BlastRadius</code>; not a CrossCut rehash), <code>attack=blast-nodes</code>, <code>attack=silent-remote</code>, <code>attack=uncolored-compute</code>, <code>attack=typed-window-sid</code>, <code>attack=hbm-bw</code> (soft meter → <code>QosExceeded</code>; not CXL product / tape-out), <code>attack=foreign-tenant-color</code>, <code>attack=xqueue-sid-override</code>, <code>attack=firewall-ident-pa</code>, <code>attack=hodge-harmonic-tree</code>. Fabric-class admit/refuse. <code>ATOMIC_ADD</code> accept/reject. <code>[softsfi] heap=refused</code>, <code>[softsfi] unknown=refused</code>, and <code>[softsfi] unknown-base=refused</code>. Closer: not confidential GPU, not HW MIG, Soft SMMU is software.</p>
</article>
<article class="proof-card" data-reveal data-d="2">
<div class="proof-head">
Expand Down Expand Up @@ -825,6 +827,8 @@ <h3>Bring your opcode table.</h3>
[redteam] attack=hodge-curl-tree result=refused
[redteam] attack=hodge-quota result=refused
[redteam] attack=greenctx-overcommit result=refused
[redteam] attack=greenctx-unbound result=refused
[redteam] attack=greenctx-exhausted result=refused
[redteam] fabric-class admit/refuse
[redteam] ATOMIC_ADD accept/reject
[softsfi] heap=refused
Expand Down Expand Up @@ -1292,6 +1296,8 @@ <h3>2028 close</h3>
<span class="ok">[redteam] attack=hodge-curl-tree result=refused</span>
<span class="ok">[redteam] attack=hodge-quota result=refused</span>
<span class="ok">[redteam] attack=greenctx-overcommit result=refused</span>
<span class="ok">[redteam] attack=greenctx-unbound result=refused</span>
<span class="ok">[redteam] attack=greenctx-exhausted result=refused</span>
<span class="ok">[diligence] host Path B sealed</span>
<span class="ok">[redteam] sealed</span></pre>
</div>
Expand Down
Loading