WIP Implementation Map

This page maps the specification sections to source code modules.

Module Structure

Spec Section	Source Module	Description
Grammar Specification	`src/logic/grammar/`	Grammar data structures and `.auf` file loading
Partial Parsing	`src/logic/partial/`	Chart parser, segment handling, partial trees
Span Cache	`src/logic/partial/cache.rs`	4D memoization table for parse results
MetaParser (see Partial Parsing)	`src/logic/partial/meta.rs`	Adaptive depth search, grammar-scope caching
Binding Resolution	`src/logic/binding/`	Grammar path construction (compile-time)
Runtime Binding	`src/logic/typing/binding.rs`	Tree path resolution (runtime)
Type Inference	`src/logic/typing/`	Typing engine, rule application, type cache
Context	`src/logic/typing/core.rs`	Typing context, lanes, no-propagate
Premises	`src/logic/typing/eval.rs`	Premise evaluation
Conclusion	`src/logic/typing/eval.rs`	Conclusion evaluation
Synthesizer	`src/logic/partial/synth.rs`	Incremental typed extension interface
Search	`src/logic/search/mod.rs`	Best-first completion search
Scoring	`src/logic/search/scoring.rs`	Heuristic scoring for search states
Completability	`src/validation/completability.rs`	Prefix soundness, completion checking
Validation	`src/validation/`	Test harness, per-grammar test suites

Module	Description
`src/regex/`	Custom regex engine with Brzozowski derivatives for two-level completability
`src/logic/typing/ops.rs`	Type operations: unification, subtyping
`src/logic/typing/syntax.rs`	Type parsing from grammar spec strings
`src/logic/typing/rule.rs`	Typing rule data structures