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
- Offline sketch evidence
- Metrics-observability corpora
- Physical handoff cost references, storage operations
- Physical compile coverage for deployment computation
Historical records of removed APIs: