{"as_of":"2026-08-06T16:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:905268543c91bdb1e91167c47036b4b51c1392ffe45e890f026529814427b875","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T15:11:19.776229Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+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/2508.20411/citation-record","integrity":"/paper/2508.20411/integrity","json":"/paper/2508.20411/citation-record.json","paper":"/paper/2508.20411"},"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-05T15:11:28.904827Z","title":"An overview of artificial intelligence ethics,","venue":null,"work_id":"8ed90fb2-a4a0-4483-9f11-607dfc132680","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.127603Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:714e071e4e15748cb80613eeb2f597029df211b3e2a137300812b24908744111","observation_id":"27931313-5828-4758-8e5a-3db9dee343ed","resolution":{"observed_at":"2026-08-05T15:11:28.954915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:28.714801Z","title":"Language models are few-shot learn- ers,","venue":null,"work_id":"5f64117b-4103-4b07-8548-2e1cb3d30b6e","year":1901},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.137124Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:68c97ca3db624e355449bd714aaa19038c793d0250b75af1186d152ab5c20262","observation_id":"c343b529-90ad-48ea-bfd3-333b34af09f7","resolution":{"observed_at":"2026-08-05T15:11:28.764818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:28.534882Z","title":"Supervised contrastive learning for generalizable and explainable deepfakes detec- tion,","venue":null,"work_id":"68d4a378-8fcd-412c-b951-f990e74b864d","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.144055Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:acc3195e536d56beb80983bd21589daf63169b4a7394da21d57132919f53b5d9","observation_id":"245f2eb2-d7ef-42c7-9dfe-2e3a3a8541c5","resolution":{"observed_at":"2026-08-05T15:11:28.584847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:28.384855Z","title":"Artificial super intelligence: beyond rhetoric,","venue":null,"work_id":"c1aab364-5476-4254-a0e2-573d63468699","year":2016},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.150121Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:afc12bac55a65bb577d2bd6e55f59926125ea8a23590b7aa82eafd31ae896c2f","observation_id":"4d027ea3-a53a-4228-bd43-57687e9b7912","resolution":{"observed_at":"2026-08-05T15:11:28.414950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:28.214951Z","title":"Ai safety for everyone,","venue":null,"work_id":"7605808f-ab8a-48ce-b9a8-6c9899bf6f09","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.156531Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:99f86e7800b7d7f923ec79529c800db3da5c479d2800283c3a78ce6983b0ef59","observation_id":"51aec41b-69e2-4bf9-ac6a-50ffad4934fc","resolution":{"observed_at":"2026-08-05T15:11:28.254789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.08966","last_updated":"2023-02-23T18:54:08Z","snapshot_observed_at":"2026-07-06T13:22:09.403770Z","submitted_at":"2022-06-17T18:40:41Z","title":"Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks","version":3},"cited_work":{"arxiv_id":"2206.08966","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.08966","snapshot_observed_at":"2026-08-05T15:11:20.084756Z","title":"Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks","venue":"cs.CY","work_id":"ec248367-a7d2-4d92-8e55-b41cc5f88eb4","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.163973Z"},"links":{"cited_paper":"/paper/2206.08966","citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:091a18e859470111989144a57038e4975e86363fbed4f7f6805a992af10fa274","observation_id":"186065f3-5a9a-4f19-b83f-01110e2bca8f","resolution":{"observed_at":"2026-08-05T15:11:20.107880Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:28.044752Z","title":"Learning diverse and discriminative representations via the principle of maximal coding rate reduction,","venue":null,"work_id":"b1a6a826-cb7e-455d-8735-ed6138e213b7","year":2020},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.172700Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0c27bbc6ae846179dd312d828bce976e50d90629de7197eb6499e1e2b1b3b5ff","observation_id":"b4d3f359-83d6-431a-9531-ce675fd325e6","resolution":{"observed_at":"2026-08-05T15:11:28.087196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:27.700380Z","title":"A dempster-shafer ap- proach to trustworthy ai with application to fetal brain mri segmentation,","venue":null,"work_id":"d0108591-9f44-4b19-bde5-e89991aaf265","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.178402Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:6acd5e96c7e984fe7b107614aab0ae74f8465adbbbd3f8b289a6916121b6745b","observation_id":"41d5b5cc-b15d-47aa-bf03-34bc14d561f5","resolution":{"observed_at":"2026-08-05T15:11:27.898238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:27.321993Z","title":"Vistarag: Toward safe and trustworthy autonomous driving through retrieval- augmented generation,","venue":null,"work_id":"186b9aad-cea0-4987-b96d-fff6fa65c30e","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.193252Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0048848f24342512e38541ea8e9be1c7626d87a8641a093ebe4985969d9a73dd","observation_id":"be77dc22-2eb2-4e2a-9210-6c78ae6c0850","resolution":{"observed_at":"2026-08-05T15:11:27.494749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.19852","last_updated":"2025-04-04T11:14:49Z","snapshot_observed_at":"2026-08-05T20:02:35.087707Z","submitted_at":"2023-10-30T15:52:15Z","title":"AI Alignment: A Comprehensive Survey","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.19852","snapshot_observed_at":"2026-08-05T15:11:19.200131Z","title":"Ai alignment: A comprehensive survey,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.200131Z"},"links":{"cited_paper":"/paper/2310.19852","citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:3989972de45087384f56371b24be12f6fed0a7ef0cd74beea4435583a982f12d","observation_id":"31022221-06ad-4a3c-8236-0fdfeda5acff","resolution":{"observed_at":"2026-08-05T15:11:19.200131Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:11:27.009949Z","title":"How rl agents behave when their actions are modified,","venue":null,"work_id":"2b315c05-3a23-443a-a337-35fffb5e5a72","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.205459Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:02117469775c098e4e46a3b53e534ddfddaacaa1269086fb6e5762320992a9dc","observation_id":"5616076c-50d1-4de6-9fd1-a266e364d78d","resolution":{"observed_at":"2026-08-05T15:11:27.154742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.14659","last_updated":"2021-03-26T18:01:48Z","snapshot_observed_at":"2026-07-06T10:53:51.296957Z","submitted_at":"2021-03-26T18:01:48Z","title":"Alignment of Language Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.14659","snapshot_observed_at":"2026-08-05T15:11:19.213151Z","title":"Alignment of language agents,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.213151Z"},"links":{"cited_paper":"/paper/2103.14659","citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:3ff0d2c55acfd704610be310ef62c4f16cd475208e38b700ba0c88bdfd764532","observation_id":"9fcb0099-3311-4104-bc9f-aa74215d568f","resolution":{"observed_at":"2026-08-05T15:11:19.213151Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:11:26.684834Z","title":"On controllability of artificial intelli- gence,","venue":null,"work_id":"e8c24484-c9b2-4852-a8d0-b72b4bcf0fcf","year":2020},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.222966Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:43ce65472c94193dfd903e948504d6efaec35a80b1408d9c0a74f771270906c5","observation_id":"6173e3bc-341d-4c54-a222-62cafca2f1c9","resolution":{"observed_at":"2026-08-05T15:11:26.805912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:26.502663Z","title":"You should not control what you do not understand: the risks of controllability in ai,","venue":null,"work_id":"611bc62e-bf57-4929-9540-f5de3f47f34a","year":2020},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.237502Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:e297af19b29d0c894253facc0b6e3e7848179253149adb08c16d8f063675dcc4","observation_id":"9cf1ff90-c22e-4086-8487-d93324efcf73","resolution":{"observed_at":"2026-08-05T15:11:26.561811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:26.357122Z","title":"Rethinking explainable ai in financial services,","venue":null,"work_id":"b6d24f69-0552-4183-a631-ed321907ac63","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.249143Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:f940d0fa741c1eed244993debaac11d8b981ed832523bdc5967bf08c62425de4","observation_id":"083749dd-8530-4def-b6b9-6a445b8f0636","resolution":{"observed_at":"2026-08-05T15:11:26.404374Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:26.194743Z","title":"A review on explainable artificial intelligence for healthcare: Why, how, and when?","venue":null,"work_id":"9b188877-1021-45bc-bcd4-76864cb0f0f8","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.257374Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:d95b602171a1278c9dc129fd08b5913bab0a1ee83e88c502076ac12f96e0fbd9","observation_id":"fb77d667-5abf-4eca-a1a4-e01eab9cb631","resolution":{"observed_at":"2026-08-05T15:11:26.226683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.994825Z","title":"A counterintuitive approach to explainable ai in healthcare: balancing transparency, efficiency, and cost,","venue":null,"work_id":"ada9f31e-b50b-42cd-9aca-3193ad463d15","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.265981Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:cc0d6425a4a6f36619d34ecbda1571827d81f03a7831c7300a12031fbc40d5e7","observation_id":"e7a27ea5-c8a5-4aa0-b5c3-b7beebf08309","resolution":{"observed_at":"2026-08-05T15:11:26.064826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.847273Z","title":"Jcs: An explainable covid-19 diagnosis system by joint classification and segmentation,","venue":null,"work_id":"2dfe7dd2-fe30-459e-91f5-86876230f9c4","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.271125Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:4b1eec419b78d9f5c7051a530b8645d14f12968a0721b30d0f149b9072f01873","observation_id":"35f4fdf1-174e-4716-86bb-3019a55be066","resolution":{"observed_at":"2026-08-05T15:11:25.884744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.684753Z","title":"Xaitk-saliency: An open source explainable ai toolkit for saliency,","venue":null,"work_id":"bf97aa09-cc26-4564-a702-3ffcaf0f833a","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.289738Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:41254167b1aca84c7dd14f2b3f877efea1d8b8faae9ac926c7962343204dda26","observation_id":"8728d111-8a00-4a6c-ac3a-5cc1334245b6","resolution":{"observed_at":"2026-08-05T15:11:25.726556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.554998Z","title":"Neuro-symbolic explainable artificial intelligence twin for zero-touch ioe in wireless network,","venue":null,"work_id":"12160b5b-54f6-4b8d-a239-a9e739d4f7e7","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.295142Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:2295c873904a72165c0771c95f2e1f5bccd5374534ab44b8b70ae015f3fa4f28","observation_id":"65d0da57-b416-44dd-9cb6-116269c09bce","resolution":{"observed_at":"2026-08-05T15:11:25.584746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.434757Z","title":"Advanced artificial agents intervene in the provision of reward,","venue":null,"work_id":"b1d08216-9b95-42a8-8ab7-82b73dccf5f6","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.301264Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:f8616dd03fba785de0a24b7d3ac9c3abb38273eb065244daadf76645c8deeaf6","observation_id":"34899692-4018-493a-b557-4fedd855a3da","resolution":{"observed_at":"2026-08-05T15:11:25.474742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:25.011130Z","title":"Controllable ai-an alternative to trustworthiness in complex ai systems?","venue":null,"work_id":"2f4412e9-e8e7-4b97-8e94-46abb0fd79ee","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.309351Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0619a7bf4b1c3553de94df25ef99a5dc97b29542a8ce9e18e2f00ecc9773b092","observation_id":"0706575c-38c3-40a9-a1af-96ef472d0817","resolution":{"observed_at":"2026-08-05T15:11:25.224752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:24.654746Z","title":"Resource allocation and trust computing for blockchain- enabled edge computing system,","venue":null,"work_id":"1a6a5f32-a3d4-479d-b6d5-9e477ac4e486","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.321186Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:923feaa9b1c5736763601f6ae18f3ff732acfa62cc94fa0a2fd6ab00987f1ac0","observation_id":"0b4bc069-242a-4392-a40f-d6242f887657","resolution":{"observed_at":"2026-08-05T15:11:24.784840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:24.373377Z","title":"Design and implementation of trusted boot based on a new trusted computing dual- architecture,","venue":null,"work_id":"14881090-9f18-4e1d-abe2-438b553fe5e2","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.327996Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:9f6adaccee516ceadb55fafb186799be6c96c4f99998c083286bd822c88ff18e","observation_id":"4253ce1b-3495-4680-939f-850e4209890c","resolution":{"observed_at":"2026-08-05T15:11:24.468687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:24.074746Z","title":"Trusted platform module,","venue":null,"work_id":"7b1fd319-b568-4497-a8dd-783ea3b16c3f","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.346985Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:36fb0c204ca4fcfaa432e47ef83276f8fb641d68e2380873c683384f287a4f86","observation_id":"cf528b45-ead5-4adc-8d25-9846cd0c9383","resolution":{"observed_at":"2026-08-05T15:11:24.192615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:23.648298Z","title":"Research on trusted com- puting and its development,","venue":null,"work_id":"d4c62ecc-59d3-4b14-9e02-c86e3dfae0f7","year":2010},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.357953Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:7f526849e92ad21051d18816b2c862c189182395b867bc2ce70f5239ee6fca7a","observation_id":"506605f3-ea30-4d3f-a50b-0c3b3a713735","resolution":{"observed_at":"2026-08-05T15:11:23.875157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:23.233844Z","title":"An extensive investigation of condition reachability using cbmc: Study on negative results,","venue":null,"work_id":"aaf9d721-d031-427e-9592-c7c29ccee68a","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.366564Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:17075b4d349c1a056f4fe36434b2c988c18d1db5b6ede9f0a175d6b8a659db8d","observation_id":"3c1e2176-0efa-4c6d-a935-e799e7e8da8d","resolution":{"observed_at":"2026-08-05T15:11:23.390747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:22.847174Z","title":"Klee symbolic execution engine in 2019,","venue":null,"work_id":"9248ea05-84ce-491d-b8cf-9d1f7fb45b4e","year":2019},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.374346Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:c7b7b9a94acd2a8d64ee29ae2a3476c7fff5a7b89161330e2c2ee275c3d72db6","observation_id":"99942227-0eba-4354-a319-bd14e3a6714b","resolution":{"observed_at":"2026-08-05T15:11:23.063978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3632902","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:11:19.851693Z","title":"A formalization of core why3 in coq,","venue":null,"work_id":"1fc0ade8-48da-437e-b10d-0ac1a01075c4","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.381295Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:58bc1875b31ac68715f93e8c5201627a7a4da1e4de99757457c79ffe85b37fac","observation_id":"0f685f83-35aa-478f-8744-3e66f760f06e","resolution":{"observed_at":"2026-08-05T15:11:19.859303Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:22.590387Z","title":"Isarare: automatic verification of smt rewrites in isabelle/hol,","venue":null,"work_id":"0fb80778-2c03-4e82-9555-b0969f672b0a","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.387288Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:d67dd6f0d9ec9e93c09976e69ca4a318b8d4e5ae50f2fdef2ec32fb92e4c4a9a","observation_id":"3d81a7de-3df3-467c-90e0-250e4d0aed2e","resolution":{"observed_at":"2026-08-05T15:11:22.703481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:22.352484Z","title":"Application of formal methods (sat/smt) to the design of constrained codes,","venue":null,"work_id":"1b56257d-311f-4e73-8bdc-406dd8374e8c","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.398447Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:9e100b92a2e4de87d5312a71fbe1932e0c8082b1db856d9993a4c234a5624328","observation_id":"e7db28c5-8495-4308-9a6c-8a9839f278ca","resolution":{"observed_at":"2026-08-05T15:11:22.417286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:22.056080Z","title":"Clips user’s guide,","venue":null,"work_id":"3718cf08-8226-4fc4-8830-b3203e1e4495","year":1993},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.404754Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:a219bedbe4be71b2767be76629a583ae7de71337c234c8da630d7d16b59c679f","observation_id":"9d8f77d7-2597-44b1-8310-0e745981ab2d","resolution":{"observed_at":"2026-08-05T15:11:22.181561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.842801Z","title":"Bali, Drools JBoss rules 5.0 developer’s guide","venue":null,"work_id":"d76e46e2-005a-4d39-955d-2d837a391c16","year":2009},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.411303Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:542ec6d5dcf83a52fc9911d0b1127ae63c807f087fe339cef6c8499e76f14b42","observation_id":"93655ad7-bdf1-49c1-98bc-7ecb9edd55fd","resolution":{"observed_at":"2026-08-05T15:11:21.939719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.602645Z","title":"Friedman-Hill, Jess in action: rule-based systems in Java","venue":null,"work_id":"49cd6792-b986-4ef2-9024-a09043dc03ce","year":2003},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.424158Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:f78e2d4df05e07aab49c728c4e338ed33d12499e70737f63d9341d13bce98b66","observation_id":"e589c810-e0c4-4ef3-9ad8-7301aa57e39f","resolution":{"observed_at":"2026-08-05T15:11:21.634746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.499932Z","title":"Fifty years of prolog and beyond,","venue":null,"work_id":"31b09a8a-ba68-4d52-89c6-fa30c31c9f9d","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.441728Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:21e83a91fa8dbe72b5dd4e01036af912b1338f301f7a1492e1acb78bb5671bde","observation_id":"b14242d4-6423-44cc-b266-e57c4b708001","resolution":{"observed_at":"2026-08-05T15:11:21.541960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.429250Z","title":"Openssl 3.0. 0: An exploratory case study,","venue":null,"work_id":"c288d90d-d57a-4aa8-a5a2-4280d7d80cd7","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.449450Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0aa37161b4e0ce71963a6f597d52646547eecf583d39a41da2a336a9a9ec8b3a","observation_id":"699e33f6-2c74-4368-b748-45559b2e443a","resolution":{"observed_at":"2026-08-05T15:11:21.458102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.388118Z","title":"Information security using gnu privacy guard,","venue":null,"work_id":"67a2f67b-dc3a-4167-9539-9088f712df10","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.462725Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:c74f8adcad6639a2a884fd2fb81601fec6b28451edd4688b6d062b12da92602e","observation_id":"a0c5a94b-d905-428d-929a-fe75f9fcebb4","resolution":{"observed_at":"2026-08-05T15:11:21.397762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.323825Z","title":"Sigstore: Software signing for everybody,","venue":null,"work_id":"ad5414d9-7b00-4a0d-8eb7-6c0dbb340d11","year":2022},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.475397Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:bea9a42152a6526b412e66249ed824555b5f21f55a6ceb14a9e02d09ad7c4ce2","observation_id":"a7cafd03-5022-4e39-be7d-33134a519bb1","resolution":{"observed_at":"2026-08-05T15:11:21.342948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.272582Z","title":"The broken verifying: Inspections at verification tools for windows code-signing signatures,","venue":null,"work_id":"eaf7f0a9-0cd1-4c1f-a581-44a150e54d16","year":2023},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.502502Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:114290ec77f1ee8e5f5b06d52e8695a18f35438b49a84a55639381ad30e46123","observation_id":"c41d2825-89c1-4408-8250-f8e3b079a11c","resolution":{"observed_at":"2026-08-05T15:11:21.305011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.204130Z","title":"The provable security of ed25519: theory and practice,","venue":null,"work_id":"a507eff9-8bd2-4958-ad4b-6e23b2005fe4","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.544750Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:087056fb87c376c693db4af9116698a4c7db6d27f32940a19617558b1e8fabd3","observation_id":"b0ea8480-a35d-4c7a-8951-8e0860a41894","resolution":{"observed_at":"2026-08-05T15:11:21.228581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.169534Z","title":"Performance analysis of kyber-dna and rsa-base64 algorithms in symmetric key- exchange protocol,","venue":null,"work_id":"76ec77a3-c904-49e2-814f-5d9b375a72c5","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.584739Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:5f7ff0afba72d1700d8b5f090d921187fb238daed691ab5c10bfe70991776568","observation_id":"fd31b93a-7e60-41c6-ac9e-7db7e71e9b4b","resolution":{"observed_at":"2026-08-05T15:11:21.176335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:21.080275Z","title":"Fast two-party threshold ecdsa with proactive security,","venue":null,"work_id":"b9af80de-df7d-4d0e-b45a-98a3d43d5226","year":2024},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.621662Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:2978749d74e889f5ac521ddfdda3ee2095274d14b458b0eb33d812caeb0badca","observation_id":"1264fc34-4fb1-4b5e-9939-2947274ec2cd","resolution":{"observed_at":"2026-08-05T15:11:21.113505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.981369Z","title":"High-speed high-security signatures,","venue":null,"work_id":"c15075b5-c767-4436-9fe5-23983b64ec2d","year":2012},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.637359Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:d10b0d6dfb178033223600b24e3950a1bcaa9162aeebb22330e0274cd78456d7","observation_id":"2e2938e4-21ad-4ffb-9941-b335c0c3385a","resolution":{"observed_at":"2026-08-05T15:11:20.995969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.884749Z","title":"Nist special publication 800-57 part 1, revision 4,","venue":null,"work_id":"2e81f1b6-fd2d-4a9d-ab48-31cbde8bfcce","year":2016},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.674747Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:d90795e9d9619ab1e3a14ea6b86033415a4a4299ef09c5267e209d5cbef5e622","observation_id":"657574a5-ee48-4998-a3c4-139292694ab3","resolution":{"observed_at":"2026-08-05T15:11:20.924743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.764761Z","title":"Post-quantum cryptography for linux file system integrity,","venue":null,"work_id":"38e75cd5-baa1-4e14-824c-efe1f5a28f60","year":2025},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.684767Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:48d88cadf06c40814b2c176f67e7aa2e3af5268ddc6e1e25c6d3d7261701b524","observation_id":"7c6a14fd-c61b-4170-a680-ac834b716e7a","resolution":{"observed_at":"2026-08-05T15:11:20.814757Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.610679Z","title":"On the security of pkcs# 11,","venue":null,"work_id":"7a1b2922-299b-4435-86af-f4e310fa22a5","year":2003},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.714830Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0cb3f2b7ecb07561ef234cbaf7f215e3fbc5a743b83a57b7c6715e70f40028db","observation_id":"db70bf33-db52-40b8-98c3-2a2e42b9ecea","resolution":{"observed_at":"2026-08-05T15:11:20.644049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.531722Z","title":"Enhanced memory- safe linux security modules (elsms) for improving security of docker containers for data centers,","venue":null,"work_id":"a441025a-1db3-4342-acd9-6769b1a33e5d","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.722450Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:54ec11d962e3f04fee7c45da0c8bfedd0d0c24a3c5fca26319021d4581c0c636","observation_id":"f256452b-e955-48c7-bdf4-69f88055f651","resolution":{"observed_at":"2026-08-05T15:11:20.554747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.484743Z","title":"Apparmor technical doc- umentation,","venue":null,"work_id":"7d4b9896-f968-4e83-9c08-d0363cbb9665","year":2007},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.755828Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:0015361461a2848d47c887d98ccb9c4d0d1dd1d13c99ffe42c08d182c010940d","observation_id":"2bf7b5ef-41f4-40f1-91fb-3ebbe9a6c7f1","resolution":{"observed_at":"2026-08-05T15:11:20.511496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.324747Z","title":"Implementing selinux as a linux security module,","venue":null,"work_id":"a0b3fe9f-4a8b-4200-a13d-7bc01f36d336","year":2001},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.770646Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:2a97146bb57fa5c4de085158c2547a928672d10229e508df6ecb2f55672832b6","observation_id":"0c2c1cdf-9353-4922-b770-fd9d39be1721","resolution":{"observed_at":"2026-08-05T15:11:20.362456Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+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-05T15:11:20.174746Z","title":"Au- tomating seccomp filter generation for linux applications,","venue":null,"work_id":"9500154b-732f-460a-9fec-ffff0f392a91","year":2021},"citing_paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T15:11:19.776229Z"},"links":{"citing_paper":"/paper/2508.20411"},"observation_digest":"sha256:7b2b615ce8f7a0418fa3edbbd123cd8f6158bb317e0b029e6e02c1e7ea64e800","observation_id":"dc548bdb-f4e5-40f0-8325-f9fa2e60bceb","resolution":{"observed_at":"2026-08-05T15:11:20.214837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.20411","last_updated":"2025-08-28T04:22:59Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T15:11:18.305952Z","submitted_at":"2025-08-28T04:22:59Z","title":"Governable AI: Provable Safety Under Extreme Threat Models"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":2,"verified_fuzzy":46},"total_outbound_references":50},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2508.20411."}