dafny-verification

name	dafny-verification
description	Stub. Elicit software correctness obligations, maintain a recoverable correctness workpiece, and author or review Dafny specifications with an honest account of what was stated, assumed, discharged, skipped, or trusted. Use for a correctness interview or a Dafny specification or proof review.

Stub: capability-aware verification lifecycle

Aligned to core as of 223d721.

This skill is a placeholder home. It records the proposed disclosure shape from the accepted Ampcode pressure test and authors no procedure yet.

Proposed shape, not yet earned:

dafny-verification
├─ elicitation and workpiece maintenance
│  ├─ activate `elicitation`
│  ├─ references/software-correctness-elicitation.md
│  └─ templates/workpiece.md          when recording or revising
└─ formalization and evidence
   ├─ references/dafny-specification.md
   └─ references/proof-checks.md

Whether specification and verification are one job skill or two (dafny-specification, dafny-verification) is an open cardinality question that this stub does not settle.