Module cfg 

Deterministic positive-only CFG inference over delimiter seed trees.

This module is the D5 black-box CFG inference entry point. It consumes the D6 delimiter structural prior, emits the shared grammar IR, and uses the D1 grammar oracle/sampler for acceptance checks.

Re-exports

pub use super::eval::MembershipOracle;

Structs

InferenceOptions

Options for infer_cfg.

InferenceReport

Counts and acceptance decisions recorded during inference.

InferenceResult

Inferred grammar plus a compact report for evaluation and benchmarking.

PositiveOnlyOracle

Positive-only oracle backed by the in-repository grammar recogniser.

Traits

Oracle

Decides whether an inferred generalisation is acceptable.

Functions

infer_cfg

Infers a deterministic CFG from positive examples.

infer_cfg_with_advisors

Infers a CFG while routing naming and merge decisions through advisors.