Glossary

• Domain model: The shared logic layer (types, predicates, transitions).
• Predicate: A boolean property over state/action.
• Transition: A function describing how actions change state.
• Scenario: A local behavior slice encoded as given/when/then.
• State instance: A snapshot of the evolving spec state after a change.
• Diff: A structured summary of what changed between two instances.
• Artifact: Evidence/grounding (tests, logs, docs, src refs).