Tten40FairTen formal algebra for machine intelligence — encode, decode, compose, and verifyRegistryjohnbeans