| <?xml version="1.0" encoding="UTF-8"?>
|
| <svg width="900" height="260" viewBox="0 0 900 260" xmlns="http://www.w3.org/2000/svg" font-family="Courier New, monospace">
|
| <defs>
|
| <linearGradient id="g" x1="0" y1="0" x2="1" y2="0">
|
| <stop offset="0%" stop-color="#7af7c8"/>
|
| <stop offset="100%" stop-color="#6ea8ff"/>
|
| </linearGradient>
|
| <marker id="arr" markerWidth="10" markerHeight="10" refX="8" refY="3" orient="auto">
|
| <path d="M0,0 L8,3 L0,6 Z" fill="#6ea8ff"/>
|
| </marker>
|
| </defs>
|
| <rect width="900" height="260" fill="#0a0e1a"/>
|
|
|
|
|
| <text x="450" y="34" fill="url(#g)" font-size="18" text-anchor="middle" font-weight="bold">SOVEREIGN ARRAY — HOW TO USE THE LANGUAGE</text>
|
|
|
|
|
| <g font-size="13" fill="#e6ecff">
|
|
|
| <rect x="20" y="70" width="170" height="70" rx="10" fill="#121829" stroke="#243049"/>
|
| <text x="105" y="98" text-anchor="middle" fill="#7af7c8">1 · SPEC (Lean 4)</text>
|
| <text x="105" y="118" text-anchor="middle" fill="#8b95b5">Fin n → α</text>
|
| <text x="105" y="134" text-anchor="middle" fill="#8b95b5">lake build (0 sorry)</text>
|
|
|
|
|
| <rect x="245" y="70" width="170" height="70" rx="10" fill="#121829" stroke="#243049"/>
|
| <text x="330" y="98" text-anchor="middle" fill="#7af7c8">2 · KERNEL (C++20)</text>
|
| <text x="330" y="118" text-anchor="middle" fill="#8b95b5">Array<T></text>
|
| <text x="330" y="134" text-anchor="middle" fill="#8b95b5">cmake + sovarr_test</text>
|
|
|
|
|
| <rect x="470" y="70" width="170" height="70" rx="10" fill="#121829" stroke="#243049"/>
|
| <text x="555" y="98" text-anchor="middle" fill="#7af7c8">3 · FRONT-END (JS)</text>
|
| <text x="555" y="118" text-anchor="middle" fill="#8b95b5">SOVArray</text>
|
| <text x="555" y="134" text-anchor="middle" fill="#8b95b5">index.html</text>
|
|
|
|
|
| <rect x="695" y="70" width="170" height="70" rx="10" fill="#121829" stroke="#243049"/>
|
| <text x="780" y="98" text-anchor="middle" fill="#7af7c8">4 · COMPOSE</text>
|
| <text x="780" y="118" text-anchor="middle" fill="#8b95b5">pmap₂ ∘ broadcast</text>
|
| <text x="780" y="134" text-anchor="middle" fill="#8b95b5">Π-map fusion</text>
|
| </g>
|
|
|
|
|
| <line x1="190" y1="105" x2="243" y2="105" stroke="#6ea8ff" stroke-width="2" marker-end="url(#arr)"/>
|
| <line x1="415" y1="105" x2="468" y2="105" stroke="#6ea8ff" stroke-width="2" marker-end="url(#arr)"/>
|
| <line x1="640" y1="105" x2="693" y2="105" stroke="#6ea8ff" stroke-width="2" marker-end="url(#arr)"/>
|
|
|
|
|
| <g font-size="12" fill="#e6ecff">
|
| <rect x="20" y="175" width="200" height="60" rx="10" fill="#0c1220" stroke="#243049"/>
|
| <text x="120" y="200" text-anchor="middle" fill="#6ea8ff">OPERATIONS (Π-MAPS)</text>
|
| <text x="120" y="220" text-anchor="middle" fill="#8b95b5">pmap₂ · broadcast · softmax</text>
|
| <text x="120" y="236" text-anchor="middle" fill="#8b95b5">nand · nand_attention</text>
|
|
|
| <rect x="350" y="175" width="220" height="60" rx="10" fill="#0c1220" stroke="#243049"/>
|
| <text x="460" y="200" text-anchor="middle" fill="#6ea8ff">INVARIANTS</text>
|
| <text x="460" y="220" text-anchor="middle" fill="#8b95b5">broadcast = pullback π</text>
|
| <text x="460" y="236" text-anchor="middle" fill="#8b95b5">softmax shift-invariant</text>
|
|
|
| <rect x="700" y="175" width="165" height="60" rx="10" fill="#0c1220" stroke="#243049"/>
|
| <text x="782" y="200" text-anchor="middle" fill="#6ea8ff">FORBIDDEN</text>
|
| <text x="782" y="220" text-anchor="middle" fill="#8b95b5">no Abjad</text>
|
| <text x="782" y="236" text-anchor="middle" fill="#8b95b5">no digital root · NP</text>
|
| </g>
|
|
|
| <text x="450" y="252" fill="#7af7c8" font-size="11" text-anchor="middle">Array I α = I → α · broadcast = pullback π : J → I · pmap₂ = Π-map</text>
|
| </svg>
|
|
|
