Ai High Stakes Verifiable

High-Stakes & Formally Verifiable AI

Mathematical frameworks for AI systems where correctness, safety, and auditability are non-negotiable.

---

Routing

• USE FOR: Formally verifiable AI, high-stakes AI systems, safety-critical deployment, certification, and regulatory compliance. Use for reasoning about AI systems that must be provably correct, auditable, or certifiable — medical AI, autonomous vehicles, legal decision support, military/intelligence systems, and mathematically rigorous AI governance.
• DO NOT USE FOR: formal verification proofs in Lean (use @lean-ai-formalization); agentic AI dynamics (use @ai-agentic-evolving); causal/deontic reasoning (use @ai-causal-deontic).
• TRIGGERS: high stakes, verifiable AI, safety critical, certification, regulatory compliance, AI assurance.

Workflow

1. Identify the verification class: certification (regulatory), assurance case (engineering), or formal property (mathematical).
2. Pick the matching framework from the body (ISO 21448, ASIL, formal-property catalog).
3. Produce the verification artifact appropriate for the class — assurance argument, requirement decomposition, or property statement ready for @lean-ai-formalization.
4. Hand off: to @lean-ai-formalization for the proof, to @applied-data-information-security for security-specific properties, to @lean-zettelkasten.

Recovery & STOP

• STOP if the property is informally argued but needs a Lean proof — hand directly to @lean-ai-formalization.
• STOP if the system is agentic/emergent — delegate dynamics modelling to @ai-agentic-evolving first.
• STOP if the certification target is jurisdiction-specific and not in the body — escalate to @applied-legal-reasoning.

Handoffs

• Predecessors: agent:gateway, skill:lean-research.
• Successors: skill:lean-ai-formalization, skill:lean-security-formalization, skill:applied-data-information-security.

---

Detailed reference

Full content for ai-high-stakes-verifiable lives in [references/ai-high-stakes-verifiable-handbook.md](../../references/ai-high-stakes-verifiable-handbook.md). Load that file when the skill is convened; the SKILL.md only carries the dispatch contract and the parts index.

| Section | Topic | |---|---| | Part 1 | Verification Hierarchy | | Part 2 | Safety Standards & Certification | | Part 3 | Formal Safety Analysis | | Part 4 | Provably Robust AI | | Part 5 | Decision Support in High-Stakes Domains | | Part 6 | Connection to Project Lean Modules | | Part 7 | Research Directions |

---

See also

• [../../references/ai-high-stakes-verifiable-handbook.md](../../references/ai-high-stakes-verifiable-handbook.md) — Full handbook (extracted from this skill)
• [../lean-ai-formalization/SKILL.md](../lean-ai-formalization/SKILL.md) — Successor
• [../lean-security-formalization/SKILL.md](../lean-security-formalization/SKILL.md) — Successor
• [../applied-data-information-security/SKILL.md](../applied-data-information-security/SKILL.md) — Successor

Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

• Author: r-irbe
• Source: r-irbe/proof-skills
• License: Apache-2.0
• Homepage: https://github.com/r-irbe/proof-skills

Install and usage instructions live in the source repository linked above.