Skip to main content Crate meta_language Copy item path Source pub use access::EngineNetwork ;pub use access::ReadOnlyNetwork ;pub use access::ReadOnlyViolation ;pub use api_styles::API_OPERATIONS ;pub use api_styles::ApiOperation ;pub use api_styles::ApiOperationEntry ;pub use api_styles::ApiStyle ;pub use api_styles::ApiStyleCell ;pub use api_styles::ApiStyleFixture ;pub use api_styles::FluentNetworkApi ;pub use api_styles::FluentPipeline ;pub use api_styles::LinkCliSubstitution ;pub use api_styles::LinkCliSubstitutionError ;pub use api_styles::LinkCliSubstitutionKind ;pub use api_styles::run_api_style_fixture ;pub use configuration::AccessMode ;pub use configuration::FormalizationLevel ;pub use configuration::LanguageIdentificationDetector ;pub use configuration::NaturalizationDirection ;pub use configuration::ParseConfiguration ;pub use configuration::RegionDetectionPolicy ;pub use configuration::TriviaAttachmentPolicy ;pub use decorators::DECORATOR_LEVELS ;pub use decorators::Decorator ;pub use decorators::DecoratorAction ;pub use decorators::DecoratorError ;pub use decorators::DecoratorLevel ;pub use decorators::DecoratorRecord ;pub use decorators::DecoratorSet ;pub use decorators::decorator_record ;pub use decorators::record_field ;pub use document_formatting::BlockNode ;pub use document_formatting::CROSS_FORMAT_CONCEPT_IDS ;pub use document_formatting::CROSS_FORMAT_CONCEPTS ;pub use document_formatting::DOCUMENT_FORMATS ;pub use document_formatting::DocumentFormatInstance ;pub use document_formatting::DocumentFormatMatch ;pub use document_formatting::DocumentFormattingSeedReport ;pub use document_formatting::FormattingDocument ;pub use document_formatting::InlineNode ;pub use document_formatting::canonical_document_format ;pub use document_formatting::document_format_profile ;pub use document_formatting::docx_package_is_recognized ;pub use document_formatting::docx_profile_is_recognized ;pub use document_formatting::parse_docx_document ;pub use document_formatting::parse_docx_package ;pub use document_formatting::parse_markup_document ;pub use document_formatting::parse_pdf_document ;pub use document_formatting::pdf_profile_is_recognized ;pub use document_formatting::render_docx_document ;pub use document_formatting::render_docx_package ;pub use document_formatting::render_pdf_document ;pub use grammar::feature_runtime::Ambiguity ;pub use grammar::feature_runtime::FeatureGrammarParser ;pub use grammar::feature_runtime::FeatureParseOptions ;pub use grammar::feature_runtime::GrammarParseError ;pub use grammar::feature_runtime::GrammarResolver ;pub use grammar::feature_runtime::GrammarRuntimeError ;pub use grammar::feature_runtime::LeafText ;pub use grammar::feature_runtime::OperationValue ;pub use grammar::feature_runtime::ParseOutcome ;pub use grammar::feature_runtime::ParseRejection ;pub use grammar::feature_runtime::ParseWithGrammarError ;pub use grammar::feature_runtime::SyntaxAttributes ;pub use grammar::feature_runtime::SyntaxTree ;pub use grammar::feature_runtime::compile_feature_grammar ;pub use grammar::feature_runtime::parse_with_grammar ;pub use grammar::interchange::GRAMMAR_LOWERING_FORMATS ;pub use grammar::interchange::GrammarLowering ;pub use grammar::interchange::GrammarLoweringEncoding ;pub use grammar::interchange::GrammarLoweringError ;pub use grammar::interchange::GrammarLoweringFailure ;pub use grammar::interchange::GrammarLoweringFailureKind ;pub use grammar::interchange::GrammarLoweringMetadata ;pub use grammar::interchange::GrammarLoweringOptions ;pub use grammar::interchange::GrammarLoweringReport ;pub use grammar::interchange::GrammarLoweringStatus ;pub use grammar::interchange::GrammarLoweringStep ;pub use grammar::interchange::MAX_LOWERED_CHARACTERS ;pub use grammar::interchange::check_grammar_lowering ;pub use grammar::interchange::dropped_grammar_features ;pub use grammar::interchange::lower_grammar ;pub use grammar::interchange::parse_lowering_metadata ;pub use grammar::interchange::reconstruct_grammar ;pub use grammar::interchange::render_lowering_metadata ;pub use grammar::ActiveLearningConfig ;pub use grammar::ActiveLearningError ;pub use grammar::ActiveLearningOracle ;pub use grammar::ActiveSymbol ;pub use grammar::AdviceDecision ;pub use grammar::AdviceDecisionKind ;pub use grammar::AdviceSource ;pub use grammar::BenchmarkReport ;pub use grammar::ByteSpan ;pub use grammar::CharCategory ;pub use grammar::CharClassItem ;pub use grammar::ConceptNamingAdvisor ;pub use grammar::ConstraintAtom ;pub use grammar::ConstraintClause ;pub use grammar::ConstraintPattern ;pub use grammar::Delimiter ;pub use grammar::Dfa ;pub use grammar::DiagnosticKind ;pub use grammar::EmitReport ;pub use grammar::EvalError ;pub use grammar::ExprBuilder ;pub use grammar::FallbackAdvisor ;pub use grammar::GOLDEN_CORPORA ;pub use grammar::GRAMMAR_CONCEPTS ;pub use grammar::GRAMMAR_CONSTRUCTS ;pub use grammar::GRAMMAR_FORMATS ;pub use grammar::GoldenCorpus ;pub use grammar::Grammar ;pub use grammar::GrammarAcceptorOracle ;pub use grammar::GrammarBuilder ;pub use grammar::GrammarConcept ;pub use grammar::GrammarDiagnostic ;pub use grammar::GrammarEmitError ;pub use grammar::GrammarExpr ;pub use grammar::GrammarFidelityLevel ;pub use grammar::GrammarFormat ;pub use grammar::GrammarFormatProfile ;pub use grammar::GrammarImportError ;pub use grammar::GrammarKind ;pub use grammar::GrammarOracle ;pub use grammar::GrammarParser ;pub use grammar::GrammarRule ;pub use grammar::GrammarSourceName ;pub use grammar::GrammarSurfaceError ;pub use grammar::GrammarTranslateError ;pub use grammar::InferenceOptions ;pub use grammar::InferenceReport ;pub use grammar::InferenceResult ;pub use grammar::InferredAutomaton ;pub use grammar::JsParserArtifacts ;pub use grammar::LeafKind ;pub use grammar::LengthUnit ;pub use grammar::LexicalConfig ;pub use grammar::LexicalModel ;pub use grammar::Mdl ;pub use grammar::MdlMergeAdvisor ;pub use grammar::MembershipOracle ;pub use grammar::MergeAdvisor ;pub use grammar::MergeCandidate ;pub use grammar::MergeRequest ;pub use grammar::MergeScore ;pub use grammar::MergeStrategy ;pub use grammar::MetricScores ;pub use grammar::MinimizeOptions ;pub use grammar::MinimizeReport ;pub use grammar::MinimizeResult ;pub use grammar::NameCandidate ;pub use grammar::NamingAdvisor ;pub use grammar::NamingRequest ;pub use grammar::NonTerminalRef ;pub use grammar::Oracle ;pub use grammar::ParserAcceptancePredicate ;pub use grammar::ParserMembershipOracle ;pub use grammar::PositiveOnlyOracle ;pub use grammar::PriorOptions ;pub use grammar::RuleKind ;pub use grammar::RuleSpan ;pub use grammar::RustParserArtifacts ;pub use grammar::Sample ;pub use grammar::SampleConfig ;pub use grammar::SamplingEquivalenceOracle ;pub use grammar::ScoringMode ;pub use grammar::SeedNode ;pub use grammar::SeedTree ;pub use grammar::SemanticConstraint ;pub use grammar::SemanticInferenceConfig ;pub use grammar::Severity ;pub use grammar::StructuralPrior ;pub use grammar::Symbol ;pub use grammar::Token ;pub use grammar::WhitespacePolicy ;pub use grammar::annotate_grammar_concepts ;pub use grammar::build_structural_prior ;pub use grammar::canonical_grammar_format ;pub use grammar::categorise ;pub use grammar::clean_structural_acceptance ;pub use grammar::default_pattern_catalog ;pub use grammar::emit_abnf ;pub use grammar::emit_antlr ;pub use grammar::emit_bnf ;pub use grammar::emit_ebnf ;pub use grammar::emit_gbnf ;pub use grammar::emit_javascript_parser ;pub use grammar::emit_lark ;pub use grammar::emit_peggy ;pub use grammar::emit_pest ;pub use grammar::emit_rust_parser ;pub use grammar::emit_tree_sitter_grammar_js ;pub use grammar::emit_tree_sitter_grammar_js_with_report ;pub use grammar::emit_tree_sitter_json ;pub use grammar::evaluate ;pub use grammar::evaluate_atom ;pub use grammar::evaluate_clause ;pub use grammar::evaluate_constraint ;pub use grammar::evaluate_probabilistic ;pub use grammar::grammar_concept_translation_rules ;pub use grammar::grammar_expr_concept_id ;pub use grammar::grammar_format_profile ;pub use grammar::grammar_from_lino ;pub use grammar::grammar_to_lino ;pub use grammar::import_abnf ;pub use grammar::import_antlr ;pub use grammar::import_bnf ;pub use grammar::import_ebnf ;pub use grammar::import_gbnf ;pub use grammar::import_lark ;pub use grammar::import_pest ;pub use grammar::import_tree_sitter_json ;pub use grammar::infer_cfg ;pub use grammar::infer_cfg_with_advisors ;pub use grammar::infer_dfa ;pub use grammar::infer_lexical_classes ;pub use grammar::learn_dfa ;pub use grammar::learn_grammar ;pub use grammar::mdl ;pub use grammar::mdl_cost ;pub use grammar::mine_semantic_constraints ;pub use grammar::minimize ;pub use grammar::parse_grammar_surface ;pub use grammar::register_grammar ;pub use grammar::render_rust_type ;pub use grammar::rule_concept_id ;pub use grammar::run_corpus ;pub use grammar::run_named_corpus ;pub use grammar::run_sequitur ;pub use grammar::sample ;pub use grammar::size_symbols ;pub use grammar::translate_grammar_surface ;pub use grammar::validate ;pub use grammar::validate ;pub use grammar::with_grammar ;pub use grammar::write_grammar_surface ;pub use grammar::FORMER_GRAMMAR_CONSTRUCTS ;pub use grammar::current_grammar_construct ;pub use grammar::GRAMMAR_COMMAND_USAGE ;pub use grammar::GRAMMAR_EXPORT_FORMATS ;pub use grammar::GRAMMAR_IMPORT_FORMATS ;pub use grammar::GRAMMAR_LOSSLESS_FORMATS ;pub use grammar::GrammarCommandOutput ;pub use grammar::GrammarEmitter ;pub use grammar::GrammarFileReader ;pub use grammar::GrammarImporter ;pub use grammar::GrammarLayout ;pub use grammar::GrammarLayoutDefinition ;pub use grammar::GrammarLayoutImplicit ;pub use grammar::GrammarLosslessError ;pub use grammar::GrammarSourceDefinition ;pub use grammar::GrammarSourceSplit ;pub use grammar::capture_grammar_layout ;pub use grammar::deserialize_grammar ;pub use grammar::emit_grammar_lossless ;pub use grammar::grammar_emitter ;pub use grammar::grammar_importer ;pub use grammar::import_grammar_lossless ;pub use grammar::parse_grammar_layout_links ;pub use grammar::parse_grammar_links ;pub use grammar::parse_links_expression ;pub use grammar::parse_native_grammar ;pub use grammar::percent_decode_links_text ;pub use grammar::percent_encode_links_text ;pub use grammar::render_grammar_layout_links ;pub use grammar::render_grammar_links ;pub use grammar::render_links_expression ;pub use grammar::render_native_expression ;pub use grammar::render_native_feature ;pub use grammar::render_native_grammar ;pub use grammar::render_rule_link ;pub use grammar::run_grammar_command ;pub use grammar::serialize_grammar ;pub use grammar::split_grammar_source ;pub use grammar::GRAMMAR_DIAGNOSTIC_KINDS ;pub use grammar::RepetitionBoundsError ;pub use grammar::accepts_text ;pub use grammar::canonical_repeat ;pub use grammar::canonical_rule_definition ;pub use grammar::carry_rule_docs ;pub use grammar::choice ;pub use grammar::display_grammar_expression ;pub use grammar::render_declaration_links ;pub use grammar::render_rule_fields ;pub use grammar::sequence ;pub use grammar::GRAMMAR_MERGE_METHOD ;pub use grammar::GrammarMergeAlternative ;pub use grammar::GrammarMergeAlternativeReason ;pub use grammar::GrammarMergeDecision ;pub use grammar::GrammarMergeDecisionKind ;pub use grammar::GrammarMergeError ;pub use grammar::GrammarMergeFailure ;pub use grammar::GrammarMergeFailureKind ;pub use grammar::GrammarMergeFailureReason ;pub use grammar::GrammarMergeNomination ;pub use grammar::GrammarMergeNominationBasis ;pub use grammar::GrammarMergeNominationOutcome ;pub use grammar::GrammarMergeOptions ;pub use grammar::GrammarMergeResult ;pub use grammar::GrammarMergeSource ;pub use grammar::GrammarRenameError ;pub use grammar::GrammarRenameErrorKind ;pub use grammar::MergedGrammarGroup ;pub use grammar::RenamedGrammar ;pub use grammar::RuleAlias ;pub use grammar::assert_merge_complete ;pub use grammar::assert_merge_shares ;pub use grammar::merge_grammars ;pub use grammar::normalized_rule_definition ;pub use grammar::rename_grammar_rule ;pub use grammar::restore_source_names ;pub use grammar::shared_rule_decisions ;pub use grammar::GRAMMAR_ROUND_TRIP_MARKER ;pub use grammar::GrammarEmitFn ;pub use grammar::GrammarImportFn ;pub use grammar::GrammarRoundTrip ;pub use grammar::GrammarRoundTripError ;pub use grammar::GrammarRoundTripFailure ;pub use grammar::GrammarRoundTripFailureKind ;pub use grammar::GrammarRoundTripReport ;pub use grammar::GrammarRoundTripStage ;pub use grammar::GrammarRoundTripStatus ;pub use grammar::check_grammar_round_trip ;pub use grammar::mutate_grammar_start_rule ;pub use grammar::GrammarReverseConversion ;pub use grammar::GrammarReverseFailure ;pub use grammar::GrammarReverseFailureKind ;pub use grammar::GrammarReverseReport ;pub use grammar::GrammarReverseStage ;pub use grammar::GrammarReverseStatus ;pub use grammar::check_grammar_reverse_conversion ;pub use grammar::LlmClient ;pub use grammar::LlmError ;pub use grammar::LlmMergeAdvisor ;pub use grammar::LlmNamingAdvisor ;pub use grammar::decorate_emitted ;pub use grammar::decorate_grammar ;pub use grammar::decorate_syntax_tree ;pub use graphql_adapter::GraphQlAdapterError ;pub use graphql_adapter::GraphQlArgumentRole ;pub use graphql_adapter::GraphQlOperationType ;pub use graphql_adapter::GraphQlRootMapping ;pub use graphql_adapter::GraphQlSchemaRegistry ;pub use graphql_adapter::lower_graphql ;pub use language_catalog::GrammarProvenance ;pub use language_catalog::LanguageEntry ;pub use language_catalog::NativeGrammarEntry ;pub use language_catalog::canonical_language_name ;pub use language_catalog::grammar_provenance ;pub use language_catalog::language_candidates_for_path ;pub use language_catalog::language_catalog ;pub use language_catalog::language_entry ;pub use language_catalog::language_for_path ;pub use language_catalog::native_grammar ;pub use language_catalog::native_grammars ;pub use language_catalog::oracle_grammar_provenance ;pub use language_parser::BuiltInLanguageParser ;pub use language_parser::LanguageParser ;pub use language_profile::LanguageProfile ;pub use language_profile::LanguageProfileLinks ;pub use language_profile::LanguageProfileViolation ;pub use language_support::FOUR_LANGUAGE_SUPPORT ;pub use language_support::LANGUAGE_REPRESENTATION_SCHEMA_VERSION ;pub use language_support::LanguageSupport ;pub use language_support::RepresentationLevel ;pub use language_support::TranslationContract ;pub use language_support::TranslationSupport ;pub use language_support::language_support ;pub use language_support::translation_contract ;pub use language_support::translation_contracts ;pub use link_flags::LinkFlags ;pub use link_network::Link ;pub use link_network::LinkId ;pub use link_network::LinkMetadata ;pub use link_network::LinkNetwork ;pub use link_network::LinkType ;pub use link_network::NetworkProjection ;pub use lino_serialization::LinoSerializationError ;pub use mixed_regions::EmbeddedRegion ;pub use mixed_regions::detect_embedded_regions ;pub use mixed_regions::detect_embedded_regions_in_tree ;pub use mixed_regions::script_language ;pub use mixed_regions::sniff_language ;pub use parity::DATA_FORMAT_TARGETS ;pub use parity::GRAMMAR_EMBEDDING_TARGETS ;pub use parity::GrammarEmbeddingTarget ;pub use parity::LANGUAGE_FIXTURES ;pub use parity::LanguageFamily ;pub use parity::LanguageFixture ;pub use parity::LanguageTarget ;pub use parity::MARKUP_LANGUAGE_TARGETS ;pub use parity::NATURAL_LANGUAGE_TARGETS ;pub use parity::PARITY_FIXTURES ;pub use parity::PARITY_TARGETS ;pub use parity::PROGRAMMING_LANGUAGE_TARGETS ;pub use parity::ParityCapability ;pub use parity::ParityFixture ;pub use parity::ParityTarget ;pub use parity::ParityTransformExpectation ;pub use parity::ParityVerificationExpectation ;pub use parity::SECOND_TIER_PROGRAMMING_LANGUAGE_TARGETS ;pub use parser_registry::ParserRegistry ;pub use program_representation::PROGRAM_REPRESENTATION_SCHEMA_VERSION ;pub use program_representation::PROGRAM_SNAPSHOT_SCHEMA_VERSION ;pub use program_representation::ProgramBinding ;pub use program_representation::ProgramConstruct ;pub use program_representation::ProgramConstructStatus ;pub use program_representation::ProgramDiagnostic ;pub use program_representation::ProgramExpansion ;pub use program_representation::ProgramFact ;pub use program_representation::ProgramProjectContext ;pub use program_representation::ProgramProjectModule ;pub use program_representation::ProgramProjectReference ;pub use program_representation::ProgramProjectSource ;pub use program_representation::ProgramRange ;pub use program_representation::ProgramRepresentation ;pub use program_representation::ProgramRepresentationError ;pub use program_representation::ProgramScope ;pub use program_representation::ProgramSourceMapping ;pub use program_representation::SEMANTIC_CONSTRUCTS ;pub use program_representation::analyze_program ;pub use program_representation::analyze_program_decorated ;pub use program_representation::construct_program ;pub use program_representation::construct_program_from_fragments ;pub use program_translation::DecodedProgramTranslation ;pub use program_translation::ProgramTranslation ;pub use program_translation::ProgramTranslationError ;pub use program_translation::decode_program_translation ;pub use program_translation::read_translation_provenance ;pub use program_translation::translate_program ;pub use query::LinkQuery ;pub use query::QueryCapture ;pub use query::QueryCaptures ;pub use query::QueryIndex ;pub use query::QueryMatch ;pub use query::QueryParseError ;pub use query::QueryPredicate ;pub use query::QueryPredicateArgument ;pub use query::QueryPredicateHost ;pub use query::RejectPredicateHost ;pub use query::query_by_concept_term ;pub use query_algebra::LinkRule ;pub use query_algebra::LinkRuleCapture ;pub use query_algebra::LinkRuleCaptures ;pub use query_algebra::LinkRuleMatch ;pub use query_algebra::LinkRuleParseError ;pub use query_algebra::LinkRuleRegistry ;pub use query_algebra::LinkRuleSnapshotCase ;pub use query_algebra::LinkRuleSnapshotExpectation ;pub use query_algebra::LinkRuleSnapshotReport ;pub use query_algebra::LinkRuleSnapshotResult ;pub use query_algebra::LinkRuleSnapshotSuite ;pub use query_algebra::TraversalReport ;pub use query_algebra::TraversalStrategy ;pub use query_plan::LoweredQueryPlan ;pub use query_plan::QUERY_PLAN_VERSION ;pub use query_plan::QueryAggregate ;pub use query_plan::QueryAggregateFunction ;pub use query_plan::QueryAuthorization ;pub use query_plan::QueryComparisonOperator ;pub use query_plan::QueryFilter ;pub use query_plan::QueryOperation ;pub use query_plan::QueryOrder ;pub use query_plan::QueryPlan ;pub use query_plan::QuerySortDirection ;pub use query_plan::QuerySourceEvidence ;pub use query_plan::QueryValue ;pub use rust_codec::FromLinks ;pub use rust_codec::LinksCodecError ;pub use rust_codec::LinksDecoder ;pub use rust_codec::LinksEncoder ;pub use rust_codec::LinksObject ;pub use rust_codec::RustFieldShape ;pub use rust_codec::RustTypeKind ;pub use rust_codec::RustTypeShape ;pub use rust_codec::ToLinks ;pub use semantics::ProbabilisticTruthValue ;pub use semantics::Probability ;pub use semantics::TruthValue ;pub use snapshots::MutableNetworkSnapshot ;pub use snapshots::NetworkSnapshot ;pub use snapshots::StructuralDiff ;pub use source::ByteRange ;pub use source::Point ;pub use source::SourceSpan ;pub use sql_adapter::SQL_DIALECT_PROFILES ;pub use sql_adapter::SqlAdapterError ;pub use sql_adapter::SqlAdapterErrorKind ;pub use sql_adapter::SqlDialectProfile ;pub use sql_adapter::SqlRelationMapping ;pub use sql_adapter::SqlSchemaRegistry ;pub use sql_adapter::lower_sql ;pub use sql_adapter::lower_sql_cst ;pub use storage::DoubletsLinkStore ;pub use storage::EngineLinkStore ;pub use storage::LinkStore ;pub use storage::LinkStoreBackend ;pub use storage::LinkStoreQuery ;pub use storage::StorageError ;pub use substitution::SubstitutionBindings ;pub use substitution::SubstitutionReport ;pub use substitution::SubstitutionRule ;pub use substitution::SubstitutionValue ;pub use substitution::VariableSubstitutionRule ;pub use transform::QuasiquoteError ;pub use transform::QuasiquoteTemplate ;pub use transform::ReplacementReport ;pub use transform::ReplacementRule ;pub use transform::SourceTextPredicateHost ;pub use transform::TextReplacement ;pub use translation_rules::TranslationRule ;pub use translation_rules::TranslationRuleRegistry ;pub use translation_rules::TranslationRuleSet ;pub use translation_rules::TranslationRuleSetLoadError ;pub use translation_rules::TranslationTemplate ;pub use verification::VerificationIssue ;pub use verification::VerificationIssueKind ;pub use verification::VerificationReport ;access Read-only and mutable engine access controls. api_styles API-style parity registry and adapters. benchmark Competitor benchmark orchestration for the E3 grammar-inference suite. configuration decorators Decorators: declared, removable changes to the items of a pipeline level. document_formatting Shared, language-free document-formatting concept ontology. grammar Grammar intermediate representation and links encoding. graphql_adapter Registry-driven lowering from validated GraphQL operations to query plans. language_catalog The registered language catalog shared with the JavaScript runtime. language_parser language_profile language_support Versioned capability and translation declarations for the four-language surface. link_flags link_network lino_serialization Lossless serialization of a LinkNetwork mixed_regions parity parser_registry program_representation Editable program representations for JavaScript, Rust, Lean, and Rocq. program_translation The public four-language translator: semantic translations of portable-core programs, and
reversible target-native source envelopes for every other program. query query_algebra query_plan Language-neutral executable query-plan concepts shared by query frontends. rust_codec Rust value and type-shape codec for LinkNetwork semantics snapshots source sql_adapter Registry-driven lowering from validated SQL statements to shared query plans. storage Pluggable storage backends for meta-language links. substitution transform translation Translation between JavaScript, Rust, Lean and Rocq through a checked
portable core. translation_rules verification ConceptCorrespondence The relation between two source spellings and what justifies it. ConceptDistinction A concept whose phrase is a synonym of another’s, with what distinguishes them. ConceptDistinctionProblem A way the records fail to keep required distinctions or justify a shared concept. ConceptOntologyImportReport Summary returned after importing concept links from an ontology source. ConceptOntologySeedReport Summary returned after seeding the shared concept ontology into a network. ConceptRecord The record of one canonical concept or operation. ConceptRecordSeedReport Summary returned after assigning every concept record to a network. ConceptReuse A concept the native grammars name, with the languages that name it. ConstructTranslation The translation of one construct between native grammars. ConstructTranslationProblem A construct of a tree that does not translate. ConstructTree A node of a construct tree: a node of a native parse tree whose kind is a
rule of the grammar. ConstructTreeTranslation The translation of a construct tree between native grammars. FoundationCorrespondence A recorded relation between two distinct models and the condition under which it holds. FoundationDistinction Two models that must never be merged, with the reason. FoundationFamily A family of foundation models, such as integer-model or proof-system. FoundationModel One foundation model: a meaning, not a spelling. FoundationProblem A way a register fails to keep foundations neutral. FoundationRegister A foundation register: the shape of parity/foundation-models.json. GrammarConceptReuse The reuse of one native grammar: its rules split into shared and
language-specific ones. GrammarNames The node kind and field names a compiled default grammar declares. LanguageFoundation The models one language uses. NativeConceptProblem One problem check_native_grammar_concepts finds. NativeConceptReuse The per-language reuse report of the native grammars. NativeRuleConcept A rule of a native grammar and the concept it names. NaturalLanguageGrammarFixture Starter pass/fail grammar fixture for one natural-language target. PrecedenceUse One use of precedence in a grammar and the concept it expresses. ReadTranslationProvenance Provenance recovered from an artifact’s first line. RequiredDistinction Two concepts that must never be merged, with the reason. SelfTranslation A translated module with the status of each of its top-level items. SelfTranslationError An unknown language or a source the links do not reproduce. SelfTranslationItem A top-level item of the source and what self-translation did with it. SemanticTranslation The record of one semantic translation. SharedRule A rule that names a concept two or more native grammars name. SourceAlias The name a source (a grammar format, a programming language, a surface) gives a concept. SpecificRule A rule that names a concept only its own native grammar names. TranslationDiagnostic Why a program stayed outside the portable core. TranslationObligation How a proof obligation of the source is met in the target. TranslationProvenance Where a semantic translation came from. ConceptRole Whether a canonical name is a concept (a noun phrase) or an operation (a verb phrase). ConstructTranslationRelation How a construct translates from one native grammar to another. CorrespondenceRelation How two source spellings relate. LinksNotationReading The links-notation reading of one link. NativeConceptProblemKind What is wrong with the concept of a native grammar rule. CORRESPONDENCE_KINDS The kinds of correspondence between two distinct models; none of them claims the models are the same. FORMER_CONCEPT_IDS Former concept identities, each with the readable English identity that replaced it. FORMER_CONCEPT_ID_VOCABULARY The alias vocabulary that keeps the former identities of meta-language concepts. LOGIC_FAMILIES The families whose models are logics or proof authorities. NATURAL_LANGUAGE_GRAMMAR_FIXTURES Executable natural-language grammar fixture pairs for each target language. REQUIRED_CONCEPT_DISTINCTIONS The concept pairs that stay distinct in every grammar and program. REQUIRED_FOUNDATION_DISTINCTIONS The foundation model pairs that stay distinct; the register records the reason for each. SELF_TRANSLATION_LANGUAGES The languages self-translation reads and writes. SEMANTIC_ENCODING The contract encoding of a semantic translation. SEMANTIC_OBSERVATION What a semantic translation preserves: the printed lines and every stated proposition. check_concept_distinctions Checks that the records keep every required distinction and justify every shared concept. check_foundation_models Checks that a register keeps foundations neutral. check_native_grammar_concepts Checks the concepts of every rule of every native grammar. check_native_grammar_concepts_in check_native_grammar_concepts over the records records, the native
grammars grammars and the rule concepts rule_concepts gives each.concept_correspondence Relates two source spellings through the embedded concept records and foundation register. concept_correspondence_in Relates two source spellings through the given records and foundation register. concept_record Returns the record whose identity or former name is name. concept_records Returns every concept record in register order. concept_records_for_source_name Returns the records a source (such as ebnf or Rust) names name, in register order. current_concept_id The current identity of a concept: id itself, or the identity that replaced it. foundation_correspondences Returns the recorded correspondences between two models, in either direction. foundation_model Returns the model named id. foundation_register Returns the embedded foundation register. grammar_names Returns the node kind and field names of a default grammar by its
grammar-lock id, or None for an unknown id or an oracle grammar. grammar_precedence_concepts Returns every precedence use in grammar with the concept it expresses. identify_language Returns the canonical name of the supported natural language the text is
written in, or None when the text carries no usable evidence. language_foundation_models Returns the models language uses, optionally only those of one family. native_construct_tree The construct tree of source under the native grammar id. native_grammar_concept_reuse The per-language reuse report of the native grammars. native_grammar_ids The id of every native grammar of the catalog, sorted. native_grammar_language The language of the native grammar id, its file name: json for
native-json. native_grammar_rule_concepts Every rule of the native grammar id with the concept it names, in
grammar order; empty for an id that names no native grammar. native_grammar_source The source concept records name the rules of the native grammar id
under: native:json. self_translate Translates source from source_language to target_language, each one
of SELF_TRANSLATION_LANGUAGES self_translate_decorated self_translatedecorators applied.self_translation_language The self-translation language language names, or None. source_meanings_in Returns the concepts and foundation models a source spelling means, optionally only those under within. translate_native_construct Translates the rule rule of the native grammar from to to. translate_native_construct_decorated translate_native_constructconcept-mapping decorators of
decorators.translate_native_construct_in translate_native_construct over the records records.translate_native_construct_tree Translates a construct tree of the native grammar from to the native
grammar to, every node through translate_native_construct.