Developer documentation Developer documentation describes current code contracts, extension points, formats, evidence, and verification workflows. Public library functions and examples ASAP-aware mapping architecture ASAP-aware mapping contracts Extend ASAP-aware mapping Pre-ASAP IR reference Post-ASAP IR Accuracy implementation companion DDSketch ratio certification Offline sketch evidence Metrics-observability corpora Physical handoff cost references, storage operations Replacement explanations Planner vocabulary migration (#427)