⌘
Select a definitionIts design, references, runtime evidence, failures, and versions will meet here.
Definition-centered operations
Trace how it is assembled, who uses it, what each action changed, and where health needs attention.
The estate
Every multiflow and standalone flow this program owns, with the state of each.
Obligation Compiler
Every obligation this program generates, its kind, and its status — theorems proved about our own program, data axioms supported by production, assumptions of the framework, and deadlines that are monitored rather than proved.
Its design, references, runtime evidence, failures, and versions will meet here.
The record
Why each definition is the way it is — the store kept beside the code, keyed by the definition it is about, with an entry for every argument that used to live in a comment.