https://reference.culsma.dev/01_notation2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/02_lexical_structure2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/03_programs_and_source_files2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/04_surface_grammar_and_statement_forms2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/05_names_and_bindings2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/05_operation_vocabulary_and_call_contracts2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/06_operational_semantics2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/06_validation_and_diagnostics2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/07_execution_model2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/08_configuration_and_modes2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/09_type_and_units2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/10_conformance_and_test_mapping2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/11_stdlib_portals2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/THIRD_PARTY_NOTICES2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/appendix_a_unified_statement_matrix2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/extensions/scientific_model/README2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/extensions/scientific_model/builtin_material_rulebook2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/2026-09-08T16:45:39.000Zhttps://reference.culsma.dev/reference_governance2026-09-08T16:45:39.000Z