{"as_of":"2026-08-08T14:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c5e4f6ae6cfd480df2904305f2d133d609820f39cb9a34da859913d3ebde9bcd","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:25:36.618255Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.08287/citation-record","integrity":"/paper/2506.08287/integrity","json":"/paper/2506.08287/citation-record.json","paper":"/paper/2506.08287"},"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-07T05:25:36.787457Z","title":"Manuscript on fine structure, inner model theory, and the core model below one Woodin cardinal","venue":null,"work_id":"0d6ad3b1-deac-4052-9faa-3e4796f40d73","year":null},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.572239Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:81a5a37fb0ade39515e9bf53a1546d932df73a49af640933cf04664d5778e0e5","observation_id":"196c5985-4a26-4d74-b38c-f37dc8637215","resolution":{"observed_at":"2026-08-07T05:25:36.791561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.777072Z","title":"Fine structure for plus-one premice","venue":null,"work_id":"572c08c2-8d02-4ed1-bcbe-ae9da5870aec","year":2014},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.576324Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:93ce8c063d6f6d5dbd837d928c9e33512f711b6e47b877650f52b885b4d0840d","observation_id":"98ffd991-c7c0-4d31-97a2-91533f239d50","resolution":{"observed_at":"2026-08-07T05:25:36.780722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.766365Z","title":"Plus-one premice","venue":null,"work_id":"d53611b7-b9b1-45fd-83ad-4b09fd8caf59","year":2014},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.581027Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:c65eb60277b9b69efa6a92053eba6098bda1c036fab014345bd97fadbce10151","observation_id":"de55de3d-910e-49ea-a0cf-3df1f65bb446","resolution":{"observed_at":"2026-08-07T05:25:36.769685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.10037","last_updated":"2025-05-20T18:30:21Z","snapshot_observed_at":"2026-08-08T07:04:17.161030Z","submitted_at":"2020-11-19T18:55:46Z","title":"Fine structure from normal iterability","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.10037","snapshot_observed_at":"2026-08-07T05:25:36.584521Z","title":"Fine structure from normal iterability","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.584521Z"},"links":{"cited_paper":"/paper/2011.10037","citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:ca5695873ec206545b34d625d914d54e65df4b4f6261c3d2ec12c21f2ce62a2c","observation_id":"dbb3b012-2c46-494e-a0d9-f1c89eedc0f3","resolution":{"observed_at":"2026-08-07T05:25:36.584521Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.03359","last_updated":"2024-03-18T09:00:18Z","snapshot_observed_at":"2026-08-08T12:15:53.875832Z","submitted_at":"2021-02-05T18:56:14Z","title":"Full normalization for transfinite stacks","version":3},"cited_work":{"arxiv_id":"2102.03359","doi":null,"metadata_source":"pith","pith_arxiv_id":"2102.03359","snapshot_observed_at":"2026-08-07T05:25:36.679063Z","title":"Full normalization for transfinite stacks","venue":"math.LO","work_id":"c15a45f2-9070-477a-900d-723147f3b6ac","year":2021},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.588848Z"},"links":{"cited_paper":"/paper/2102.03359","citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:05ee36a40e63f4f07bce8f492e79196391b1d22bbaf7f75f67e965e7fd62a7c9","observation_id":"328bf829-e875-4546-aab4-85e47e4fdf91","resolution":{"observed_at":"2026-08-07T05:25:36.683057Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.13827","last_updated":"2025-06-11T11:00:39Z","snapshot_observed_at":"2026-07-06T15:46:10.123461Z","submitted_at":"2023-06-24T00:49:50Z","title":"The initial segment condition for $\\kappa^+$-supercompactness","version":3},"cited_work":{"arxiv_id":"2306.13827","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.13827","snapshot_observed_at":"2026-08-07T05:25:36.664052Z","title":"The initial segment condition for $\\kappa^+$-supercompactness","venue":"math.LO","work_id":"64db1095-8ced-4be8-b93c-a21d612a9eb6","year":2023},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.592673Z"},"links":{"cited_paper":"/paper/2306.13827","citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:aa6e55c28813195b42f55bb9deb05e0075a0a7b66882471b8be769e1f8b1137a","observation_id":"3224355f-e598-4bd1-a959-875d0d9c9a35","resolution":{"observed_at":"2026-08-07T05:25:36.668257Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.756092Z","title":"A premouse inheriting strong cardinals fromV","venue":null,"work_id":"3f9703cc-d3e4-4dd6-a5c0-ce62c56e590e","year":2020},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.596881Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:32e5412d8a40221f9fe18d72656154923de3ba9692f2db370f77d8e993986ff7","observation_id":"858c2f02-56ac-4e52-958a-7c914cf0b284","resolution":{"observed_at":"2026-08-07T05:25:36.759719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.745730Z","title":"Iterability for (transfinite) stacks.Journal of Math- ematical Logic, 21(2), 2021","venue":null,"work_id":"a2d47d95-56d8-465d-93f6-66004f5bf640","year":2021},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.600414Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:dc656d04b902c4af8e2c1862208de94bc703199df34e89c45ed74b104528fee1","observation_id":"87bb1637-f836-44a0-8f66-01d983c91e41","resolution":{"observed_at":"2026-08-07T05:25:36.749305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2207.11065","last_updated":"2022-07-22T13:09:38Z","snapshot_observed_at":"2026-08-06T15:16:58.121812Z","submitted_at":"2022-07-22T13:09:38Z","title":"Full normalization for mouse pairs","version":1},"cited_work":{"arxiv_id":"2207.11065","doi":null,"metadata_source":"pith","pith_arxiv_id":"2207.11065","snapshot_observed_at":"2026-08-07T05:25:36.646250Z","title":"Full normalization for mouse pairs","venue":"math.LO","work_id":"de043bbd-4f0f-4752-a2cf-fb0924d266b3","year":2022},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.603845Z"},"links":{"cited_paper":"/paper/2207.11065","citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:37f6642c1c0f425cbef537f6dacf3e9d0bc357ef407ae0745325d9a1f7e4ba66","observation_id":"5afbed4b-fd1e-46f6-9912-c96e2e1231fe","resolution":{"observed_at":"2026-08-07T05:25:36.651933Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.735602Z","title":null,"venue":null,"work_id":"f7d9c3a5-b3f1-428d-b524-89f834e24fd1","year":2002},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.607654Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:a39a155584f6f3cd5a844d3218738e880f2539412c35339d61180e0b0f30bbd7","observation_id":"9797e985-e1b2-4aa9-8638-b1b15dbfe0c9","resolution":{"observed_at":"2026-08-07T05:25:36.739044Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.724304Z","title":null,"venue":null,"work_id":"7db6452a-42d4-443d-901d-eab5ab8c62c4","year":2016},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.611065Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:36ac83fc3ecae49644bcc0ef39e247abf3c8f7deef13c822cca5a6c29a5086c2","observation_id":"c2ac60f8-65f3-425a-bff0-1af15ae1ccc9","resolution":{"observed_at":"2026-08-07T05:25:36.727789Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.712552Z","title":"Steel.A Comparison Process for Mouse Pairs","venue":null,"work_id":"7c39cac4-e06f-4ab0-8611-5ed7d752de5d","year":2022},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.614170Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:3176cadd271b91da5a3ee84003e58654119f8d68e53d892c9dba214323c40fd8","observation_id":"f3acda88-6011-430f-9c17-48c9d1c1519d","resolution":{"observed_at":"2026-08-07T05:25:36.716251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T05:25:36.700955Z","title":"PhD thesis, 2017","venue":null,"work_id":"1b8b5448-3881-46eb-91b6-0a1b484b2728","year":2017},"citing_paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:25:36.618255Z"},"links":{"citing_paper":"/paper/2506.08287"},"observation_digest":"sha256:ac05733b48c4ee6e13e50632539080bac2df1779986130c9a9feac2f2c304144","observation_id":"5f672d72-1564-47e2-b20f-a824af2e72a4","resolution":{"observed_at":"2026-08-07T05:25:36.704849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08287","last_updated":"2025-06-09T23:28:19Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-08T10:58:49.307342Z","submitted_at":"2025-06-09T23:28:19Z","title":"Full normalization for $\\kappa^+$-supercompactness"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":3,"verified_fuzzy":7},"total_outbound_references":13},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2506.08287."}