Constrain the deferred declaration path to a dotted name

[yavorpanayotov]

Sibling change to juxt/allium-tools#39 (issue juxt/allium-tools#24): the deferred declaration path is now a dotted name with an optional use-alias qualifier and an optional quoted location hint, mirroring the reference parser.

What changes

deferred_declaration previously read its path as $._expression, so calls (deferred Foo("x")), comparisons, and parenthesised forms parsed as deferred paths, and the qualified form billing/InvoiceWorkflow parsed as a division expression. It now reads:

deferred_declaration: ($) =>
  seq("deferred", field("path", $.deferred_path), optional(field("hint", $.string_literal))),

deferred_path: ($) =>
  seq($.identifier, optional(seq("/", $.identifier)), repeat(seq(".", $.identifier))),

The quoted location hint (deferred Foo.bar "detailed/foo.allium") is part of the grammar per the decision on juxt/allium-tools#24, exposed as the hint field.

Known divergence from the reference parser: allium-tools requires the path and hint to sit on one line (its line guards prevent a dangling . or / from absorbing the next declaration's keyword); newlines are extras in this grammar, so that constraint is not enforced here.

Node shape change: a dotted path is now (deferred_path (identifier) (identifier)) instead of (member_expression ...). The bundled highlight queries don't reference deferred paths, so no query changes are needed. (Noticed in passing: deferred, open, contract, and invariant are absent from the @keyword list in highlights.scm — pre-existing, left for a separate change.)

Verification

• npx tree-sitter generate is clean; generated src/ committed per repo convention.
• npx tree-sitter test: 98/98 corpus parses pass — the dotted-path expectation updated to the new shape, plus new cases for the qualified path, the quoted hint, and an :error test for an expression-shaped path.
• Smoke-parsed the documented forms from the v3 language reference (dotted + -- see: comment, qualified, quoted hint) — all produce the expected trees.

🤖 Generated with Claude Code