UOR-Framework
Formalization of the UOR Framework as the https://uor.foundation/ model.
File Explorer
- config.toml
- devcontainer.json
- ci.yml
- release.yml
- cargo-uor.rs
- explain_iri.rs
- Cargo.toml
- README.md
- build.rs
- conformance.rs
- crate_.rs
- docs.rs
- lean.rs
- website.rs
- Cargo.toml
- classification.rs
- emit.rs
- enforcement.rs
- enums.rs
- individuals.rs
- lib.rs
- mapping.rs
- pipeline.rs
- resolved_wrapper.rs
- sdk_macros.rs
- traits.rs
- witness_scaffolds.rs
- blanket_impls_exempt.rs
- classification_counts.rs
- classification_coverage.rs
- classification_spot_checks.rs
- cross_namespace_enum_imports.rs
- enum_defaults.rs
- inherited_assoc_dedup.rs
- no_entropy_hash.rs
- path1_null_emission.rs
- path2_null_emission.rs
- path2_theorem_linkage.rs
- path3_primitive_backing.rs
- path4_stub_banners.rs
- phase13b_doc_fragments.rs
- phase8_resolved_emission.rs
- witness_scaffold_emission.rs
- Cargo.toml
- uor-shapes.ttl
- mod.rs
- test100_normative_chain.rs
- test101_lift_chain_flat.rs
- test102_lift_chain_twisted.rs
- test103_obstruction_chain_empty.rs
- test104_obstruction_chain_nontrivial.rs
- test105_lift_chain_certificate.rs
- test106_chain_audit_trail.rs
- test107_tower_resolver.rs
- test108_inductive_proof.rs
- test109_validity_scope.rs
- test10_iterative_resolution.rs
- test110_tower_roundtrip.rs
- test111_address_crypto_pinning.rs
- test112_address_canonical_bytes.rs
- test113_carry_constraint_pinning.rs
- test114_joint_satisfiability.rs
- test115_dihedral_inverse_order.rs
- test116_constraint_expressiveness.rs
- test117_sumtype_topology.rs
- test118_synthesis_reachability.rs
- test119_obstruction_termination.rs
- test11_composition.rs
- test120_coefficient_ring.rs
- test121_gluing_feedback.rs
- test122_session_grounding.rs
- test123_amplitude_index.rs
- test124_glyph.rs
- test125_dihedral_group.rs
- test126_validity_scope_kind.rs
- test127_witt_level_resolver.rs
- test128_stratum_observable.rs
- test129_metric_observable.rs
- test12_factorization.rs
- test130_path_observable.rs
- test131_reduction_observable.rs
- test132_holonomy_observable.rs
- test133_incompatibility_metric.rs
- test134_stratum_value.rs
- test135_stratum_delta.rs
- test136_stratum_trajectory.rs
- test137_path_length.rs
- test138_total_variation.rs
- test139_winding_number.rs
- test13_canonical_form.rs
- test140_reduction_length.rs
- test141_reduction_count.rs
- test142_catastrophe_threshold.rs
- test143_catastrophe_count.rs
- test144_commutator.rs
- test145_curvature_flux.rs
- test146_parallel_transport.rs
- test147_reduction_entropy.rs
- test148_phase_boundary_type.rs
- test149_face_map.rs
- test14_content_addressing.rs
- test150_nerve_functor.rs
- test151_chain_functor.rs
- test152_restriction_map.rs
- test153_coherence_proof.rs
- test154_derivation_step.rs
- test155_computation_step.rs
- test156_trace_metrics.rs
- test157_isometry_certificate.rs
- test158_lift_chain_certificate.rs
- test159_chain_audit_trail.rs
- test15_boolean_sat.rs
- test160_shared_context.rs
- test161_execution_policy.rs
- test162_session_composition.rs
- test163_distributed_grounding.rs
- test164_embedding.rs
- test165_action.rs
- test166_session_boundary_type.rs
- test167_metric_axis.rs
- test168_witt_carry.rs
- test169_arithmetic_valuation.rs
- test16_algebraic_identities.rs
- test170_kan_complex.rs
- test171_postnikov_truncation.rs
- test172_homotopy_group.rs
- test173_homotopy_end_to_end.rs
- test174_homotopy_resolver.rs
- test175_homotopy_pipeline.rs
- test176_moduli_space.rs
- test177_deformation_complex.rs
- test178_holonomy_stratum.rs
- test179_moduli_end_to_end.rs
- test17_inter_algebra_maps.rs
- test180_moduli_resolver.rs
- test181_stratification_record.rs
- test182_whitehead_product.rs
- test183_deformation_family.rs
- test184_versal_deformation.rs
- test185_carry_chain.rs
- test186_carry_event.rs
- test187_carry_profile.rs
- test188_encoding_configuration.rs
- test189_encoding_quality.rs
- test18_analytical_completeness.rs
- test190_base_metric.rs
- test191_grounding_observable.rs
- test192_euler_characteristic.rs
- test193_galois_connection.rs
- test194_nerve_operations.rs
- test195_scalar_symbol_type.rs
- test196_sequence_tuple_type.rs
- test197_graph_tree_type.rs
- test198_composed_operation.rs
- test199_dispatch_operation.rs
- test19_homological_pipeline.rs
- test1_ring.rs
- test200_inference_operation.rs
- test201_accumulation_operation.rs
- test202_lease_partition_operation.rs
- test203_session_composition_operation.rs
- test204_euler_reduction.rs
- test205_reduction_step.rs
- test206_reduction_state.rs
- test207_phase_gate.rs
- test208_epoch.rs
- test209_predicate_expression.rs
- test20_sheaf_consistency.rs
- test210_guard_expression.rs
- test211_transition_effect.rs
- test212_service_window.rs
- test213_reduction_transaction.rs
- test214_feasibility_result.rs
- test215_lease_state.rs
- test216_managed_lease.rs
- test217_back_pressure.rs
- test218_deferred_query.rs
- test219_convergence_level.rs
- test21_topological_delta.rs
- test220_hopf_fiber.rs
- test221_convergence_residual.rs
- test222_commutative_subspace.rs
- test223_associative_subalgebra.rs
- test224_normed_division_algebra.rs
- test225_cayley_dickson.rs
- test226_multiplication_table.rs
- test227_algebra_commutator.rs
- test228_algebra_associator.rs
- test229_interaction_context.rs
- test22_index_bridge.rs
- test230_commutator_state.rs
- test231_associator_state.rs
- test232_three_way_site.rs
- test233_negotiation_trace.rs
- test234_interaction_nerve.rs
- test235_monoidal_product.rs
- test236_monoidal_unit.rs
- test237_monoidal_associator.rs
- test238_structural_operad.rs
- test239_operad_composition.rs
- test23_identity_grounding.rs
- test240_operad_end_to_end.rs
- test241_associator_triple.rs
- test242_mutual_model_trace.rs
- test243_interaction_composition.rs
- test244_sublease_transfer.rs
- test245_predicate_subclasses.rs
- test246_phase_rotation.rs
- test247_rollback_transition.rs
- test248_epoch_boundary.rs
- test249_property_bind_advance.rs
- test24_verification_domain.rs
- test250_pipeline_outcome.rs
- test251_preflight_checkpoint.rs
- test252_compile_unit.rs
- test253_expression_types.rs
- test254_proof_derivation_types.rs
- test255_effect_types.rs
- test256_predicate_types.rs
- test257_parallel_types.rs
- test258_stream_types.rs
- test259_failure_types.rs
- test25_geometric_character.rs
- test260_linear_types.rs
- test261_recursion_types.rs
- test262_region_types.rs
- test263_boundary_types.rs
- test264_conformance_types.rs
- test265_user_types.rs
- test266_witness_datum.rs
- test267_compile_unit_builder.rs
- test268_violation_kind.rs
- test269_predicate_individuals.rs
- test26_complexity_class.rs
- test270_constraint_subclasses.rs
- test271_host_value_types.rs
- test272_boundary_map_individuals.rs
- test273_type_definition_sum.rs
- test274_witness_types.rs
- test275_reduction_advance.rs
- test276_witness_site_budget.rs
- test277_inhabitance_verdict.rs
- test278_v021_cleanup_bounds.rs
- test279_multiplication_certificate.rs
- test27_rewrite_rule.rs
- test280_bridge_completion.rs
- test281_impossibility_certificates.rs
- test285_cartesian_partition_product.rs
- test286_tag_site.rs
- test287_layout_invariant.rs
- test288_axis_projection_observable.rs
- test289_spectral_observable.rs
- test28_measurement_unit.rs
- test290_value_threshold_observable.rs
- test29_triad_projection.rs
- test2_primitives.rs
- test30_proof_coverage.rs
- test31_witt_level.rs
- test32_arc_grounding.rs
- test33_graph_gaps.rs
- test34_completeness_candidate.rs
- test35_completeness_certificate.rs
- test36_w16_ring.rs
- test37_witt_level_binding.rs
- test38_session_lifecycle.rs
- test39_session_boundary.rs
- test3_term_graph.rs
- test40_type_synthesis_goal.rs
- test41_synthesis_result.rs
- test42_witt_lift.rs
- test43_spectral_sequence.rs
- test44_monodromy_flat.rs
- test45_monodromy_twisted.rs
- test46_monodromy_pipeline.rs
- test47_thermo_pipeline.rs
- test48_phase_diagram.rs
- test49_reversible_resolution.rs
- test4_state_lifecycle.rs
- test50_jacobian_resolver.rs
- test51_product_type_pipeline.rs
- test52_sum_type_variant.rs
- test53_superposed_site.rs
- test54_grounded_context.rs
- test55_grounding_witness.rs
- test56_domain_grounding_record.rs
- test57_grounding_phase.rs
- test58_grounding_certificate.rs
- test59_grounding_aware_resolver.rs
- test5_partition.rs
- test60_impossibility_witness.rs
- test61_morphospace_record.rs
- test62_morphospace_boundary.rs
- test63_forbidden_signature.rs
- test64_achievability_status.rs
- test65_geodesic_trace.rs
- test66_geodesic_certificate.rs
- test67_geodesic_violation.rs
- test68_geodesic_validator.rs
- test69_geodesic_ordered.rs
- test6_critical_identity.rs
- test70_measurement_resolver.rs
- test71_measurement_event.rs
- test72_measurement_certificate.rs
- test73_collapsed_site_state.rs
- test74_quantum_thermodynamic.rs
- test75_partition_product.rs
- test76_partition_coproduct.rs
- test77_geodesic_evidence.rs
- test78_born_rule.rs
- test79_measurement_outcome.rs
- test7_end_to_end.rs
- test80_partition_exhaustive.rs
- test81_dihedral_algebra.rs
- test82_level_successor.rs
- test83_amplitude_normalization.rs
- test84_enum_variant.rs
- test85_w16_ring_grounding.rs
- test86_witt_lift_trivial.rs
- test87_spectral_convergence.rs
- test88_lift_obstruction_nontrivial.rs
- test89_lift_refinement_suggestion.rs
- test8_free_rank.rs
- test90_resolved_lift.rs
- test91_synthesis_goal_w16.rs
- test92_synthesis_checkpoint.rs
- test93_synthesis_signature.rs
- test94_synthesized_type.rs
- test95_unreachable_signature.rs
- test96_geodesic_trace_w16.rs
- test97_evidence_bundle_ar1.rs
- test98_evidence_bundle_dc10.rs
- test99_measurement_born_w16.rs
- test9_constraint_algebra.rs
- mod.rs
- accuracy.rs
- completeness.rs
- concept_pages_count.rs
- links.rs
- mod.rs
- psi_leakage.rs
- structure.rs
- build.rs
- individual_proof.rs
- mod.rs
- structure.rs
- crate_.rs
- ebnf.rs
- enforcement.rs
- inventory.rs
- json_schema.rs
- jsonld.rs
- mod.rs
- owl.rs
- owl_xml.rs
- rdf.rs
- required_property_coverage.rs
- shacl.rs
- shacl_shapes.rs
- standards.rs
- mod.rs
- constraint_encoder_completeness.rs
- mod.rs
- resolver_signature_shape.rs
- sealed_type_coverage.rs
- spectral_sequence_walk.rs
- w4_grounding_closure.rs
- all_features_build_check.rs
- alloc_build_check.rs
- api.rs
- blanket_impls_exempt.rs
- bridge_enforcement.rs
- bridge_namespace_completion.rs
- calibration_presets_valid.rs
- const_fn_frontier.rs
- const_ring_eval_coverage.rs
- driver_must_use.rs
- driver_shape.rs
- ebnf_constraint_decl.rs
- endpoint_coverage.rs
- error_trait_completeness.rs
- escape_hatch_lint.rs
- feature_flag_layout.rs
- grammar_surface_coverage.rs
- grounding_combinator_check.rs
- host_types_discipline.rs
- kernel_enforcement.rs
- libm_dependency.rs
- mod.rs
- multiplication_resolver.rs
- no_hardcoded_f64.rs
- no_std_build_check.rs
- orphan_counts.rs
- parametric_constraints.rs
- phantom_tag.rs
- phase12_no_stubs.rs
- pipeline_run_threads_input.rs
- public_api_functional.rs
- public_api_snapshot.rs
- resolver_tower.rs
- style.rs
- taxonomy_coverage.rs
- test_assertion_depth.rs
- theory_deferred_register.rs
- trace_byte_layout_pinned.rs
- uor_foundation_verify_build.rs
- uor_time_surface.rs
- verify_trace_round_trip.rs
- w4_closure.rs
- witness_scaffold_surface.rs
- witt_tower_completeness.rs
- accessibility.rs
- bootstrap.rs
- coverage.rs
- css.rs
- design.rs
- html.rs
- links.rs
- mod.rs
- nav.rs
- pages.rs
- visual.rs
- mod.rs
- lib.rs
- report.rs
- docs.md
- ebnf.md
- html5.md
- jsonld.md
- owl.md
- rdf.md
- rust.md
- shacl.md
- turtle.md
- wcag.md
- website.md
- Cargo.toml
- endpoint_coverage.toml
- addressing.md
- algebraic-laws.md
- analytical-completeness.md
- canonical-form.md
- certify-trait.md
- cohomology.md
- composition.md
- constraint-algebra.md
- content-addressing.md
- critical-identity.md
- differential-calculus.md
- evaluation.md
- factorization.md
- free-rank.md
- grounded-wrapper.md
- homology.md
- homotopy-nerve.md
- inhabitance-verdict.md
- iterative-resolution.md
- moduli-space.md
- monodromy.md
- observables.md
- partition.md
- quantum-spectral-sequence.md
- quantum-universality.md
- resolution.md
- ring.md
- session-resolution.md
- sheaf-semantics.md
- state-model.md
- type-completeness.md
- type-synthesis.md
- type-system.md
- conformance.md
- contributing.md
- deformation-analysis.md
- homotopy-pipeline.md
- implementing-prism.md
- incremental-completeness.md
- psi-pipeline.md
- type-synthesis.md
- architecture.md
- overview.md
- classification_report.md
- completion-plan.md
- overview.md
- phase-0-classification.md
- phase-1-prerequisites.md
- phase-13b-doc-fragments.md
- phase-2-handle-resolver.md
- phase-3-witness-mint.md
- phase-4-blanket-impls.md
- phase-5-primitives.md
- phase-6-theory-deferred.md
- extractor.rs
- lib.rs
- linker.rs
- nav.rs
- renderer.rs
- verifier.rs
- writer.rs
- Cargo.toml
- theory_deferred.md
- smoke.rs
- Cargo.toml
- custom_constrained_type.rs
- custom_hasher_substrate.rs
- custom_sinking.rs
- dispatch_table_walk.rs
- end_to_end_pipeline.rs
- parallel_partition.rs
- static_bindings_catalog.rs
- stream_driver_iteration.rs
- verify_trace_roundtrip.rs
- boundary.rs
- cert.rs
- cohomology.rs
- conformance_.rs
- derivation.rs
- foundation.rs
- homology.rs
- interaction.rs
- mod.rs
- observable.rs
- partition.rs
- proof.rs
- query.rs
- resolver.rs
- trace.rs
- address.rs
- carry.rs
- convergence.rs
- division.rs
- effect.rs
- failure.rs
- linear.rs
- mod.rs
- monoidal.rs
- op.rs
- operad.rs
- parallel.rs
- predicate.rs
- recursion.rs
- reduction.rs
- region.rs
- schema.rs
- stream.rs
- br.rs
- cc.rs
- dp.rs
- ih.rs
- lo.rs
- mod.rs
- oa.rs
- mod.rs
- morphism.rs
- state.rs
- type_.rs
- blanket_impls.rs
- enforcement.rs
- enums.rs
- lib.rs
- pipeline.rs
- witness_scaffolds.rs
- behavior_adr_053_ring_axis_completion.rs
- behavior_adr_055_substrate_term_body.rs
- behavior_adr_057_recursive_typing.rs
- behavior_adr_060_arbitrary_scaling.rs
- behavior_adr_060_large_input_grounded.rs
- behavior_builder_rejection.rs
- behavior_calibration.rs
- behavior_cartesian_product_witness.rs
- behavior_catamorphism_evaluator.rs
- behavior_cohomology_cup.rs
- behavior_const_ring_eval.rs
- behavior_constraint_kinds.rs
- behavior_cpt6_distributivity.rs
- behavior_embedding_preserves_value.rs
- behavior_fold_unroll_threshold.rs
- behavior_grammar_surface_roundtrip.rs
- behavior_grounding_ext_sealed.rs
- behavior_grounding_interpreter.rs
- behavior_hasher_fp_max_64.rs
- behavior_host_bounds.rs
- behavior_impossibility_certificates.rs
- behavior_into_binding_value.rs
- behavior_mint_primitives.rs
- behavior_observability.rs
- behavior_partition_coproduct_witness.rs
- behavior_partition_handle_resolver.rs
- behavior_partition_product_witness.rs
- behavior_pipeline_determinism.rs
- behavior_prism_model.rs
- behavior_resolver_multiplication.rs
- behavior_resolver_tower.rs
- behavior_ring_ops_identities.rs
- behavior_route_output_payload.rs
- behavior_sat_deciders.rs
- behavior_st8_disjointness.rs
- behavior_st9_st10_nerve_additivity.rs
- behavior_uor_time.rs
- behavior_validate_coproduct_structure.rs
- behavior_verified_mint_seal.rs
- behavior_witness_accessors.rs
- behavior_witness_partition_trait_impls.rs
- grounded_inhabitance.rs
- grounding_map_kind_markers.rs
- host_types_surface.rs
- mint_inputs_field_surface.rs
- no_std.rs
- observable_views.rs
- ontology_verified_mint_contract.rs
- orphan_closure_capacity_fail_fast.rs
- parametric_constraints.rs
- phantom_tag.rs
- phase12_witness_mints.rs
- phase9_decimal_transcendental.rs
- phase_a_witness_accessors.rs
- phase_c_const_frontier.rs
- phase_d_resolver_tower.rs
- phase_e_bridge_enforcement.rs
- phase_f_kernel_enforcement.rs
- phase_f_preflight_bound.rs
- phase_h_transcendentals.rs
- phase_k_grounding_combinator_closure.rs
- phase_k_kernel_oracles.rs
- phase_l_const_ring_eval.rs
- phase_m_driver_surface.rs
- phase_x1_cert_discrimination.rs
- phase_x3_certify_const.rs
- phase_x4_betti.rs
- phase_x6_sinking.rs
- pipeline_deciders.rs
- pipeline_failure_variants.rs
- public-api.snapshot
- public-api.snapshot.nostd
- public_api_e2e.rs
- tower_completeness.rs
- unary_ring_ops.rs
- uor_time.rs
- validated_phases.rs
- witt_tower_dense.rs
- witt_tower_limbs.rs
- Cargo.toml
- README.md
- emit.rs
- enforcement.rs
- enums.rs
- individuals.rs
- lib.rs
- mapping.rs
- pipeline.rs
- primitives.rs
- rigor_patterns.rs
- structures.rs
- Cargo.toml
- Cohomology.lean
- Conformance_.lean
- Convergence.lean
- Division.lean
- Foundation.lean
- Homology.lean
- Morphism.lean
- Observable.lean
- Op.lean
- Predicate.lean
- Proof.lean
- Reduction.lean
- Resolver.lean
- Schema.lean
- State.lean
- Trace.lean
- Type_.lean
- Enforcement.lean
- Enums.lean
- Examples.lean
- Individuals.lean
- Pipeline.lean
- Prelude.lean
- Primitives.lean
- Structures.lean
- Test.lean
- .uor-unproven.json
- LICENSE
- README.md
- UOR.lean
- dump_ontology.rs
- boundary.rs
- carry.rs
- cert.rs
- cohomology.rs
- conformance_.rs
- convergence.rs
- derivation.rs
- division.rs
- effect.rs
- failure.rs
- foundation.rs
- homology.rs
- interaction.rs
- linear.rs
- mod.rs
- monoidal.rs
- morphism.rs
- observable.rs
- op.rs
- operad.rs
- parallel.rs
- partition.rs
- predicate.rs
- proof.rs
- query.rs
- recursion.rs
- reduction.rs
- region.rs
- resolver.rs
- schema.rs
- state.rs
- stream.rs
- trace.rs
- type_.rs
- u.rs
- conformance_ebnf.rs
- ebnf.rs
- json_schema.rs
- jsonld.rs
- mod.rs
- ntriples.rs
- owl_xml.rs
- prefixes.rs
- shacl.rs
- turtle.rs
- annotation.rs
- counts.rs
- lib.rs
- model.rs
- Cargo.toml
- README.md
- lib.rs
- smoke.rs
- Cargo.toml
- README.md
- lib.rs
- Cargo.toml
- lib.rs
- round_trip.rs
- Cargo.toml
- README.md
- certification.md
- content-addressing.md
- homology.md
- morphisms.md
- observables.md
- partition.md
- prism.md
- proof-system.md
- resolution.md
- ring.md
- site.md
- state-management.md
- witt-levels.md
- about.md
- concepts.rs
- extractor.rs
- lib.rs
- model.rs
- nav.rs
- pipeline.rs
- renderer.rs
- search.rs
- svg.rs
- writer.rs
- style.css
- Cargo.toml
- main.rs
- Cargo.toml
- .gitignore
- Cargo.lock
- Cargo.toml
- CHANGELOG.md
- CITATION.cff
- CLAUDE.md
- clippy.toml
- lake-manifest.json
- lakefile.lean
- lean-toolchain
- LICENSE
- README.md
- RELEASING.md
- rust-toolchain.toml
# Use via CDN
jsDelivrjsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.
Link
Example
Command Glossary
Commands referenced in this DOCs, explained below.
cargo clippy
View Details ▼
cargo clippy
A collection of lints to catch common mistakes and improve your Rust code.
cargo clippy
Run checks over the code in the current directory:
cargo clippy --locked
Require that `Cargo.lock` is up to date:
cargo clippy --workspace
Run checks on all packages in the workspace:
cargo fmt
View Details ▼
cargo fmt
Run `rustfmt` on all source files in a Rust project.
See also: `rustfmt`.
cargo fmt
Format all source files:
cargo fmt --check
Check for formatting errors without writing to the files:
cargo fmt -- {{rustfmt_args}}
Pass arguments to each `rustfmt` call:
cargo run
View Details ▼
cargo run
Run the current Cargo package.
Note: The working directory of the executed binary will be set to the current working directory.
cargo {{[r|run]}}
Run the default binary target:
cargo {{[r|run]}} --bin {{name}}
Run the specified binary:
cargo {{[r|run]}} --example {{name}}
Run the specified example:
cargo test
View Details ▼
cargo test
Execute the unit and integration tests of a Rust package.
cargo {{[t|test]}} {{test_name}}
Only run tests containing a specific string in their names:
cargo {{[t|test]}} -- --test-threads {{count}}
Set the number of simultaneous running test cases:
cargo {{[t|test]}} {{[-r|--release]}}
Test artifacts in release mode, with optimizations:
# Project Badges
-
DOI
Visit
// repository documentation
Was this content helpful?
(0 ratings)