qualia_core_db/modalities/
mod.rs

1pub mod abductive;
2pub mod argumentation;
3pub use argumentation::{
4    Argument, ArgumentationFramework, Attack, AttackType, ARGUMENT_BIT, ATTACK_BIT, DEFENSE_BIT,
5};
6pub mod asp;
7pub mod ctl;
8pub mod fuzzy;
9pub mod fuzzy_quantifiers;
10pub mod fuzzy_rdf_schema;
11pub mod fuzzy_type2;
12pub mod modal;
13pub use asp::{compute_answer_sets, enumerate_stable_models, AspRule, MAX_STABLE_MODELS};
14#[cfg(any(
15    not(target_arch = "wasm32"),
16    feature = "wasm-scientific",
17    feature = "wasm-full"
18))]
19pub mod calculus;
20#[cfg(any(
21    not(target_arch = "wasm32"),
22    feature = "wasm-scientific",
23    feature = "wasm-full"
24))]
25pub use calculus::{
26    detect_simd_width, pack_f32_pair, resolve_aligned_byte_offset, unpack_f32_pair, AlignmentError,
27    CalculusError, ContinuousGrid, SimdWidth, OP_ADAPTIVE_STEP, OP_GPU_INTEGRATION, OP_RK4_STEP,
28    OP_SIMPSONS_INTEGRATION, OP_TRAPEZOIDAL_INTEGRATION,
29};
30pub mod control_feedback;
31pub use control_feedback::{ControlState, CONTROL_BIT, FEEDBACK_BIT, STABILIZATION_BIT};
32pub mod dialectical;
33pub use dialectical::{do_intervention, COUNTERFACTUAL_BIT, DO_INTERVENTION_BIT, SYNTHESIZED_BIT};
34pub mod defeasible;
35pub use defeasible::{
36    evaluate_defeasible_frame, DefeasibleError, DefeasibleStatus, DefeasibleVerdict, DEFEATER_BIT,
37    OP_DEFEASIBLE_OVERRIDE,
38};
39#[cfg(any(
40    not(target_arch = "wasm32"),
41    feature = "wasm-scientific",
42    feature = "wasm-full"
43))]
44pub mod diffusion;
45#[cfg(any(
46    not(target_arch = "wasm32"),
47    feature = "wasm-scientific",
48    feature = "wasm-full"
49))]
50pub use diffusion::{execute_diffusion_pass, trigger_diffusion};
51pub mod dl;
52pub use dl::check_subsumption_quin;
53pub mod epistemic;
54pub use epistemic::{
55    evaluate_epistemic_frame, EpistemicError, EpistemicStatus, EpistemicVerdict,
56    CERTAINTY_BIT_SHIFT, NESTING_BIT_SHIFT, OP_BELIEVES, OP_COMMON_KNOWLEDGE, OP_KNOWS,
57};
58pub mod epistemic_boundaries;
59pub use epistemic_boundaries::{
60    degrade_claim_to_socratic, detect_referral_by_severity, detect_referral_trigger,
61    forbids_definitive_classification, identify_degradation_vector,
62    requires_physiological_quarantine, DegradationVector, ReferralDomain, ReferralTrigger,
63    SocraticDegradation, BIO_DISCLAIMER, EMERGENCY_PROMPT, LEGAL_DISCLAIMER, LEGAL_JEOPARDY_PROMPT,
64};
65pub mod graph_theory;
66pub use graph_theory::{
67    BoundedGraphAnalysisSummary, CommunitySpan, GraphAnalysisError, MotifRecord, TopNodeScore,
68    MAX_BOUNDED_GRAPH_ANALYSIS_NODES, MAX_HEAP_GRAPH_ANALYSIS_QUINS,
69};
70pub mod interval_reasoning;
71pub use interval_reasoning::TemporalInterval;
72pub mod jural;
73pub use jural::{
74    compile_jural_quin, correlative, correlative_quin, find_unmet_correlatives,
75    jural_correlativity_holds, jural_opposite, personhood_category_error, JURAL_CLAIM,
76    JURAL_DISABILITY, JURAL_DUTY, JURAL_IMMUNITY, JURAL_LIABILITY, JURAL_NO_RIGHT, JURAL_POWER,
77    JURAL_PRIVILEGE,
78};
79pub mod likeliness;
80pub use likeliness::Likeliness;
81pub mod linear;
82pub use linear::{consume_quin, is_consumed, CONSUMED_BIT};
83pub mod logic;
84pub mod paraconsistent;
85pub use paraconsistent::{
86    route_paraconsistent, ContradictionStatus, ParaconsistentError, ISOLATED_CONTEXT_PREFIX,
87    OP_CONTRADICTION_SCORE, OP_ISOLATE, OP_PARACONSISTENT_MERGE,
88};
89pub mod probabilistic;
90pub use probabilistic::{evaluate_threshold, BayesianNetwork, BayesianNode, MAX_BAYESIAN_NODES};
91pub mod spatio_temporal;
92pub use spatio_temporal::{Rcc8Relation, SpatialRegion, TemporalOp};
93pub mod stit;
94pub use stit::{
95    agentive_status, brought_about, is_duty_bearer, joint_discharged, joint_liable_members,
96};
97pub mod deontic_compose;
98pub use deontic_compose::{
99    agent_knows, classify_mens_rea, discharge_obligation, obligation_applies_in,
100    obligation_globally, obligation_until, MensRea,
101};
102pub mod meta_deontic;
103pub use meta_deontic::{
104    breach_predicate, breach_provenance, build_breach_record, endorsement_credential,
105    record_breach_to_wal,
106};
107pub mod interaction_governance;
108pub use interaction_governance::{
109    govern_verdict, map_policy, permits_execution, policy_action, Governance, PolicyMode,
110};
111pub mod causal;
112pub use causal::{but_for_cause, caused, dependents_voided, is_overdetermined, is_voided_by};
113pub mod responsibility;
114pub use responsibility::{
115    accountability_vacuum, adjudicate, enforcer_overreach, is_enforceable_fact,
116    rule_of_law_asymmetry, ResponsibilityStatus,
117};
118pub mod capacity;
119pub use capacity::{
120    effective_principal, posthumous_standing, stipulation_binding, stipulation_voidable,
121    CapacityStatus,
122};
123pub mod delegation;
124pub use delegation::{authority_after_revocation, has_delegated_authority, revoked_descendants};
125pub mod contract;
126pub use contract::{
127    formation_stage, incorporates_by_reference, is_binding_contract, FormationStage,
128};
129pub mod value_flow;
130pub use value_flow::{commons_cost, is_commons_discharged, outstanding, pool_after, royalty};
131pub mod capability_gap;
132pub use capability_gap::{capability_gap, requirements_met};
133pub mod identity_fabric;
134pub use identity_fabric::{
135    identifier_is_not_identity, identity_survives_loss, recompute_fabric, surviving_anchors,
136};
137#[cfg(any(
138    not(target_arch = "wasm32"),
139    feature = "wasm-scientific",
140    feature = "wasm-full"
141))]
142pub mod legal_compose;
143#[cfg(any(
144    not(target_arch = "wasm32"),
145    feature = "wasm-scientific",
146    feature = "wasm-full"
147))]
148pub use legal_compose::{
149    selective_disclosure, translation_status, zk_eligibility, Eligibility, MatchStatus,
150};
151// §26 proportionality composes the native-only CAS — gated to native (see legal_compose.rs).
152#[cfg(not(target_arch = "wasm32"))]
153pub use legal_compose::{marginal_harm, proportionality_met};
154pub mod consensus;
155pub use consensus::{
156    can_form_joint_during_partition, is_globally_valid, survives_partition, transaction_status,
157    TxStatus,
158};
159pub mod manifold_logic;
160pub use manifold_logic::{continuous_to_fact, integrate_abs, wave_eval, WaveCoord};
161pub mod carrier;
162pub use carrier::{extract_payload, media_tag, verify_binding};
163pub mod temporal_ltl;
164pub use temporal_ltl::{
165    evaluate_ltl_trace, LtlFormula, OP_LTL_FINALLY, OP_LTL_GLOBALLY, OP_LTL_NEXT, OP_LTL_RELEASE,
166    OP_LTL_UNTIL,
167};
168#[cfg(any(
169    not(target_arch = "wasm32"),
170    feature = "wasm-scientific",
171    feature = "wasm-full"
172))]
173pub mod manifold;
174#[cfg(any(
175    not(target_arch = "wasm32"),
176    feature = "wasm-scientific",
177    feature = "wasm-full"
178))]
179pub use manifold::project_10d_to_quaternion;
qualia_core_db/modalities/mod.rs

qualia_core_db/modalities/
mod.rs
