another thought i have is that in some sense i don’t necessarily just want a decision DAG. i also want a “theory” of the codebase. like what are “things” in it, what are invariants supposed to hold between them, what assumptions we’re already making. this theory should be zoomable and layered

0

If you have a fediverse account, you can quote this note from your own instance. Search https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mbnhtw44rk2r on your instance and quote it. (Note that quoting is not supported in Mastodon.)