. . . . "Establishes that two Registries running IDEBT with the same setting over the same nanopublications produce identical path sets, and therefore identical per-account trust scores and identical trust-state hashes. This is what enables verifiable mirroring: any peer can re-run the calculation and check the published trust-state hash." . . . "Proof of determinism (Lemma 3)" . . . "2026-08-18T08:41:36Z"^^ . . . . . . . . "RSA" . "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxxo+arlpyxYYoHYYVTNSOWe/es90yVMBA8vaDyaAQk4pnOjTlpPptP5IkGg6zuCRIlm11QrHKkiU536witBT6gdh9kP9ay3S6m7wZ3iM7YcPMfhVHUXN6TBnuiKHHyJdVeK6RxMZlfXRKEz9HYcND+PGCXMVp8BofpKBKke3y4m8FTt+8aMEcgVcFBHFdrkWXoIIvkMlodtXkMgSwuGK8yXt/9lXqChIWpsbzu2juuX6pktMkfexkfQTwIH7oNSr/ma4KzZXERuLrCSO6IH5SfWXwjQUery6rKHiEMyie58mgBf0ssKh+uJoaZOqgbmj0f+EDwTIzq0dNsPA0A+n2QIDAQAB" . "tiBTZfBBK/hSGsryqxOlOoqcnywFZS1tXMiuoH//cXX+6/SWcpGpnTdwaAjGJm4duBh4a+88bcgKlYvY2yBItzd0RSjG+DkskObexELd8nVVUHN1zJ3bS1wwceOghStjB+hb2YamyLHixqVJpgIzLpYipUYeIwMiXWO6RwiK0LQJiUjlQi9HFnH+BLSt7y6EZeBhOhWUGFSYpjNDbGqo4gEgjUx3mBjR206/fh9k6K4VESUNyU7D8Bcqj0Ow5IKVZ6xX827gwEhkXVnUYG254yRGWCX04rm/nCcbLfZRIyMcZT9LzIyNd0mf70yhm7zkbWBfvhsNYFJ4tU4y1mQLyg==" . . .