{"as_of":"2026-08-09T20:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:df7ada8f57cb06c43589528585632ec4808a08d903ee130f044e022be47c11f3","coverage":[{"denominator":85,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":85,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T06:28:18.203225Z","state":"measured"},{"denominator":85,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":85,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2605.29910/citation-record","integrity":"/paper/2605.29910/integrity","json":"/paper/2605.29910/citation-record.json","paper":"/paper/2605.29910"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":"2505.09388","doi":"10.1016/j.aiopen.2022.12","metadata_source":"pith","pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen3 Technical Report","venue":"cs.CL","work_id":"25a4e30c-1232-48e7-9925-02fa12ba7c9e","year":2025},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:9ffa699edbee9b9e7a1bff6c113778f83ba12416bd7a28385e26da61c84ba5ec","observation_id":"4310cd69-9f2a-4b81-a361-2d0484ffee06","resolution":{"observed_at":"2026-06-29T06:33:12.199585Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.03428","last_updated":"2024-01-07T09:08:24Z","snapshot_observed_at":"2026-07-06T17:12:26.471069Z","submitted_at":"2024-01-07T09:08:24Z","title":"Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospects","version":1},"cited_work":{"arxiv_id":"2401.03428","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2401.03428","snapshot_observed_at":"2026-06-29T19:43:54.927353Z","title":"Exploring large language model based intelligent agents: Definitions, methods, and prospects","venue":null,"work_id":"792c785c-579a-4264-af27-48c611218752","year":2018},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"cited_paper":"/paper/2401.03428","citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:0496d4e9626c44bc72d2afdc051ce6d107a87c932ef1901cc86e6155c15b700f","observation_id":"2e3976fa-b908-49d5-9b45-818644cae50b","resolution":{"observed_at":"2026-06-29T06:33:12.197292Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-29T06:28:18.203225Z","title":"org/CorpusID:269262064","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:85d10eabd788201c72def7bfa7a0586ee3f19130f9161164d2cda56857a95102","observation_id":"1ffc31db-a307-4e87-8cf0-a08b73ff51e0","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2501.12948","doi":"10.1016/j.artmed.2024.103001","metadata_source":"pith","pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","venue":"cs.CL","work_id":"e6b75ad5-2877-4168-97c8-710407094d20","year":2025},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:9408a78df6020d56584a81e083d56ed642cc023b08d4449d4a216882fac3bc53","observation_id":"26ab6187-80f0-49ea-9385-c96efb19465a","resolution":{"observed_at":"2026-06-29T06:33:12.194962Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.08155","last_updated":"2020-09-18T15:38:12Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-02-19T13:09:07Z","title":"CodeBERT: A Pre-Trained Model for Programming and Natural Languages","version":4},"cited_work":{"arxiv_id":"2002.08155","doi":"10.48550/arxiv.2002.08155","metadata_source":"pith","pith_arxiv_id":"2002.08155","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CodeBERT: A Pre-Trained Model for Programming and Natural Languages","venue":"cs.CL","work_id":"abd850e7-0a69-416d-b504-be33a55a8399","year":2020},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"cited_paper":"/paper/2002.08155","citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c096ce72bb43fae5255d2bc235536063f2f7ce1480fabc71fed22dd44559a01a","observation_id":"ae0f27fc-6e2f-46bc-a131-c0cb16732c71","resolution":{"observed_at":"2026-06-29T06:33:12.192687Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-29T06:28:18.203225Z","title":"org/CorpusID:273877854","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:365eee36ba831f6b310bc916dc8901bf1f07e02acf35417574629beb64a1876d","observation_id":"737a68dd-ada0-4e71-9128-916c40f6ca03","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"org/CorpusID:267412980","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:975496c284486a73f5f14ff3ea318d3f283a60e688d916fcf71e606b02cfd518","observation_id":"e0ac4244-4818-4723-a488-b7522ad8538b","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","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":"2507.22659","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:33:12.187536Z","title":"org/CorpusID:279071173","venue":null,"work_id":"7fc89b51-452b-4db6-bc98-dd7d421a06c5","year":2010},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:32735ecd287e7090827a04a54ba0473cab27faf763b4891aac7048c434039050","observation_id":"95ded562-176e-4518-9a05-094795fe5802","resolution":{"observed_at":"2026-06-29T06:33:12.188802Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-29T06:28:18.203225Z","title":"org/CorpusID:246426909","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:ff13237bdfffe44b838f7d27924acdc72fdc45ab9e7e3a663fc4cc4ad661b2fc","observation_id":"ca2c51bd-268f-491f-9b52-e2d5884eaf14","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"org/CorpusID:270257715","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:770a4cd5d80da6b9715a4e57886d8c0d57907bfbe18774110096b9707f95f317","observation_id":"b9897c97-72cb-4c08-a8df-1fb044b181af","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"org/CorpusID:258959321","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:ff1059f29dfdd4df22e282f6c2d418c9253a954e0b9262c40e5286fc59192afe","observation_id":"18e04bab-b5fd-48b6-b2b5-6014b9736388","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"org/CorpusID:276258857","venue":null,"work_id":null,"year":2048},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:df9d5259fab383ab082aa4ec568f2a1d5ec090fa846afeb70a7a1652ee8df22b","observation_id":"4a32c792-cb27-4e2e-914e-4b3d486d02f7","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"org/CorpusID:260682978","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:bb278b6f32ac8586f213838833faf71935b04462053a7a1c9f9bfa2eb189b080","observation_id":"6bd5b45a-bd21-4e59-94a5-d0b8d36897db","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Since VerifyQuorumCert(highQC) fails, the entire proposal is rejected","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:983263d86cec32b71383a917b1c6b4b0660be23b59dd205db0a8e23bb6a634c0","observation_id":"73ad1e92-0f05-453e-a60e-29288678059d","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"There is no ”half-dead” or Byzantine behavior","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:448d0134fdfd117141c36738b65924c81df20603387b60eb856b4c14f6c5060e","observation_id":"37205b55-af4a-4b5a-8cfb-6068c780a107","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Note:Testing for CFT protocols should exhaustively simulate unstable infrastructure and edge-case logic rather than adversarial intent","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:688032d20e3fa0b4f4082414001c91e4f69e70e9f437f6c2557bf3f77df8b9f3","observation_id":"dd8cbd07-9d7b-4913-a70c-fe186acab4e3","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"2.Protocol Collapse: •Recovery Failure:Doubtful instances remain unresolved, leading to a permanent Liveness hang","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:21a3c576b149570b431c89123415464e8028ce8145fd2a9a901dd62b4ede4955","observation_id":"5c2bb9dc-e556-48e2-9025-b20a18d34040","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"A target honest node has bLock = Genesis","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:09f4d2fb44874d78009f00dc6af0981b3cf208368a630a3093a2dff3503f5654","observation_id":"ad4c7ac3-c4dd-4e16-8d64-60edbf5820f4","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Since QCB1.V iew(1)> bLock.V iew(0) , the node votes, formingQC ′ 4","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c398c3246616eade1f5980b04ae6d0f2a2415a36fe69193f8ab0bdb4fe4af53a","observation_id":"aaf57462-54ce-439e-a8db-02a82fb9ecdf","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:09dea95bd15b59ffb889a8edbf8ba06239e93fae876859bd616a12264bd1a24e","observation_id":"2642e99f-a5af-4ba1-bb74-57ca98197bf4","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:edbd9b4b5606fc88eeecc63c436927aeedcea6916a9453319dfd81365c6d216d","observation_id":"fec49733-774f-4fe5-9077-55afb51befe7","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Conse- quently,B ′ 4 is committed, bypassing the correctB 2 →B 3 sequence","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:4bbffe3fa91e7cc58969cfdedabc546f560d7844233cf68799890447a6f4924e","observation_id":"d5c419d3-0fe2-48eb-ac03-89bc80fb28de","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"R0 and R1 accept it with deps={}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:96d1e73895b4cfed45d34a03f871f3b953d0286d20ad6ceb45f8e8ef7b5e4d57","observation_id":"57025d11-a427-42ba-92c8-cad1f98bd6dc","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"R2 and R1 accept Cmd B","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:d3aea6fd3564ebe0f70cc867642280c5a45582c8cee23f226118dc55e9501fb1","observation_id":"61a21d75-f1d4-41d0-b60b-77b67fb9f696","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Failing to observe a Fast Quorum, it executes startPhase1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:e9f7f435e10e26f493912b7e2e003d948a1aaa641492a5909a80090ca9223e16","observation_id":"ddaa546a-c3c3-4cd8-bd37-427fed0263d6","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"However, the failed leaderR 0 has already executedAwith deps={}","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:16e90fa5f5514ecc8f0a51532927fac50b22f296c5183e71af6c65e2ce0f8a0d","observation_id":"431d3eab-7d7c-4e4d-8b20-9cea2368e83b","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:ca9f02ddd9ae9d5cbc291c47f91163435870dfd68329f11ffc2c9b5f50a89343","observation_id":"06b176a5-85f9-476e-a849-303870add336","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":") that competes with the legitimate history, potentially leading to a massive state roll-back if the fork gains quorum","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:1d506f1740bd9791632a25bcdb31e853c274e8a519ccc66fd1e088acb979885f","observation_id":"3ef55b78-b4aa-4977-ae4f-4083fb4ee6cd","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"The Liveness condition passes, and the honest node mistakenly votes for a fork that ignoresB 3","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:2a229362e4354b9880f33204086fb2ec06c75a65fa864136e7186f9a5248a64b","observation_id":"cbc52572-39e9-40d2-a33a-3fea5d5b2594","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Nodes R0, R1, R2 accept it (Fast Quorum)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:4aa9bdac8dd93ecc1204cf949fd088400173afbe40395f3f1622cf9df083121b","observation_id":"d457c8a3-4a92-48f8-8c91-e9416478261b","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"R3 incorrectly concludes the instance was never used and proposesNO-OP","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:d34ce67c146f1277e1cc552ecf5b177e25f10b5ef404f0375bfc73dd9f08941a","observation_id":"e6098a43-07ed-48ee-b4b2-c63b46aa6174","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"When the partition heals, R2 has already executed Cmd A, causing a permanent state divergence","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:7c118921bce15299738ab121dffc75181843364116a277c54536e1fbbc7b5cb0","observation_id":"98ad25b1-1475-4a5b-84ff-ccd4c71aec88","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"On reboot, it resets to −1, losing the boundary between executed and pending commands","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:974292fd7c9fb438386ed58079148de948d5923c94a38d88caa44a5497af2b4b","observation_id":"7efc86d8-f87f-4dde-8c31-c725c349c2a3","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:e35ce15824fe7417fa709739b3c54dce9aa9cae431740f6cb71f0884185000ec","observation_id":"6d56c7ba-74a1-40f4-b095-24e517de3ccc","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Attack Scenario (Double Execution)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:6a7cd20f7a63110d16de0105ca467d69778ce587b41b15072dbbcbd4f435ffe6","observation_id":"2edc450c-67a7-4169-889d-8fd05f1e9f8c","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"State x= 2 , ExecedUpTo[0] = 1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:026df4ef37102841e44fc1789565f090ede18c74b97c575d9c645fa643c0fa63","observation_id":"9389c681-44e7-4a7e-92ca-6b5d1c1027fa","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:9f81ad781be0a51d350f06fe1650662d3421faa239c821fa21d8611c879bdfb4","observation_id":"ed494601-0221-46bf-a74d-b99abd7a5126","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"5.Divergence:Final statex= 4, while non-crashing replicas remain atx= 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:cb3f4dd40f294e68be8b1401d21ea02039cd8777680a89b673243741a6f4cba4","observation_id":"05b55838-aeea-407e-9da0-11279768467e","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Cmd B is executed before Cmd A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:f861bb27aff5dae5ff4dc923450cb00e03db31d3c5ce193c1bb7d6c33f85e4a4","observation_id":"663b5389-7172-4566-af03-a02744b776fd","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"4.Replay:The attacker sends thisfakeQCto an honest node","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:a544a5eb85d6660720e1092d14f8db3fb7c3f41b5ed85f072854a39984b4fee7","observation_id":"7bceb925-b88f-46f3-b88a-07f29795f9f4","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"QC view mismatch","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c3845221669b8b7fbbf71a9f007851bd86c21b956fcf4dc1a6419b70c35cd1e0","observation_id":"0b91296f-9c23-474b-bbd6-2a698cd647c9","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Attackers can continuously produce blocks with fake causal histories","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:b0350634be46f9c5014f652dc0d0d3bfeb8e1ff50f746bcae86d16c2f193a6a1","observation_id":"4143eeac-accc-485f-98c5-55d4671d8be1","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Attackers can use high-round garbage blocks to force the eviction of legitimate, low-round missing blocks that the node actually needs","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:4ccb11a4692bb2f178258d5ca67e5d11ba70831c85096373d05ebca8267a2bde","observation_id":"281988f3-8221-4816-ba8d-b3d18b5048b1","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:e460426121d5bb7f3c76c3d1db0efecab839058ef22641071d67ffebebd5a617","observation_id":"ab74df9c-27f1-489d-ad72-62f2087d3a74","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:01ec248ae2ccdaabd69566f58e61d985cdf5dd5f5fc8eb2bb68381f0e9ce024c","observation_id":"51ed3666-20ca-46ac-9106-fdd18279bafc","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:b444212b5d5115c87d6bf14731bd65eb45d42a2585a6163ca7a276ee073b77f4","observation_id":"1909436f-a29f-4ee7-81cb-04abbd55d045","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Impact & Security Analysis •Vulnerability Type: CWE-770: Allocation of Resources Without Limits","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:3eb19f22515f928893b35c0924248a47000076440f71bd1047bdc91f0320f3d8","observation_id":"c743f9df-e70e-4ebc-8f7f-e9491390e7dc","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c069ff20dc322af78afc71b4b7920f2279d47dc64c61662181820fe55f5b0409","observation_id":"5eb17a6e-fa05-4b3a-9715-5ae7be7bd262","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:fda1a7e8427c11066ea4fedcb22f6fd778d79667898496e5f1144730600a451e","observation_id":"4e3cd635-a78a-4b0c-9d20-05d37b42ae86","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:42d784f2e9e45823c66ba5d9feef531107a833175eafce9172c3fc0f8e01f9c1","observation_id":"820ab432-fb63-4684-a168-885a28075b92","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Focus on providing insights that help developers understand and fix the vulnerabilities","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:ef3a2941e298b21b0cd6c026ccf3b89e4b469b7cfa6367985bec9bc1236486e2","observation_id":"1bda2c15-71f8-41d0-8907-83018b6bd0cb","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:a5d6f3865c945dda68cf12a0494cac2dde201691f2c3e7485fb70d3a9ec75e6b","observation_id":"fab583ef-4a24-425c-92da-e8a83b5607d1","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:7937fe84cf5829ffa4c7ebcccdfb441b4d90ce05e197f4c50162d29641b1cdab","observation_id":"b77f91f3-2ed6-443f-9d1b-ba10d4c9b9be","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:be8b73a2a89e099ec96d4c507d64c04c15df8d7e6b88040de4bdc4460b8b60e7","observation_id":"014ea372-a6d8-4e32-b4a9-1e2116a9a7fb","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:624519c03156e992a4af0ff7c310cec47a2c142e88eddc5ed07f1f3f55ac5531","observation_id":"d98091f9-a573-4938-b113-0ea4aa273ca3","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:034bbe50b39ee48d25680c9e4f2213b2620536d1453c959646b8ede0bea98ebc","observation_id":"137bb2dd-db0f-4019-9607-1f3011fbbd69","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:64982979535e98007a01d1f4adc534a53ef79e492eac6b810e6fb9a7b32fa0b2","observation_id":"6d7ab730-3013-40a9-82f9-08cfc7b57286","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:15c3a586cbd1ba0820ab9fd7f89848e9cb00df758e64fc967cb8b234c29d8efe","observation_id":"439e86b3-2d83-4f60-9790-94748b426ed4","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:2a60f73d46841e3a4fb5c25a0e18a7a667b6c05bcdafc381ff077947330ec041","observation_id":"8ba9b161-8739-4926-bd53-98a999bb9ffb","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"CrashInducedLockAmnesiaLeadingToConflictingCommits","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:78da6418e499a13abc6122e30d0f1648bf943af45a14bdf30573cf8dad714f69","observation_id":"396dd298-7f5d-455e-8d87-82e11c32b8b7","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:2a91ac051b47ed6b8d9e5ffec5f4b58164d47e9c4a152089b6d58c094a9d7868","observation_id":"57d40964-6051-4175-8fcd-d3187b79e715","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:1734dfb9ffb05b02112c2bc4a469fb2639b851da3c51020af46b4910e9254f60","observation_id":"615dc6b2-32e3-4510-bb19-7cadd38f6599","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c5e544e3659f7fe506a7d391b3d387302e1b3823cc79b96e4aed7bc9c83209a8","observation_id":"9495b3fc-942e-4e8f-a555-e47ba4164ce2","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"Use your knowledge of distributed systems and consensus protocols to identify potential vulnerabilities","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:4b624b199d5dc3080ea873a4de83e7baa923d99490f1394e01aeae893caea765","observation_id":"b3faceb7-67d9-46c2-9c22-3931d5a26165","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:eabc2b91f60a10f5acec2181471dfdaba00eb68a151ed604b8555fb47cce1393","observation_id":"9ee4c25d-507b-4333-9ac6-9d121155d9e3","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:09c4cf05b71d3903d676f5ce825da7f7613ee9a191576230bb1c4d75b18f31ee","observation_id":"7f6326e2-cf63-44b9-905c-8a5303753070","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:5b42120dcd961d9bcd45483808e62e1fc6845e4366cc8c3c91a270967cf67464","observation_id":"3b6d57a6-fc79-433a-a8fb-c49561ca54fd","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"This reveals an assumption that","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:d47d3c3a6ac8c12b3194b805815c12a88525afc148aa3569be259d8ba1bd37a8","observation_id":"3f752a3f-a3f2-407e-b729-f62d203491b7","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:723f7bf486bdd4a85558546879ce4a2c1dde4854382e8702b48ae01b3b0e1deb","observation_id":"784aeee6-f8ec-4f1e-8b9a-e923fac5245b","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:3cd7f9f4e1c24d097ad07e810cafb1c25516275fa0a471c25f32fa45c753c2c7","observation_id":"57986646-c5a2-40d5-be07-62941f17376f","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:e65876a9e3c8e7c579ce32a9d468e563aa2a0fae8ac6ba8bf905b7f459e47a44","observation_id":"d6d871e6-3858-4fe0-8587-208e3f6ba024","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"TestGen Prompt TestGen Agent System: You are a test code generation expert, skilled at transforming attack scenarios into executable test code","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:d60ed5a756828d17cf022eed85523efaca5cba1641fe0a24d4dea8c5f20e46df","observation_id":"30f59967-d660-40a4-a112-854279076f86","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:1ca3119e057d4b6949f7b95ec6d5a0a869af985c642ed0c8949cba78535c9a12","observation_id":"0b2634ae-4010-42f8-a5e1-2fc777915f93","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:496cee5b40c39073a0a23a647ba2ccc7ec6ede56c06842e7c8f4697fb19dc740","observation_id":"adf403f5-b77f-4e5f-bf7f-b500400b81aa","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"\", usage_example=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:f8811186a8bdebc2725922fcda189100bd0ebb6b5c91dd087b03c0d2d72273a1","observation_id":"f70557c8-8500-475a-b42b-9348678fdb25","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:cc8d410ea2955acd31f6fc8ec0066556dd4e298e161f06e44676157093480bc8","observation_id":"d2d063fd-3920-4e16-a29d-5ebe33644b0d","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:98e6b9afd99177c6468743a1c1550c4ec73b012922a29bda1b73b8802b66e565","observation_id":"6b9a93d0-24c4-4b1e-91c4-a5ee3de20d24","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:c5d547e688f7fe75c57493ba4a9ce4ce7d15199f7ebad0bf8049c3953213971a","observation_id":"fea8d7d8-d4b0-443c-8f15-f1e51eb9ac05","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"What went wrong (be specific)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:7622550fdd57ac99e456ace20d363cbe7a960107b8ac26bc44953703d0605087","observation_id":"9edc7eb3-79f3-4f8f-a3d1-a67e65cf8b08","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:332d2b60bd4c975b523ed674bef3f9947858ac42dca6de02db700a978529911b","observation_id":"8e42178c-a865-467e-a660-31c39a09759a","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:2c87b2c1505bf751a5c2b93c80f56852782f2f39d4e7638cef5f3b0f82d7925d","observation_id":"669af649-04b3-4fea-b2cb-7508647c6eb4","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:1fb2122ddabb25d8adefdfd07ee21dac5a4a79035d9629386a53e1182295821a","observation_id":"e353431b-dad7-4076-8ff0-19ce841b9396","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:7e230799773142474888011a29a540ead2077d7f56f4963bcb2d32a5ff7e139e","observation_id":"00f11aa8-3c81-4cbb-ae14-c3b1654873e7","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:194657fe8748f7383b2b3fb7b2fcfebbb8d926c0516215351df668c3c1bdd4ac","observation_id":"13cce04d-fedd-4942-9e14-219c1c72365c","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-29T06:28:18.203225Z","title":"testing\"","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-06-29T06:28:18.203225Z"},"links":{"citing_paper":"/paper/2605.29910"},"observation_digest":"sha256:624f6db4c64da32b254a82ce7f7de21dd800c702a8d65d91e69556bd4a5cb81e","observation_id":"6adf97d1-20f9-459c-b2ba-9ce06c6ac5bd","resolution":{"observed_at":"2026-06-29T06:28:18.203225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2605.29910","last_updated":"2026-05-28T13:27:47Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T23:39:15.620929Z","submitted_at":"2026-05-28T13:27:47Z","title":"Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents"},"reference_resolution":{"displayed":85,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":2,"unresolved":78,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":85},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 85 of 85 outbound references and 0 inbound Pith citation observations for arXiv:2605.29910."}