TF3/TF9 sparse ternary MatMul

Status: stub · Issue: 398 · Anchor: $\varphi^2 + \varphi^{-2} = 3$

Chapter draft pending. Auto-generated stub from Neon SSOT.

Scope

This chapter is part of the GOLDEN SUNFLOWERS PhD v3.0 monograph (master issue trios#380). Target word count: 600. Evidence axis: Formal (Coq). Priority: P1.

When the ONE SHOT directive completes, this stub will be replaced with the full body via the Neon ssot.chapters.body_md column.

Anchor

$\varphi^2 + \varphi^{-2} = 3$ · TRINITY · 297 Qed canonical · 🌻