universal-invariant-baseline

# Universal invariant baseline ## Contract | Field | Bound contract | |---|---| | Trigger | User explicitly requests an invariant-first, fail-fast, special-case-eliminating baseline for a named implementation. | | Authority | Reversible local: writes only the named local artifact; rollback is version control (restore) or undo (file deletion). No remote mutation. | | Side effect | Replace the target local file with its invariant-first, fail-fast, special-case-eliminating refinement. | | Done | All named invariant checks pass and no unresolved special-case artifacts remain. | ## Inputs Required: - `TARGET`: path to the local source file or module to baseline. - `LANGUAGE`: the target's language (e.g., `python`, `rust`, `typescript`). Required to select correct invariant patterns. ## Procedure 1. **Validate the request.** Confirm `TARGET` is a concrete, scoped implementation task with a named local path. If `TARGET` is absent, empty, or points to a non-local artifact, raise `BLOCKED-INPUT` and stop. **Done when:** `TARGET` is confirmed as a concrete local path. 2. **Enumerate invariants.** For `LANGUAGE`, enumerate the language-native invariant patterns that govern correctness: type contracts, ownership/borrow rules, null/void guards, resource lifecycle ordering, and domain-specific preconditions. Write each as a named, executable check with a unique identifier. **Done when:** every invariant pattern is a named, executable check with a unique identifier. 3. **Insert fail-f...