{"as_of":"2026-08-10T21:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:04e8f6bccb2afbd77019efe691557fef006c314f3071761edd53851c0f18780d","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-05-16T07:28:33.568974Z","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-10T06:31:04.303077+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/2602.04418/citation-record","integrity":"/paper/2602.04418/integrity","json":"/paper/2602.04418/citation-record.json","paper":"/paper/2602.04418"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2274239","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Alchourr´ on, Peter G¨ ardenfors & David Makins on (1985): On the Logic of Theory Change: Partial Meet Contraction and Revision Functions","venue":"Journal of Symbolic Logic","work_id":"edaa2504-fc58-48e3-8402-4280af6198cd","year":1985},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:7261b426b5e38d4faeb37fba10dc885a178328428de6098d4613a53dc2fa6fea","observation_id":"c0057b1a-2bc4-4203-a348-453a30c84530","resolution":{"observed_at":"2026-05-16T07:30:44.116457Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"In: Castelfranchi, C., Lespérance, Y","venue":null,"work_id":"a5c27ed7-4bc3-4670-8fd4-1ca7f7fb1ad9","year":2001},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:214c746e7a2f8b9b7be38e542c11fc41b290bd1460ddb241a663ad74d81ab7c6","observation_id":"9b76a1e1-05b6-4c27-9efd-d8b4b8939eee","resolution":{"observed_at":"2026-05-16T07:30:45.043057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3600.299361","doi":"10.1145/2993600.2993611","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS’16 (2016)","venue":null,"work_id":"3908734b-79e8-4ae5-ac08-55dd57b49290","year":2016},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:7eb9f189f7d9278bdea4757aab9b68c6ffed61171eff5f78c7c535a801cac28b","observation_id":"e75e0a08-3f8c-4610-84c9-728069f358ad","resolution":{"observed_at":"2026-05-16T07:30:44.153543Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"https://docs.certora.com/ (2026), ac- cessed: April 6","venue":null,"work_id":"5737467a-87dd-45fe-977a-ef78b0037d10","year":2026},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:43dfbc61e421c165b1c26569569aab5ff0c9fcff43fc1251fbb8986d0c7778b9","observation_id":"e01d223e-a2d0-4f55-9e71-2a4d464114a7","resolution":{"observed_at":"2026-05-16T07:30:45.040537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T14:16:16.764150Z","title":"In: Proc","venue":null,"work_id":"452f975d-5e1f-47e0-967f-db1ed9da0d80","year":2025},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:70af3ffa7046297c8c51be8f9f0fef4c18c5d53d6613133ed1039f6308688986","observation_id":"b1567eb1-075c-494d-9133-5333eead2293","resolution":{"observed_at":"2026-05-16T07:30:44.107769Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"https://github.com/ConsenSysDiligence/mythril (Mar 2024), accessed: November 6","venue":null,"work_id":"9c7f4535-8772-4177-9db6-807a5531d106","year":2024},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:f3d0fc0284bfff559228876e74f939cd0d403977fefd6e2906d47fe311baf928","observation_id":"441b729f-07d5-435d-a10c-2bd79bd77fa7","resolution":{"observed_at":"2026-05-16T07:30:45.045923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp","venue":null,"work_id":"9993a475-3ccc-485e-aa24-94be7004570d","year":2001},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:13a96b61d0840e148f64d2baa8a8f8ec23068a29a24c0b04c694fbed30fde9db","observation_id":"d7d02dd8-e78b-489f-936a-7fdd9417fc65","resolution":{"observed_at":"2026-05-16T07:30:45.051649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/compsac.2006.98","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Capretz, M.A., Capretz, L.F.: A multi-agent framework for testing distributed systems","venue":null,"work_id":"7b96c109-093c-4981-a68d-4856d6a6daed","year":2006},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:bb5695c74b404e766ed07e3f34449976b1fab9f1f478d3d8d9f3451752a56745","observation_id":"02b947e5-0457-444a-8a59-42a1039cb324","resolution":{"observed_at":"2026-05-16T07:30:44.140259Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.00008","doi":"10.1109/acsd.2019.00008","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Donaldson","venue":null,"work_id":"ed8a25cd-2c57-40a0-9685-23f281fa6af7","year":2019},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:6a73f3b666102a814e3c6111307f1689191b8c98fe60a8c9bf04ae4b51ba16b3","observation_id":"2e64236b-5017-448a-a186-b26644e01523","resolution":{"observed_at":"2026-05-16T07:30:44.125971Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2020.findings-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-01T04:25:21.099719Z","title":"In: Findings of the Association for Computational Linguistics: EMNLP 2020","venue":null,"work_id":"de9979b4-1577-4a07-8ec9-269fd2bb2261","year":2020},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:30aadfe2b95c41752ef6d0d7bd6abaa5b9d4565a04c19ed31f03f4fcafbea3a8","observation_id":"397eb1b3-942d-4124-8d2c-017491e6a58f","resolution":{"observed_at":"2026-05-16T07:30:44.137093Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"Standard SC00061J, FIPA (2000), http://www.fipa.org/specs/fipa00061/","venue":null,"work_id":"03b6c65e-f48c-42df-9f4e-4dfac0a43485","year":2000},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:dc112f9de158a8772db8c4bbe6c46ff23857a1001c807e34ebc38c43893ac666","observation_id":"5f62ebc2-5a6d-433f-a35c-196fb7e82d19","resolution":{"observed_at":"2026-05-16T07:30:45.027286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5363.340436","doi":"10.1145/3395363.3404366","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Grieco, W","venue":null,"work_id":"3ef218a9-5917-40a5-a68d-f630a3c8630a","year":2020},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:25677022795f4610465c77be1b1594be505953a8be8667c80a6bf7fada0c110c","observation_id":"29abe58a-817d-493d-86b6-7b05c25e695a","resolution":{"observed_at":"2026-05-16T07:30:44.149337Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2018.00022","doi":"10.1109/cse.2018.00022","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)","venue":null,"work_id":"b0fbb4a8-7d58-4842-a3ff-2c376d8b9bdb","year":2018},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:97aa0fe82b57319ac45192eece0dd9864038fbd3d9a6eb5e07d07fccbc5306a1","observation_id":"791d9b52-52bd-4d58-b4a2-dc6936dd0476","resolution":{"observed_at":"2026-05-16T07:30:44.144751Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.04685","last_updated":"2025-04-07T02:33:40Z","snapshot_observed_at":"2026-08-07T16:08:07.269771Z","submitted_at":"2025-04-07T02:33:40Z","title":"Generative Large Language Model usage in Smart Contract Vulnerability Detection","version":1},"cited_work":{"arxiv_id":"2504.04685","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.04685","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"dc333b68-4531-4f3d-a0af-e364ba8efa3f","year":2025},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"cited_paper":"/paper/2504.04685","citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:251ae677ff1c71e22aba6d2c786fbac36519fe67c090647cd099a94fd487c005","observation_id":"7b5e2b6f-b24e-476f-8b60-14109eed0d13","resolution":{"observed_at":"2026-05-16T07:30:44.340924Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2003.116005","doi":"10.1109/mc.2003.1160055","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Computer36(1), 41–50 (2003)","venue":"Computer","work_id":"f779c497-2117-4c32-b86e-4e5878b59d57","year":2003},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:7d0be8f04ae8423f8e0fd82f3f08e9de31d8891c2095cda2049b01e3c464aa0f","observation_id":"dfac4be4-21ed-4d5b-910d-7e398761b339","resolution":{"observed_at":"2026-05-16T07:30:44.105363Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/tse.2011.104","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"IEEE Transactions on Software Engineering38(1), 54–72 (2012)","venue":"IEEE Transactions on Software Engineering","work_id":"c825d0b1-0255-41e9-aa97-cf6ef2237aeb","year":2012},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:49f42e4c23e01237b037578fc554dbf33bfa5da9c69023c12f26ad3b3e265fb3","observation_id":"4a28e136-fd86-4917-baef-37722cb44f8a","resolution":{"observed_at":"2026-05-16T07:30:44.108728Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7614.283761","doi":"10.1145/2837614.2837617","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 43rd ACM SIGPLAN-SIGACT Sym- posium on Principles of Programming Languages","venue":null,"work_id":"a62aa4f9-518c-49a5-9422-fa61c1a5ebd4","year":2016},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:bcf0d60cffa5421fe41c0e2e73e880f59ce0a38f0a6761d4e257b8bf67378aad","observation_id":"1468a2c7-98fd-4a4e-b415-48c385239a49","resolution":{"observed_at":"2026-05-16T07:30:44.134060Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6749.297830","doi":"10.1145/2976749.2978307","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","venue":null,"work_id":"09ad0a3d-3cea-42b9-bf2b-bc19464b0cc8","year":2016},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:725fa090d57cfd60154d3a1fd4e89b6ae1be199d6ceceaa0960de131184b9f5c","observation_id":"66354e92-aa69-4cc7-a48a-9dd8cf72b657","resolution":{"observed_at":"2026-05-16T07:30:44.120821Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4018/jcit.2019010102","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of Cases on Information Technology (JCIT) 21, 19–32 (01 2019)","venue":"Journal of Cases on Information Technology","work_id":"131e412f-2eb3-47df-a573-348fb5a9f48f","year":2019},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:227ce9e29e77a0ad0f94dba609a3c7edcf3737dfe95fbc02bdafb792ba51a894","observation_id":"ec3727d8-9247-4262-a7e9-fbca5da94664","resolution":{"observed_at":"2026-05-16T07:30:44.129811Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning","venue":null,"work_id":"b4da7bf5-929d-4885-b4ed-1c5daf975072","year":1991},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:704e28d4ba2c573874c169e7d2b0d9525e8d3c5dddbaf16b199305287c711623","observation_id":"a3b42563-29bf-47d3-8294-2e7f70f90992","resolution":{"observed_at":"2026-05-16T07:30:45.035356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) pp","venue":null,"work_id":"0ae54c18-60d9-4035-ad89-62ffc8c9ce09","year":1995},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:2f9aed07c6b5dc5eb145382ad079f08954d14b8787e789f882d59c4ac543d2e3","observation_id":"fe2eb21a-fc18-4c1d-b6f7-acf8fa8dda9c","resolution":{"observed_at":"2026-05-16T07:30:45.038037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence pp","venue":null,"work_id":"38cbf633-8a8e-4daa-9321-a4f0d3571edb","year":1999},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:38817d0003ea678614d7ff64b494ae76a6220bca3d9d4d3a9035e22c427b0ad4","observation_id":"fce738ca-0de4-4892-b036-378328832857","resolution":{"observed_at":"2026-05-16T07:30:45.032616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1980.167551","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"https://doi.org/10.1109/TC.1980.1675516","venue":null,"work_id":"fe0570c9-9151-4180-970d-1ac55d7d3f72","year":1980},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:6e04e2dc0b023c87a5cdcadfebaf3546db45bfce9b25a5767a59b2defb26445b","observation_id":"d2f2797a-2a61-44d1-bdef-9c0fce700eac","resolution":{"observed_at":"2026-05-16T07:30:44.100910Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7503.363911","doi":"10.1145/3597503.3639110","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","venue":null,"work_id":"df07007b-b75e-4a90-a77b-46693962a201","year":2024},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:087f37dd1ae7f54991e1a8afc26463f452dee273c211ddd3644b69880617949b","observation_id":"4097af9e-830e-4224-b002-987dd0e43497","resolution":{"observed_at":"2026-05-16T07:30:44.113607Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15242","last_updated":"2025-05-22T06:10:20Z","snapshot_observed_at":"2026-08-07T15:19:11.447714Z","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","version":2},"cited_work":{"arxiv_id":"2505.15242","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15242","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0594d456-9004-45ed-9fcc-4e36a75755b7","year":2025},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"cited_paper":"/paper/2505.15242","citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:12b63e2c89c6958383fac7ff78f2005553b0705558ba987b91cb339ed53988ca","observation_id":"81a05a42-b3db-4e4b-ae01-83287cdf5d58","resolution":{"observed_at":"2026-05-16T07:30:44.336240Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8535.355978","doi":"10.1145/3558535.3559780","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, and William J","venue":null,"work_id":"d783f0f0-43d3-4a71-9e5d-6a8fecdc9de0","year":2022},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:bfa684157cfb6d32242feb5fa01eb2e4f34a0b719bcddb91607e9536ddecc893","observation_id":"e2d844ca-5069-4adb-af92-abdba9dc5422","resolution":{"observed_at":"2026-05-16T07:30:44.097294Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-05-21T23:22:32.356052+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T23:22:32.356052+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"John Wiley & Sons (2020)","venue":null,"work_id":"d1e89d9b-6849-4fcb-ad5c-e5efcc913fc6","year":2020},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:7262077828e5bf52344d3ff78a59bb810fb7b9135be7bd93a9514bcff6692849","observation_id":"6859e0d2-f2c4-48e4-88a0-00484d013f97","resolution":{"observed_at":"2026-05-16T07:30:45.029769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06-05T21:23:00.469572Z","title":"John Wiley & Sons, Inc., USA (2001) Multi-Agent Coordination for Smart Contract Auditing 19","venue":null,"work_id":"54193cae-82f5-4c05-9d12-b5366d361187","year":2001},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:00869667b1bace071ee64ca8e6d30598caa5f2352c582923eeecfacebd7ba264","observation_id":"78932bed-d19c-46f4-971b-67b1de678d0b","resolution":{"observed_at":"2026-05-16T07:30:45.049078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3402450","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Trans","venue":"ACM Transactions on Software Engineering and Methodology","work_id":"65e98292-e0fb-47bc-8dbb-1e7ac1c4d6cc","year":2020},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:7021fe4e355d8205f76474a09fcf36178937e5be7aa47c03ea6ae4f376094c74","observation_id":"4cac055f-8b5b-44ea-8854-dc7b46aa4d6b","resolution":{"observed_at":"2026-05-16T07:30:44.157280Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.57019/jmv.1489060","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Journal of Metaverse4(2), 126–137 (2024)","venue":"Journal of Metaverse","work_id":"864f32cf-9913-4156-9166-04938097ded8","year":2024},"citing_paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-16T07:28:33.568974Z"},"links":{"citing_paper":"/paper/2602.04418"},"observation_digest":"sha256:315bd8f8e9fdd1ae7c50d2816373c956405cb830e196576f10c2371396737eb5","observation_id":"8fa4de18-93f8-4771-b069-a8d9824dc6fb","resolution":{"observed_at":"2026-05-16T07:30:44.160710Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2602.04418","last_updated":"2026-04-10T04:50:24Z","latest_version":3,"primary_category":"cs.MA","snapshot_observed_at":"2026-08-02T18:52:23.037442Z","submitted_at":"2026-02-04T10:51:19Z","title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":2,"metadata_mismatch":7,"parse_uncertain":0,"unresolved":0,"verified_exact":11,"verified_fuzzy":10},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2602.04418."}