formal-methods 1

First-person view at sunrise: a man's weathered forearms in leather wristbands hold a worn hammer and chisel, rebuilding a dry-stone wall that is scorched and smouldering on the left and freshly set on the right, with a brass hourglass among the stones. Beyond him a single road winds through the valley without changing course: past an agitated market crowd, across a stone bridge where a lone traveller walks on, through a royal pavilion with banners and courtiers, past a burnt workshop being rebuilt under scaffolding, up to a lone figure on a hilltop against the sun. At the left edge one man raises a fist while another opens his arms in welcome; on the right a pair of scales hangs from an oak branch, gold coins in one pan and ashes in the other.

Kipling's If— as Linear Temporal Logic

Read as a specification, Kipling's If— is a set of temporal invariants and response policies for an agent that keeps its agency under pressure. Classified by what a finite observation can settle, its virtues turn out to be refutable but never confirmable, its recoveries beyond any observer's verdict, and only its reward confirmable.

Oct 17, 2026 ltl, runtime-verification, ai-safety, alignment, literature

formal-methods 1

Kipling's If— as Linear Temporal Logic

Topics