Skip to main content

Module advisor

Module advisor 

Source
Expand description

Advisory naming and merge ranking for grammar inference.

Advisors are intentionally narrow: deterministic inference can use the default implementations without a model or network, while optional accelerators can suggest names or merge ordering behind the same traits.

Structs§

AdviceDecision
Provenance record for an advisory inference decision.
ConceptNamingAdvisor
Deterministic naming advisor grounded in grammar concepts and stable shapes.
FallbackAdvisor
Wraps an optional accelerator with a deterministic fallback advisor.
LlmError
Error returned by an optional LLM client.
LlmMergeAdvisor
Optional LLM-backed merge advisor with deterministic fallback.
LlmNamingAdvisor
Optional LLM-backed naming advisor with deterministic fallback.
MdlMergeAdvisor
Deterministic merge advisor using the existing MDL objective.
MergeCandidate
Candidate merge of two named rules.
MergeRequest
Request for ranking candidate rule merges.
MergeScore
Score for one merge candidate.
NameCandidate
Candidate non-terminal name proposed by a naming advisor.
NamingRequest
Request for naming an inferred non-terminal.

Enums§

AdviceDecisionKind
Kind of inference decision recorded for evaluation reports.
AdviceSource
Source of an advisory inference decision.

Traits§

LlmClient
Provider-agnostic LLM boundary for optional inference acceleration.
MergeAdvisor
Ranks candidate rule merges during inference and minimization.
NamingAdvisor
Proposes human-meaningful names for inferred non-terminals.