{"requestId":"a1b6fdd3-fa22-411d-8105-fae4583c403e","ok":true,"tenantId":"recording","schema":"verity.fill-run/1","mode":"certificate","certificate":{"schema":"verity.fill-certificate/1","issuedAt":"2026-11-06T03:24:53.850Z","barcode":"VD-BARCODE-3|core=eb9d39308b9be70dab6e78aed7ccfb37b625b57b@5e06358abe57414d62c7f4b1fe3b3ed8c985cda575cb54876105f65ecbc96d9c|dispatch=37a5d11040ad57a9515a953566551205fe8e2d8b|resolution=ER-RULES-1@iso20275-elf-v1.6|checklist=fill@31f25644e3778b25dfe7657c3597daa11848bb8fb334da5157685d812cb0f175|spines=(none)|inputs=lookup.xlsx#2948176f2d3f4263da38977cf3c0a53b65ab1c9da960526c2681bc5078628d80,countries#30af8c3c95b690e68cda2cbc614bfc525a03e46ad92bf1a147b282bb014284c6,names#36e27b80bd54990d58a75a84bc2627478ada3beae4133c77537114d6fed069c7,gdp#8d84ef6bcaccf740c01c5ed7566aae8f7b149d0e2c20001e441efd3cb5b2fa86|at=2026-11-06T03:24:53.850Z","ok":true,"kind":"fill","declaration":{"schema":"verity.fill/1","sheet":"Lookup","headerRow":1,"keyColumn":"A","fill":[{"column":"B","source":"countries","field":"latitude","as":"number"},{"column":"C","source":"names","field":"name"},{"column":"D","source":"gdp","field":"Value"}]},"declarationSha256":"4887bf26544c95cfb4d3b2f22936ec43584cbb2c0fa82bd980fd96f197289c6b","workbook":{"name":"lookup.xlsx","sha256":"2948176f2d3f4263da38977cf3c0a53b65ab1c9da960526c2681bc5078628d80","bytes":2025,"sheet":"Lookup","part":"xl/worksheets/sheet1.xml"},"output":{"name":"lookup.filled.xlsx","sha256":"fa0edb9ff84e0845a796dc3c4bb6acd48c8e45093505d1903f7904d80a210ed5","bytes":2110},"sources":[{"name":"countries","kind":"csv","sha256":"30af8c3c95b690e68cda2cbc614bfc525a03e46ad92bf1a147b282bb014284c6","bytes":146,"facts":6},{"name":"gdp","kind":"csv","sha256":"8d84ef6bcaccf740c01c5ed7566aae8f7b149d0e2c20001e441efd3cb5b2fa86","bytes":562767,"facts":27958},{"name":"names","kind":"html","sha256":"36e27b80bd54990d58a75a84bc2627478ada3beae4133c77537114d6fed069c7","bytes":278,"facts":6}],"cells":[{"ref":"B2","row":2,"column":"B","key":"AD","source":"countries","field":"latitude","status":"filled","value":"42.546245","as":"number","factIds":["fact-bfeb99becf7c6478"],"matches":1,"sourceAt":{"kind":"grid","row":2,"col":2,"ref":"B2"}},{"ref":"C2","row":2,"column":"C","key":"AD","source":"names","field":"name","status":"filled","value":"Andorra","as":"text","factIds":["fact-48bb93c72f7eadf6"],"matches":1,"sourceAt":{"kind":"grid","table":1,"row":2,"col":3}},{"ref":"D2","row":2,"column":"D","key":"AD","source":"gdp","field":"Value","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"AD\" (case and whitespace aside) under the field \"Value\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"B3","row":3,"column":"B","key":"AE","source":"countries","field":"latitude","status":"filled","value":"23.424076","as":"number","factIds":["fact-7f8d335b4d8177ce"],"matches":1,"sourceAt":{"kind":"grid","row":3,"col":2,"ref":"B3"}},{"ref":"C3","row":3,"column":"C","key":"AE","source":"names","field":"name","status":"filled","value":"United Arab Emirates","as":"text","factIds":["fact-f99c33cd93b2706d"],"matches":1,"sourceAt":{"kind":"grid","table":1,"row":3,"col":3}},{"ref":"D3","row":3,"column":"D","key":"AE","source":"gdp","field":"Value","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"AE\" (case and whitespace aside) under the field \"Value\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"B4","row":4,"column":"B","key":"ZZ","source":"countries","field":"latitude","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"ZZ\" (case and whitespace aside) under the field \"latitude\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"C4","row":4,"column":"C","key":"ZZ","source":"names","field":"name","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"ZZ\" (case and whitespace aside) under the field \"name\", so the cell is left blank rather than filled from a near match."},{"ref":"D4","row":4,"column":"D","key":"ZZ","source":"gdp","field":"Value","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"ZZ\" (case and whitespace aside) under the field \"Value\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"B5","row":5,"column":"B","key":"AF","source":"countries","field":"latitude","status":"filled","value":"33.93911","as":"number","factIds":["fact-bb459cfe7e125bf2"],"matches":1,"sourceAt":{"kind":"grid","row":4,"col":2,"ref":"B4"}},{"ref":"C5","row":5,"column":"C","key":"AF","source":"names","field":"name","status":"refused","code":"target_not_empty","reason":"cell C5 already holds a value or a formula; a fill writes into blanks and never overwrites what the workbook states."},{"ref":"D5","row":5,"column":"D","key":"AF","source":"gdp","field":"Value","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"AF\" (case and whitespace aside) under the field \"Value\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"B7","row":7,"column":"B","key":"Afghanistan","source":"countries","field":"latitude","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"Afghanistan\" (case and whitespace aside) under the field \"latitude\", so the cell is left blank rather than filled from a near match. This source is a GRID (csv or xlsx), and the shipped grid reader emits numeric cells only, so a text-valued column is not retrievable from it at all - a named coverage bound of the reader, not a statement that the source lacks the value."},{"ref":"C7","row":7,"column":"C","key":"Afghanistan","source":"names","field":"name","status":"refused","code":"no_match","reason":"no fact in this source has the subject \"Afghanistan\" (case and whitespace aside) under the field \"name\", so the cell is left blank rather than filled from a near match."},{"ref":"D7","row":7,"column":"D","key":"Afghanistan","source":"gdp","field":"Value","status":"refused","code":"ambiguous","reason":"23 facts in this source have the subject \"Afghanistan\" under the field \"Value\" and they state 23 different values (\"3521418059.923445\", \"2813571753.8725324\", \"3825701438.9996333\", \"4520946818.545814\", \"5224896718.67782\", \"6203256538.709669\", …); no rule picks one, so the cell is left blank.","values":["3521418059.923445","2813571753.8725324","3825701438.9996333","4520946818.545814","5224896718.67782","6203256538.709669","6971758282.293506","9747886187.393929","10109297047.543194","12416152732.056717","15856668555.833595","17805098206.314083","19907329777.587166","20146416757.598675","20497128555.69723","19134221644.732494","18116572395.077213","18753456497.815865","18053222687.412624","18799444490.11278","19955929052.149597","14266499429.874573","14502158192.090395"]}],"rowsWithoutKey":[6],"counts":{"rows":5,"cells":15,"filled":5,"refused":10,"byCode":{"no_match":8,"target_not_empty":1,"ambiguous":1}},"boundary":{"certifies":"CERTIFIED: every filled cell holds, verbatim, the one value its declared source states for that row's key under the declared field, located by an exact key match (case and whitespace aside); every cell not filled names why; and the output workbook is exactly the file whose sha256 is stated here.","doesNotCertify":"NOT ATTESTED\nThis certificate does not attest that any source value is true.\nIt does not attest that the declared field is the right field for the column.\nIt does not attest that a key with no match has no value anywhere.\nIt does not attest anything about cells the declaration did not name."},"signature":{"alg":"ed25519","canonical":"VD-CANON-1","keyId":"vd-2b223ab58835e187","signature":"1ktUcZOrs3pRaCYX0TxEtIcnfA4yu4ru1L9g4KAez4ph1oGmFBL2UM8RR/svHnlFswNckZPbWCYigbLQZz48DA=="}},"workbook":{"name":"lookup.filled.xlsx","sha256":"fa0edb9ff84e0845a796dc3c4bb6acd48c8e45093505d1903f7904d80a210ed5","bytes":2110,"base64":"UEsDBBQAAAgIAAAAIVrK7Y6oGgEAAKACAAATAAAAW0NvbnRlbnRfVHlwZXNdLnhtbK2Su04DMRBFe77CchutnVAghLJJwaOEFOEDjHc2a8WesTyTsPl7tJuQAgUQEtUUvnPPkcbzZZ+i2kPhQFjrmZlqBeipCbip9ev6qbrVisVh4yIh1PoArJeLq/n6kIFVnyJyrTuRfGct+w6SY0MZsE+xpZKcsKGysdn5rduAvZ5Ob6wnFECpZOjQi/kDtG4XRT32AngUKRBZq/tjcGDV2uUcg3cSCO0emy+U6kQwBeKY4S5knvQpanuRMLx8DzjtveyhlNCAWrkizy5BrW0f7TuV7RvR1vxccsGS2jZ4aMjvEqAYzgVcwx2ApGjGaZILOPmdP4bZjmP2zyLn/p88GvKrQpmtpwJ/F/i817Bd5UIZigQ4X8yOH2zxAVBLAwQUAAAICAAAACFaBlnHgrMAAAAoAQAACwAAAF9yZWxzLy5yZWxzjc+xbsIwEMbxnaewbicODFWF4rAgJNYqfQDjXBIr9p3lM615+64FMbB/+n36d8cag/rBLJ7JwK5pQSE5Hj3NBr6H8/YTlBRLow1MaOCOAsd+031hsMUzyeKTqBoDiYGllHTQWtyC0UrDCanGMHGOtkjDedbJutXOqPdt+6HzfwP6B1NdRgP5Mu5ADfeE79g8Td7hid0tIpUXF08LUIPNMxYDNehfzuuVeW1qDKD7Tj8E9n9QSwMEFAAACAgAAAAhWpsWNEO/AAAAHAEAAA8AAAB4bC93b3JrYm9vay54bWyNj8FqwzAQRO/9CrH3WnYPoRjLuYRCoMfkA1RrHQtLu2JXaZ2/LyTNvaeBB/OGGfZbTuYbRSOTg65pwSBNHCJdHJxPH6/vYLR6Cj4xoYMbKuzHl+GHZf1iXs2WE6mDpdbSW6vTgtlrwwVpy2lmyb5qw3KxWgR90AWx5mTf2nZns48ED0Mv/3HwPMcJDzxdM1J9SASTr5FJl1gUxuG+oH9pyGd08Mm8XguYOzsGBx0Y6WNwIMfQgR0H+6zZ57PxF1BLAwQUAAAICAAAACFamm88fLkAAAApAQAAGgAAAHhsL19yZWxzL3dvcmtib29rLnhtbC5yZWxzjc8xa8MwEAXgvb9C3B6f3SGUYjlLKGQt7g8Q8tkWke6ETmmcf1/IEBro0OnBG77H6w9biuabigZhC13TgiH2MgVeLHyNH7s3MFodTy4Kk4UbKRyGl/6ToqtBWNeQ1WwpslpYa83viOpXSk4bycRbirOU5Ko2UhbMzp/dQvjatnssvw0YnkxzmiyU09SBGW+Z/mPLPAdPR/GXRFz/mMCrlLOuRBXM6MpC1cKjUrxH12wpAg49Pj0cfgBQSwMEFAAACAgAAAAhWtVzaxyLAQAAbgQAABgAAAB4bC93b3Jrc2hlZXRzL3NoZWV0MS54bWx9lMtOwzAQRfd8hTV74ubVQuUYBRLEghWPBexMMm0tYjuyTVv+HqVCFVR2t6O5d85cy8Nu9mogW7ROGl1BmsyAoO5ML/W6gteX+8srIM4L3YvBaKzgGx3c8Au2M/bTbRA92atBuwo23o9LSl23QSVcYkbUezWsjFXCu8TYNXWjRdEfRGqg2Ww2p0pIDZz1UqGeCIjFVQV1umwWQDk79DbCC86s2RFbQQrEjWKaly4L4KybinUKxFcg9SA1PnsLnEnHmeed+dLeft+ZHhn1nNGpTLtf2W1MNggv/VdQcxfTaKFC/U203/iTfmrN7rhnFtwzi5jVTWi9DDjb8iJLymKeFSWj27+LRLym51y6UXRYwWjRod0i8Fr3xlpxBjgPAucx4DYEnB+AszwpsmK2mJ8AR7zCwK9aeuxJbcUHaZW0wqM7Q18E6YsI/fv7GasyaFXGgrgPBVEegsjz5Dq/TtOTHKJWj09t3byRh/apPcM3/8dHj/VFkHsRG7Zab4SW02UIzaJ/fi49ngr+A1BLAwQUAAAICAAAACFaVIgwrbAAAAD5AAAAEQAAAGRvY1Byb3BzL2NvcmUueG1sZc6xTsQwDIDhnaeovF/dMiBUpb2NmYF7AMsxveqSOIp9qLz9CYS6sP7Dpz+c95y6L2m2aZlh7AfopLDGrawzXD7eTq/QmVOJlLTIDN9icF6eAteJtcl70yrNN7Fuz6nYxHWGq3udEI2vksl6rVL2nD61ZXLrta1YiW+0Cj4PwwtmcYrkhD/gqR4i/JGRD7LeW/oFIqMkyVLccOxHhCVEnnzzJEtSvd1rwCME/He7PABQSwECFAAUAAAICAAAACFayu2OqBoBAACgAgAAEwAAAAAAAAAAAAAAAAAAAAAAW0NvbnRlbnRfVHlwZXNdLnhtbFBLAQIUABQAAAgIAAAAIVoGWceCswAAACgBAAALAAAAAAAAAAAAAAAAAEsBAABfcmVscy8ucmVsc1BLAQIUABQAAAgIAAAAIVqbFjRDvwAAABwBAAAPAAAAAAAAAAAAAAAAACcCAAB4bC93b3JrYm9vay54bWxQSwECFAAUAAAICAAAACFamm88fLkAAAApAQAAGgAAAAAAAAAAAAAAAAATAwAAeGwvX3JlbHMvd29ya2Jvb2sueG1sLnJlbHNQSwECFAAUAAAICAAAACFa1XNrHIsBAABuBAAAGAAAAAAAAAAAAAAAAAAEBAAAeGwvd29ya3NoZWV0cy9zaGVldDEueG1sUEsBAhQAFAAACAgAAAAhWlSIMK2wAAAA+QAAABEAAAAAAAAAAAAAAAAAxQUAAGRvY1Byb3BzL2NvcmUueG1sUEsFBgAAAAAGAAYAhAEAAKQGAAAAAA=="}}