Module dialectical 

Re-exports

pub use crate::frame_layout::COUNTERFACTUAL_BIT;

pub use crate::frame_layout::DO_INTERVENTION_BIT;

pub use crate::frame_layout::SYNTHESIZED_BIT;

Enums

IbisNode

An IBIS discourse node — the multi-agent argumentation structure: an Issue raises a question, Positions answer it, and Arguments support or object to positions.

Constants

MAX_CAUSAL_NODES

Max nodes for the bounded zero-heap causal reachability search.

Functions

adjust_for_confounding

Compute do-calculus adjustment for confounding

are_confounded

Check if two variables are confounded (share a common cause)

counterfactual_query

Counterfactual query: “What would happen if X were x?”

do_intervention

Causal intervention operator for do-calculus Implements P(Y | do(X = x)) by intervening on the causal graph.

ibis_position_favoured

A position in an IBIS discourse is favoured iff its net support (supporting − objecting arguments) is positive. The multi-agent dialectical resolution of an issue.

is_dialectical_contradiction

A dialectical contradiction: thesis and antithesis assert the same (subject, predicate) with different objects — the conflict that is either SYNTHESIZED (synthesize_dialectical) or, when no synthesis is wanted, ISOLATED into a paraconsistent sub-context (paraconsistent::route_paraconsistent) so it does not explode the rest of the graph.

is_necessary_cause

But-for causal necessity: candidate is a NECESSARY cause of effect (from origin root) iff effect is reachable from root, but is NOT reachable once candidate is removed from the causal graph. The attribution/liability test (“would the harm have occurred but for this agent’s act?”). Zero-heap.

reachable_avoiding

Zero-heap reachability over causal edges (subject → object): is target reachable from source WITHOUT ever passing through avoid? Bounded BFS over fixed stack buffers (no allocation). Pass avoid == u64::MAX to avoid nothing. (The heap variant find_causal_paths enumerates all paths for analysis; this answers the yes/no reachability the but-for test needs, allocation-free.)

synthesis_coherence

Synthesis-quality / coherence score in [0,1]: a good Hegelian synthesis PRESERVES the shared ground (same subject + predicate as both thesis and antithesis) and genuinely INTEGRATES the two objects (rather than echoing one side). 1.0 for a well-formed synthesis; lower when it drifts from the common ground or fails to combine both sides.

synthesize_dialectical