A compact “working notebook” view of your attempts to test what *actually* improves project control: formal semantics vs. executive legibility vs. implementability.
Filters
Slice the method-space
Tips/
00 / 1010
Showing
—
Families active
—
Shortcuts: / search, r reset
Legendrigor ⟂ legibility
Executive legibility →
Formal rigor →
Interpretation: high rigor + high legibility is rare; when you hit it, it’s usually by *compiling* the rigor into a surface narrative (e.g., executable checklists, interactive explainers).