{"as_of":"2026-08-14T18:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2dc1fdaf40970d310c333113e494fb06dbd866f14d6efebd6f6ea68d703cad16","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T16:47:14.661962Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2607.26927/citation-record","integrity":"/paper/2607.26927/integrity","json":"/paper/2607.26927/citation-record.json","paper":"/paper/2607.26927"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.047956Z","title":"Potential Issues with the EDF Sched- uler in Zephyr, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.047956Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:658a35ee6d78e46f48c5183a4548c16152f7ce15fc27ebcbbed57fac40c90ca8","observation_id":"1db45afd-8640-47a9-afef-91cf2c0db1f3","resolution":{"observed_at":"2026-07-30T16:47:12.047956Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.105385Z","title":"FreeRTOS: Real-time operating system for microcontrollers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.105385Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:98d2ac92c82db0f133b6845f6aae8fce5a7f6ec1c858f54744a83ff1764cc457","observation_id":"d1cab004-b34b-4326-9983-a087409cb3c0","resolution":{"observed_at":"2026-07-30T16:47:12.105385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.146161Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.146161Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:590ce20ffccd579a95ce446190b068a374c46e1de13267e5b1e83c7c893eaffc","observation_id":"f52168a4-687b-429f-be45-4c8f892c2ec0","resolution":{"observed_at":"2026-07-30T16:47:12.146161Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.181859Z","title":"Bertot and P","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.181859Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:c1c6386ba546d1d2a200444eaf20c385686eabc5015938f658ee580b988b8f12","observation_id":"57785f1d-8039-434c-acb2-f7eb417ab56d","resolution":{"observed_at":"2026-07-30T16:47:12.181859Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.228377Z","title":"Blom and M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.228377Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:0d1c878ed42331b596d3b15ddb61fc0ea3a6305bc8e9b856f56ff2b7bf0a0fdb","observation_id":"2668b344-d5d9-413d-bf45-44bec0e46459","resolution":{"observed_at":"2026-07-30T16:47:12.228377Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.269079Z","title":"Bobot, J.-C","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.269079Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:99497d9d864cf4d5439ff382afe5c8970623a68fba60e3d530fa184ff19f2317","observation_id":"2d5ed2f6-c56b-462f-b445-b0b9b6555196","resolution":{"observed_at":"2026-07-30T16:47:12.269079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.307304Z","title":"Boukir, J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.307304Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:513147873b1b1f326c34b87684df71ed119ab4cec84b1d2441b369b7e841c0cb","observation_id":"d2aba100-72b5-450f-bbd7-9eb21130555f","resolution":{"observed_at":"2026-07-30T16:47:12.307304Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.342736Z","title":"Bozhko and B","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.342736Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:64909e930d925d7cf0b5bb84c5d168f086dd27d04eac750d78b114c404a3ec71","observation_id":"948cd316-471b-49b4-bbfe-db9d892a6bd8","resolution":{"observed_at":"2026-07-30T16:47:12.342736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.385409Z","title":"Chong and B","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.385409Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:f7b7815fd631c48652767789804fb42b3a3e2bb00e6bcf027e9d84bcbf972e4d","observation_id":"e1dc973d-e204-4e32-b3a0-a65173943347","resolution":{"observed_at":"2026-07-30T16:47:12.385409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.462455Z","title":"Cohen, M","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.462455Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:bec680bb110b24d1c2d6324a03f8619921c816a22553497ab6ee64d241662cfd","observation_id":"b3d6812a-2a07-47d4-814e-c4ffcc197c50","resolution":{"observed_at":"2026-07-30T16:47:12.462455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.516218Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.516218Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:33637733dfd65612549406e35e51ebc472d79eaab898e34140ce58d6990a9822","observation_id":"fce695b1-4ab0-4ab1-ab3a-dfac424e0255","resolution":{"observed_at":"2026-07-30T16:47:12.516218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.542482Z","title":"ESP-IDF Programming Guide","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.542482Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:f5753f03670377b2a17f8d1e51dfc8dd26b07cccc3ed5b405d45c5f451906af8","observation_id":"d6fffb26-c512-4a4a-a742-5392a2471c76","resolution":{"observed_at":"2026-07-30T16:47:12.542482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.578230Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.578230Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:5f391bf95a08f3c141666947e2e72bb871813ab6b8a906cebc321c182b01b2d0","observation_id":"84fbc524-25cd-4dcc-9ccf-ecce660e142c","resolution":{"observed_at":"2026-07-30T16:47:12.578230Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.641985Z","title":"Frama-C Software Analyzers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.641985Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:5eb8e40ea9bd9cabd7b35e81307989107c1d147d55231d85f7730c35dd98814e","observation_id":"d72b4fa1-9a9f-4094-af9b-3e07411bb83f","resolution":{"observed_at":"2026-07-30T16:47:12.641985Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.714107Z","title":"ANSI/ISO C Specification Language, 2007","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.714107Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:5e10a9f0125c543d3f45af0f246a10c99d57a829c6a10d8cad604524db83e512","observation_id":"c0e9b735-bb19-418e-84cc-c3a72ee53909","resolution":{"observed_at":"2026-07-30T16:47:12.714107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.770861Z","title":"WP Plugin, 2007","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.770861Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:bb6f5c579bddea65117b635871fcbfcd81d8ef2f4632d5aa0e3c612c80ca4e73","observation_id":"35c3cb56-42ab-4d58-8870-a28f67fcda35","resolution":{"observed_at":"2026-07-30T16:47:12.770861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.811235Z","title":"Gadia, C","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.811235Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:b72fd374d4848e9bbf8b9a9e7e5e45eb8a7662258f1d111782bac10c52a3052f","observation_id":"c3d32a77-6b08-453b-8b84-86030e05d37a","resolution":{"observed_at":"2026-07-30T16:47:12.811235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.862726Z","title":"Garion, G","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.862726Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:0c06a9b8d2b3a55bf10bfdf04a7c2a54b893de00caf93a3a5f1c57b7d6a337bd","observation_id":"bba16c06-ce64-413f-980b-991a242ea20d","resolution":{"observed_at":"2026-07-30T16:47:12.862726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.925366Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.925366Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:3fcb1979393a9979add4f002ed9d98d1ff249da91b7e6a60f2d34ac286e52e2b","observation_id":"6803058a-5d4f-4223-9fdd-bb0ed17f2a67","resolution":{"observed_at":"2026-07-30T16:47:12.925366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:12.989847Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:12.989847Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:7626a54fc78287dabd7a257c74e032fb0fd1ec563546ffc1d8be25f011963023","observation_id":"aedeef22-ece0-4ce3-9d06-c6b92ed45c73","resolution":{"observed_at":"2026-07-30T16:47:12.989847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.035631Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.035631Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:15f8e750ae1118c5ac709ec808b4ae01cfc0f14a27eee4eafd33e2eb8b44d20b","observation_id":"f8a1c83f-c483-4bea-b8d2-4e63d6dbdf36","resolution":{"observed_at":"2026-07-30T16:47:13.035631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.094750Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.094750Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:4df0e2154c3943a4609a36f1f978fedde33a6978c1b88c08ab1af2f3b0373e1e","observation_id":"f1ec034c-9860-4ea2-a97a-22dd3e12dbd6","resolution":{"observed_at":"2026-07-30T16:47:13.094750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.168933Z","title":"Jomaa, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.168933Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:98189b45bfaa5fabdcad57a16d8d5dc1716335b4e802fe68fe38c10bd402a76f","observation_id":"05ce5476-d96f-4f72-841f-1336c6db42a9","resolution":{"observed_at":"2026-07-30T16:47:13.168933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.276647Z","title":"Klein, K","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.276647Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:c69d319d6c93111128b45e0d405a2a02b5feb05019bde1772b2598401a40607c","observation_id":"3e11dfb0-c710-4c9f-889b-56406db4961c","resolution":{"observed_at":"2026-07-30T16:47:13.276647Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.302903Z","title":"Kuhse, J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.302903Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:e36f9dded24a0d3c3b249c8bfbb05e0a7752e227dae7a8bab827acbe50493f2e","observation_id":"27a44736-04c9-48d8-8b3a-63ca2a1f8723","resolution":{"observed_at":"2026-07-30T16:47:13.302903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.383132Z","title":"Lammich and T","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.383132Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:036fb5ed0cbc2aa346f7f7a929ecf6f377c07c2a6e98d19f2a9d26f663635114","observation_id":"350d77cb-0479-49b1-a3e6-bf1bc9fbcd01","resolution":{"observed_at":"2026-07-30T16:47:13.383132Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.477512Z","title":"Leinenbach and T","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.477512Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:b3a81423917375842c2b08dfa88ffbd5bcfed001034411b24c623ee8c9283f61","observation_id":"e6c4aedc-9a95-46a1-ab90-f00366eb7326","resolution":{"observed_at":"2026-07-30T16:47:13.477512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.546716Z","title":"Liang, D","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.546716Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:5f38dace26ec64b172d14f1ae00cc1c00bdd7d0d825dfeda7bce68b76e878688","observation_id":"063640bf-abea-4385-b21d-c7b6b60af14a","resolution":{"observed_at":"2026-07-30T16:47:13.546716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.613127Z","title":"Lin and B","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.613127Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:955414cc7368b4a46a1992bbfb0982bce4fe9379a44b0d6200149ba4901f817e","observation_id":"b0dd70b5-8af1-4317-9e43-36c6fce4050f","resolution":{"observed_at":"2026-07-30T16:47:13.613127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.693370Z","title":"Zephyr project","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.693370Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:dcf894c938602ec42c5836b2f5610c35c78c82f04ebd223f91f27f94dd669ccb","observation_id":"253063ea-87c3-4d29-a9ee-78d12ab8b781","resolution":{"observed_at":"2026-07-30T16:47:13.693370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.794429Z","title":"Mousavi, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.794429Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:d3708cbc848ae9721b6ed9a97e9d7bfa82f2df8eed3529306c4c5d11af0e380c","observation_id":"765828ed-d6fe-41a2-8f8c-02ae45538c40","resolution":{"observed_at":"2026-07-30T16:47:13.794429Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.888672Z","title":"Nicole, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.888672Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:656da1d6fe0a098381db041ce55a0862591f5cfe706e1288c17e4f1b617b5c00","observation_id":"8e3428be-eac8-4a24-a196-b2a77717386e","resolution":{"observed_at":"2026-07-30T16:47:13.888672Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.012933Z","title":"An SMT Solver For Software Verification","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.012933Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:fce5ed05c023e4893c003db11f55136baaa949e86b66fa5bad9da01d8ee6758d","observation_id":"8222b48e-2695-48cb-9fb3-b37df8cee4e2","resolution":{"observed_at":"2026-07-30T16:47:14.012933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.098939Z","title":"Pollien, C","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.098939Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:e3fd9c35106dbbb8dd68787f3bd6390fe59980170ac19842df640dddf57c7127","observation_id":"41bed0e9-2835-4b5f-9c87-575e6ee0476f","resolution":{"observed_at":"2026-07-30T16:47:14.098939Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.193620Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.193620Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:bac187147b13eecd0e97e7d31b682c3cc58bb3b1edbb721bdda62120a0d25697","observation_id":"846d6577-a342-43b8-a45b-d0f14e49efa7","resolution":{"observed_at":"2026-07-30T16:47:14.193620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.257883Z","title":"Singh, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.257883Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:11823311bd5b13589937494bb7b1b7dfda110c0eecd7695393b3a912b1eca7ff","observation_id":"f8037daf-cbaa-4305-8013-7a6f4286b38e","resolution":{"observed_at":"2026-07-30T16:47:14.257883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.336811Z","title":"Staroletov","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.336811Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:c3a3bff13d39e78d2268b67507001220296ba2ef14fe164bf66376fd54af2b41","observation_id":"52bba761-673f-4666-adc6-6097ea00af58","resolution":{"observed_at":"2026-07-30T16:47:14.336811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.420378Z","title":"Tasche, P","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.420378Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:10ff47d4f58d9c4b4f6b944ac8cc1f5dfd31922b15fc83988d5afe4e5cb0847f","observation_id":"24399e6e-33b6-45e5-8db8-f269bcee66ec","resolution":{"observed_at":"2026-07-30T16:47:14.420378Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.511300Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.511300Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:9bf73ad3e9cad0261048787115e3071dd8b9607a67f50083da9c931a14bc1976","observation_id":"3cf421fe-4381-4bfa-aa64-777aad3f997e","resolution":{"observed_at":"2026-07-30T16:47:14.511300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.591156Z","title":"Real-Time Executive for Multiprocessor Systems (RTEMS), 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.591156Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:f0449d9ea32acac748ca382cc52fd9e3c553f3abd7f1d3f7674c4f00a86090f6","observation_id":"9817db0d-8af9-4a5b-b979-4afc51e25336","resolution":{"observed_at":"2026-07-30T16:47:14.591156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:14.661962Z","title":"Vanhems, V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:14.661962Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:16eea935ba21c8a0514f84746ee4d0cb18608958bb92babd5a45ff3d30a2d428","observation_id":"6e5949eb-69d1-4ca3-a943-e9f051cbad8c","resolution":{"observed_at":"2026-07-30T16:47:14.661962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T16:47:13.334142Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-07-30T16:47:13.334142Z"},"links":{"citing_paper":"/paper/2607.26927"},"observation_digest":"sha256:62c5e07663233f608ffe49efdc5cd1747bd267189c97db1063b497c772058d46","observation_id":"c57ad58c-645a-4dbe-9251-430c9bdad485","resolution":{"observed_at":"2026-07-30T16:47:13.334142Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.26927","last_updated":"2026-07-29T13:56:07Z","latest_version":1,"primary_category":"cs.OS","snapshot_observed_at":"2026-08-08T00:57:15.524758Z","submitted_at":"2026-07-29T13:56:07Z","title":"Deductive Verification for Earliest Deadline First Scheduler Implementations"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":42,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":42},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2607.26927."}