{"as_of":"2026-08-11T14:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5dc59cdbe295a10ac361ea4969eabe77cc16918a010a001a0e38e6a5bb1f942d","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T00:39:34.519137Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.12883/citation-record","integrity":"/paper/2506.12883/integrity","json":"/paper/2506.12883/citation-record.json","paper":"/paper/2506.12883"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T00:39:37.280066Z","title":null,"venue":null,"work_id":"57d11a3d-a5e8-47af-becd-0ae6a911f780","year":2025},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:32.747908Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:ebf2cad3a07602d4f8fd8bc975a6c3c560cddf6668688fd0c3dc930bd9709fae","observation_id":"49173c8a-ea0a-462f-9f07-934206e1f476","resolution":{"observed_at":"2026-08-07T00:39:37.491175Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-07T00:39:37.014033Z","title":null,"venue":null,"work_id":"3b87fb00-b697-43fb-be45-905489e664fc","year":2017},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:32.877136Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:c12cbab01ecd28950a07cde2e08171dd7f7e799df2d19ab610f638a8d264df09","observation_id":"9bd60ef2-31e9-42c1-ac5d-c50f8159dfc5","resolution":{"observed_at":"2026-08-07T00:39:37.132318Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9329.36562","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T00:39:35.345155Z","title":null,"venue":null,"work_id":"3f6c7c02-b8fb-4efb-81b6-7bb5c3934fde","year":2024},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.021783Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:e4d9349cab5f6ed9758eaaf6a0e0c2fa94547496167e97ab4105bc9c95f341b7","observation_id":"3dddf112-b3d3-4953-8213-5ec3bab55a98","resolution":{"observed_at":"2026-08-07T00:39:35.452965Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-07T00:39:36.684353Z","title":null,"venue":null,"work_id":"86ed55bf-deb7-4822-bb23-b6dadd347a2a","year":2015},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.169802Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:e434042baeb5be58bf9fa04f6b3c2d59d14436518aa336cff3e0070c2cd82922","observation_id":"f04a762c-a34b-4890-b244-fc6ca3c81f29","resolution":{"observed_at":"2026-08-07T00:39:36.863189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-07T00:39:36.347757Z","title":null,"venue":null,"work_id":"f53f98c2-c622-46ab-9bf3-35b3c0c970ec","year":null},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.410899Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:eda49ad2893754623ce2d0b030565538a2e0c1965dbaaf573c3039d3c1e21d6d","observation_id":"95c30a15-31cf-4096-804f-5f179a0383b2","resolution":{"observed_at":"2026-08-07T00:39:36.477831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-07T00:39:36.044565Z","title":null,"venue":null,"work_id":"d290c86f-2c64-4cf9-921f-fbf055251903","year":2020},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.696717Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:d2f105fca2a2dd85d5e8419c32f47a31fa6cfb338c0db37fb6681e818ce3c8b3","observation_id":"da894b23-461c-45f4-8431-44ca906a594d","resolution":{"observed_at":"2026-08-07T00:39:36.162489Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-08-07T00:39:35.649609Z","title":null,"venue":null,"work_id":"d4a8d621-96fb-4bf9-9e9d-15e9dd81fe42","year":2022},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.849735Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:f30fcd0d664b6d34f0651f4ddcbcf3f695d8af355062df6c2037996baa071f26","observation_id":"06273aca-e67c-425e-93ef-f55922e94ffe","resolution":{"observed_at":"2026-08-07T00:39:35.832133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T00:39:34.005534Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:34.005534Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:e479fd28d9e126a257896f8e044e87b7044de3c4099659771d1802e067a0dc3f","observation_id":"a7e62406-95c4-4067-8283-3499a9f30c9f","resolution":{"observed_at":"2026-08-07T00:39:34.005534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1805.05121","last_updated":"2022-06-03T09:33:52Z","snapshot_observed_at":"2026-08-06T23:04:31.677224Z","submitted_at":"2018-05-14T11:34:47Z","title":"The EPFL Logic Synthesis Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.05121","snapshot_observed_at":"2026-08-07T00:39:34.154130Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:34.154130Z"},"links":{"cited_paper":"/paper/1805.05121","citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:71fe46d746b5dbb1d53a92d83f521d1dbaf888721c3c506f7b8e33d5cfde009b","observation_id":"bbf82363-c9ce-44a5-8df8-1b273d503c64","resolution":{"observed_at":"2026-08-07T00:39:34.154130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T00:39:34.313091Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:34.313091Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:fd94c19eaf726c554f5c4fe6341c754471a04ac8e7113ea985e800430006f207","observation_id":"987e3fe7-c69e-446f-9d69-fcbf869f46a8","resolution":{"observed_at":"2026-08-07T00:39:34.313091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T00:39:34.519137Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:34.519137Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:1ff440b6f0abb75d21c869d1cc16fadc94d54f2fdd3bbe90ea974086dc2bbb37","observation_id":"400a6298-6a46-4e6a-b8e9-714b795bb61d","resolution":{"observed_at":"2026-08-07T00:39:34.519137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.56553/popets-2023-0075","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Proceedings on Privacy Enhancing Tech- nologies 2023, 3 (July 2023), 154–172","venue":"Proceedings on Privacy Enhancing Technologies","work_id":"abe0e6e7-fa87-4bdc-a42e-f0243d9f71a5","year":2023},"citing_paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T00:39:33.572469Z"},"links":{"citing_paper":"/paper/2506.12883"},"observation_digest":"sha256:2821bec91f3b9bbe33cf6474e7ed248dba4214d23d4d4a41b76a0e51aa921d5b","observation_id":"1bda69ea-8a6a-4b7d-a7d2-9cb026a58bbd","resolution":{"observed_at":"2026-08-07T00:39:34.945490Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.12883","last_updated":"2025-06-15T15:27:51Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T05:01:30.834633Z","submitted_at":"2025-06-15T15:27:51Z","title":"Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":12},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2506.12883."}