Module workflow 

Workflow Recipe Detection + Task Close Evidence Quality.

Answers three questions at task-close time:

1. What workflow actually happened? — WorkflowSummary::workflow_type (full / annotate-and-close / test-and-close / close-only)

2. Which recommended steps were skipped? — WorkflowSummary::missing_recommended_steps

3. How strong is the closure evidence? — EvidenceQuality::evidence_quality_score

Workflow types

Type	annotate_commit	tested
full	✓	✓
annotate-and-close	✓	—
test-and-close	—	✓
close-only	—	—

Detection signals

Steps are detected from ledger entries on the touched symbols before the new proof entry is written, so task-close itself does not inflate the score.

• annotate_commit — any existing entry has a commit:* tag
• invariant_checked — any existing Invariant entry on a touched symbol
• tested — --validated flag OR any existing ValidationScenario
• task_closed — always true (we are running task-close right now)

Structs

EvidenceQuality

Per-field evidence quality breakdown for the task closure.

WorkflowSummary

Rolled-up workflow summary emitted in task-close JSON and persisted to .asd/workflow-sessions.jsonl.

Functions

append_workflow_session

Append a compact workflow session record to .asd/workflow-sessions.jsonl. Silently skips on any I/O error so task-close never fails due to logging. Caps the file at 500 lines (drops the oldest when over limit).

detect_workflow

Detect which workflow recipe was followed and which steps were skipped.

score_evidence_quality

Score task-closure evidence quality from available signals.