Expectation

the creation of code by how we want it to look.

A library to create Expectations, which describe a claim to be tested. package

Heinz von Foerster's concept of operational closure: […]

> In sociology, this is immediately obvious. Both Action and Communication can only be thought in this temporalized sense. Any structure beyond this is an expectation that certain events will or will not occur.

See 08:07 ff. of Seeing Spaces on Vimeo, esp. 09:24 ff. where Bret Victor says that the whole history of what you did in a project automatically becomes a kind of notebook.