{"as_of":"2026-08-08T11:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c1f37b854d5263e20fd223f24244fd01f4e0c57748163e1a9dbe4690adb78f44","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:59:53.739181Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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/2505.23205/citation-record","integrity":"/paper/2505.23205/integrity","json":"/paper/2505.23205/citation-record.json","paper":"/paper/2505.23205"},"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-07T12:59:55.822237Z","title":null,"venue":null,"work_id":"16ad3ec7-90bc-4f35-9646-190c5d046fd8","year":2022},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:52.695974Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:f5cc3a22180f59c9b27152588f47a6fa942cfc6242b8f61f72ba76fdb7be4da6","observation_id":"14d78447-5d27-415a-bae3-9a96699ac346","resolution":{"observed_at":"2026-08-07T12:59:55.880318Z","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-07T12:59:55.694761Z","title":"Springer (2020)","venue":null,"work_id":"99cc542c-70a0-454a-8297-07c3f3b7a6d9","year":2020},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:52.771459Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:5c7119b8c0be560b63c644300de40a7ef67c843bb5a910fee8f5669007f0bcfd","observation_id":"c08731ec-2804-4a36-9851-cc181c90c0be","resolution":{"observed_at":"2026-08-07T12:59:55.771768Z","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-07T12:59:55.557205Z","title":"Journal of Commutative Algebra2(3) (2010).https://doi.org/10.1216/ JCA-2010-2-3-281","venue":null,"work_id":"08042a54-7942-465e-ba00-2181c6175079","year":2010},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:52.873960Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:28959ccc4829a53710401e93043e03c590c9f2eefdd112cfa2d67cf518527a48","observation_id":"7087862a-aa5a-4d4e-8692-b575f938efb4","resolution":{"observed_at":"2026-08-07T12:59:55.622111Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"10.37236/1924","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:54.610805Z","title":"The Electronic Journal of Combinatorics12 (2005)","venue":null,"work_id":"6f3aa751-ac15-40e3-a162-a334cfb9d3cf","year":2005},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:52.965544Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:91255f99610f966adad25158aa03eea83dbc470c1f6f8dace900f83c1b0e2bf0","observation_id":"cfbfb2ff-a753-40ac-8241-2a44f1606b5c","resolution":{"observed_at":"2026-08-07T12:59:54.719859Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"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":"10.1142/s0218196711006911","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:54.396269Z","title":"International Journal of Algebra and Compu- tation 21(07), 1217–1235 (2011).https://doi.org/10.1142/S0218196711006911, https://doi.org/10.1142/S0218196711006911","venue":null,"work_id":"fe0a10fb-a693-4606-a7d0-83e8b1189fba","year":2011},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.053700Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:12b948e07f2c20ed4d0d15b5ebb60e0c049d3af4f2624aa55e7ff3e6293eb53c","observation_id":"58356e92-cc9c-473f-a0e2-1862b941993c","resolution":{"observed_at":"2026-08-07T12:59:54.442563Z","resolver_source":"doi","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":"10.1112/s0024610799007917","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:54.245143Z","title":"Journal of the London Mathematical So- ciety 60(2), 420–430 (10 1999)","venue":null,"work_id":"e044322d-f33a-487f-9195-f9dd1ddd443d","year":1999},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.134391Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:a5359ead40f89f21b114a9dfb488f2590cb91ebeab80088048d784d9ad22f936","observation_id":"0f91eee0-3be9-429d-872e-c226a9d7315c","resolution":{"observed_at":"2026-08-07T12:59:54.329090Z","resolver_source":"doi","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":"10.1142/s0219498821500791","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:54.046388Z","title":"Journal of Algebra and Its Applications20(05) (2021)","venue":null,"work_id":"1c6423a0-a6f1-4e21-8428-6e176b42c26f","year":2021},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.201808Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:0636c52809b8244c7c7775714435902bb2cf720adc73958bfbf7a7b29abc32cc","observation_id":"897d9f46-4e45-4014-9e04-69ca471e0e40","resolution":{"observed_at":"2026-08-07T12:59:54.133578Z","resolver_source":"doi","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-07T12:59:55.443223Z","title":null,"venue":null,"work_id":"573e1e7a-c889-4dee-8712-efbea4d6b252","year":2024},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.282792Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:0aed6020e0185b561b16057f8cd4ad4a5ce10eab4d92a816555dd683f4be37f6","observation_id":"fee88d75-f937-4eba-b643-d2dc68947e83","resolution":{"observed_at":"2026-08-07T12:59:55.489787Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:53.361703Z","title":"IEEE Transactions on Information Theory60(1), 282–295 (2014).https://doi.org/10.1109/TIT.2013","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.361703Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:0e039fec382949314e05477ea1a63c1fca2739fe090976b27395852fd1efaea4","observation_id":"e3ed65ee-1a43-4321-af62-10c53682a3c9","resolution":{"observed_at":"2026-08-07T12:59:53.361703Z","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-07T12:59:55.262096Z","title":"Journal für die reine und angewandte Mathematik336, 165–184 (1982), http://eudml.org/ doc/152474","venue":null,"work_id":"68a91332-f08e-4a1a-a5d4-7d624e9effee","year":1982},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.442099Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:b67fea06180adfdfd2ca4192506b1ac5e99fc01781e448b485061e2600341ec1","observation_id":"1861f2a0-33f7-4c38-83c2-04dbabdedc66","resolution":{"observed_at":"2026-08-07T12:59:55.332952Z","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-07T12:59:55.154183Z","title":"Oxford University Press (2005)","venue":null,"work_id":"b4e6c549-429a-4e69-8b50-d4f14dd0851f","year":2005},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.533208Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:0332d722dc105f53ddc88922e80a1bb307dfeaca43c4ac8de91904f8963ba820","observation_id":"0bccd893-61ec-451a-8d98-414d46083f48","resolution":{"observed_at":"2026-08-07T12:59:55.202342Z","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-07T12:59:54.995441Z","title":"Springer (2009)","venue":null,"work_id":"1f143f97-9614-44e5-9bbb-dd9a57fa2683","year":2009},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.591042Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:25d118081eb3c4a2b8e3853f32859315d1bae38ee3cd3e4ea3fa6f2d3e654c92","observation_id":"624b7dc7-3352-4420-a315-5542fdd09c40","resolution":{"observed_at":"2026-08-07T12:59:55.091335Z","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":"10.1007/s00233-002-0007-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:59:53.889679Z","title":"Semigroup Forum67(1), 145–158 (2003), https://doi.org/10.1007/s00233-002-0007-3","venue":null,"work_id":"8e5f0988-03cd-4982-91c6-a2762f7aea6d","year":2003},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.671665Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:a04c498773d85524b13e0db72be28e3cae6e9bfade5f4cba67ec0156e340d224","observation_id":"ef3dbc72-7440-4f03-84f1-8f5290d3a12b","resolution":{"observed_at":"2026-08-07T12:59:53.929371Z","resolver_source":"doi","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-07T12:59:54.793044Z","title":"Journal of Pure and Applied Algebra 189(1), 301–313 (2004)","venue":null,"work_id":"d2420faf-b155-453e-9466-fcb41df55983","year":2004},"citing_paper":{"arxiv_id":"2505.23205","last_updated":"2025-05-29T07:44:32Z","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:59:53.739181Z"},"links":{"citing_paper":"/paper/2505.23205"},"observation_digest":"sha256:c4c3437f684d94f44ff535d50c9070e4cb2125ef782dc9b9e32b93afe5995b51","observation_id":"504ed148-0b92-446d-8250-dc1b93d5d079","resolution":{"observed_at":"2026-08-07T12:59:54.874634Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"2505.23205","last_updated":"2025-05-29T07:44:32Z","latest_version":1,"primary_category":"cs.DM","snapshot_observed_at":"2026-08-07T12:48:44.262459Z","submitted_at":"2025-05-29T07:44:32Z","title":"Certified algorithms for numerical semigroups in Rocq"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":4,"verified_fuzzy":4},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2505.23205."}