{"as_of":"2026-08-08T00:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8796b06aa5d0811234445bf98626751b43f1dfe020115ac0aca915da0b2628ec","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T03:52:00.453798Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:44:30.391209Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.06934","snapshot_observed_at":"2026-08-02T07:44:30.391209Z","title":"Implementing grassroots logic programs with multiagent transition systems and ai (full version)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14138","last_updated":"2026-07-10T14:43:30Z","snapshot_observed_at":"2026-08-06T14:19:15.363607Z","submitted_at":"2026-07-10T14:43:30Z","title":"Volition Elicitation: Operational Semantics for People and Their Machines","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T07:44:30.391209Z"},"links":{"cited_paper":"/paper/2602.06934","citing_paper":"/paper/2607.14138"},"observation_digest":"sha256:95be7080f287c6d521f9e4e5ffdd90b082c320102267df9f654e09de6cb1d05f","observation_id":"4feace20-db50-491c-854b-57e5f80047d4","resolution":{"observed_at":"2026-08-02T07:44:30.391209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.06934","snapshot_observed_at":"2026-08-01T08:19:39.176591Z","title":"arXiv:2602.06934","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21189","last_updated":"2026-07-23T11:16:12Z","snapshot_observed_at":"2026-08-07T06:39:55.154979Z","submitted_at":"2026-07-23T11:16:12Z","title":"GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T08:19:39.176591Z"},"links":{"cited_paper":"/paper/2602.06934","citing_paper":"/paper/2607.21189"},"observation_digest":"sha256:277dc998d45206faae9a91f09d3da3109e9bcbe2b474cfad35a5158196679932","observation_id":"735c7cf7-63d3-4dc5-90d9-e37433282d39","resolution":{"observed_at":"2026-08-01T08:19:39.176591Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2602.06934/citation-record","integrity":"/paper/2602.06934/integrity","json":"/paper/2602.06934/citation-record.json","paper":"/paper/2602.06934"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2402.08068","last_updated":"2025-01-22T09:44:24Z","snapshot_observed_at":"2026-07-06T17:29:13.310354Z","submitted_at":"2024-02-12T21:27:32Z","title":"The Blocklace: A Byzantine-repelling and Universal Conflict-free Replicated Data Type","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.08068","snapshot_observed_at":"2026-08-03T03:52:00.378123Z","title":"The existence of refinement mappings.Theoretical Computer Science, 82(2):253–284, 1991.doi:10.1016/0304-3975(91)90224-P","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.378123Z"},"links":{"cited_paper":"/paper/2402.08068","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:d57cafa7a857e0a8cbd0b68f5a98ffb86e83d2071c5bf6f8024b807c29a4cc1b","observation_id":"1d1a561e-db95-4eda-99e1-3f0110f0f285","resolution":{"observed_at":"2026-08-03T03:52:00.378123Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.392877Z","title":"15Google","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.392877Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:a1d39282d9512f343f09d3060daaa42c4657b85659e7fa26b62298f265681305","observation_id":"a7715ab9-62e7-4d51-8b29-c9a25e47c8c8","resolution":{"observed_at":"2026-08-03T03:52:00.392877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.428507Z","title":"45 Ehud Shapiro","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.428507Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:c1afca3c08cc029af8a697ad8da207d5a35f355a48d70313811ddb97fe853ca8","observation_id":"942aca01-962f-4dae-9b4b-ecf33f03fde5","resolution":{"observed_at":"2026-08-03T03:52:00.428507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.15747","last_updated":"2026-07-02T20:41:11Z","snapshot_observed_at":"2026-08-04T09:24:49.755541Z","submitted_at":"2025-10-17T15:34:27Z","title":"GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version)","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.15747","snapshot_observed_at":"2026-08-03T03:52:00.432005Z","title":"Glp: A grassroots, multiagent, concurrent, logic programming language.arXiv preprint arXiv:2510.15747,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.432005Z"},"links":{"cited_paper":"/paper/2510.15747","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:ce87b6b29abf885bdef9f10917898c0453497987276dde6e4c1e7847c0934dff","observation_id":"1a2ccbb4-e046-4f8d-89a1-54699568f051","resolution":{"observed_at":"2026-08-03T03:52:00.432005Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02208","last_updated":"2026-05-14T15:56:05Z","snapshot_observed_at":"2026-07-31T12:47:01.231135Z","submitted_at":"2025-05-04T18:06:56Z","title":"Grassroots Federation: Fair Democratic Governance at Scale","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02208","snapshot_observed_at":"2026-08-03T03:52:00.438787Z","title":"51 Ehud Shapiro and Nimrod Talmon","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.438787Z"},"links":{"cited_paper":"/paper/2505.02208","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:95cb4db121a9c35b6cbdd21c745952977488a5cb7f0c0bc6622d834eeba416e0","observation_id":"42de723d-27cc-4704-9f57-1b1d8ce5efc2","resolution":{"observed_at":"2026-08-03T03:52:00.438787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.442380Z","title":"Conflict-free replicated data types","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.442380Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:d8858d2a2718933535a9809499cce71119bd8270b87c2e7499cdd98db4075b13","observation_id":"62e0a1df-8c90-4193-8a75-d6cd535279cf","resolution":{"observed_at":"2026-08-03T03:52:00.442380Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.448129Z","title":"Resource-passing concurrent programming.Proceedings of TACS 2001, pages 95–126,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.448129Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:b7a0543ed688576f97d2da3826887d8472471c53fa528563db1c52a5b0c3a3a1","observation_id":"a6e3e696-5526-4d57-8a67-0b31d4e53207","resolution":{"observed_at":"2026-08-03T03:52:00.448129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.450837Z","title":"A taste of linear logic.Mathematical Structures in Computer Science, 3(4):367– 392, 1993.doi:10.1017/S0960129500000268","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.450837Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:51d46d5d2b26409da4fbb7d69b2b8f538703978d03800debe5551924bf38eedf","observation_id":"4e729c27-4002-4776-85fa-cdb2af3fba51","resolution":{"observed_at":"2026-08-03T03:52:00.450837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.453798Z","title":"60 Philip Wadler","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.453798Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:5ee3afc3c471ea7465a7eb12d8273eac474d82961a455f98aabed1185a4c2e3c","observation_id":"c08b0441-072d-4847-9e3a-b51ef34daa0b","resolution":{"observed_at":"2026-08-03T03:52:00.453798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.13191","last_updated":"2023-09-22T21:39:09Z","snapshot_observed_at":"2026-07-06T16:22:38.571547Z","submitted_at":"2023-09-22T21:39:09Z","title":"Grassroots Flash: A Payment System for Grassroots Cryptocurrencies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.13191","snapshot_observed_at":"2026-08-03T03:52:00.399464Z","title":"Grassroots flash: A payment system for grassroots cryptocurrencies.arXiv preprint arXiv:2309.13191,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.399464Z"},"links":{"cited_paper":"/paper/2309.13191","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:d531bb20a7e48eb6d5a054da2f09642131bcea7947ff577c2211e578eb08a34e","observation_id":"68c96b14-fe38-460a-96a3-625e8dc44ba0","resolution":{"observed_at":"2026-08-03T03:52:00.399464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.385874Z","title":"Statically contextualizing large language models with typed holes","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.385874Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:aa40b2e88ef463a252b305b87c558332dea2fa1e30581859e3d15a3ebf3267e0","observation_id":"b5f75cac-be6c-4fd1-9720-146bc9d026e3","resolution":{"observed_at":"2026-08-03T03:52:00.385874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.13650","last_updated":"2023-02-20T06:34:54Z","snapshot_observed_at":"2026-08-05T01:08:34.184120Z","submitted_at":"2021-12-27T13:19:26Z","title":"Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks","version":17},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.13650","snapshot_observed_at":"2026-08-03T03:52:00.421625Z","title":"Multiagent transition systems: Protocol-stack mathematics for distributed computing.arXiv preprint arXiv:2112.13650,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1989,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.421625Z"},"links":{"cited_paper":"/paper/2112.13650","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:2dc0ae23a21094ce3c1401ec6751809f425acb0ef42eac0fd3fa6e8c965e50c7","observation_id":"71f5a363-ec92-4274-999e-902870d11d58","resolution":{"observed_at":"2026-08-03T03:52:00.421625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.418596Z","title":"40 Ehud Shapiro","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1991,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.418596Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:7a33bcf9a793047fd625a878f7dbed97f8fff6a550d6d6a03de6515ad15916ed","observation_id":"caad2572-1ab9-4bac-9765-35759692a9b6","resolution":{"observed_at":"2026-08-03T03:52:00.418596Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.406154Z","title":"Lynch and Mark R","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.406154Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:66e0fa144091435c15e63fe4ee8c80f28316725c0f7da1c7c96ebf8bbba66031","observation_id":"c6d4178e-2c08-4c94-8fad-93811c3427d3","resolution":{"observed_at":"2026-08-03T03:52:00.406154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.409093Z","title":"31 NancyA.LynchandFritsW.Vaandrager","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.409093Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:3fd85a63ae4f47c8eb15ae31821766d06b873016bbfaf8977b89704cdc181acb","observation_id":"55ba1436-fa70-451f-8790-cc75fc342a40","resolution":{"observed_at":"2026-08-03T03:52:00.409093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.382388Z","title":"4 Henry G","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.382388Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:b20bf1172e210c3f87340d7decac809aa11ecfd18233e87d40d5b6b6107700ac","observation_id":"99ed5c97-cbf2-433a-9325-111fcbfb5c7d","resolution":{"observed_at":"2026-08-03T03:52:00.382388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.445148Z","title":"Higher-order processes, functions, and sessions: A monadic integration","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.445148Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:f68a85c2e01bc1322e81dcf9bd286e986cfb41ea9c7b6a15abed775a696961fc","observation_id":"a96c8ace-f3e1-471b-82c4-e43597fdfbb2","resolution":{"observed_at":"2026-08-03T03:52:00.445148Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.415447Z","title":"37 Klaas Pruiksma and Frank Pfenning","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.415447Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:4c1b264b7a3ca64f8ffee1d40a87620d80f5f3236ab7ec06d87ca686cf9aace9","observation_id":"b9b7d83a-545f-4317-b505-10e1cde339c8","resolution":{"observed_at":"2026-08-03T03:52:00.415447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.389473Z","title":"10 Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.389473Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:28429d4b26fdb6b2c47a1e1ee2f6b2c11fbbf14f8e273dbd4c8435814c701cdc","observation_id":"1fdbafdf-28fa-4028-819f-d987995a74d4","resolution":{"observed_at":"2026-08-03T03:52:00.389473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.425296Z","title":"Grassroots distributed systems: Concept, examples, implementation and applications (brief announcement)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.425296Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:c298b0fc6e19063cb46f0b5a3fc3029eefaa88967b09381f3444732fe1e0fe83","observation_id":"bbe607ae-4ffa-48e0-bc15-d8121e15a34f","resolution":{"observed_at":"2026-08-03T03:52:00.425296Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.402839Z","title":"Practical type inference based on success typings","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.402839Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:f36b39d1355dd59f5e8027080970560f0abb8365983ac728450c9ecc2b6eb64d","observation_id":"d6b4eb19-492a-47c0-930d-28d342d80006","resolution":{"observed_at":"2026-08-03T03:52:00.402839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.396186Z","title":"Herlihy and Jeannette M","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.396186Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:e81b18bb46aaabc02488cc47d18691daffd77f4c4a9c086adbb2deab60780792","observation_id":"5a52495c-448e-4f4b-b3f1-1b4789c94897","resolution":{"observed_at":"2026-08-03T03:52:00.396186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.09246","last_updated":"2025-05-08T09:33:40Z","snapshot_observed_at":"2026-08-07T16:06:18.047837Z","submitted_at":"2025-04-12T15:03:00Z","title":"Type-Constrained Code Generation with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.09246","snapshot_observed_at":"2026-08-03T03:52:00.412022Z","title":"36 Rob Pike","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.412022Z"},"links":{"cited_paper":"/paper/2504.09246","citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:5bbedd2a11fc6f38fec8f9708730cec37d733ff77db6518576e54b439add234a","observation_id":"a016060f-7cda-4a9d-8972-f7f70030f5f2","resolution":{"observed_at":"2026-08-03T03:52:00.412022Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T03:52:00.435717Z","title":"doi: 10.1145/3772290.3772309","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)","version":6},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-03T03:52:00.435717Z"},"links":{"citing_paper":"/paper/2602.06934"},"observation_digest":"sha256:e7e8102613a98fe81071d3263886a54d7cc7ccb7299d08a51878ea9c09c357ee","observation_id":"6824b003-dd93-476f-af9e-55681c2a2112","resolution":{"observed_at":"2026-08-03T03:52:00.435717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.06934","last_updated":"2026-07-21T16:29:08Z","latest_version":6,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-03T03:51:58.391886Z","submitted_at":"2026-02-06T18:30:11Z","title":"Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":24},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 2 inbound Pith citation observations for arXiv:2602.06934."}