feat: formal-synthesis paper features (v2) — know, precommit, verify --deep, radar, ledger sync, deja, dash v2, report + Mintlify docs

feat: formal-synthesis paper features (v2) — know, precommit, verify --deep, radar, ledger sync, deja, dash v2, report + Mintlify docs #95