pub fn parse_dir(dir: &Path) -> Result<(Manifest, ParseReport), ParseReport>Expand description
Reads trace/exploration_tree.yaml (required) and logic/claims.md
(optional) from dir and normalizes them. Native only.
pub fn parse_dir(dir: &Path) -> Result<(Manifest, ParseReport), ParseReport>Reads trace/exploration_tree.yaml (required) and logic/claims.md
(optional) from dir and normalizes them. Native only.