The design of the IDEBT trust propagation algorithm and the derivation of its three core properties: ratio conservation, a bounded path set, and determinism. Each property is established by proof rather than by measurement.