Mind · Reasoning
SpecIntentCheck
Check the specification itself against intent and its own consequences before trusting conformance to it
Definition
Mechanism
A Spec is checked as an artifact in its own right, separately from Verification of an implementation against it. Its claims are made checkable where possible, through exact computation, worked examples, proofs or simulation. Its consequences are derived and shown to whoever holds the intent it encodes, in a form they can judge, such as a chart of what each party would receive under it. A consequence they did not expect is resolved by changing the specification or by recording that it is accepted; until then, or if they reject the specification, validation is withheld. Validation evidence is pinned to the specification version it checked.
Invariants
- Validation of the specification is reported separately from verification of an implementation against it.
- Each validation result names the specification version it checked.
- A specification is reported as validated only when every consequence the intent-holder did not expect has been resolved by a specification change or an explicit acceptance.
- Conformance to an unvalidated specification is reported as conformance only.
Risks
Failure modes
Circular validation
the specification is checked against the implementation built from it, so their shared errors confirm each other.
Intent drift
the intent-holder's understanding moves while the specification stays, so the implementation conforms to an outdated intent.
Unshown consequence
consequences are derived but never presented to the intent-holder in a form they can judge.
Text pinned, meaning unchecked
checks pin the specification's wording, so they detect edits but not wrong mathematics.
Relationships
Builds on
References
Infrastructure
Rigorous requirement definition
Confirming alignment with truth or spec
Nothing in this library builds on this pattern yet.
Reference