Method
Formal Specification Readiness Checker
Assesses whether a system has enough state, invariants, interfaces and failure modes for formal specification work.
Field scoring contract
| Field | Type | Role | Direction | Scored |
|---|---|---|---|---|
| State model clarity | select | evidence_signal | higher_is_better | yes |
| Interface definitions | select | evidence_signal | higher_is_better | yes |
| Safety invariants | select | evidence_signal | higher_is_better | yes |
| Transition rules | select | evidence_signal | higher_is_better | yes |
| Failure modes | select | evidence_signal | higher_is_better | yes |
| Existing tests | select | evidence_signal | higher_is_better | yes |
Limits
- Preliminary output
- Human review required
- Not certification
- Domain-specific checks added; not certification
- Context text is not averaged into numeric scores.
- Outputs require source/evidence review before decisions.