proof-cooker

To organize accumulated proof snippets into a searchable playbook, synthesize source-indexed proof material into reusable entries. This process clusters evidence by reusable shape while preserving differences in assumptions and failure modes.

De-duplicating mathematical proof material while keeping source traceability involves grouping source-local proof items by reusable shape. The system preserves stable material IDs, source maps, and public attribution so each cooked entry traces back to its origin.

Building a proof taxonomy from clustered proof shapes requires writing cooked entries into proof-usage with clear names, required assumptions, core moves, and adaptation guidance. This creates a concise, discoverable playbook for later application.

You can synthesize proof material without losing explicit assumptions and failure modes by using a proof synthesis process that requires preservation of material IDs, explicit assumptions, failure modes, adaptation guidance, and public attribution.

You need to maintain a source map for proof cataloging when many proof snippets have accumulated across sources. It ensures traceability so future agents can find, compare, and adapt proof patterns without rereading every source item.

Proof synthesis works for clustering evidence across different sources by grouping source-local proof items into reusable shapes. It catalogs these entries while maintaining the distinct differences in assumptions, rates, and failure modes across the clustered materials.