Skip to main content Module modalities Copy item path Source pub use argumentation::Argument ;pub use argumentation::ArgumentationFramework ;pub use argumentation::Attack ;pub use argumentation::AttackType ;pub use argumentation::ARGUMENT_BIT ;pub use argumentation::ATTACK_BIT ;pub use argumentation::DEFENSE_BIT ;pub use asp::compute_answer_sets ;pub use asp::enumerate_stable_models ;pub use asp::AspRule ;pub use asp::MAX_STABLE_MODELS ;pub use calculus::detect_simd_width ;pub use calculus::pack_f32_pair ;pub use calculus::resolve_aligned_byte_offset ;pub use calculus::unpack_f32_pair ;pub use calculus::AlignmentError ;pub use calculus::CalculusError ;pub use calculus::ContinuousGrid ;pub use calculus::SimdWidth ;pub use calculus::OP_ADAPTIVE_STEP ;pub use calculus::OP_GPU_INTEGRATION ;pub use calculus::OP_RK4_STEP ;pub use calculus::OP_SIMPSONS_INTEGRATION ;pub use calculus::OP_TRAPEZOIDAL_INTEGRATION ;pub use control_feedback::ControlState ;pub use control_feedback::CONTROL_BIT ;pub use control_feedback::FEEDBACK_BIT ;pub use control_feedback::STABILIZATION_BIT ;pub use dialectical::do_intervention ;pub use dialectical::COUNTERFACTUAL_BIT ;pub use dialectical::DO_INTERVENTION_BIT ;pub use dialectical::SYNTHESIZED_BIT ;pub use defeasible::evaluate_defeasible_frame ;pub use defeasible::DefeasibleError ;pub use defeasible::DefeasibleStatus ;pub use defeasible::DefeasibleVerdict ;pub use defeasible::DEFEATER_BIT ;pub use defeasible::OP_DEFEASIBLE_OVERRIDE ;pub use diffusion::execute_diffusion_pass ;pub use diffusion::trigger_diffusion ;pub use dl::check_subsumption_quin ;pub use epistemic::evaluate_epistemic_frame ;pub use epistemic::EpistemicError ;pub use epistemic::EpistemicStatus ;pub use epistemic::EpistemicVerdict ;pub use epistemic::CERTAINTY_BIT_SHIFT ;pub use epistemic::NESTING_BIT_SHIFT ;pub use epistemic::OP_BELIEVES ;pub use epistemic::OP_COMMON_KNOWLEDGE ;pub use epistemic::OP_KNOWS ;pub use epistemic_boundaries::degrade_claim_to_socratic ;pub use epistemic_boundaries::detect_referral_by_severity ;pub use epistemic_boundaries::detect_referral_trigger ;pub use epistemic_boundaries::forbids_definitive_classification ;pub use epistemic_boundaries::identify_degradation_vector ;pub use epistemic_boundaries::requires_physiological_quarantine ;pub use epistemic_boundaries::DegradationVector ;pub use epistemic_boundaries::ReferralDomain ;pub use epistemic_boundaries::ReferralTrigger ;pub use epistemic_boundaries::SocraticDegradation ;pub use epistemic_boundaries::BIO_DISCLAIMER ;pub use epistemic_boundaries::EMERGENCY_PROMPT ;pub use epistemic_boundaries::LEGAL_DISCLAIMER ;pub use epistemic_boundaries::LEGAL_JEOPARDY_PROMPT ;pub use graph_theory::BoundedGraphAnalysisSummary ;pub use graph_theory::GraphAnalysisError ;pub use graph_theory::MotifRecord ;pub use graph_theory::TopNodeScore ;pub use graph_theory::MAX_BOUNDED_GRAPH_ANALYSIS_NODES ;pub use graph_theory::MAX_HEAP_GRAPH_ANALYSIS_QUINS ;pub use interval_reasoning::TemporalInterval ;pub use jural::compile_jural_quin ;pub use jural::correlative ;pub use jural::correlative_quin ;pub use jural::find_unmet_correlatives ;pub use jural::jural_correlativity_holds ;pub use jural::jural_opposite ;pub use jural::personhood_category_error ;pub use jural::JURAL_CLAIM ;pub use jural::JURAL_DISABILITY ;pub use jural::JURAL_DUTY ;pub use jural::JURAL_IMMUNITY ;pub use jural::JURAL_LIABILITY ;pub use jural::JURAL_NO_RIGHT ;pub use jural::JURAL_POWER ;pub use jural::JURAL_PRIVILEGE ;pub use likeliness::Likeliness ;pub use linear::consume_quin ;pub use linear::is_consumed ;pub use linear::CONSUMED_BIT ;pub use paraconsistent::route_paraconsistent ;pub use paraconsistent::ContradictionStatus ;pub use paraconsistent::ParaconsistentError ;pub use paraconsistent::ISOLATED_CONTEXT_PREFIX ;pub use paraconsistent::OP_CONTRADICTION_SCORE ;pub use paraconsistent::OP_ISOLATE ;pub use paraconsistent::OP_PARACONSISTENT_MERGE ;pub use probabilistic::evaluate_threshold ;pub use probabilistic::BayesianNetwork ;pub use probabilistic::BayesianNode ;pub use probabilistic::MAX_BAYESIAN_NODES ;pub use spatio_temporal::Rcc8Relation ;pub use spatio_temporal::SpatialRegion ;pub use spatio_temporal::TemporalOp ;pub use stit::agentive_status ;pub use stit::brought_about ;pub use stit::is_duty_bearer ;pub use stit::joint_discharged ;pub use stit::joint_liable_members ;pub use deontic_compose::agent_knows ;pub use deontic_compose::classify_mens_rea ;pub use deontic_compose::discharge_obligation ;pub use deontic_compose::obligation_applies_in ;pub use deontic_compose::obligation_globally ;pub use deontic_compose::obligation_until ;pub use deontic_compose::MensRea ;pub use meta_deontic::breach_predicate ;pub use meta_deontic::breach_provenance ;pub use meta_deontic::build_breach_record ;pub use meta_deontic::endorsement_credential ;pub use meta_deontic::record_breach_to_wal ;pub use interaction_governance::govern_verdict ;pub use interaction_governance::map_policy ;pub use interaction_governance::permits_execution ;pub use interaction_governance::policy_action ;pub use interaction_governance::Governance ;pub use interaction_governance::PolicyMode ;pub use causal::but_for_cause ;pub use causal::caused ;pub use causal::dependents_voided ;pub use causal::is_overdetermined ;pub use causal::is_voided_by ;pub use responsibility::accountability_vacuum ;pub use responsibility::adjudicate ;pub use responsibility::enforcer_overreach ;pub use responsibility::is_enforceable_fact ;pub use responsibility::rule_of_law_asymmetry ;pub use responsibility::ResponsibilityStatus ;pub use capacity::effective_principal ;pub use capacity::posthumous_standing ;pub use capacity::stipulation_binding ;pub use capacity::stipulation_voidable ;pub use capacity::CapacityStatus ;pub use delegation::authority_after_revocation ;pub use delegation::has_delegated_authority ;pub use delegation::revoked_descendants ;pub use contract::formation_stage ;pub use contract::incorporates_by_reference ;pub use contract::is_binding_contract ;pub use contract::FormationStage ;pub use value_flow::commons_cost ;pub use value_flow::is_commons_discharged ;pub use value_flow::outstanding ;pub use value_flow::pool_after ;pub use value_flow::royalty ;pub use capability_gap::capability_gap ;pub use capability_gap::requirements_met ;pub use identity_fabric::identifier_is_not_identity ;pub use identity_fabric::identity_survives_loss ;pub use identity_fabric::recompute_fabric ;pub use identity_fabric::surviving_anchors ;pub use legal_compose::selective_disclosure ;pub use legal_compose::translation_status ;pub use legal_compose::zk_eligibility ;pub use legal_compose::Eligibility ;pub use legal_compose::MatchStatus ;pub use legal_compose::marginal_harm ;pub use legal_compose::proportionality_met ;pub use consensus::can_form_joint_during_partition ;pub use consensus::is_globally_valid ;pub use consensus::survives_partition ;pub use consensus::transaction_status ;pub use consensus::TxStatus ;pub use manifold_logic::continuous_to_fact ;pub use manifold_logic::integrate_abs ;pub use manifold_logic::wave_eval ;pub use manifold_logic::WaveCoord ;pub use carrier::media_tag ;pub use carrier::verify_binding ;pub use temporal_ltl::evaluate_ltl_trace ;pub use temporal_ltl::LtlFormula ;pub use temporal_ltl::OP_LTL_FINALLY ;pub use temporal_ltl::OP_LTL_GLOBALLY ;pub use temporal_ltl::OP_LTL_NEXT ;pub use temporal_ltl::OP_LTL_RELEASE ;pub use temporal_ltl::OP_LTL_UNTIL ;pub use manifold::project_10d_to_quaternion ;abductive Abductive inference — Peirce’s “inference to the best explanation”. argumentation asp calculus Calculus Modality capability_gap Gap analysis & capability logic (§24, legal_logic.md) — anti-deficit / RPL. capacity Juridical capacity & state-transition (§18, legal_logic.md). carrier Multi-modal semantic binding logic (§29, legal_logic.md) — the content-addressed
carrier binding + extraction. causal Causal & counterfactual logic (§16, legal_logic.md) — liability & dependency. consensus Distributed state & consensus (§28, legal_logic.md) — multi-agent sync. contract Contractual formation & agreement (§22, legal_logic.md) — private ordering. control_feedback ctl defeasible delegation Delegation & credential-chain logic (§21, legal_logic.md) — the trust fabric. deontic_compose Deontic compositions (Phase 4, DEONTIC_LOGIC_PLAN §4) — cluster A (zero-heap). dialectical diffusion dl epistemic epistemic_boundaries fuzzy fuzzy_quantifiers Fuzzy linguistic quantifiers (Ma, Li & Ma ch 5.4; Zadeh) — evaluate statements
like “most guardians concur” or “few objections” over graded evidence,
keeping governance legible in human terms without collapsing to brittle counts. fuzzy_rdf_schema Fuzzy RDF schema — graded entailment (Ma, Li & Ma ch 3.3). RDFS reasoning with
a degree: subClassOf/type hold to a degree in [0,1], and degrees compose
along the class hierarchy by a t-norm. fuzzy_type2 Interval type-2 fuzzy sets (CI-SKM ch 6) — uncertainty about the membership
degree itself. A type-1 fuzzy degree is a single number “0.7”; an interval
type-2 degree is [0.55, 0.85] — the footprint of uncertainty — so the
system can honestly say “about 0.7, but I’m not even sure how sure.” graph_theory Advanced graph theory analysis for NQuin graphs. identity_fabric Resilient relational identity (§27, legal_logic.md) — fabric resolution. interaction_governance Interaction governance (Phase 6, DEONTIC_LOGIC_PLAN §15) — the final stage that maps an
abstract DeonticVerdict interval_reasoning jural Hohfeldian jural relations (Phase 2, DEONTIC_LOGIC_PLAN §6). legal_compose Composition wires (§17, §19, §26 — legal_logic.md) — wiring existing real primitives into
the legal-logic path: likeliness Likeliness — a qualitative, ordinal calculus of expectation (Vector Semantics
§4.2; Kornai’s “naive” inference). The third uncertainty modality, built as its
own thing rather than folded into defeasible/fuzzy.linear logic Logic Modality manifold manifold_logic Wave-physics substrate logic (§20, legal_logic.md) — the continuous→discrete bridge. meta_deontic Meta-deontic (Phase 5, DEONTIC_LOGIC_PLAN §11) — provenance, endorsement, and the
court-admissible record. modal paraconsistent probabilistic responsibility Responsibility & systemic meta-guard (§25 + §30, legal_logic.md). spatio_temporal stit STIT agency — “α Sees To It That φ” (Phase 3, DEONTIC_LOGIC_PLAN §5). temporal_ltl value_flow Value-flow & compensation (§23, legal_logic.md) — the Permissive Commons.