State instances and diffs

SpecLogician evolves through typed, machine-checkable changes.

Each change:

• applies to the current StateInstance
• is analyzed and validated
• produces a new StateInstance
• computes a diff (old vs new)

This makes iteration safe for agentic workflows.

View instance history

speclogician view instances

View specific instance

speclogician view instance --idx 0   # latest
speclogician view instance --idx 3

View the last computed diff

speclogician view diff

What diffs are used for

Diffs make progress visible:

• predicate/transition/scenario counts change
• artifact formalization improves or regresses
• matching increases
• inconsistencies/conflicts drop

This provides a measurable backbone for “LLM proposes; reasoner verifies”.