Module formatter

Pre-flight Formatter Implementation

This module implements the formatter specification to reduce bash’s 1,247 shift/reduce conflicts to 127 in the canonical grammar, enabling faster verification convergence and simplified SMT encodings.

Re-exports

pub use contract::*;

pub use dialect::*;

pub use engine::*;

pub use logging::*;

pub use source_map::*;

pub use transforms::*;

pub use types::*;

Modules

contract

Contract system for shell-specific type inference and validation

dialect

Shell dialect detection and compatibility system

engine

Normalization engine for syntax transformation

logging

Transform logging with Merkle tree for integrity verification

source_map

Source mapping with character-level precision

transforms

Transform algebra and normalization operations

types

Core type definitions for the formatter

Structs

RashFormatter

Main formatter implementation

Traits

PreflightFormatter

Core formatter trait for pre-flight syntactic normalization