{"as_of":"2026-08-21T03:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:85241f37c26b04b2c7f10f8fc41fb4f2e65364aa513ad069f09b7d634215a825","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:17:35.286358Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2507.16276/citation-record","integrity":"/paper/2507.16276/integrity","json":"/paper/2507.16276/citation-record.json","paper":"/paper/2507.16276"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:36.141351Z","title":"A survey of attacks on ethereum smart contracts (SOK),","venue":null,"work_id":"1a422777-2c1f-49b1-bd07-b42e5fd9f5eb","year":2017},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.174889Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:d5341682fc71773d88c25a14693cd6875fc6793ca6c1421a35d1ecd490721c4f","observation_id":"dde9a3e3-50a4-4b2a-8e86-958fbc32af7a","resolution":{"observed_at":"2026-08-06T15:17:36.152655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:36.118376Z","title":null,"venue":null,"work_id":"7929ae55-8a7a-4e4e-a867-c260a4735f82","year":2014},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.180807Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:f2b9d5363c3b4cd24aec2ae7fe79ca8c4becdf3c1c7d6e81e3e37dbfe278cfce","observation_id":"fe0e59ad-5754-4c4a-9803-d68df624b5e8","resolution":{"observed_at":"2026-08-06T15:17:36.124050Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/f","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:35.527258Z","title":"From Institutions to Code: To- wards Automated Generation of Smart Contracts","venue":null,"work_id":"58110a23-8ab9-4f4d-8247-417f00185021","year":2016},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.186889Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:3f8303a4ee695fdbcb217b2a499a71fc64e5a4d8a3a314db6b1d641f29b7ab23","observation_id":"6c94d0e9-9d01-4ab2-9373-8c0067086191","resolution":{"observed_at":"2026-08-06T15:17:35.532527Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:35.191852Z","title":"Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.191852Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:ba6a0189166fc83df0fa93481954c76c546ce21c61621f91abbc5eb80cf1eb19","observation_id":"d09d5a8b-12b0-4a06-8712-48a2cbf84f35","resolution":{"observed_at":"2026-08-06T15:17:35.191852Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.05288","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:35.882911Z","title":"A Systematic Review and Performance Evaluation of Open-Source Tools for Smart Contract Vulnerability Detection","venue":null,"work_id":"88646b3f-3f67-4edc-bfe7-e9462be0ec22","year":2024},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.197986Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:197441c615e63dd25da19ce5ee05a582f12d1b272d026552025cfe44af3390d4","observation_id":"b3f46b01-1482-4a7b-9eb9-4358ed70f56d","resolution":{"observed_at":"2026-08-06T15:17:35.897486Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:36.094820Z","title":"di Angelo, T","venue":null,"work_id":"40544d25-8d40-440d-aee1-0f87ef7e8951","year":2023},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.206053Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:61aefa9f5155602c0155ffee3f8e8eb85794c5db5aaaf333815e31f716a301de","observation_id":"9cd41b39-8fff-4ff0-8b6c-247e71a7e8c3","resolution":{"observed_at":"2026-08-06T15:17:36.103805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.future.2017.08.020","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A survey on the secu- rity of blockchain systems,","venue":"Future Generation Computer Systems","work_id":"1dc2f3ba-72bc-495a-a768-b4d11f0893f3","year":2020},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.213945Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:b88a296e46c5d970e38ee06925b666f3ac7e2799fe0df8106549e42902a05d36","observation_id":"8137ea84-6b85-4824-85c4-71469ab537ee","resolution":{"observed_at":"2026-08-06T15:17:35.513120Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1901.01292","last_updated":"2019-01-21T02:08:40Z","snapshot_observed_at":"2026-08-19T00:36:53.586433Z","submitted_at":"2019-01-04T19:55:50Z","title":"VeriSolid: Correct-by-Design Smart Contracts for Ethereum","version":2},"cited_work":{"arxiv_id":"1901.01292","doi":"10.48550/arxiv.1901.01292","metadata_source":"pith","pith_arxiv_id":"1901.01292","snapshot_observed_at":"2026-08-06T18:16:30.548575Z","title":"VeriSolid: Correct-by-Design Smart Contracts for Ethereum","venue":"cs.CR","work_id":"ee7bbdeb-171b-455d-9b64-b69cfc586731","year":2019},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.223872Z"},"links":{"cited_paper":"/paper/1901.01292","citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:0c51613905d66d0ed40371ab1ba8863b5ddb581741710859eda4ed5077c3bd51","observation_id":"d8d009a7-7298-46a9-893a-6b8433107141","resolution":{"observed_at":"2026-08-06T15:17:35.486775Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:36.073573Z","title":"Nakamoto","venue":null,"work_id":"8c7a8cc6-e90d-4668-8382-5e91e7640f80","year":2008},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.231262Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:b022b0f528ba9fe27763b69940d0d9842e81792c105e0498e2d7c42ecad8ebba","observation_id":"20326a11-2536-4e4e-94cf-1bf5002d66d3","resolution":{"observed_at":"2026-08-06T15:17:36.078618Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1808.03517","last_updated":"2019-04-22T08:59:53Z","snapshot_observed_at":"2026-08-14T18:53:55.534744Z","submitted_at":"2018-07-10T04:30:39Z","title":"CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain","version":3},"cited_work":{"arxiv_id":"1808.03517","doi":"10.48550/arxiv.1808.03517","metadata_source":"pith","pith_arxiv_id":"1808.03517","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"CATERPILLAR: A Business Process Execution Engine on the Ethereum Blockchain","venue":"cs.SE","work_id":"0933af6a-aded-493b-ba54-2253ee8c94e0","year":2018},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.237614Z"},"links":{"cited_paper":"/paper/1808.03517","citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:14201ed2feadfb0fd79743da84e9204edd4350827fb294756789a698e855ee0c","observation_id":"a6128b66-7754-42df-a07c-f6f45d134d6d","resolution":{"observed_at":"2026-08-06T15:17:35.461419Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-37933-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Das Contract - A Visual Domain Specific Language for Modeling Blockchain Smart Contracts","venue":"Lecture notes in business information processing","work_id":"cc48341d-83eb-49b6-ac26-af2b653d363e","year":2020},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.244849Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:2d18f9b017e1b2fe49e3bfb8c9f31b734ae904ae70b57867c70966c5ee110764","observation_id":"f1545b5b-730e-42dd-9715-89e83c242bde","resolution":{"observed_at":"2026-08-06T15:17:35.417682Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.02906","last_updated":"2019-06-07T05:41:56Z","snapshot_observed_at":"2026-08-19T00:36:27.057081Z","submitted_at":"2019-06-07T05:41:56Z","title":"Smart Contract Design Meets State Machine Synthesis: Case Studies","version":1},"cited_work":{"arxiv_id":"1906.02906","doi":"10.48550/arxiv.1906.02906","metadata_source":"pith","pith_arxiv_id":"1906.02906","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Smart Contract Design Meets State Machine Synthesis: Case Studies","venue":"cs.SE","work_id":"3418c1ef-28f3-4c44-98ba-12db2240cd8d","year":2019},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.249898Z"},"links":{"cited_paper":"/paper/1906.02906","citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:0417c67eeb90694aa2837604dc7c2f2a3caf149b70fe4ec141694863deb15d99","observation_id":"64a940c7-dd81-4193-9ac2-43f97db3d2d2","resolution":{"observed_at":"2026-08-06T15:17:35.394887Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:35.255486Z","title":"Symboleo: Towards a Specification Lan- guage for Legal Contracts","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.255486Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:2515faf71411fd328ef7947a30dc64eb89ebdad41d7f0eebd326715919fd1188","observation_id":"b692fdbd-30f7-49a1-a2f3-28d0553f4c7d","resolution":{"observed_at":"2026-08-06T15:17:35.255486Z","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":"10.1007/978-3-030-13693-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"The Development of Smart Contracts for Heterogeneous Blockchains","venue":null,"work_id":"2fba747e-1f11-4702-8b2f-f5e66618c9ed","year":2019},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.260424Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:02f01d2e67414af116c01a8c0c59a6f8edcfd94499fba48dd52f30f02e1e3430","observation_id":"066264cf-c0f2-4b7d-8da7-03fa25203356","resolution":{"observed_at":"2026-08-06T15:17:35.362163Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:36.046599Z","title":null,"venue":null,"work_id":"def92ad3-1b92-4f2f-89e2-34a20cdbc2c6","year":1996},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.266296Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:e92addf3188cb8d3439db386b4ad963de1e5965a7eead014e287c42eaebabe53","observation_id":"f061db2a-4569-4158-9abb-2de6774e2b9b","resolution":{"observed_at":"2026-08-06T15:17:36.052678Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.29006","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:35.658786Z","title":"Automatic Smart Contract Generation Us- ing Controlled Natural Language and Template","venue":null,"work_id":"91dc377b-0bcd-4612-9767-faf9f69b0768","year":2019},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.273097Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:8e3419a34a55492669eb9af2711a0b2bb9b3165c21a8b92a1beb0cc38192b0a3","observation_id":"e1d93183-67fe-4bf2-833e-f7919ebff5ae","resolution":{"observed_at":"2026-08-06T15:17:35.668174Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T15:17:36.025226Z","title":"Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management","venue":null,"work_id":"901f573e-fca1-4607-80fe-66559afb9ad2","year":2018},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.278776Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:d90d64f25438d34a246490084a570284fcda0c9454d15d1c513cdf1e3df15275","observation_id":"f142694a-c385-4406-8bea-dd50b68451b5","resolution":{"observed_at":"2026-08-06T15:17:36.032002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11390-020-9638-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Data security and privacy in bitcoin system: A survey,","venue":"Journal of Computer Science and Technology","work_id":"eff3e945-3b0c-482e-9245-fe06ed10873f","year":2020},"citing_paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:17:35.286358Z"},"links":{"citing_paper":"/paper/2507.16276"},"observation_digest":"sha256:c6305e1397aaa993a9255f333e4cc8f7eca0d6005b55887f3a33259d789fd1a6","observation_id":"391af7a7-db22-440c-a067-17860409ace2","resolution":{"observed_at":"2026-08-06T15:17:35.342252Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.16276","last_updated":"2025-07-22T06:41:30Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-19T00:36:46.383337Z","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":3,"verified_exact":6,"verified_fuzzy":4},"total_outbound_references":18},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2507.16276."}