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.
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 expressioneffectful 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 targeteffectful 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.rscompiler/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.rsruntime/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 bindingimported definition {authored_name} conflicts with an existing callable binding; use a namespace alias or rename one definitionimported 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.rscompiler/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.rscompiler/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 alternativegrammar 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> selectorsgraph 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 edgeunexpected 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 statementsa .gs predicate library may declare paths, rules, and laws, but not model facts, evidence events, or checked propositionsimported 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 lawspath {predicate} is derived and cannot be the head of a predicate rulepath {predicate} is derived and cannot declare logical lawspath {} 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.rsruntime/lir_dispatch.rs |
GRID_LOGISTICS_DEADLINE_EXCEEDED |
— | runtime/decision_packages.rsruntime/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.rscompiler-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.rsruntime/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 syntaxnamed 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 resolutioncommunity objective must be modularity or cpmcommunity 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 argumentsundirected does not accept argumentscommunity 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 meansymmetrize 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.rscompiler-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.rsruntime/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.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_QUALIFY |
— | compiler/relational_plan.rscompiler-passes/lowering/parser_bridge.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_RECURSION |
— | compiler/relational_plan.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_SCALAR |
— | compiler/relational_plan.rscompiler-passes/lowering/parser_bridge.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_SET |
— | compiler/relational_plan.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_SHAPE |
— | compiler/relational_plan.rscompiler-passes/lowering/parser_bridge.rsruntime/lir_dispatch.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_SOURCE |
— | compiler/relational_plan.rsruntime/relational_metrics.rs |
GRID_RELATION_RESIDUAL_WINDOW |
— | compiler/relational_plan.rscompiler-passes/lowering/parser_bridge.rsruntime/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.rsruntime/runtime_flags.rs |
GRID_RUNTIME_DENSE_EXPR_FUSION |
— | runtime/bin/workbook_gate_b_full_contract.rsruntime/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.rsruntime/spreadsheet_datetime.rs |
GRID_RUNTIME_FORMULA_PARALLEL |
— | compiler/compile.rscompiler/main.rsruntime/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.rsruntime/runtime_flags.rs |
GRID_RUNTIME_FORMULA_PARALLEL_THRESHOLD |
— | compiler/main.rsruntime/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.rsruntime/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.rsruntime/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.rsruntime/functions.rsruntime/lir_dispatch.rsruntime/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 variablelocal 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 variablerule 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 {} fieldpredicate :{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 fieldspredicate :{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 removalpredicate :{tag} needs a predicate {tag}(...) declaration before field accesspredicate :{tag} needs a predicate {tag}(...) declaration before it can carry fieldspredicate :{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.rsruntime/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 scalarTensor 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.rsruntime/producer_module_registry.rsruntime/tree7_execution_provider.rsruntime/tree8_execution_provider.rsruntime/tree8_solver_replay.rsruntime/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.rscompiler/tree_semantics.rsruntime/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.rscompiler/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.rscompiler/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.rsruntime/producer_module_registry.rsruntime/tree7_execution_provider.rsruntime/tree8_execution_provider.rsruntime/tree8_solver_replay.rsruntime/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.rsruntime/structured_functions.rsruntime/value.rs |
GRID_TREE_JSON_UNSUPPORTED_MESSAGE |
— | runtime/value.rs |
GRID_TREE_MILESTONE_MISMATCH |
— | compiler-passes/source_compile.rsruntime/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.rscompiler/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.rsruntime/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.rscompiler/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.rsruntime/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.rsruntime/producer_module_registry.rsruntime/tree7_execution_provider.rsruntime/tree8_execution_provider.rsruntime/tree8_solver_replay.rsruntime/tree_condition_replay.rsruntime/tree_operation_wire.rsruntime/tree_transform_operation_wire.rsruntime/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.rsruntime/native_tree_transport.rsruntime/producer_module_registry.rsruntime/tree7_execution_provider.rsruntime/tree8_solver_replay.rsruntime/tree_condition_replay.rsruntime/tree_operation_wire.rsruntime/tree_transform_operation_wire.rsruntime/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.rscompiler-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 |