kobold-fuzz

Generated COBOL lineage witness engine: 20M-scale witness planner, oracle-differential runner, shrinker, clusterer, finding identity/collapse, replay sampling, and Merkle witness binding.

Part of KOBOLD -- a forensic archaeology and evidence system for legacy COBOL estates: it maps real COBOL codebases, generated oracle witnesses, compiler-profile behavior, and migration risk into court-backed receipts. Independently-authored tooling; contains no GnuCOBOL source.

What it does (v0.1 -- the deterministic spine)

• lcg: Lehmer LCG + SplitMix witness_seed -- byte-identical to the reference engine ("the generator IS the corpus": every witness reproduces from (seed_base, index), no stored program).
• merkle: domain-separated leaf/root/root_of_roots -- the auditability spine.
• verify_root_of_roots() + CLI kobold-fuzz lineage verify --root <dir> -- recompute the root-of-roots from committed shard receipts and compare to the seal. Code-independent: verifies a sealed corpus without re-running it.

cargo run -- lineage verify --root path/to/reports/lineage20m

Verified faithful: reproduces the committed .SMOKE seal cf68906d3c7a... exactly (cross-language test). Roadmap: witness generator, oracle-differential runner, clusterer, shrinker, finding-identity, historical-seal mode.

Architecture

• gnucobol-rs (separate crate) = the oracle-proven semantic primitive layer.
• kobold-* = the forensic-intelligence layer.
• kobold-* MAY depend on gnucobol-rs; gnucobol-rs MUST NOT depend on kobold-*.

License

Apache-2.0 (see LICENSE).