{"as_of":"2026-08-02T07:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c32eef2c8b1695d4c57a18ae74e69a6dcb491e527ebd0bc8ca6e2e8a6b76f967","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-10T00:05:03.446077Z","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-02T06:30:47.504484+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-01T02:40:28.959035Z","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.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.20496","snapshot_observed_at":"2026-08-01T02:40:28.959035Z","title":"Mythos and the unverified cage: Z3-based pre-deployment verification for frontier-model sandbox infrastructure","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.25379","last_updated":"2026-07-28T07:34:37Z","snapshot_observed_at":"2026-08-01T02:40:25.959160Z","submitted_at":"2026-07-28T07:34:37Z","title":"Cyber-Capable AI Agents: Vulnerabilities, Evaluation Containment, and Defensive Response","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T02:40:28.959035Z"},"links":{"cited_paper":"/paper/2604.20496","citing_paper":"/paper/2607.25379"},"observation_digest":"sha256:6dba45ffdf602ff5910ed35b6bb22aeba69f0bfc280c3803f3e68a9c3e33447a","observation_id":"bce9d86e-a5a7-494d-bf46-6f5dd4dd0b9d","resolution":{"observed_at":"2026-08-01T02:40:28.959035Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2604.20496/citation-record","integrity":"/paper/2604.20496/integrity","json":"/paper/2604.20496/citation-record.json","paper":"/paper/2604.20496"},"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":"April 2026","venue":null,"work_id":"6a8f5fad-2f68-4673-8d5c-329ef61f52f5","year":2026},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:b2890f7fdb36ae8d33ede6208ef94d467bb514b7e563e16a0f8b4d2059fd122e","observation_id":"b637d08d-ca17-4532-884d-f43a7829a6a5","resolution":{"observed_at":"2026-05-23T11:52:55.325327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"April 2026","venue":null,"work_id":"bb6e0f2f-6af3-4ac1-8900-f9f43007b4d0","year":2026},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:20f0d82eed54a75cc80333ae39f31eb9d67e67a8f6f5be1eab205ca5b11f347c","observation_id":"eee09365-6256-48ee-b2af-a425e7f0fe67","resolution":{"observed_at":"2026-05-23T11:52:55.350705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"It Cost Less Than $50 to Find It.Predict / Medium, April","venue":null,"work_id":"fab261ab-49ed-4c3d-8c7d-ac614f3e8f7c","year":null},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:42f27d307b0e7f6f46e4bf9357b185fe1245433db9fb899c5c1fae26ab716862","observation_id":"83c38748-40e0-485d-ade9-d62273133404","resolution":{"observed_at":"2026-05-23T11:52:55.321886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"95688215-91e7-4e77-89f1-69f818cb024a","year":null},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:49a66d748b4c44480d021e2f30ed06d78c3567bd98e461954f57287b336d5541","observation_id":"64f5548b-a15b-4e87-a0cd-8fe4548f1df6","resolution":{"observed_at":"2026-05-23T11:52:55.339633Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"GenAI / Medium, April","venue":null,"work_id":"a19832ae-245f-424c-b6c0-398495af7c21","year":null},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:ccca1b1fd66de25dfe5e8c122827589172f386c12d82b8b36eed5e85bbcb1a3c","observation_id":"40f93751-dfe4-4c37-9d18-d25fb85248a0","resolution":{"observed_at":"2026-05-23T11:52:55.347105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"c6c8cbd6-7006-4ef2-b9b9-0596197da984","year":null},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:dcda6244f728984527a8371ca8dff95795bee169eb41874477506f775317000a","observation_id":"8a59c99e-17dc-415e-8230-155a84e00a6e","resolution":{"observed_at":"2026-05-23T11:52:55.302372Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"wolfSSL Pull Request #10096: Fix signed left-shift UB in ML-DSA w1 coefficient encoding","venue":null,"work_id":"72126e2c-304d-4cb7-919a-18f1f89e1086","year":2026},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:9259e33ce0582a6dd2988d5af73a00e6484f7d5e2b226210537b96ff01873f38","observation_id":"4e662547-331d-4529-b33d-4e203dcc3d2c","resolution":{"observed_at":"2026-05-23T11:52:55.306323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.05292","last_updated":"2026-04-08T16:49:43Z","snapshot_observed_at":"2026-07-06T22:54:04.491386Z","submitted_at":"2026-04-07T00:55:42Z","title":"Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code","version":2},"cited_work":{"arxiv_id":"2604.05292","doi":"10.48550/arxiv.2604.05292","metadata_source":"pith","pith_arxiv_id":"2604.05292","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code","venue":"cs.CR","work_id":"ea7c06bc-e5c0-4193-bebb-d7793a7c0a66","year":2026},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"cited_paper":"/paper/2604.05292","citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:ca93565906cb78aff60772d6874006117f5f5d0431394641e8cbfb50dab0b5b6","observation_id":"db84624d-71f1-4bcc-b54a-15c943125b42","resolution":{"observed_at":"2026-05-10T00:24:47.586075Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"AAAI Workshop on AI and Ethics","venue":null,"work_id":"95e28510-ab93-4fac-ae31-6fd0ab823893","year":2015},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:eca7876c5f23b7ec0eafd2fe52ba8a2edaaf1bd9daecec1d9e296e490a2c87a3","observation_id":"014f5eca-0ad0-4a9e-b29b-fcb5856c4ecc","resolution":{"observed_at":"2026-05-23T11:52:55.332065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"et al.Cooperative Inverse Reinforce- ment Learning","venue":null,"work_id":"2cd0563b-d846-4c25-a185-4d6f2eb64b15","year":2016},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:2233c22725762eb4d8226ca7993129bea82351873fae00ac1581b62860fe6956","observation_id":"7f77685e-f184-4002-a027-07c6da839daf","resolution":{"observed_at":"2026-05-23T11:52:55.310067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15817","last_updated":"2024-05-17T17:17:45Z","snapshot_observed_at":"2026-07-06T16:24:30.545494Z","submitted_at":"2023-09-25T17:08:02Z","title":"Identifying the Risks of LM Agents with an LM-Emulated Sandbox","version":2},"cited_work":{"arxiv_id":"2309.15817","doi":"10.48550/arxiv.2309.15817","metadata_source":"pith","pith_arxiv_id":"2309.15817","snapshot_observed_at":"2026-07-11T02:47:50.821684Z","title":"Identifying the Risks of LM Agents with an LM-Emulated Sandbox","venue":"cs.AI","work_id":"3d4c3b66-d749-4939-b1bc-62b10b2ebbb6","year":2023},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"cited_paper":"/paper/2309.15817","citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:d5c880d1a802bf09f95ce7abfa27a93df65f4171f0861b73b0d6dd4acc5f675d","observation_id":"ec516edc-ba74-4d06-9348-bd1d8d79416a","resolution":{"observed_at":"2026-05-12T20:45:24.770470Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"et al.seL4: Formal Verification of an OS Kernel","venue":null,"work_id":"b1216c17-1c7c-4434-b77a-bbd117309c0c","year":2009},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:054d5c64b9b26db98a4e437f34d297a57a2227df304f0ce325378e2b1933ab8f","observation_id":"ce91fd77-789e-469c-8b45-40ccd616a6f7","resolution":{"observed_at":"2026-05-23T11:52:55.335840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"et al.CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels","venue":null,"work_id":"c6dfafad-b082-4785-9129-1221693e412e","year":2016},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:1693efbabb0e0f1aacacb6410b545285ddf0ada3bf1f70ad17c67f2decb4489e","observation_id":"5fb13486-6771-4f31-b54d-081f19aeefbf","resolution":{"observed_at":"2026-05-23T11:52:55.343309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"USENIX OSDI","venue":null,"work_id":"792f4df2-b5fb-4bf9-9450-187f7d6947e6","year":2008},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:7861928910377b65fb97001b404decf354b7be70edaa6e2fcb5d345c4239d79c","observation_id":"8e99658f-ccfb-49ed-bd2c-42dd04d8b752","resolution":{"observed_at":"2026-05-23T11:52:55.328710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"et al.SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis","venue":null,"work_id":"6e74c393-3b63-4caa-81c6-a02c53ab9431","year":2016},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:9dc2778ffab684882fef628b043471d384d2dfe69a8f5a836d9995bb5718a213","observation_id":"8940602f-dce2-4450-b759-f331d79695e6","resolution":{"observed_at":"2026-05-23T11:52:55.313804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"Viking","venue":null,"work_id":"c8f3ad08-b3d6-4a18-8c88-6ba8f1629a66","year":2019},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:5dd8e40336b32dc547e6f45d794942d4ced4c804dec7fdc75513afa97eb50c0a","observation_id":"f633b089-1f41-41fc-a65f-47686217edfa","resolution":{"observed_at":"2026-05-23T11:52:55.298438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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":"When RV Meets CEP","venue":null,"work_id":"4314691e-e78c-47a0-b352-b2a1168cc8b8","year":2016},"citing_paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T00:05:03.446077Z"},"links":{"citing_paper":"/paper/2604.20496"},"observation_digest":"sha256:da15cded7399ccb6e520be2f91255f137e2bc4e42d71a733cfb4b352fc8b9b6d","observation_id":"aa2766c5-b7b2-42fe-a501-c7fa7b2dd946","resolution":{"observed_at":"2026-05-23T11:52:55.317611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.20496","last_updated":"2026-04-22T12:28:23Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-07-06T23:06:55.880484Z","submitted_at":"2026-04-22T12:28:23Z","title":"Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":13},"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-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"thesis":"As of 2 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2604.20496."}