Workflows

Workflow A: start from tests/logs

1. Add/ingest traces (tests and logs)
2. Add a minimal domain model (state/action types)
3. Add predicates to describe observed properties
4. Add scenarios that match observed behavior
5. Use diffs to measure progress: more matched scenarios, more formalized traces

Workflow B: start from requirements/docs

1. Add doc artifacts (requirements)
2. Add predicates and transitions that encode key rules
3. Add scenarios to cover each requirement clause
4. Link artifacts to the formal components they support

Workflow C: start from code (agentic)

1. Use CodeLogician/ImandraX to extract formal structure from code
2. Use an agentic CLI to propose scenario deltas (small steps)
3. Validate and analyze after every change
4. Iterate until coverage and consistency are acceptable

In all workflows, the backbone is the same: incremental typed changes + global verification after every step