{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:foundations:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"margin\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"}},{\"assertionId\":\"tax-due\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B5\"}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C1\"}}]\n<grid-source sha256=\"e07e35becd5ae03281993b88dcb0acd68d90c9c750684583b2478e73a56930c4\">\nMODEL \"Canonical Foundations\"\nDESCRIPTION \"Small portable model that demonstrates the canonical authoring profile.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"portable\", \"foundational\"\n\n# Inputs\nA1 IS currency = 125000\nA2 IS currency = 86000\nA3 IS percentage = 21pct\nA4 IS percentage = 5pct\nA5 = BLANK\n\n# Core derivations\nB1 IS currency = A1 - A2\nB2 IS currency = A1 * (1 - A4)\nB3 IS currency = DO\n  margin = B1\n  deduction = 2500\n  MAX(margin - deduction, 0)\nEND\nB4 IS currency = B3 * A3\nB5 IS currency = A5 DEFAULT B4\n\n# Readable branching\nC1 = B1 > 50000 THEN \"strong\" ELSE \"watch\"\nC2 = MATCH(C1, \"strong\" -> :green, \"watch\" -> :amber, _ -> :red)\nC3 = `status={C1} tax_due={B5}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"margin\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"},\"actual\":{\"kind\":\"number\",\"value\":39000}},{\"assertionId\":\"tax-due\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B5\"},\"actual\":{\"kind\":\"number\",\"value\":7665}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C1\"},\"actual\":{\"kind\":\"string\",\"value\":\"watch\"}}]}"}],"metadata":{"title":"Canonical Foundations","description":"Receipt-verified outputs for authored-baseline in Canonical Foundations.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:foundations","capabilities":["core"],"languageFeatureIds":["assignment_operators","binary_operators","cell_references","conditional_expression_then_else","custom_unit_literals","do_blocks","function_calls","model_directives","multiple_statements","null_coalescing","number_literals","parenthesized_expressions","pattern_matching","string_interpolation","string_literals","style_guide_multi_line_patterns","target_references","typed_assignments","wildcard_and_blank_literals"],"languageFeatureReview":{"sourceKey":"canonical-program:foundations","sourcePath":"examples/canonical/01-foundations.grid","modelSourceSha256":"e07e35becd5ae03281993b88dcb0acd68d90c9c750684583b2478e73a56930c4","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"ff97ee89c5e864e9322c2121cf009728b8b69d0f3d7d2a5ad8797d172591002e","bytes":446,"mediaType":"application/json","observationCount":3,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"margin","phase":"initial","subject":{"kind":"binding","name":"B1"},"actual":{"kind":"number","value":39000}},{"assertionId":"tax-due","phase":"initial","subject":{"kind":"binding","name":"B5"},"actual":{"kind":"number","value":7665}},{"assertionId":"status","phase":"initial","subject":{"kind":"binding","name":"C1"},"actual":{"kind":"string","value":"watch"}}]}},"source":{"path":"examples/canonical/01-foundations.grid","sha256":"e07e35becd5ae03281993b88dcb0acd68d90c9c750684583b2478e73a56930c4","bytes":704,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["margin","tax-due","status"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"foundations/authored-baseline","observedAt":"2026-08-31T22:22:49.106Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:array-analytics:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"monthly-revenue\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A3\"}},{\"assertionId\":\"total\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A5\"}},{\"assertionId\":\"scenario\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A9\"}}]\n<grid-source sha256=\"88382234267955743a799e4c29672ed6554231b52abebc1d4d1c82033f44da35\">\nMODEL \"Array Analytics\"\nDESCRIPTION \"Portable analytics model built from spills, higher-order functions, and scenarios.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"portable\", \"arrays\", \"analytics\"\n\n# Base series: units and realized price by month\nA1 = [120, 135, 142, 150, 168]\nA2 = [42, 44, 47, 49, 52]\n\n# Monthly revenue and cumulative revenue\nA3 = MAP(A1, A2, (units, price) => ROUND(units * price, 2))\nA4 = SCAN(0, A3, (acc, value) => ROUND(acc + value, 2))\nA5 = REDUCE(0, A3, (acc, value) => ROUND(acc + value, 2))\nA6 = ROUND(A5 / 5, 2)\n\n# Scenario multipliers: bear, base, bull\nG1 = [0.92; 1.00; 1.08]\n\n# 3x5 scenario matrix (scenarios x months) built with a comprehension;\n# lowers to a single MAKEARRAY cell under the hood.\nG5 = [INDEX(A3, 1, month) * INDEX(G1, scenario, 1) FOR scenario IN 1..3, month IN 1..5]\nM5 = BYROW(G5, row => SUM(row))\nG9 = BYCOL(G5, col => AVERAGE(col))\n\n# Compact outputs\nA8 = SUM(A3)\nA9 = INDEX(M5, 3) > INDEX(M5, 2) THEN \"bull-led\" ELSE \"base-led\"\nA10 = `total={A8} avg={A6} scenario={A9}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"monthly-revenue\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A3\"},\"actual\":{\"kind\":\"array\",\"value\":[[{\"kind\":\"number\",\"value\":5040},{\"kind\":\"number\",\"value\":5940},{\"kind\":\"number\",\"value\":6674},{\"kind\":\"number\",\"value\":7350},{\"kind\":\"number\",\"value\":8736}]]}},{\"assertionId\":\"total\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A5\"},\"actual\":{\"kind\":\"number\",\"value\":33740}},{\"assertionId\":\"scenario\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A9\"},\"actual\":{\"kind\":\"string\",\"value\":\"bull-led\"}}]}"}],"metadata":{"title":"Array Analytics","description":"Receipt-verified outputs for authored-baseline in Array Analytics.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:array-analytics","capabilities":["arrays","higher-order-functions"],"languageFeatureIds":["array_comprehensions","array_literals","arrow_lambda","assignment_operators","binary_operators","cell_references","conditional_expression_then_else","function_calls","model_directives","multiple_statements","number_literals","sequence_shorthand","string_interpolation","string_literals","target_references"],"languageFeatureReview":{"sourceKey":"canonical-program:array-analytics","sourcePath":"examples/canonical/02-array-analytics.grid","modelSourceSha256":"88382234267955743a799e4c29672ed6554231b52abebc1d4d1c82033f44da35","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"ed1601fdc0df6f9411a9f3d2fbac8967c3fb930acece8f6f6b70d7db8b486e84","bytes":611,"mediaType":"application/json","observationCount":3,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"monthly-revenue","phase":"initial","subject":{"kind":"binding","name":"A3"},"actual":{"kind":"array","value":[[{"kind":"number","value":5040},{"kind":"number","value":5940},{"kind":"number","value":6674},{"kind":"number","value":7350},{"kind":"number","value":8736}]]}},{"assertionId":"total","phase":"initial","subject":{"kind":"binding","name":"A5"},"actual":{"kind":"number","value":33740}},{"assertionId":"scenario","phase":"initial","subject":{"kind":"binding","name":"A9"},"actual":{"kind":"string","value":"bull-led"}}]}},"source":{"path":"examples/canonical/02-array-analytics.grid","sha256":"88382234267955743a799e4c29672ed6554231b52abebc1d4d1c82033f44da35","bytes":1049,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["monthly-revenue","total","scenario"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"array-analytics/authored-baseline","observedAt":"2026-08-31T22:22:49.191Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:text-and-quality:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"regex-valid\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A4\"}},{\"assertionId\":\"year\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A5\"}},{\"assertionId\":\"classification\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"}}]\n<grid-source sha256=\"57d094057387867267f759212c9bf3302d77d91ccc45e9cb78840868a4792d8a\">\nMODEL \"Text And Quality\"\nDESCRIPTION \"Portable model for classification, text cleanup, and defensive parsing.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"portable\", \"text\", \"quality\"\n\n# Raw text inputs\nA1 = \"INV-2026-001\"\nA2 = \"priority:urgent owner:ops\"\nA3 = raw\"^INV-\\d+-\\d+$\"\n\n# Parsing and cleanup\nA4 = REGEXMATCH(A1, A3)\nA5 = REGEXEXTRACT(A1, /INV-(\\d+)/)\nA6 = REGEXREPLACE(A2, /owner:\\w+/, \"owner:shared\")\nA7 = WILDCARDMATCH(A1, glob\"INV-*-001\")\n\n# Classifications\nB1 = A4 AND A7 THEN :accepted ELSE :rejected\nB2 = MATCH(A5, \"2025\" -> \"legacy\", \"2026\" -> \"current\", _ -> \"other\")\nB3 = TRY 10 / 0 ELSE 0\nB4 = BLANK DEFAULT \"unassigned\"\nB5 = `invoice={A1} year={A5} state={B1}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"regex-valid\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A4\"},\"actual\":{\"kind\":\"boolean\",\"value\":true}},{\"assertionId\":\"year\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"A5\"},\"actual\":{\"kind\":\"string\",\"value\":\"2026\"}},{\"assertionId\":\"classification\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"},\"actual\":{\"kind\":\"symbol\",\"value\":\"accepted\"}}]}"}],"metadata":{"title":"Text And Quality","description":"Receipt-verified outputs for authored-baseline in Text And Quality.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:text-and-quality","capabilities":["regex","text"],"languageFeatureIds":["assignment_operators","binary_operators","cell_references","conditional_expression_then_else","function_calls","logical_operators","model_directives","multiple_statements","null_coalescing","number_literals","pattern_matching","regex_literals","string_interpolation","string_literals","target_references","try_then_else_error_recovery","wildcard_and_blank_literals"],"languageFeatureReview":{"sourceKey":"canonical-program:text-and-quality","sourcePath":"examples/canonical/03-text-and-quality.grid","modelSourceSha256":"57d094057387867267f759212c9bf3302d77d91ccc45e9cb78840868a4792d8a","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"be2da23711b26df4c6c28103ab926503d5b4064850294bcbad71aee009daa58a","bytes":461,"mediaType":"application/json","observationCount":3,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"regex-valid","phase":"initial","subject":{"kind":"binding","name":"A4"},"actual":{"kind":"boolean","value":true}},{"assertionId":"year","phase":"initial","subject":{"kind":"binding","name":"A5"},"actual":{"kind":"string","value":"2026"}},{"assertionId":"classification","phase":"initial","subject":{"kind":"binding","name":"B1"},"actual":{"kind":"symbol","value":"accepted"}}]}},"source":{"path":"examples/canonical/03-text-and-quality.grid","sha256":"57d094057387867267f759212c9bf3302d77d91ccc45e9cb78840868a4792d8a","bytes":704,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["regex-valid","year","classification"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"text-and-quality/authored-baseline","observedAt":"2026-08-31T22:22:49.252Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:truth-inspector:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"profit\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C1\"}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C3\"}}]\n<grid-source sha256=\"2802395705564d5007732f8dc291c64dbb9701a3de65e85c0af63fba1bad60e4\">\nMODEL \"Truth Inspector Demo\"\nDESCRIPTION \"Canonical model for demonstrating typed values, WHY lineage, AS_OF history, sensitivity drivers, confidence bands, and runtime profile.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"truth-inspector\", \"dimensions\", \"provenance\", \"sensitivity\"\ndimensions strict\n\n# Inputs\ninput A1 = 125000USD          # domestic revenue\ninput A2 = 42000EUR           # euro revenue before translation\nfx_rate A3 = EUR/USD\ninput A3 = 1.08               # explicit USD/EUR rate keeps the sensitivity cone smooth\ninput A4 = 0.62               # gross margin ratio\ninput A5 = 15000USD           # fixed operating cost\ninput A6 = 0.08               # margin ratio uncertainty for the inspector\ninput A7 = 5000USD            # cost uncertainty for the inspector\n\n# Unit-safe translation\nB1 = A2 * A3\nB2 = A1 + B1\n\n# Smooth output cone: d(C1)/d(A4)=B2 and d(C1)/d(A5)=-1\nC1 = B2 * A4 - A5\nC2 = C1 / B2\nC3 = C2 > 0.45 THEN \"healthy-margin\" ELSE \"watch-margin\"\nC4 = `profit={C1} margin={C2} status={C3}`\n\n# First-order confidence band inputs for the inspector API\nD1 = A6 * A6\nD2 = A7 * A7\nD3 = PROPAGATE_UNCERTAINTY([B2, -1], [A6, A7])\nD4 = `profit_sd={D3}`\n\n# WHY / AS_OF / attribution demo cells\nE1 = NOW()\nE2 = `as_of_ready={E1}`\n\nWHEN C2 < 0.45 THEN\n  F1 = \"margin-escalation\"\n  F2 = NOW()\nEND\n\nEVERY duration\"PT15M\" SKIP MISSED THEN\n  G1 = G1 + 1\n  G2 = NOW()\nEND\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"profit\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C1\"},\"actual\":{\"kind\":\"number\",\"value\":90623.2,\"tag\":\"USD\"}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"C3\"},\"actual\":{\"kind\":\"string\",\"value\":\"healthy-margin\"}}]}"}],"metadata":{"title":"Truth Inspector Demo","description":"Receipt-verified outputs for authored-baseline in Truth Inspector Demo.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:truth-inspector","capabilities":["dimensions","uncertainty"],"languageFeatureIds":["array_literals","assignment_operators","binary_operators","cell_references","conditional_expression_then_else","custom_unit_literals","dimensional_checking_directive","function_calls","fx_rate_declarations","input_output_decorators","model_directives","multiple_statements","number_literals","rule_blocks","string_interpolation","string_literals","target_references","typed_literals","unary_operators"],"languageFeatureReview":{"sourceKey":"canonical-program:truth-inspector","sourcePath":"examples/canonical/08-truth-inspector.grid","modelSourceSha256":"2802395705564d5007732f8dc291c64dbb9701a3de65e85c0af63fba1bad60e4","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"4aca363c9df03172abd6c535a36fc9faa81e728caa807eb2c70ebed6fe6c2f34","bytes":344,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"profit","phase":"initial","subject":{"kind":"binding","name":"C1"},"actual":{"kind":"number","value":90623.2,"tag":"USD"}},{"assertionId":"status","phase":"initial","subject":{"kind":"binding","name":"C3"},"actual":{"kind":"string","value":"healthy-margin"}}]}},"source":{"path":"examples/canonical/08-truth-inspector.grid","sha256":"2802395705564d5007732f8dc291c64dbb9701a3de65e85c0af63fba1bad60e4","bytes":1405,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["profit","status"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"truth-inspector/authored-baseline","observedAt":"2026-08-31T22:22:49.344Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:graph-v2-native:four-city-road-graph","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: four-city-road-graph\nRequested observations: [{\"assertionId\":\"open-roads\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C1\"}},{\"assertionId\":\"fastest-cost\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C3\"}}]\n<grid-source sha256=\"cddf8bf9d9179eee6dcdf023629b0fb04ccdab2a29dcd4a0dbd1f7c2695e436f\">\nMODEL \"Native Graph V2\"\nDESCRIPTION \"Closed kinds, typed views, immutable rewrites, declarative paths, partitions, bounded patterns, and fixed-point propagation.\"\nVERSION \"1.0.0\"\nTAGS \"graph\", \"schema\", \"kind\", \"view\", \"rewrite\", \"path\", \"partition\", \"pattern\", \"fixpoint\"\n\ngraph schema Roads {\n  node kind City\n  edge kind Road: City -> City\n  node.kind: string\n  edge.kind: string\n  edge.minutes: number\n  edge.capacity: number\n  edge.open: boolean\n}\n\ngraph roads: Roads = GRAPH(\n  [\n    [\"node_id\", \"kind\"],\n    [\"A\", \"City\"],\n    [\"B\", \"City\"],\n    [\"C\", \"City\"],\n    [\"D\", \"City\"]\n  ] AS nodes,\n  \"node_id\" AS node_id,\n  [\"kind\"] AS node_properties,\n  [\n    [\"edge_id\", \"from\", \"to\", \"kind\", \"minutes\", \"capacity\", \"open\"],\n    [\"ab\", \"A\", \"B\", \"Road\", 4, 20, TRUE],\n    [\"bc\", \"B\", \"C\", \"Road\", 7, 8, TRUE],\n    [\"ac\", \"A\", \"C\", \"Road\", 15, 30, FALSE],\n    [\"cd\", \"C\", \"D\", \"Road\", 3, 12, TRUE]\n  ] AS edges,\n  \"edge_id\" AS edge_id,\n  \"from\" AS from,\n  \"to\" AS to,\n  [\"kind\", \"minutes\", \"capacity\", \"open\"] AS edge_properties,\n  TRUE AS directed\n)\n\n# A single selective scalar consumer lets Graph MIR fuse this view.\ngraph open_roads: Roads = roads {\n  edge road where road.open = TRUE\n}\nR1C1 = GRAPH_EDGE_COUNT(open_roads)\n\n# Rewrites are immutable and publish only after the complete bounded edit set validates.\ngraph normalized: Roads = rewrite roads limit 100:\n  match (origin)-[closed where closed.open = FALSE]->(destination)\n  delete closed\nR1C2 = GRAPH_EDGE_COUNT(normalized)\n\n# Source expresses the objective. EXPLAIN shows the chosen physical kernel.\npath fastest = path in roads from \"A\" to \"D\"\n  minimize sum(edge.minutes)\n  limit 8 AS hops\n\npath resilient = path in roads from \"A\" to \"D\"\n  maximize min(edge.capacity)\n  limit 8 AS hops\n\nR1C3 = fastest.cost\nR1C4 = fastest.hops\nframe fastest_nodes = fastest.nodes\nframe fastest_edges = fastest.edges\n\npartition communities = partition nodes of roads by community(\n  leiden AS method,\n  modularity(1 AS resolution) AS objective,\n  edge.capacity AS weight,\n  directed AS direction,\n  0 AS seed,\n  all AS hierarchy,\n  50 AS max_passes,\n  16 AS max_levels,\n  0.000000001 AS tolerance\n)\n\nframe community_membership = communities.members\nframe community_summary = communities.summary\n\n# Contraction consumes the resident partition, keeps cross-community edges as\n# a deterministic multigraph, and exposes the quotient as another GraphHandle.\ngraph quotient = contract roads by communities\nR1C5 = GRAPH_NODE_COUNT(quotient)\n\nframe open_two_hop_routes = match roads limit 100:\n  (origin)-[first where first.open = TRUE]->(middle)-[second where second.open = TRUE]->(destination)\n  return origin as origin, middle as middle, destination as destination,\n         first.minutes as first_minutes, second.minutes as second_minutes\n\nframe travel_minutes = fixpoint in roads:\n  using min_plus(edge.minutes AS weight)\n  along AS direction\n  1000000000 AS default\n  0 AS seed \"A\"\n  until max_delta < 0.000000001\n  within 16 iterations\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"four-city-road-graph\",\"observations\":[{\"assertionId\":\"open-roads\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C1\"},\"actual\":{\"kind\":\"number\",\"value\":3}},{\"assertionId\":\"fastest-cost\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C3\"},\"actual\":{\"kind\":\"number\",\"value\":14}}]}"}],"metadata":{"title":"Native Graph V2","description":"Receipt-verified outputs for four-city-road-graph in Native Graph V2.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:graph-v2-native","capabilities":["graph-v2"],"languageFeatureIds":["array_literals","assignment_operators","binary_operators","boolean_literals","function_calls","graph_bounded_fixpoints","graph_bounded_patterns","graph_declarative_paths","graph_named_bindings","graph_partitions","graph_projections_contraction","graph_typed_schemas","graph_views_rewrites","model_directives","multi_line_bracket_continuation","multiple_statements","named_arguments","number_literals","object_dot_bracket_access","string_literals","target_references"],"languageFeatureReview":{"sourceKey":"canonical-program:graph-v2-native","sourcePath":"examples/canonical/16-graph-v2-native.grid","modelSourceSha256":"cddf8bf9d9179eee6dcdf023629b0fb04ccdab2a29dcd4a0dbd1f7c2695e436f","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"f5ee398c1d11da888361dd1ddaebb4f07cb2659a6c89529aae16e4a8985366c2","bytes":329,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"four-city-road-graph","observations":[{"assertionId":"open-roads","phase":"initial","subject":{"kind":"binding","name":"R1C1"},"actual":{"kind":"number","value":3}},{"assertionId":"fastest-cost","phase":"initial","subject":{"kind":"binding","name":"R1C3"},"actual":{"kind":"number","value":14}}]}},"source":{"path":"examples/canonical/16-graph-v2-native.grid","sha256":"cddf8bf9d9179eee6dcdf023629b0fb04ccdab2a29dcd4a0dbd1f7c2695e436f","bytes":2997,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"four-city-road-graph","assertionIds":["open-roads","fastest-cost"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"graph-v2-native/four-city-road-graph","observedAt":"2026-08-31T22:22:49.428Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:predicate-knowledge:release-dependencies","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: release-dependencies\nRequested observations: [{\"assertionId\":\"release-ready\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C1\"}},{\"assertionId\":\"database-dependency\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C3\"}}]\n<grid-source sha256=\"18d3d20fd07606a70ec9e36f4b85dc582d1d2d1cd4d86fa4baba6f47c99b9091\">\nMODEL \"Predicate Knowledge\"\nDESCRIPTION \"One language for model truth, graph relationships, inference, reachability, and explanation.\"\nVERSION \"1.0.0\"\nTAGS \"predicate\", \"knowledge\", \"graph\", \"inference\", \"explain\"\n\npredicate reviewed(by: symbol, score: number)\n\npredicate releasable means\n  reviewed\n  AND NOT blocked\n  AND EVERY dependency IS :releasable\n\n# Unary predicates describe model symbols and remain reactive with their cells.\ndatabase is :reviewed(:ada, 0.99) = 1\napi is :reviewed(:lin, 0.98) = database + 1\nrelease is :reviewed(:sam, 0.97) = api + 1\n\n# Ordinary authored relationships share the same extensional Predicate graph.\nrelease governed_by policy\n\n# Existing property graphs become logical fact sources without copying edges.\ngraph architecture = GRAPH(\n  [\n    [\"edge_id\", \"from\", \"to\", \"relation\"],\n    [\"release-api\", \"release\", \"api\", \"depends_on\"],\n    [\"api-database\", \"api\", \"database\", \"depends_on\"]\n  ] AS edges,\n  \"edge_id\" AS edge_id,\n  \"from\" AS from,\n  \"to\" AS to,\n  [\"relation\"] AS edge_properties,\n  TRUE AS directed\n)\n\nKNOWLEDGE GRAPH architecture VIA edge.relation\npredicate depends_on is transitive\n\nR1C1 = MUST(release IS :releasable)\nR1C2 = release.predicates.reviewed.by\nR1C3 = MUST(\"release\" depends_on \"database\")\nR1C4 = EVIDENCE(\"release\" depends_on \"database\")\nR1C5 = REACHABLE VIA depends_on* FROM \"release\"\nR1C6 = MODEL.PREDICATES.EDGE_COUNT()\n\n# `gridctl cell why <model-id> R1C3` retains both stable graph edges.\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"release-dependencies\",\"observations\":[{\"assertionId\":\"release-ready\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C1\"},\"actual\":{\"kind\":\"boolean\",\"value\":true}},{\"assertionId\":\"database-dependency\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"R1C3\"},\"actual\":{\"kind\":\"boolean\",\"value\":true}}]}"}],"metadata":{"title":"Predicate Knowledge","description":"Receipt-verified outputs for release-dependencies in Predicate Knowledge.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:predicate-knowledge","capabilities":["graph","predicates","why"],"languageFeatureIds":["array_literals","assignment_operators","binary_operators","boolean_literals","function_calls","general_predicates","generic_knowledge_graph","graph_named_bindings","logical_operators","model_directives","model_predicates_graph","multi_line_bracket_continuation","multiple_statements","named_arguments","number_literals","object_dot_bracket_access","string_literals","target_references","unary_operators","unary_predicates"],"languageFeatureReview":{"sourceKey":"canonical-program:predicate-knowledge","sourcePath":"examples/canonical/18-predicate-knowledge.grid","modelSourceSha256":"18d3d20fd07606a70ec9e36f4b85dc582d1d2d1cd4d86fa4baba6f47c99b9091","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"bb0b860c112437c168157170009187479c5c2c31378153822f29dd32898dae99","bytes":346,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"release-dependencies","observations":[{"assertionId":"release-ready","phase":"initial","subject":{"kind":"binding","name":"R1C1"},"actual":{"kind":"boolean","value":true}},{"assertionId":"database-dependency","phase":"initial","subject":{"kind":"binding","name":"R1C3"},"actual":{"kind":"boolean","value":true}}]}},"source":{"path":"examples/canonical/18-predicate-knowledge.grid","sha256":"18d3d20fd07606a70ec9e36f4b85dc582d1d2d1cd4d86fa4baba6f47c99b9091","bytes":1474,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"release-dependencies","assertionIds":["release-ready","database-dependency"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"predicate-knowledge/release-dependencies","observedAt":"2026-08-31T22:22:49.503Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:collection-pipelines:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"restock-cost\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F2\"}},{\"assertionId\":\"ink-received\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F6\"}}]\n<grid-source sha256=\"1bea9a38f6e9cad451caf82bf41afc20e349a7ec0adc9eaf8d4276ec5308aa45\">\nMODEL \"Collection Pipelines\"\nDESCRIPTION \"Print-shop fulfillment desk built on native collections: List intake, Map catalog, Set stock policy, a Deque job queue, and a folded delivery log.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"collections\", \"list\", \"map\", \"set\", \"deque\", \"pipeline\"\n\n# Order intake: an indexed List of line quantities. Updates return revisions;\n# A1 keeps its original five entries after the correction and the late append.\nA1 IS List = VECTOR(4, 12, 7, 25, 3)\nA2 = VECTOR_GET(A1, 4)\nA3 IS List = VECTOR_SET(A1, 1, 6)\nA4 IS List = VECTOR_PUSH(A3, 9)\nA5 = VECTOR_LENGTH(A1)\nA6 = VECTOR_LENGTH(A4)\n\n# Price catalog: a Map keyed by SKU. MAP_PUT inserts or replaces per key.\nB1 IS Map = MAP_OF(\"ink\", 14.5, \"paper\", 6.25, \"toner\", 89)\nB2 IS Map = MAP_PUT(B1, \"staples\", 3.1)\nB3 IS Map = MAP_PUT(B2, \"toner\", 92)\nB4 = MAP_GET(B3, \"toner\")\nB5 = MATCH(MAP_GET_OPTION(B3, \"ribbon\"), SOME(price) -> price, NONE() -> 0)\nB6 = MAP_LENGTH(B3)\nB7 = MAP_CONTAINS(B1, \"staples\")\n\n# Stock policy: Set membership and set algebra over SKUs. Duplicates collapse.\nC1 IS Set = SET_OF(\"ink\", \"paper\", \"toner\", \"staples\", \"ink\")\nC2 IS Set = SET_OF(\"toner\", \"ribbon\", \"drum\")\nC3 IS Set = SET_INTERSECT(C1, C2)\nC4 IS Set = SET_DIFFERENCE(C1, C2)\nC5 IS Set = SET_ADD(SET_UNION(C1, C2), \"fuser\")\nC6 = SET_CONTAINS(C4, \"paper\")\nC7 = \"ribbon\" IN C1\nC8 = SET_LENGTH(C5)\nC9 = SET_OF(\"ink\", \"toner\") SUBSET OF C1\n\n# Job queue: a Deque. Rush work enters at the front, arrivals at the back,\n# dispatch pops the front, and a cancellation pops the back.\nD1 IS Deque = DEQUE(\"j-1041\", \"j-1042\", \"j-1043\")\nD2 IS Deque = DEQUE_PUSH_BACK(D1, \"j-1044\")\nD3 IS Deque = DEQUE_PUSH_FRONT(D2, \"j-0987\")\nD4 = DEQUE_FRONT(D3)\nD5 = DEQUE_BACK(D3)\n\n# A pop returns [removed, remaining]; D3 itself is untouched.\nD6 = DEQUE_POP_FRONT(D3)\nD7 = INDEX(D6, 1)\nD8 IS Deque = INDEX(D6, 2)\nD9 = DEQUE_POP_BACK(D8)\nD10 = INDEX(D9, 1)\nD11 IS Deque = INDEX(D9, 2)\nD12 = DEQUE_LENGTH(D11)\nD13 = DEQUE_IS_EMPTY(D11)\nD14 = DEQUE_TO_ARRAY(D11)\n\n# Restock pipeline: publish the intake List, then filter, map, and total the\n# shortfall cost for lines under the reorder point of 10 units.\nF1 = VECTOR_TO_ARRAY(A4)\nF2 = F1 |> FILTER(quantity => quantity < 10) |> MAP(quantity => (10 - quantity) * 6.25) |> SUM()\n\n# Update pattern: fold the delivery log into a stock-count Map, accumulating\n# repeated SKUs. MAP_KEYS reads back in canonical key order.\nF4 IS List = VECTOR(TUPLE(\"ink\", 40), TUPLE(\"paper\", 12), TUPLE(\"drum\", 5), TUPLE(\"ink\", 15))\nF5 IS Map = REDUCE(MAP_OF(), VECTOR(1, 2, 3, 4)) WITH stock, delivery_index DO\n  delivery = VECTOR_GET(F4, delivery_index)\n  sku = TUPLE_GET(delivery, 1)\n  received = TUPLE_GET(delivery, 2)\n  current = MAP_GET(stock, sku) DEFAULT 0\n  MAP_PUT(stock, sku, current + received)\nEND\nF6 = MAP_GET(F5, \"ink\")\nF7 = VECTOR_GET(MAP_KEYS(F5), 1) & \", \" & VECTOR_GET(MAP_KEYS(F5), 2) & \", \" & VECTOR_GET(MAP_KEYS(F5), 3)\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"restock-cost\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F2\"},\"actual\":{\"kind\":\"number\",\"value\":93.75}},{\"assertionId\":\"ink-received\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F6\"},\"actual\":{\"kind\":\"number\",\"value\":55}}]}"}],"metadata":{"title":"Collection Pipelines","description":"Receipt-verified outputs for authored-baseline in Collection Pipelines.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:collection-pipelines","capabilities":["collections","pipelines"],"languageFeatureIds":["arrow_lambda","assignment_operators","binary_operators","cell_references","collection_operators","function_calls","membership_operators","model_directives","multiple_statements","named_trailing_blocks","null_coalescing","number_literals","parenthesized_expressions","pattern_matching","pipeline_operator","string_literals","style_guide_multi_line_patterns","target_references","typed_assignments"],"languageFeatureReview":{"sourceKey":"canonical-program:collection-pipelines","sourcePath":"examples/canonical/23-collection-pipelines.grid","modelSourceSha256":"1bea9a38f6e9cad451caf82bf41afc20e349a7ec0adc9eaf8d4276ec5308aa45","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"175764c03f63adbc9f53f718e14dfaebea3c59f7ff24105869ab86e24882c37a","bytes":328,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"restock-cost","phase":"initial","subject":{"kind":"binding","name":"F2"},"actual":{"kind":"number","value":93.75}},{"assertionId":"ink-received","phase":"initial","subject":{"kind":"binding","name":"F6"},"actual":{"kind":"number","value":55}}]}},"source":{"path":"examples/canonical/23-collection-pipelines.grid","sha256":"1bea9a38f6e9cad451caf82bf41afc20e349a7ec0adc9eaf8d4276ec5308aa45","bytes":2928,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["restock-cost","ink-received"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"collection-pipelines/authored-baseline","observedAt":"2026-08-31T22:22:49.586Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:cell-metadata-validation:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"subtotal\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"Subtotal\"}},{\"assertionId\":\"net\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"NetAmount\"}},{\"assertionId\":\"approval\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"ApprovalStatus\"}}]\n<grid-source sha256=\"cb8f93868d6f6540b6b503a54463a0e75dd625db65c7168464a04682a2c78d60\">\nMODEL \"Cell Metadata & Validation\"\nDESCRIPTION \"Declared presentation on a guarded expense-entry sheet: VALIDATE write contracts, static assertions, FORMAT declarations, ## doc notes, and tag-driven rendering.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"presentation\", \"validation\", \"metadata\", \"format\"\n\n# Tag policy: every percentage-tagged cell renders with one decimal place\n# unless a stronger layer (per-cell clause, rule override) takes over.\nFORMAT percentage \"0.0%\"\n\n# Guarded inputs — a VALIDATE clause on an input is a write contract that\n# gates every write surface (grid UI, API, connectors) and reports MESSAGE.\ninput Units = 3 VALIDATE 1..48   ## range sugar for BETWEEN 1 AND 48\n\n## List price per unit from the vendor quote, before any discount.\ninput UnitPrice = 40\n  VALIDATE BETWEEN 0 AND 500 MESSAGE \"Unit price must be between $0 and $500.\"\n\n## Vendor-negotiated discount. Procurement caps it at 30%.\n## Renders as 0.0% via the percentage tag policy above.\ninput DiscountRate IS percentage = 5pct\n  VALIDATE BETWEEN 0pct AND 30pct MESSAGE \"Discount must be between 0% and 30%.\"\n\ninput Category = \"travel\"\n  VALIDATE IN [\"travel\", \"software\", \"meals\", \"hardware\"] MESSAGE \"Pick an approved expense category.\"\n\ninput InvoiceRef = \"INV-1042\"\n  VALIDATE STARTS WITH \"INV-\" MESSAGE \"Invoice references begin with INV-.\"\n\ninput AuditMode = FALSE FORMAT \"switch\"   ## boolean renders as a toggle switch\n\n# Computed cells — here VALIDATE is a static assertion. The write contracts\n# on Units and UnitPrice seed interval analysis, so the compiler proves both\n# assertions below at compile time and records them in module metadata.\nSubtotal = Units * UnitPrice VALIDATE 0..24000\n\n## Fraction of the $24,000 per-claim cap this entry consumes.\nBudgetShare = Subtotal / 24000 VALIDATE 0..1\n\n# Type-tag-driven presentation: the currency tag says what the value *is*;\n# the FORMAT clause says exactly how it renders. The format operand is an\n# expression, so it re-derives whenever AuditMode flips.\nNetAmount IS currency = Subtotal * (1 - DiscountRate)\n  FORMAT IF(AuditMode, \"$#,##0.0000\", \"$#,##0.00\")\n\nApprovalStatus = NetAmount > 5000 THEN \"needs-approval\" ELSE \"auto-approved\"\n\n# Rule-driven overrides sit above the declared layer: FORMAT actions write\n# the override, RESET FORMAT clears it so the tag policy governs again.\nWHEN AuditMode THEN\n  FORMAT DiscountRate \"0.000%\"\nEND\n\nWHEN NOT AuditMode THEN\n  RESET FORMAT DiscountRate\nEND\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"subtotal\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"Subtotal\"},\"actual\":{\"kind\":\"number\",\"value\":120}},{\"assertionId\":\"net\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"NetAmount\"},\"actual\":{\"kind\":\"number\",\"value\":114}},{\"assertionId\":\"approval\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"ApprovalStatus\"},\"actual\":{\"kind\":\"string\",\"value\":\"auto-approved\"}}]}"}],"metadata":{"title":"Cell Metadata & Validation","description":"Receipt-verified outputs for authored-baseline in Cell Metadata & Validation.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:cell-metadata-validation","capabilities":["presentation","validation"],"languageFeatureIds":["array_literals","assignment_operators","between_operator","binary_operators","boolean_literals","conditional_expression_then_else","custom_unit_literals","declared_presentation","function_calls","input_output_decorators","logical_operators","membership_operators","model_directives","multiple_statements","number_literals","parenthesized_expressions","rule_blocks","sequence_shorthand","string_literals","string_predicate_operators","typed_assignments","unary_operators"],"languageFeatureReview":{"sourceKey":"canonical-program:cell-metadata-validation","sourcePath":"examples/canonical/26-cell-metadata-validation.grid","modelSourceSha256":"cb8f93868d6f6540b6b503a54463a0e75dd625db65c7168464a04682a2c78d60","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"ab8da7c5fecd960c8571d207129a99ce1c368ca2c3652f9cd64018d41f925a33","bytes":476,"mediaType":"application/json","observationCount":3,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"subtotal","phase":"initial","subject":{"kind":"binding","name":"Subtotal"},"actual":{"kind":"number","value":120}},{"assertionId":"net","phase":"initial","subject":{"kind":"binding","name":"NetAmount"},"actual":{"kind":"number","value":114}},{"assertionId":"approval","phase":"initial","subject":{"kind":"binding","name":"ApprovalStatus"},"actual":{"kind":"string","value":"auto-approved"}}]}},"source":{"path":"examples/canonical/26-cell-metadata-validation.grid","sha256":"cb8f93868d6f6540b6b503a54463a0e75dd625db65c7168464a04682a2c78d60","bytes":2475,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["subtotal","net","approval"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"cell-metadata-validation/authored-baseline","observedAt":"2026-08-31T22:22:49.760Z","adapter":"named-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:named-functions:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"billed-total\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"D3\"}},{\"assertionId\":\"month-result\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"L1\"}}]\n<grid-source sha256=\"d00ffcfe0bf421d5782be40ed9d9d8b4bd62cd04da9db0efad1d96ff9d3f6d2e\">\nMODEL \"Named Function Toolkit\"\nDESCRIPTION \"In-model named functions: inferred signatures, polymorphic reuse, open records, and lambda composition.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"functions\", \"inference\", \"composition\"\n\n# Named definitions: Grid infers one generalized type scheme per name\nidentity(value) = value\nnet_of_fee(amount, fee_rate) = amount * (1 - fee_rate)\nrush_premium(job) = job.amount * job.rush_rate\nfloor_at(value, minimum) = MAX(value, minimum)\nsame_shape(values) = MAP(values, value => value)\nbilled_total(jobs) = REDUCE(0, jobs, (acc, job) => acc + job.amount)\n\n# Inputs\nA1 IS percentage = 12pct\nA2 IS currency = 400\n\n# Job ledger: open record rows, so extra fields stay welcome\nJobs = [\n  { client: \"Meridian\", amount: 5200, rush_rate: 0.25 },\n  { client: \"Bluefin\", amount: 3100, rush_rate: 0 },\n  { client: \"Harbor\", amount: 7400, rush_rate: 0.1 }\n]\n\n# Polymorphic reuse: each call instantiates a fresh scheme\nB1 = identity(42)\nB2 = identity(\"invoice-run\")\n\n# Direct calls against scalars and object literals\nC1 IS currency = net_of_fee(5200, A1)\nC2 IS currency = rush_premium({ amount: 7400, rush_rate: 0.1, note: \"expedited\" })\nC3 IS currency = floor_at(C1 - 6000, 0)\n\n# Composing named functions with lambdas\nD1 = MAP(Jobs, job => net_of_fee(job.amount, A1))\nD2 = MAP(Jobs, job => rush_premium(job))\nD3 IS currency = billed_total(Jobs)\nD4 IS currency = REDUCE(0, D2, (acc, value) => acc + value)\nD5 = MAP(D1, value => floor_at(value - A2, 0))\n\n# Collection protocols: same_shape accepts any Mappable constructor\nH1 = same_shape([10, 20, 30])\nH2 = same_shape(Jobs)\n\n# Summary\nL1 IS currency = D3 * (1 - A1) + D4\nL2 = L1 > 12000 THEN \"healthy-month\" ELSE \"lean-month\"\nL3 = TEXT(L1, \"0.00\")\nL4 = `net={L3} status={L2}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"billed-total\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"D3\"},\"actual\":{\"kind\":\"number\",\"value\":15700}},{\"assertionId\":\"month-result\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"L1\"},\"actual\":{\"kind\":\"number\",\"value\":15856}}]}"}],"metadata":{"title":"Named Function Toolkit","description":"Receipt-verified outputs for authored-baseline in Named Function Toolkit.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:named-functions","capabilities":["named-functions","open-records"],"languageFeatureIds":["array_literals","arrow_lambda","assignment_operators","binary_operators","cell_references","conditional_expression_then_else","custom_unit_literals","function_calls","model_directives","multi_line_bracket_continuation","multiple_statements","named_definitions","number_literals","object_dot_bracket_access","object_literals","parenthesized_expressions","string_interpolation","string_literals","target_references","typed_assignments"],"languageFeatureReview":{"sourceKey":"canonical-program:named-functions","sourcePath":"examples/canonical/27-named-functions.grid","modelSourceSha256":"d00ffcfe0bf421d5782be40ed9d9d8b4bd62cd04da9db0efad1d96ff9d3f6d2e","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"1ec62954a93212951c3123b57f919073a8bc8b810ca57aeb974a7df9a8909bc4","bytes":331,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"billed-total","phase":"initial","subject":{"kind":"binding","name":"D3"},"actual":{"kind":"number","value":15700}},{"assertionId":"month-result","phase":"initial","subject":{"kind":"binding","name":"L1"},"actual":{"kind":"number","value":15856}}]}},"source":{"path":"examples/canonical/27-named-functions.grid","sha256":"d00ffcfe0bf421d5782be40ed9d9d8b4bd62cd04da9db0efad1d96ff9d3f6d2e","bytes":1776,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["billed-total","month-result"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"named-functions/authored-baseline","observedAt":"2026-08-31T22:22:49.837Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:choice-adts:authored-baseline","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: authored-baseline\nRequested observations: [{\"assertionId\":\"shipment\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"}},{\"assertionId\":\"pick-policy\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B2\"}},{\"assertionId\":\"approval-hops\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"D2\"}}]\n<grid-source sha256=\"54f87db2c85904bf046cbc05b9d6adab65d250749e61581a8ed4fdbd79e7c16e\">\nMODEL \"Algebraic Choice Lifecycle\"\nDESCRIPTION \"Payload-bearing CHOICE types: constructors, exhaustive constructor-pattern MATCH, guards, and a finite recursive value.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"choice\", \"adt\", \"match\", \"recursion\"\n\n# A closed order lifecycle with payload-bearing constructors\nCHOICE Order =\n  Draft |\n  Placed(total: number) |\n  Shipped(total: number, transit_days: number) |\n  Cancelled(reason: string)\n\n# Constructed values are immutable and contract-checked at build time\nA1 = Order.Placed(1840)\nA2 = Order.Shipped(2620, 3)\nA3 = Order.Cancelled(\"payment declined\")\nA4 = Order.Draft()\n\n# Exhaustive matching: every constructor needs an unguarded arm\nB1 = MATCH(\n  A2,\n  Order.Draft() -> \"draft\",\n  Order.Placed(total) -> \"placed \" & TEXT(total, \"0\"),\n  Order.Shipped(total, transit_days) -> \"shipped \" & TEXT(transit_days, \"0\") & \"d\",\n  Order.Cancelled(reason) -> \"cancelled: \" & reason\n)\n\n# Guards test payload values; the unguarded arms keep the match exhaustive\nB2 = MATCH(\n  A1,\n  Order.Placed(total) IF total > 1500 -> \"priority-pick\",\n  Order.Placed(_) -> \"standard-pick\",\n  Order.Shipped(_, _) -> \"in-transit\",\n  _ -> \"no-pick\"\n)\n\n# Payload extraction with ignored fields\nB3 = MATCH(\n  A2,\n  Order.Shipped(total, _) -> total,\n  _ -> 0\n)\n\n# A finite recursive value: an escalation chain stored as data\nCHOICE Approval =\n  Granted(approver: string) |\n  Escalated(role: string, remainder: Approval)\n\nC1 = Approval.Escalated(\"team-lead\", Approval.Escalated(\"director\", Approval.Granted(\"finance-chief\")))\n\n# Fold the chain with nested matches; recursive values stay finite (depth <= 64)\nD1 = MATCH(\n  C1,\n  Approval.Granted(approver) -> approver,\n  Approval.Escalated(role, rest) -> MATCH(\n    rest,\n    Approval.Granted(mid_approver) -> mid_approver,\n    Approval.Escalated(mid_role, deeper) -> MATCH(\n      deeper,\n      Approval.Granted(top_approver) -> top_approver,\n      _ -> \"still-escalating\"\n    )\n  )\n)\n\nD2 = MATCH(\n  C1,\n  Approval.Granted(_) -> 0,\n  Approval.Escalated(_, rest) -> 1 + MATCH(\n    rest,\n    Approval.Granted(_) -> 0,\n    Approval.Escalated(_, deeper) -> 1 + MATCH(deeper, Approval.Granted(_) -> 0, _ -> 1)\n  )\n)\n\n# Summary\nE1 = `final_approver={D1} escalation_hops={D2} pick={B2}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"authored-baseline\",\"observations\":[{\"assertionId\":\"shipment\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B1\"},\"actual\":{\"kind\":\"string\",\"value\":\"shipped 3d\"}},{\"assertionId\":\"pick-policy\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"B2\"},\"actual\":{\"kind\":\"string\",\"value\":\"priority-pick\"}},{\"assertionId\":\"approval-hops\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"D2\"},\"actual\":{\"kind\":\"number\",\"value\":2}}]}"}],"metadata":{"title":"Algebraic Choice Lifecycle","description":"Receipt-verified outputs for authored-baseline in Algebraic Choice Lifecycle.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:choice-adts","capabilities":["choice","exhaustive-match"],"languageFeatureIds":["algebraic_choices","assignment_operators","binary_operators","cell_references","function_calls","model_directives","multi_line_bracket_continuation","multiple_statements","number_literals","pattern_matching","string_interpolation","string_literals","style_guide_multi_line_patterns","target_references"],"languageFeatureReview":{"sourceKey":"canonical-program:choice-adts","sourcePath":"examples/canonical/28-choice-adts.grid","modelSourceSha256":"54f87db2c85904bf046cbc05b9d6adab65d250749e61581a8ed4fdbd79e7c16e","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"cd0838271443937b9db691588730f03f4d0b76235a3cf0a6d04549c8de80c758","bytes":471,"mediaType":"application/json","observationCount":3,"payload":{"schemaVersion":1,"scenarioId":"authored-baseline","observations":[{"assertionId":"shipment","phase":"initial","subject":{"kind":"binding","name":"B1"},"actual":{"kind":"string","value":"shipped 3d"}},{"assertionId":"pick-policy","phase":"initial","subject":{"kind":"binding","name":"B2"},"actual":{"kind":"string","value":"priority-pick"}},{"assertionId":"approval-hops","phase":"initial","subject":{"kind":"binding","name":"D2"},"actual":{"kind":"number","value":2}}]}},"source":{"path":"examples/canonical/28-choice-adts.grid","sha256":"54f87db2c85904bf046cbc05b9d6adab65d250749e61581a8ed4fdbd79e7c16e","bytes":2270,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"authored-baseline","assertionIds":["shipment","pick-policy","approval-hops"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"choice-adts/authored-baseline","observedAt":"2026-08-31T22:22:49.906Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}
{"schemaVersion":1,"id":"grid-0.65.0:verified-behavior:model-time-simulation:opening-coordinate","recordType":"verified-behavior","language":"Grid","languageVersion":"0.65.0","split":"train","messages":[{"role":"system","content":"Evaluate canonical Grid 0.65.0 model behavior. Return only the requested compact JSON; do not add explanation or source code."},{"role":"user","content":"Evaluate the following canonical Grid 0.65.0 model at its authored initial state. Return only compact JSON with schemaVersion, scenarioId, and observations in the requested order.\nScenario ID: opening-coordinate\nRequested observations: [{\"assertionId\":\"stock\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"E1\"}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F1\"}}]\n<grid-source sha256=\"58cf1af00129ce10e7a075967cdfb88672395ff741212feb6c2a8c86779235c1\">\nMODEL \"Model-Time Warehouse Simulation\"\nDESCRIPTION \"Simulated-time coverage: STOCK integration, PREV smoothing, DELAY lead times, clock reads, a seeded demand fan, and a trajectory handle.\"\nVERSION \"1.0.0\"\nAUTHOR \"Grid Team\"\nTAGS \"canonical\", \"portable\", \"simulation\", \"model-time\", \"inventory\"\n\n# Static parameters. A simulation run advances a hypothetical clock (here\n# t0=0, dt=1, steps=52, timeUnit=week) as one replayable ledger event whose\n# internal steps never write ordinary bindings, so these inputs stay intact.\nA1 = 480\nA2 = 60\nA3 = 4\nA4 = 0.3\nA5 IS currency = 2.40\n\n# Clock reads. Outside a simulation resolve SIM_TIME and SIM_STEP return\n# #N/A, so DEFAULT keeps the point-estimate resolve clean.\nB1 = SIM_TIME() DEFAULT 0\nB2 = SIM_STEP() DEFAULT 0\nB3 = B2 > 0 THEN \"in-run\" ELSE \"opening\"\n\n# Weekly demand follows a 13-week seasonal swing driven by model time, and\n# PREV supplies the one-step memory for exponential smoothing.\nC1 = A2 * (1 + 0.25 * SIN(2 * PI() * B1 / 13))\nC2 = PREV(C3, A2)\nC3 = A4 * C1 + (1 - A4) * C2\n\n# Replenishment: order up to lead-time-plus-safety cover. DELAY keeps the\n# fixed shipping history (lag_steps must be a positive integer literal), so\n# today's arrival is the order placed four simulated weeks back.\nD1 = C3 * (A3 + 2)\nD2 = MAX(D1 - E1 - E2, 0)\nD3 = DELAY(D2, 4, 0)\n\n# Integrated state. STOCK adds dt * net_flow every simulated step; outside a\n# run each stock reports its initial value, which keeps this file portable.\nE1 = STOCK(A1, D3 - C1)\nE2 = STOCK(0, D2 - D3)\nE3 = STOCK(0, C1)\n\n# Service and economics readouts.\nF1 = E1 < C3 * A3 THEN \"reorder-risk\" ELSE \"covered\"\nF2 IS currency = E1 * A5\nF3 = ROUND(C3, 1)\n\n# Reproducible demand-shock fan. Fixed seeds make the Monte Carlo sweep\n# replayable, and each experiment row records its own runId in model history.\nG1 = [NORM.INV(RAND_SEEDED(seed), 1.0, 0.08) FOR seed IN 301..316]\nG2 = ROUND(AVERAGE(G1), 3)\nG3 = COUNTIF(G1, \">1.1\") / 16\nG4 = ROUND(D1 * MAX(G1), 0)\n\n# Trajectory seam. In workbook semantics SIM_TRAJECTORY returns the resident\n# value; under RENDER it pages a finite read-only frame (column t plus the\n# tracked output) on an independent presentation clock.\nH1 = SIM_TRAJECTORY(E1, {t0: 0, dt: 1, steps: 52, timeUnit: \"week\"})\nH2 = `on_hand={E1} on_order={E2} smoothed_demand={F3} status={F1}`\n\nEND MODEL\n</grid-source>"},{"role":"assistant","content":"{\"schemaVersion\":1,\"scenarioId\":\"opening-coordinate\",\"observations\":[{\"assertionId\":\"stock\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"E1\"},\"actual\":{\"kind\":\"number\",\"value\":480}},{\"assertionId\":\"status\",\"phase\":\"initial\",\"subject\":{\"kind\":\"binding\",\"name\":\"F1\"},\"actual\":{\"kind\":\"string\",\"value\":\"covered\"}}]}"}],"metadata":{"title":"Model-Time Warehouse Simulation","description":"Receipt-verified outputs for opening-coordinate in Model-Time Warehouse Simulation.","taskType":"expected-output","lineageId":"grid-0.65.0:canonical-program:model-time-simulation","capabilities":["model-time"],"languageFeatureIds":["array_comprehensions","array_literals","arrow_lambda","assignment_operators","binary_operators","cell_references","conditional_expression_then_else","function_calls","model_directives","multiple_statements","null_coalescing","number_literals","object_literals","parenthesized_expressions","sequence_shorthand","simulation_authoring","string_interpolation","string_literals","target_references","typed_assignments"],"languageFeatureReview":{"sourceKey":"canonical-program:model-time-simulation","sourcePath":"examples/canonical/29-model-time-simulation.grid","modelSourceSha256":"58cf1af00129ce10e7a075967cdfb88672395ff741212feb6c2a8c86779235c1","reviewedAt":"2026-08-31","reviewedAgainstAuthorityCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"scenarioClassification":"portable-exact","target":{"sha256":"885172e8943af59a89d2543c50148a75f64a28add16e2d4affadf46a0fdfc17b","bytes":321,"mediaType":"application/json","observationCount":2,"payload":{"schemaVersion":1,"scenarioId":"opening-coordinate","observations":[{"assertionId":"stock","phase":"initial","subject":{"kind":"binding","name":"E1"},"actual":{"kind":"number","value":480}},{"assertionId":"status","phase":"initial","subject":{"kind":"binding","name":"F1"},"actual":{"kind":"string","value":"covered"}}]}},"source":{"path":"examples/canonical/29-model-time-simulation.grid","sha256":"58cf1af00129ce10e7a075967cdfb88672395ff741212feb6c2a8c86779235c1","bytes":2329,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636"},"contract":{"path":"content/example-verification/contracts.json","documentSha256":"e0ba85e7dfb1b903b4528e24fb7e340eff7c750781511e8107909aaf36eece1e","reviewedAt":"2026-08-31","scenarioId":"opening-coordinate","assertionIds":["stock","status"]},"receipt":{"path":"content/example-verification/receipts.json","documentSha256":"be4f327771a73f690d7b94831b67d1d18af84c17346da3181d8e0535873ab108","key":"model-time-simulation/opening-coordinate","observedAt":"2026-08-31T22:22:49.973Z","adapter":"coordinate-binding-ready-v1","transport":"local-grid-runtime-rpc","runtimeBuildSha256":"8337221218fd6188796d658256ca82d8ef86352cf610a5d6874307aa5965cbb1","runtimeBuildProvenanceSha256":"67a6e27254a432924b733449e922b9d7384322b5b86d01b6b3c3cad2b0502db7","runtimeAttestationKind":"git-archive-cargo-locked-v1"},"license":{"name":"Business Source License 1.1","path":"content/download-sources/grid-core/LICENSE","sha256":"df136da7070d572d021c3ae5418c8f8c1207fc15c21787a6441e99bbe10d2569","bytes":4893,"sourceCommit":"710c7e841b036d26ded22e133b5bcc4023503636","changeLicense":"Apache-2.0"}}}