Infrastructure · Data Structures
Status
Graded verification outcome: Verified, Falsified, or Unknown
Definition
Mechanism
The graded verification outcome type: Verified (the check passed), Falsified (the check failed), or Unknown (the check could not reach a definitive answer). Carries an optional reason field explaining the outcome. Distinct from Boolean (strict two-valued, no Unknown) and from Decision (three-valued with proceed/halt/debt operational semantics).
Invariants
- Tri-valued: exactly one of {Verified, Falsified, Unknown}.
- Unknown is not a failure: it is an honest absence of evidence, distinct from Falsified.
Risks
Failure modes
None stated.
Relationships
Root pattern: builds on nothing in this library.
Used by
Yields
Side-effect-free observational verification yielding Verified/Falsified/Unknown
Mind
Observational four-axis PURE viability check
Mind
Observational four-axis PURE viability check
Mind
Observational four-axis PURE viability check
Mind
Observational four-axis PURE viability check
Mind
Observational four-axis PURE viability check
References
Mind
A conclusion inherits the verification assurance of its weakest load-bearing premise.
Reference
Data schema
{
"type": "object",
"required": [
"value"
],
"properties": {
"value": {
"type": "string",
"enum": [
"Verified",
"Falsified",
"Unknown"
],
"description": "The outcome of a verification operation"
},
"reason": {
"type": "string",
"description": "Optional explanation for the outcome"
}
}
}