formal_model

Scope: Minimal formal model.
Audience: Reviewers and contributors.
Guarantees: State and constraint sets are explicit.
Non-Goals: Full proofs.
Why: This doc exists to record its single responsibility for review.

Overview

This doc defines a minimal formal model.
Architecture context lives in Architecture.
Vocabulary aligns with Core Concepts.

Contracts

State space S is the set of agent states.
Action space A is the set of signals.
Transition function T maps (S, A) to S.
Constraint set C limits valid transitions.
Constraints align with Invariants.
Validation uses tests/unit/test_protein_system_rigidity.py.

Invariants

S, A, T, and C remain consistent.
Definitions align with Core.
Evidence aligns with tests/unit/test_protein_system_rigidity.py.

Failure Modes

Ambiguous symbols break reviewability.
Drift in definitions breaks Core.
Unlinked references break Docs Style.

Extension Points

Model updates follow Docs Style.
Extensions align with Experimental.
Evidence updates align with tests/unit/test_docs_contract.py.

Exit Criteria

This doc is obsolete when a formal spec exists.
The replacement is Architecture.
Obsolete docs are removed.

Code refs: tests/unit/test_protein_system_rigidity.py.