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§
- Advice
Decision - Provenance record for an advisory inference decision.
- Concept
Naming Advisor - Deterministic naming advisor grounded in grammar concepts and stable shapes.
- Fallback
Advisor - Wraps an optional accelerator with a deterministic fallback advisor.
- LlmError
- Error returned by an optional LLM client.
- LlmMerge
Advisor - Optional LLM-backed merge advisor with deterministic fallback.
- LlmNaming
Advisor - Optional LLM-backed naming advisor with deterministic fallback.
- MdlMerge
Advisor - Deterministic merge advisor using the existing MDL objective.
- Merge
Candidate - Candidate merge of two named rules.
- Merge
Request - Request for ranking candidate rule merges.
- Merge
Score - Score for one merge candidate.
- Name
Candidate - Candidate non-terminal name proposed by a naming advisor.
- Naming
Request - Request for naming an inferred non-terminal.
Enums§
- Advice
Decision Kind - Kind of inference decision recorded for evaluation reports.
- Advice
Source - Source of an advisory inference decision.
Traits§
- LlmClient
- Provider-agnostic LLM boundary for optional inference acceleration.
- Merge
Advisor - Ranks candidate rule merges during inference and minimization.
- Naming
Advisor - Proposes human-meaningful names for inferred non-terminals.