# Language Feature Traceability This generated internal report records the complete audited language feature matrix. The compiler-owned registry is `rust/grid-compiler-core/src/language_surface.rs`; the accompanying Rust test checks this report, the machine registry in `docs/specs/language_feature_registry.json`, public feature markers, and named conformance evidence. ## Declared presentation (FORMAT / VALIDATE / ## notes) (`declared_presentation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/presentation.md` - Parser: `parser.rs::Parser::try_parse_presentation_clauses` - Lowering: `grid-gir-passes::lowering::parser_bridge::resolve_declared_presentation` - Runtime: `host write surfaces (contracts) + grid-gir-passes::passes::value_bounds (assertions)` - Conformance evidence: - `rust/grid-compiler-core/tests/declared_presentation.rs::combined_clauses_inline_and_trailing_lines` - `rust/grid-compiler-core/tests/declared_presentation.rs::validate_on_computed_cell_parses_as_static_assertion` ## Named address aliases (`named_address_aliases`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::direct_alias_key_map` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/round127_wire_symbol_resolve.rs::overrides_through_an_alias_update_the_shared_binding` ## Compound assignment (`compound_assignment`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::try_parse_assignment_operator` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::apply_lir_rule_action_modes` - Conformance evidence: - `rust/grid-compiler-core/tests/def_and_symbols.rs::top_level_arithmetic_compound_assignment_is_rejected` - `rust/grid-runtime-core/tests/rule_reset_clear_modes.rs::source_rule_compound_operators_reach_native_write_modes` ## default / RESET / CLEAR (`default_override`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::check_rule_formula_co_ownership` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::apply_lir_rule_action_modes` - Conformance evidence: - `rust/grid-compiler-core/tests/mixed_ownership.rs::default_formula_plus_rule_set_does_not_warn` - `rust/grid-runtime-core/tests/rule_reset_clear_modes.rs::reset_restores_the_base_of_a_default_cell` ## Schedule modifiers (`schedule_modifiers`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/rules-and-schedules.md` - Parser: `parser.rs::Parser::try_parse_schedule_modifier` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/def_and_symbols.rs::schedule_modifiers_require_plain_eager_assignment` - `rust/grid-runtime-core/tests/assignment_modes.rs::once_state_exports_and_restores_across_session_restart` ## Rule blocks (`rule_blocks`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/rules-and-schedules.md` - Parser: `parser.rs::Parser::parse_rule_statement` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession::resolve_due_lir_rules` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_rule_blocks` - `rust/grid-runtime-core/tests/assignment_modes.rs::rule_only_target_is_blank_until_the_rule_fires` ## Simulated-time authoring (`simulation_authoring`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/simulation.md` - Parser: `parser.rs::Parser::parse_primary/parse_call_arguments_after_open_paren` - Lowering: `grid-gir-passes::passes::simulation::SimulationStateScan` - Runtime: `grid-runtime-core::lir_dispatch::LirSession::resolve_simulation_model` - Conformance evidence: - `rust/grid-runtime-core/tests/simulation_source_symbols.rs::simulation_inputs_and_outputs_resolve_source_compiled_coordinate_and_named_symbols` - `rust/grid-runtime-core/tests/round162_simulation_time_lane.rs::stock_integrates_flow_and_delay_uses_lag_history` - `rust/grid-runtime-core/tests/round162_simulation_time_lane.rs::rk4_beats_euler_and_rejects_discrete_state_mix` ## Strictness umbrella (`strictness_umbrella`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/coercion.md` - Parser: `parser.rs::Parser::try_parse_strictness_directive` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-gir::kernels::workbook_eval::numeric_operand` - Conformance evidence: - `rust/grid-compiler-core/tests/strictness_directive.rs::strict_sets_both_axes_strict` - `rust/grid-runtime-core/tests/coercion_enforcement.rs::strict_blocks_a_dynamic_string_coercion` ## Dimensional checking directive (`dimensional_checking_directive`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_dimensions_directive` - Lowering: `grid-gir-passes::cli::default_optimization_pipeline_for_mode/compile_workbook_ast_to_module_with_diagnostics_and_relational_context_inner` - Conformance evidence: - `rust/grid-compiler-core/tests/strictness_directive.rs::legacy_dimensions_directive_still_works_and_leaves_coercion_unset` - `rust/grid-gir-passes/tests/round131_dimensional_inference.rs::dimensions_off_header_suppresses_diagnostics` - `rust/grid-gir-passes/tests/round131_dimensional_inference.rs::dimensions_strict_header_blocks_lir_output` ## Unary predicates (`unary_predicates`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/predicates.md` - Parser: `parser.rs::Parser::try_parse_tag_declaration/tag_set_stmt` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/graph_authoring.rs::structured_tag_access_is_schema_checked` - `rust/grid-runtime-core/tests/adjective_markers.rs::rules_add_then_remove_an_undeclared_marker_reactively` - `rust/grid-runtime-core/tests/adjective_markers.rs::rule_updates_a_structured_tag_atomically` - `rust/grid-runtime-core/tests/adjective_markers.rs::structured_fields_are_accessible_through_both_tag_views` - `rust/grid-runtime-core/tests/adjective_markers.rs::structured_field_contracts_fail_closed_in_loose_mode` - `rust/grid-runtime-core/tests/adjective_markers.rs::adjective_articles_are_optional_at_runtime` - `rust/grid-runtime-core/tests/adjective_markers.rs::many_tag_rules_upsert_remove_one_and_remove_all_atomically` ## Unary-predicate compatibility graph view (`model_tags_graph`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/predicates.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `grid-gir-passes::lowering::graph::lower_model_tags` - Runtime: `grid-gir::kernels::graph_eval` - Reverse index: `grid-gir-passes::lowering::graph::lower_model_tags` and `grid-gir::kernels::graph_eval::apply_graph_tag_membership_bindings` - Conformance evidence: - `rust/grid-runtime-core/tests/adjective_markers.rs::model_tags_reverse_lookup_uses_colon_and_model_symbol_namespaces` - `rust/grid-runtime-core/tests/adjective_markers.rs::model_tags_reverse_lookup_tracks_rule_add_and_remove_all` - `rust/grid-runtime-core/tests/adjective_markers.rs::model_tags_reuses_resident_topology_when_only_the_query_operand_changes` - `rust/grid-runtime-core/tests/adjective_markers.rs::model_tags_payload_upsert_path_copies_properties_and_shares_csr` - `rust/grid-gir-passes/tests/graph_source_lowering.rs::model_tags_lowers_to_a_separate_dynamic_bipartite_graph` - `rust/grid-gir/src/kernels/graph_eval.rs::tests::tag_identity_v2_is_typed_delimited_and_normalizes_signed_zero` - `rust/grid-gir/src/kernels/graph_eval.rs::tests::many_tag_edge_ids_are_versioned_sha256_and_stable` - `rust/grid-runtime-core/src/lir_dispatch.rs::tag_hardening_tests::many_tag_state_upserts_by_identity_and_preserves_live_order` - `rust/grid-runtime-core/src/lir_dispatch.rs::tag_hardening_tests::randomized_many_tag_action_waves_match_reference_model` - `rust/grid-runtime-core/src/lir_dispatch.rs::tag_hardening_tests::graph_binding_revision_reuses_immutable_collection_fingerprint` - `rust/grid-graph-core/src/algorithms.rs::tests::neighbor_projection_deduplicates_parallel_rows_in_linear_canonical_order` - `rust/grid-graph-core/tests/graph_monsters.rs::ratatoskr_skewed_parallel_edges_and_self_loops_keep_canonical_oracles` - Scale evidence: - `rust/grid-graph-core/benches/graph_algorithms.rs::tag_bipartite_scale` - `rust/grid-runtime-core/benches/tag_many_mutation.rs::tag_many_mutation` - Production gate: `scripts/verify-tag-graph-rollout.mjs` and `docs/operations/tag-graph-rollout.md` ## General predicate programs (`general_predicates`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/predicates.md` - Parser: `parser.rs::Parser::try_parse_logical_statement` - Lowering: `grid-gir-passes::lowering::predicate::lower_predicates` - Runtime: `grid-gir::kernels::predicate_eval::evaluate_predicate_region` - Conformance evidence: - `rust/grid-compiler-core/tests/predicates.rs::general_predicate_language_retains_rules_laws_quantifiers_and_modalities` - `rust/grid-runtime-core/tests/predicates.rs::general_rules_laws_quantifiers_and_why_run_end_to_end` - `rust/grid-runtime-core/tests/predicates.rs::general_modalities_preserve_unknown_and_top_level_declarations` - `rust/grid-runtime-core/tests/predicates.rs::logical_contradictions_do_not_poison_independent_publications` ## Qualitative binary predicates (`temporal_predicates`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/predicates.md` - Parser: `parser.rs::Parser::try_parse_predicate_clause` - Lowering: `grid-gir-passes::lowering::predicate::lower_predicates` - Runtime: `grid-gir::kernels::predicate_eval::evaluate_predicate_region` - Conformance evidence: - `rust/grid-compiler-core/tests/predicates.rs::topology_uses_natural_relations_and_explicit_boundary_refinements` - `rust/grid-compiler-core/tests/predicates.rs::conceptual_sets_use_natural_empty_safe_extent_relations` - `rust/grid-runtime-core/tests/predicates.rs::topology_clauses_infer_through_nested_regions_and_explain_the_result` - `rust/grid-runtime-core/tests/predicates.rs::conceptual_set_inclusion_composes_and_explains_end_to_end` - `rust/grid-runtime-core/tests/predicates.rs::conceptual_set_identity_and_disjointness_allow_the_empty_extent` ## Unified extensional predicate graph view (`model_predicates_graph`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/predicates.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `grid-gir-passes::lowering::graph::lower_model_predicates` - Runtime: `grid-gir::kernels::graph_eval` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::model_predicates_unifies_unary_memberships_with_binary_facts` - `rust/grid-runtime-core/tests/predicates.rs::predicate_graph_unifies_reactive_unary_memberships_and_binary_facts` - `rust/grid-runtime-core/tests/predicates.rs::authored_facts_have_a_graph_projection` ## Generic knowledge-graph reasoning (`generic_knowledge_graph`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/graph-authoring.md` - Parser: `parser.rs::Parser::try_parse_knowledge_graph_declaration` - Lowering: `grid-gir-passes::lowering::predicate::lower_predicates` - Runtime: `grid-gir::kernels::predicate_eval::evaluate_predicate_region` - Conformance evidence: - `rust/grid-gir-passes/tests/knowledge_graph_lowering.rs::knowledge_graph_projection_names_the_lowered_graph_handle` - `rust/grid-runtime-core/tests/knowledge_graph_runtime.rs::arbitrary_graph_edges_feed_predicate_inference_without_losing_node_identity` - `rust/grid-runtime-core/tests/knowledge_graph_runtime.rs::typed_graph_properties_are_available_to_logical_rules_without_authored_copies` ## Durable graph patch journal (`graph_patch_journal`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/graph-authoring.md` - Parser: `parser.rs graph declarations define the immutable base snapshot` - Lowering: `grid-gir-passes::lowering::graph::lower_authored_graphs` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/knowledge_graph_runtime.rs::resident_graph_patches_recompute_the_projected_fact_base` - `rust/grid-runtime-host/src/main.rs::graph_patch_persistence_tests::graph_patch_sidecar_replays_exact_evidence_and_repairs_a_torn_tail` ## Implicit intersection removal (`implicit_intersection`) - Status: `diagnostic` - Kind: `diagnostic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_unary` - Lowering: `not lowered; parser emits GRID_IMPLICIT_INTERSECTION_REMOVED` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_at_prefix_intersection_removed` ## Assignment operators (`assignment_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_statement` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_statement_shapes` - `rust/grid-runtime-core/tests/assignment_modes.rs::lazy_assignment_recomputes_after_an_input_invalidation` ## Conditional assignment (`conditional_assignment`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::try_parse_assignment_operator` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/assignment_modes.rs::conditional_assignment_retains_the_last_successful_value` ## Typed assignments (`typed_assignments`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::try_parse_prefix_type_annotation` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::is_typed_assignment_emits_type_tag` ## Infix INTO cast (`into_cast_infix`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::into_cast_infix_lowers_to_type_tag_call` ## Type-tag hierarchy (`type_tag_hierarchy`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::finalize_type_tag` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-units::tag_refines` - Conformance evidence: - `rust/grid-runtime-core/tests/tag_refinement_validity.rs::strict_rejects_word_string_as_currency` ## STATE declarations (`model_state`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_statement` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::apply_lir_rule_action_modes` - Conformance evidence: - `rust/grid-compiler-core/tests/def_and_symbols.rs::state_declarations_lower_to_resettable_defaults` - `rust/grid-runtime-core/tests/rule_reset_clear_modes.rs::state_compound_rule_updates_read_the_committed_revision` ## Input/output decorators (`input_output_decorators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_statement` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession::set_input` - Conformance evidence: - `rust/grid-compiler-core/tests/compile_smoke.rs::declared_inputs_and_outputs_propagate_to_metadata` ## Target references (`target_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_assignment_target_after_qualifier` - Lowering: `grid-gir-passes::lowering::parser_bridge::target_cell_id` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::a1_assignment_target_compiles` ## Surface namespace slots (`surface_namespace_slots`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::try_parse_sheet_qualifier/parse_assignment_target_after_qualifier` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::parse_lir_symbol_to_cell_id` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::surface_namespace_components_compile_as_named_wires` - `rust/grid-compiler-core/tests/language_coverage.rs::surface_namespace_multiline_config_and_type_slot_name_parse` ## Range target expansion (`range_target_expansion`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_assignment_target_after_qualifier` - Lowering: `grid-gir-passes::lowering::parser_bridge::range_cells` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::range_assignment_emits_rectangle_in_optimized_mode` ## Destructuring assignment (`destructuring_assignment`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::try_parse_destructuring_statements` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_destructuring_assignment` ## SOLVE statements (`solve_statements`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/assignments.md` - Parser: `parser.rs::Parser::parse_solve_statement` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/round147_solve_statement.rs::solve_statement_goal_seeks_through_the_region_lane` ## Multiple statements (`multiple_statements`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_program` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_smoke.rs::parses_multiple_statements` - `rust/grid-compiler-core/tests/parser_smoke.rs::parses_statements_separated_by_semicolons` ## Model directives (`model_directives`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_skip_model_directive` - Lowering: `grid-compiler-core::compile_full_with_options` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_smoke.rs::skips_model_metadata_directives_before_assignments` - `rust/grid-compiler-core/tests/compile_smoke.rs::ignores_model_metadata_directives_when_lowering_ir` ## Module imports (`module_imports`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_use_directive` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_parsed_program` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/use_import.rs::imported_definition_keeps_raw_call_and_rebased_identity` - `rust/grid-runtime-core/tests/use_import_eval.rs::imported_function_evaluates_end_to_end` ## Decision-package declarations (`decision_packages`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/decision-packages.md` - Parser: `parser.rs::Parser::try_parse_decision_package_declaration` - Lowering: `grid-gir-passes::source_compile::compile_source_to_lir` - Runtime: `grid-runtime-core::decision_packages::DecisionPackageRegistry` - Conformance evidence: - `rust/grid-compiler-core/tests/decision_package.rs::parses_versioned_decision_package_contract` - `rust/grid-gir-passes/tests/decision_package_lir.rs::source_contract_survives_lir_round_trip` - `rust/grid-runtime-core/tests/decision_packages.rs::exact_native_package_becomes_resident_and_validates_artifacts` ## Capability requirements (`capability_requirements`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/external-functions.md` - Parser: `parser.rs::Parser::try_parse_requirement_declaration` - Lowering: `grid-gir-passes::lowering::source_callable::lower_capability_call` - Runtime: `grid-gir::kernels::workbook_eval::plan_workbook_capability_call` - Conformance evidence: - `rust/grid-compiler-core/tests/capability_requirements.rs::forward_requirements_are_canonical_and_intrinsic_sites_stay_raw` - `rust/grid-gir-passes/src/lowering/source_callable.rs::tests::capability_source_lowers_one_stage_authority_and_survives_compaction` - `rust/grid-runtime-core/src/lir_dispatch.rs::job_request_emission_tests::capability_plan_projects_to_exact_network_read_job_request` ## Block comments (`block_comments`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_skip_comment` - Lowering: `not lowered; comments are trivia` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_smoke.rs::parses_nested_block_comments` - `rust/grid-compiler-core/tests/stress_pathological.rs::unterminated_block_comment_emits_a_diagnostic_and_returns` ## Diagnostics (`diagnostics`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/errors.md` - Parser: `diagnostics.rs::DiagnosticBag` - Lowering: `grid-compiler-core::compile_full_with_options` - Conformance evidence: - `rust/grid-compiler-core/tests/diagnostics_smoke.rs::parse_diagnostic_includes_seen_context_hint` - `rust/grid-compiler-core/tests/diagnostics_smoke.rs::diagnostic_bag_format_with_source_handles_multiple_errors` ## First-class grammars and parsers (`first_class_grammars`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/grammars.md` - Parser: `parser.rs::Parser::try_parse_grammar_declaration` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_expr` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_first_class_parse` - Conformance evidence: - `rust/grid-compiler-core/tests/grammar_surface.rs::generator_is_first_class_and_can_be_imported_then_applied` - `rust/grid-runtime-core/tests/first_class_grammars.rs::cfg_is_one_grammar_value_with_lalr_and_earley_parsers` ## Contextual reserved-word diagnostics (`reserved_words`) - Status: `diagnostic` - Kind: `diagnostic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_primary` - Lowering: `not lowered when structural/operator context wins` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::named_reference_ne_to_reserved_word` ## Parser hardening edge cases (`parser_hardening_edge_cases`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser` - Lowering: `grid-compiler-core::compile_full_with_options` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_edge_cases.rs::double_slash_is_integer_division_not_a_comment` - `rust/grid-compiler-core/tests/parser_edge_cases.rs::multiple_bad_statements_yield_multiple_diagnostics` ## Multi-line bracket continuation (`multi_line_bracket_continuation`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::skip_whitespace_and_newlines` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_smoke.rs::open_delimiters_fold_newlines_and_accept_trailing_commas` ## Style-guide multi-line patterns (`style_guide_multi_line_patterns`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/style-guide.md` - Parser: `parser.rs::Parser` - Lowering: `format.rs::format_source` - Conformance evidence: - `rust/grid-compiler-core/tests/format_smoke.rs::control_flow_sugar_is_preserved_not_desugared` ## Trailing commas (`trailing_commas`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call_arguments_after_open_paren` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::function_call_accepts_trailing_commas_and_named_args` - `rust/grid-compiler-core/tests/parser_smoke.rs::open_delimiters_fold_newlines_and_accept_trailing_commas` ## Number literals (`number_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_number_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_number_forms` - `rust/grid-compiler-core/tests/language_coverage.rs::scientific_literal_is_number` ## Numeric separators (`numeric_separators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_number_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_number_forms` ## Hex and binary literals (`hex_and_binary_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_number_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::hex_literal_decodes_to_decimal_number` - `rust/grid-compiler-core/tests/language_coverage.rs::binary_literal_decodes_to_decimal_number` ## Octal literals (`octal_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_number_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::octal_literal_decodes_to_decimal_number` ## String literals (`string_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_string_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_string_literals_basic` - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_raw_strings_preserve_backslashes` ## String escapes (`string_escapes`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_string_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_doubled_quote_is_an_escaped_quote` - `rust/grid-compiler-core/tests/parser_edge_cases.rs::known_backslash_escapes_decode` ## String interpolation (`string_interpolation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_interpolated_string` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_backtick_interpolation_and_format_spec` - `rust/grid-compiler-core/tests/parser_edge_cases.rs::interpolated_string_literal_segment_preserves_unicode` ## Interpolation format specifiers (`format_specifiers_in_interpolation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_interpolated_string` - Lowering: `parser.rs lowers format placeholders to TEXT` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_backtick_interpolation_and_format_spec` - `rust/grid-compiler-core/tests/language_coverage.rs::interpolated_format_spec_lowers_to_text` ## Boolean literals (`boolean_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_primary` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_boolean_and_blank_literals` - `rust/grid-compiler-core/tests/language_coverage.rs::boolean_literals_round_trip` ## Wildcard and blank literals (`wildcard_and_blank_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_primary` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_wildcard_and_symbol_literals` - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_boolean_and_blank_literals` ## Typed literals (`typed_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_typed_string_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_typed_literal` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_typed_string_aliases` - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_structured_and_table_literals` - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_html_style_domain_typed_literals` - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_markup_typed_string_literals` ## Exact numeric literals (`exact_numeric_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_typed_string_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::value::GridValue` - Conformance evidence: - `rust/grid-runtime-core/tests/round_exact_numerics.rs::bigint_addition_is_exact_beyond_f64` - `rust/grid-runtime-core/tests/round_exact_numerics.rs::decimal_addition_avoids_binary_float_error` ## Custom unit literals (`custom_unit_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_number_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-units::canonical_unit_tag` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_numeric_suffix_literals` ## Custom unit declarations (`custom_unit_declarations`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_unit_declaration` - Lowering: `grid-gir-passes::passes::dimensional::DimensionalInference` - Runtime: `grid-units::UnitRegistry::from_declarations` - Conformance evidence: - `rust/grid-gir-passes/tests/round131_dimensional_inference.rs::custom_unit_declarations_infer_and_persist` ## Model-owned FX-rate declarations (`fx_rate_declarations`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_fx_rate_directive` - Lowering: `grid-gir-passes::passes::dimensional::DimensionalInference` - Conformance evidence: - `rust/grid-gir-passes/tests/round131_dimensional_inference.rs::declared_fx_rate_cell_legalizes_cross_currency_addition` - `rust/grid-gir-passes/tests/round131_dimensional_inference.rs::declared_fx_rate_cell_is_directional` ## Error literals (`error_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_error_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_all_error_literals` - `rust/grid-compiler-core/tests/language_coverage.rs::common_error_literals_preserve_codes` ## Regex literals (`regex_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_regex_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_regex_literals` ## Array literals (`array_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_array_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_calls_args_arrays` - `rust/grid-compiler-core/tests/parser_edge_cases.rs::two_dimensional_array_uses_semicolon_rows` ## Spread in arrays (`spread_in_arrays`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_array_literal` - Lowering: `parser.rs desugars row spread to HSTACK` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_calls_args_arrays` - `rust/grid-compiler-core/tests/language_coverage.rs::array_spread_in_row_lowers_to_hstack` ## Object literals (`object_literals`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_object_literal` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_edge_cases.rs::object_literal_preserves_key_order` ## Parenthesized expressions (`parenthesized_expressions`) - Status: `supported` - Kind: `syntax` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_primary` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_smoke.rs::parses_parenthesized_expression` ## Cell references (`cell_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_reference` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_reference_forms` ## Ranges (`ranges`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_range_tail` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::dense_range_collapses_to_range_descriptor` ## Full column and row ranges (`full_column_and_row_ranges`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_full_column_or_row_range` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::full_column_and_row_ranges_compact_distinct_endpoints` ## Spill references (`spill_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_spill_reference` ## Object dot/bracket access (`object_dot_bracket_access`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `parser.rs desugars access to INDEX / OPTIONAL_INDEX` - Runtime: `grid-runtime-core::functions::index_value` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::optional_dot_lowers_to_optional_index` ## Bracket and dot access (`bracket_and_dot_access`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `parser.rs desugars access to INDEX / OPTIONAL_INDEX` - Runtime: `grid-runtime-core::functions::index_value` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::optional_bracket_lowers_to_optional_index` ## From-end indexing (`from_end_indexing`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_bracket_access` - Lowering: `parser.rs desugars from-end access to INDEX` - Runtime: `grid-runtime-core::functions::index_value` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::slice_and_from_end_indexing_lower_to_calls` ## Slice notation (`slice_notation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_bracket_access` - Lowering: `parser.rs desugars slices to SLICE` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::slice_and_from_end_indexing_lower_to_calls` ## Structured references (`structured_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_bracket_access` - Lowering: `parser.rs desugars structured refs to TABLE_REF` - Runtime: `grid-runtime-core::functions::table_ref_fn` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_structured_reference` ## QUERY function (`query_function`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_query_function` ## Model table declarations (`model_table_declarations`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/relational-authoring.md` - Parser: `parser.rs::Parser::try_parse_prefix_type_annotation/parse_select_expression` - Lowering: `grid-gir-passes::lowering::parser_bridge::connector_binding_for_table + infer_live_table_view_declaration/infer_live_table_row_view_declaration/infer_live_table_join_row_view_declaration/infer_live_table_set_view_declaration` - Runtime: `grid-runtime-host::main::reconcile_authored_table_connector_bindings + grid-runtime-host::model_tables::ModelTableManager::reconcile_live_models` - Conformance evidence: - `rust/grid-compiler-core/tests/compile_smoke.rs::lowers_authored_table_connector_as_metadata_only_binding` - `rust/grid-gir-passes/tests/round5_parser_bridge.rs::authored_connector_tables_feed_the_complete_live_relational_pipeline` ## Native SELECT expression (`native_select_expression`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_select_expression` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::functions::rel_select_fn` - Conformance evidence: - `rust/grid-runtime-core/tests/native_relational_select.rs::native_select_executes_through_lir_for_arrays_and_record_sequences` - `rust/grid-runtime-core/tests/native_relational_select.rs::native_select_grouped_aggregates_execute_for_arrays_and_records` - `rust/grid-runtime-core/tests/native_relational_select.rs::native_select_left_join_executes_with_qualified_columns` - `rust/grid-runtime-core/tests/native_relational_select.rs::native_select_windows_execute_through_lir` - `rust/grid-gir-passes/tests/native_relational_frame_lowering.rs::frame_backed_select_lowers_to_semantic_frame_op_order_and_executes` ## PostgreSQL table queries (`postgresql_table_queries`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-host::postgres` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::postgres_table_helper_lowers_as_native_call` ## Native frames (`native_polars_frames`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-etl-host` - Conformance evidence: - `rust/grid-gir-passes/tests/native_relational_frame_lowering.rs::frame_backed_select_lowers_to_semantic_frame_op_order_and_executes` ## Spatial references (`spatial_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_spatial_reference` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::spatial_dynamic_offset_emits_runtime_spatial_node` ## NEIGHBORS reference (`neighbors_reference`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_neighborhood_reference` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::neighborhood_expands_to_column_array` ## Temporal references (`temporal_references`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_at_temporal_coordinate` - Lowering: `parser.rs desugars temporal access to TEMPORAL_REF` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::temporal_relative_offset_lowers_to_temporal_ref` - `rust/grid-compiler-core/tests/language_coverage.rs::temporal_at_word_and_year_offsets_lower_to_temporal_ref` ## Iteration context (`iteration_context`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/rules-and-schedules.md` - Parser: `parser.rs::Parser::parse_primary` - Lowering: `grid-gir-passes::lowering::parser_bridge::substitute_iteration_context` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-gir-passes/tests/round5_parser_bridge.rs::range_rule_actions_materialize_iteration_context_per_target` ## Header selection (`header_selection`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_header_pick_omit` - Lowering: `parser.rs desugars header access to COLUMN_BY_HEADER` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::header_selection_forms_lower_to_projection_calls` ## PICK / OMIT / RENAME sugar (`pick_omit_sugar_with_keys_without_keys`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_header_pick_omit` - Lowering: `parser.rs desugars projections to PICK / OMIT / RENAME` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::header_selection_forms_lower_to_projection_calls` - `rust/grid-compiler-core/tests/language_coverage.rs::infix_rename_lowers_to_call` ## Binary operators (`binary_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::arithmetic_binary_operators_lower_to_expected_ops` ## Unary operators (`unary_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_unary` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::unary_operator_spellings_compile` ## Pipeline operator (`pipeline_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_pipeline + pipe_into_target` - Lowering: `parser.rs desugars pipelines and functional FILTER to one call tree` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::pipe_bar_operator_desugars_like_double_angle` - `rust/grid-compiler-core/tests/parser_smoke.rs::functional_filter_pipe_desugars_to_one_shared_value_and_predicate_map` - `rust/grid-compiler-core/tests/parser_smoke.rs::legacy_functional_filter_placeholder_normalizes_to_the_canonical_shape` ## Infix apply OF (`of_apply_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_of_apply` - Lowering: `parser.rs desugars OF to pipeline application` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_pipe_and_infix_apply` ## Percentage operator (`percentage_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `parser.rs desugars percent to division by 100` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::postfix_percent_factorial_and_choose_lower_to_ts_shapes` ## Right-associative exponentiation (`right_associative_exponentiation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_power` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::power_operator_is_right_associative` ## Exponent alias (`exponent`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_power` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::power_double_star_alias_matches_caret` ## Integer division (`integer_division`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_multiplicative` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_arithmetic_infix` ## Modulo operator (`modulo_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_multiplicative` - Lowering: `parser.rs desugars modulo spellings to MOD` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::modulo_infix_operators_lower_to_mod_call` ## Divides operator (`divides_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars DIVIDES to MOD equality` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::divides_infix_operators_lower_to_mod_equals_zero` ## Coprime operator (`coprime_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars COPRIME to GCD equality` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::extended_is_and_divisibility_operators_lower_correctly` ## Bitwise infix operators (`bitwise_infix_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_bitwise` - Lowering: `parser.rs desugars bitwise infix forms to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::all_bitwise_infix_operators_lower_to_calls` ## Array append operator (`array_append_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_additive` - Lowering: `parser.rs desugars array append to VSTACK` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_array_append_desugars_to_vstack` ## Collection operators (`collection_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/collections.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars collection operators to calls` - Runtime: `grid-gir::kernels::workbook_eval + grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::membership_and_set_relations_preserve_direct_nested_elements` - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::collection_relation_laws_and_boundary_values_share_one_contract` - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::contains_requires_one_contiguous_ordered_run` ## Factorial operators (`factorial_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_postfix` - Lowering: `parser.rs desugars factorial postfix forms to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_double_factorial_postfix` ## String multiplication (`string_multiplication`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_multiplicative` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::string_multiply` - Conformance evidence: - `rust/grid-runtime-core/tests/coercion_enforcement.rs::string_multiplication_repeats_text_without_numeric_coercion` ## Logical operators (`logical_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_logical_or` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::logical_operator_spellings_compile` ## Null coalescing (`null_coalescing`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_coalesce` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::double_question_lowers_to_coalesce` ## Membership operators (`membership_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/collections.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars membership operators to IN / NOT` - Runtime: `grid-gir::kernels::workbook_eval + grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::membership_and_set_relations_preserve_direct_nested_elements` - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::collection_relation_laws_and_boundary_values_share_one_contract` ## Inequality aliases (`inequality_alias`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::not_equal_alias_matches_angle_bracket_form` ## BETWEEN operator (`between_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars BETWEEN to bounded comparisons` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::between_desugars_to_and_of_two_inequalities` ## LIKE operator (`like_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars LIKE to REGEXMATCH` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_not_like_operator` ## String and ordered-containment operators (`string_predicate_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/collections.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars string predicates to calls/comparisons` - Runtime: `grid-gir::kernels::workbook_eval + grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::contains_requires_one_contiguous_ordered_run` - `rust/grid-runtime-core/tests/collection_operator_semantics.rs::collection_relation_laws_and_boundary_values_share_one_contract` ## IS predicates (`is_predicates`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_is_predicate` - Lowering: `parser.rs desugars IS predicates to runtime calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::remaining_is_predicates_lower_to_runtime_calls` ## Chained comparisons (`chained_comparisons`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars chains to AND` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_op` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::chained_comparison_desugars_to_and_call` ## Spaceship operator (`spaceship_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_comparison` - Lowering: `parser.rs desugars spaceship to IFS` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::spaceship_lowers_to_ifs_call` ## Set operators (`set_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_set_operations` - Lowering: `parser.rs desugars set operators to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_set_operators` ## EXCLUDE operator (`exclude_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_set_operations` - Lowering: `parser.rs canonicalizes EXCLUDE to EXCEPT` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_exclude_set_operator` ## Reduction operators (`reduction_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_unary` - Lowering: `parser.rs desugars reductions to aggregate calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::reduction_prefix_lowers_to_aggregate_call` ## Broadcast-dot syntax (`broadcast_dot_syntax`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `parser.rs removes the broadcast marker from the call name` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::broadcast_dot_strips_marker_from_call_name` ## Domain operators (`domain_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_domain` - Lowering: `parser.rs desugars domain operators to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::domain_operators_lower_to_expected_calls` ## Combinatoric operators (`combinatoric_operators`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_combinatoric` - Lowering: `parser.rs desugars combinatoric operators to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::combinatoric_infix_operators_lower_to_expected_calls` ## Uncertainty operator (`uncertainty_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_uncertainty` - Lowering: `parser.rs desugars uncertainty to UNCERTAIN` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::unless_set_and_uncertainty_desugar_to_calls` ## Function calls (`function_calls`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/compile_smoke.rs::function_call_lowers_to_canonical_uppercase` ## Named arguments (`named_arguments`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call_arguments_after_open_paren` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::function_call_accepts_trailing_commas_and_named_args` ## Conditional expression (`conditional_expression_then_else`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_conditional` - Lowering: `parser.rs desugars conditional expressions to IF` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_conditionals_and_coalesce` ## LET function (`let_function`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::let_and_lambda_functions_lower_as_native_calls` ## DO blocks (`do_blocks`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_do_block` - Lowering: `parser.rs desugars DO bindings to LET` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_do_blocks` ## Bounded effect traversal (`effect_traversal`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge::expand_effectful_traversals` - Runtime: `grid-gir::kernels::workbook_eval` - Conformance evidence: - `rust/grid-runtime-core/tests/do_async_workflows.rs::traverse_is_serial_and_returns_results_in_source_order` ## WITH expression (`with_expression`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_with_expression` - Lowering: `parser.rs desugars WITH bindings to LET / IFERROR` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_with_expressions` ## WHERE clause (`where_clause`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression_clauses` - Lowering: `parser.rs desugars WHERE bindings to LET` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_expression_clauses` ## USING AS bindings (`using_as_bindings`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression_clauses` - Lowering: `parser.rs desugars USING bindings to LET` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::using_as_lowers_to_let_bindings` ## UNLESS modifier (`unless_modifier`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression_clauses` - Lowering: `parser.rs desugars UNLESS to IF` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::unless_set_and_uncertainty_desugar_to_calls` ## ASSERT guard (`assert_guard`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_expression_clauses` - Lowering: `parser.rs desugars ASSERT to IF` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::assert_guard_lowers_to_if` ## TRY THEN ELSE recovery (`try_then_else_error_recovery`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_try_expression` - Lowering: `parser.rs desugars TRY to IFERROR` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::try_with_symbol_literal_body_lowers_to_iferror` ## CASE WHEN expression (`case_when_expression`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_case_expression` - Lowering: `parser.rs desugars CASE to IFS` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_match_and_case_when` ## Pattern matching (`pattern_matching`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_match_expression` - Lowering: `parser.rs desugars MATCH to equality / IFS / ERROR.TYPE` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/match_error_kinds.rs::match_distinguishes_two_error_kinds` ## Choice sets (`choice_sets`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_choice_declaration` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/choices_flags.rs::flag_bits_combine_and_test_in_a_single_value` ## Algebraic choices (`algebraic_choices`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_choice_declaration` - Lowering: `grid-gir-passes::lowering::source_callable` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-compiler-core/tests/algebraic_choices.rs::payload_choice_constructor_and_exhaustive_match_parse` ## Arrow lambda (`arrow_lambda`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_lambda` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_lambdas_and_placeholders` ## Named trailing blocks (`named_trailing_blocks`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_named_trailing_block` - Lowering: `parser.rs desugars the block to the helper's final LAMBDA argument` - Runtime: `grid-gir::kernels::workbook_eval::evaluate_array_hof_call` - Conformance evidence: - `rust/grid-compiler-core/tests/spec_conformance.rs::spec_named_trailing_blocks` ## LAMBDA function (`lambda_function`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-compiler-core::lower::Lowerer::lower` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::let_and_lambda_functions_lower_as_native_calls` ## Named definitions (`named_definitions`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::try_parse_definition` - Lowering: `callables.rs::finalize_local_callables` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-runtime-core/tests/def_reusable_functions.rs::one_def_is_reusable_across_cells_with_independent_args` ## Named-function reflection (`named_function_reflection`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `parser.rs desugars ARGS / BODY / FUNCTION to reflective values` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/named_function_reflection_calculus.rs::reflection_folds_to_normal_grid_values` ## Named-function calculus (`named_function_calculus`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `parser.rs desugars D / DERIVATIVE / INTEGRAL / INTEGRATE to calculus calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/named_function_reflection_calculus.rs::named_functions_feed_derivative_and_integral_syntax` ## Named-function sampling (`named_function_sampling`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `parser.rs desugars SAMPLE / SAMPLE_INFO to sampling calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/named_function_reflection_calculus.rs::named_functions_realize_over_fixed_explicit_adaptive_and_reactive_viewports` ## Partial application (`partial_application`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `parser.rs desugars placeholders to lambdas` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::direct_placeholder_call_lowers_to_lambda` ## Array comprehensions (`array_comprehensions`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_array_literal` - Lowering: `parser.rs desugars comprehensions to mapped collection calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-runtime-core/tests/comprehension_nd.rs::three_generators_with_filter_drop_rows` ## Sequence shorthand (`sequence_shorthand`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_sequence` - Lowering: `parser.rs desugars sequences to SEQUENCE / DATESEQUENCE` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/parser_edge_cases.rs::numeric_range_shorthand_lowers_to_sequence` ## Exclusive range (`exclusive_range`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_sequence` - Lowering: `parser.rs passes exclusive end to sequence calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::date_sequence_with_exclusive_end` ## Pipe operator (`pipe_operator`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_pipeline` - Lowering: `parser.rs desugars pipe steps to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::pipe_operator_inserts_left_argument` ## WITH DO pipeline (`with_do_pipeline`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_with_expression` - Lowering: `parser.rs desugars WITH DO to pipe calls / IFERROR` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/with_do_pipeline.rs::with_do_pipeline_matches_angle_pipe_for_many_shapes` ## TAP pipeline function (`tap_pipeline_function`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_pipeline` - Lowering: `parser.rs desugars TAP pipeline targets to calls` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::tap_pipeline_target_lowers_to_call` ## Conditional pipeline (`conditional_pipeline_if_cond`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs::Parser::parse_pipeline` - Lowering: `parser.rs desugars conditional pipe steps to IF` - Runtime: `grid-runtime-core::functions` - Conformance evidence: - `rust/grid-compiler-core/tests/language_coverage.rs::conditional_pipeline_desugars_to_if` ## Resident graph bindings (`graph_named_bindings`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-runtime-core/tests/graph_language_runtime.rs::portable_literal_graph_publishes_scalars_and_typed_query_results` ## Model graph relationships (`model_graph_relationships`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/graph-authoring.md` - Parser: `parser.rs::Parser::parse_symbol_relationship_tail` - Lowering: `grid-gir-passes::lowering::graph::lower_model_graph` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-compiler-core/tests/graph_authoring.rs::relationship_metadata_is_static_across_assignment_lifecycles` - `rust/grid-gir-passes/tests/graph_source_lowering.rs::authored_relationship_ids_are_source_stable_and_parallel_duplicates_remain_distinct` ## Declarative graph paths (`graph_declarative_paths`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph path declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::declarative_path_lowers_to_non_spillable_resident_handle` ## Graph partitions (`graph_partitions`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph partition declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::community_partition_lowers_every_semantic_policy_to_gir` ## Closed graph schemas and kinds (`graph_typed_schemas`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph schema declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::schema_annotated_graphs_reach_the_same_typed_graph_handle_lane` ## Graph views and immutable rewrites (`graph_views_rewrites`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph producer declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_v2_algebra_lowering.rs::authored_views_choose_fusion_or_materialization_from_real_use_counts` ## Graph projections and contraction (`graph_projections_contraction`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph projection declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-compiler-core/tests/graph_v2_schemas.rs::resident_projections_and_partition_contraction_rewrite_to_typed_calls` ## Bounded graph patterns (`graph_bounded_patterns`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph match declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::bounded_pattern_match_lowers_to_mandatory_frame_handle` ## Bounded graph fixed points (`graph_bounded_fixpoints`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph fixpoint declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_runtime` - Conformance evidence: - `rust/grid-gir-passes/tests/graph_source_lowering.rs::bounded_fixpoint_lowers_to_typed_propagation_frame_contract` ## Graph EXPLAIN (`graph_explain`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/reference.md` - Parser: `parser.rs graph declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::lir_dispatch::LirSession::explain_graph` - Conformance evidence: - `rust/grid-runtime-core/tests/graph_v2_explain.rs::explain_is_non_executing_and_surfaces_every_v2_physical_plan` ## Typed graph domain bridges (`graph_domain_bridges`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/graph-authoring.md` - Parser: `parser.rs graph declarations` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::graph_bridges` - Conformance evidence: - `rust/grid-runtime-core/tests/graph_bridge_monsters.rs::ariadne_long_haul_graph_projects_to_exact_geo_and_optimal_flow` - `rust/grid-runtime-core/tests/graph_bridge_monsters.rs::tengu_authored_graph_runs_through_production_des_bridge_deterministically` - `rust/grid-runtime-core/tests/graph_bridge_monsters.rs::kumo_parallel_queue_network_is_bit_deterministic_after_graph_projection` ## Declarative game blocks (`declarative_games`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/game-theory.md` - Parser: `parser.rs::Parser::try_parse_declarative_game_or_mechanism` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-runtime-core::game_functions::game_fn` - Conformance evidence: - `rust/grid-compiler-core/tests/declarative_games.rs::game_block_lowers_to_normal_form_constructor` - `rust/grid-compiler-core/tests/declarative_games.rs::extensive_game_block_uses_the_typed_tree_constructor` - `rust/grid-gir-passes/tests/declarative_games.rs::normal_extensive_and_mechanism_blocks_use_the_standard_call_opcode` - `rust/grid-runtime-core/tests/declarative_games_lir.rs::relation_edit_rebuilds_the_game_and_why_reaches_the_source_payoff` ## Finite strategic verification (`finite_game_verification`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/game-theory.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-game-core::verify_finite_game` - Conformance evidence: - `rust/grid-game-core/src/lib.rs::tests::prisoners_dilemma_reports_dominance_equilibrium_regret_and_pareto` - `rust/grid-game-core/src/lib.rs::tests::matching_pennies_has_no_pure_equilibrium` - `rust/grid-game-core/src/lib.rs::tests::equilibrium_solvers_refuse_wrong_domains_and_exhausted_work` ## Certified equilibria (`certified_equilibria`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/game-theory.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-game-core equilibrium + certificate solvers` - Conformance evidence: - `rust/grid-game-core/src/lib.rs::tests::matching_pennies_has_a_certified_minimax_and_correlated_equilibrium` - `rust/grid-game-core/src/lib.rs::tests::general_sum_bimatrix_nash_is_support_enumerated_and_certified` - `rust/grid-game-core/src/lib.rs::tests::backward_induction_emits_a_subgame_perfect_certificate` ## Declarative direct mechanisms (`declarative_mechanisms`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/game-theory.md` - Parser: `parser.rs::Parser::try_parse_declarative_game_or_mechanism` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-game-core::verify_direct_mechanism` - Conformance evidence: - `rust/grid-compiler-core/tests/declarative_games.rs::mechanism_block_lowers_to_validating_direct_constructor` - `rust/grid-game-core/src/lib.rs::tests::second_price_is_dsic_ir_and_no_deficit_with_bayesian_checks` - `rust/grid-game-core/src/lib.rs::tests::manipulated_mechanism_returns_concrete_dsic_and_ir_witnesses` ## Allocation and auction mechanisms (`mechanism_allocation`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/game-theory.md` - Parser: `parser.rs::Parser::parse_call` - Lowering: `grid-gir-passes::lowering::parser_bridge` - Runtime: `grid-game-core VCG + auction solvers` - Conformance evidence: - `rust/grid-game-core/src/lib.rs::tests::unit_demand_vcg_returns_matching_payments_and_counterfactuals` - `rust/grid-game-core/src/lib.rs::tests::sealed_bid_auction_has_deterministic_ties_reserve_and_pricing` ## Tensor and accelerator language (`tensor_accelerator_language`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/features.md` - Parser: `parser.rs::Parser::try_parse_value_type_spec` - Lowering: `grid-gir-passes::passes::tensor::ShapedTensorPromotion` - Runtime: `grid-runtime-core::lir_dispatch::LirSession` - Conformance evidence: - `rust/grid-gir-passes/tests/tensor_promotion.rs::documented_named_tensor_training_example_compiles_end_to_end` ## Grid-native symbolic mathematics (`symbolic_mathematics`) - Status: `supported` - Kind: `semantic` - Public author docs: `docs/language/symbolic-mathematics.md` - Parser: `parser.rs::Parser::try_parse_symbol_declaration` - Lowering: `grid-gir-passes::lowering::parser_bridge::lift_public_symbolic_call` - Runtime: `grid-gir::symbolic_dispatch` - Conformance evidence: - `rust/grid-compiler-core/tests/symbolic_surface.rs::symbol_is_contextual_and_carries_stable_defining_identity` - `rust/grid-compiler-core/tests/symbolic_surface.rs::symbol_collisions_fail_closed` - `rust/grid-runtime-core/tests/symbolic_display_ordinary_telemetry.rs::ordinary_display_paths_do_not_touch_symbolic_display_telemetry`