Essays
Articles
Explainable by construction
Why the record of an automated decision should be the process itself and not a story about it: five questions a record must answer, read from a real loan journal, and what it still cannot do.
Three regulated decisions
A loan, a prior authorisation and an insurance claim as charts: the model handles routine cases, policy refuses what it forbids, and only a person can deny.
The shape of behaviour
From booleans pretending to be states, through Harel's hierarchy, orthogonality and history, to the SCXML algorithm, a pure step function, and five charts a Lean proof found that no test had built.
The goat does not choose the play
Where a language model belongs in a program: at a choice point, picking among the moves a chart offers, with every answer journaled so the run replays without any model.
A protocol a stranger can check
Kolyada, Vertep's layer of role-based agent protocols: one document says who sends what to whom, its hash names it, every message is signed, and any party can check every step without trusting anyone.
Two hands on one chart
Co-designing statecharts with Claude Code and Vertepnyk: the agent writes and checks the text, you shape and run the chart on a canvas, and Vertep's engine is the referee for both.