skills/research-init/assets/PROOF_OBLIGATIONS.template.md

195 Bytes · Oct 5, 2026 · 18:32 UTC

# Proof obligations

| ID | Exact claim | Hypotheses and regime | Dependencies | Evidence artifact and revision | Review | Freshness | Status | Next check |
|---|---|---|---|---|---|---|---|---|

SHA-256: 8160c88f9d30ed80bd78631f9bcb5accd0b82d291843575ebacae3e2aa66bacc