{"as_of":"2026-08-08T21:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d153f5a000fd394b65d85210bb0de385fd74c1c9190cc8345f12675482351ab6","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-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/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-06T15:11:36.352018Z","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:5f08d3c134bcd89d7d81ac9cae9b026e515abe09d736574d620a27cc2a0a2acf","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-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-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-06T15:11:36.352018Z","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:950438491a1117b4586029401735871721bfaace821bfd23e0f0da1c5385508d","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-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.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-06T15:11:36.352018Z","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:d8ad277bd1f463ec94cbd0c7dfd615a5ea765bc55658c2e688e2967a290d4c76","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-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-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-06T15:11:36.352018Z","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:de749283120e1988ba29dcaaa920dfc7853caf712822526d2780179c7f1a665d","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-06T15:11:36.352018Z","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:ad55e32724861aec627cb11c33074524d09284ddc4889e28060fc90fc0489cd6","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-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-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-06T15:11:36.352018Z","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:7da8849b2beccd1d031d2704f14dd369063799f536fefdd690dfcb41e2b13dad","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-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.1016/j.future.2017.08.020","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:35.506821Z","title":"A survey on the secu- rity of blockchain systems,","venue":null,"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-06T15:11:36.352018Z","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:c099ee41758ed91ca4a8cb180888701b1c399076fc5cf88ecf98761a1715b4f7","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-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":"1901.01292","last_updated":"2019-01-21T02:08:40Z","snapshot_observed_at":"2026-07-06T07:24:58.693259Z","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-06T15:11:36.352018Z","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:054dac75153f15d16f7cf8332c026d911875a648b1b20cd2240e7acde2ace00e","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-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-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-06T15:11:36.352018Z","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:6ee8f7496d039af3236b52c42c2fd0ea39ef74d040e59ecaaa090613f1fba38a","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-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":"1808.03517","last_updated":"2019-04-22T08:59:53Z","snapshot_observed_at":"2026-08-05T06:37:01.909973Z","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-06T18:16:30.548575Z","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-06T15:11:36.352018Z","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:6882603b0cf9c1eda33c60a79c0aad307365ddfa6845d5322e12060b8b51ff0c","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-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-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-06T15:11:36.352018Z","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:d5da37a86e805ff97cd724fe4ab9a108f66fdf949d731b741b1eb9d487c60d90","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-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":"1906.02906","last_updated":"2019-06-07T05:41:56Z","snapshot_observed_at":"2026-07-06T07:58:39.570955Z","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-06T18:16:30.548575Z","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-06T15:11:36.352018Z","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:ca75d8a4c6afb73a55ab91d3fb4f632772cf0ba3d284d1a2d32bfc6b88b6f250","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-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-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-06T15:11:36.352018Z","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:076ad39363594503e41406ebe1d2340403fe116fed316055f50403b21922b6f8","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-06T15:11:36.352018Z","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:4bb98e4758dca36cb6c4e1655505a93b00c3c8e15bc4a4006b349e8cb0986a7e","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-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-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-06T15:11:36.352018Z","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:40454783b120dd03934e10d8f024d1066142431975736af9c0d6d9f20b165182","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-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":"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-06T15:11:36.352018Z","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:8764168f6910506def46fd256d5b465c090c358b97d2c46346d60b73508d0366","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-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-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-06T15:11:36.352018Z","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:7154c722d7c3b36680631f98f88b8f5d6511c3dbfb2aa89c7536e4960182911c","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-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/s11390-020-9638-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:17:35.333994Z","title":"Data security and privacy in bitcoin system: A survey,","venue":null,"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-06T15:11:36.352018Z","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:45830965ffc904abdf9b6e1eb85046dc00970dd089b372955ea70f83afdf3364","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-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":"2507.16276","last_updated":"2025-07-22T06:41:30Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-06T15:11:36.352018Z","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-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 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2507.16276."}