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