{
  "$schema": "/example-contracts.schema.json",
  "schemaVersion": 1,
  "appliesTo": {
    "gridVersion": "0.65.0",
    "sourceCommit": "710c7e841b036d26ded22e133b5bcc4023503636",
    "hashAlgorithm": "sha256"
  },
  "reviewedAt": "2026-08-31",
  "semantics": {
    "contract": "Pinned source, fixtures, capabilities, actions, and expected observations; not proof of execution.",
    "receipt": "Runtime observations bound to the exact contract, source, fixtures, build, platform, and capabilities."
  },
  "examples": [
    {
      "slug": "foundations",
      "file": "examples/canonical/01-foundations.grid",
      "source": { "bytes": 704, "sha256": "e07e35becd5ae03281993b88dcb0acd68d90c9c750684583b2478e73a56930c4" },
      "scenarios": [{
        "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["core"],
        "assertions": [
          { "id": "margin", "phase": "initial", "subject": { "kind": "binding", "name": "B1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 39000 } } },
          { "id": "tax-due", "phase": "initial", "subject": { "kind": "binding", "name": "B5" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 7665 } } },
          { "id": "status", "phase": "initial", "subject": { "kind": "binding", "name": "C1" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "watch" } } }
        ]
      }]
    },
    {
      "slug": "array-analytics",
      "file": "examples/canonical/02-array-analytics.grid",
      "source": { "bytes": 1049, "sha256": "88382234267955743a799e4c29672ed6554231b52abebc1d4d1c82033f44da35" },
      "scenarios": [{
        "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["arrays", "higher-order-functions"],
        "assertions": [
          { "id": "monthly-revenue", "phase": "initial", "subject": { "kind": "binding", "name": "A3" }, "matcher": { "op": "equals", "expected": { "kind": "array", "value": [[{ "kind": "number", "value": 5040 }, { "kind": "number", "value": 5940 }, { "kind": "number", "value": 6674 }, { "kind": "number", "value": 7350 }, { "kind": "number", "value": 8736 }]] } } },
          { "id": "total", "phase": "initial", "subject": { "kind": "binding", "name": "A5" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 33740 } } },
          { "id": "scenario", "phase": "initial", "subject": { "kind": "binding", "name": "A9" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "bull-led" } } }
        ]
      }]
    },
    {
      "slug": "text-and-quality",
      "file": "examples/canonical/03-text-and-quality.grid",
      "source": { "bytes": 704, "sha256": "57d094057387867267f759212c9bf3302d77d91ccc45e9cb78840868a4792d8a" },
      "scenarios": [{
        "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["text", "regex"],
        "assertions": [
          { "id": "regex-valid", "phase": "initial", "subject": { "kind": "binding", "name": "A4" }, "matcher": { "op": "equals", "expected": { "kind": "boolean", "value": true } } },
          { "id": "year", "phase": "initial", "subject": { "kind": "binding", "name": "A5" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "2026" } } },
          { "id": "classification", "phase": "initial", "subject": { "kind": "binding", "name": "B1" }, "matcher": { "op": "equals", "expected": { "kind": "symbol", "value": "accepted" } } }
        ]
      }]
    },
    {
      "slug": "external-enrichment",
      "file": "examples/canonical/04-external-enrichment.grid",
      "source": { "bytes": 676, "sha256": "4084ee8bfcb88d103a9754d6c03a431f49235888a668095d88b6663f92a9e2dd" },
      "scenarios": [
        {
          "id": "provider-failure-fallback", "classification": "fixture-exact", "capabilities": ["external-functions", "stub-provider"],
          "fixtures": [{ "role": "external-stub", "path": "content/example-fixtures/external-enrichment/provider-failure.json", "bytes": 429, "sha256": "395b4546264c733203e534ef8d8f3be3d759892149e8a246176e01d1ae8dc1b3" }],
          "assertions": [
            { "id": "converted", "phase": "after-action", "subject": { "kind": "binding", "name": "C1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 262500 } } },
            { "id": "score", "phase": "after-action", "subject": { "kind": "binding", "name": "C2" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 0 } } }
          ]
        },
        {
          "id": "provider-success-stub", "classification": "fixture-exact", "capabilities": ["external-functions", "stub-provider"],
          "fixtures": [{ "role": "external-stub", "path": "content/example-fixtures/external-enrichment/provider-success.json", "bytes": 388, "sha256": "c196cbfe731b3d20088012659c316d7d588750d8aae443f64ff7c1892248e244" }],
          "assertions": [
            { "id": "converted", "phase": "after-action", "subject": { "kind": "binding", "name": "C1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 275000 } } },
            { "id": "score", "phase": "after-action", "subject": { "kind": "binding", "name": "C2" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 0.42 } } }
          ]
        },
        {
          "id": "live-provider", "classification": "provider-dependent", "capabilities": ["external-functions", "network"],
          "assertions": [{ "id": "terminal-status", "phase": "after-action", "subject": { "kind": "provenance", "name": "provider-work" }, "matcher": { "op": "status", "oneOf": ["succeeded", "failed", "stale"] } }]
        }
      ]
    },
    {
      "slug": "rulebook-operations",
      "file": "examples/canonical/05-rulebook-operations.grid",
      "source": { "bytes": 987, "sha256": "5d5e88b81f714b847038139111f1608a38bdd8781044281a2c1da80e80c9fe53" },
      "scenarios": [{
        "id": "fixed-clock", "classification": "clocked-exact", "capabilities": ["rules", "schedules", "fake-clock"],
        "fixtures": [{ "role": "clock", "path": "content/example-fixtures/rulebook-operations/clock.json", "bytes": 448, "sha256": "eaafd03de34259c0903a5a18a91337432ac9852fb2e9768c606fed35660d8027" }],
        "assertions": [
          { "id": "flow", "phase": "initial", "subject": { "kind": "binding", "name": "B1" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "normal" } } },
          { "id": "combined", "phase": "initial", "subject": { "kind": "binding", "name": "B3" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "steady-flow" } } }
        ]
      }]
    },
    {
      "slug": "portfolio-risk-engine",
      "file": "examples/canonical/06-portfolio-risk-engine.grid",
      "source": { "bytes": 2722, "sha256": "58f19a45069d564ea8f2555c93d61dcb9698e7efc41c1d41d4f2d284e07b9b74" },
      "scenarios": [{ "id": "live-fx", "classification": "provider-dependent", "capabilities": ["external-functions", "network"], "assertions": [{ "id": "settles", "phase": "after-action", "subject": { "kind": "provenance", "name": "fx-work" }, "matcher": { "op": "status", "oneOf": ["succeeded", "failed", "stale"] } }] }]
    },
    {
      "slug": "treasury-control-plane",
      "file": "examples/canonical/07-treasury-control-plane.grid",
      "source": { "bytes": 3108, "sha256": "007bf7242068f4b741640c9b560193d9063f9e091e902b2ecb51092c377a4a24" },
      "scenarios": [{ "id": "live-operations", "classification": "provider-dependent", "capabilities": ["external-functions", "rules", "network"], "assertions": [{ "id": "settles", "phase": "after-action", "subject": { "kind": "provenance", "name": "treasury-work" }, "matcher": { "op": "status", "oneOf": ["succeeded", "failed", "stale"] } }] }]
    },
    {
      "slug": "truth-inspector",
      "file": "examples/canonical/08-truth-inspector.grid",
      "source": { "bytes": 1405, "sha256": "2802395705564d5007732f8dc291c64dbb9701a3de65e85c0af63fba1bad60e4" },
      "scenarios": [
        { "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["dimensions", "uncertainty"], "assertions": [
          { "id": "profit", "phase": "initial", "subject": { "kind": "binding", "name": "C1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 90623.2, "tag": "USD" } } },
          { "id": "status", "phase": "initial", "subject": { "kind": "binding", "name": "C3" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "healthy-margin" } } }
        ] },
        { "id": "saved-revisions", "classification": "history-dependent", "capabilities": ["history", "why"], "fixtures": [{ "role": "history", "path": "content/example-fixtures/truth-inspector/revisions.json", "bytes": 197, "sha256": "559ecb75059f591e2ab5071edf23467db35c972abf06c5272244355f0cef92d3" }], "assertions": [{ "id": "why-dependencies", "phase": "after-action", "subject": { "kind": "provenance", "name": "C3" }, "matcher": { "op": "invariant", "name": "contains-upstream-symbols" } }] }
      ]
    },
    {
      "slug": "temporal-coordinates",
      "file": "examples/canonical/09-temporal-coordinates.grid",
      "source": { "bytes": 968, "sha256": "6c36836a4c064c0a641d1ffaf9464886a363054850552e1749d3908393ce2f3a" },
      "scenarios": [{ "id": "saved-history", "classification": "history-dependent", "capabilities": ["history", "temporal-coordinates"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "surface-pipeline-crm",
      "file": "examples/canonical/10-surface-pipeline-crm.grid",
      "source": { "bytes": 1262, "sha256": "5309e4dcc08de03745825aacb8299cb267ccff3d3375a4a5323e96d2f29bed37" },
      "scenarios": [{ "id": "render", "classification": "surface-dependent", "capabilities": ["table-surface", "kanban-surface"], "assertions": [
        { "id": "pipeline", "phase": "initial", "subject": { "kind": "binding", "name": "TotalPipeline" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 186000 } } },
        { "id": "cards", "phase": "render", "subject": { "kind": "surface", "name": "Pipeline_Board" }, "matcher": { "op": "invariant", "name": "three-cards-three-stages" } }
      ] }]
    },
    {
      "slug": "surface-store-map",
      "file": "examples/canonical/11-surface-store-map.grid",
      "source": { "bytes": 825, "sha256": "1e4e110eda88326a009f9618ade61d85c399d9e5e8fb7cb733b3a2f23fb7cd6c" },
      "scenarios": [{ "id": "render", "classification": "surface-dependent", "capabilities": ["map-surface"], "assertions": [
        { "id": "revenue", "phase": "initial", "subject": { "kind": "binding", "name": "TotalRevenue" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 328000 } } },
        { "id": "points", "phase": "render", "subject": { "kind": "surface", "name": "Store_Map" }, "matcher": { "op": "invariant", "name": "three-labeled-points" } }
      ] }]
    },
    {
      "slug": "surface-revenue-dashboard",
      "file": "examples/canonical/12-surface-revenue-dashboard.grid",
      "source": { "bytes": 845, "sha256": "f7eda31d4bfad5e93083c9c501e45b957a322c9cac0d1af4855b8b2b54c1d6e4" },
      "scenarios": [{ "id": "render", "classification": "surface-dependent", "capabilities": ["layout-surface"], "assertions": [
        { "id": "forecast", "phase": "initial", "subject": { "kind": "binding", "name": "Forecast" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 901000 } } },
        { "id": "average", "phase": "initial", "subject": { "kind": "binding", "name": "AverageMonth" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 143000 } } }
      ] }]
    },
    {
      "slug": "surface-scenario-console",
      "file": "examples/canonical/13-surface-scenario-console.grid",
      "source": { "bytes": 1270, "sha256": "f7b94137c2eb49eedecaa9ad6fae2de6894f77146719f3f5907196ba25a098bd" },
      "scenarios": [{ "id": "ownership-boundary", "classification": "surface-dependent", "capabilities": ["component-surface"], "assertions": [
        { "id": "scenario", "phase": "initial", "subject": { "kind": "binding", "name": "Scenario" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "base" } } },
        { "id": "write-rejected", "phase": "after-action", "subject": { "kind": "diagnostic", "name": "Scenario-write" }, "matcher": { "op": "invariant", "name": "formula-owned-binding-rejects-write" } }
      ] }]
    },
    {
      "slug": "dhondt-apportionment",
      "file": "examples/canonical/14-dhondt-apportionment.grid",
      "source": { "bytes": 923, "sha256": "7aed48248b9f45473e8e185446c5336cf4818326a67b170e3d46e244bc046ef7" },
      "scenarios": [{ "id": "shipped-module", "classification": "fixture-exact", "capabilities": ["module:shared/politics.gs"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "election-forecast",
      "file": "examples/canonical/15-election-forecast.grid",
      "source": { "bytes": 906, "sha256": "da39080e1012ee202eeeb693c0a56f736e10b8e78da8f3823c0d255fe2731d0f" },
      "scenarios": [{ "id": "seeded-modules", "classification": "fixture-exact", "capabilities": ["module:shared/politics.gs", "module:shared/socsci.gs"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "graph-v2-native",
      "file": "examples/canonical/16-graph-v2-native.grid",
      "source": { "bytes": 2997, "sha256": "cddf8bf9d9179eee6dcdf023629b0fb04ccdab2a29dcd4a0dbd1f7c2695e436f" },
      "scenarios": [{ "id": "four-city-road-graph", "classification": "portable-exact", "capabilities": ["graph-v2"], "assertions": [
        { "id": "open-roads", "phase": "initial", "subject": { "kind": "binding", "name": "R1C1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 3 } } },
        { "id": "fastest-cost", "phase": "initial", "subject": { "kind": "binding", "name": "R1C3" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 14 } } }
      ] }]
    },
    {
      "slug": "declarative-games",
      "file": "examples/canonical/17-declarative-games.grid",
      "source": { "bytes": 2858, "sha256": "7670067cc2c9dc1836277954e93c47ead6abec82e22ee70344eb6d2a5978c2a3" },
      "scenarios": [{ "id": "certified-games", "classification": "solver-dependent", "capabilities": ["game-theory"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "predicate-knowledge",
      "file": "examples/canonical/18-predicate-knowledge.grid",
      "source": { "bytes": 1474, "sha256": "18d3d20fd07606a70ec9e36f4b85dc582d1d2d1cd4d86fa4baba6f47c99b9091" },
      "scenarios": [{ "id": "release-dependencies", "classification": "portable-exact", "capabilities": ["predicates", "graph", "why"], "assertions": [
        { "id": "release-ready", "phase": "initial", "subject": { "kind": "binding", "name": "R1C1" }, "matcher": { "op": "equals", "expected": { "kind": "boolean", "value": true } } },
        { "id": "database-dependency", "phase": "initial", "subject": { "kind": "binding", "name": "R1C3" }, "matcher": { "op": "equals", "expected": { "kind": "boolean", "value": true } } }
      ] }]
    },
    {
      "slug": "release-governance",
      "file": "examples/canonical/19-release-governance.grid",
      "source": { "bytes": 1656, "sha256": "dc7673ffc0b1d8a8c940236f6fa903fc84e8280abd250e690ca245dacd60e83b" },
      "scenarios": [{ "id": "contested-approval", "classification": "fixture-exact", "capabilities": ["module:shared/governance.gs", "predicates", "graph", "why"], "assertions": [
        { "id": "release-ready", "phase": "initial", "subject": { "kind": "binding", "name": "R1C1" }, "matcher": { "op": "equals", "expected": { "kind": "boolean", "value": true } } },
        { "id": "evidence", "phase": "initial", "subject": { "kind": "binding", "name": "R1C2" }, "matcher": { "op": "equals", "expected": { "kind": "symbol", "value": "both" } } },
        { "id": "must", "phase": "initial", "subject": { "kind": "binding", "name": "R1C3" }, "matcher": { "op": "equals", "expected": { "kind": "boolean", "value": true } } }
      ] }]
    },
    {
      "slug": "strategic-families",
      "file": "examples/canonical/20-strategic-families.grid",
      "source": { "bytes": 4615, "sha256": "b4933c010ddd491e0270358c28dfdd8012670dae74ea0afaea4bfe5297c1844b" },
      "scenarios": [{ "id": "strategy-catalog", "classification": "solver-dependent", "capabilities": ["game-theory"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "live-revenue-kpi",
      "file": "examples/canonical/21-live-revenue-kpi.grid",
      "source": { "bytes": 2368, "sha256": "924db6d9cd5439508b63c5ce623ce3f8c1e2ef96fe26adcf3a5280f115dbd208" },
      "scenarios": [
        {
          "id": "fixture-baseline", "classification": "fixture-exact", "capabilities": ["model-tables", "relational", "layout-surface"],
          "fixtures": [
            { "role": "table", "path": "content/example-fixtures/live-revenue-kpi/orders.json", "bytes": 406, "sha256": "7d1dd047c5e3caa6539a6d6a90fa4bafa45cfa776934c932aaf223de17be4f12" },
            { "role": "table", "path": "content/example-fixtures/live-revenue-kpi/customers.json", "bytes": 152, "sha256": "a35273dbae5d8734550e015d29d8d81a636336aa14c138d356025ae7e098de27" },
            { "role": "table", "path": "content/example-fixtures/live-revenue-kpi/products.json", "bytes": 208, "sha256": "de675b27895b00bfd0345e108bf0dbf90eac7a402ee96347aa9a3206ef1c56a3" }
          ],
          "assertions": [
            { "id": "revenue", "phase": "after-action", "subject": { "kind": "binding", "name": "TotalRevenue" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 90000 } } },
            { "id": "margin", "phase": "after-action", "subject": { "kind": "binding", "name": "TotalMargin" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 63000 } } },
            { "id": "segments", "phase": "after-action", "subject": { "kind": "binding", "name": "ActiveSegments" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 2 } } }
          ]
        },
        {
          "id": "fixture-mutations", "classification": "fixture-exact", "capabilities": ["model-tables", "relational", "mutations"],
          "fixtures": [{ "role": "table", "path": "content/example-fixtures/live-revenue-kpi/mutations.json", "bytes": 173, "sha256": "cabab1aa5b4df625a35d00914717a2aa7a7d742328fb1cb7841acdeb530b05cc" }],
          "assertions": [
            { "id": "revenue", "phase": "after-action", "subject": { "kind": "binding", "name": "TotalRevenue" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 170000 } } },
            { "id": "margin", "phase": "after-action", "subject": { "kind": "binding", "name": "TotalMargin" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 100000 } } }
          ]
        }
      ]
    },
    {
      "slug": "symbolic-mathematics",
      "file": "examples/canonical/22-symbolic-mathematics.grid",
      "source": { "bytes": 1956, "sha256": "3aec8cadfeb5138fd09fa1e4ab7e94115443b8eea6e8390a03708dcd4a68b1f2" },
      "scenarios": [{ "id": "symbolic-engine", "classification": "solver-dependent", "capabilities": ["symbolic-mathematics"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "collection-pipelines",
      "file": "examples/canonical/23-collection-pipelines.grid",
      "source": { "bytes": 2928, "sha256": "1bea9a38f6e9cad451caf82bf41afc20e349a7ec0adc9eaf8d4276ec5308aa45" },
      "scenarios": [{ "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["collections", "pipelines"], "assertions": [
        { "id": "restock-cost", "phase": "initial", "subject": { "kind": "binding", "name": "F2" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 93.75 } } },
        { "id": "ink-received", "phase": "initial", "subject": { "kind": "binding", "name": "F6" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 55 } } }
      ] }]
    },
    {
      "slug": "goal-seek-optimization",
      "file": "examples/canonical/24-goal-seek-optimization.grid",
      "source": { "bytes": 1435, "sha256": "1bd706d6c753e127db88746f07052bea36e518fe8e3efd5d03d3e73f1b03e932" },
      "scenarios": [{ "id": "bounded-solvers", "classification": "solver-dependent", "capabilities": ["solve", "optimization"], "assertions": [
        { "id": "target-price", "phase": "initial", "subject": { "kind": "binding", "name": "C1" }, "matcher": { "op": "approx", "expected": 72.99592846, "abs": 0.01 } },
        { "id": "best-price", "phase": "initial", "subject": { "kind": "binding", "name": "C2" }, "matcher": { "op": "approx", "expected": 141.22222222, "abs": 0.01 } },
        { "id": "best-profit", "phase": "initial", "subject": { "kind": "binding", "name": "D2" }, "matcher": { "op": "approx", "expected": 71893.44444444, "abs": 0.01 } }
      ] }]
    },
    {
      "slug": "grammar-parsing",
      "file": "examples/canonical/25-grammar-parsing.grid",
      "source": { "bytes": 2366, "sha256": "02c399704be77b4453980e1694f2883c0a8bde9c1dd19cfc3821d0cc4e7a4614" },
      "scenarios": [{ "id": "authored-parses", "classification": "portable-exact", "capabilities": ["grammars", "parsing"], "assertions": [{ "id": "compiles", "phase": "compile", "subject": { "kind": "diagnostic", "name": "model" }, "matcher": { "op": "status", "oneOf": ["ready"] } }] }]
    },
    {
      "slug": "cell-metadata-validation",
      "file": "examples/canonical/26-cell-metadata-validation.grid",
      "source": { "bytes": 2475, "sha256": "cb8f93868d6f6540b6b503a54463a0e75dd625db65c7168464a04682a2c78d60" },
      "scenarios": [{ "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["validation", "presentation"], "assertions": [
        { "id": "subtotal", "phase": "initial", "subject": { "kind": "binding", "name": "Subtotal" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 120 } } },
        { "id": "net", "phase": "initial", "subject": { "kind": "binding", "name": "NetAmount" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 114 } } },
        { "id": "approval", "phase": "initial", "subject": { "kind": "binding", "name": "ApprovalStatus" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "auto-approved" } } }
      ] }]
    },
    {
      "slug": "named-functions",
      "file": "examples/canonical/27-named-functions.grid",
      "source": { "bytes": 1776, "sha256": "d00ffcfe0bf421d5782be40ed9d9d8b4bd62cd04da9db0efad1d96ff9d3f6d2e" },
      "scenarios": [{ "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["named-functions", "open-records"], "assertions": [
        { "id": "billed-total", "phase": "initial", "subject": { "kind": "binding", "name": "D3" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 15700 } } },
        { "id": "month-result", "phase": "initial", "subject": { "kind": "binding", "name": "L1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 15856 } } }
      ] }]
    },
    {
      "slug": "choice-adts",
      "file": "examples/canonical/28-choice-adts.grid",
      "source": { "bytes": 2270, "sha256": "54f87db2c85904bf046cbc05b9d6adab65d250749e61581a8ed4fdbd79e7c16e" },
      "scenarios": [{ "id": "authored-baseline", "classification": "portable-exact", "capabilities": ["choice", "exhaustive-match"], "assertions": [
        { "id": "shipment", "phase": "initial", "subject": { "kind": "binding", "name": "B1" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "shipped 3d" } } },
        { "id": "pick-policy", "phase": "initial", "subject": { "kind": "binding", "name": "B2" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "priority-pick" } } },
        { "id": "approval-hops", "phase": "initial", "subject": { "kind": "binding", "name": "D2" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 2 } } }
      ] }]
    },
    {
      "slug": "model-time-simulation",
      "file": "examples/canonical/29-model-time-simulation.grid",
      "source": { "bytes": 2329, "sha256": "58cf1af00129ce10e7a075967cdfb88672395ff741212feb6c2a8c86779235c1" },
      "scenarios": [
        { "id": "opening-coordinate", "classification": "portable-exact", "capabilities": ["model-time"], "assertions": [
          { "id": "stock", "phase": "initial", "subject": { "kind": "binding", "name": "E1" }, "matcher": { "op": "equals", "expected": { "kind": "number", "value": 480 } } },
          { "id": "status", "phase": "initial", "subject": { "kind": "binding", "name": "F1" }, "matcher": { "op": "equals", "expected": { "kind": "string", "value": "covered" } } }
        ] },
        { "id": "fifty-two-weeks", "classification": "simulation-dependent", "capabilities": ["simulation", "model-history"], "fixtures": [{ "role": "clock", "path": "content/example-fixtures/model-time-simulation/run.json", "bytes": 148, "sha256": "67b6c548c42e5238dec87b537e222d063e9755e93af079e85f511a8d99215b74" }], "assertions": [{ "id": "trajectory", "phase": "after-action", "subject": { "kind": "frame", "name": "trajectory" }, "matcher": { "op": "invariant", "name": "fifty-two-ordered-weekly-steps" } }] }
      ]
    }
  ]
}