What you can inspect today
- ACA helper fixture catalogue, builder request, selected baseline, and generated fragments
- Deployment smoke, teardown notes, and scenario lessons
- Public-safe FlowProof direction for Logic Apps and Container Apps
Azure Logic Apps and Azure Container Apps
Azure evidence pack for Logic Apps and Container Apps, covering fixture selection, generated infrastructure fragments, smoke results, teardown notes, and the next FlowProof adapter boundary.
Proof readiness
Capabilities
Proof assets
Product shape
The evidence pack is anchored in fixture catalogues, builder requests, selected baselines, generated fragments, smoke checks, teardown notes, and scenario lessons.
Azure needs a curated public fixture set, public-safe generated outputs, screenshots, a guided scenario script, and a schema/mapping equivalent for trigger and action payloads.