{"as_of":"2026-08-12T13:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05cfff7b21566322699a4319b8bbd6c67c333ff0c9e76396d9223b5c06621b7f","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":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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-04T01:33:17.449910Z","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-08-01T10:03:47Z","snapshot_observed_at":"2026-08-06T23:11:27.985138Z","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:3b265d84ca26fba1bb41d9fa5adc25cffbee3c3f7113c8c47f709cb67e5af4d9","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"}},{"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-04T01:33:17.449910Z","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-08-01T10:03:47Z","snapshot_observed_at":"2026-08-06T23:11:27.985138Z","submitted_at":"2026-07-28T07:34:37Z","title":"Cyber-Capable AI Agents: Vulnerabilities, Evaluation Containment, and Defensive Response","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T01:33:17.449910Z"},"links":{"cited_paper":"/paper/2604.20496","citing_paper":"/paper/2607.25379"},"observation_digest":"sha256:ff9670d6ec8f0ec17e71db215a8541735d2fd19347df5ab1577e5624a53335b9","observation_id":"ce22be19-6213-4d5a-b898-2220a755b6da","resolution":{"observed_at":"2026-08-04T01:33:17.449910Z","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:29179182df63833d0453dbc7a17f5ed5d2add4b9427fdea4c36299447ea40796","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-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":"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:7cefc8a3d3bfb9d9fd742ccf215c652e3660f51367caee97882a87bef3a88ad6","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-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":"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:bc9baa44cd9ec92e76f590ecd0303392b7a26c7a2b45823776c3bb5e5ba6689f","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-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":"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:cf3ecade9c9890159cc07fba5cb3f4d564a76d9389c32350b51f585f96caf221","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-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":"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:ce02f9bb0c8a8e2500285a5e70f02b07dbc61862176799f8cb178cd0313b41f3","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-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":"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:50f87bab19d2fe3f6beef938103cb846f4fe1f7687469bb62eaa5f083b1ce9af","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-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":"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:350bc435364312c8878ec811fde18e8f712a7a2b0e92792bbb2a34047c0937c0","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-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":{"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-08-05T02:49:54.815029Z","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:246d627aff0b902e53a510cdb860bef39575687dbaf399f84ff2b0cd9d0b1ef6","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-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":"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:a11800655e5f09a65b47e7ffa67d7e7da641a1171d06bb5b40aa1591ce18845b","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-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":"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:1bd6022638e46a702ef3ee52ddf03a8cb7a117755b3a16fd96a6640d8bf88d8c","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-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":{"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-08-05T02:28:24.338817Z","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:fcf5239bcc28b82ce5b551603151af5683b08cc05e317f827cb618b17812fd5e","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-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":"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:0a002786b125072815a7988359e4d41cb5c81a95e7b4d2b599df762e2466b258","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-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":"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:2c6e45c6840c6ab6ed93766221ec2bac9a9a15afcfb7272b8f4950925dd3a0eb","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-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":"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:a71f0977b3164d16e48ff048fbdcde99532a82e37c3cf5c8e138579285b48ec7","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-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":"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:28db798d0454099a219cf37054c8855c5e2e3a5d62ba6877f6fe9a377d44caf1","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-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":"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:28fd5cac15e402982f871cd74aa4ead7261369d56e80f8871c24f101465284d2","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-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":"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:0527715d8ed738058067cc3a2c3e736c3601f0ed4dcc4cad4cc664cba9cfecdf","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-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.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-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 2 inbound Pith citation observations for arXiv:2604.20496."}