{"as_of":"2026-08-08T09:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7012b99333b3443d94edf78f4391c68b1b2f1032784afd97b010ffaa788844f3","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:24:46.137657Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.05832/citation-record","integrity":"/paper/2506.05832/integrity","json":"/paper/2506.05832/citation-record.json","paper":"/paper/2506.05832"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:44.230644Z","title":"Schneider (1985): Defining liveness","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.230644Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:ac5eb7516ae766e7d7c942d13de64ba10f8dc45b13acc99cbfa34eed1b8d2889","observation_id":"5d1c8b49-7421-4458-b292-2534ab6fa43f","resolution":{"observed_at":"2026-08-07T10:24:44.230644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.426720Z","title":"MIT Press","venue":null,"work_id":"fdc9fe58-7a1f-4db9-869f-a19fe8412000","year":2008},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.260714Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:2864332c1968da46560012372d2e312bc71aba2a849068ea7ccd1eaa2b3150e0","observation_id":"93bce2f3-cc71-4f99-893b-9cc9dd5fcf9b","resolution":{"observed_at":"2026-08-07T10:24:46.429498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.12140","last_updated":"2021-01-26T11:41:57Z","snapshot_observed_at":"2026-07-06T09:58:44.617400Z","submitted_at":"2020-09-25T11:47:30Z","title":"A formal model of Algorand smart contracts","version":3},"cited_work":{"arxiv_id":"2009.12140","doi":"10.48550/arxiv.2009.12140","metadata_source":"pith","pith_arxiv_id":"2009.12140","snapshot_observed_at":"2026-08-07T18:16:16.850658Z","title":"A formal model of Algorand smart contracts","venue":"cs.CR","work_id":"2d931dc4-3874-4cdd-bca5-87acca6b3cae","year":2020},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.396167Z"},"links":{"cited_paper":"/paper/2009.12140","citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:6e5befcaaff28433e2b8f69f2ba1e40bf430d77d369043666a05aa06154230e6","observation_id":"0042180e-de2b-4f2f-a250-d59092c3a835","resolution":{"observed_at":"2026-08-07T10:24:46.269157Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:44.596798Z","title":"3, Cambridge univer- sity press, doi: 10.1017/CBO9780511525865","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.596798Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:d9e8a0d8d263e1131f80c3dec01db12ae053b60d3168118307cc228945f751d2","observation_id":"f93db097-b175-4dc4-89dd-c263f2e31d91","resolution":{"observed_at":"2026-08-07T10:24:44.596798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.417021Z","title":null,"venue":null,"work_id":"78de9567-9135-45b2-9e28-9ca7b2e0e231","year":1993},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.697803Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:aabd9d123a131070f122a2870b3a826803fa24da00d5ed701466336607f14864","observation_id":"ab9b70c1-d763-4d33-93a4-ffbaaefd0456","resolution":{"observed_at":"2026-08-07T10:24:46.420153Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.408816Z","title":"https://ethereum.org/en/whitepaper/","venue":null,"work_id":"ba741c1b-d65d-405c-aa34-1090575ff3da","year":2014},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.785969Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:26b380639abec405b990bdb1970919c25c16d35f557d025f73b9857a4ead44e9","observation_id":"269eeb14-fd2d-47dd-81de-4d953c11015b","resolution":{"observed_at":"2026-08-07T10:24:46.411581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-61467-6_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"ad36c413-10a1-4752-a977-c667159f3263","year":2020},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.893855Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:b28f551c496d6a6a7cd054218540b385f75b8bdb82ba6a422dbe3f1cc3941f1b","observation_id":"06189e8b-0c8c-41f5-a858-fe354f9a7b87","resolution":{"observed_at":"2026-08-07T10:24:46.403257Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.391817Z","title":null,"venue":null,"work_id":"f6d1b8b0-1c31-4b3e-ba67-6a857ce7cb43","year":2020},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:44.968539Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:9d05f078d22b523ec2c643938c8f0dbbd9428d67c4dddc53c9ab03b20978dd4d","observation_id":"bbed2e7f-4bfd-4cc2-b5a5-899539945f8b","resolution":{"observed_at":"2026-08-07T10:24:46.394612Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.382757Z","title":"https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ shelley-ledger.pdf","venue":null,"work_id":"8575b7ce-1baa-452e-9c29-55859f8be870","year":2019},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.123469Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:24d0c3c4a123610e37825100254fcaa7793e4fddd88880698fba5ec3e8e5fd42","observation_id":"b86e21f1-1801-465b-892e-736387947c14","resolution":{"observed_at":"2026-08-07T10:24:46.386157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-59126-6_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":null,"work_id":"89dc77aa-f367-410d-a257-9b481ca3a413","year":1997},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.170855Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:4e332b4e4d61a59fe511624d5e94211908ca0404bfac5deb4dd7406329ea9181","observation_id":"db123bdc-f6f0-4745-b55d-8548a09f6e7f","resolution":{"observed_at":"2026-08-07T10:24:46.249406Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.374287Z","title":"https://ergoplatform.org/ docs/whitepaper.pdf","venue":null,"work_id":"f2c5f65a-ffc1-4a24-aeb4-d383ef6bc995","year":2019},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.294898Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:127bb48eb138a66dd7c797481e182682a505ed93eb9764bc1959d2767931a122","observation_id":"5c85b89e-7e06-48bf-8eef-4e68d9827e11","resolution":{"observed_at":"2026-08-07T10:24:46.377291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129521000438","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.237300Z","title":"Gabbay (2021): Algebras of UTxO blockchains","venue":null,"work_id":"d6eaaef7-2433-4c4c-bf9d-380efcde95bc","year":2021},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.366128Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:863d1404226ebb4cfd2c99d7cf7abbc903bee96fcd5c32f3865ffbc3dfceafe6","observation_id":"eced1197-5fa9-4ea4-9ca5-b0d0c652198b","resolution":{"observed_at":"2026-08-07T10:24:46.240379Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.365301Z","title":"S´ eminaire Bourbaki8, pp","venue":null,"work_id":"2ca2083b-7849-4041-b0ae-a94e0d49d446","year":1962},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.461085Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:50e5e0ddfb57649446b8600f6505e490666aa1f925cf7a6865f36b61eccd0906","observation_id":"75c1acaf-8aaa-4e12-9325-8ed17ed529e7","resolution":{"observed_at":"2026-08-07T10:24:46.368371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.356286Z","title":"https://tezos.com/ whitepaper.pdf","venue":null,"work_id":"6bc56bc8-84c2-4443-99fd-9a32fe04deba","year":2014},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.608248Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:badf4d46016eee2669220b82e72e0355c57cf7088be004da27323d579e5f4202","observation_id":"da5cd52a-eb43-4ede-a494-3a5e928aa40b","resolution":{"observed_at":"2026-08-07T10:24:46.359115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.346851Z","title":"Courier Corporation","venue":null,"work_id":"736e86d1-d4ec-4cde-9223-b774df812b68","year":2013},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.709783Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:984803b60f2cb86116162bc173b93d7b236f6e8a71a6652bd9a368025e294e35","observation_id":"9971e16a-d278-43b8-8f61-9d85cbba24a1","resolution":{"observed_at":"2026-08-07T10:24:46.349823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-61629-2_46","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In Magne Haveraaen, Olaf Owe & Ole-Johan Dahl, editors: Recent Trends in Data Type Specification , Springer Berlin Heidelberg, Berlin, Heidelberg, pp","venue":"Lecture notes in computer science","work_id":"9e0abd31-6c35-4843-a3b7-d008c78f10b7","year":1996},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.810798Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:94c142f1983ecc105309de08bba957d2f80c44d4ca6efd4c91c421fa7c27e83d","observation_id":"beaba069-c956-4949-b593-b3140e3b3fbd","resolution":{"observed_at":"2026-08-07T10:24:46.231109Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.337859Z","title":null,"venue":null,"work_id":"a409e6d9-4522-4e13-96ff-b430696bfc77","year":2024},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:45.920075Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:c9a6ca2536a033e1fae3c3f7e1ebdbb59f1cfce4650e73eebcf615b4a1050645","observation_id":"caf5d74e-4e2b-41d9-94bc-45330ad9d0bd","resolution":{"observed_at":"2026-08-07T10:24:46.341079Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.328299Z","title":"https://github.com/input-output-hk/cardano-ledger/r eleases/latest/download/ alonzo-ledger.pdf","venue":null,"work_id":"39fd500a-6220-40d7-95ec-f255412dbf87","year":2021},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.090968Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:09bec1b6a0b0850c52d60cd27c3514f5aa14279842c525c0eedae857060c063e","observation_id":"ce4eeee3-8c66-4f77-b3bb-c0315d114d76","resolution":{"observed_at":"2026-08-07T10:24:46.331520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.318893Z","title":"Comptes-Rendus de l’Acad´ emie des Sciences 2, p","venue":null,"work_id":"b0b68e48-aea7-46de-8195-3d73df940e8e","year":1944},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.105692Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:77ccb25dcfea94977cf2f28af78a3fc28df188dc9e6730d3e212bf18e3fd31cc","observation_id":"f2ad14d9-31cb-4b78-b53c-733dff2c0a0d","resolution":{"observed_at":"2026-08-07T10:24:46.321740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.108904Z","title":"5, Springer Science & Business Media, doi:10.1007/978-1-4757-4721-8","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.108904Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:e5efa237d04883c2c1e7c025a81a6c1de7e29b0cd46ab07c851cd530e25e2d69","observation_id":"ea4af277-abab-4b5d-9efd-61515cb79dfa","resolution":{"observed_at":"2026-08-07T10:24:46.108904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.112045Z","title":"Springer, doi: 10.1007/3-540-10235-3","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.112045Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:48534eb5064ded90ecacc28233db0c4107eae7c4c5fa8b12f21576aa6c029e1e","observation_id":"c27c2ccd-8cee-4da9-9cac-4ee781b04371","resolution":{"observed_at":"2026-08-07T10:24:46.112045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.310593Z","title":"Nakamoto (2008): Bitcoin: A Peer-to-Peer Electronic Cash System","venue":null,"work_id":"2baa7ec0-467e-4fb1-896b-7eb3419263fd","year":2008},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.114990Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:4c14bfa950a4058d3e82ebeada7ba769ee055f2b8bc8bd2434d2e272723ea2c6","observation_id":"28dce801-c430-48ee-93b3-8d39d25d2b3a","resolution":{"observed_at":"2026-08-07T10:24:46.313379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.tokenomics","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.205317Z","title":null,"venue":null,"work_id":"66f60500-0a78-4f7d-956e-276f7b37a8f6","year":2020},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.117733Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:d06b4a802cffee79a1f15e25b091d60ae62ba0365727567610d13d79bd1221b1","observation_id":"3db25243-4588-4ec1-835a-ba014159613b","resolution":{"observed_at":"2026-08-07T10:24:46.208141Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-40007-3_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Smith (2003): Software Development by Refinement , pp","venue":"Lecture notes in computer science","work_id":"b5c83869-d9b2-48cc-9192-8802e638452f","year":2003},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.120348Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:50b9d62548cda505a49169e408dcbcdfefc1e59886977c10a634fca1c6fe7fe9","observation_id":"f5d3ca44-bebb-481a-94db-91395a8bd75f","resolution":{"observed_at":"2026-08-07T10:24:46.198727Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.123046Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.123046Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:f35d5dee9a06e7356bbbc75b6c3c1fd7844174c4341dc1dc5f0d5931bdbb6618","observation_id":"50c879ff-f1f4-49d4-908d-143cde9f2e28","resolution":{"observed_at":"2026-08-07T10:24:46.123046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.301757Z","title":null,"venue":null,"work_id":"ccfc1b0e-ea49-4951-be50-5eadfb022355","year":1995},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.126057Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:8bfe7d27d3b04483d9a63d50fd38fd51c0cf86e7c03a5c84c6cd62cebcfca7ce","observation_id":"d9c81b78-1d55-4f26-9627-1d057e51c5e1","resolution":{"observed_at":"2026-08-07T10:24:46.304894Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.293037Z","title":"https://docs.zilliqa.com/ whitepaper.pdf","venue":null,"work_id":"4c5fd247-d31b-4db2-9c54-e62b14723a75","year":2017},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.128587Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:49112ae596e15841954a9daf86e751e25682189e50e55e96fcd658a30ec5120f","observation_id":"00746730-4e0a-47ea-982e-6188a9bc1673","resolution":{"observed_at":"2026-08-07T10:24:46.295789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-69231-4_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"6dbdaa04-a437-46b5-a47d-f41a387d5091","year":2025},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.131390Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:bdc50ed32701337e5a6ec6ad4d813ca91361f959eaa302b269a0d49d5fb96ce3","observation_id":"179854ac-0a3b-420e-b7d4-4a11a326347c","resolution":{"observed_at":"2026-08-07T10:24:46.178493Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.fmbc.2024.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.163594Z","title":null,"venue":null,"work_id":"77a7828c-12e0-48eb-b437-d57dc091a5df","year":2024},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.134645Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:5b3798b88c23c3ae3fd59289bc3d56927cc146cd6d6995076a56a53cedf45cb4","observation_id":"10310587-c3a4-4a5a-ae7a-e83ba64114da","resolution":{"observed_at":"2026-08-07T10:24:46.168038Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:24:46.282769Z","title":"https://github.com/ nervosnetwork/rfcs/blob/master/rfcs/0002-ckb/0002-c kb.md","venue":null,"work_id":"c6093797-c87a-4324-922e-a057e11c8246","year":2018},"citing_paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:24:46.137657Z"},"links":{"citing_paper":"/paper/2506.05832"},"observation_digest":"sha256:90f745b01bee1eae91ec04428fb8b9312424e83e6838db95b03d442588a4bc94","observation_id":"e94a315e-e04b-4541-9d5d-c502d70b7a5c","resolution":{"observed_at":"2026-08-07T10:24:46.286769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.05832","last_updated":"2025-06-06T07:57:27Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T10:11:01.999766Z","submitted_at":"2025-06-06T07:57:27Z","title":"Properties of UTxO Ledgers and Programs Implemented on Them"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":8,"verified_fuzzy":12},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2506.05832."}