Validation skill for testing whether a runtime-visible claim is proven by runtime-relevant evidence instead of synthetic harness success.
Tagline: A validation skill that separates behavior proof from harness comfort.
RuntimeProof evaluates whether a functional claim is proven in a way that survives outside synthetic test harnesses.
It focuses on evidence quality, path realism, and assumption integrity.
Invoke RuntimeProof when:
Do not invoke RuntimeProof for trivial pure-logic edits with no external collaborators unless there is suspicion of misleading evidence.
If key inputs are missing, RuntimeProof must list what is missing and lower confidence.
RuntimeProof must return:
unit_syntheticintegration_real_pathruntime_smokeresilience_failure_modedeploy_or_runtime_observationCheck assumptions that commonly break runtime:
Record unverified assumptions explicitly.
Classify result:
PROVENPARTIALWEAK_PROOF_RISKRUNTIME_FAILURE_RISKIf below PROVEN, provide exact remediation required to raise confidence.
RuntimeProof Report
Functional claim:
Changed surfaces:
Evidence inventory:
- unit_synthetic:
- integration_real_path:
- runtime_smoke:
- resilience_failure_mode:
- deploy_or_runtime_observation:
Proof strength summary:
Synthetic masking detected:
Failure-mode coverage:
Unverified assumptions:
Classification:
- PROVEN | PARTIAL | WEAK_PROOF_RISK | RUNTIME_FAILURE_RISK
Required remediation:
Readiness verdict:
- READY
- READY WITH EXPLICIT RISK
- NOT READY