{"as_of":"2026-08-12T09:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4ac3e43db7395a9be113b32f1b9cffdc0d3a444305ce464e70f2728079d9e55a","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T19:05:20.836662Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T05:03:38.614147Z","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":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.04830","snapshot_observed_at":"2026-08-02T05:03:38.614147Z","title":"Kraj ´ ıˇ cek, Failure of the strong feasible disjunction property, submit- ted (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13540","last_updated":"2026-07-15T07:43:08Z","snapshot_observed_at":"2026-08-04T16:13:27.346338Z","submitted_at":"2026-07-15T07:43:08Z","title":"A proof complexity perspective on effectively zero-knowledge proofs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T05:03:38.614147Z"},"links":{"cited_paper":"/paper/2604.04830","citing_paper":"/paper/2607.13540"},"observation_digest":"sha256:66d654ae1578f40941d4d769c6ea7ec3171f545d09895732ad339e775becfc4f","observation_id":"3fabeb1b-b730-4f5e-aac0-ab2cb9ddb1d5","resolution":{"observed_at":"2026-08-02T05:03:38.614147Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.04830/citation-record","integrity":"/paper/2604.04830/integrity","json":"/paper/2604.04830/citation-record.json","paper":"/paper/2604.04830"},"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":"Alekhnovich, E","venue":null,"work_id":"b25458df-5c82-40b1-9110-dc2a74bc15f5","year":2004},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:afdffc035fbb0aaf1f9e8a6a20014fdc118aa3628558bd833b4bd6806764fae5","observation_id":"252ff3a0-bc03-40ea-9897-ee0ca21ee096","resolution":{"observed_at":"2026-05-16T09:07:40.141330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"7e5bcf9d-7cdd-4b32-b349-e8f3dc2478a1","year":2007},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:a1621ce8ed4e6e5112818ae02640443515591b9fd4c88cfca04796b6a6214cce","observation_id":"fd88b455-dc02-4d3b-b348-01d188cac81a","resolution":{"observed_at":"2026-05-16T09:07:40.143568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"dbf5f622-ec9b-4c18-9735-2bf5107a1631","year":1979},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:d2dd053b2d3d72127d67bd79d47b311c77b3a6ae055ad8a9d4cc46e4267c5878","observation_id":"6674e2a3-91c5-4380-ac8e-1728e2540824","resolution":{"observed_at":"2026-05-16T09:07:40.128505Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"7ef90cf6-ae82-4194-98b6-c48574be08c1","year":2025},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:1776d61e0037dc5bbe5b37bb640ba18e1e0d893d8d343451e12ee2c68b5451f3","observation_id":"a1cc7219-61be-43e6-9573-b39d7b446025","resolution":{"observed_at":"2026-05-16T09:07:40.130745Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Khaniki, Jump operators, Interactive Proofs and Proof Complex- ity Generators, in:Proc","venue":null,"work_id":"1e72eeaf-53f4-47b3-9204-8fcebe650eff","year":2024},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:f13a623532f3c35b37ea371b87a65babc75ae8c26eb0bccb27d0e4ad5c73fb00","observation_id":"5d47df81-0dae-4812-bad6-805c19f3b53d","resolution":{"observed_at":"2026-05-16T09:07:40.146220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek, On the weak pigeonhole principle,Fundamenta Mathemat- icae","venue":null,"work_id":"b72371be-8095-4d30-8263-14d280649f80","year":2001},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:a6e63a93af891e555feb68ebeac006480868dfb79be8dba70c5483b8e83f1a86","observation_id":"74fc48cd-e19a-4519-902a-8a1f5c4e1d72","resolution":{"observed_at":"2026-05-16T09:07:40.139011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek, A proof complexity generator, in:Proc","venue":null,"work_id":"6e11ea8d-7c5f-4890-9ed8-a1103f9de556","year":2007},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:3b3678647a8dc23f15e2c6abed0adef4a11aa5280e6e153d27838c6da68a0c7c","observation_id":"eb46350e-c8a3-497a-89dd-d2ed03b27558","resolution":{"observed_at":"2026-05-16T09:07:40.148751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek, Dual weak pigeonhole principle, pseudo-surjective func- tions, and provability of circuit lower bounds,J","venue":null,"work_id":"af8fa82b-7050-4717-8abf-a2719cc3f78f","year":2004},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:991b1e9d848d558a0502522d0f0a0288fdd37f56e30e365d1589daaf4c54d826","observation_id":"a3b326f9-0953-45a7-a6f1-d39a4b8c018d","resolution":{"observed_at":"2026-05-16T09:07:40.136028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek, On the proof complexity of the Nisan-Wigderson generator based on a hardN P ∩coN Pfunction,J","venue":null,"work_id":"4070e912-0490-4d01-8791-c354bfcf8417","year":2011},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:7115ca3ba02ed6bf4d47e1bde792a101532c30c72b56195ffd8263a5f4ce1d11","observation_id":"83a91d4e-a7c2-45f6-84a4-b8fc2cfbe3c3","resolution":{"observed_at":"2026-05-16T09:07:40.133202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications","venue":null,"work_id":"f65a78a1-a646-403f-a861-387a1c23646b","year":2019},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:b7c64362fab45a823036448ace4bb7a25f53e4def3bca0c80979c92f7e87d329","observation_id":"66770fc9-3ea1-450d-a89c-e075452dada3","resolution":{"observed_at":"2026-05-16T09:07:40.154357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek, On the existence of strong proof complexity generators, Bull","venue":null,"work_id":"468c77c6-7984-404c-92a1-ffb45e295b43","year":2024},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:6538d66e73981ff553247a1931466cb970864c006287e0ad59ac03fc8d64de41","observation_id":"499ed851-c148-4daf-8588-18b69164f87c","resolution":{"observed_at":"2026-05-16T09:07:40.156865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Kraj´ ıˇ cek,Proof complexity generators, London Mathematical Society Lecture Note Series, No.497, Cambridge University Press, (2025)","venue":null,"work_id":"059f2ee9-4ea8-450f-bb9d-508c52215ff9","year":2025},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:b77d2458b8c70563f0c23edcac2414a8d1cf4cb4e6e3e496ff92a9c897b276bc","observation_id":"b018d8cf-13c0-4218-822d-06e11328c227","resolution":{"observed_at":"2026-05-16T09:07:40.159308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"ea3f2e82-1e49-4361-a654-fa626791d009","year":1995},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:5d8d494d7ff435883ca23da967a567984e47dbc7f34124f6f5dec0d251667c46","observation_id":"42b4f788-74ae-4752-a8cb-3a506eeb3590","resolution":{"observed_at":"2026-05-16T09:07:40.161607Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"bb9dfc94-8c5e-46a0-ba62-b6610ac7e981","year":2026},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:f770e52d65065f8dfe5a83bb58d253887b4d760f8312676c4e71ca3a1b859b87","observation_id":"6ea67b50-b4ea-4dcd-9816-528012784fea","resolution":{"observed_at":"2026-05-16T09:07:40.163976Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Rudich, Super-bits, demi-bits, andN P/qpoly-natural proofs, in: Proc","venue":null,"work_id":"6926c7d8-a63e-4a96-af6c-31510b1b1a0d","year":1997},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:8b4ac255bf56ee9adbe1dbf85c3f143ce0f4ec13ddbc7f30e8bdfd381fbdb2a5","observation_id":"02c2f749-0d07-459e-a07b-7f8d045001ae","resolution":{"observed_at":"2026-05-16T09:07:40.168594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Sipser, A complexity theoretic approach to randomness, in:Proc","venue":null,"work_id":"ab71278e-7baf-4aee-a280-d0c7b4e4ba76","year":1983},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:40f3647de3a9ba11a246d229f87ad7e37fc22c73db5bdb5bacc45ea429fff8b3","observation_id":"60704f65-f83d-4881-8fc2-e1c8a09b5638","resolution":{"observed_at":"2026-05-16T09:07:40.151268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"Tzameret and L","venue":null,"work_id":"54e16afe-7054-49cd-ad7f-3d66275d6584","year":2024},"citing_paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T19:05:20.836662Z"},"links":{"citing_paper":"/paper/2604.04830"},"observation_digest":"sha256:38774e725bf728887f16cd9223c7508f45653ccae6cf9bf4541315ddef466406","observation_id":"8a89d2a4-d2e5-4e49-8ee8-a7086fb2aa9f","resolution":{"observed_at":"2026-05-16T09:07:40.166255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.04830","last_updated":"2026-04-13T11:14:59Z","latest_version":2,"primary_category":"cs.CC","snapshot_observed_at":"2026-07-06T22:53:41.734429Z","submitted_at":"2026-04-06T16:32:46Z","title":"Failure of the strong feasible disjunction property"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":12},"total_outbound_references":17},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2604.04830."}