feat(flows): checking, proving, the capability catalogue, and hmz check - #29

Merged

futrime merged 8 commits into

mainfrom

feat/flow-checking

Aug 29, 2026

Commits on Aug 28, 2026

feat(flows): add checking -- the static read of a flow's legality

DongyunZou
and
claude
committed
9d4fc61
feat(flows): add proving -- a flow driven by stubs against a clock

DongyunZou
and
claude
committed
a097973
feat(flows): add the capability catalogue the compiler steers by

DongyunZou
and
claude
committed
bee485e
feat(cli): add hmz check

DongyunZou
and
claude
committed
8bc5410
docs(flows): say how a flow is checked

DongyunZou
and
claude
committed
779b8c4
feat(flows): offer MINE, so a flow that writes flows knows where yours live

DongyunZou
and
claude
committed
a086177

Commits on Aug 29, 2026

fix(flows): fabricate a shaped answer to a list's own lower bound

DongyunZou
and
claude
committed
73e4c0a
feat(flows): add unknown-verdict -- a comparison no answer can satisfy

DongyunZou
and
claude
committed
2ffd55c