uor-foundation 0.4.13

# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.83"
name = "uor-foundation"
version = "0.4.13"
authors = ["The UOR Foundation"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "UOR Foundation — typed Rust traits for the complete ontology. Import and implement."
homepage = "https://uor.foundation/"
documentation = "https://docs.rs/uor-foundation"
readme = "README.md"
keywords = [
    "ontology",
    "uor",
    "type-system",
    "traits",
    "semantic-web",
]
categories = [
    "data-structures",
    "science",
]
license = "Apache-2.0"
repository = "https://github.com/UOR-Foundation/UOR-Framework"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = [
    "--cfg",
    "docsrs",
]

[features]
alloc = []
default = []
observability = ["alloc"]
serde = ["alloc"]
std = ["alloc"]

[lib]
name = "uor_foundation"
path = "src/lib.rs"

[[example]]
name = "custom_constrained_type"
path = "examples/custom_constrained_type.rs"

[[example]]
name = "custom_hasher_substrate"
path = "examples/custom_hasher_substrate.rs"

[[example]]
name = "custom_sinking"
path = "examples/custom_sinking.rs"

[[example]]
name = "dispatch_table_walk"
path = "examples/dispatch_table_walk.rs"

[[example]]
name = "end_to_end_pipeline"
path = "examples/end_to_end_pipeline.rs"

[[example]]
name = "parallel_partition"
path = "examples/parallel_partition.rs"

[[example]]
name = "static_bindings_catalog"
path = "examples/static_bindings_catalog.rs"

[[example]]
name = "stream_driver_iteration"
path = "examples/stream_driver_iteration.rs"

[[example]]
name = "verify_trace_roundtrip"
path = "examples/verify_trace_roundtrip.rs"

[[test]]
name = "behavior_adr_053_ring_axis_completion"
path = "tests/behavior_adr_053_ring_axis_completion.rs"

[[test]]
name = "behavior_adr_055_substrate_term_body"
path = "tests/behavior_adr_055_substrate_term_body.rs"

[[test]]
name = "behavior_adr_057_recursive_typing"
path = "tests/behavior_adr_057_recursive_typing.rs"

[[test]]
name = "behavior_builder_rejection"
path = "tests/behavior_builder_rejection.rs"

[[test]]
name = "behavior_calibration"
path = "tests/behavior_calibration.rs"

[[test]]
name = "behavior_cartesian_product_witness"
path = "tests/behavior_cartesian_product_witness.rs"

[[test]]
name = "behavior_catamorphism_evaluator"
path = "tests/behavior_catamorphism_evaluator.rs"

[[test]]
name = "behavior_cohomology_cup"
path = "tests/behavior_cohomology_cup.rs"

[[test]]
name = "behavior_const_ring_eval"
path = "tests/behavior_const_ring_eval.rs"

[[test]]
name = "behavior_constraint_kinds"
path = "tests/behavior_constraint_kinds.rs"

[[test]]
name = "behavior_cpt6_distributivity"
path = "tests/behavior_cpt6_distributivity.rs"

[[test]]
name = "behavior_embedding_preserves_value"
path = "tests/behavior_embedding_preserves_value.rs"

[[test]]
name = "behavior_fold_unroll_threshold"
path = "tests/behavior_fold_unroll_threshold.rs"

[[test]]
name = "behavior_grammar_surface_roundtrip"
path = "tests/behavior_grammar_surface_roundtrip.rs"

[[test]]
name = "behavior_grounding_ext_sealed"
path = "tests/behavior_grounding_ext_sealed.rs"

[[test]]
name = "behavior_grounding_interpreter"
path = "tests/behavior_grounding_interpreter.rs"

[[test]]
name = "behavior_host_bounds"
path = "tests/behavior_host_bounds.rs"

[[test]]
name = "behavior_impossibility_certificates"
path = "tests/behavior_impossibility_certificates.rs"

[[test]]
name = "behavior_into_binding_value"
path = "tests/behavior_into_binding_value.rs"

[[test]]
name = "behavior_mint_primitives"
path = "tests/behavior_mint_primitives.rs"

[[test]]
name = "behavior_observability"
path = "tests/behavior_observability.rs"

[[test]]
name = "behavior_partition_coproduct_witness"
path = "tests/behavior_partition_coproduct_witness.rs"

[[test]]
name = "behavior_partition_handle_resolver"
path = "tests/behavior_partition_handle_resolver.rs"

[[test]]
name = "behavior_partition_product_witness"
path = "tests/behavior_partition_product_witness.rs"

[[test]]
name = "behavior_pipeline_determinism"
path = "tests/behavior_pipeline_determinism.rs"

[[test]]
name = "behavior_prism_model"
path = "tests/behavior_prism_model.rs"

[[test]]
name = "behavior_resolver_multiplication"
path = "tests/behavior_resolver_multiplication.rs"

[[test]]
name = "behavior_resolver_tower"
path = "tests/behavior_resolver_tower.rs"

[[test]]
name = "behavior_ring_ops_identities"
path = "tests/behavior_ring_ops_identities.rs"

[[test]]
name = "behavior_route_output_payload"
path = "tests/behavior_route_output_payload.rs"

[[test]]
name = "behavior_sat_deciders"
path = "tests/behavior_sat_deciders.rs"

[[test]]
name = "behavior_st8_disjointness"
path = "tests/behavior_st8_disjointness.rs"

[[test]]
name = "behavior_st9_st10_nerve_additivity"
path = "tests/behavior_st9_st10_nerve_additivity.rs"

[[test]]
name = "behavior_uor_time"
path = "tests/behavior_uor_time.rs"

[[test]]
name = "behavior_validate_coproduct_structure"
path = "tests/behavior_validate_coproduct_structure.rs"

[[test]]
name = "behavior_verified_mint_seal"
path = "tests/behavior_verified_mint_seal.rs"

[[test]]
name = "behavior_witness_accessors"
path = "tests/behavior_witness_accessors.rs"

[[test]]
name = "behavior_witness_partition_trait_impls"
path = "tests/behavior_witness_partition_trait_impls.rs"

[[test]]
name = "grounded_inhabitance"
path = "tests/grounded_inhabitance.rs"

[[test]]
name = "grounding_map_kind_markers"
path = "tests/grounding_map_kind_markers.rs"

[[test]]
name = "host_types_surface"
path = "tests/host_types_surface.rs"

[[test]]
name = "mint_inputs_field_surface"
path = "tests/mint_inputs_field_surface.rs"

[[test]]
name = "no_std"
path = "tests/no_std.rs"

[[test]]
name = "observable_views"
path = "tests/observable_views.rs"

[[test]]
name = "ontology_verified_mint_contract"
path = "tests/ontology_verified_mint_contract.rs"

[[test]]
name = "orphan_closure_capacity_fail_fast"
path = "tests/orphan_closure_capacity_fail_fast.rs"

[[test]]
name = "parametric_constraints"
path = "tests/parametric_constraints.rs"

[[test]]
name = "phantom_tag"
path = "tests/phantom_tag.rs"

[[test]]
name = "phase12_witness_mints"
path = "tests/phase12_witness_mints.rs"

[[test]]
name = "phase9_decimal_transcendental"
path = "tests/phase9_decimal_transcendental.rs"

[[test]]
name = "phase_a_witness_accessors"
path = "tests/phase_a_witness_accessors.rs"

[[test]]
name = "phase_c_const_frontier"
path = "tests/phase_c_const_frontier.rs"

[[test]]
name = "phase_d_resolver_tower"
path = "tests/phase_d_resolver_tower.rs"

[[test]]
name = "phase_e_bridge_enforcement"
path = "tests/phase_e_bridge_enforcement.rs"

[[test]]
name = "phase_f_kernel_enforcement"
path = "tests/phase_f_kernel_enforcement.rs"

[[test]]
name = "phase_f_preflight_bound"
path = "tests/phase_f_preflight_bound.rs"

[[test]]
name = "phase_h_transcendentals"
path = "tests/phase_h_transcendentals.rs"

[[test]]
name = "phase_k_grounding_combinator_closure"
path = "tests/phase_k_grounding_combinator_closure.rs"

[[test]]
name = "phase_k_kernel_oracles"
path = "tests/phase_k_kernel_oracles.rs"

[[test]]
name = "phase_l_const_ring_eval"
path = "tests/phase_l_const_ring_eval.rs"

[[test]]
name = "phase_m_driver_surface"
path = "tests/phase_m_driver_surface.rs"

[[test]]
name = "phase_x1_cert_discrimination"
path = "tests/phase_x1_cert_discrimination.rs"

[[test]]
name = "phase_x3_certify_const"
path = "tests/phase_x3_certify_const.rs"

[[test]]
name = "phase_x4_betti"
path = "tests/phase_x4_betti.rs"

[[test]]
name = "phase_x6_sinking"
path = "tests/phase_x6_sinking.rs"

[[test]]
name = "pipeline_deciders"
path = "tests/pipeline_deciders.rs"

[[test]]
name = "pipeline_failure_variants"
path = "tests/pipeline_failure_variants.rs"

[[test]]
name = "public_api_e2e"
path = "tests/public_api_e2e.rs"

[[test]]
name = "tower_completeness"
path = "tests/tower_completeness.rs"

[[test]]
name = "unary_ring_ops"
path = "tests/unary_ring_ops.rs"

[[test]]
name = "uor_time"
path = "tests/uor_time.rs"

[[test]]
name = "validated_phases"
path = "tests/validated_phases.rs"

[[test]]
name = "witt_tower_dense"
path = "tests/witt_tower_dense.rs"

[[test]]
name = "witt_tower_limbs"
path = "tests/witt_tower_limbs.rs"

[dependencies.libm]
version = "0.2"

[dev-dependencies]