Introduction

Installation Record and replay Python API Running the live-app tests Web flows Test-context seeding SAP GUI flows Vision flows API-only flows Agent flows Resilience and healing Secrets and configuration What's deliberately missing

Run recording The outside-in loop

Testing agents

Test cases that span technologies Debugging what a tool sends

Guides

Adopting flowproof flowproof vs. your existing suite

Reference

Trace format (v1)Compatibility and deprecation contract Threat model

Getting started

What's deliberately missing

The gaps in this first slice, named rather than left to imply everything is built.

Only calc, notepad, web, and sap resolve, each with a small vocabulary — the rule-based resolver covers the common forms and the AI authoring agent handles everything else through the same seam (healing re-uses it too).

Secrets and configuration

Keeping secret values out of the trace, flowproof config, business data values, and flowproof doctor.

Authoring overview

The default --author auto mode and the explicit rules: grammar for opting a step out of model grounding.