spec: Add Channel API contract, generator, and Emerald composition#236

Draft

mpoke wants to merge 20 commits intomainfrom

marius/quint-channel-api

Commits on Feb 20, 2026

spec: Add Channel API contract, generator, and Emerald composition

mpoke
and
claude
committed

Commits on Feb 21, 2026

clean separation between contract and generator
mpoke
committed

Commits on Feb 25, 2026

adding engine api contract, generator, and emerald spec composed with both channel and engine API
mpoke
committed

Commits on Feb 26, 2026

Commits on Mar 6, 2026

clarify contract structure
mpoke
committed

Commits on Mar 9, 2026

Commits on Mar 10, 2026

add witnesses to emerald_with_both_generators
mpoke
committed

Commits on Mar 11, 2026

add biased step and debug report for canDecideTwoHeights witness

Marius
and
claude
committed
trace for canReachDecision
Marius
committed

Commits on Mar 17, 2026

add more clarity to contract guarantees
Marius
committed
add readability conventions
Marius
committed