{
  "type": "excalidraw",
  "version": 2,
  "source": "https://excalidraw.com",
  "elements": [
    {
      "id": "title",
      "type": "text",
      "x": 55,
      "y": 35,
      "width": 1090,
      "height": 45.0,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a000",
      "roundness": null,
      "seed": 1796623722,
      "version": 1,
      "versionNonce": 1064861680,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 36,
      "fontFamily": 1,
      "text": "Strands Gemma: same decision, any order",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Strands Gemma: same decision, any order",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "subtitle",
      "type": "text",
      "x": 80,
      "y": 88,
      "width": 1040,
      "height": 25.0,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a001",
      "roundness": null,
      "seed": 809596976,
      "version": 1,
      "versionNonce": 250009064,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 20,
      "fontFamily": 1,
      "text": "Renderer invariants + set-equivariant math + serialized backend conformance",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Renderer invariants + set-equivariant math + serialized backend conformance",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "before-bg",
      "type": "rectangle",
      "x": 55,
      "y": 145,
      "width": 1090,
      "height": 185,
      "angle": 0,
      "strokeColor": "#e03131",
      "backgroundColor": "#fff5f5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a002",
      "roundness": {
        "type": 3
      },
      "seed": 1409614955,
      "version": 1,
      "versionNonce": 1395118658,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "before-label",
      "type": "text",
      "x": 80,
      "y": 165,
      "width": 1040,
      "height": 22.5,
      "angle": 0,
      "strokeColor": "#c92a2a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a003",
      "roundness": null,
      "seed": 904823967,
      "version": 1,
      "versionNonce": 1639209493,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "BEFORE · JOINT ORDERED PROMPT",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "BEFORE · JOINT ORDERED PROMPT",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "ordered-prompt",
      "type": "rectangle",
      "x": 90,
      "y": 220,
      "width": 310,
      "height": 72,
      "angle": 0,
      "strokeColor": "#fa5252",
      "backgroundColor": "#ffffff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a004",
      "roundness": {
        "type": 3
      },
      "seed": 215899025,
      "version": 1,
      "versionNonce": 1101009287,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "ordered-prompt-text",
      "type": "text",
      "x": 105,
      "y": 232,
      "width": 280,
      "height": 40.0,
      "angle": 0,
      "strokeColor": "#1e293b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a005",
      "roundness": null,
      "seed": 797809140,
      "version": 1,
      "versionNonce": 123524856,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 1,
      "text": "state + question + [A, B, C, D]\nposition, label, neighbors vary",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "state + question + [A, B, C, D]\nposition, label, neighbors vary",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "before-a1",
      "type": "arrow",
      "x": 410,
      "y": 256,
      "width": 80,
      "height": 0,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a006",
      "roundness": null,
      "seed": 1695155582,
      "version": 1,
      "versionNonce": 355580198,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          80,
          0
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "joint-encode",
      "type": "rectangle",
      "x": 500,
      "y": 220,
      "width": 250,
      "height": 72,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "#334155",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a007",
      "roundness": {
        "type": 3
      },
      "seed": 137455977,
      "version": 1,
      "versionNonce": 304775385,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "joint-encode-text",
      "type": "text",
      "x": 515,
      "y": 232,
      "width": 220,
      "height": 42.5,
      "angle": 0,
      "strokeColor": "#ffffff",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a008",
      "roundness": null,
      "seed": 1993382486,
      "version": 1,
      "versionNonce": 213105453,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 1,
      "text": "one joint encode\nall choices together",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "one joint encode\nall choices together",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "before-a2",
      "type": "arrow",
      "x": 760,
      "y": 256,
      "width": 80,
      "height": 0,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a009",
      "roundness": null,
      "seed": 1525885566,
      "version": 1,
      "versionNonce": 1600284344,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          80,
          0
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "winner-move",
      "type": "rectangle",
      "x": 850,
      "y": 220,
      "width": 260,
      "height": 72,
      "angle": 0,
      "strokeColor": "#f08c00",
      "backgroundColor": "#fff4e6",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a010",
      "roundness": {
        "type": 3
      },
      "seed": 511575255,
      "version": 1,
      "versionNonce": 323158306,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "winner-move-text",
      "type": "text",
      "x": 865,
      "y": 232,
      "width": 230,
      "height": 42.5,
      "angle": 0,
      "strokeColor": "#7c2d12",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a011",
      "roundness": null,
      "seed": 15757478,
      "version": 1,
      "versionNonce": 457797570,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 1,
      "text": "winner can move\n851 / 3,900 reversals",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "winner can move\n851 / 3,900 reversals",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "contract-bg",
      "type": "rectangle",
      "x": 55,
      "y": 370,
      "width": 1090,
      "height": 1210,
      "angle": 0,
      "strokeColor": "#2f9e44",
      "backgroundColor": "#f0fff4",
      "fillStyle": "solid",
      "strokeWidth": 3,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a012",
      "roundness": {
        "type": 3
      },
      "seed": 1585427712,
      "version": 1,
      "versionNonce": 317488389,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "contract-tag",
      "type": "rectangle",
      "x": 85,
      "y": 350,
      "width": 500,
      "height": 48,
      "angle": 0,
      "strokeColor": "#2f9e44",
      "backgroundColor": "#2f9e44",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a013",
      "roundness": {
        "type": 3
      },
      "seed": 1509264649,
      "version": 1,
      "versionNonce": 1887253733,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "contract-tag-text",
      "type": "text",
      "x": 100,
      "y": 358,
      "width": 470,
      "height": 22.5,
      "angle": 0,
      "strokeColor": "#ffffff",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a014",
      "roundness": null,
      "seed": 1471614777,
      "version": 1,
      "versionNonce": 1399049100,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "SUPPORTED · SERIALIZED FULL RECOMPUTATION",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "SUPPORTED · SERIALIZED FULL RECOMPUTATION",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "request",
      "type": "rectangle",
      "x": 145,
      "y": 425,
      "width": 910,
      "height": 95,
      "angle": 0,
      "strokeColor": "#228be6",
      "backgroundColor": "#e7f5ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a015",
      "roundness": {
        "type": 3
      },
      "seed": 1071484848,
      "version": 1,
      "versionNonce": 954015298,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "request-text",
      "type": "text",
      "x": 175,
      "y": 440,
      "width": 850,
      "height": 57.5,
      "angle": 0,
      "strokeColor": "#0c4a6e",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a016",
      "roundness": null,
      "seed": 1659541244,
      "version": 1,
      "versionNonce": 749033352,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 23,
      "fontFamily": 1,
      "text": "Typed request\nshared state + question + semantic options",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Typed request\nshared state + question + semantic options",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "a-request-render",
      "type": "arrow",
      "x": 600,
      "y": 525,
      "width": 0,
      "height": 45,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a017",
      "roundness": null,
      "seed": 1244844678,
      "version": 1,
      "versionNonce": 1668978660,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          45
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "renderer",
      "type": "rectangle",
      "x": 145,
      "y": 580,
      "width": 910,
      "height": 155,
      "angle": 0,
      "strokeColor": "#12b886",
      "backgroundColor": "#e6fcf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a018",
      "roundness": {
        "type": 3
      },
      "seed": 38246170,
      "version": 1,
      "versionNonce": 364980997,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "renderer-title",
      "type": "text",
      "x": 175,
      "y": 595,
      "width": 850,
      "height": 31.25,
      "angle": 0,
      "strokeColor": "#065f46",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a019",
      "roundness": null,
      "seed": 89980951,
      "version": 1,
      "versionNonce": 500029281,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 25,
      "fontFamily": 1,
      "text": "1 · Isolated option renderer",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "1 · Isolated option renderer",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "renderer-body",
      "type": "text",
      "x": 190,
      "y": 638,
      "width": 820,
      "height": 67.5,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a020",
      "roundness": null,
      "seed": 283602254,
      "version": 1,
      "versionNonce": 873476297,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "identical prefix tokens · equal option-start index\none complete option · no sibling text · no A/B/C slot labels\nsemantic identity travels as metadata",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "identical prefix tokens · equal option-start index\none complete option · no sibling text · no A/B/C slot labels\nsemantic identity travels as metadata",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "a-render-branches",
      "type": "arrow",
      "x": 600,
      "y": 740,
      "width": 0,
      "height": 45,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a021",
      "roundness": null,
      "seed": 631121111,
      "version": 1,
      "versionNonce": 247942809,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          45
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "branches-bg",
      "type": "rectangle",
      "x": 105,
      "y": 795,
      "width": 990,
      "height": 155,
      "angle": 0,
      "strokeColor": "#94a3b8",
      "backgroundColor": "#ffffff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a022",
      "roundness": {
        "type": 3
      },
      "seed": 886436382,
      "version": 1,
      "versionNonce": 1246780269,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "branches-title",
      "type": "text",
      "x": 135,
      "y": 808,
      "width": 930,
      "height": 26.25,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a023",
      "roundness": null,
      "seed": 400140209,
      "version": 1,
      "versionNonce": 1505937748,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 21,
      "fontFamily": 1,
      "text": "2 · One branch per semantic option",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "2 · One branch per semantic option",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "branch-0",
      "type": "rectangle",
      "x": 135,
      "y": 850,
      "width": 285,
      "height": 72,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a024",
      "roundness": {
        "type": 3
      },
      "seed": 144936273,
      "version": 1,
      "versionNonce": 424124820,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "branch-0-text",
      "type": "text",
      "x": 145,
      "y": 860,
      "width": 265,
      "height": 42.5,
      "angle": 0,
      "strokeColor": "#1e293b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a025",
      "roundness": null,
      "seed": 1212242668,
      "version": 1,
      "versionNonce": 1271917924,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "prefix | option α\nsemantic id α",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "prefix | option α\nsemantic id α",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "branch-1",
      "type": "rectangle",
      "x": 450,
      "y": 850,
      "width": 285,
      "height": 72,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a026",
      "roundness": {
        "type": 3
      },
      "seed": 1990915146,
      "version": 1,
      "versionNonce": 1579311459,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "branch-1-text",
      "type": "text",
      "x": 460,
      "y": 860,
      "width": 265,
      "height": 42.5,
      "angle": 0,
      "strokeColor": "#1e293b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a027",
      "roundness": null,
      "seed": 213396604,
      "version": 1,
      "versionNonce": 304415514,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "prefix | option β\nsemantic id β",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "prefix | option β\nsemantic id β",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "branch-2",
      "type": "rectangle",
      "x": 765,
      "y": 850,
      "width": 285,
      "height": 72,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a028",
      "roundness": {
        "type": 3
      },
      "seed": 1352282923,
      "version": 1,
      "versionNonce": 865229073,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "branch-2-text",
      "type": "text",
      "x": 775,
      "y": 860,
      "width": 265,
      "height": 42.5,
      "angle": 0,
      "strokeColor": "#1e293b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a029",
      "roundness": null,
      "seed": 1392773223,
      "version": 1,
      "versionNonce": 221393688,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "prefix | option γ\nsemantic id γ",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "prefix | option γ\nsemantic id γ",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "a-branches-model",
      "type": "arrow",
      "x": 600,
      "y": 955,
      "width": 0,
      "height": 45,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a030",
      "roundness": null,
      "seed": 808411117,
      "version": 1,
      "versionNonce": 797320369,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          45
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "scorer",
      "type": "rectangle",
      "x": 145,
      "y": 1010,
      "width": 910,
      "height": 155,
      "angle": 0,
      "strokeColor": "#4263eb",
      "backgroundColor": "#edf2ff",
      "fillStyle": "solid",
      "strokeWidth": 3,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a031",
      "roundness": {
        "type": 3
      },
      "seed": 1061598348,
      "version": 1,
      "versionNonce": 688501184,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "scorer-title",
      "type": "text",
      "x": 175,
      "y": 1025,
      "width": 850,
      "height": 28.75,
      "angle": 0,
      "strokeColor": "#3730a3",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a032",
      "roundness": null,
      "seed": 1765762671,
      "version": 1,
      "versionNonce": 1771038527,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 23,
      "fontFamily": 1,
      "text": "3 · Shared frozen Gemma scorer · K serial batch-one calls",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "3 · Shared frozen Gemma scorer · K serial batch-one calls",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "scorer-body",
      "type": "text",
      "x": 185,
      "y": 1068,
      "width": 830,
      "height": 67.5,
      "angle": 0,
      "strokeColor": "#1e293b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a033",
      "roundness": null,
      "seed": 889790438,
      "version": 1,
      "versionNonce": 1445327492,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "Hᵢ = Gemma(rᵢ)     dᵢ = pool_last_token(Hᵢ)     xᵢ = gather_at_option_start(Hᵢ)\nbᵢ = ⟨q(dᵢ), k(xᵢ)⟩ / √pointer_dim\noutput rows: { bᵢ, dᵢ, xᵢ, semantic idᵢ }",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Hᵢ = Gemma(rᵢ)     dᵢ = pool_last_token(Hᵢ)     xᵢ = gather_at_option_start(Hᵢ)\nbᵢ = ⟨q(dᵢ), k(xᵢ)⟩ / √pointer_dim\noutput rows: { bᵢ, dᵢ, xᵢ, semantic idᵢ }",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "a-model-modes",
      "type": "arrow",
      "x": 600,
      "y": 1170,
      "width": 0,
      "height": 35,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a034",
      "roundness": null,
      "seed": 1069621961,
      "version": 1,
      "versionNonce": 1565696959,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          35
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "normal",
      "type": "rectangle",
      "x": 105,
      "y": 1215,
      "width": 465,
      "height": 145,
      "angle": 0,
      "strokeColor": "#0ca678",
      "backgroundColor": "#e6fcf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a035",
      "roundness": {
        "type": 3
      },
      "seed": 1565877699,
      "version": 1,
      "versionNonce": 939665225,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "normal-title",
      "type": "text",
      "x": 125,
      "y": 1230,
      "width": 425,
      "height": 27.5,
      "angle": 0,
      "strokeColor": "#065f46",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a036",
      "roundness": null,
      "seed": 1570716964,
      "version": 1,
      "versionNonce": 410415558,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 22,
      "fontFamily": 1,
      "text": "normal · default",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "normal · default",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "normal-body",
      "type": "text",
      "x": 130,
      "y": 1270,
      "width": 415,
      "height": 63.75,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a037",
      "roundness": null,
      "seed": 218559778,
      "version": 1,
      "versionNonce": 1579847569,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 1,
      "text": "exact request-path bypass\np = softmax(b / T)\nno relational feature capture or add",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "exact request-path bypass\np = softmax(b / T)\nno relational feature capture or add",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "compare",
      "type": "rectangle",
      "x": 630,
      "y": 1215,
      "width": 465,
      "height": 145,
      "angle": 0,
      "strokeColor": "#7950f2",
      "backgroundColor": "#f3f0ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a038",
      "roundness": {
        "type": 3
      },
      "seed": 261936130,
      "version": 1,
      "versionNonce": 1206706094,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "compare-title",
      "type": "text",
      "x": 650,
      "y": 1230,
      "width": 425,
      "height": 27.5,
      "angle": 0,
      "strokeColor": "#5f3dc4",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a039",
      "roundness": null,
      "seed": 248029354,
      "version": 1,
      "versionNonce": 1034491813,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 22,
      "fontFamily": 1,
      "text": "compare_choices · opt in",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "compare_choices · opt in",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "compare-body",
      "type": "text",
      "x": 650,
      "y": 1270,
      "width": 425,
      "height": 63.75,
      "angle": 0,
      "strokeColor": "#334155",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a040",
      "roundness": null,
      "seed": 213779618,
      "version": 1,
      "versionNonce": 327640118,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 1,
      "text": "q̄ = mean(dᵢ) · zᵢ = tanh(Pxᵢ)\ncontent attention + symmetric mean\nℓᵢ = bᵢ + shared residual δᵢ",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "q̄ = mean(dᵢ) · zᵢ = tanh(Pxᵢ)\ncontent attention + symmetric mean\nℓᵢ = bᵢ + shared residual δᵢ",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "a-normal-output",
      "type": "arrow",
      "x": 337,
      "y": 1365,
      "width": 123,
      "height": 30,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a041",
      "roundness": null,
      "seed": 262267935,
      "version": 1,
      "versionNonce": 820211864,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          123,
          30
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "a-compare-output",
      "type": "arrow",
      "x": 740,
      "y": 1365,
      "width": 122,
      "height": 30,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a042",
      "roundness": null,
      "seed": 386778303,
      "version": 1,
      "versionNonce": 481012982,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "points": [
        [
          122,
          0
        ],
        [
          0,
          30
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "output",
      "type": "rectangle",
      "x": 145,
      "y": 1385,
      "width": 910,
      "height": 115,
      "angle": 0,
      "strokeColor": "#2f9e44",
      "backgroundColor": "#d3f9d8",
      "fillStyle": "solid",
      "strokeWidth": 3,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a043",
      "roundness": {
        "type": 3
      },
      "seed": 1004840387,
      "version": 1,
      "versionNonce": 883245743,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "output-text",
      "type": "text",
      "x": 175,
      "y": 1400,
      "width": 850,
      "height": 75.0,
      "angle": 0,
      "strokeColor": "#14532d",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a044",
      "roundness": null,
      "seed": 1505587798,
      "version": 1,
      "versionNonce": 165121221,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 20,
      "fontFamily": 1,
      "text": "4 · Semantic remap + typed readback\nchoice · noul · score · ties resolved by semantic identity\n100,028 / 100,028 mapped checks passed under this path",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "4 · Semantic remap + typed readback\nchoice · noul · score · ties resolved by semantic identity\n100,028 / 100,028 mapped checks passed under this path",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "contract-note",
      "type": "rectangle",
      "x": 145,
      "y": 1520,
      "width": 910,
      "height": 55,
      "angle": 0,
      "strokeColor": "#2f9e44",
      "backgroundColor": "#ffffff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a045",
      "roundness": {
        "type": 3
      },
      "seed": 685426952,
      "version": 1,
      "versionNonce": 903902705,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "contract-note-text",
      "type": "text",
      "x": 165,
      "y": 1533,
      "width": 870,
      "height": 22.5,
      "angle": 0,
      "strokeColor": "#166534",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a046",
      "roundness": null,
      "seed": 1904897134,
      "version": 1,
      "versionNonce": 1004409730,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "Permutation-equivariant set math, conditional on equivalent upstream branch features",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Permutation-equivariant set math, conditional on equivalent upstream branch features",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "cache",
      "type": "rectangle",
      "x": 55,
      "y": 1625,
      "width": 530,
      "height": 115,
      "angle": 0,
      "strokeColor": "#dc2626",
      "backgroundColor": "#fff5f5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "dashed",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a047",
      "roundness": {
        "type": 3
      },
      "seed": 1776125057,
      "version": 1,
      "versionNonce": 263289564,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "cache-text",
      "type": "text",
      "x": 75,
      "y": 1640,
      "width": 490,
      "height": 67.5,
      "angle": 0,
      "strokeColor": "#991b1b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a048",
      "roundness": null,
      "seed": 951074976,
      "version": 1,
      "versionNonce": 256935806,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "✕ Shared-prefix BF16 cache\n8 / 14 raw-logit cases failed\nmax Δ = 0.0716138 · observed 0.970×–7.102×",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "✕ Shared-prefix BF16 cache\n8 / 14 raw-logit cases failed\nmax Δ = 0.0716138 · observed 0.970×–7.102×",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "batch",
      "type": "rectangle",
      "x": 615,
      "y": 1625,
      "width": 530,
      "height": 115,
      "angle": 0,
      "strokeColor": "#dc2626",
      "backgroundColor": "#fff5f5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "dashed",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a049",
      "roundness": {
        "type": 3
      },
      "seed": 1257113926,
      "version": 1,
      "versionNonce": 743423970,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false
    },
    {
      "id": "batch-text",
      "type": "text",
      "x": 635,
      "y": 1640,
      "width": 490,
      "height": 67.5,
      "angle": 0,
      "strokeColor": "#991b1b",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a050",
      "roundness": null,
      "seed": 1770833018,
      "version": 1,
      "versionNonce": 1311031200,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "✕ Unrelated-request BF16 batching\n26 / 744 placement flips\nmax aligned-logit Δ = 0.1033692",
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "✕ Unrelated-request BF16 batching\n26 / 744 placement flips\nmax aligned-logit Δ = 0.1033692",
      "autoResize": false,
      "lineHeight": 1.25
    },
    {
      "id": "outside-label",
      "type": "text",
      "x": 65,
      "y": 1585,
      "width": 1070,
      "height": 22.5,
      "angle": 0,
      "strokeColor": "#c92a2a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a051",
      "roundness": null,
      "seed": 250132304,
      "version": 1,
      "versionNonce": 1303414356,
      "isDeleted": false,
      "boundElements": [],
      "updated": 1792419964000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 1,
      "text": "OUTSIDE THE RELEASED EXECUTION CONTRACT",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "OUTSIDE THE RELEASED EXECUTION CONTRACT",
      "autoResize": false,
      "lineHeight": 1.25
    }
  ],
  "appState": {
    "gridSize": null,
    "gridStep": 5,
    "gridModeEnabled": false,
    "viewBackgroundColor": "#f8fafc",
    "currentItemStrokeColor": "#1e293b",
    "currentItemBackgroundColor": "transparent",
    "currentItemFillStyle": "solid",
    "currentItemStrokeWidth": 2,
    "currentItemStrokeStyle": "solid",
    "currentItemRoughness": 1,
    "currentItemOpacity": 100,
    "currentItemFontFamily": 1,
    "currentItemFontSize": 20,
    "currentItemTextAlign": "left",
    "currentItemStartArrowhead": null,
    "currentItemEndArrowhead": "arrow",
    "scrollX": 0,
    "scrollY": 0,
    "zoom": {
      "value": 0.65
    }
  },
  "files": {}
}