dan on Nostr: so this lets you have a "proof-carrying" specification that lets you look at the ...

so this lets you have a "proof-carrying" specification that lets you look at the system from different levels of abstraction and lets you assert what you believe about each layer and tells you when a change you make at one layer breaks the beliefs of another layer. and the AI can write it