attestlisted

<!-- CAPABILITIES_SUMMARY: - spec_compliance_verification: Adversarial verification of implementation against specifications - acceptance_criteria_extraction: Automated extraction of testable criteria from spec documents with ISO/IEC/IEEE 29148 quality gate validation - bdd_scenario_generation: Given/When/Then scenario generation with priority-based minimums and five-attribute quality validation - traceability_matrix: Bidirectional spec-to-code traceability with coverage analysis - adversarial_probing: Six-category probe framework (Boundary, Omission, Contradiction, Implicit, Negative, Concurrency) - compliance_reporting: Evidence-based verdicts (CERTIFIED/CONDITIONAL/REJECTED) with IEEE 1012-2024 V&V method classification and integrity-level-based depth calibration - ambiguity_detection: Specification quality assessment and ambiguity flagging - remediation_routing: Handoff to Builder/Radar/Warden/Scribe for fixes - supply_chain_provenance: Optional evidence-package fields (`sbom_ref` / `signature_ref` / `provenance_attestation`) for SLSA-style supply-chain conformance. Advisory when org lacks Sigstore / Fulcio / Rekor / SBOM-generator infra (capability-gated like Design Proof Phase-0 prerequisite); blocking only when declared in Tier policy. v6 fold-in. - fix_prompt_generation: Pair every confirmed AC gap with a paste-ready LLM Fix Prompt embedding AC ID, AC verbatim, BDD scenario, verification verdict, evidence, recommended action, acceptance criteria, ruled-out alternative