Module completion 

Streamed / bounded PAG completion sampling.

Completions are never retained without bound. Before yielding anything, the sampler exhausts a deliberately small endpoint-assignment space and verifies that every survivor is ancestral, maximal, agrees with the PAG’s unshielded colliders, and belongs to one common m-separation equivalence class. A PAG whose marks admit multiple equivalence classes is refused rather than sampled from an unproved superset.

SPDX-License-Identifier: MIT OR Apache-2.0

Structs

CompletionSampler

Streams PAG completions with a hard cap (no unbounded retain).

CompletionValidationReport

Audit counts for a bounded PAG-to-MAG completion enumeration.

PagCompletion

One circle-free completion of a PAG (MAG marks only).

Functions

is_mag_completion

Whether g is a maximal ancestral graph completion in the supported directed/bidirected MAG family (selection-variable Tail–Tail edges are outside this sampler’s scope).

is_maximal_ancestral_graph

Whether a circle-free graph is both ancestral and maximal.