jonsykkel[asciilifeform]: wat about doing like this:

jonsykkel[asciilifeform]: u sign a part (line of code, function, library, prog, os, etc) along with formal english lang spec that says wat it dose.

jonsykkel[asciilifeform]: the signature means "i promis that this here piece of code does wat the attached spec says"

jonsykkel[asciilifeform]: if ur thing has dependencys, u include the specs for these in the ball that u sign, making the statment "i promis that my code does wat the atached spec for it says, ASSUMING the implementations of dependencys also follow attached specs for these"

jonsykkel[asciilifeform]: a prototipe that dosnt fully conform to an alredy existing spec could have spec+adendum atached and signed. "i promis that code does as atached spec says EXEPt blabla.."

jonsykkel[asciilifeform]: solves to some extent problem of "wtf does signture mean", and gives the option of decoupling dependency implementations from descriptions of their semantics

jonsykkel[asciilifeform]: any changes to the prog, prog spec or dependency specs will be in the vpatch diffs

jonsykkel[asciilifeform]: example http://zzz.st/up/olNWGD1z/example.png