The three-layer proof system that makes agent liability verifiable — type0 | type0