{
  "auditDate": "2026-08-11",
  "bindingSemantics": {
    "functionParameters": "symbol-only-unique-nonempty",
    "letBindings": "symbol-only-unique-sequential",
    "topLevelDefinitions": "symbol-only-sequential-rebinding"
  },
  "canonicalSpec": "docs/spec/NORMATIVE_FORM_MATRIX_v0.1.md",
  "canonicalSpecSha256": "3d79fd723c3014641f356ac8e58495adc2d1480fb487ae4d8a72d1636cfbae01",
  "contentIdentitySha256": "bd4a7c0fe75949b615c4f085e160db66d1c52de56a56eaa59fb30c67670ebc1a",
  "errorSemantics": {
    "fatalEvaluationFailure": "explicit-kernel-error",
    "locationAvailability": {
      "canonicalization": "zero-based-module-form-ordinal",
      "parse": "exact-byte-offset",
      "runtime": "none-on-spanless-coreform",
      "typecheck": "module-path-and-diagnostic-ordinal"
    },
    "missingLocation": "absent-never-fabricated",
    "parseLocationUnit": "utf8-byte-offset",
    "parseOffsets": {
      "eof": "source-byte-length",
      "escape": "backslash-start",
      "invalidInteger": "token-start",
      "unexpectedToken": "token-start",
      "unterminatedContainer": "opening-delimiter",
      "unterminatedLiteral": "opening-delimiter"
    },
    "protocolId": "genesis/error-v0.2",
    "recoverableLanguageFailure": "sealed-error",
    "userForgery": "impossible-without-trusted-token"
  },
  "forms": [
    {
      "canonicalDisposition": "atom",
      "class": "literal",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "nil"
      },
      "head": null,
      "id": "form/nil",
      "preludeRole": "none",
      "scope": "expression",
      "source": "nil",
      "typeExpectation": "Nil"
    },
    {
      "canonicalDisposition": "atom",
      "class": "literal",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "true"
      },
      "head": null,
      "id": "form/bool",
      "preludeRole": "none",
      "scope": "expression",
      "source": "true",
      "typeExpectation": "Bool"
    },
    {
      "canonicalDisposition": "atom",
      "class": "literal",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": null,
      "id": "form/int",
      "preludeRole": "none",
      "scope": "expression",
      "source": "42",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "atom",
      "class": "literal",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "\"hi\""
      },
      "head": null,
      "id": "form/string",
      "preludeRole": "none",
      "scope": "expression",
      "source": "\"hi\"",
      "typeExpectation": "Str"
    },
    {
      "canonicalDisposition": "atom",
      "class": "literal",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "b\"\\x01\""
      },
      "head": null,
      "id": "form/bytes",
      "preludeRole": "none",
      "scope": "expression",
      "source": "b\"\\x01\"",
      "typeExpectation": "Bytes"
    },
    {
      "canonicalDisposition": "atom",
      "class": "variable",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": null,
      "id": "form/variable",
      "preludeRole": "ordinary-binding-consumer",
      "scope": "expression",
      "source": "(def x 42)\nx",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "data",
      "class": "collection",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "[1 2]"
      },
      "head": null,
      "id": "form/vector",
      "preludeRole": "none",
      "scope": "expression",
      "source": "[1 2]",
      "typeExpectation": "?"
    },
    {
      "canonicalDisposition": "data",
      "class": "collection",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "{:a 3}"
      },
      "head": null,
      "id": "form/map",
      "preludeRole": "none",
      "scope": "expression",
      "source": "{:a (prim int/add 1 2)}",
      "typeExpectation": "Rec"
    },
    {
      "canonicalDisposition": "atom",
      "class": "grouping",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "nil"
      },
      "head": null,
      "id": "form/empty-list",
      "preludeRole": "none",
      "scope": "expression",
      "source": "()",
      "typeExpectation": "Nil"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "(1 2)"
      },
      "head": "quote",
      "id": "form/quote",
      "preludeRole": "none",
      "scope": "expression",
      "source": "'(1 2)",
      "typeExpectation": "?"
    },
    {
      "canonicalDisposition": "module-definition",
      "class": "module",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": "def",
      "id": "form/def",
      "preludeRole": "ordinary-binding-consumer",
      "scope": "module-only",
      "source": "(def result 42)\nresult",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "closure",
        "value": null
      },
      "head": "fn",
      "id": "form/fn",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(fn (x) x)",
      "typeExpectation": "Fn"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "2"
      },
      "head": "if",
      "id": "form/if",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(if false 1 2)",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "2"
      },
      "head": "begin",
      "id": "form/begin",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(begin 1 2)",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": "let",
      "id": "form/let",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(let ((x 40) (y (prim int/add x 2))) y)",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": "prim",
      "id": "form/prim",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(prim int/add 40 2)",
      "typeExpectation": "Int"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "seal-token",
        "value": null
      },
      "head": "seal",
      "id": "form/seal",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(seal)",
      "typeExpectation": "?"
    },
    {
      "canonicalDisposition": "preserved-special",
      "class": "special",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "nil"
      },
      "head": "unseal",
      "id": "form/unseal",
      "preludeRole": "none",
      "scope": "expression",
      "source": "(let ((a (seal)) (b (seal))) (unseal (seal 42 a) b))",
      "typeExpectation": "?"
    },
    {
      "canonicalDisposition": "binary-application",
      "class": "application",
      "effectOps": [],
      "effectUnknown": false,
      "evaluation": {
        "kind": "data",
        "value": "42"
      },
      "head": null,
      "id": "form/application",
      "preludeRole": "ordinary-binding-consumer",
      "scope": "expression",
      "source": "((fn (x) x) 42)",
      "typeExpectation": "?"
    }
  ],
  "kind": "genesis/normative-form-matrix-v0.1",
  "nonclaims": [
    "changes-no-stage0-authority-fallback-release-or-downstream-product-gate",
    "does-not-freeze-adjacent-language-or-platform-surfaces",
    "does-not-promote-selfhost-closure-levels",
    "does-not-prove-independent-wasm-or-cross-host-parity"
  ],
  "patternSemantics": {
    "destructuring": "unsupported",
    "exhaustiveness": "not-applicable",
    "guards": "unsupported",
    "status": "unsupported",
    "unknownPatternLikeHeads": "ordinary-application"
  },
  "schema": "docs/spec/NORMATIVE_FORM_MATRIX_v0.1.schema.json",
  "schemaSha256": "731d3a33d5a63ef9943cc698a7ac10e93951c0303cda385770c47eef64986598",
  "sourceBindings": [
    {
      "id": "source/coreform-canonicalizer",
      "mode": "canonicalizer",
      "path": "crates/gc_coreform/src/canon.rs"
    },
    {
      "id": "source/coreform-inventory",
      "mode": "frontend",
      "path": "crates/gc_coreform/src/special_form.rs"
    },
    {
      "id": "source/coreform-parser",
      "mode": "frontend",
      "path": "crates/gc_coreform/src/parse.rs"
    },
    {
      "id": "source/compiled-evaluator",
      "mode": "compiled",
      "path": "crates/gc_kernel/src/compiled_compile.rs"
    },
    {
      "id": "source/effect-inference",
      "mode": "effect-inference",
      "path": "crates/gc_types/src/effect_inference.rs"
    },
    {
      "id": "source/kernel-errors",
      "mode": "runtime-shared",
      "path": "crates/gc_kernel/src/error.rs"
    },
    {
      "id": "source/prelude",
      "mode": "prelude",
      "path": "crates/gc_prelude/src/prelude.rs"
    },
    {
      "id": "source/prelude-coreform-api",
      "mode": "prelude",
      "path": "crates/gc_prelude/src/prelude_coreform_api.rs"
    },
    {
      "id": "source/reference-evaluator",
      "mode": "reference",
      "path": "crates/gc_kernel/src/eval_treewalk.rs"
    },
    {
      "id": "source/selfhost-parser",
      "mode": "selfhost-preview",
      "path": "selfhost/parse.gc"
    },
    {
      "id": "source/type-inference",
      "mode": "type-inference",
      "path": "crates/gc_types/src/infer.rs"
    },
    {
      "id": "source/wasm-route",
      "mode": "wasm-inherited-reference",
      "path": "crates/gc_wasm/src/lib.rs"
    }
  ],
  "specialFormSymbols": [
    "begin",
    "def",
    "fn",
    "if",
    "let",
    "prim",
    "quote",
    "seal",
    "unseal"
  ],
  "version": "0.1"
}