{
  "artifact": "Regnavant Proof Capsule",
  "binding": "the root is the Merkle root of the register's own lines; both signatures are over that root",
  "certificate_no": "RGV\u00b7OBS\u00b7FV-001",
  "failures": 0,
  "field": "Claims & Custody",
  "gates": 3791,
  "infrastructure": "Custodial Record Finality Infrastructure",
  "public_keys": {
    "ed25519": "bbc27319aa6ee91f97b6f50e4a97d6f6a1d365f7e21886371b1765705326e742",
    "ml_dsa_65": "5a51c19cb47efaf92d12f4d0b9658bb117b3601b2a16f87dc64a913ff364f6bc38011bed669e05cd63c5b645b939cc2dc122d08361064e083fd2421686dc59a44965197e93812c8da54603925122329971ba84bbc93a08f3b01dff07abff4578ec870d545dda0d0e4d566fb1f4cbb286da7b0c19f0a3525a356c1e4138851709697a6d3b2cefe7b6bdaa92a31e2c83ab50cd4626d8ab648a7ed1f9f2ecb8f8f17bd3a5b2f75117ccea407f8da8bfac1029f6b5a4289a253b780406592cecbb3bdca14ccc6000d11f67863ec675541ffa153ea181435a712096e3c48b98b5324b6b968488e3edf8da910af3632ff9abba2cec67130727cc32a794a8488ebad636f41f9f72c99f195ce2b3c996cd5173a039937f00eca180ddf73bd3e6f44bb974ec8cf2f4f7feb700cb4069456f1d01d4db91be66feb0c6a8e2c36c0e0ac58dd78250ff512097796aa709df0a9f99d42bf106c184679766c1e25d8b48d3df6bedfbff68dc68d39259e278937df6d5732fc13c1afc997bc21739c340bab48bbea5f929ad7be3cd48cb626c8fd72d293e1345803e2080efe04600bfe59d44fce3ff0aba617d8d5f8c5626b2d294d90c2317d31b885c1a771425f062ba4abd194142e588a4bc7455a36204ea8cd5640952e9b86a4d66ede4126ced061caf3bbbae9f39fa82219c19f5648caf516a4603ea3feb0c007771f2aa4845983b4b63130a7f428db80eb284fe6fea07742c8c043959836bcaf23eb7edd3492b8a234f65162d4c9aeb93df796c1fef220cef6a56f0557cfd531257732e6988673bece1f00d845f5c21e09924496b1130c9e082e91c0d87bf645e2b71b265cd9621b8ab74ce03559170c43a077e303596628559252233351f49e0e4c6dcdfa2a47be99d8412377806e81aa5247ed71fe40b41ed0773e10ed83f4b5950d23626c945bc2e3ead0a0143b9739f1b309a5405b488b30b0d03b13f16397aa46c55a16f4f7a98e8d47556c3dde6049335d81a58309c02c00a6133a53dbcccd6d3e52b7fb2aa1b74ba158ab203f60daa262358db281d02344244d7c60730143ebce41e40b52ffdf275e4de66e1b84888c72e692ada2d97eba9837416dab5ca4dac941972d61927445f42d8ada27766c2c9583c5cfffb82799a91f59cba8454faa30215022ce8c55acc5a60caedcf9c885e6bbce14fe09059942fbda46bea6e97e75133d1d0c126ce355f6d527ba2b52f75ac81d2c5a924d028b5783bfd6d4146cdcef7db9873a4647f4b0724120cc8317d5d9c8c0f627661d619fccadb760cec38a624e6d5937e0bd631b0b598941b6166dee8f8979cfffcc029252597f809cf0e8a60ea76594a81a613d68a2e6d047d4f621b2e559a94c5013dbed66e41245b39b7795279672b210a51de6560306630233cebbf547d18fbc2c314347e2d28a70a099bc856dda4f833cff2cdedadb8355a052f416c4d8cb140967757bd6e17caea4eb9a61dd17e7ca76d10f40286423109ce0e12f0f92f4cf62a6a0cd196fde247d05333f2ba0425036d28da8a0e5b89c9ec29968c3c79bc61dd7ff9dc90b2b6f83ea97c1c99186f06e7c252da3f429a8be070813619185db2ed9a9c36cee772a3398850836aff0b02df247800b9dd5674bc24cb5cac586260e92bbd322d141854bdc3fd90cecfe081ee565f0896011b523037a459c97c55455ce1868f323c732c00ce5b9e9f5472e42c300196a91e206a46de21f5baba028483b5be1c4a6a3de998ae8b505229511a77dfb3dfa68253de5fe1866c561f7a36a28f52b98a76f5b034e8c60b37744fd22c0d3309fe62bd9d92c7fb66570c8a6e91ccdd5045a5c65558d04d6082b541661e03e57edbf4b153d1a57b3638d91459464a6306182d1429e78fda304648bdbd5d1dcafe24eb2143a676a24f1c5132c54b692de3b139b5c5cfc7a493deb3edfb7170d64110a19d3f2aedc59cf96d7b1cc0a542a9a01e59619a6dde78ffd552e3782fe37e8b0e27d7af315da163a60cc07964d947b8197b1324077bfa71a670c0ff274d27c0e92eaf2f1753d6b54a1ac8675ec764faef436069bad0fcbe224aea9868733890969ed945b6e54f059814b1ec58533ddb214de899faf41c29353302ec1b54e3e30756b68a8d75de8a9e43214b7dd845c82f18661ee9a2e25a502241ce3ac0ed0af96be0cfd35ab6a7855164226777ae3e9b0b100b87cdfa10c8971c94794d7c58e23212912d65ddfb8d01308659cdda9381edf37607cb39a8712f270257f43f41c1ae0220f0c6815922c7e00edcddcbde58478380290a31e10823913574c6a0a8aeef311362d6ba1b9b8dc6681b6d9e6852b41bccd02a44d7ee5c5046fdc10dc4fa12c7f6fec7a6ede22e10ae89546d5fc1cdb92251b5b9755a7a0eec8eac4ac73e55aff347c4df7adb3b7b3703accb95ba5f9a1cccd22171f1fbb439481ad98c0702d62bfcfb6b1aeec2dd81982dd63aa971d6d689358393afc44b43aaf2b86048b4b58db6cdd3fcca190ae820427941748b21ee5f25128188a7120a1c5c171ea69a089ff64c821575176cf8334269a77735aaf6455b8f0f93712792442a0b28bb544bf3ebe35691278e8b3a054603819d34bca3b1e713b4a3209418bc4054dbb3b88f9c1796cc506ec7a03af0dfa18eaac1683b652720ed33f2ca2950bca4fd126a45c36e0382dd19475bd7004acaae6849af0b03f223325abd001f6d8fc49d10ea7a06bf8945e151b0e04e526140ee8732816257ac0da59e2afe33"
  },
  "root_sha256_merkle": "47c3d8977cadd8171eaebe0577fef19ec46d17fdf3098e56d78965f1ab69e024",
  "run_id": "FV-20260726-556acc15",
  "sealed_at": "2026-07-26T23:44:36Z",
  "signatures": {
    "ed25519": "20d96ffd138adc6e6fa6cadee62139ce2159b4ac7201754ad7dfdf89713a7d3d6c98db702e8ecbdf6d289fc729c5309827de4c0618f3d02d3457fefd12ac4d09",
    "ml_dsa_65": "cd0820f03b00f87ecfb4c63bf24b4885db01bec283cfc665923de16cb320c53d9848fea25315f20ac9b96563d971abe2f10f4e6e1d13ff22fce0b17ba0ab71e31d89530f917170c3d2930909b6aff43d29f8791e6e4e70746ffbd7a3e9dfe569a257927041b14b83908d25771220669f7f1eb3e81bba63714e48fc02a94cea74da3e0bbc4d94b088b01f54817be74392fd2ab86b7c548ec9a6152be31d23b9575ed083951696af6bd0d43f7fedd7c4c91de585830b1fa61819ffa889f7cebae218ecba8b32f7dfa85314f3277a3a7f87983aaba95a938c18edaf412ffd0518c6b7630b4f83b42706ebf5fe3e85ac7f6649110da3e5fabf45fac9d19c1db6bfb2685f10a6a575b6a7ba1498f468b88adb2f14fa63a427afe641a87021c5df2593df55b94943789636c67704b70702c3cd485dc1abc8c42c9d708b19fdb571838810fad3b76d04e18f4e95a3d819bedd352f3b24b65803cfea2c5430a31f3686c7a27462de0117679ef695e9c2a838006802262362bbb7f913b61cdb6d8fc0c3da8a37b53a479641823533c517c63c6bb78cc7f5432354a1d347039bedbf226f66481a5b83bfa37d16ba29f508fe306c2654d0efe6ac53e82bed20b84488a6ca761091d5745428f2adb9f9e51c32ee714445437f081a84460644934084faa0ecfe744c387be39b6df909b8892ef4b44dfda9bb5bf3ef22bcc8d672ec18642203992e84fde640fb96100e9e4da3ccf87756331813b0bd1dbd91071f6cc7e17cf653044ed1b42803d3144a9405a025a6bbd3ee3fccde162656d175b75592e0e120476a3178b2834c851b61a9f2a031d5821dd6e551f0e964a3ae1a3e49e9e62e8db2bfb08173778383361a9c2102a5a9392bd7724fce42b9e1147100e38a7bd9e3d6d74a33fb453c64c78cf3305c06346250c08c1fa2a4d6e8d617e3b630ac1a6b4bfeda16729c0ac10bb0358635de191d01a1d462cca14636fae9b62c194f299a0f8a03e2d7aef31720f04b7cbbacd48c659f92a527aeb59c186d358d6ff9477d0348a0263da9de2954ca6dde7f43567decbbbc48781a4e0d774e3645381b6d4ff19e664375af2caa56cffef6600e31e3d0bbe37c59ff244d27d26ad1a0ef1e62a0f0c4198d5a86bdf72a847d2440e76ae1fdaad16812fdb47241bcf739e25fe2ecd9b8a6349b2e597c5469368f46fa58fc0b636f0c65e6c78dc9246686985840fa8e5e96e61e1131aee134caee595df9dc3e801a14f97a327104e194711b58deb963bba11a8ad08e2e812f9b8996d12c90dad462f742bacba2ad52ee3e477618f00ad19fd769b138c15538c9aef08965b2615b54492e223f9957976663291788f27ab56bb9ecef67d60ab3fac152ea156665d4055e4f4f8b62ff1e3dadf1ba0d7333b17fda00842d7b921195d469aa6ede4f983f20852cdc3f00f763c81a46a68f8e651207c0ddd0b1f5bcad0244d0eeae1da289778f8946446aceef0442e28c4ad2079bb000e602c44e758c4f5143050d1afe605b34456c09f8c56102e8b6cdd5784248ad5710e3c814b39b2073bd2a143f4466a777dfed457871c61c62bb3c7874e2e1adbfa1fd2c024b9bf6a266238e3c8fc388dd9672d691009d1b3c79a6e60d1b67a38fd22323222d0faef97cbbf1b31f333c37d1f975af0e396d91be0f2e70157897794fb1efe3a40d59c97467771dcc113c03791db10aacdc0589c60d0fd4788649f892be8a91396ec4317757800d7a4319cf3932a05c3e9451fbae93622c29fb39a981637cfba2390ccd3e3d70d079526f650ae20fbd7c77994c05b49d5f7836e735b537c45a312b6e8f23aa3e72b00d30c3e295cffe7e260d9f0e0e53428847f644deaca32b725c42318b5809462991d0fcfe8b79bc13c52df84b0a68756f6ca6538b1d4f686512919caa7aa211d7aa099eeea414713ffdc1c2f103ccd71420891cc3c6799ca3e87249aa6ab08f564450baa6781810e558954acf5831c6ab97088b189a1ca94786855f508bd52a811b3ca5ed8279ea55b127819d27394e0943dca649d58b435e23204cb1fa63e89917ef6537fda6146eda3d49415d23f8c9361eab289e785287443b06f0d9043d5a478633932556ea8c0cfc1f4833f636692f829a7d768d29885334325678b0b613ea3f09beae5ea7b7810d1776b15eb45c399a768ade6f65e2c735d38a51bad2f24307280f07280dbb4e18f9991cb628fdcc725c2c7d7cc302af2e70ca82d29f3afee0d1ba34ba7c6a17cebf9960d04e01697395033a9328d6fa1858a56dfc079cb062e92375330a5b22588655516a43f5a9dfbd1bc7c937be58ef0a6c30428ad2cf6ef2e0dae2973147479641866b2cb071566535e7af050ee71aed2a90721958f6c2f672b9a8ac21f6403ecaf74cad24eb0675261dab6ec672b21d7d2ffd388fbc16bb1de28691d05586e3389e2e10ad65121b3c6adb8a4574e0703d2d3f08261cc3ea8727d5ab7ad40cbf7860076ce372a860182bc0b24f24ab967e91c06f75cb01dcce72dc8836f7cc1de78164afd88924525d3aee921e1dc261d2c30006ee6ccb4b573057c2c856e66131780cd0c4b5502d05418786ceb2ce3ebaeab0f2713670f435ecd455cb08c9f49ec7dbfa2ab7c56331fa253c20d89021dabdb4f9f9c22942568d2202801f52f6a454dc35a53accebc80a04ac05cb9d92d9316e8393a3f4ffa4a2d283fb914d89be711bd0c46e8b7b3bee49d0186b9536ed3be95744c1fa17fefa9384c65b9e94c61140ec21d0dbd73fbf45b86ddcb8af1b47aecdc93ed350d62093502aaef5560b8deab68b36bd5f258fe8485918522dbae811ed09ae3b471d40a77a9a670df17c62bab0ee261a6217a4f197a52d2b97930e58375dfcfe77829379a0a323ab75b53ca21118c9822290936d8b64a0ce11e484219005390a83c9aacb04900de0f179a823a3372cfff45515d1d4fe54dce4ad6fea432232d22ad24693d018f0d7d8b25da017403cbc5fcdeb29cc426a9598d22ac110afe32ff088cb427fee1b5bce6c3d2cf061e4228bafb33f284ea7b30e5e196ed6a33c1449be1f6335a71b35bfcaab72ed88f242cbe188a47a5b0c80af05a6af7aee4fa8b7d742441c487fc5ad96f441ff069269b7c4b01689add5ade57b2e9396ce7c6c55059ca95dfa2a6722797d611e2d588ee2e8c8c617371a934f5802eac07387dfdd07b91b639f4d5f0c7190ce5402e1ae789163f4356a8e24567fc47da0d63eb017aff1ba4cf41a7aeb0d787550bcd86c4140923c35c681c2eeea238195a6adbad2b8f1a24d59ef2142171b41800f32d9169da7cf6936a718f6967f9c33c6cb07774269ed635a097ef8e0c4b35db12e59444f3cf12e4bc066c2c6d93063e436304a28c4605bb7a6e13496eb5fbacd9df20010645ffbcfa7dc917f676db97eb681939e3b701b31e473ce0e8df681fc3c35eeb3a3c0360f7a898819452ca433e3687044e4a598bba3b1904ddf724e3c240812a36c47162e34f58768dead105090822459c4aead6da410dbd2e90d4d7baac65ce4dc680acbcf8475e6e61de1e1a267c4f0dd653a0ca8de56b460ccb8680083280b4c6c890a64612f923b95674e70aa7f6798c32b6fd7d02cb64872afd98eb328743706a695fdf0633dfa47d3b56851190bd0392bdbcee8e69e6936f0cfa39f6f4bde1e7a55cea84963811a3d79b98b749a9e6bb4d1556e28b36008dc329e491265cd3200ed385adaf3249a11686362aef45fb069d234fba5c8d41c08813d823e589276af8688a67d6579d48ffec8b950d13b0dc5d03bf6802390c2ddf26922e442f9db42336ce0e2f39b4320aca34857ef17e59918ad31ddb1874ff2274d5b3b6b9393edded2d1bfa5ae853429200bc5618536078b120632a3aa440a4caab1633c7908823f00bfe43c2d51944ac86984468614cf28d73d5f326887d6bb61ab1495be2502c834159ceed4cb071aafb355fbef3f11087ad91c664ae0b110c8f2d7ef07bc26e3a4b25e2fe4ecab3acfcc4dea7401fb0ec6b54f5f31bad15bfd8c633ea6fdafe4712f0243ff205a7d36ab892ae5ad9d8c3efe79eb8012aa5c31df812b4753a0b42bdb09c875c51860480265d53f0ac00921e6713b9d2a01456c8b2ad6e540e55fb96271e91308b2a04c92f4e66f9adc3b060072e8c6876b7e21eaceb1435e1032799d4f9c56e5b9fc040d956b279ed4a4ae7d04685c27033b2630371acf75acb2d754bb1e6610c239de2508354f51712ad0847c33f970da024df6504445bebf903a8c40f87acbb2f2ab54a26d6bbe8dd48da6e861c05adb98963c38e924ec1f20877b81c9f6774c1b040672e138bfb69573005ac9301309cdf0d22eafb94e44cda4b735ec9621d0906428c591330bafac225207ee6ba418954cdf8c625b46b6e470b4d596695fd6675531da9a17c1bf089c2b0325a405958c3972d7d9698d75c6bb4e54e8c9bbc2717d8849e8f6ed090028f8a3ff75c9dd023294676f5decd1ad44c3f2d2d1e833ed4a2d2e3e2f2153450f198b7d56cb5e57942c66b2872765d1bc02c6f66bec983a8865f25463f8fad374b0f3cfc332c77d46320f05858018df740b1ff22ad2141a2ad205729112474b7d8495d4dbe91e4b7c98a2b2c6d0d8e9edf00b378594cedff0f6fb0e25427693a2a7aee10000000000000000000407101c252e"
  },
  "suites": 16,
  "system": "OBSIDIAN",
  "verdict": "PROVEN",
  "verify_with": "Ed25519 (RFC 8032) and ML-DSA-65 (FIPS 204), public libraries, nothing of ours"
}