{"as_of":"2026-08-14T00:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:830ded42bb876995c6d9fbd5df376fad7dca24c9c198c4bd71398ac14e7b6094","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-07-12T15:24:30.468738Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T19:49:31.006648Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-03T09:17:48.545006Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"cited_work":{"arxiv_id":"2606.01438","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.01438","snapshot_observed_at":"2026-07-03T09:17:48.545006Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","venue":"cs.LO","work_id":"d7aa6f91-b8e3-48a8-846f-1839b6dddaeb","year":2026},"citing_paper":{"arxiv_id":"2606.11430","last_updated":"2026-08-09T18:31:54Z","snapshot_observed_at":"2026-08-13T23:28:25.117027Z","submitted_at":"2026-06-09T20:29:18Z","title":"Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T10:27:09.499856Z"},"links":{"cited_paper":"/paper/2606.01438","citing_paper":"/paper/2606.11430"},"observation_digest":"sha256:d1f793bd60d3a1145efd25637974c3a67b3bc83135dada03213fb57d621eeedd","observation_id":"5da50e63-1bdf-4a7b-9ccb-8e8372d989d5","resolution":{"observed_at":"2026-07-03T09:17:48.546425Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.01438","snapshot_observed_at":"2026-08-02T11:50:19.434096Z","title":"Mayeux and J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.11430","last_updated":"2026-08-09T18:31:54Z","snapshot_observed_at":"2026-08-13T23:28:25.117027Z","submitted_at":"2026-06-09T20:29:18Z","title":"Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T11:50:19.434096Z"},"links":{"cited_paper":"/paper/2606.01438","citing_paper":"/paper/2606.11430"},"observation_digest":"sha256:c2a648d83e2013f00e7c6f7cb9a9120aec875635818907ca6a6d2f529f93d752","observation_id":"b7d056de-402f-4f79-942d-2dce393fa925","resolution":{"observed_at":"2026-08-02T11:50:19.434096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.01438","snapshot_observed_at":"2026-08-11T19:49:31.006648Z","title":"Mayeux and J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09305","last_updated":"2026-08-10T08:52:54Z","snapshot_observed_at":"2026-08-13T23:42:57.521273Z","submitted_at":"2026-08-10T08:52:54Z","title":"Dilatations of categories, via their lean formalization","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T19:49:31.006648Z"},"links":{"cited_paper":"/paper/2606.01438","citing_paper":"/paper/2608.09305"},"observation_digest":"sha256:07fdc2ad103e2ba6717070d865d0fdbc32a783903e3d6c172ab5f17bd376005a","observation_id":"19722f68-2adc-43ed-8989-cef6fd902ccb","resolution":{"observed_at":"2026-08-11T19:49:31.006648Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.01438/citation-record","integrity":"/paper/2606.01438/integrity","json":"/paper/2606.01438/citation-record.json","paper":"/paper/2606.01438"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T15:24:30.468738Z","title":"Bouthier, E","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:5e74c8b8cc1b2b59740e0cd2cbeb317927cb99ffdceb8adb09a64cd2f80b876f","observation_id":"81bcde59-c964-4577-8a2b-39b86794b989","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:c71a609b9ed04cf62d4d46193ccab59c06e984e633c9495ca0cfdb3cf9e26f0b","observation_id":"725dad8b-7c3c-4753-b200-b930de00a6ae","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.17003","last_updated":"2024-07-30T08:18:07Z","snapshot_observed_at":"2026-08-13T11:06:02.505767Z","submitted_at":"2023-06-29T15:01:49Z","title":"A survey on algebraic dilatations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.17003","snapshot_observed_at":"2026-07-12T15:24:30.468738Z","title":"Dubouloz, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"cited_paper":"/paper/2306.17003","citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:795de3accc5e240016a084405b211cfaf98f49ed5619c3c84bf110e44cb44765","observation_id":"098816e8-8483-441a-8fbf-a4c9127ade81","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Etude globale elementaire de quelques classes de morphismesPublications mathématiques de l’I.H.E.S., tome 8 (1961), p","venue":null,"work_id":null,"year":1961},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:b547e2bc93fdc633f0dba7526bffe5994aec1643f843f0ccfa247413f71ff577","observation_id":"0d05cb18-1320-444d-bf04-a909e0bba7d7","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03139","last_updated":"2021-07-07T10:56:01Z","snapshot_observed_at":"2026-08-03T11:31:05.922735Z","submitted_at":"2021-07-07T10:56:01Z","title":"Tropicalization of toric prevarieties","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03139","snapshot_observed_at":"2026-07-12T15:24:30.468738Z","title":"Kuronya, P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"cited_paper":"/paper/2107.03139","citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:21eb0ab7baac720cdfc0683cb5d7366a53403571498522827e15f70883d1cff5","observation_id":"8dcd4ad3-4dc7-44ff-b14d-631560109d82","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Li and J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:802387592de8ad0cae0696b18efbc2746082b9824f510aeec20d5de182add48a","observation_id":"d48fe3a3-5487-4979-8551-58462e1469b6","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:55de9ca2baf2e023682fade57a66812f1642c3a5f1cc3e80446ed92509ea59e3","observation_id":"51c0ae01-373e-44cd-a5a0-df57f4d7d039","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"MayeuxMulti-centered Dilatations, Congruent Isomorphisms and Rost Dou- ble Deformation Space.Volume 31, pages 1801–1850 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:d9d71070a31659ddbd79f242528024cc2324808414dc1c1a3c671a96809012d4","observation_id":"b51e3031-25ff-4ae9-8254-615d191df544","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Mayeux and S","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:4dedc6795c529f063a5651e73d77204ab721a0c8f92d9ecad1cb953cbe53ebfb","observation_id":"fe436e86-9c5c-4255-8595-e22d4d74a47c","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Mayeux and J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:da6c8f4cf5faf02161ffbd41e953e325fe3f36678bb92c1546dd18647d6a0657","observation_id":"3a20787a-51f1-41c9-ac38-374df7d3f435","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Mayeux and J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:649ccfe7d93e16bbe3a32276e01ea3d76689188b88a3a345f1bc108f5ac8bbe1","observation_id":"345ac4e4-5703-4579-a14d-6e0ce72f6ab3","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":"Zhang,Formalising the Proj construction in Lean, in14th International Con- ference on Interactive Theorem Proving, Art","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:21c97598239e38cfc75d3d9c5a8d907cf11ec15624fdc6fabc0fb392bd566cf8","observation_id":"2d0b472b-370e-44b6-99d4-a6dee6276cb2","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","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-12T15:24:30.468738Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:4d4d8622755d570705d7647b1a8c1be353e98e1e416d64a7d4af489af99b29b6","observation_id":"a6df1aa5-5a89-417e-8086-107ad244d5c3","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.13703","last_updated":"2026-04-04T01:27:16Z","snapshot_observed_at":"2026-07-06T22:49:01.769027Z","submitted_at":"2026-03-14T02:20:02Z","title":"An algorithm for the minimal model program in dimension three","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.13703","snapshot_observed_at":"2026-07-12T15:24:30.468738Z","title":"Yasuda,An algorithm for the minimal model program in dimension three, (2026) arXiv:2603.13703 33","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T15:24:30.468738Z"},"links":{"cited_paper":"/paper/2603.13703","citing_paper":"/paper/2606.01438"},"observation_digest":"sha256:1a9c0b1967499ad6ef22d8ad0f34893bd9fc9cded05e61e3b5b096f73538f2da","observation_id":"e69acb7f-4a7a-4edc-9d47-9a809d5fde09","resolution":{"observed_at":"2026-07-12T15:24:30.468738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.01438","last_updated":"2026-07-08T14:43:12Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-01T17:37:31.444753Z","submitted_at":"2026-05-31T20:17:31Z","title":"Formalizing multi-graded Brenner-Schr\\\"oer Proj schemes and dilatations of rings in Lean4"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 3 inbound Pith citation observations for arXiv:2606.01438."}