deploy(hf): sync szl-holdings/a11oy@main derived COPY set

Reusable Dockerfile-COPY-derived deploy from szl-holdings/a11oy main.
Files: 791 Pruned: 0
Derived from Dockerfile COPY sources (NO hand-maintained allowlist).

Signed-off-by: SZL Holdings <noreply@szlholdings.ai>
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

pages/upgrades.html

@@ -102,7 +102,7 @@ a{color:var(--acc);text-decoration:none}a:hover{text-decoration:underline}
 <div class="card"><p><b>749</b> declarations · <b>14</b> unique axioms · <b>163</b> tracked sorries <span class='note'>(Doctrine v10 honest numbers — <a href='https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json' target='_blank' rel='noopener'>lean_numbers.json</a> @ <code>c7c0ba17</code>)</span></p><p class='note'>749 declarations / 14 unique axioms / 163 tracked sorries per Doctrine v10. Sorries carry discharge routes (PACBayes, MadhavaBound, TwoWitness, Uniqueness, Putnam set).</p><p class='note'>14 unique axioms (honest gap): MomentSubGaussian, audit_reidemeister_invariance, canonicalReceipt, chromotopology_code_bijection, gleason_length_mod_8, klDivergence_nonneg, lambda_schur_concave_n_axis, lambda_stationary_unique, liu_hui_pi_converges, pinsker, r1_invariance, r2_invariance, sha256, sha256_collision_resistant</p></div>
 
 <h2>7 · Cross-Space surfaces (linked, not duplicated)</h2>
-<div class="card"><p>This page <b>links</b> to sibling surfaces rather than duplicating them:</p><ul><li><a href='/research/dinn'>DINN demos</a> — knot-DINN, doctrine-DINN, bekenstein-DINN (DINN agent surface)</li><li><a href='/codex-kernel'>codex-kernel</a> — replay-grade governed loop + Dresden-Venus emulator</li><li><a href='/wires'>Wires</a> — Wire B/C live, Wire D honest-disclosure pending</li></ul><p>Other Space upgrade indexes:</p><ul><li><a href='https://szlholdings-amaru.hf.space/upgrades' target='_blank' rel='noopener'>amaru upgrades</a></li><li><a href='https://szlholdings-sentra.hf.space/upgrades' target='_blank' rel='noopener'>sentra upgrades</a></li><li><a href='https://szlholdings-vessels.hf.space/upgrades' target='_blank' rel='noopener'>vessels upgrades</a></li><li><a href='https://szlholdings-rosie.hf.space (tab: All Upgrades Index)' target='_blank' rel='noopener'>rosie upgrades</a></li></ul></div>
+<div class="card"><p>This page <b>links</b> to sibling surfaces rather than duplicating them:</p><ul><li><a href='/research/dinn'>DINN demos</a> — knot-DINN, doctrine-DINN, bekenstein-DINN (DINN agent surface)</li><li><a href='/codex-kernel'>codex-kernel</a> — replay-grade governed loop + Dresden-Venus emulator</li><li><a href='/wires'>Wires</a> — Wire B/C live, Wire D honest-disclosure pending</li></ul><p style="color:#475569">amaru, sentra &amp; rosie have been retired and consolidated into a11oy (Memory, Sentinel &amp; Operator verticals); their standalone Spaces no longer exist.</p></div>
 
 <div class="foot">
 Source of truth: <a href="https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json" target="_blank" rel="noopener">org .github/data/lean_numbers.json</a> @ <code>c7c0ba17</code>.