140 variant selector on transform swallowed

✗ Failing This test is currently failing.

Failed: ast-mismatch

Code

// TEST (aspirational): the parser SILENTLY SWALLOWS a |variant selector
// on a transform invocation with a source block.
//
//   ~std/kernel:init(Body)|gpu { ... }
//
// parses with exit 0 today, but "gpu" appears NOWHERE in the AST — the
// token is dropped without a diagnostic. By the maximalist-parser tenet
// the parser does not value-judge: it must CARRY the selector
// (Invocation.variant, ast.zig — "gpu", "naive", etc.) and let later
// stages rule on legality. A silent drop is the worst of both.
//
// expected.json pins the carried form: the init invocation's variant
// field is "gpu". Discovered 2026-07-03 while pinning the trellis
// variant guard (680_011), which reads this selector.

~import std/kernel

~std/kernel:shape(Body) {
    mass: f64,
}

~std/kernel:init(Body)|gpu {
    { mass: 1.0 },
}

input.kz

Flows

flow ~shape click a branch to expand · @labels scroll to their anchor

shape (expr: Body, source: mass: f64,)

flow ~init click a branch to expand · @labels scroll to their anchor

init (expr: Body, source: { mass: 1.0 },)

Expected AST

{
  "module_annotations": [],
  "items": [
    {
      "type": "import_decl",
      "path": "std/compiler",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 3,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 4,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 5,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 6,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 7,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 8,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 9,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 10,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 11,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 12,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 13,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 14,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 15,
        "col": 0
      }
    },
    {
      "type": "import_decl",
      "path": "std/kernel",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 18,
        "col": 0
      }
    },
    {
      "type": "flow",
      "invocation": {
        "event": [
          "shape"
        ],
        "args": [
          {
            "name": "expr",
            "value": "Body",
            "expression_value": {
              "text": "Body",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
                "line": 20,
                "col": 0
              },
              "scope": {
                "bindings": []
              }
            }
          },
          {
            "name": "source",
            "value": "mass: f64,",
            "source_value": {
              "text": "mass: f64,",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
                "line": 22,
                "col": 0
              },
              "scope": {
                "bindings": []
              },
              "phantom_type": null
            }
          }
        ],
        "variant": null
      },
      "continuations": [],
      "pre_label": null,
      "impl_of": null,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 19,
        "col": 0
      }
    },
    {
      "type": "flow",
      "invocation": {
        "event": [
          "init"
        ],
        "args": [
          {
            "name": "expr",
            "value": "Body",
            "expression_value": {
              "text": "Body",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
                "line": 24,
                "col": 0
              },
              "scope": {
                "bindings": []
              }
            }
          },
          {
            "name": "source",
            "value": "{ mass: 1.0 },",
            "source_value": {
              "text": "{ mass: 1.0 },",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
                "line": 26,
                "col": 0
              },
              "scope": {
                "bindings": []
              },
              "phantom_type": null
            }
          }
        ],
        "variant": "gpu"
      },
      "continuations": [],
      "pre_label": null,
      "impl_of": null,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_140_variant_selector_on_transform_swallowed/input.kz",
        "line": 23,
        "col": 0
      }
    }
  ]
}

Test Configuration

PARSER_TEST

← 139 inline block close then branch 001 cross module type basic →