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, then augments the manifest with
the optional logic-section files (PAPER.md, logic/problem.md,
logic/concepts.md, logic/related_work.md, logic/solution/*.md). An
absent section file is silently skipped; a present-but-malformed one adds a
warning without failing the parse. Native only.