Author in the catalog
Use for contract-first development, defining correctness before coding, implementing against a contract, auditing with multiple models, and packaging proof artifacts.
Category alert
