{"as_of":"2026-08-11T02:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fef6b738c14a31efd178eaa7f6708a5b812221903a9aee3fb09b0ffd70ab7faa","coverage":[{"denominator":51,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":51,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-20T22:02:23.717792Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-01T21:24:13.217417Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-01T21:56:15.836253Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"cited_work":{"arxiv_id":"2605.12981","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.12981","snapshot_observed_at":"2026-07-01T21:56:15.836253Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","venue":"cs.SE","work_id":"906b6416-e2bf-4957-b935-3655ea83e3f5","year":2026},"citing_paper":{"arxiv_id":"2606.01722","last_updated":"2026-06-01T05:37:59Z","snapshot_observed_at":"2026-08-09T04:44:36.627494Z","submitted_at":"2026-06-01T05:37:59Z","title":"Post-Deterministic Distributed Systems: A New Foundation for Trustworthy Autonomous Infrastructure","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T16:01:12.000397Z"},"links":{"cited_paper":"/paper/2605.12981","citing_paper":"/paper/2606.01722"},"observation_digest":"sha256:670703de0a41cce8040f7c895fef0d6d75bccbe77f2418e0d781e8338b4674e1","observation_id":"ab4e811e-6af2-47a4-98a7-50a5af94ae46","resolution":{"observed_at":"2026-07-01T21:56:15.837479Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.12981","snapshot_observed_at":"2026-08-01T21:24:13.217417Z","title":"Protocol-Driven Development: Governing generated software through invariants and continuous evidence.arXiv preprint arXiv:2605.12981, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16109","last_updated":"2026-07-17T16:43:00Z","snapshot_observed_at":"2026-08-10T04:16:09.084242Z","submitted_at":"2026-07-17T16:43:00Z","title":"The Honest Quorum Problem: Epistemic Byzantine Fault Tolerance for Agentic Infrastructure","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T21:24:13.217417Z"},"links":{"cited_paper":"/paper/2605.12981","citing_paper":"/paper/2607.16109"},"observation_digest":"sha256:da2d0cc686efa080f5b33c2f5f304ac33fe2a67b7800581234d45d5819a0cf5e","observation_id":"800ab37d-4f8f-484e-aeaa-3517275537a4","resolution":{"observed_at":"2026-08-01T21:24:13.217417Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.12981/citation-record","integrity":"/paper/2605.12981/integrity","json":"/paper/2605.12981/citation-record.json","paper":"/paper/2605.12981"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ff1f7b7a-a751-4157-8cc2-c4a9a4eb2774","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:ad3ff02735286cb78c97cc034f1014c5c684ae4f89d195489ef856e479ed07d8","observation_id":"823a6f6d-17db-4eaa-b0a2-ce6046ae035a","resolution":{"observed_at":"2026-05-20T22:03:48.363691Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"324848fd-18c5-4dce-90ad-69e8b395c898","year":1969},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:47fa33ba883f91e10d6bb0e28e5e6ac76c5665dccf365b277085ba077d3dd207","observation_id":"5fb5797b-8d43-4d92-9293-dd76d7620ba0","resolution":{"observed_at":"2026-05-20T22:03:48.383246Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Grumberg, Orna and Peled, Doron A","venue":null,"work_id":"a7e436fd-6499-49ce-a6f9-ec109e28489d","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:7c441291b1b264b5a3f3d455e95ca0f29cc78dfeec407c98642f98da3d81cc22","observation_id":"1a5cd3ef-af68-4241-b49b-4169754c5013","resolution":{"observed_at":"2026-05-20T22:03:48.379754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3ae6aa1f-1bf5-4a86-a14a-ee5fa8fa9451","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:b268c238fc75ec4b4507ca2e6d296f46920d49a5491517028e9415d37ae04b5b","observation_id":"fdbb446f-1f7c-4636-b599-14071a8c356f","resolution":{"observed_at":"2026-05-20T22:03:48.398433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ACM Transactions on Software Engineering and Methodology , volume =","venue":null,"work_id":"81ec8a5c-2e3c-4912-9452-50056b508eea","year":2002},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:bf85d495c4fac420ccb5efc5d2a650c637ee0dbb67cfd0deef19a6c12e45bb0e","observation_id":"3e3c4240-8b82-4483-9502-ce1da66c5d86","resolution":{"observed_at":"2026-05-20T22:03:48.386577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"03c993e8-50e4-4f53-90e0-ae6416e08658","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:5db85a7ccb5e4362396e565c192fd7e5313662f428fba77ac2906c86d6faf16a","observation_id":"2b5cf73a-86db-4582-ab95-33a442948cf1","resolution":{"observed_at":"2026-05-20T22:03:48.361264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming , pages =","venue":null,"work_id":"49ddde18-ce00-4297-ab0d-2903a46a59bd","year":2000},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:0b916b69f3584ff2622c26ab8bd3b3230ae1ae02d362676ce3733aa92933445d","observation_id":"149a6778-6454-4475-8d8a-d42b1ad54a70","resolution":{"observed_at":"2026-05-20T22:03:48.367909Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The Journal of Logic and Algebraic Programming , volume =","venue":null,"work_id":"902ff69b-abb2-4f21-a52d-dead09aa166c","year":2009},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:94221c6f2bfb06034509a8b7bdd4d82511092e5d416aec1f3e861371f562d5a1","observation_id":"80ba4a53-c188-4525-b44d-62e43be81689","resolution":{"observed_at":"2026-05-20T22:03:48.395284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"An Overview of the Runtime Verification Tool Java PathExplorer , journal =","venue":null,"work_id":"33bf7ff7-fdb2-46f8-b458-0138a11d496c","year":2004},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:71d3bbe40995d049bd52c02d525fd1ec2179f16a424a9277f0c210178fff3f4d","observation_id":"d7ed4284-c4ec-431b-8bb3-def88efc5bc2","resolution":{"observed_at":"2026-05-20T22:03:48.355459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2020 , doi =","venue":null,"work_id":"4e4f7451-6caf-4ec1-bffa-6778ab56e857","year":2020},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:98d4fbd58b99a7ef75f9bb0501f100017929518b329d4a65a2a42210ae2bf1c8","observation_id":"cf7097b9-c902-4a7a-9f15-102439e465f0","resolution":{"observed_at":"2026-05-20T22:03:48.402146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"71976329-03a2-448c-be45-11d003af46de","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:84a5cb9b32290834eb08463ed60cae746427593a70b9f8ee46b3dfcc3af3b389","observation_id":"3ae96829-b905-49bb-a904-9ea47a8abdf9","resolution":{"observed_at":"2026-05-20T22:03:48.383604Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"39c45104-20ba-41af-9100-c36f705dfb23","year":2020},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:ca52269d3b403ab4c0c0afc8c1eaf15237f60ff70e8f8f7eb1ed162284af85a0","observation_id":"2d2153c1-8f44-4b3c-824e-39650602d598","resolution":{"observed_at":"2026-05-20T22:03:48.376158Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6086611e-2177-4106-bdaf-70e59393541d","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:a89016c28cf6c196a417c3d93468e9736b4ffe6ba9f436425946035c57d04a53","observation_id":"d01adfdb-ee6b-45dc-9b54-e47ba3a86402","resolution":{"observed_at":"2026-05-20T22:03:48.372171Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2c0df53d-1408-455c-b7d0-0abd0ad44338","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:a9cad431bc7aad2887da4325b0a46d86b3752e08cddfe4baf8ea67d64b017926","observation_id":"53a1a404-6b80-4939-9fb5-99cda4350cd5","resolution":{"observed_at":"2026-05-20T22:03:48.390666Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"245d97dc-17db-455a-a0c3-95b5e8827a70","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:c7be539d5b50dd96d8d4194104416316d1b0cc1cd7f0d21a511a51478abc43be","observation_id":"bc4b6a21-e192-463f-bfff-7fd43381097c","resolution":{"observed_at":"2026-05-20T22:03:48.368644Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"28th USENIX Security Symposium , pages =","venue":null,"work_id":"d722b9b3-66a0-4aa3-b31e-fe0ce376e461","year":2019},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:193d7e80511d520f52f1efacf89b111e230bda0ca6cf28980c910f2d6659a005","observation_id":"ce12e2a3-b62c-47b5-a6f4-c2f916d72e40","resolution":{"observed_at":"2026-05-20T22:03:48.233377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6376f9a0-cb42-406d-92bb-4c2c87455f8b","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:cb8cfd66ad6008abba2a04f3550909137d73f1c956396d5245d854510af8e8ab","observation_id":"5a6d2f2d-e419-4a0b-941f-f2b96accddcd","resolution":{"observed_at":"2026-05-20T22:03:48.265738Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b0d942b2-2cbd-488b-b46e-9eadbce0f782","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:1ab39452b36c158491c8657842244a5a2dfc6c3f9045e3695d12505db39f4994","observation_id":"a4104d1f-f49b-49dc-9d0a-9f28ac536543","resolution":{"observed_at":"2026-05-20T22:03:48.261453Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Middleware 2013 , series =","venue":null,"work_id":"2850707a-da54-4a03-b9f8-31419398ca38","year":2013},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:72b2b52df8d2551fc0a7854c738a9984f8b976c4e30ab92db0745eeca381b823","observation_id":"1828ba48-faa4-4ad3-9780-a2e71cb7149b","resolution":{"observed_at":"2026-05-20T22:03:48.282397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2021 , eprint =","venue":null,"work_id":"8113fcda-bfc8-49c6-b113-bf4e76c15193","year":2021},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:1c4c769cfd8077b9fb4a9bc661ecd3418acef6f9a1be80a036cfd2170a601743","observation_id":"deaf4440-c0b2-4595-aaf6-d85172ff0c92","resolution":{"observed_at":"2026-05-20T22:03:48.248178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2023 , eprint =","venue":null,"work_id":"65c19a27-c5de-4a39-b0a0-baa44930a71a","year":2023},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:55bd87ace95b7e248e915235f78d5e20abf431739cf60d434e420c2d8e08b844","observation_id":"eefbef65-3c54-4b2f-b479-0fdcfc5b9caa","resolution":{"observed_at":"2026-05-20T22:03:48.261106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Yang, John and Wettig, Alexander and Yao, Shunyu and Pei, Kexin and Press, Ofir and Narasimhan, Karthik R","venue":null,"work_id":"0e41670e-6721-4ad0-98c0-c37376fc5b26","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:74283d7591d045e2b2bd3715b4a4f99accb41a822db5336181c3e52023894a20","observation_id":"6bdae90b-8c38-4fc4-ba95-d48f37f2b07a","resolution":{"observed_at":"2026-05-20T22:03:48.298686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Wettig, Alexander and Lieret, Kilian and Yao, Shunyu and Narasimhan, Karthik R","venue":null,"work_id":"004a0578-88eb-4ffb-ab93-26e0b3642ab4","year":2024},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:8eb21660bb5f37f849639c116a6e6a21673f6a3772a4c61c0a1754003013a3f7","observation_id":"3d6473e6-522c-4e0e-afaf-10370c4b4e48","resolution":{"observed_at":"2026-05-20T22:03:48.294801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2024 , howpublished =","venue":null,"work_id":"e76b7759-06ba-4825-9b84-d6cfed6bd35b","year":2024},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:800ea3ed5b3f88240cbb5567a9a9f09bee606bdc7d68cbe57ed003e863eadd9d","observation_id":"b5bd72ce-7cc5-46f1-853f-3e52b02ddc8f","resolution":{"observed_at":"2026-05-20T22:03:48.321023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2017 , howpublished =","venue":null,"work_id":"11c175bb-4b91-487b-b8dc-2e663044f9ee","year":2017},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:0105d6567474c2913d8bf099ec8359a726fb95d85189d1cf8dd50564041e8af2","observation_id":"26e7bb2f-b7d3-4875-85b3-f66f30ef87c0","resolution":{"observed_at":"2026-05-20T22:03:48.303962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2025 , howpublished =","venue":null,"work_id":"944234e4-b8d7-4a2e-917d-a9c1ccca1ccf","year":2025},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:8b0dc327e83f7107398f9862bf466a6a8b5168f58cdcc798505eab2d1f5c92c0","observation_id":"683486d3-b772-4ea2-a020-556b0fee6cde","resolution":{"observed_at":"2026-05-20T22:03:48.289720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2026 , note =","venue":null,"work_id":"6bcb58c9-64d3-4927-a089-9111f57172c3","year":2026},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:2a33c72240514e461f11aeb78df1a7a73e9095a29bfdd6e40feaeb3aed2278fb","observation_id":"912c33ca-bd4e-47a7-a6d0-2a6b0c796f9b","resolution":{"observed_at":"2026-05-20T22:03:48.337171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Felleisen, Matthias , title =","venue":null,"work_id":"345a6114-3081-4775-a0bf-efafc99a7e8d","year":1994},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:b3610caaebe5485ae065d684952ea53ef3c264895118b48138bf068fa6d3f0a5","observation_id":"2564e754-c4b4-496c-a16d-6f6e4f315634","resolution":{"observed_at":"2026-05-20T22:03:48.285849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation , pages =","venue":null,"work_id":"d740cb36-4f90-4e33-9294-5828d779fc17","year":1991},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:478d040e7317e08617f6a5a2f044558f8b7b698bf82d018a86f2080ec482fe4e","observation_id":"a83265c5-f3da-40ea-afcc-f01f9bdbc926","resolution":{"observed_at":"2026-05-20T22:03:48.289981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation , pages =","venue":null,"work_id":"282da7c7-e818-4085-b0b0-36965dbfa9b9","year":2008},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:2c5a0c3f5cd9798a99747a1ec4327bbb24c624ec1fc629a7de29503c20ae2731","observation_id":"8aa7d7e9-1c22-4583-af8a-7a28f95b885c","resolution":{"observed_at":"2026-05-20T22:03:48.237113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Jhala, Ranjit and Vytiniotis, Dimitrios and Peyton Jones, Simon L","venue":null,"work_id":"03592d25-9866-4e04-9b49-444eb0428607","year":2014},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:488a428ead1bd1d1adb2f10171babb97d1d4a9ab24649362cd0515cbae29c613","observation_id":"f6f260ad-38a1-4b25-b369-d68aba3e42b4","resolution":{"observed_at":"2026-05-20T22:03:48.229243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":null,"work_id":"1207a066-bb29-4f24-8e36-941a0d1fee7f","year":2024},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:8eac47e2565f24a7a2d0964af13819f3eca19cc85d4b0415e248ea6487471282","observation_id":"590df2a5-878c-4cd8-af8f-05860c1a374f","resolution":{"observed_at":"2026-05-20T22:03:48.286195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Dependent Types and Multi-Monadic Effects in","venue":null,"work_id":"d3e2bbcc-2b95-43f0-967d-3d92cb5eb1d0","year":2016},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:157e4c351702f88c2cd21fac02f01382d9a32fc30894f56a3f0f1b6fbda62a4c","observation_id":"701c4127-4477-40ce-aa02-1e68b8868d42","resolution":{"observed_at":"2026-05-20T22:03:48.228153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rustan M","venue":null,"work_id":"c2ddbeab-c86f-4496-93d1-82fbda092273","year":2010},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:e4503fdb001d15d393dbeafd649322a117edbf7cd134cff5646ae08ae9c1d752","observation_id":"49f3a32e-0877-48e7-aa82-5a718849386d","resolution":{"observed_at":"2026-05-20T22:03:48.265404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the ACM on Programming Languages , volume =","venue":null,"work_id":"588410a7-23c4-4dff-b709-27971841f6bb","year":2023},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:9a850cfb99f9c0558b4bd7e1e4289252ecca6e7acb56e3ae78ebdb1a060fb197","observation_id":"cde11e47-d5da-4398-8077-f4a867a57898","resolution":{"observed_at":"2026-05-20T22:03:48.333376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"title =","venue":null,"work_id":"6d396562-3e72-4a71-aaf0-df8451b7c8a3","year":1997},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:15f0a422fa95a0f0dc2c6e0f334d291604fa74de3b0b230fba8f6c0f386bf851","observation_id":"d8746dca-fcff-4af0-a133-cca15e9eb97b","resolution":{"observed_at":"2026-05-20T22:03:48.273342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"title =","venue":null,"work_id":"eabb2761-6bfe-4e30-8526-e28a833a051d","year":2001},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:731957b6a6959184976fafd37eb289582b45afa7f61d05be614b87040b85f9f3","observation_id":"8dde72cb-98b9-4710-9d1f-bf531dc0b8ec","resolution":{"observed_at":"2026-05-20T22:03:48.253412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus , journal =","venue":null,"work_id":"ed0dec43-c435-49f8-9832-f060c6ec176e","year":2025},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:f1f9b39236802c4c9ac767ce48eca502b7f8c00b09e70599bcd1a3bf3cdd3700","observation_id":"3264ed03-6703-4536-a982-a266d18d9010","resolution":{"observed_at":"2026-05-20T22:03:48.217001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2025 , eprint =","venue":null,"work_id":"5c4fd028-82c1-4009-9597-3ffbc2935ae9","year":2025},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:4b7833fc298c09a4fc67b2906f81390cfc5bb66785d78d2c5940f044fa892661","observation_id":"96e6f873-ddbc-4f5e-8753-ecb7ae94412b","resolution":{"observed_at":"2026-05-20T22:03:48.325092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering , pages =","venue":null,"work_id":"2162ee46-2012-45b1-9f87-79cba1be836e","year":2025},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:4e7ba6407b6013b56c58b4c7a20d5b51e15d13e5e1aee7e5a80148eb3e9d71cc","observation_id":"b898e74d-ea90-41e1-af2a-d9862b7ff142","resolution":{"observed_at":"2026-05-20T22:03:48.313020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.213655Z","title":"Communication, Simulation, and Intelligent Agents: Implications of Personal Intelligent Machines for Medical Education","venue":null,"work_id":"b277feb0-ac04-469b-b219-01bf57aa5d66","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:4eacfca3f6cf07fc8d556af78fc3fd14f59f713bd81701cc211f9a26b41a38b2","observation_id":"9ddc717f-3b43-42cb-96f6-e0ea74275c63","resolution":{"observed_at":"2026-05-20T22:03:48.306418Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.089024Z","title":"Classification Problem Solving","venue":null,"work_id":"5fc3ac2c-32b3-48e8-88ab-97323e52e90f","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:b1a8a6b39149053963644d5515165bd2928aecdbd853ee78fcccf06417f729c5","observation_id":"ec734b12-ada6-4427-b2c2-f0780c6c1ec5","resolution":{"observed_at":"2026-05-20T22:03:48.342336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.160595Z","title":"title =","venue":null,"work_id":"c2f7654c-8c84-460e-8108-6799a27c8f81","year":1980},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:40f99a0a8b1cbf6e3e8405219f8851669100ca7c6dc7bda1bace33598b691e6d","observation_id":"652c0d90-24dd-4cc2-8593-7c6ea1229cdd","resolution":{"observed_at":"2026-05-20T22:03:48.320655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.133884Z","title":"New Ways to Make Microcircuits Smaller---Duplicate Entry","venue":null,"work_id":"1b2e5887-3df9-43db-83e9-86f80ec79d40","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:0e17867fa5e451d72894bef810ec003b3cf6b022cae65b22ce29bcd231017d46","observation_id":"63dc3169-8a7f-4dfb-8833-86233487f899","resolution":{"observed_at":"2026-05-20T22:03:48.329293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0020-7373(84)80003-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:42.889340Z","title":"Clancey and Glenn Rennels , abstract =","venue":"International Journal of Man-Machine Studies","work_id":"720602ef-8e14-4f51-ad29-e9f471bdac3c","year":1984},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:b7949730c2a57d19ae43658e14dd17b2ee2eccab6980924b3d9952024c596d29","observation_id":"4e39bdbe-b406-47f4-afbf-4f87868ca39a","resolution":{"observed_at":"2026-05-20T22:03:46.988330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-06T21:08:11.52071+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-06T21:08:11.52071+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.194499Z","title":"and Rennels, Glenn R","venue":null,"work_id":"83e00d13-8466-4968-89fc-e44bee61e537","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:dd1d09b3d9f56702a35937885393329c2873b8a44e4e78bf33e0758648896d2a","observation_id":"3671640f-bba3-445b-b2c3-3adcc6a6beab","resolution":{"observed_at":"2026-05-20T22:03:48.324750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.151405Z","title":"Poligon: A System for Parallel Problem Solving","venue":null,"work_id":"4c9adf14-6517-4f20-9bc6-0a72d20a80af","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:b59f0459b6f5dcb4767bde9b6eaef30c595c04e6bac3bc8e40ab0dd04f96079e","observation_id":"740fe0eb-5126-4459-9138-b8901ec812f1","resolution":{"observed_at":"2026-05-20T22:03:48.207783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.148956Z","title":"Transfer of Rule-Based Expertise through a Tutorial Dialogue","venue":null,"work_id":"34a5dfee-6722-43a7-890a-c244c849128d","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:a5590591fc97af992051a3942554780d4afc18b80b55c1103143f35d98c5d83d","observation_id":"cde2638e-21f7-4cdc-94c9-77dc4803f0ef","resolution":{"observed_at":"2026-05-20T22:03:48.312168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.198188Z","title":"The Engineering of Qualitative Models","venue":null,"work_id":"dc4ecd93-7461-49bb-8e70-4f0400d30ed3","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:d6badc05b1997d1821bd0feb3ea1c3ebf7aae75c30df1253cf886a0629065ed4","observation_id":"ef3f9e59-7b88-4cb8-8e7e-157965c5219c","resolution":{"observed_at":"2026-05-20T22:03:48.316644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.164800Z","title":"2017 , eprint=","venue":null,"work_id":"2c923374-2fee-4c42-a0f9-f706b8a72242","year":2017},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:9dcf74d7992b2904272843074e906f064f55ead23f91a2d3a26c65876b64318f","observation_id":"03635b75-21ec-43e0-a004-4faf43af814a","resolution":{"observed_at":"2026-05-20T22:03:48.310019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T02:46:43.173372Z","title":"Pluto: The 'Other' Red Planet","venue":null,"work_id":"6136aa03-c23e-4978-aa18-e4b1ed4d132b","year":null},"citing_paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence","version":3},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-05-20T22:02:23.717792Z"},"links":{"citing_paper":"/paper/2605.12981"},"observation_digest":"sha256:8cfd3028a031dba372b2931db7d7faa619d307400449fd1fb1aa399cd90a279a","observation_id":"83cfce62-77f2-494b-b739-2d031617fa92","resolution":{"observed_at":"2026-05-20T22:03:48.198541Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.12981","last_updated":"2026-05-19T08:37:24Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-03T21:08:56.968942Z","submitted_at":"2026-05-13T04:23:14Z","title":"Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence"},"reference_resolution":{"displayed":51,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":2,"unresolved":9,"verified_exact":1,"verified_fuzzy":39},"total_outbound_references":51},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 2 inbound Pith citation observations for arXiv:2605.12981."}