{ "schema": "txra.reconpack-vectors.v1", "status": "Published: part of the Seal1618 kit since SPEC 1.12.0 (2026-09-14) and covered by kit/SHA256SUMS.txt.", "format": "txra.reconpack.v1", "spec": "creation1618.com/verify/SPEC.md §2.4", "note": "Conformance vectors for txra.reconpack.v1. One valid pack whose figures agree and one whose figures do not, then one document per defect: an edited value, an edited and re-encoded value, a payload carrying an extra key under a root recomputed over it, an edited root, reordered leaves, a limit leaf withheld by the producer and one deleted by hand, and two correctly sealed packs whose basis their own chain record does not support. Each vector is a document with the verdict a conforming verifier reaches and the named check(s) that fail, as the published txra-verify.cjs reports them. Every figure and name is invented and marked DEMO; every hash is real. summaryStartsWith is the reference verifier's wording: an independent implementation must agree on the verdict and the failing checks, and matching the sentence is optional. A verdict of VERIFIED exits 0 and every other verdict exits non-zero (SPEC §3.0).", "generatedAt": "2026-09-14T00:00:00.000Z", "verifier": { "file": "txra-verify.cjs", "sha256": "1d96d0323a843a33f5680d62279d7964e13bb1ea04c37f23ea2d6af4178021c7" }, "vectors": [ { "id": "valid-agrees", "note": "Two synthetic listings whose figures agree on every axis compared, sealed with no chain adapter. The figures were read at block 10, one past the latest anchor's range, which is the normal state between anchor runs and is reported as a limit, not a failure.", "expect": { "verdict": "VERIFIED", "summaryStartsWith": "VERIFIED (REGISTER AGAINST ITSELF — no chain was read) — 39 items verify against the sealed root bb069f859de1ee81…." }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef4e", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "valid-disagrees", "note": "The same register with 500 units counted and never witnessed as issued, and 150 units marked settled with no transfer recorded: one listing does not reconcile, and the findings say so. It verifies exactly as well as the agreeing pack, because a seal proves the figures are the ones sealed, not that they agree (SPEC §2.4).", "expect": { "verdict": "VERIFIED", "summaryStartsWith": "VERIFIED (REGISTER AGAINST ITSELF — no chain was read) — 39 items verify against the sealed root f67f650fbb598dc9…." }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "f67f650fbb598dc9fcbecc9ce010bf2784d9b1e88c4f84e6b0218c55d643c9c1", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "false", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":false}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[\"the issued counter is 500 units ahead of what the ledger witnessed — the counter moved without an issuance\",\"150 units have been paid for and marked settled, and the ledger has witnessed no transfer of them — the register still names the seller as their holder\"]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[\"the issued counter is 500 units ahead of what the ledger witnessed — the counter moved without an issuance\",\"150 units have been paid for and marked settled, and the ledger has witnessed no transfer of them — the register still names the seller as their holder\"]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2500", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2500}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2500", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2500}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "400", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":400}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "1", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":1}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3700", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3700}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3700", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3700}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "150", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":150}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "1 of 2 listings do not reconcile. No chain was read." } } }, { "id": "leaf-value-edited", "note": "One figure's displayed value changed (holdings 2000 to 1500) and its sealed payload left alone. The value no longer equals the payload's encoding of it.", "expect": { "verdict": "FAILED", "failingChecks": [ "item integrity" ], "summaryStartsWith": "FAILED — item integrity" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef4e", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "1500", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "leaf-edited-and-reencoded", "note": "The same figure changed in its value and re-encoded in its payload, so the leaf is consistent with itself. The root was computed over the original payload and no longer re-derives.", "expect": { "verdict": "FAILED", "failingChecks": [ "merkle root" ], "summaryStartsWith": "FAILED — merkle root" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef4e", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "1500", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":1500}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "payload-extra-key", "note": "One leaf's sealed payload carries a key besides id and v, and the root was recomputed over it, so the count and the root both pass; the displayed id and value still agree with the payload. What fails is that the payload no longer re-encodes from its id and value alone: bytes under the seal that no reader is shown (SPEC §2 rule 1, exact since 1.12.0).", "expect": { "verdict": "FAILED", "failingChecks": [ "item integrity" ], "summaryStartsWith": "FAILED — item integrity" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "0a8c77dea28a6cfc2a8b83fbdcda62491e01df1fe5568edd381d65286ea553e6", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"hidden\":\"sealed bytes no reader is shown\",\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "root-edited", "note": "The stated root has one hex digit changed and every leaf is untouched.", "expect": { "verdict": "FAILED", "failingChecks": [ "merkle root" ], "summaryStartsWith": "FAILED — merkle root" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef40", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "leaves-reordered", "note": "Two adjacent leaves swapped and none changed. Leaf order is part of the tree, so the root no longer re-derives.", "expect": { "verdict": "FAILED", "failingChecks": [ "merkle root" ], "summaryStartsWith": "FAILED — merkle root" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef4e", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "limit-withheld-by-producer", "note": "Sealed without the chain.adapter leaf, one of the four a reconciliation may never withhold. The seal is intact, and the document cannot say what source answered: INCOMPLETE, never VERIFIED (SPEC §2.4 step 5).", "expect": { "verdict": "INCOMPLETE", "failingChecks": [ "limits" ], "summaryStartsWith": "INCOMPLETE — the seal is intact, but this reconciliation does not carry the leaves that say WHAT it compared." }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "db48155535dece8993112ad3d702a6ae385e8ec4793fe0d282f1efab2fec9297", "leafCount": 38, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "limit-leaf-removed", "note": "The result.claim leaf deleted from a sealed pack by hand. The count and the root break, and the limits check names the missing leaf as well.", "expect": { "verdict": "FAILED", "failingChecks": [ "item count", "merkle root", "limits" ], "summaryStartsWith": "FAILED — item count, merkle root, limits" }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "bb069f859de1ee816ce9ed23f7f85b1d7ee79f9396e0d1f68ea93123a24cef4e", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"kind\":\"none\",\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_internal_only", "payload": "{\"id\":\"result.basis\",\"v\":\"register_internal_only\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile. No chain was read." } } }, { "id": "basis-contradicts-chain-record", "note": "Correctly sealed with a basis of register_vs_chain while its own chain.adapter leaf says the supply figures came from a fixture. The seal is intact and the producer sealed a claim its own evidence denies: CONTRADICTED (SPEC §2.4 step 7).", "expect": { "verdict": "CONTRADICTED", "failingChecks": [ "basis" ], "summaryStartsWith": "CONTRADICTED — the seal is intact and the figures are the ones that were sealed, but this document claims a register-versus-chain comparison while its own chain record says the figures came from DEMO supplied figures (synthetic) (fixture)." }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "8caa3b1864ec448bdb9d9ef72d760e83b4af19e9b01d3f28519bbc9abd262c20", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":\"DEMO supplied figures (synthetic)\",\"connected\":true,\"contract\":null,\"kind\":\"fixture\",\"network\":null,\"scope\":null,\"totalSupply\":3200,\"unavailableReason\":null}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":\"DEMO supplied figures (synthetic)\",\"connected\":true,\"contract\":null,\"kind\":\"fixture\",\"network\":null,\"scope\":null,\"totalSupply\":3200,\"unavailableReason\":null}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_vs_chain", "payload": "{\"id\":\"result.basis\",\"v\":\"register_vs_chain\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — the figures above came from DEMO supplied figures (synthetic), which is supplied data, not a blockchain; they were compared, and they are NOT evidence of on-chain supply\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — the figures above came from DEMO supplied figures (synthetic), which is supplied data, not a blockchain; they were compared, and they are NOT evidence of on-chain supply\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile." } } }, { "id": "basis-without-chain-kind", "note": "Correctly sealed with a basis of register_vs_chain and a chain record that does not state what kind of source answered. A blockchain and supplied figures are indistinguishable here, so the claim cannot be confirmed: INCOMPLETE (SPEC §2.4).", "expect": { "verdict": "INCOMPLETE", "failingChecks": [ "basis" ], "summaryStartsWith": "INCOMPLETE — the seal is intact, and this document claims a register-versus-chain comparison without recording what KIND of source answered." }, "input": { "document": { "version": "txra.reconpack.v1", "subject": "DEMO — synthetic register reconciliation, 2 listings", "period": { "asAtBlock": 10, "anchorId": 3, "anchorRoot": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "anchoredAt": "2026-08-10T14:00:00.000Z", "anchorBlockFrom": 7, "anchorBlockTo": 9 }, "scope": { "firmId": "demo_fund_administrator_0001", "selector": "DEMO — every listing on this synthetic register", "listingCount": 2, "excludedCount": 0 }, "root": "74b97ab1f50cd07c9299f5146ca8dc20050d18788f032d34424ec4bd73ab20ba", "leafCount": 39, "leaves": [ { "id": "provenance.data_source", "group": "provenance", "label": "Source of these facts", "value": "{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}", "payload": "{\"id\":\"provenance.data_source\",\"v\":{\"build\":\"demo\",\"dataset\":\"seeded-demo\",\"source\":\"mock\",\"status\":\"demonstration\"}}" }, { "id": "chain.adapter", "group": "chain", "label": "Chain adapter", "value": "{\"adapter\":null,\"connected\":false,\"contract\":null,\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}", "payload": "{\"id\":\"chain.adapter\",\"v\":{\"adapter\":null,\"connected\":false,\"contract\":null,\"network\":null,\"scope\":null,\"totalSupply\":null,\"unavailableReason\":\"no chain adapter is configured in this build — there is no token to read\"}}" }, { "id": "period.anchorBlockFrom", "group": "period", "label": "Anchor covers from block", "value": "7", "payload": "{\"id\":\"period.anchorBlockFrom\",\"v\":7}" }, { "id": "period.anchorBlockTo", "group": "period", "label": "Anchor covers to block", "value": "9", "payload": "{\"id\":\"period.anchorBlockTo\",\"v\":9}" }, { "id": "period.anchorId", "group": "period", "label": "Latest anchor at sealing", "value": "3", "payload": "{\"id\":\"period.anchorId\",\"v\":3}" }, { "id": "period.anchorRoot", "group": "period", "label": "Anchor root", "value": "f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710", "payload": "{\"id\":\"period.anchorRoot\",\"v\":\"f9b0ea06d7a8187ea7ca84b867f93c4d708d5256755096131236eb2178119710\"}" }, { "id": "period.anchoredAt", "group": "period", "label": "Anchored at", "value": "2026-08-10T14:00:00.000Z", "payload": "{\"id\":\"period.anchoredAt\",\"v\":\"2026-08-10T14:00:00.000Z\"}" }, { "id": "period.asAtBlock", "group": "period", "label": "As at ledger block", "value": "10", "payload": "{\"id\":\"period.asAtBlock\",\"v\":10}" }, { "id": "register.DEMO-FUND-A.agrees", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-A.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-A.cap", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — authorised cap", "value": "100000", "payload": "{\"id\":\"register.DEMO-FUND-A.cap\",\"v\":100000}" }, { "id": "register.DEMO-FUND-A.findings", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-A.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-A.holdingsSum", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — holdings", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.holdingsSum\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.issuedCounter", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — issued counter", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.issuedCounter\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.name", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — listing", "value": "DEMO — Example Fund A units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-A.name\",\"v\":\"DEMO — Example Fund A units (synthetic)\"}" }, { "id": "register.DEMO-FUND-A.settledUnits", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — units settled", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.settledUnits\",\"v\":250}" }, { "id": "register.DEMO-FUND-A.witnessedSupply", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — witnessed by the ledger", "value": "2000", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedSupply\",\"v\":2000}" }, { "id": "register.DEMO-FUND-A.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund A units (synthetic) — transfers witnessed by the ledger", "value": "250", "payload": "{\"id\":\"register.DEMO-FUND-A.witnessedTransfers\",\"v\":250}" }, { "id": "register.DEMO-FUND-B.agrees", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — reconciles", "value": "true", "payload": "{\"id\":\"register.DEMO-FUND-B.agrees\",\"v\":true}" }, { "id": "register.DEMO-FUND-B.cap", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — authorised cap", "value": "50000", "payload": "{\"id\":\"register.DEMO-FUND-B.cap\",\"v\":50000}" }, { "id": "register.DEMO-FUND-B.findings", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — findings", "value": "[]", "payload": "{\"id\":\"register.DEMO-FUND-B.findings\",\"v\":[]}" }, { "id": "register.DEMO-FUND-B.holdingsSum", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — holdings", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.holdingsSum\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.issuedCounter", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — issued counter", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.issuedCounter\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.name", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — listing", "value": "DEMO — Example Fund B units (synthetic)", "payload": "{\"id\":\"register.DEMO-FUND-B.name\",\"v\":\"DEMO — Example Fund B units (synthetic)\"}" }, { "id": "register.DEMO-FUND-B.settledUnits", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — units settled", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.settledUnits\",\"v\":0}" }, { "id": "register.DEMO-FUND-B.witnessedSupply", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — witnessed by the ledger", "value": "1200", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedSupply\",\"v\":1200}" }, { "id": "register.DEMO-FUND-B.witnessedTransfers", "group": "register", "label": "DEMO — Example Fund B units (synthetic) — transfers witnessed by the ledger", "value": "0", "payload": "{\"id\":\"register.DEMO-FUND-B.witnessedTransfers\",\"v\":0}" }, { "id": "result.basis", "group": "result", "label": "What was compared", "value": "register_vs_chain", "payload": "{\"id\":\"result.basis\",\"v\":\"register_vs_chain\"}" }, { "id": "result.cap", "group": "result", "label": "Authorised total", "value": "150000", "payload": "{\"id\":\"result.cap\",\"v\":150000}" }, { "id": "result.claim", "group": "result", "label": "The limit of this comparison", "value": "WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.", "payload": "{\"id\":\"result.claim\",\"v\":\"WHAT THIS RECONCILES. No token exists for these listings and no chain adapter is connected in this build, so this compares the platform register against ITSELF: for each listing, the authorised cap, the issued-unit counter, the sum of recorded holdings, the unit allocator's high-water mark, and the units under trades marked settled against the transfers the ledger witnessed. Every figure and every difference is recorded. WHAT IT IS NOT. It is not a token-supply reconciliation. Nothing here was read from a blockchain, because there is no token and no chain to read. When an adapter is connected, an on-chain supply figure joins the comparison and this statement changes to say so. WHAT A PASS MEANS. That the register's own figures agreed at the moment of comparison. It does not mean they are correct, and it does not mean the register describes anything that happened outside this platform.\"}" }, { "id": "result.counterVsHoldings", "group": "result", "label": "Counter minus holdings", "value": "0", "payload": "{\"id\":\"result.counterVsHoldings\",\"v\":0}" }, { "id": "result.disagreeingCount", "group": "result", "label": "Listings that do not reconcile", "value": "0", "payload": "{\"id\":\"result.disagreeingCount\",\"v\":0}" }, { "id": "result.holdingsSum", "group": "result", "label": "Holdings total", "value": "3200", "payload": "{\"id\":\"result.holdingsSum\",\"v\":3200}" }, { "id": "result.issuedCounter", "group": "result", "label": "Issued-counter total", "value": "3200", "payload": "{\"id\":\"result.issuedCounter\",\"v\":3200}" }, { "id": "result.notReconciled", "group": "result", "label": "Not reconciled", "value": "[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]", "payload": "{\"id\":\"result.notReconciled\",\"v\":[\"on-chain supply — no chain adapter is configured in this build — there is no token to read; nothing above was read from a blockchain\",\"whether the holders named in the register are the people they say they are — this compares quantities, never identities\",\"WHO holds each unit, beyond the settled-versus-transferred figure above: a transfer moves units between two holders and changes no total, so an ownership change recorded outside these figures leaves every one of them untouched\",\"anything the ledger did not witness: a figure the chain has no issuance event for is compared between mutable tables only, and a comparison among mutable figures catches a mistake but never an edit\",\"anything that happened outside this platform: a transfer agreed on paper and never entered here is invisible to every figure above\"]}" }, { "id": "result.settledVsTransferred", "group": "result", "label": "Settled and never moved", "value": "0", "payload": "{\"id\":\"result.settledVsTransferred\",\"v\":0}" }, { "id": "scope.excludedCount", "group": "scope", "label": "Listings excluded", "value": "0", "payload": "{\"id\":\"scope.excludedCount\",\"v\":0}" }, { "id": "scope.firmId", "group": "scope", "label": "Register owner", "value": "demo_fund_administrator_0001", "payload": "{\"id\":\"scope.firmId\",\"v\":\"demo_fund_administrator_0001\"}" }, { "id": "scope.listingCount", "group": "scope", "label": "Listings in scope", "value": "2", "payload": "{\"id\":\"scope.listingCount\",\"v\":2}" }, { "id": "scope.selector", "group": "scope", "label": "Listings included by", "value": "DEMO — every listing on this synthetic register", "payload": "{\"id\":\"scope.selector\",\"v\":\"DEMO — every listing on this synthetic register\"}" } ], "sealedAt": "2026-08-11T09:00:00.000Z", "issuer": { "sealedBy": "DEMO — Example Fund Administrator (synthetic)", "platform": "Attest1618", "coBrand": null }, "verification": { "spec": "https://creation1618.com/verify/SPEC.md", "verifier": "https://creation1618.com/verify/txra-verify.cjs", "checksums": "https://creation1618.com/verify/SHA256SUMS.txt", "command": "node txra-verify.cjs ", "independence": "Get the verifier from the address above — the publisher's own site — and check it against the published checksums. Do not trust a tool handed to you by whoever handed you this file. This block is NOT part of the seal: it is a pointer, not a proof. The seal is the root below, and it is what proves the contents." }, "anchoring": { "state": "local_only", "ledgerBlockId": null, "anchoredAt": null, "note": "This root is held in this file only. It has not been committed to the platform ledger, so nothing outside this document evidences that it existed at any particular time." }, "headline": "All 2 listings reconcile." } } } ] }