diff --git a/Justfile b/Justfile
index 5e1bc39..6eef62a 100644
--- a/Justfile
+++ b/Justfile
@@ -351,27 +351,27 @@ validate-rsr:
     for f in .editorconfig .gitignore Justfile README.adoc LICENSE 0-AI-MANIFEST.a2ml; do
         [ -f "$f" ] || MISSING="$MISSING $f"
     done
-    for f in .machine_readable/STATE.a2ml .machine_readable/META.a2ml .machine_readable/ECOSYSTEM.a2ml .machine_readable/anchors/ANCHOR.a2ml .machine_readable/policies/MAINTENANCE-AXES.a2ml .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml .machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml; do
+    for f in .machine_readable/6a2/STATE.a2ml .machine_readable/6a2/META.a2ml .machine_readable/6a2/ECOSYSTEM.a2ml .machine_readable/anchors/ANCHOR.a2ml .machine_readable/policies/MAINTENANCE-AXES.a2ml .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml .machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml; do
         [ -f "$f" ] || MISSING="$MISSING $f"
     done
-    for f in licensing/exhibits/EXHIBIT-A-ETHICAL-USE.txt licensing/exhibits/EXHIBIT-B-QUANTUM-SAFE.txt licensing/texts/MPL-2.0.txt; do
+    for f in docs/legal/EXHIBIT-A-ETHICAL-USE.txt docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt LICENSES/MPL-2.0.txt; do
         [ -f "$f" ] || MISSING="$MISSING $f"
     done
     for f in src/interface/abi src/interface/generated ffi/zig; do
         [ -d "$f" ] || MISSING="$MISSING $f"
     done
-    for f in docs/maintenance/MAINTENANCE-CHECKLIST.adoc docs/practice/SOFTWARE-DEVELOPMENT-APPROACH.adoc; do
+    for f in docs/governance/MAINTENANCE-CHECKLIST.adoc docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.adoc; do
         [ -f "$f" ] || MISSING="$MISSING $f"
     done
-    if [ -f ".machine_readable/META.a2ml" ]; then
-        grep -q 'axis-1 = "must > intend > like"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:axis-1"
-        grep -q 'axis-2 = "corrective > adaptive > perfective"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:axis-2"
-        grep -q 'axis-3 = "systems > compliance > effects"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:axis-3"
-        grep -q 'scoping-first = true' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:scoping-first"
-        grep -q 'idris-unsound-scan = "believe_me/assert_total"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:idris-unsound-scan"
-        grep -q 'audit-focus = "systems in place, documentation explains actual state, safety/security accounted for, observed effects reviewed"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:audit-focus"
-        grep -q 'compliance-focus = "seams/compromises/exception register, bounded exceptions, anti-drift checks"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:compliance-focus"
-        grep -q 'effects-evidence = "benchmark execution/results and maintainer status dialogue/review"' .machine_readable/META.a2ml || MISSING="$MISSING META.a2ml:effects-evidence"
+    if [ -f ".machine_readable/6a2/META.a2ml" ]; then
+        grep -q 'axis-1 = "must > intend > like"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-1"
+        grep -q 'axis-2 = "corrective > adaptive > perfective"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-2"
+        grep -q 'axis-3 = "systems > compliance > effects"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-3"
+        grep -q 'scoping-first = true' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:scoping-first"
+        grep -q 'idris-unsound-scan = "believe_me/assert_total"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:idris-unsound-scan"
+        grep -q 'audit-focus = "systems in place, documentation explains actual state, safety/security accounted for, observed effects reviewed"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:audit-focus"
+        grep -q 'compliance-focus = "seams/compromises/exception register, bounded exceptions, anti-drift checks"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:compliance-focus"
+        grep -q 'effects-evidence = "benchmark execution/results and maintainer status dialogue/review"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:effects-evidence"
         grep -q 'compliance-tooling = "panic-attack"' .machine_readable/policies/MAINTENANCE-AXES.a2ml || MISSING="$MISSING MAINTENANCE-AXES.a2ml:compliance-tooling"
         grep -q 'effects-tooling = "ecological checking with sustainabot guidance"' .machine_readable/policies/MAINTENANCE-AXES.a2ml || MISSING="$MISSING MAINTENANCE-AXES.a2ml:effects-tooling"
         grep -q 'source-human = "docs/maintenance/MAINTENANCE-CHECKLIST.adoc"' .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml || MISSING="$MISSING MAINTENANCE-CHECKLIST.a2ml:source-human"
diff --git a/README.adoc b/README.adoc
index ef40b88..2e53d6f 100644
--- a/README.adoc
+++ b/README.adoc
@@ -11,6 +11,8 @@ image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensources
 image:https://img.shields.io/badge/believe__me-0-brightgreen[believe_me: 0]
 image:https://img.shields.io/badge/Levels-L1--10_checked_core_(L11--12_draft)-blue[Levels: checked core]
 
+image::brand/social-preview.svg[typed-wasm,align="center"]
+
 [NOTE]
 .typed-wasm is a meeting point for two unrelated languages
 ====
diff --git a/brand/BRAND.adoc b/brand/BRAND.adoc
new file mode 100644
index 0000000..3c41a16
--- /dev/null
+++ b/brand/BRAND.adoc
@@ -0,0 +1,72 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+= typed-wasm Brand Pack
+:toc:
+
+== Mark
+
+The typed-wasm mark is a grid of memory cells — the schemaless linear-memory
+byte array — laid out behind a single violet *schema bracket* that binds the
+cells into a typed *region*. Two cells glow as typed fields; the rest stay
+faint, still untyped bytes. One linear cell carries an exactly-once tick. The
+glyph states the whole idea in one image: a schema (region) drawn over a
+schemaless database (WASM linear memory), so every load and store is checked
+against the type before it runs.
+
+The name is the symbolism: WebAssembly's linear memory is an untyped byte
+array; *typed-wasm* puts TypeLL's progressive type safety over it — regions
+are tables, loads are SELECT, stores are UPDATE, and the Idris2 prover verifies
+each access at compile time.
+
+|===
+| File | Use
+
+| `icon.svg` | Primary mark with dark background (rounded corners). README, docs, about screens.
+| `icon-square.svg` | Transparent background mark. Favicon, app icon, overlay on custom backgrounds.
+| `social-preview.svg` | GitHub / Open Graph social preview (1280x640). "typed-wasm" wordmark + mark.
+| `marr-levels.svg` | Explainer: the project at David Marr's three levels of analysis.
+| `sandler-submarine.svg` | Impact / case-making: the seven sealed compartments of adoption.
+|===
+
+== Colours
+
+[cols="1,1,2"]
+|===
+| Name | Hex | Use
+
+| WASM Violet | `#a371f7` | Primary brand colour. The schema bracket, typed cells, active states, headings.
+| Schema Indigo | `#8957e5` | Secondary. Untyped-cell outlines, the region grid, muted accents.
+| Background | `#0d1117` | Dark surfaces. GitHub-dark compatible.
+| Foreground | `#e6edf3` | Text on dark background.
+| Glow | `#1d1233` | Radial background glow behind the mark.
+|===
+
+== Typography
+
+Wordmark uses the system font stack: `system-ui, -apple-system, 'Segoe UI', Helvetica, Arial, sans-serif` at weight 300 (light), lowercase. The subtitle is set at the same stack, weight 300.
+
+No custom font is required. All text is set in the SVG, not a separate font file.
+
+== Rules
+
+- The mark always shows the memory-cell grid with the schema bracket binding a typed region over it. Never draw the typed cells without the faint untyped cells — that would deny the core insight (a schema *over* a schemaless byte array).
+- The violet must be `#a371f7` — do not approximate with other violets/purples.
+- The wordmark is always lowercase `typed-wasm`.
+- On light backgrounds, invert: violet `#6f42c1` strokes and `#1b1f24` text on white/light grey.
+- The subtitle ("regions over a schemaless byte array") is the etymology of the idea, not a marketing strapline; it may appear on repository assets. Sales/marketing straplines never appear on repository assets.
+- Claims on assets stay inside the checked envelope: the L1-L10 core is checked (0 `believe_me`); L11-L12 are draft. Do not put "all levels verified" on any asset (ADR-003).
+
+== Generating raster assets
+
+[source,shell]
+----
+# Requires Inkscape or rsvg-convert (librsvg)
+
+# Favicon (64x64 PNG)
+rsvg-convert -w 64 -h 64 icon-square.svg > favicon-64.png
+
+# App icon (512x512 PNG)
+rsvg-convert -w 512 -h 512 icon.svg > icon-512.png
+
+# Social preview (1280x640 PNG for GitHub)
+rsvg-convert -w 1280 -h 640 social-preview.svg > social-preview.png
+----
diff --git a/brand/icon-square.svg b/brand/icon-square.svg
new file mode 100644
index 0000000..4b6b0cd
--- /dev/null
+++ b/brand/icon-square.svg
@@ -0,0 +1,53 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512">
+  <defs>
+    <filter id="glow" x="-50%" y="-50%" width="200%" height="200%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="4" result="blur"/>
+      <feMerge>
+        <feMergeNode in="blur"/>
+        <feMergeNode in="SourceGraphic"/>
+      </feMerge>
+    </filter>
+  </defs>
+
+  <!-- Transparent background: mark only, for favicon / app icon / overlay -->
+
+  <!-- Schemaless linear memory: 4x4 grid of byte cells, mostly untyped (faint) -->
+  <g stroke="#8957e5" stroke-width="3" fill="none" opacity="0.35">
+    <rect x="136" y="136" width="60" height="60" rx="8"/>
+    <rect x="206" y="136" width="60" height="60" rx="8"/>
+    <rect x="276" y="136" width="60" height="60" rx="8"/>
+    <rect x="346" y="136" width="60" height="60" rx="8"/>
+    <rect x="136" y="206" width="60" height="60" rx="8"/>
+    <rect x="346" y="206" width="60" height="60" rx="8"/>
+    <rect x="136" y="276" width="60" height="60" rx="8"/>
+    <rect x="206" y="276" width="60" height="60" rx="8"/>
+    <rect x="276" y="276" width="60" height="60" rx="8"/>
+    <rect x="346" y="276" width="60" height="60" rx="8"/>
+    <rect x="136" y="346" width="60" height="60" rx="8"/>
+    <rect x="206" y="346" width="60" height="60" rx="8"/>
+    <rect x="276" y="346" width="60" height="60" rx="8"/>
+    <rect x="346" y="346" width="60" height="60" rx="8"/>
+  </g>
+
+  <!-- Schema region: the typed bracket binding two cells into a region -->
+  <path d="M 196,200 L 184,200 L 184,272 L 196,272"
+        fill="none" stroke="#a371f7" stroke-width="8" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#glow)"/>
+  <path d="M 346,200 L 358,200 L 358,272 L 346,272"
+        fill="none" stroke="#a371f7" stroke-width="8" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#glow)"/>
+
+  <!-- Two typed fields lit by the schema -->
+  <rect x="206" y="206" width="60" height="60" rx="8" fill="#a371f7" opacity="0.16"/>
+  <rect x="206" y="206" width="60" height="60" rx="8" fill="none" stroke="#a371f7" stroke-width="6" filter="url(#glow)"/>
+  <rect x="276" y="206" width="60" height="60" rx="8" fill="#a371f7" opacity="0.16"/>
+  <rect x="276" y="206" width="60" height="60" rx="8" fill="none" stroke="#a371f7" stroke-width="6" filter="url(#glow)"/>
+
+  <!-- Type-checked access tick -->
+  <path d="M 222,236 l 10,11 l 22,-24" fill="none" stroke="#a371f7" stroke-width="6"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+  <!-- Linear field (exactly-once) marker -->
+  <path d="M 292,224 l 0,24 l 28,0" fill="none" stroke="#a371f7" stroke-width="6"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+  <circle cx="306" cy="236" r="5" fill="#a371f7" opacity="0.55"/>
+</svg>
diff --git a/brand/icon.svg b/brand/icon.svg
new file mode 100644
index 0000000..24622a1
--- /dev/null
+++ b/brand/icon.svg
@@ -0,0 +1,71 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512">
+  <defs>
+    <filter id="glow" x="-50%" y="-50%" width="200%" height="200%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="4" result="blur"/>
+      <feMerge>
+        <feMergeNode in="blur"/>
+        <feMergeNode in="SourceGraphic"/>
+      </feMerge>
+    </filter>
+    <filter id="circle-glow" x="-30%" y="-30%" width="160%" height="160%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="8" result="blur"/>
+      <feMerge>
+        <feMergeNode in="blur"/>
+        <feMergeNode in="blur"/>
+        <feMergeNode in="SourceGraphic"/>
+      </feMerge>
+    </filter>
+    <radialGradient id="bg-glow" cx="50%" cy="46%" r="55%">
+      <stop offset="0%" stop-color="#1d1233"/>
+      <stop offset="70%" stop-color="#0d1117"/>
+      <stop offset="100%" stop-color="#080c10"/>
+    </radialGradient>
+  </defs>
+
+  <!-- Background -->
+  <rect width="512" height="512" rx="96" fill="#0d1117"/>
+  <rect width="512" height="512" rx="96" fill="url(#bg-glow)"/>
+
+  <!-- Schemaless linear memory: a 4x4 grid of byte cells, mostly untyped (faint) -->
+  <g stroke="#8957e5" stroke-width="3" fill="none" opacity="0.28">
+    <rect x="136" y="136" width="60" height="60" rx="8"/>
+    <rect x="206" y="136" width="60" height="60" rx="8"/>
+    <rect x="276" y="136" width="60" height="60" rx="8"/>
+    <rect x="346" y="136" width="60" height="60" rx="8"/>
+    <rect x="136" y="206" width="60" height="60" rx="8"/>
+    <rect x="346" y="206" width="60" height="60" rx="8"/>
+    <rect x="136" y="276" width="60" height="60" rx="8"/>
+    <rect x="206" y="276" width="60" height="60" rx="8"/>
+    <rect x="276" y="276" width="60" height="60" rx="8"/>
+    <rect x="346" y="276" width="60" height="60" rx="8"/>
+    <rect x="136" y="346" width="60" height="60" rx="8"/>
+    <rect x="206" y="346" width="60" height="60" rx="8"/>
+    <rect x="276" y="346" width="60" height="60" rx="8"/>
+    <rect x="346" y="346" width="60" height="60" rx="8"/>
+  </g>
+
+  <!-- Schema region (the typed bracket binding two cells into a region) -->
+  <path d="M 196,200 L 184,200 L 184,272 L 196,272"
+        fill="none" stroke="#a371f7" stroke-width="8" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#circle-glow)"/>
+  <path d="M 346,200 L 358,200 L 358,272 L 346,272"
+        fill="none" stroke="#a371f7" stroke-width="8" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#circle-glow)"/>
+
+  <!-- Two typed fields: cells lit by the schema -->
+  <rect x="206" y="206" width="60" height="60" rx="8" fill="#a371f7" opacity="0.16"/>
+  <rect x="206" y="206" width="60" height="60" rx="8" fill="none" stroke="#a371f7" stroke-width="6" filter="url(#glow)"/>
+  <rect x="276" y="206" width="60" height="60" rx="8" fill="#a371f7" opacity="0.16"/>
+  <rect x="276" y="206" width="60" height="60" rx="8" fill="none" stroke="#a371f7" stroke-width="6" filter="url(#glow)"/>
+
+  <!-- Type tag on the typed region: a checked-access cell -->
+  <path d="M 222,236 l 10,11 l 22,-24" fill="none" stroke="#a371f7" stroke-width="6"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+
+  <!-- Linear field (exactly-once): one cell carries the linearity tick -->
+  <path d="M 292,224 l 0,24 l 28,0" fill="none" stroke="#a371f7" stroke-width="6"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+
+  <!-- Echo residue tick (what was spent at the typed access) -->
+  <circle cx="306" cy="236" r="5" fill="#a371f7" opacity="0.55"/>
+</svg>
diff --git a/brand/marr-levels.svg b/brand/marr-levels.svg
new file mode 100644
index 0000000..b73b64d
--- /dev/null
+++ b/brand/marr-levels.svg
@@ -0,0 +1,52 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1280 640">
+  <defs>
+    <filter id="soft" x="-20%" y="-20%" width="140%" height="140%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="1.5" result="b"/>
+      <feMerge><feMergeNode in="b"/><feMergeNode in="SourceGraphic"/></feMerge>
+    </filter>
+    <radialGradient id="bg" cx="50%" cy="30%" r="80%">
+      <stop offset="0%" stop-color="#161b22"/>
+      <stop offset="100%" stop-color="#0d1117"/>
+    </radialGradient>
+  </defs>
+  <rect width="1280" height="640" fill="url(#bg)"/>
+
+  <!-- Title -->
+  <text x="64" y="68" font-family="system-ui, -apple-system, 'Segoe UI', Helvetica, Arial, sans-serif" font-size="34" font-weight="300" fill="#e6edf3" letter-spacing="1">typed-wasm — at Marr's three levels</text>
+  <text x="64" y="100" font-family="system-ui, -apple-system, 'Segoe UI', Helvetica, Arial, sans-serif" font-size="18" font-weight="300" fill="#8b949e">one system, read from intent down to substrate</text>
+
+  <!-- Refinement arrow (abstract -> concrete) -->
+  <line x1="34" y1="150" x2="34" y2="600" stroke="#a371f7" stroke-width="2" opacity="0.5"/>
+  <path d="M 34,600 l -7,-16 l 14,0 z" fill="#a371f7" opacity="0.6"/>
+  <text x="20" y="380" font-family="system-ui,sans-serif" font-size="14" font-weight="300" fill="#8b949e" transform="rotate(-90 20 380)" text-anchor="middle">abstract → concrete</text>
+
+  <!-- Band 1: Computational -->
+  <g filter="url(#soft)">
+    <rect x="64" y="150" width="1152" height="128" rx="14" fill="#180f29" stroke="#a371f7" stroke-width="1.5" opacity="0.95"/>
+  </g>
+  <circle cx="118" cy="214" r="26" fill="none" stroke="#a371f7" stroke-width="3"/>
+  <text x="118" y="222" text-anchor="middle" font-family="system-ui,sans-serif" font-size="26" font-weight="300" fill="#a371f7">?</text>
+  <text x="172" y="196" font-family="system-ui,sans-serif" font-size="24" font-weight="400" fill="#a371f7">Computational — what &amp; why</text>
+  <text x="172" y="230" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">Guarantee type-safe access to WASM linear memory — no type-mismatched</text>
+  <text x="172" y="256" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">load/store, no UAF, exactly-once — so untyped bytes become a typed database.</text>
+
+  <!-- Band 2: Algorithmic / representational -->
+  <g filter="url(#soft)">
+    <rect x="64" y="296" width="1152" height="128" rx="14" fill="#150d24" stroke="#8957e5" stroke-width="1.5" opacity="0.95"/>
+  </g>
+  <circle cx="118" cy="360" r="26" fill="none" stroke="#8957e5" stroke-width="3"/>
+  <path d="M 104,360 h 28 M 118,346 v 28" stroke="#8957e5" stroke-width="3"/>
+  <text x="172" y="342" font-family="system-ui,sans-serif" font-size="24" font-weight="400" fill="#8957e5">Algorithmic — representation &amp; process</text>
+  <text x="172" y="376" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">Regions are schemas (tables); loads are SELECT, stores are UPDATE. TypeLL's</text>
+  <text x="172" y="402" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">checked L1-L10 ladder verifies each typed access against the schema.</text>
+
+  <!-- Band 3: Implementational -->
+  <g filter="url(#soft)">
+    <rect x="64" y="442" width="1152" height="128" rx="14" fill="#121019" stroke="#8b949e" stroke-width="1.5" opacity="0.95"/>
+  </g>
+  <circle cx="118" cy="506" r="26" fill="none" stroke="#8b949e" stroke-width="3"/>
+  <rect x="106" y="494" width="24" height="24" rx="4" fill="none" stroke="#8b949e" stroke-width="3"/>
+  <text x="172" y="488" font-family="system-ui,sans-serif" font-size="24" font-weight="400" fill="#c9d1d9">Implementational — physical substrate</text>
+  <text x="172" y="522" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">Idris2 ABI (TypedWasm/ABI/, 0 believe_me) + Zig FFI (ffi/zig/) + Rust verifier</text>
+  <text x="172" y="548" font-family="system-ui,sans-serif" font-size="19" font-weight="300" fill="#e6edf3">crates/typed-wasm-verify/. .twasm grammar; target WasmGC; katagoria→typell→typed-wasm→PanLL.</text>
+</svg>
diff --git a/brand/sandler-submarine.svg b/brand/sandler-submarine.svg
new file mode 100644
index 0000000..5412c5f
--- /dev/null
+++ b/brand/sandler-submarine.svg
@@ -0,0 +1,92 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1280 640">
+  <defs>
+    <linearGradient id="sea" x1="0" y1="0" x2="0" y2="1">
+      <stop offset="0%" stop-color="#0d1117"/>
+      <stop offset="45%" stop-color="#140b26"/>
+      <stop offset="100%" stop-color="#0c0717"/>
+    </linearGradient>
+    <filter id="soft" x="-20%" y="-20%" width="140%" height="140%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="1.4" result="b"/>
+      <feMerge><feMergeNode in="b"/><feMergeNode in="SourceGraphic"/></feMerge>
+    </filter>
+  </defs>
+  <rect width="1280" height="640" fill="url(#sea)"/>
+
+  <!-- Surface line + depth ticks -->
+  <line x1="0" y1="120" x2="1280" y2="120" stroke="#a371f7" stroke-width="1" opacity="0.25" stroke-dasharray="6 8"/>
+  <text x="64" y="60" font-family="system-ui,sans-serif" font-size="34" font-weight="300" fill="#e6edf3" letter-spacing="1">typed-wasm — the seven sealed compartments</text>
+  <text x="64" y="92" font-family="system-ui,sans-serif" font-size="18" font-weight="300" fill="#8b949e">impact &amp; case-making, Sandler-submarine logic: seal each before you go deeper</text>
+  <text x="1216" y="112" text-anchor="end" font-family="system-ui,sans-serif" font-size="14" font-weight="300" fill="#8b949e">surface</text>
+  <text x="1216" y="600" text-anchor="end" font-family="system-ui,sans-serif" font-size="14" font-weight="300" fill="#8b949e">deep</text>
+
+  <!-- Hull: descending, 7 compartments -->
+  <g filter="url(#soft)">
+    <!-- bow at left-high, stern at right-low: subtle dive -->
+    <path d="M 150,250 Q 110,250 96,286 Q 110,322 150,322 L 1090,360 Q 1150,362 1150,331 Q 1150,300 1090,302 Z"
+          fill="#180f29" stroke="#a371f7" stroke-width="2.5"/>
+    <!-- conning tower -->
+    <path d="M 540,250 L 556,214 L 624,214 L 636,252 Z" fill="#180f29" stroke="#a371f7" stroke-width="2.5"/>
+    <line x1="590" y1="214" x2="590" y2="188" stroke="#a371f7" stroke-width="3"/>
+    <circle cx="590" cy="186" r="4" fill="#a371f7"/>
+    <!-- propeller -->
+    <line x1="1150" y1="331" x2="1178" y2="318" stroke="#a371f7" stroke-width="2.5"/>
+    <line x1="1178" y1="304" x2="1178" y2="332" stroke="#a371f7" stroke-width="4"/>
+  </g>
+
+  <!-- Bulkheads (6 lines → 7 compartments) along the dive -->
+  <g stroke="#a371f7" stroke-width="1.6" opacity="0.6">
+    <line x1="278" y1="254" x2="278" y2="320"/>
+    <line x1="406" y1="259" x2="406" y2="325"/>
+    <line x1="534" y1="263" x2="534" y2="330"/>
+    <line x1="662" y1="268" x2="662" y2="335"/>
+    <line x1="790" y1="273" x2="790" y2="340"/>
+    <line x1="918" y1="278" x2="918" y2="345"/>
+  </g>
+
+  <!-- Compartment numbers -->
+  <g font-family="system-ui,sans-serif" font-size="22" font-weight="400" fill="#a371f7" text-anchor="middle">
+    <text x="214" y="296">1</text>
+    <text x="342" y="300">2</text>
+    <text x="470" y="305">3</text>
+    <text x="598" y="310">4</text>
+    <text x="726" y="315">5</text>
+    <text x="854" y="320">6</text>
+    <text x="1010" y="338">7</text>
+  </g>
+
+  <!-- Stage labels (Sandler stage : typed-wasm case) -->
+  <g font-family="system-ui,sans-serif" font-weight="300" fill="#e6edf3">
+    <g font-size="15">
+      <text x="200" y="404" text-anchor="middle" fill="#a371f7" font-size="16">1 · Bonding</text>
+      <text x="200" y="426" text-anchor="middle">Open MPL-2.0, 0 believe_me</text>
+      <text x="200" y="444" text-anchor="middle">badge, Zenodo DOI in the open</text>
+
+      <text x="200" y="486" text-anchor="middle" fill="#a371f7" font-size="16">2 · Up-front contract</text>
+      <text x="200" y="508" text-anchor="middle">IS TypeLL safety for WasmGC;</text>
+      <text x="200" y="526" text-anchor="middle">IS the aggregate ABI library</text>
+    </g>
+    <g font-size="15">
+      <text x="470" y="404" text-anchor="middle" fill="#a371f7" font-size="16">3 · Pain</text>
+      <text x="470" y="426" text-anchor="middle">Untyped linear memory: bad</text>
+      <text x="470" y="444" text-anchor="middle">loads, UAF, no cross-lang ABI</text>
+
+      <text x="470" y="486" text-anchor="middle" fill="#a371f7" font-size="16">4 · Budget</text>
+      <text x="470" y="508" text-anchor="middle">Marshalling layers vs proof-</text>
+      <text x="470" y="526" text-anchor="middle">carrying zero-overhead access</text>
+    </g>
+    <g font-size="15">
+      <text x="740" y="404" text-anchor="middle" fill="#a371f7" font-size="16">5 · Decision</text>
+      <text x="740" y="426" text-anchor="middle">Checked L1-L10 core, each</text>
+      <text x="740" y="444" text-anchor="middle">access proved in Idris2</text>
+
+      <text x="740" y="486" text-anchor="middle" fill="#a371f7" font-size="16">6 · Fulfilment</text>
+      <text x="740" y="508" text-anchor="middle">VerifierSpec gates crates/</text>
+      <text x="740" y="526" text-anchor="middle">typed-wasm-verify; ECHIDNA tested</text>
+    </g>
+    <g font-size="15">
+      <text x="1010" y="446" text-anchor="middle" fill="#a371f7" font-size="16">7 · Post-sell</text>
+      <text x="1010" y="468" text-anchor="middle">Phase 0, 70%: carrier-ABI for</text>
+      <text x="1010" y="486" text-anchor="middle">AffineScript + Ephapax; codegen v0 next</text>
+    </g>
+  </g>
+</svg>
diff --git a/brand/social-preview.svg b/brand/social-preview.svg
new file mode 100644
index 0000000..86c80dd
--- /dev/null
+++ b/brand/social-preview.svg
@@ -0,0 +1,70 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1280 640">
+  <defs>
+    <filter id="glow" x="-50%" y="-50%" width="200%" height="200%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="5" result="blur"/>
+      <feMerge><feMergeNode in="blur"/><feMergeNode in="SourceGraphic"/></feMerge>
+    </filter>
+    <filter id="circle-glow" x="-30%" y="-30%" width="160%" height="160%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="10" result="blur"/>
+      <feMerge><feMergeNode in="blur"/><feMergeNode in="blur"/><feMergeNode in="SourceGraphic"/></feMerge>
+    </filter>
+    <filter id="text-glow" x="-20%" y="-20%" width="140%" height="140%">
+      <feGaussianBlur in="SourceGraphic" stdDeviation="2" result="blur"/>
+      <feMerge><feMergeNode in="blur"/><feMergeNode in="SourceGraphic"/></feMerge>
+    </filter>
+    <radialGradient id="bg-glow" cx="50%" cy="38%" r="52%">
+      <stop offset="0%" stop-color="#1d1233"/>
+      <stop offset="70%" stop-color="#0d1117"/>
+      <stop offset="100%" stop-color="#080c10"/>
+    </radialGradient>
+  </defs>
+
+  <!-- Background -->
+  <rect width="1280" height="640" fill="#0d1117"/>
+  <rect width="1280" height="640" fill="url(#bg-glow)"/>
+
+  <!-- Schemaless linear memory: a row of byte cells, mostly untyped (faint) -->
+  <g stroke="#8957e5" stroke-width="2" fill="none" opacity="0.22">
+    <rect x="500" y="150" width="46" height="46" rx="6"/>
+    <rect x="554" y="150" width="46" height="46" rx="6"/>
+    <rect x="608" y="150" width="46" height="46" rx="6"/>
+    <rect x="662" y="150" width="46" height="46" rx="6"/>
+    <rect x="716" y="150" width="46" height="46" rx="6"/>
+    <rect x="500" y="258" width="46" height="46" rx="6"/>
+    <rect x="716" y="258" width="46" height="46" rx="6"/>
+  </g>
+
+  <!-- Schema region: violet bracket binding a typed region over the byte grid -->
+  <path d="M 560,196 L 548,196 L 548,258 L 560,258"
+        fill="none" stroke="#a371f7" stroke-width="3.5" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#circle-glow)"/>
+  <path d="M 708,196 L 720,196 L 720,258 L 708,258"
+        fill="none" stroke="#a371f7" stroke-width="3.5" stroke-linecap="round" stroke-linejoin="round"
+        opacity="0.9" filter="url(#circle-glow)"/>
+
+  <!-- Three typed fields lit by the schema -->
+  <rect x="554" y="204" width="46" height="46" rx="6" fill="#a371f7" opacity="0.16"/>
+  <rect x="554" y="204" width="46" height="46" rx="6" fill="none" stroke="#a371f7" stroke-width="3" filter="url(#glow)"/>
+  <rect x="608" y="204" width="46" height="46" rx="6" fill="#a371f7" opacity="0.16"/>
+  <rect x="608" y="204" width="46" height="46" rx="6" fill="none" stroke="#a371f7" stroke-width="3" filter="url(#glow)"/>
+  <rect x="662" y="204" width="46" height="46" rx="6" fill="#a371f7" opacity="0.16"/>
+  <rect x="662" y="204" width="46" height="46" rx="6" fill="none" stroke="#a371f7" stroke-width="3" filter="url(#glow)"/>
+
+  <!-- Type-checked access tick on the first typed field -->
+  <path d="M 566,228 l 6,7 l 14,-16" fill="none" stroke="#a371f7" stroke-width="3.5"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+  <!-- Linear field (exactly-once) marker on the last typed field -->
+  <path d="M 672,219 l 0,16 l 18,0" fill="none" stroke="#a371f7" stroke-width="3.5"
+        stroke-linecap="round" stroke-linejoin="round" filter="url(#glow)"/>
+  <circle cx="685" cy="227" r="3.5" fill="#a371f7" opacity="0.55"/>
+
+  <!-- Wordmark -->
+  <text x="640" y="450" text-anchor="middle" font-family="system-ui, -apple-system, 'Segoe UI', Helvetica, Arial, sans-serif" font-size="104" font-weight="300" fill="#e6edf3" letter-spacing="2" filter="url(#text-glow)">typed-wasm</text>
+  <!-- Etymology subtitle (the core idea: a schema over a schemaless byte array) -->
+  <text x="640" y="504" text-anchor="middle" font-family="system-ui, -apple-system, 'Segoe UI', Helvetica, Arial, sans-serif" font-size="29" font-weight="300" fill="#a371f7" letter-spacing="4" opacity="0.85">regions over a schemaless byte array · checked L1-L10</text>
+
+  <!-- Accent rule -->
+  <line x1="500" y1="556" x2="610" y2="556" stroke="#a371f7" stroke-width="1" opacity="0.3"/>
+  <circle cx="640" cy="556" r="4" fill="#a371f7" opacity="0.6"/>
+  <line x1="670" y1="556" x2="780" y2="556" stroke="#a371f7" stroke-width="1" opacity="0.3"/>
+</svg>