Diagnostics catalog

Diagnostics Catalog

Diagnostics Catalog

Reference for the 672 GRID_* diagnostic codes emitted by the Grid compiler and execution engine.

This catalog is generated by the diagnostics catalog generator, which scans the compiler and engine sources for diagnostic constructor sites and captures each code's message template with {placeholders} intact. Codes are grouped by family — the first segment after the GRID_ prefix — and sorted alphabetically within each family.

How to read the tables:

  • Message template(s). The literal or format! template passed to the diagnostic constructor. {name} placeholders are filled in at emit time. Multiple templates mean the code is raised from more than one site. A dash (—) means no static template could be extracted: the message is built dynamically, or the code only appears as a constant, in tests, or as a configuration/environment key.
  • Source. The module(s) that construct the diagnostic, or — when no constructor site exists — every module where the code string appears. compiler/… modules run at compile time; runtime/… modules run during evaluation. Entries marked (test-only) were found only in test code.

363 of the 672 codes have at least one extracted message template.

Family Codes
GRID_ADDRESS 1
GRID_ADT 7
GRID_API 10
GRID_AS 1
GRID_ASSIGNMENT 1
GRID_AWAIT 1
GRID_BACKBONE 1
GRID_BBOX 1
GRID_CALCULUS 1
GRID_CALLABLE 6
GRID_CANAL 1
GRID_CAPABILITY 10
GRID_CHOICE 4
GRID_COEDGE 1
GRID_COERCION 1
GRID_COLLECTION 3
GRID_COMPILE 4
GRID_COMPILED 19
GRID_COMPILER 3
GRID_DECISION 27
GRID_DECLARATIVE 6
GRID_DEF 11
GRID_DIMENSION 1
GRID_DIMENSIONS 1
GRID_DISTANCE 1
GRID_DUPLICATE 1
GRID_EFFECTFUL 1
GRID_EVIDENCE 5
GRID_EXTENSION 12
GRID_FIND 1
GRID_FUNCTION 3
GRID_GRAMMAR 20
GRID_GRAPH 61
GRID_HYBRID 4
GRID_IMPLICIT 1
GRID_INPUT 2
GRID_ITERATIVE 3
GRID_KNOWLEDGE 2
GRID_LAZY 1
GRID_LIBRARY 1
GRID_LIMIT 1
GRID_LOGICAL 23
GRID_LOGISTICS 2
GRID_LUAU 1
GRID_MATCH 8
GRID_MATRIX 1
GRID_MAX 9
GRID_MIXED 1
GRID_MODEL 1
GRID_NAMED 7
GRID_NEAREST 1
GRID_NEGATIVE 1
GRID_NESTED 1
GRID_NUMBER 2
GRID_OFFSET 1
GRID_PARSE 1
GRID_PARSER 1
GRID_PARTITION 16
GRID_PATH 3
GRID_POINT 1
GRID_PREDICATE 11
GRID_PRESENTATION 6
GRID_PROFILE 4
GRID_PROJ 2
GRID_PUBLICATION 9
GRID_QA 1
GRID_RELATION 20
GRID_REQUIREMENT 9
GRID_RESEARCH 16
GRID_RESOLVE 1
GRID_RULE 4
GRID_RUNTIME 98
GRID_RUST 16
GRID_SAMPLE 2
GRID_SIM 5
GRID_STATE 2
GRID_SYMBOL 7
GRID_SYMBOLIC 1
GRID_TABLE 36
GRID_TAG 18
GRID_TEMPERATURE 1
GRID_TEMPORAL 1
GRID_TENSOR 6
GRID_TEST 1
GRID_THEORY 1
GRID_TOP 1
GRID_TOPOLOGY 1
GRID_TRAVERSE 7
GRID_TREE 43
GRID_UNBOUNDED 1
GRID_UNCERTAINTY 4
GRID_UNIT 4
GRID_USE 6
GRID_VALIDATE 2
GRID_VALUE 1
GRID_WHY 1

Total: 672 distinct codes.

For error-value semantics see errors.md.


GRID_ADDRESS

Code Message template(s) Source
GRID_ADDRESS_UNREPRESENTABLE {spelling} is parsed as a cell address outside Grid's supported coordinate range: columns A–XFC (1–16383) and rows 1–67108863. If you intended a descriptive name, include an underscore, for example Contig_N50. compiler/parser.rs

GRID_ADT

Code Message template(s) Source
GRID_ADT_CONSTRUCTOR_ARITY {}.{} expects {} payload field(s), found {} compiler/parser.rs
GRID_ADT_DUPLICATE_CONSTRUCTOR CHOICE {name} declares constructor {variant_name} more than once compiler/parser.rs
GRID_ADT_DUPLICATE_FIELD constructor {name}.{variant_name} declares field {field_name} more than once compiler/parser.rs
GRID_ADT_IMPORT_CONFLICT imported algebraic CHOICE {} conflicts with the existing closed choice schema compiler/parser.rs
GRID_ADT_TOO_MANY_CONSTRUCTORS CHOICE {name} exceeds the {ADT_MAX_VARIANTS}-constructor limit compiler/parser.rs
GRID_ADT_TOO_MANY_FIELDS constructor {name}.{variant_name} exceeds the {ADT_MAX_FIELDS}-field limit compiler/parser.rs
GRID_ADT_UNKNOWN_CONSTRUCTOR {} has no constructor {constructor_name}; expected one of {} compiler/parser.rs

GRID_API

Code Message template(s) Source
GRID_API_ARITY API operation {name} accepts at most {maximum} argument(s) but received {} compiler/parser.rs
GRID_API_BINDING_INVALID — compiler/parser.rs
GRID_API_EFFECT_REQUIRES_EXPLICIT_ACTION API operation {name} is {} and cannot run during formula recalculation compiler/parser.rs
GRID_API_NAMED_ARGUMENT — compiler/parser.rs
GRID_API_OPERATION_NOT_FOUND API service {} has no operation {missing} compiler/parser.rs
GRID_API_PACKAGE_IDENTITY_MISMATCH resolver returned {}@{} for {} compiler/parser.rs
GRID_API_PACKAGE_INVALID — compiler/parser.rs
GRID_API_PACKAGE_NOT_FOUND API service package not found: {} compiler/parser.rs
GRID_API_PACKAGE_REFERENCE_INVALID — compiler/parser.rs
GRID_API_REQUIRED_ARGUMENT API operation {name} requires argument {} compiler/parser.rs

GRID_AS

Code Message template(s) Source
GRID_AS_TYPE_ANNOTATION_REMOVED 'as' is no longer a type annotation — use 'IS' (e.g. A1 IS currency) or the prefix form (currency A1). 'as' is reserved for value-first aliasing and interface bindings. compiler/parser.rs

GRID_ASSIGNMENT

Code Message template(s) Source
GRID_ASSIGNMENT_SCHEDULE_OPERATOR a schedule modifier attached to a non-eager assignment compiler/parser.rs

GRID_AWAIT

Code Message template(s) Source
GRID_AWAIT_NON_ASYNC — compiler-passes/lowering/parser_bridge.rs

GRID_BACKBONE

Code Message template(s) Source
GRID_BACKBONE_SOURCE_POSITION_RETIRED — runtime/backbone_streams.rs

GRID_BBOX

Code Message template(s) Source
GRID_BBOX_FILTER_DETECTOR — compiler/optimizer.rs

GRID_CALCULUS

Code Message template(s) Source
GRID_CALCULUS_PARAMETER_REQUIRED DERIVATIVE.REPORT requires a one-parameter callable; bind other parameters in a scalar lambda

{form} currently requires a one-parameter definition; {} has {} parameters

{form} over the multi-parameter definition {} requires one of its parameter names ({})
compiler/callables.rs

GRID_CALLABLE

Code Message template(s) Source
GRID_CALLABLE_CAPTURE_DYNAMIC_NEIGHBORHOOD callable neighborhood captures require a static non-negative radius compiler/callables.rs
GRID_CALLABLE_CAPTURE_DYNAMIC_SPATIAL callable spatial captures require a static integer offset compiler/callables.rs
GRID_CALLABLE_CAPTURE_LIMIT definition {} captures {} values; maximum is {} compiler/callables.rs
GRID_CALLABLE_CAPTURE_PARTIAL_RANGE partial row/column ranges cannot be captured by a callable compiler/callables.rs
GRID_CALLABLE_DEFINITION_LIMIT module declares {} callable definitions; maximum is {} compiler/callables.rs
GRID_CALLABLE_PARAMETER_LIMIT definition {} has {} parameters; maximum is {} compiler/callables.rs

GRID_CANAL

Code Message template(s) Source
GRID_CANAL_SURFACE_V1 — runtime/truck_brep.rs

GRID_CAPABILITY

Code Message template(s) Source
GRID_CAPABILITY_ARGUMENT_EFFECT NETWORK.GET_JSON path in {} must be a pure, statically planned expression

effectful call arguments must be pure expressions

tail-call arguments in {} must be pure expressions
compiler/callables.rs
GRID_CAPABILITY_AUTHORITY_STATIC NETWORK.GET_JSON {} authority must be a statically declared requirement alias compiler/callables.rs
GRID_CAPABILITY_CALL_ARITY NETWORK.GET_JSON expects 2 or 3 arguments but received {} compiler/callables.rs
GRID_CAPABILITY_CALL_OUTSIDE_DEFINITION NETWORK.GET_JSON must be the tail body of a named definition in this phase compiler/callables.rs
GRID_CAPABILITY_HIGHER_ORDER effectful callables cannot be partially applied, adapted, or passed to higher-order operations

effectful definition {} cannot use a partial, adapter, or higher-order capability call
compiler/callables.rs
GRID_CAPABILITY_MULTIPLE_SITES effectful definition {} must reach exactly one NETWORK.GET_JSON site; found {count} compiler/callables.rs
GRID_CAPABILITY_REQUIREMENT_KIND requirement {canonical} is not a {} requirement compiler/callables.rs
GRID_CAPABILITY_REQUIREMENT_UNKNOWN unknown capability requirement {canonical} compiler/callables.rs
GRID_CAPABILITY_RESULT_NOT_STORABLE an effectful callable result must be the complete expression of a cell assignment compiler/callables.rs
GRID_CAPABILITY_TAIL_POSITION effectful definition {} does not have a statically known callable target

effectful definition {} must consist only of NETWORK.GET_JSON or a tail direct call to another effectful definition
compiler/callables.rs

GRID_CHOICE

Code Message template(s) Source
GRID_CHOICE_DUPLICATE {kw_label} {name} lists :{member} more than once compiler/parser.rs
GRID_CHOICE_DUPLICATE_SET {name} is already declared as a choice set compiler/parser.rs
GRID_CHOICE_MEMBER_CONFLICT :{member} is already a member of {other}; a symbol should belong to one set compiler/parser.rs
GRID_CHOICE_TOO_MANY_FLAGS CHOICES {name} declares {} flags; beyond 53 the bit values exceed exact f64 integers compiler/parser.rs

GRID_COEDGE

Code Message template(s) Source
GRID_COEDGE_PCURVE_V1 — runtime/truck_brep.rs

GRID_COERCION

Code Message template(s) Source
GRID_COERCION_WARNING — runtime/lir_dispatch.rs

GRID_COLLECTION

Code Message template(s) Source
GRID_COLLECTION_TYPE_ARITY parameterized type {tag} expects {expected} type argument{}, found {actual} compiler/parser.rs
GRID_COLLECTION_TYPE_DEPTH collection contracts may nest at most {MAX_NATURAL_TYPE_DEPTH} levels compiler/parser.rs
GRID_COLLECTION_TYPE_SYNTAX invalid collection contract; use List of T, Map of K to V, or a bare collection kind compiler/parser.rs

GRID_COMPILE

Code Message template(s) Source
GRID_COMPILE_CACHE_L1_MODULES — compiler-passes/compile_cache.rs
GRID_COMPILE_CACHE_L2_REGIONS — compiler-passes/compile_cache.rs
GRID_COMPILE_CACHE_L3_EXPRESSIONS — compiler-passes/compile_cache.rs
GRID_COMPILE_CACHE_SHARED_DIR — compiler-passes/compile_cache.rs

GRID_COMPILED

Code Message template(s) Source
GRID_COMPILED_CARGO_PROFILE — runtime/evidence_build_profile.rs
GRID_COMPILED_CARGO_PROFILE_CLASS — runtime/evidence_build_profile.rs
GRID_COMPILED_COMPILER_OVERRIDE_ENVIRONMENT_PRESENT — runtime/evidence_build_profile.rs
GRID_COMPILED_DEBUG — runtime/evidence_build_profile.rs
GRID_COMPILED_ISOLATED_CARGO_HOME_DECLARED — runtime/evidence_build_profile.rs
GRID_COMPILED_OPT_LEVEL — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_CODEGEN_UNITS — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_DEBUG — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_DEBUG_ASSERTIONS — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_INCREMENTAL — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_LTO — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_OPT_LEVEL — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_OVERFLOW_CHECKS — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_PANIC — runtime/evidence_build_profile.rs
GRID_COMPILED_RELEASE_PROFILE_PINS_MATCH — runtime/evidence_build_profile.rs
GRID_COMPILED_RUSTC_VV_SHA256 — runtime/evidence_build_profile.rs
GRID_COMPILED_RUSTFLAGS_MATCH_PRODUCTION — runtime/evidence_build_profile.rs
GRID_COMPILED_TARGET — runtime/evidence_build_profile.rs
GRID_COMPILED_UNEXPECTED_PROFILE_OVERRIDES_PRESENT — runtime/evidence_build_profile.rs

GRID_COMPILER

Code Message template(s) Source
GRID_COMPILER_INFER_COST — compiler/compile.rs
compiler/main.rs
GRID_COMPILER_VALIDATE_FULL — compiler-passes/cli.rs
GRID_COMPILER_VERSION — compiler-passes/compile_cache.rs

GRID_DECISION

Code Message template(s) Source
GRID_DECISION_ARTIFACT_CARDINALITY artifact {:?} violates {:?} cardinality (records={}, streaming={}) runtime/decision_packages.rs
GRID_DECISION_ARTIFACT_DUPLICATE artifact batch {:?} is supplied more than once runtime/decision_packages.rs
GRID_DECISION_ARTIFACT_REQUIRED required artifact {:?} is missing runtime/decision_packages.rs
GRID_DECISION_ARTIFACT_SCHEMA artifact {:?} uses schema {:?}; expected {:?} runtime/decision_packages.rs
GRID_DECISION_ARTIFACT_UNKNOWN package {}@{} has no {:?} artifact contract named {name:?} runtime/decision_packages.rs
GRID_DECISION_CONTRACT_MISMATCH compiled declaration for {}@{} does not exactly match the registered native contract runtime/decision_packages.rs
GRID_DECISION_DECLARATION_DUPLICATE module repeats decision package {}@{} runtime/decision_packages.rs
GRID_DECISION_DECLARATION_INVALID — runtime/decision_packages.rs
GRID_DECISION_DIALECT_UNKNOWN unknown decision package dialect {dialect:?}

unknown decision package dialect {value:?}
compiler/parser.rs
runtime/decision_packages.rs
GRID_DECISION_DUPLICATE_ARTIFACT artifact contract {:?} is declared more than once compiler/parser.rs
GRID_DECISION_DUPLICATE_MEMBER {label} {duplicate:?} is declared more than once compiler/parser.rs
GRID_DECISION_EVIDENCE — runtime/lir_dispatch.rs
GRID_DECISION_EXECUTION — runtime/lir_dispatch.rs
GRID_DECISION_IMPORT — runtime/lir_dispatch.rs
GRID_DECISION_INPUT_JSON — runtime/lir_dispatch.rs
GRID_DECISION_INPUT_PACKAGE — runtime/lir_dispatch.rs
GRID_DECISION_INPUT_SIZE — runtime/lir_dispatch.rs
GRID_DECISION_NATIVE_CONTRACT_INVALID — runtime/decision_packages.rs
GRID_DECISION_NATIVE_DUPLICATE native package {}@{} is already registered runtime/decision_packages.rs
GRID_DECISION_NOT_DECLARED — runtime/lir_dispatch.rs
GRID_DECISION_OUTPUT_JSON — runtime/lir_dispatch.rs
GRID_DECISION_PACKAGE_DUPLICATE decision package {id:?} is declared more than once compiler/parser.rs
GRID_DECISION_PACKAGE_UNAVAILABLE — runtime/decision_packages.rs
GRID_DECISION_REGISTRY_RESIDENT — runtime/lir_dispatch.rs
GRID_DECISION_TOKEN_INVALID invalid {label} {value:?} compiler/parser.rs
GRID_DECISION_VERSION_INVALID decision package VERSION must be a pinned semantic version such as 1.0.0 compiler/parser.rs
GRID_DECISION_VERSION_UNAVAILABLE — runtime/decision_packages.rs

GRID_DECLARATIVE

Code Message template(s) Source
GRID_DECLARATIVE_GAME_DUPLICATE_FIELD {kind} field {field:?} is declared more than once compiler/parser.rs
GRID_DECLARATIVE_GAME_FIELD expected a field name inside {kind} {name:?}

unknown {kind} field {field:?}; expected {}
compiler/parser.rs
GRID_DECLARATIVE_GAME_FIELD_ASSIGNMENT {kind} field {field:?} must use = or : compiler/parser.rs
GRID_DECLARATIVE_GAME_MISSING_FIELD {kind} {name:?} is missing required field {field:?} compiler/parser.rs
GRID_DECLARATIVE_GAME_MIXED_FORM game {name:?} must use exactly one specialized form or the players/strategies/payoffs relation form

mechanism {name:?} must use exactly one of direct or vcg
compiler/parser.rs
GRID_DECLARATIVE_GAME_UNCLOSED {kind} {name:?} is missing its closing }} compiler/parser.rs

GRID_DEF

Code Message template(s) Source
GRID_DEF_ARITY the definition {} expects {} argument(s) but was called with {} compiler/callables.rs
GRID_DEF_CALL_TYPE — compiler/parser.rs
GRID_DEF_CONTRACT cannot compose the callable contract for {}: {message} compiler/callables.rs
GRID_DEF_DUPLICATE {name} conflicts with an existing callable binding compiler/parser.rs
GRID_DEF_DUPLICATE_PARAM definition {name} has a duplicate parameter '{p}' compiler/parser.rs
GRID_DEF_IMPORT_CAPABILITY_UNSUPPORTED imported definition {} requires module capabilities; capability requirement rebasing is not supported yet compiler/parser.rs
GRID_DEF_IMPORT_CONFLICT imported API operation {key} conflicts with an existing callable binding

imported definition {authored_name} conflicts with an existing callable binding; use a namespace alias or rename one definition

imported extension {key} conflicts with an existing callable binding
compiler/parser.rs
GRID_DEF_IMPORT_INVALID module {path} exports callable {} without a definition record compiler/parser.rs
GRID_DEF_IMPORT_VALUE_CAPTURE imported definition {} reads module value {value}; named-value rebasing across USE is not supported yet compiler/parser.rs
GRID_DEF_RECURSION recursive callable definitions are not supported: {} compiler/callables.rs
GRID_DEF_TYPE — compiler/callables.rs
compiler/parser.rs

GRID_DIMENSION

Code Message template(s) Source
GRID_DIMENSION_MISMATCH — compiler-passes/passes/dimensional.rs

GRID_DIMENSIONS

Code Message template(s) Source
GRID_DIMENSIONS_DEFAULT — compiler/parser.rs

GRID_DISTANCE

Code Message template(s) Source
GRID_DISTANCE_FIELD_DETECTOR — compiler/optimizer.rs

GRID_DUPLICATE

Code Message template(s) Source
GRID_DUPLICATE_ASSIGNMENT_DECORATOR STATE may appear at most once on an assignment

default may appear at most once on an assignment

input may appear at most once on an assignment

output may appear at most once on an assignment
compiler/parser.rs

GRID_EFFECTFUL

Code Message template(s) Source
GRID_EFFECTFUL_HIGHER_ORDER_LAMBDA — compiler-passes/lowering/parser_bridge.rs

GRID_EVIDENCE

Code Message template(s) Source
GRID_EVIDENCE_COMMAND — runtime/bin/workbook_gate_b_full_contract.rs
GRID_EVIDENCE_PAYLOAD evidence claims describe predicate truth; attach structured payload separately compiler/parser.rs
GRID_EVIDENCE_RUNNER — runtime/bin/workbook_gate_b_full_contract.rs
GRID_EVIDENCE_TIME expected Unix-millisecond integer after {label}

{label} is outside the signed 64-bit Unix-millisecond range
compiler/parser.rs
GRID_EVIDENCE_VALIDITY evidence validity cannot end before it starts compiler/parser.rs

GRID_EXTENSION

Code Message template(s) Source
GRID_EXTENSION_ARITY extension {name} expects {required}..={maximum} argument(s) but received {actual}

extension {} expects {}..={} argument(s) but received {}
compiler/parser.rs
GRID_EXTENSION_BINDING_INVALID — compiler/parser.rs
GRID_EXTENSION_ENGINE_UNAVAILABLE — runtime/lir_dispatch.rs
GRID_EXTENSION_EXPORT_NOT_FOUND package {} has no export {missing} compiler/parser.rs
GRID_EXTENSION_MANIFEST_INVALID — compiler/parser.rs
GRID_EXTENSION_NAMED_ARGUMENT — compiler/parser.rs
GRID_EXTENSION_PACKAGE_IDENTITY_MISMATCH resolver returned {}@{} for {} compiler/parser.rs
GRID_EXTENSION_PACKAGE_NOT_FOUND extension package not found: {} compiler/parser.rs
GRID_EXTENSION_PACKAGE_REFERENCE_INVALID — compiler/parser.rs
GRID_EXTENSION_SEED_DUPLICATE extension {function_name} receives seed more than once compiler/parser.rs
GRID_EXTENSION_SEED_REQUIRED seeded extension {function_name} requires <expression> AS seed compiler/parser.rs
GRID_EXTENSION_SEED_UNEXPECTED non-seeded extension {function_name} cannot declare seed compiler/parser.rs

GRID_FIND

Code Message template(s) Source
GRID_FIND_ANY_AHO_THRESHOLD — runtime/text_extensions.rs

GRID_FUNCTION

Code Message template(s) Source
GRID_FUNCTION_API_V1 — runtime/extension_dispatch.rs
GRID_FUNCTION_API_V1_CATALOG_SHA256 — runtime/extension_dispatch.rs
GRID_FUNCTION_REFLECTION_ARITY {form} expects {expected} argument(s) in this form compiler/callables.rs
compiler/parser.rs

GRID_GRAMMAR

Code Message template(s) Source
GRID_GRAMMAR_BINDER — compiler/grammar_syntax.rs
GRID_GRAMMAR_BINDER_DUPLICATE_ARGUMENT BINDER repeats {role} argument {argument:?} compiler/grammar_syntax.rs
GRID_GRAMMAR_DECLARATION expected START, SKIP, TOKEN, REFERENCE, BINDER, FRESH, or rule = expression compiler/grammar_syntax.rs
GRID_GRAMMAR_DUPLICATE_BINDER constructor {:?} has more than one BINDER declaration compiler/grammar_syntax.rs
GRID_GRAMMAR_DUPLICATE_FRESH token {:?} has more than one FRESH declaration compiler/grammar_syntax.rs
GRID_GRAMMAR_DUPLICATE_REFERENCE constructor {:?} has more than one REFERENCE declaration compiler/grammar_syntax.rs
GRID_GRAMMAR_EMPTY a CFG or PEG grammar must declare at least one rule compiler/grammar_syntax.rs
GRID_GRAMMAR_EXPRESSION — compiler/grammar_syntax.rs
GRID_GRAMMAR_FORMALISM unknown grammar formalism {formalism_name:?}; expected CFG, PEG, or REGULAR compiler/parser.rs
GRID_GRAMMAR_FRESH — compiler/grammar_syntax.rs
GRID_GRAMMAR_HEADER the grammar body must begin on the line after its header

unexpected text after the grammar formalism
compiler/parser.rs
GRID_GRAMMAR_REFERENCE — compiler/grammar_syntax.rs
GRID_GRAMMAR_REGULAR_BODY a REGULAR grammar body is exactly MATCH /pattern/

a REGULAR grammar requires MATCH /pattern/
compiler/grammar_syntax.rs
GRID_GRAMMAR_RULE a rule whose = ends the line requires a more-indented first alternative

grammar rule names must be identifiers
compiler/grammar_syntax.rs
GRID_GRAMMAR_RULE_CONTINUATION an alternative continuation must follow a rule compiler/grammar_syntax.rs
GRID_GRAMMAR_START START must name one grammar rule compiler/grammar_syntax.rs
GRID_GRAMMAR_TOKEN TOKEN expects TOKEN name = /pattern/

TOKEN must have an identifier name

after a token name, expected PRIORITY <integer> or =
compiler/grammar_syntax.rs
GRID_GRAMMAR_TOKEN_PRIORITY PRIORITY requires an integer

token PRIORITY must be a signed 32-bit integer

unexpected text after token PRIORITY
compiler/grammar_syntax.rs
GRID_GRAMMAR_UNTERMINATED grammar {name:?} is missing its terminating END compiler/parser.rs
GRID_GRAMMAR_VALUE_INVALID — runtime/lir_dispatch.rs

GRID_GRAPH

Code Message template(s) Source
GRID_GRAPH_BINDING_DECORATOR graph bindings do not support input, output, or default decorators compiler/parser.rs
GRID_GRAPH_BINDING_OPERATOR graph bindings are immutable declarations and require the '=' operator compiler/parser.rs
GRID_GRAPH_BINDING_REQUIRED graph-producing expressions must be assigned to a graph named binding compiler/parser.rs
GRID_GRAPH_BINDING_SCHEDULE graph, path, partition, pattern, and fixpoint bindings do not support schedule modifiers compiler/parser.rs
GRID_GRAPH_CONSTRUCTOR_ARGUMENTS GRAPH requires one parse-tree source or edges, edge_id, from, and to bindings compiler/parser.rs
GRID_GRAPH_CONTRACT_PARTITION contraction refers to unknown partition {partition:?} compiler/parser.rs
GRID_GRAPH_CONTRACT_SCHEMA partition contraction produces the intrinsic quotient schema; do not annotate it with the source schema compiler/parser.rs
GRID_GRAPH_CONTRACT_SOURCE partition {:?} belongs to graph {:?}, not {:?} compiler/parser.rs
GRID_GRAPH_DUPLICATE_BINDING graph handle {name:?} is declared more than once compiler/parser.rs
GRID_GRAPH_FIXPOINT_BOUND fixpoint iteration bound must be a positive integer literal compiler/parser.rs
GRID_GRAPH_FIXPOINT_DIRECTION fixpoint direction must be along or against compiler/parser.rs
GRID_GRAPH_FIXPOINT_IDENTITY fixpoint identities are incompatible with the selected operator compiler/parser.rs
GRID_GRAPH_FIXPOINT_OPERATOR fixpoint operator must be sum_product, min_plus, max_min, or boolean_or compiler/parser.rs
GRID_GRAPH_FIXPOINT_OPTION sum_product options are weight, bias, and damping compiler/parser.rs
GRID_GRAPH_FIXPOINT_OPTION_DUPLICATE fixpoint option {option} is specified more than once compiler/parser.rs
GRID_GRAPH_FIXPOINT_SEED bounded graph fixpoints require at least one explicit seed compiler/parser.rs
GRID_GRAPH_MAX_ITERATIONS — runtime/graph_runtime.rs
GRID_GRAPH_NAMED_BINDING graph handles must be bound to an unqualified named symbol, not a cell, range, or sheet-qualified target compiler/parser.rs
GRID_GRAPH_PATCH_SHAPE_IMMUTABLE — runtime/lir_dispatch.rs
GRID_GRAPH_PATTERN_BINDING pattern binding must be one unqualified identifier compiler/parser.rs
GRID_GRAPH_PATTERN_BINDING_ROLE pattern binding {binding} cannot be reused as both a node and an edge compiler/parser.rs
GRID_GRAPH_PATTERN_BINDING_SCOPE predicate inside {binding} must select {binding}.<property>, not {raw} compiler/parser.rs
GRID_GRAPH_PATTERN_CHAIN graph match requires at least one edge expansion compiler/parser.rs
GRID_GRAPH_PATTERN_DUPLICATE_ALIAS projection alias {alias} is used more than once compiler/parser.rs
GRID_GRAPH_PATTERN_LIMIT graph match limit must be a positive integer

native graph matches require a static limit
compiler/parser.rs
GRID_GRAPH_PATTERN_LITERAL pattern predicates require a static number, string, boolean, symbol, or BLANK literal compiler/parser.rs
GRID_GRAPH_PATTERN_PROPERTY pattern selector is missing a property compiler/parser.rs
GRID_GRAPH_PATTERN_UNKNOWN_BINDING projection refers to unknown pattern binding {binding} compiler/parser.rs
GRID_GRAPH_PRODUCER_REQUIRED a graph binding must be created by GRAPH or a graph-producing transformation compiler/parser.rs
GRID_GRAPH_PROPERTY_SCOPE this operation requires a {scope_name} property selector compiler/parser.rs
GRID_GRAPH_PROPERTY_SELECTOR graph properties use edge.<property> or node.<property> selectors

graph property selector is missing a property after its scope
compiler/parser.rs
GRID_GRAPH_QUERY_TIMEOUT_MS — runtime/lir_dispatch.rs
GRID_GRAPH_REWRITE_DELETE_BINDING rewrite delete target {delete_binding} is not a matched edge compiler/parser.rs
GRID_GRAPH_REWRITE_LIMIT immutable graph rewrites require a static edit limit

rewrite limit must leave room for one-past-bound atomic overflow detection
compiler/parser.rs
GRID_GRAPH_REWRITE_PATTERN V2 rewrite matching requires exactly one edge step compiler/parser.rs
GRID_GRAPH_SCHEMA_COLUMNS graph {:?} {label} must exactly select schema {:?} properties: {} compiler/parser.rs
GRID_GRAPH_SCHEMA_DUPLICATE graph schema {name:?} is declared more than once compiler/parser.rs
GRID_GRAPH_SCHEMA_DUPLICATE_KIND edge kind {:?} is declared more than once

node kind {:?} is declared more than once
compiler/parser.rs
GRID_GRAPH_SCHEMA_DUPLICATE_PROPERTY graph schema property is declared more than once compiler/parser.rs
GRID_GRAPH_SCHEMA_EMPTY graph schema must declare at least one node or edge property compiler/parser.rs
GRID_GRAPH_SCHEMA_ENDPOINT_KIND edge kind {:?} references undeclared endpoint kind {} -> {} compiler/parser.rs
GRID_GRAPH_SCHEMA_KIND_PROPERTY named graph kinds require a total node.kind/edge.kind string or symbol property compiler/parser.rs
GRID_GRAPH_SCHEMA_OPTIONAL_PROPERTY {context} requires a total numeric property, but {} is optional compiler/parser.rs
GRID_GRAPH_SCHEMA_PREDICATE_LITERAL pattern equality literal does not inhabit schema property {} tagged {}{} compiler/parser.rs
GRID_GRAPH_SCHEMA_PROPERTY {context} selects undeclared property {scope}.{} from schema {:?} compiler/parser.rs
GRID_GRAPH_SCHEMA_PROPERTY_TYPE {context} requires a numeric property, but {} is tagged {} compiler/parser.rs
GRID_GRAPH_SCHEMA_REBIND graph transformation {:?} preserves schema {:?}, not {:?} compiler/parser.rs
GRID_GRAPH_SCHEMA_REPRESENTATION — runtime/lir_dispatch.rs
GRID_GRAPH_SCHEMA_REPRESENTATION_UNSUPPORTED graph property type {type_tag:?} has no lossless native property representation compiler/parser.rs
GRID_GRAPH_SCHEMA_STRUCTURAL_PROPERTY graph schema properties exclude structural node and edge IDs compiler/parser.rs
GRID_GRAPH_SCHEMA_UNKNOWN graph {:?} references unknown schema {:?} compiler/parser.rs
GRID_GRAPH_V2_BINDING_DECORATOR {kind} bindings do not support input, output, or default decorators compiler/parser.rs
GRID_GRAPH_V2_BINDING_OPERATOR {kind} bindings are immutable declarations and require the '=' operator compiler/parser.rs
GRID_GRAPH_V2_DUPLICATE_BINDING graph value {:?} is declared more than once compiler/parser.rs
GRID_GRAPH_V2_NAMED_BINDING {kind} values must be bound to an unqualified named symbol, not a cell, range, or sheet-qualified target compiler/parser.rs
GRID_GRAPH_V2_PROJECTION {receiver:?} has no graph projection {projection:?} compiler/parser.rs
GRID_GRAPH_V2_PROJECTION_TYPE {receiver}.{projection} is a {expected} projection compiler/parser.rs
GRID_GRAPH_V2_SOURCE path and partition sources must name one graph binding compiler/parser.rs
GRID_GRAPH_V2_UNKNOWN_SOURCE measure {:?} refers to unknown graph binding {:?}

partition {:?} refers to unknown graph binding {:?}

path {:?} refers to unknown graph binding {:?}

pattern {:?} refers to unknown graph binding {:?}
compiler/parser.rs
GRID_GRAPH_VIEW_CLAUSE graph comprehension clauses must begin with node or edge

unexpected text after {label} comprehension predicate
compiler/parser.rs
GRID_GRAPH_VIEW_EMPTY graph comprehension requires at least one node or edge predicate compiler/parser.rs

GRID_HYBRID

Code Message template(s) Source
GRID_HYBRID_CAPABILITY_UNAVAILABLE — runtime/hybrid_symbolic_admission.rs
GRID_HYBRID_METHOD_UNAVAILABLE — runtime/hybrid_symbolic_admission.rs
GRID_HYBRID_RUNTIME_CONFIGURATION_INVALID — runtime/hybrid_symbolic_admission.rs
GRID_HYBRID_SYMBOLIC_METADATA_INVALID — runtime/hybrid_symbolic_admission.rs

GRID_IMPLICIT

Code Message template(s) Source
GRID_IMPLICIT_INTERSECTION_REMOVED '@' as a prefix on a reference (implicit intersection) has been removed — it never selected a row/column value, it just passed the reference through unchanged. Reference the cell directly (e.g. A5 instead of @A:A). compiler/parser.rs

GRID_INPUT

Code Message template(s) Source
GRID_INPUT_DECLARATION_SHAPE an input declaration with mutation, laziness, conditional preservation, or scheduling compiler/parser.rs
GRID_INPUT_SERIES_INVALID — runtime/value.rs

GRID_ITERATIVE

Code Message template(s) Source
GRID_ITERATIVE_CALC — runtime/incremental.rs
GRID_ITERATIVE_MAX — runtime/incremental.rs
GRID_ITERATIVE_TOLERANCE — runtime/incremental.rs

GRID_KNOWLEDGE

Code Message template(s) Source
GRID_KNOWLEDGE_GRAPH_DUPLICATE graph {graph:?} is already projected into Predicate knowledge compiler/parser.rs
GRID_KNOWLEDGE_GRAPH_UNKNOWN_SOURCE knowledge projection refers to unknown graph binding {:?} compiler/parser.rs

GRID_LAZY

Code Message template(s) Source
GRID_LAZY_RANGE_TARGET lazy assignments require one cell or named target; a range must be finite and eager compiler/parser.rs

GRID_LIBRARY

Code Message template(s) Source
GRID_LIBRARY_EXECUTABLE_STATEMENT a .gs library may contain definitions, eager named constants, choices, units, directives, and imports, but not executable model statements

a .gs predicate library may declare paths, rules, and laws, but not model facts, evidence events, or checked propositions

imported library {path} is invalid: {}
compiler/parser.rs

GRID_LIMIT

Code Message template(s) Source
GRID_LIMIT_PROFILE — compiler-passes/budgets.rs

GRID_LOGICAL

Code Message template(s) Source
GRID_LOGICAL_MODAL_ATOM_REQUIRED a top-level logical MUST, MAY, or CANNOT declaration must name one ground atomic proposition

general logical MAY, CANNOT, and EVIDENCE query one ground atomic proposition; bind or query its constituent atoms explicitly
compiler/parser.rs
GRID_LOGICAL_NODE_IDENTITY knowledge graph numeric identities must be exactly represented integers compiler/parser.rs
GRID_LOGICAL_PATH_ARITY path {canonical} is a binary predicate and needs two arguments compiler/parser.rs
GRID_LOGICAL_PATH_DUPLICATE path {name} is already declared compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_AVOIDS expected avoids :predicate in path proposition compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_CLOSE expected ')' in path expression compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_FROM expected from in path proposition compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_PATH expected path after NO compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_PREDICATE expected predicate after avoids compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_RELATION expected relationship in path expression compiler/parser.rs
GRID_LOGICAL_PATH_EXPECTED_TO expected to in path proposition compiler/parser.rs
GRID_LOGICAL_PATH_IMPORT_CONFLICT imported path {name} conflicts with an existing declaration compiler/parser.rs
GRID_LOGICAL_PATH_READ_ONLY a derived path predicate can be queried but not declared MUST, MAY, or CANNOT

a derived path predicate cannot be asserted as evidence

path {path} is derived and cannot declare logical laws

path {predicate} is derived and cannot be the head of a predicate rule

path {predicate} is derived and cannot declare logical laws

path {} is derived and cannot be asserted as an authored fact
compiler/parser.rs
GRID_LOGICAL_PREDICATE_ARITY a logical predicate needs at least one argument compiler/parser.rs
GRID_LOGICAL_PREDICATE_PAYLOAD only unary predicates carry structured payloads

predicate payloads cannot mix named and positional fields

structured predicate payloads require one ground symbol
compiler/parser.rs
GRID_LOGICAL_PREDICATE_QUERY_DECLARATION a predicate proposition is derived and cannot be input, default, state, or explicitly typed

a predicate proposition is derived with a plain = binding
compiler/parser.rs
GRID_LOGICAL_PREDICATE_QUERY_SUBJECT a logical predicate query must name a symbol or cell; a parenthesized computed expression cannot supply a predicate subject

derived predicate :{} must be queried on a symbol or cell, not a computed expression
compiler/parser.rs
GRID_LOGICAL_PREDICATE_QUERY_TARGET a predicate proposition must be bound to one cell or named symbol, not a range compiler/parser.rs
GRID_LOGICAL_PROPERTY_VALUE knowledge graph numeric property values must be finite compiler/parser.rs
GRID_LOGICAL_REACHABILITY_DECLARATION a reachability result is derived and cannot be input, default, state, or explicitly typed

a reachability result is derived with a plain = binding
compiler/parser.rs
GRID_LOGICAL_REACHABILITY_EXPECTED_FROM expected from in reachability query compiler/parser.rs
GRID_LOGICAL_REACHABILITY_EXPECTED_PREDICATE expected predicate after avoids compiler/parser.rs
GRID_LOGICAL_REACHABILITY_TARGET a reachability result must be bound to one cell or named symbol, not a range compiler/parser.rs

GRID_LOGISTICS

Code Message template(s) Source
GRID_LOGISTICS_CANCELLED — runtime/decision_packages.rs
runtime/lir_dispatch.rs
GRID_LOGISTICS_DEADLINE_EXCEEDED — runtime/decision_packages.rs
runtime/lir_dispatch.rs

GRID_LUAU

Code Message template(s) Source
GRID_LUAU_SCRIPT_PROFILE_V1 — runtime/extension_dispatch.rs

GRID_MATCH

Code Message template(s) Source
GRID_MATCH_ADT_DUPLICATE_BINDING algebraic constructor pattern binds {duplicate} more than once compiler/parser.rs
GRID_MATCH_ADT_FAMILY MATCH cannot mix constructors from different algebraic CHOICE types compiler/parser.rs
GRID_MATCH_ADT_PATTERN algebraic constructor patterns accept only field bindings or _ compiler/parser.rs
GRID_MATCH_ERROR_KIND error kind #{code} cannot be matched by kind; only #NULL!, #DIV/0!, #VALUE!, #REF!, #NAME?, #NUM!, and #N/A are supported compiler/parser.rs
GRID_MATCH_NON_EXHAUSTIVE non-exhaustive MATCH over CHOICE {enum_name}: missing {list} (add arms or a '_' catch-all)

non-exhaustive MATCH over {family}: missing {} (add the arm or an unguarded _ catch-all)
compiler/parser.rs
GRID_MATCH_NON_EXHAUSTIVE_ADT non-exhaustive MATCH over {}: missing {} (add the arm or an unguarded _ catch-all) compiler/parser.rs
GRID_MATCH_UNKNOWN_SYMBOL :{sym} is not a member of CHOICE {enum_name} ({}) compiler/parser.rs
GRID_MATCH_VARIANT_FAMILY MATCH cannot mix Option and Result constructor patterns compiler/parser.rs

GRID_MATRIX

Code Message template(s) Source
GRID_MATRIX_SHAPE_MISMATCH — compiler-passes/cli.rs
compiler-passes/passes/matrix_shape.rs

GRID_MAX

Code Message template(s) Source
GRID_MAX_CALCULATIONS_PER_MODEL — compiler-passes/budgets.rs
GRID_MAX_DESCRIPTOR_CELLS — compiler-passes/budgets.rs
GRID_MAX_GRAPH_BYTES — runtime/graph_runtime.rs
GRID_MAX_GRAPH_CACHE_BYTES — runtime/lir_dispatch.rs
GRID_MAX_GRAPH_EDGES — runtime/graph_runtime.rs
GRID_MAX_GRAPH_NODES — runtime/graph_runtime.rs
GRID_MAX_GRAPH_OUTPUT_ROWS — runtime/graph_runtime.rs
GRID_MAX_GRAPH_SCRATCH_BYTES — runtime/graph_runtime.rs
GRID_MAX_GRAPH_WORK — runtime/graph_runtime.rs

GRID_MIXED

Code Message template(s) Source
GRID_MIXED_OWNERSHIP cell {target} has a formula that this rule shadows; the formula's value will never surface after the rule first fires. Mark the formula default to allow overriding, or move the rule off it. compiler/parser.rs

GRID_MODEL

Code Message template(s) Source
GRID_MODEL — runtime/bin/gen_language_docs.rs
runtime/generated_functions.rs

GRID_NAMED

Code Message template(s) Source
GRID_NAMED_BINDING_ASSIGNMENT_REMOVED := bindings were removed; write the value before AS <interface> compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_ARITY {function} named trailing block expects {expected_params} parameter(s), received {} compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_CALL_ARITY {function} has {} leading argument(s), which cannot take a named trailing block compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_DO expected DO after named trailing block parameters compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_DUPLICATE_PARAMETER named trailing block parameter {parameter} is duplicated compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_PARAMETER expected a parameter name after WITH compiler/parser.rs
GRID_NAMED_TRAILING_BLOCK_TARGET {function} is shadowed by a user or extension definition and does not receive builtin named trailing-block syntax

named trailing blocks are supported by MAP, REDUCE, SCAN, ITERATE, BYROW, BYCOL, and MAKEARRAY; {function} does not accept one
compiler/parser.rs

GRID_NEAREST

Code Message template(s) Source
GRID_NEAREST_K_DETECTOR — compiler/optimizer.rs

GRID_NEGATIVE

Code Message template(s) Source
GRID_NEGATIVE_POWER_GROUPING Line {}, column {}: unary '-' binds before power in Grid. -2^2 means (-2)^2. Use -(2^2) to negate the power, or (-2)^2 to make the negative base explicit. Choose the grouping that matches your intended formula. compiler/parser.rs

GRID_NESTED

Code Message template(s) Source
GRID_NESTED_ARRAY_TRANSPOSE — compiler-passes/passes/matrix_shape.rs

GRID_NUMBER

Code Message template(s) Source
GRID_NUMBER_THEORY_MAX_ARRAY — runtime/functions.rs
GRID_NUMBER_THEORY_MAX_N — runtime/functions.rs

GRID_OFFSET

Code Message template(s) Source
GRID_OFFSET_RIBBON_V1 — runtime/truck_brep.rs

GRID_PARSE

Code Message template(s) Source
GRID_PARSE_BUDGET_EXCEEDED — compiler/tree_fragment_typing.rs

GRID_PARSER

Code Message template(s) Source
GRID_PARSER_GENERATOR_OPTION ambiguity must be ERROR or FIRST

unknown parser-generator option {option:?}; expected ambiguity, max_input_bytes, max_steps, or max_nodes
compiler/parser.rs

GRID_PARTITION

Code Message template(s) Source
GRID_PARTITION_COMMUNITY_METHOD community method must be leiden or louvain compiler/parser.rs
GRID_PARTITION_COMMUNITY_OBJECTIVE community objective accepts at most one value bound AS resolution

community objective must be modularity or cpm

community objective values must be bound AS resolution
compiler/parser.rs
GRID_PARTITION_CONNECTIVITY connectivity partition must be weak or strong compiler/parser.rs
GRID_PARTITION_DECLARATIVE_FORM a partition binding requires partition nodes of <graph> by <strategy> compiler/parser.rs
GRID_PARTITION_DIRECTION directed does not accept arguments

undirected does not accept arguments

community direction must be undirected, directed, or symmetrize(sum|max|mean)
compiler/parser.rs
GRID_PARTITION_DUPLICATE_OPTION community option {key} is specified more than once compiler/parser.rs
GRID_PARTITION_DUPLICATE_RESOLUTION community resolution is specified more than once

community resolution must be specified either inside the objective or as a top-level option, not both
compiler/parser.rs
GRID_PARTITION_HIERARCHY community hierarchy must be final or all compiler/parser.rs
GRID_PARTITION_K_CORE k_core requires a positive integer k known at compile time compiler/parser.rs
GRID_PARTITION_MAX_LEVELS — compiler/parser.rs
GRID_PARTITION_MAX_PASSES — compiler/parser.rs
GRID_PARTITION_POLICY expected graph policy name

graph policy symbols require an identifier value
compiler/parser.rs
GRID_PARTITION_SEED community seed must be a non-negative integer literal no greater than 2^53 - 1 compiler/parser.rs
GRID_PARTITION_STRATEGY partition strategy must be connectivity(...), core_number, k_core(...), or community(...) compiler/parser.rs
GRID_PARTITION_SYMMETRIZE symmetrize reducer must be sum, max, or mean

symmetrize requires exactly one reducer
compiler/parser.rs
GRID_PARTITION_UNKNOWN_OPTION unknown community option {key} compiler/parser.rs

GRID_PATH

Code Message template(s) Source
GRID_PATH_DECLARATIVE_FORM a path binding requires path in <graph> from <source> to <target> compiler/parser.rs
GRID_PATH_MAX_HOPS — compiler/parser.rs
GRID_PATH_OBJECTIVE {objective} path objective requires {reduction}(edge.<property>) compiler/parser.rs

GRID_POINT

Code Message template(s) Source
GRID_POINT_IN_REGION_DETECTOR — compiler/optimizer.rs

GRID_PREDICATE

Code Message template(s) Source
GRID_PREDICATE_BUDGET — runtime/lir_dispatch.rs
GRID_PREDICATE_BUILTIN_LAW {built_in} is also a built-in qualitative predicate; use the explicit predicate introducer to declare an open logical law compiler/parser.rs
GRID_PREDICATE_CONTRADICTION — runtime/lir_dispatch.rs
GRID_PREDICATE_FAMILY predicate family must be temporal, topology, or sets compiler/parser.rs
GRID_PREDICATE_GROUNDING_ERROR — runtime/lir_dispatch.rs
GRID_PREDICATE_INVALID_LIR — runtime/lir_dispatch.rs
GRID_PREDICATE_LAW_ORDER this clause was read as a built-in qualitative predicate before a same-named open law was declared; move the predicate ... IS ... law before its facts and queries, or choose a distinct open name compiler/parser.rs
GRID_PREDICATE_OBJECT a predicate clause requires a cell or named symbol after its relation compiler/parser.rs
GRID_PREDICATE_QUERY_DECLARATION a predicate query is derived and cannot be input, default, state, or explicitly typed

a predicate query is derived with a plain = binding
compiler/parser.rs
GRID_PREDICATE_QUERY_TARGET a predicate query must be bound to one cell or named symbol, not a range compiler/parser.rs
GRID_PREDICATE_UNDETERMINED — runtime/lir_dispatch.rs

GRID_PRESENTATION

Code Message template(s) Source
GRID_PRESENTATION_COMPOUND_ASSIGNMENT FORMAT/VALIDATE/PRESENT clauses attach to declarations, not compound assignments — declare them where the cell is defined compiler/parser.rs
GRID_PRESENTATION_DETACHED_CLAUSE this FORMAT does not attach to a statement — a trailing FORMAT clause must directly follow its assignment (a blank line detaches it); a tag policy is written FORMAT <tag> "<pattern>"

this VALIDATE does not attach to a statement — a trailing VALIDATE clause must directly follow its assignment (a blank line detaches it)

this PRESENT does not attach to a declaration; put it inline or on a directly following line
compiler/parser.rs
GRID_PRESENTATION_DUPLICATE_CLAUSE a statement may carry at most one FORMAT clause

a statement may carry at most one VALIDATE clause

a statement may carry at most one PRESENT clause
compiler/parser.rs
GRID_PRESENTATION_POLICY_PATTERN FORMAT policy for {tag:?} is missing its format pattern expression compiler/parser.rs
GRID_PRESENTATION_POLICY_SUBJECT FORMAT policy subject {tag:?} is not a known type tag; per-cell formatting is a trailing clause on the assignment

FORMAT policy subject {tag:?} looks like a cell address; policies take a type tag — per-cell formatting is a trailing clause on the assignment
compiler/parser.rs
GRID_PRESENTATION_UNSUPPORTED_TARGET graph and table bindings do not support FORMAT/VALIDATE clauses

table mutations do not support FORMAT/VALIDATE/PRESENT clauses
compiler/parser.rs

GRID_PROFILE

Code Message template(s) Source
GRID_PROFILE_INCREMENTAL_LOAD — runtime/incremental.rs
GRID_PROFILE_INCREMENTAL_RECOMPUTE — runtime/incremental.rs
GRID_PROFILE_SOURCE_COMPILE — compiler-passes/cli.rs
compiler-passes/source_compile.rs
GRID_PROFILE_STAGED_PROJECTION — runtime/incremental.rs

GRID_PROJ

Code Message template(s) Source
GRID_PROJ_DATA_DIR — runtime/runtime_flags.rs
runtime/spatial_functions.rs
GRID_PROJ_NETWORK — runtime/runtime_flags.rs

GRID_PUBLICATION

Code Message template(s) Source
GRID_PUBLICATION_PROVENANCE_CYCLE — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_EDGE_LIMIT — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_INCOMPLETE — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_LIMIT_INVALID — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_NATIVE_OPAQUE — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_NODE_LIMIT — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_OUTPUT_REQUIRED — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_OUTPUT_UNKNOWN — runtime/lir_dispatch.rs
GRID_PUBLICATION_PROVENANCE_WHY_LIMIT — runtime/lir_dispatch.rs

GRID_QA

Code Message template(s) Source
GRID_QA_TRACE — runtime/incremental.rs

GRID_RELATION

Code Message template(s) Source
GRID_RELATION_ENDPOINT an assignment relationship must attach to one cell or named symbol, not a range

relationship endpoints must be one cell or named symbol, not a range
compiler/parser.rs
GRID_RELATION_EXPLAIN_TARGET source contains no relational assignment to explain compiler/relational_explain.rs
GRID_RELATION_LIST_ARITY relationship target list has {} item(s), but the via list has {}; use equal-length lists or a singleton to broadcast compiler/parser.rs
GRID_RELATION_NATIVE_CORRELATED — compiler/relational_plan.rs
GRID_RELATION_NATIVE_CTE — compiler/relational_plan.rs
GRID_RELATION_NATIVE_DISTINCT — compiler/relational_plan.rs
GRID_RELATION_NATIVE_JOIN — compiler/relational_plan.rs
GRID_RELATION_NATIVE_SELECT — compiler/relational_plan.rs
GRID_RELATION_NATIVE_SET — compiler/relational_plan.rs
GRID_RELATION_PLAN_TARGET source contains no relational assignment to plan compiler/relational_plan.rs
GRID_RELATION_RESIDUAL_CORRELATED — compiler/relational_plan.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_QUALIFY — compiler/relational_plan.rs
compiler-passes/lowering/parser_bridge.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_RECURSION — compiler/relational_plan.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_SCALAR — compiler/relational_plan.rs
compiler-passes/lowering/parser_bridge.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_SET — compiler/relational_plan.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_SHAPE — compiler/relational_plan.rs
compiler-passes/lowering/parser_bridge.rs
runtime/lir_dispatch.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_SOURCE — compiler/relational_plan.rs
runtime/relational_metrics.rs
GRID_RELATION_RESIDUAL_WINDOW — compiler/relational_plan.rs
compiler-passes/lowering/parser_bridge.rs
runtime/relational_metrics.rs
GRID_RELATION_SQL_RESERVED {spelling} is reserved for a later Grid relational profile and is not part of GRSQL-1 compiler/parser.rs
GRID_RELATION_SQL_WRITE {statement} is not a Grid relational expression; use an explicit table compound mutation (+=, ^=, *=, or -=) or a host migration boundary compiler/parser.rs

GRID_REQUIREMENT

Code Message template(s) Source
GRID_REQUIREMENT_COLLISION capability requirement {name} conflicts with {namespaces}; requirement aliases occupy a distinct authority-only namespace compiler/parser.rs
GRID_REQUIREMENT_DUPLICATE capability requirement {canonical} is declared more than once (names are ASCII-case-insensitive) compiler/parser.rs
GRID_REQUIREMENT_INVALID {}: {} compiler/callables.rs
GRID_REQUIREMENT_KIND requirement kind must be NETWORK or SECRET compiler/parser.rs
GRID_REQUIREMENT_LIMIT module declares {} capability requirements; maximum is {} compiler/callables.rs
GRID_REQUIREMENT_NETWORK_METHOD Phase 1 NETWORK requirements support only GET compiler/parser.rs
GRID_REQUIREMENT_NETWORK_ORIGIN {}: {} compiler/parser.rs
GRID_REQUIREMENT_SELECTOR {}: {} compiler/parser.rs
GRID_REQUIREMENT_VALUE_USE capability requirement {canonical} is authority metadata and may appear only in its NETWORK.GET_JSON authority position compiler/callables.rs

GRID_RESEARCH

Code Message template(s) Source
GRID_RESEARCH_PUBLICATION_AUTHORITY_ASSET_FILE_UNSEALED selected formula calls {name}, whose model asset bytes are not sealed runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_ASSIGNMENT_STATE_UNSEALED {} uses {:?} assignment state that is not part of the captured input overlay runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_CALLABLE_AUTHORITY_UNSEALED selected expression {} invokes a host capability workflow

selected expression {} reaches a callable whose effects, requirements, or execution route are not sealed
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_DIALECT_UNSUPPORTED_V1 dialect {} region {} is outside the v1 Workbook/Predicate publication authority set runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_EXTENSION_UNSEALED Extension region {} is outside the v1 sealed authority set, including zero-argument calls

{} is produced by an Extension call whose result authority is not sealed
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_EXTERNAL_REQUEST_UNSEALED selected formula calls job-queue function {name}

selected formula contains a transient async stage

selected provenance resolve emitted {} external request(s) whose response artifacts are not sealed
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_LIVE_INFERENCE_UNSEALED resident live-inference windows are outside portable v1 evidence runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_NATIVE_HANDLE_UNSEALED selected Workbook producer reads or publishes a resident native handle

{kind} handle {} is outside the v1 sealed authority set

{} captures a mutable {kind} handle rather than its immutable bytes

{} resolves to a mutable {kind} handle rather than immutable content bytes
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_PREDICATE_GRAPH_UNSEALED Predicate region {} reads a resident Graph projection that is not sealed by the Predicate evidence journal runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_PREDICATE_METADATA_INVALID Predicate region {} metadata is invalid: {error} runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_PRODUCER_UNRESOLVED {} has no supported Workbook/Predicate producer and is not a captured input

{} has no supported sealed producer
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_PRODUCER_UNSUPPORTED Workbook EvalCell producer has no decodable expression root

Workbook RelativeRange producer has no decodable root: {error}

Workbook region {} producer op {} is missing

selected Workbook producer uses unknown opcode 0x{:04x}

selected call at expression {} has a non-UTF-8 name

selected expression {} is missing
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_PROVENANCE_INCOMPLETE Workbook region {region_id} op {op_index} has dependency edges the v1 publication DAG cannot enumerate exactly

the materialized publication DAG differs from its statically admitted dependency cone
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_TABLE_STATE_UNSEALED Live Model table declarations read mutable model.db state that v1 evidence does not seal

selected formula calls {name}, whose model.db rows are not sealed
runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_TENSOR_FRAME_BINDING_UNSEALED resident Tensor Frame payload bindings are outside portable v1 evidence runtime/lir_dispatch.rs
GRID_RESEARCH_PUBLICATION_AUTHORITY_VOLATILE_UNSEALED selected formula calls volatile function {name}

{} is compiler-classified volatile
runtime/lir_dispatch.rs

GRID_RESOLVE

Code Message template(s) Source
GRID_RESOLVE_CANCELLED resolve cancelled by resolve-scoped control runtime/functions.rs

GRID_RULE

Code Message template(s) Source
GRID_RULE_ACTION_ASSIGNMENT_OPERATOR a rule-action target without an assignment operator compiler/parser.rs
GRID_RULE_ACTION_LAZY_ASSIGNMENT a lazy assignment inside a rule action compiler/parser.rs
GRID_RULE_COMPOUND_OPERATOR rule actions support +=, -=, *=, and /= compound assignments compiler/parser.rs
GRID_RULE_EXTERNAL_RHS a rule action cannot evaluate an external connector directly; bind the connector result outside the rule and let the rule read that settled value compiler/parser.rs

GRID_RUNTIME

Code Message template(s) Source
GRID_RUNTIME_ — runtime/bin/workbook_gate_b_full_contract.rs
GRID_RUNTIME_AFFINE_PLANES — runtime/runtime_flags.rs
GRID_RUNTIME_ARRAY_INPLACE — runtime/runtime_flags.rs
GRID_RUNTIME_AUTODIFF — runtime/runtime_flags.rs
GRID_RUNTIME_AUTODIFF_DERIVATIVE — runtime/runtime_flags.rs
GRID_RUNTIME_AUTODIFF_FALLBACK — runtime/runtime_flags.rs
GRID_RUNTIME_AUTODIFF_STRICT — runtime/runtime_flags.rs
GRID_RUNTIME_BBOX_FILTERS — runtime/runtime_flags.rs
GRID_RUNTIME_BULK_MATERIALIZATION — runtime/runtime_flags.rs
GRID_RUNTIME_BYTECODE — runtime/runtime_flags.rs
GRID_RUNTIME_CLAMPED_AFFINES — runtime/runtime_flags.rs
GRID_RUNTIME_COLLECTION_HISTORY_MAX_BYTES — runtime/collection_runtime.rs
GRID_RUNTIME_COLLECTION_HISTORY_REVISIONS — runtime/collection_runtime.rs
GRID_RUNTIME_COLUMNAR_MIXED_ARRAYS — runtime/runtime_flags.rs
GRID_RUNTIME_CONVOLVE_FFT_MIN — runtime/matrix_fft.rs
GRID_RUNTIME_COST_DISPATCH — compiler/main.rs
runtime/runtime_flags.rs
GRID_RUNTIME_DENSE_EXPR_FUSION — runtime/bin/workbook_gate_b_full_contract.rs
runtime/runtime_flags.rs
GRID_RUNTIME_DENSE_NUMBER_ARRAYS — runtime/runtime_flags.rs
GRID_RUNTIME_DFT_FFT_MIN — runtime/matrix_fft.rs
GRID_RUNTIME_DISTANCE_FIELDS — runtime/runtime_flags.rs
GRID_RUNTIME_FILE_READ_MAX_BYTES — runtime/model_fs.rs
GRID_RUNTIME_FILE_WRITE_MAX_BYTES — runtime/model_fs.rs
GRID_RUNTIME_FIXED_NOW — runtime/functions.rs
runtime/spreadsheet_datetime.rs
GRID_RUNTIME_FORMULA_PARALLEL — compiler/compile.rs
compiler/main.rs
runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE_CACHE_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE_GAIN_PERCENT — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE_MIN_SAMPLES — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE_PROBE_INTERVAL — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_ADAPTIVE_PROBE_NS — runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_POLICY — compiler/main.rs
runtime/runtime_flags.rs
GRID_RUNTIME_FORMULA_PARALLEL_THRESHOLD — compiler/main.rs
runtime/runtime_flags.rs
GRID_RUNTIME_FUSED_REDUCE — runtime/runtime_flags.rs
GRID_RUNTIME_FUSE_SUMPRODUCT — runtime/runtime_flags.rs
GRID_RUNTIME_GATE_B_ELEMENTS — runtime/bin/workbook_gate_b_full_contract.rs
GRID_RUNTIME_GATE_B_QUICK — runtime/bin/workbook_gate_b_full_contract.rs
GRID_RUNTIME_GATE_B_SAMPLES — runtime/bin/workbook_gate_b_full_contract.rs
GRID_RUNTIME_GRAPH_POISSON_PARALLEL_MIN_NODES — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_CACHE_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_GAIN_PERCENT — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_MIN_LEN — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_MIN_SAMPLES — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_PROBE_INTERVAL — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_ADAPTIVE_PROBE_NS — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_DOT_THRESHOLD — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_MINMAX_THRESHOLD — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_POLICY — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_PRODUCT_THRESHOLD — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_SUM_THRESHOLD — runtime/runtime_flags.rs
GRID_RUNTIME_KERNEL_PARALLEL_VARIANCE_THRESHOLD — runtime/runtime_flags.rs
GRID_RUNTIME_LAZY_VALUE_CACHE — runtime/runtime_flags.rs
GRID_RUNTIME_LBM_D2Q9_PARALLEL_MIN_NODES — runtime/runtime_flags.rs
GRID_RUNTIME_LIR_VALIDATE_FULL — runtime/lir_dispatch.rs
GRID_RUNTIME_MATERIALIZATION_EVENTS — runtime/bin/workbook_gate_b_full_contract.rs
runtime/runtime_flags.rs
GRID_RUNTIME_MATERIALIZATION_EVENT_BUFFER — runtime/runtime_flags.rs
GRID_RUNTIME_MAX_COLUMNAR_MIXED_CELLS — runtime/runtime_flags.rs
GRID_RUNTIME_MAX_EVAL_DEPTH — runtime/runtime_flags.rs
GRID_RUNTIME_MAX_FUNCTION_BRIDGE_ARRAY_CACHE_BYTES — runtime/runtime_flags.rs
GRID_RUNTIME_MAX_FUNCTION_BRIDGE_ARRAY_CACHE_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_MAX_RANGE_CACHE_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_NEAREST_K — runtime/runtime_flags.rs
GRID_RUNTIME_NUMERIC_LANE_DEOPT — runtime/runtime_flags.rs
GRID_RUNTIME_NUMERIC_TAG_EXPANDED — compiler/optimizer.rs
runtime/runtime_flags.rs
GRID_RUNTIME_PARALLEL_ADMISSION — runtime/runtime_flags.rs
GRID_RUNTIME_PARALLEL_ADMISSION_PERMITS — runtime/runtime_flags.rs
GRID_RUNTIME_POINT_IN_REGIONS — runtime/runtime_flags.rs
GRID_RUNTIME_PRECISE_LAZY_INVALIDATION — runtime/runtime_flags.rs
GRID_RUNTIME_PROFILER_DEFAULT — runtime/runtime_flags.rs
GRID_RUNTIME_RESOLVE_TIMEOUT_MS — runtime/lir_dispatch.rs
GRID_RUNTIME_REVISION_EXPR_MEMO — runtime/runtime_flags.rs
GRID_RUNTIME_REVISION_EXPR_MEMO_MAX_BYTES — runtime/runtime_flags.rs
GRID_RUNTIME_REVISION_EXPR_MEMO_MAX_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_RUNNING_SUMS — runtime/runtime_flags.rs
GRID_RUNTIME_RUNNING_SUMS_2D — runtime/runtime_flags.rs
GRID_RUNTIME_SHAPE_DISPATCH — runtime/runtime_flags.rs
GRID_RUNTIME_SHARED_FORMULA_VECTORS — runtime/runtime_flags.rs
GRID_RUNTIME_SIMD — runtime/runtime_flags.rs
GRID_RUNTIME_SLIDING_SUMS — runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER — runtime/decision_report.rs
runtime/functions.rs
runtime/lir_dispatch.rs
runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER_GRADIENT — runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER_MAX_EVALS — runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER_REGIONS — runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER_TIMEOUT_MS — runtime/runtime_flags.rs
GRID_RUNTIME_SOLVER_WORKERS — runtime/runtime_flags.rs
GRID_RUNTIME_SPATIAL_JOINS — runtime/runtime_flags.rs
GRID_RUNTIME_STACK_GROW_SIZE — runtime/stack_guard.rs
GRID_RUNTIME_STACK_RED_ZONE — runtime/stack_guard.rs
GRID_RUNTIME_STAGED_TEMPORAL — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE_CACHE_ENTRIES — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE_GAIN_PERCENT — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE_MIN_SAMPLES — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE_MIN_WORK — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_ADAPTIVE_PROBE_INTERVAL — runtime/runtime_flags.rs
GRID_RUNTIME_TEXT_FIND_ANY_POLICY — runtime/runtime_flags.rs
GRID_RUNTIME_TOPOLOGICAL_EVAL — runtime/runtime_flags.rs

GRID_RUST

Code Message template(s) Source
GRID_RUST_PARSE — compiler/parser.rs
GRID_RUST_PARSE_COERCION_MODE expected coercion mode to be strict, warn, loose, or off compiler/parser.rs
GRID_RUST_PARSE_DEPTH expression nesting exceeds the parser depth limit of {} levels compiler/parser.rs
GRID_RUST_PARSE_DIMENSIONS_MODE expected dimensions mode to be strict, warn, or off compiler/parser.rs
GRID_RUST_PARSE_FX_RATE_DIRECTIVE expected a three-letter ISO currency code, got {base}

expected a three-letter ISO currency code, got {quote}

fx_rate directives target a single cell or named value
compiler/parser.rs
GRID_RUST_PARSE_STRICTNESS_AXIS expected the except axis to be coercion or dimensions compiler/parser.rs
GRID_RUST_PARSE_UNIT_DECLARATION custom unit names may contain only letters, digits, and underscores compiler/parser.rs
GRID_RUST_PARSE_UNIT_SCALES_MODE expected unit_scales mode: strict, warn, or off compiler/parser.rs
GRID_RUST_PARSE_UNTERMINATED_COMMENT block comment was not closed before end of input compiler/parser.rs
GRID_RUST_RANGE_DECORATOR input/default decorators are not supported on range assignments compiler/parser.rs
GRID_RUST_SERIALIZE failed to serialize Workbook model JSON: {err} compiler/lib.rs
GRID_RUST_TABLE_MUTATION_DECORATOR input/output decorators are not supported on table mutations compiler/parser.rs
GRID_RUST_TABLE_MUTATION_OPERATOR unsupported table mutation operator; use +=, ^=, *=, or -= compiler/parser.rs
GRID_RUST_TABLE_MUTATION_SCHEDULE schedule modifiers are not supported on table mutations compiler/parser.rs
GRID_RUST_TABLE_MUTATION_TARGET rule table mutations require a local table name

table mutations require a named table target
compiler/parser.rs
GRID_RUST_TABLE_MUTATION_UNSUPPORTED table mutation for {table:?} requires host source execution lowering compiler/compile.rs

GRID_SAMPLE

Code Message template(s) Source
GRID_SAMPLE_BINDINGS_REQUIRED {unknown} is not a bindable fixed parameter of {}

{form} over {} is missing a binding for {missing}

{form} over {} requires an object binding every parameter except {varying}
compiler/callables.rs
GRID_SAMPLE_PARAMETER_REQUIRED {form} over the multi-parameter definition {} requires one of its parameter names ({}) compiler/callables.rs

GRID_SIM

Code Message template(s) Source
GRID_SIM — runtime/lir_dispatch.rs
GRID_SIM_CANARY_MODELS — runtime/lir_dispatch.rs
GRID_SIM_MAX_EVALUATIONS — runtime/lir_dispatch.rs
GRID_SIM_MAX_STEPS — runtime/lir_dispatch.rs
GRID_SIM_TIMEOUT_MS — runtime/lir_dispatch.rs

GRID_STATE

Code Message template(s) Source
GRID_STATE_DECLARATION_SHAPE a STATE declaration with a non-eager operator or schedule compiler/parser.rs
GRID_STATE_DECORATOR_CONFLICT state declarations cannot also be input or output declarations compiler/parser.rs

GRID_SYMBOL

Code Message template(s) Source
GRID_SYMBOL_AUTHORITY — compiler/parser.rs
GRID_SYMBOL_CELL_NAME symbolic variable {authored_name} is also a cell address; choose a non-cell identifier compiler/parser.rs
GRID_SYMBOL_DECLARATION_TAIL only a comment may follow symbol <name> compiler/parser.rs
GRID_SYMBOL_DUPLICATE symbolic variable {} is declared more than once compiler/parser.rs
GRID_SYMBOL_IMPORT_COLLISION assignment target {name} collides with an imported immutable symbolic variable

local symbolic variable {} conflicts with an imported symbolic value
compiler/parser.rs
GRID_SYMBOL_MUTABLE_COLLISION {role} target {name} collides with immutable symbolic variable {name} compiler/parser.rs
GRID_SYMBOL_RULE_TARGET rule target {name} cannot mutate an imported immutable symbolic variable

rule target {name} cannot mutate immutable symbolic variable {name}
compiler/parser.rs

GRID_SYMBOLIC

Code Message template(s) Source
GRID_SYMBOLIC_TRUTHINESS a symbolic expression or relation has no Workbook truth value runtime/functions.rs

GRID_TABLE

Code Message template(s) Source
GRID_TABLE_AGGREGATE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_AGGREGATE_ROW — runtime/lir_dispatch.rs
GRID_TABLE_AVG — runtime/lir_dispatch.rs
GRID_TABLE_CHANGE_SEQ — runtime/lir_dispatch.rs
GRID_TABLE_CORRELATED_AGGREGATE_BATCH_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_CORRELATED_AGGREGATE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_CORRELATED_EXISTS_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_COUNT — runtime/lir_dispatch.rs
GRID_TABLE_DISTINCT_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_AVG — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_COUNT — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_FIRST_VALUE — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_MAX — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_MIN — runtime/lir_dispatch.rs
GRID_TABLE_FILTERED_SUM — runtime/lir_dispatch.rs
GRID_TABLE_FIRST_VALUE — runtime/lir_dispatch.rs
GRID_TABLE_IN_SUBQUERY_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_JOIN_AGGREGATE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_JOIN_AGGREGATE_REPORT — runtime/lir_dispatch.rs
GRID_TABLE_JOIN_COMPARE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_JOIN_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_JOIN_SOURCE_FILTER_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_MAX — runtime/lir_dispatch.rs
GRID_TABLE_MIN — runtime/lir_dispatch.rs
GRID_TABLE_NOT_IN_SUBQUERY_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_REVISION — runtime/lir_dispatch.rs
GRID_TABLE_ROWS — runtime/lir_dispatch.rs
GRID_TABLE_ROWS_WITH_SCHEMA — runtime/lir_dispatch.rs
GRID_TABLE_SCALAR_SUBQUERY_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_SCHEMA_PROJECT — runtime/lir_dispatch.rs
GRID_TABLE_SET_DERIVED_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_SET_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_SET_TREE_QUERY — runtime/lir_dispatch.rs
GRID_TABLE_SUM — runtime/lir_dispatch.rs
GRID_TABLE_UNION_ALL_QUERY — runtime/lir_dispatch.rs

GRID_TAG

Code Message template(s) Source
GRID_TAG_ACCESS_TAG_REQUIRED predicate access requires a predicate name, for example PREDICATES(A1).reviewed compiler/parser.rs
GRID_TAG_ACCESS_TARGET PREDICATES expects exactly one cell or named symbol compiler/parser.rs
GRID_TAG_ARITY predicate :{kind} expects {} argument(s), got {}

predicate :{predicate} needs exactly one {} field

predicate :{tag} expects {} argument(s), got {}
compiler/parser.rs
GRID_TAG_DUPLICATE_DECLARATION predicate :{name} is already declared compiler/parser.rs
GRID_TAG_DUPLICATE_FIELD predicate :{name} declares field {field_name:?} more than once compiler/parser.rs
GRID_TAG_DUPLICATE_IDENTITY_FIELD predicate :{name} identity field {:?} is listed more than once compiler/parser.rs
GRID_TAG_IDENTITY_ARITY predicate :{tag} removal expects {} identity value(s) in many by order, got {} compiler/parser.rs
GRID_TAG_IMPORT_CONFLICT imported predicate :{} conflicts with an existing declaration compiler/parser.rs
GRID_TAG_INSTANCE_CONTEXT structured predicate instances are only valid in predicate attachment or += mutation compiler/parser.rs
GRID_TAG_MANY_IDENTITY_REQUIRED predicate :{name} declared many must specify by (field, ...)

predicate :{name} declared many needs at least one identity field
compiler/parser.rs
GRID_TAG_MANY_KEYED_REMOVE_RULE_ONLY keyed removal of :{tag} is reactive state mutation and is only valid inside a rule; use bare -= :{tag} here to clear the static base compiler/parser.rs
GRID_TAG_NOT_MANY predicate :{tag} is single-valued compiler/parser.rs
GRID_TAG_REMOVE_PAYLOAD remove :{tag} without a field payload

single-valued predicate :{tag} is removed without a field payload
compiler/parser.rs
GRID_TAG_RESERVED_FIELD predicate field {field_name:?} is reserved for carrier metadata compiler/parser.rs
GRID_TAG_SIGNATURE_REQUIRED predicate :{kind} needs a predicate {kind}(...) declaration before it can carry fields

predicate :{predicate} needs a declaration

predicate :{predicate} needs a declaration when a field value is not a literal

predicate :{tag} must be declared many by (...) before keyed removal

predicate :{tag} needs a predicate {tag}(...) declaration before field access

predicate :{tag} needs a predicate {tag}(...) declaration before it can carry fields

predicate :{tag} needs a declaration before it can be many
compiler/parser.rs
GRID_TAG_SINGLE_MULTIPLE predicate :{tag} is single-valued and cannot be attached more than once; declare it many by (...) to allow multiple instances compiler/parser.rs
GRID_TAG_UNKNOWN_FIELD predicate :{tag} has no field {field:?} compiler/parser.rs
GRID_TAG_UNKNOWN_IDENTITY_FIELD predicate :{name} identity field {identity:?} is not declared in its payload compiler/parser.rs

GRID_TEMPERATURE

Code Message template(s) Source
GRID_TEMPERATURE_ARITHMETIC — compiler-passes/passes/dimensional.rs

GRID_TEMPORAL

Code Message template(s) Source
GRID_TEMPORAL_REPLAY_UNAVAILABLE — runtime/lir_dispatch.rs
runtime/temporal_capture.rs

GRID_TENSOR

Code Message template(s) Source
GRID_TENSOR_DEVICE — runtime/lir_dispatch.rs
GRID_TENSOR_DIMENSION_INVALID Tensor dimensions must be positive integers; use Tensor[] for a scalar

Tensor dimensions must fit in an unsigned 64-bit integer
compiler/parser.rs
GRID_TENSOR_ELEMENT_TYPE expected an element type after of compiler/parser.rs
GRID_TENSOR_MAX_RESIDENT_BYTES — runtime/lir_dispatch.rs
GRID_TENSOR_POLICY expected precision after with in a Tensor type compiler/parser.rs
GRID_TENSOR_PRECISION_UNSUPPORTED Tensor precision must be 32 or 64; low-bit storage is a quantization policy, not floating-point precision compiler/parser.rs

GRID_TEST

Code Message template(s) Source
GRID_TEST_DIAGNOSTIC — runtime/native_tree_transport.rs

GRID_THEORY

Code Message template(s) Source
GRID_THEORY_LABEL_DUPLICATE THEORY label {:?} duplicates an earlier local label at bytes {}..{} compiler/tree_semantics.rs

GRID_TOP

Code Message template(s) Source
GRID_TOP_LEVEL_COMPOUND_ASSIGNMENT a top-level arithmetic compound assignment compiler/parser.rs

GRID_TOPOLOGY

Code Message template(s) Source
GRID_TOPOLOGY_BOUNDARY_REFINEMENT boundary contact refines only inside or encloses compiler/parser.rs

GRID_TRAVERSE

Code Message template(s) Source
GRID_TRAVERSE_ARITY — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_CONCURRENCY — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_EFFECT_CARDINALITY — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_LAMBDA — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_LIMIT — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_REQUIRES_EFFECT — compiler-passes/lowering/parser_bridge.rs
GRID_TRAVERSE_SOURCE_EFFECT — compiler-passes/lowering/parser_bridge.rs

GRID_TREE

Code Message template(s) Source
GRID_TREE_ADAPTER_PREDICATE_READ_ONLY tree condition adapter predicate {name} is reserved read-only and cannot {operation} compiler/parser.rs
GRID_TREE_AUTHORITY_UNAVAILABLE GRIDUTRM schema-3 conditional replay omitted its exact condition runtime

GRIDUTRM schema-3 replay reacquired a different condition snapshot identity

TREE-8 replay producer contains no compiler-emitted solver roots

TREE-8 replay requires producer milestone {TREE8_MILESTONE} or later; module declares TREE-{}
runtime/native_tree_transport.rs
runtime/producer_module_registry.rs
runtime/tree7_execution_provider.rs
runtime/tree8_execution_provider.rs
runtime/tree8_solver_replay.rs
runtime/tree_condition_replay.rs
GRID_TREE_CALLABLE_COLLISION callable {name:?} is declared as {} but already resolves to {} compiler/tree_semantics.rs
GRID_TREE_CALL_ARITY tree operation {name:?} expects {} argument(s) but was called with {}

{construct} expects {expected} argument(s) but was called with {}
compiler/parser.rs
GRID_TREE_CONDITION_INVALID PATTERN condition range is outside its retained source fragment

THEOREM condition range is outside its retained source fragment

THEORY condition range is outside its retained source fragment

TRANSFORM condition range is outside its retained source fragment

TRANSLATE condition range is outside its retained source fragment

tree WHEN clause is not one complete Predicate proposition

tree condition numeric constants must be finite

tree conditions cannot carry mutable unary-predicate payload expressions
compiler/tree_condition_compile.rs
compiler/tree_semantics.rs
runtime/tree_condition_replay.rs
GRID_TREE_CONDITION_LIMIT tree WHEN clause exceeds the Predicate parser work ceiling

tree condition parameter ordinal exceeds u32

{what} count exceeds u32
compiler/tree_condition_compile.rs
GRID_TREE_CONDITION_RESERVED_SYMBOL authored condition symbol uses a reserved Predicate identity prefix compiler/tree_condition_compile.rs
GRID_TREE_CONDITION_VARIABLE Predicate variable {variable:?} is neither lexically bound nor a tree parameter compiler/tree_condition_compile.rs
GRID_TREE_DECLARATION PATTERN has no positive MATCH fragment

PATTERN retained more than one positive MATCH fragment

TRANSFORM LIMIT must be a positive integer

TRANSFORM equality source {visible_name:?} has no compiled native THEORY value

TRANSLATE LIMIT must be a positive integer

expanded PATTERN clauses must appear as MODULO?, MATCH, WITHOUT*, WHEN?
compiler/tree_semantics.rs
compiler/tree_syntax.rs
GRID_TREE_DECLARATION_UNTERMINATED tree declaration is missing its terminating END

tree declaration must close with END at its header indentation
compiler/tree_syntax.rs
GRID_TREE_DERIVED_BINDING derived parameter dependency was not compiled in declaration order

derived parameter {:?} references nonpreceding parameter {:?}

derived result type {result:?} cannot produce cardinality {cardinality:?} at sort {sort:?}

derived translation argument has no exact retained sort

derived translation arguments may reference only earlier captured or derived parameters

derived translation dependency was not compiled in declaration order

derived translation parameter {:?} references nonpreceding parameter {:?}

{construct} derived parameter {:?} cannot reference itself or a later parameter {:?}

{construct} derived parameter {:?} may reference only earlier captured or derived parameters

{construct} derived parameter {:?} references unknown parameter {:?}

{construct} parameter {:?} uses a derived binding outside a directed TRANSFORM or TRANSLATE rule
compiler/tree_semantics.rs
GRID_TREE_EXECUTABLE_PATTERN_REQUIRED TREE-9 SOLVER MATCH goal has no exact retained template companion compiler/tree_semantics.rs
GRID_TREE_EXECUTABLE_THEORY_REQUIRED SOLVER USING source {visible_name:?} carries an executable bundle unequal to its compiler-retained templates

TRANSFORM equality source {visible_name:?} carries an executable bundle unequal to its compiler-retained templates
compiler/tree_semantics.rs
GRID_TREE_FEATURE_UNAVAILABLE {construct} requires TREE-{required}; this build promotes through TREE-{}

{} requires TREE-{required}; this build promotes through TREE-{}
compiler/parser.rs
GRID_TREE_FRAGMENT_BOUNDARY_AMBIGUOUS — compiler/tree_fragment_partition.rs
GRID_TREE_FRAGMENT_BOUNDARY_BUDGET tree WHEN clause exhausted its Predicate proposition parse budget compiler/parser.rs
GRID_TREE_FRAGMENT_INVALID PATTERN fragment and retained typed artifact have different source extents

PATTERN fragment must retain exactly one typed pattern side

PATTERN has no retained compiled fragment artifact

PATTERN retained {} native fragment inputs for {} selected fragment artifacts

THEOREM {:?} and its retained artifact have different source extents

THEOREM {:?} must retain exactly one compiled equality artifact

THEOREM {:?} must retain exactly two typed equation sides

THEORY law {:?} and its retained artifact have different source extents

THEORY law {:?} has no retained compiled fragment artifact

THEORY law {:?} must retain exactly two typed equation sides

THEORY retained more compiled fragment artifacts than authored local laws

THEORY {:?} is missing an exact template sidecar for one flattened law

THEORY {:?} retained conflicting template companions for one exact equation

TRANSFORM equality source {visible_name:?} does not retain one exact template pair per flattened law

TRANSFORM equality source {visible_name:?} has a template pair outside exact flattened-law order

TRANSFORM retained more compiled fragment artifacts than authored inline rules

TRANSFORM rule {:?} and its retained artifact have different source extents

TRANSFORM rule {:?} has no retained compiled fragment artifact

TRANSFORM rule {:?} must retain exactly two typed rewrite sides

TRANSLATE retained more compiled fragment artifacts than authored rules

TRANSLATE rule {:?} and its retained artifact have different source extents

TRANSLATE rule {:?} has no retained compiled fragment artifact

TRANSLATE rule {:?} must retain exactly one source and one target typed side

TRANSLATE target hole references unmapped parameter ordinal {ordinal}

TRANSLATE target parameter map is incomplete

TRANSLATE target template retains an unknown declaration parameter

selected tree fragment has no retained typed source side

selected tree fragment has no retained typed target side

tree WHEN clause is not one complete Predicate proposition
compiler/parser.rs
compiler/tree_semantics.rs
GRID_TREE_FRESH_POLICY TRANSFORM rule {:?} fresh parameter {:?} names absent token policy {:?}

TRANSLATE rule {:?} fresh parameter {:?} names absent target token policy {:?}

{construct} parameter {:?} uses FRESH outside a directed TRANSFORM or TRANSLATE rule
compiler/tree_semantics.rs
GRID_TREE_INTERNAL_LITERAL_RESERVED {name} is compiler-owned; declare a grammar-bound {declaration} instead compiler/parser.rs
GRID_TREE_INTERRUPTED TREE-7 execution was interrupted before producer replay

TREE-7 {stage} was interrupted before its public record was committed

TREE-8 execution was interrupted before producer replay

TREE-8 {stage} was interrupted before its public result was committed

TREE-8 {stage} was interrupted before replay publication committed

TREE.SOLVE condition-journal codec was interrupted before commit

TREE.SOLVE condition-journal {stage} was interrupted before commit

native TREE {stage} was interrupted before publication committed
runtime/native_tree_transport.rs
runtime/producer_module_registry.rs
runtime/tree7_execution_provider.rs
runtime/tree8_execution_provider.rs
runtime/tree8_solver_replay.rs
runtime/tree_condition_replay.rs
GRID_TREE_INTRINSIC_UNKNOWN — runtime/lir_dispatch.rs
GRID_TREE_ITEM_TOO_LARGE tree declaration item exceeds the configured UTF-8 byte ceiling compiler/tree_syntax.rs
GRID_TREE_JSON_UNSUPPORTED — runtime/compact_egress.rs
runtime/structured_functions.rs
runtime/value.rs
GRID_TREE_JSON_UNSUPPORTED_MESSAGE — runtime/value.rs
GRID_TREE_MILESTONE_MISMATCH — compiler-passes/source_compile.rs
runtime/lir_dispatch.rs
GRID_TREE_NAME_COLLISION TRANSLATE {name:?} collides with existing named value {:?}

imported named value {visible_name:?} collides with existing named value {:?}

named value {name:?} collides with the existing {} value {:?}

{} {name:?} collides with existing named value {:?}
compiler/tree_semantics.rs
GRID_TREE_NAME_UNRESOLVED ALGEBRA role has an empty law reference

ALGEBRA role law {:?} must be qualified by its declaring THEORY

ALGEBRA role owner {owner_name:?} has no compiled native THEORY value

PATTERN algebra {visible_name:?} has no compiled native ALGEBRA value

SOLVER USING source {visible_name:?} has no compiled native THEORY value

SOLVER USING source {visible_name:?} is absent

SOLVER algebra {visible_name:?} has no compiled native value

SOLVER goal pattern {visible_name:?} has no compiled native value

SOLVER {clause} source {visible_name:?} has no compiled native TRANSFORM value

THEOREM solver {solver_name:?} has no compiled native SOLVER value

THEORY included equality source {visible_name:?} is absent

TRANSFORM algebra {visible_name:?} has no compiled native value

TRANSFORM equality source {visible_name:?} is not visible

TRANSFORM stage {visible_name:?} has no compiled native value

TRANSLATE delegate {side} root {:?} is not an authored endpoint rule

TRANSLATE delegated import {visible_name:?} has no authenticated native translation value

TRANSLATE delegated local header was not retained by the staged resolver

TRANSLATE delegated translation {:?} is neither a preceding import nor a local TRANSLATE header

TRANSLATE {side} algebra {name:?} has no compiled native value

tree operation {operation_name:?} is called before its declaration or import; tree operation calls have no forward references

{construct} root {:?} is not an authored rule of grammar {:?}

{construct} {role} {name:?} is not in scope before this declaration
compiler/parser.rs
compiler/tree_semantics.rs
GRID_TREE_OPERATION_INTERRUPTED TREE.APPLY condition dispatch was interrupted before its journal append

TREE.APPLY condition reification was interrupted

TREE.APPLY condition snapshot initialization was interrupted

TREE.SOLVE {stage} was interrupted before condition-runtime publication

translation condition dispatch was interrupted before its journal append

translation condition reification was interrupted

translation condition snapshot initialization was interrupted

{label} producer encoding was interrupted

{stage} was interrupted
runtime/tree_condition_replay.rs
runtime/tree_operation_wire.rs
GRID_TREE_OPERATION_LIMIT TREE.APPLY condition snapshot exceeds its remaining logical work

translation condition snapshot exceeds its remaining logical work
runtime/tree_condition_replay.rs
GRID_TREE_PARAMETER_DUPLICATE tree condition parameter {:?} is duplicated case-insensitively

{construct} parameter {:?} duplicates parameter {} under case-insensitive name matching
compiler/tree_condition_compile.rs
compiler/tree_semantics.rs
GRID_TREE_PARAMETER_SORT THEOREM {:?} parameter {:?} has inconsistent side sort/cardinality authority

THEOREM {:?} retained unknown declaration parameter ordinal {}

THEORY law {:?} parameter {:?} has inconsistent side sort/cardinality authority

THEORY law {:?} retained unknown declaration parameter ordinal {}

TRANSFORM rule {:?} parameter {:?} has inconsistent side sort/cardinality authority

TRANSFORM rule {:?} retained unknown parameter ordinal {}
compiler/tree_semantics.rs
GRID_TREE_PARAMETER_UNUSED THEOREM {:?} parameter {:?} is absent from both compiled sides

THEORY law {:?} parameter {:?} is absent from both compiled sides

TRANSFORM rule {:?} parameter {:?} has no typed occurrence

TRANSLATE rule {:?} captured parameter {:?} is absent from its source pattern

TRANSLATE rule {:?} derived parameter {:?} is absent from its target template

TRANSLATE rule {:?} fresh parameter {:?} is absent from its target template

{construct}{item} parameter {:?} must occur in {required_location}
compiler/tree_semantics.rs
GRID_TREE_PATH_INVALID child ordinal 99 is outside this occurrence (test-only) runtime/incremental.rs (test-only)
runtime/lir_dispatch.rs (test-only)
GRID_TREE_PURE_DEFINITION_INVALID — compiler/tree_pure_compile.rs
GRID_TREE_RENDER_ROUND_TRIP canonical rendering was ambiguous (test-only) runtime/lir_dispatch.rs (test-only)
GRID_TREE_ROOT_MISMATCH TRANSLATE delegate {side} root {canonical:?} is not reachable from endpoint root {:?}

{item_kind} {side} qualifier {:?} is not an authored rule of grammar {:?}

{item_kind} {side} rule {:?} produces canonical sort {:?}, which is not reachable from declaration root {:?}
compiler/tree_semantics.rs
GRID_TREE_SIGNATURE_MISMATCH ALGEBRA has no retained grammar/root authority

PATTERN has no retained grammar/root authority

SOLVER has no retained grammar/root authority

SOLVER root is absent from its retained signature

THEOREM has no retained grammar/root authority

THEOREM {:?} sides do not share one exact selected sort authority

THEORY has no retained grammar/root authority

THEORY included equality source {visible_name:?} has no compiled native theory or checked-theorem value

THEORY law {:?} sides do not share one exact selected sort authority

TRANSFORM has no retained grammar/root authority

TRANSFORM root is absent from its retained signature

TRANSFORM rule {:?} sides do not share one exact selected sort authority

TRANSLATE TOKEN {side} symbol {requested:?} is absent from the exact endpoint signature

TRANSLATE delegate {side} grammar {grammar_name:?} is not the exact {side} endpoint grammar

TRANSLATE must retain exactly one source and one target grammar/root authority

TRANSLATE must retain exactly two endpoint bindings

TRANSLATE rule {:?} does not retain the exact source/target endpoint authorities

TRANSLATE source root is absent from its retained signature

TRANSLATE target root is absent from its retained signature

{item_kind} declaration root {:?} is absent from its retained signature

{item_kind} {side} rule {:?} derives conflicting canonical sorts {:?} and {:?}

{item_kind} {side} rule {:?} has no canonical sort in its retained signature
compiler/tree_semantics.rs
GRID_TREE_SOLVER_INVALID SOLVER {:?} requires exactly one GOAL clause; found {goal_count}

SOLVER {label} must be a positive integer
compiler/tree_semantics.rs
runtime/tree8_execution_provider.rs
GRID_TREE_TRANSLATION_INVALID TRANSLATE {source_name:?} delegates to {target_name:?} across a different exact source/target authority pair compiler/tree_semantics.rs
GRID_TREE_UNIFICATION_CONTEXT TREE.SUBSTITUTE context must be exactly :left, :right, or :qualified runtime/tree7_execution_provider.rs
GRID_TREE_UNIFICATION_INVALID TREE.SUBSTITUTE requires exactly four arguments runtime/tree7_execution_provider.rs
GRID_TREE_VALUE_INVALID GRIDUTRM schema-3 replay was routed to the wrong target-specific adapter

TREE-7 evaluator witness no longer authenticates its exact public record allocation

TREE-7 public record has duplicate evaluator witness associations

TREE-7 public record schema is invalid: {error}

TREE.NARROW condition PCD1 header differs from its portable evidence record

TREE.NARROW condition PCD1 proof-node count is truncated

TREE.NARROW condition PCD1 proof-node count overflowed

TREE.NARROW condition PCD1 root is truncated

TREE.NARROW condition PCD1 root length overflowed

TREE.NARROW condition PCD1 root option is invalid

TREE.NARROW condition PCD1 root option is truncated

TREE.NARROW condition does not retain canonical PCD1 schema 1 evidence

TREE.NARROW ground successor is not its syntax-tree root

TREE.NARROW live status, reason, or counters differ from their portable result

TREE.NARROW live, portable, and nested-family step projections differ in length

TREE.NARROW nested family constraint count differs from its portable step

TREE.NARROW nested family differs from its authenticated unification projection

TREE.NARROW nested family ordinal is absent from its unification projection

TREE.NARROW replayed algebra option differs from its portable invocation

TREE.NARROW replayed step coordinates differ from their portable step

TREE.NARROW successor retained a non-generated tree_pattern owner

TREE.SOLVE composite {label} did not replay byte-identically

TREE.SUBSTITUTE cold replay selected an unavailable family ordinal

TREE.SUBSTITUTE family differs from its freshly replayed GRIDUNFY result

TREE.SUBSTITUTE family is detached from its exact evaluator witness

TREE.SUBSTITUTE normalized constraints differ from the authenticated family

TREE.UNIFY algebra identity term cannot be hydrated: {}: {}

TREE.UNIFY binding references an absent variable

TREE.UNIFY equation references an absent group coordinate

TREE.UNIFY family and derivation projections differ in length

TREE.UNIFY negative parameter references an absent variable

TREE.UNIFY negative profile references an absent group

TREE.UNIFY partition references an absent group coordinate

TREE.UNIFY partition references an absent variable

TREE.UNIFY {label} references an absent support value

committed TREE.NARROW step condition is not exactly supported

complete TREE.SUBSTITUTE ground output is not its syntax-tree root

complete TREE.SUBSTITUTE output retained a non-generated tree_pattern owner

complete TREE.SUBSTITUTE result omits its derivation

complete TREE.SUBSTITUTE result omits its output term

incomplete TREE.SUBSTITUTE result retained a partial public output

supported TREE.NARROW condition omits its support proof root

supported TREE.NARROW condition retains a refutation proof root
runtime/native_tree_transport.rs
runtime/producer_module_registry.rs
runtime/tree7_execution_provider.rs
runtime/tree8_execution_provider.rs
runtime/tree8_solver_replay.rs
runtime/tree_condition_replay.rs
runtime/tree_operation_wire.rs
runtime/tree_transform_operation_wire.rs
runtime/tree_translation_operation_wire.rs
GRID_TREE_VALUE_LIMIT TRANSLATE target template has too many local parameters

TREE-7 native witness allocation failed

TREE-8 replay input allocation failed

TREE-8 {stage} allocation failed

TREE.NARROW public step allocation failed

TREE.NARROW public step index exceeds u32

TREE.SOLVE condition journal allocation failed

TREE.SOLVE condition-journal {label} allocation failed

{stage} allocation failed
compiler/tree_semantics.rs
runtime/native_tree_transport.rs
runtime/producer_module_registry.rs
runtime/tree7_execution_provider.rs
runtime/tree8_solver_replay.rs
runtime/tree_condition_replay.rs
runtime/tree_operation_wire.rs
runtime/tree_transform_operation_wire.rs
runtime/tree_translation_operation_wire.rs

GRID_UNBOUNDED

Code Message template(s) Source
GRID_UNBOUNDED_RANGE_TARGET range assignment targets require two finite cell addresses compiler/parser.rs

GRID_UNCERTAINTY

Code Message template(s) Source
GRID_UNCERTAINTY — runtime/lir_dispatch.rs
GRID_UNCERTAINTY_ENGINE — runtime/lir_dispatch.rs
GRID_UNCERTAINTY_SAMPLES — runtime/lir_dispatch.rs
GRID_UNCERTAINTY_SAMPLES_CAP — runtime/lir_dispatch.rs

GRID_UNIT

Code Message template(s) Source
GRID_UNIT_CURRENCY_SPELLING unit:{inner} names a currency — write currency:{code} (or just {code}). unit: is for physical/dimensional units. compiler/parser.rs
GRID_UNIT_DECLARATION invalid custom unit declaration: {error} compiler-passes/passes/dimensional.rs
GRID_UNIT_SCALE_MISMATCH — compiler-passes/passes/unit_scales.rs
GRID_UNIT_SCALE_UNVERIFIED — compiler-passes/passes/unit_scales.rs

GRID_USE

Code Message template(s) Source
GRID_USE_CYCLE module import cycle: {} compiler/parser.rs
GRID_USE_DUPLICATE_ALIAS import alias {alias} is already in use compiler/parser.rs
GRID_USE_EXPORT_NOT_FOUND import namespace has no callable export {name}

module {path} has no export {missing}
compiler/parser.rs
GRID_USE_MODULE_ERRORS imported module {path} failed to parse compiler/parser.rs
GRID_USE_MODULE_NOT_FOUND imported module not found: {path} compiler/parser.rs
GRID_USE_NO_RESOLVER cannot resolve USE "{path}": no module resolver is available compiler/parser.rs

GRID_VALIDATE

Code Message template(s) Source
GRID_VALIDATE_UNSATISFIABLE — compiler-passes/cli.rs
compiler-passes/passes/value_bounds.rs
GRID_VALIDATE_UNVERIFIED — compiler-passes/passes/value_bounds.rs

GRID_VALUE

Code Message template(s) Source
GRID_VALUE_IMPORT_CONFLICT imported value {key} conflicts with an existing imported value compiler/parser.rs

GRID_WHY

Code Message template(s) Source
GRID_WHY_INSPECTION_ONLY WHY inspects a resident result and is not a workbook formula; bind the proposition, then use gridctl cell why <model-id> <symbol> or Cell Inspection compiler/parser.rs

Grid View action identity

Code Message Source
GRID_VIEW_ACTION_KEY An arrow requires one nonempty literal scalar key, rather than a model or browser expression. compiler/surface_actions.rs
GRID_VIEW_DUPLICATE_ACTION_KEY Each model arrow key must be unique within its page or composite instance. compiler/surface_actions.rs