{"as_of":"2026-08-09T04:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bda95f9c8d1b44881b683f3a3000787f0d41fec9622dda2d82bd0a59f892f429","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T13:03:22.542996Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"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/2601.00995/citation-record","integrity":"/paper/2601.00995/integrity","json":"/paper/2601.00995/citation-record.json","paper":"/paper/2601.00995"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T13:03:17.130561Z","title":"Chasm Trap problem in Data Warehouses","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.130561Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:a83199eec53e23835708c445f4774e9079f31d7878c9c2a4d4ae4a9c642c10f9","observation_id":"8c6a9f71-3d07-4adf-b3d0-e32e2f370e51","resolution":{"observed_at":"2026-08-03T13:03:17.130561Z","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-08-03T13:03:17.279092Z","title":"2 Common SQL Join Traps (with Test Queries)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.279092Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:148c6ca70793951a6dceb5515ecec9a23fc89278051bb5140946b292117e6cd4","observation_id":"709a0f67-908e-4449-b3b1-7ac30253120b","resolution":{"observed_at":"2026-08-03T13:03:17.279092Z","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-08-03T13:03:17.344641Z","title":"Escaping SQL Traps with the Unified Star Schema","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.344641Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:5a06dac9d199a0a34eaadd79c05b1c7cca80b9d919e92856b76d469639f7b8a0","observation_id":"33bc314e-cbc4-4894-8b32-4719c15bf9ea","resolution":{"observed_at":"2026-08-03T13:03:17.344641Z","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-08-03T13:03:17.398552Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.398552Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:d059f6a6392b23e9ce2c5a40041d5ace5f2cb4a68794359f44f117f5a5c5f87a","observation_id":"a9df3df8-5562-4099-b49c-060c9e7286bf","resolution":{"observed_at":"2026-08-03T13:03:17.398552Z","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-08-03T13:03:17.576444Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.576444Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:a297d8226f9b99cab1341e6b80db9bf816162b225d8fe0ca0817eb66951dc730","observation_id":"994ffe7b-e42e-4b16-976f-f3bb4b1bed99","resolution":{"observed_at":"2026-08-03T13:03:17.576444Z","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-08-03T13:03:17.713426Z","title":"Armstrong","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.713426Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:952f107875546e817062138dd5c81cfd295ccff47cea9ff07c7cea486bfc9ee2","observation_id":"b95cf310-9af8-421e-8e6a-7a2f781b5dbb","resolution":{"observed_at":"2026-08-03T13:03:17.713426Z","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-08-03T13:03:17.838063Z","title":"Jiang, Jia Deng, Stella Biderman, and Sean Welleck","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.838063Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:6a159f45125d1bedf0f3fe496d97fe1e90194f9d0ba6af64c7fd2016a105801c","observation_id":"431beb32-3bde-48b1-9eb1-d295d5c2e5c6","resolution":{"observed_at":"2026-08-03T13:03:17.838063Z","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-08-03T13:03:18.016437Z","title":"2013.Idris, a general-purpose dependently typed programming language: Design and implementation","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.016437Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:044e6dd3fe045ef1e6cd1b2297a485e40ac0d3ad064923dd4c552594b65aceee","observation_id":"632fb802-63db-4a72-8fa9-2fc4c230b09c","resolution":{"observed_at":"2026-08-03T13:03:18.016437Z","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-08-03T13:03:18.104595Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.104595Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:0e9e9dda24afe8bab6135e9c698bd02dc9073f09efce4cb45d5c9c84b88c5326","observation_id":"9ee085d9-b473-4aae-986d-2cc44b192aa3","resolution":{"observed_at":"2026-08-03T13:03:18.104595Z","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-08-03T13:03:18.199070Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.199070Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:70e3c5b840fe0976728e1f5ee2a13486b4448be7b485e0bb71302686fe83322a","observation_id":"ce3dc335-4bc8-4075-b382-85cc17443009","resolution":{"observed_at":"2026-08-03T13:03:18.199070Z","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-08-03T13:03:18.250550Z","title":"2012.Data Matching: Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.250550Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:daccf3616b1f40da83f4f849078198df636f9f1594af1d16875139ba5493044e","observation_id":"a5c55b09-4c66-4a07-b114-addcc6257cd2","resolution":{"observed_at":"2026-08-03T13:03:18.250550Z","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-08-03T13:03:18.328945Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.328945Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:8d3eb547432e366e7f678078aec3d5ff2fd517f0432eadd10412c9d93f80a83e","observation_id":"204b7aa4-0cfc-4403-8355-2f044a7b6745","resolution":{"observed_at":"2026-08-03T13:03:18.328945Z","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-08-03T13:03:18.395761Z","title":"Ilyas, and Paolo Papotti","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.395761Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:5824f7d73653e0be3f20925b0918f8f578bb1f7a70438c035eb176230cae666e","observation_id":"adbbd1f9-fd62-4b9b-82ff-69fc9959cb0c","resolution":{"observed_at":"2026-08-03T13:03:18.395761Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2001.00338","last_updated":"2020-01-02T06:26:36Z","snapshot_observed_at":"2026-07-06T08:48:05.067089Z","submitted_at":"2020-01-02T06:26:36Z","title":"Informal Data Transformation Considered Harmful","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2001.00338","snapshot_observed_at":"2026-08-03T13:03:18.479732Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.479732Z"},"links":{"cited_paper":"/paper/2001.00338","citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:7c9152fc3b76548c25ead053668968c63706aaf58122dd35543ed99becb53f3e","observation_id":"23d78f27-faad-4437-966c-82292e353b89","resolution":{"observed_at":"2026-08-03T13:03:18.479732Z","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-08-03T13:03:18.548533Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.548533Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:3c192a8758dbae4eb5f6df22194132197bde82d9afc4ae60b221b63bfd59b2dd","observation_id":"5427be85-6b96-46de-bc12-d52bbb3b73b0","resolution":{"observed_at":"2026-08-03T13:03:18.548533Z","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-08-03T13:03:18.581601Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.581601Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:c137a67d0126cbfd4996a40570bbc1263bccd258a078ec57174cc09f26c4969c","observation_id":"df603a94-c4f5-4032-9192-7e923c1c9b8d","resolution":{"observed_at":"2026-08-03T13:03:18.581601Z","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-08-03T13:03:18.623163Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.623163Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:525826816505fae3a3a7994a6808e83d4d856b54a6c2d169d0d19d814bc8cdab","observation_id":"d9dc3822-2d13-4bd9-9e98-70b4476c71c2","resolution":{"observed_at":"2026-08-03T13:03:18.623163Z","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-08-03T13:03:18.683030Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.683030Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:c116fe1db07b3479a709159c290a94c149a00cb7842a6fc39bedeb1400f415e5","observation_id":"bb3debca-7ab3-44a8-b067-04a6e141afe4","resolution":{"observed_at":"2026-08-03T13:03:18.683030Z","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-08-03T13:03:18.740185Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.740185Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:e6bce7a9a90a62a1a6cd19fdf647d16949029652f87fcdf078e9e24dbefba867","observation_id":"1b79f2d0-b8c6-4a83-b783-da42c358f855","resolution":{"observed_at":"2026-08-03T13:03:18.740185Z","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-08-03T13:03:18.827052Z","title":"Elmagarmid, Panagiotis G","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.827052Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:7b52b8f8b7aad7f063b247672076d59cc3b8a94fb460f95cb29930438b292ff7","observation_id":"2a80d2d0-99a9-48ce-9559-bbf02b3f4096","resolution":{"observed_at":"2026-08-03T13:03:18.827052Z","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-08-03T13:03:18.886401Z","title":"Kolaitis, Lucian Popa, and Wang-Chiew Tan","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.886401Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:77b8238308efb4700533a6e468f267b2560f404f32bf79a38539a2202225b2a4","observation_id":"dbe2fc42-34a7-467f-8239-0c0850b706a4","resolution":{"observed_at":"2026-08-03T13:03:18.886401Z","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-08-03T13:03:18.961073Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:18.961073Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:4fb731e018836286772b227712cdaa7815764b464443931bdb3997fef86020da","observation_id":"7431a698-b8f2-4724-8ac9-4251d29e3af3","resolution":{"observed_at":"2026-08-03T13:03:18.961073Z","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-08-03T13:03:19.022874Z","title":"Rabe, Talia Ringer, and Yuriy Brun","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.022874Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:d33573e3f3400e8ce70b210a0e28b3d05dd602072a7657c696b41e29a485fcf0","observation_id":"d2261f64-ef02-4693-bfad-b40c4281f0d8","resolution":{"observed_at":"2026-08-03T13:03:19.022874Z","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-08-03T13:03:19.084698Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.084698Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:439e053049651aa02a27018ff84fc512880198817e6ce8361381a575ed5289ed","observation_id":"464c91dc-8952-493d-a178-53fac61d115d","resolution":{"observed_at":"2026-08-03T13:03:19.084698Z","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-08-03T13:03:19.126282Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.126282Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:14f85603fdfcfe28d114dfdebc14191e0333954f12f8215497bf98b793224744","observation_id":"650e6a44-1812-47b8-b73d-a17d80dc6451","resolution":{"observed_at":"2026-08-03T13:03:19.126282Z","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-08-03T13:03:19.233244Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.233244Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:34bc890d25ef28166f4ca67efe383ccbfc1de0f8864ce76f0d34096f6d1a39ae","observation_id":"b91271ba-7122-4a56-816a-94c1de692b1a","resolution":{"observed_at":"2026-08-03T13:03:19.233244Z","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-08-03T13:03:19.337886Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.337886Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:76b2e054cbd158fddfd72ba93b2a047ddb2ccb7617c04ecb39d26029f3999096","observation_id":"ddfa8a6a-b2b0-4323-9ccf-31f340df87bb","resolution":{"observed_at":"2026-08-03T13:03:19.337886Z","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-08-03T13:03:19.452375Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.452375Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:2f0c53652a2248f930c2011fc70ca4b0af86a14be333412f96aef88f05da8094","observation_id":"66172fb9-e1a4-48f1-83eb-d410020ce63c","resolution":{"observed_at":"2026-08-03T13:03:19.452375Z","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-08-03T13:03:19.495241Z","title":"1996.The Data Warehouse Toolkit: Practical Techniques for Building Dimensional Data Warehouses","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.495241Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:75b929b5760f3910862399a648b2b2561c7e689598834f2caa45d02c96135930","observation_id":"78385522-0d57-4bca-a9b8-daf4027d8c36","resolution":{"observed_at":"2026-08-03T13:03:19.495241Z","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-08-03T13:03:19.534481Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.534481Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:03b0d58ca0bd42fc23e5bf2a6492054545af89ffac073c266b1c7e806d4ff75d","observation_id":"4c6c39b9-714d-4827-803b-15118a9dda23","resolution":{"observed_at":"2026-08-03T13:03:19.534481Z","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-08-03T13:03:19.588800Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.588800Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:9b0b3ae9ddad88880a636d3e2e4ef2cb7e185978fa7b30b41c72b600d5df4304","observation_id":"4632e8b1-01d2-4c09-bc9a-d03869be0045","resolution":{"observed_at":"2026-08-03T13:03:19.588800Z","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-08-03T13:03:19.702750Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.702750Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:c8c90725987261f5d5c7ea4ca86d47be0737c728f29b3b0a8612ea5d31125ffb","observation_id":"b7166a0f-27da-45fb-9675-88ed9cddae6f","resolution":{"observed_at":"2026-08-03T13:03:19.702750Z","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-08-03T13:03:19.757969Z","title":"2004.Elements of Finite Model Theory","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.757969Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:d9b86fa5eba00ea1cbc0ffe178dafa16720e944bb741dc726d1793d81eeb269f","observation_id":"fa0f57bb-7629-4f8d-982d-44fda7951f27","resolution":{"observed_at":"2026-08-03T13:03:19.757969Z","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-08-03T13:03:19.837388Z","title":"1998.Categories for the Working Mathematician(2nd ed.)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.837388Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:ce54acd7cce4544242d8e521681de8a98f888e733139e88db543a05ff2388bbf","observation_id":"21ce2684-bb90-42d0-889e-e4ee180b0e8b","resolution":{"observed_at":"2026-08-03T13:03:19.837388Z","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-08-03T13:03:19.982885Z","title":"Bernstein, and Erhard Rahm","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.982885Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:60020fbdd56a9fa446f2cf402028ecc3b16948e9b5f0f08c6284f3f8af897558","observation_id":"e15092ce-5035-4e11-94d5-d20e83e2f817","resolution":{"observed_at":"2026-08-03T13:03:19.982885Z","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-08-03T13:03:20.152176Z","title":"1984.Intuitionistic Type Theory","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.152176Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:0063c67c90f2fd4b4d8d30d2f27b4ca76f3290aaea319dc1f540808c35623bb2","observation_id":"088fdd89-6ff5-4c04-a4ba-acee11075520","resolution":{"observed_at":"2026-08-03T13:03:20.152176Z","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-08-03T13:03:20.332487Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.332487Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:e11fe54a485959e9d809bffd3562b5818e8b66c5626ff86918855b1f5f6a9445","observation_id":"885ab351-3cd6-4bc3-8744-09d674aa824c","resolution":{"observed_at":"2026-08-03T13:03:20.332487Z","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-08-03T13:03:20.446430Z","title":"2014.Programming in Scala: A Comprehensive Step-by-Step Guide","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.446430Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:97c6d5f0f91e2a328809cdea2c1c108c836c1d314f209489361bee24933450ae","observation_id":"2084ca62-bdc7-4361-ab38-226eb51503f3","resolution":{"observed_at":"2026-08-03T13:03:20.446430Z","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-08-03T13:03:20.615413Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.615413Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:9526a791438a08eb0d58a5d41e8e3862ef0d026b3ad417fbeff173ea17f929a9","observation_id":"d7e23de7-7cbd-4609-bb22-d6aa6b45f9ae","resolution":{"observed_at":"2026-08-03T13:03:20.615413Z","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-08-03T13:03:20.911334Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.911334Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:5f222eb9304e90b07d85c651c51bb14befcd027f1e9ef5f86cbced05f7f38840","observation_id":"c936d881-24b6-4ca6-b56f-f2fd09802bfc","resolution":{"observed_at":"2026-08-03T13:03:20.911334Z","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-08-03T13:03:21.015364Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.015364Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:aef30b0a4029b5ceabd2da241dc2c3d9fd1654e2fcafc79f611a578ef6b36096","observation_id":"24428596-7702-4e1c-b7a7-d89b56302219","resolution":{"observed_at":"2026-08-03T13:03:21.015364Z","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-08-03T13:03:21.129453Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.129453Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:815da664dd4c4a49ee475a6d66f1d2fee6d855e05b22e56e506f9aa8de9009c0","observation_id":"f74df2db-3776-4b1a-a188-5dab3ce71c67","resolution":{"observed_at":"2026-08-03T13:03:21.129453Z","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-08-03T13:03:21.279409Z","title":"Bernstein","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.279409Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:27780d8715bb0d55314cb436c9b23d1ea7971890d4fa6f4146c16dcb143abaea","observation_id":"d4aba069-bc70-49e7-8900-454b6b56807a","resolution":{"observed_at":"2026-08-03T13:03:21.279409Z","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-08-03T13:03:21.416496Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.416496Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:7860abb6f4e2a94bba1028092d0b6ffabdfc0d3a177cef1d9c43668ef13d45f2","observation_id":"6699228b-4533-4bbd-bd3e-1ad31d0d0dab","resolution":{"observed_at":"2026-08-03T13:03:21.416496Z","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-08-03T13:03:21.531900Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.531900Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:06e00c6bae433ba9a1bbdfdb35f948a717ff70102ed9638f7ca16f0645bc2e10","observation_id":"08c545da-5096-40d9-b4e7-f6725eef7db3","resolution":{"observed_at":"2026-08-03T13:03:21.531900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2301.04846","last_updated":"2023-01-12T07:17:42Z","snapshot_observed_at":"2026-07-06T14:40:35.235416Z","submitted_at":"2023-01-12T07:17:42Z","title":"Algebraic Model Management: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.04846","snapshot_observed_at":"2026-08-03T13:03:21.672132Z","title":"Spivak, and Ryan Wisnesky","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.672132Z"},"links":{"cited_paper":"/paper/2301.04846","citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:0b6a3501b5383bb079d3bfa883885583c39e1b653e0b07e342a0f5b9b292c62f","observation_id":"350e9813-ab6a-4c39-b6e8-edb96c754683","resolution":{"observed_at":"2026-08-03T13:03:21.672132Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1503.03571","last_updated":"2025-03-27T20:32:55Z","snapshot_observed_at":"2026-08-03T03:36:03.674900Z","submitted_at":"2015-03-12T03:10:25Z","title":"Algebraic Data Integration","version":8},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1503.03571","snapshot_observed_at":"2026-08-03T13:03:21.811352Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.811352Z"},"links":{"cited_paper":"/paper/1503.03571","citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:9601571e30a72b82e8b6ecb18110c9c11f026f7f94d0979bc4eba90c85cb5731","observation_id":"953126d8-d628-4316-ab42-481f476e6661","resolution":{"observed_at":"2026-08-03T13:03:21.811352Z","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-08-03T13:03:21.902568Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:21.902568Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:4a9834a26082355a722593e80cd13e56b37fd69238a906cdd2f59067f2e96595","observation_id":"e062c627-3435-4e9d-944c-330764bda54f","resolution":{"observed_at":"2026-08-03T13:03:21.902568Z","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-08-03T13:03:22.009174Z","title":"Siek and Walid Taha","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.009174Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:48d7b25ce9a0054b2ec083bda3b8bb69478b94c196983198303a37ca690103fb","observation_id":"5a379d04-d526-41de-8283-e559ff84f223","resolution":{"observed_at":"2026-08-03T13:03:22.009174Z","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-08-03T13:03:22.095596Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.095596Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:2aee578c8cd2a0963fb0d91595387d78caf638284f85e792dbf12aa914e08129","observation_id":"7ba85302-0ceb-43e3-a4ed-84a0dda472c0","resolution":{"observed_at":"2026-08-03T13:03:22.095596Z","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-08-03T13:03:22.161001Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.161001Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:b6b2588178bf1b5aaddaad92da832462f1cb7d0994f24d35738739f07076e266","observation_id":"cc83d64a-4216-4ca4-8de0-e6e2cbb1cb23","resolution":{"observed_at":"2026-08-03T13:03:22.161001Z","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-08-03T13:03:22.222363Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.222363Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:6e7c44f296dfb4cf1111ed9829ae9f62fd43d3440279d7f7a6cbe626590c0944","observation_id":"436adc3c-de7e-4e49-bb28-2eba3866db71","resolution":{"observed_at":"2026-08-03T13:03:22.222363Z","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-08-03T13:03:22.289924Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.289924Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:177a327add898e9b86514e17cb63ab4838fc49f73e5936e1daa205025b2aa206","observation_id":"07442a31-b228-4c4d-81bd-33a57ee0f6c9","resolution":{"observed_at":"2026-08-03T13:03:22.289924Z","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-08-03T13:03:22.374874Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.374874Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:21d5b8385c67df3b199883b88f1a2cf5d71ec82dc53f945b4dcc4ae72ce5fa5b","observation_id":"cf025fee-779a-48f9-be3b-8b69b9adf74e","resolution":{"observed_at":"2026-08-03T13:03:22.374874Z","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-08-03T13:03:22.456710Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.456710Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:7019d3c2dcc6f767b41de2d2ca1eecf91b93b5c69743f51f57300487331fe401","observation_id":"09d577b9-e7a0-459c-89f7-8e34971c2e6a","resolution":{"observed_at":"2026-08-03T13:03:22.456710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-07-06T15:47:26.532273Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-03T13:03:22.542996Z","title":"coarsened","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:22.542996Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:8ae8d038497de3966f3b066237b8fd14cf04a95bf5b4aed17196fff1566c973f","observation_id":"7619f6cd-3f18-4f83-8b7c-9397ebd10a1e","resolution":{"observed_at":"2026-08-03T13:03:22.542996Z","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-08-03T13:03:20.792538Z","title":"InJournal of Functional Programming, Vol","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:20.792538Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:8d1e508ebbcb5d02cab23ecaf9f3547508f8966456748f7f66cf41899f4fc0d6","observation_id":"abea9738-3a4d-499a-8ef3-4e6fedba8be9","resolution":{"observed_at":"2026-08-03T13:03:20.792538Z","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-08-03T13:03:17.449424Z","title":"InProceedings of the 2017 ACM SIGMOD Interna- tional Conference on Management of Data","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.449424Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:7cb6ffe1b4089f776de40631d8be059fd8f165a54f3789c09cde43edbab03589","observation_id":"88168f60-b45d-462b-a1b1-6017eade9441","resolution":{"observed_at":"2026-08-03T13:03:17.449424Z","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-08-03T13:03:19.396855Z","title":"InProceedings of the 2018 International Conference on Management of Data","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:19.396855Z"},"links":{"citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:d588b32d61ba4ec6f7c463a8af586ea2b28ee0b910596085b51fd3d3b5da5db2","observation_id":"4740889c-c469-415d-bdaf-cb2435cdc11c","resolution":{"observed_at":"2026-08-03T13:03:19.396855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-03T13:03:17.939767Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:17.939767Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2601.00995"},"observation_digest":"sha256:fdeb98db3ab06f4dc1e8b3b9d5ccfb425a333ab5bc26c8db3507a42d582be2b8","observation_id":"f8f5f34d-3130-4fda-b531-6bdaa08ddacb","resolution":{"observed_at":"2026-08-03T13:03:17.939767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2601.00995","last_updated":"2026-05-27T16:53:49Z","latest_version":2,"primary_category":"cs.DB","snapshot_observed_at":"2026-08-09T00:24:00.152837Z","submitted_at":"2026-01-02T22:26:31Z","title":"Grain Theory: Type-Level Granularity Correctness in Data Pipelines"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":60,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":60},"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 9 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2601.00995."}