{"as_of":"2026-08-17T23:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6e0d8c27ef89e41a497aee319581688f2216925b7de16db204ee6df48cb19903","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-17T06:30:58.91139+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-16T01:02:00.207901Z","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:f32a9de651b134e657e2d4190253e3eedf8d827273f34ae3eb50a202f4b7a3da","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-16T01:02:00.207901Z","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:6cf9ba6fd47e8356fb189c24298a67189335815e622b937846be7f569f4bbe7f","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-16T01:02:00.207901Z","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:d1fb4829176ad5802ea1b7b9fc9018d5213df30ad990251a6678ae0c547e5132","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-16T01:02:00.207901Z","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:68efafe57fad453f4cff7d30d837c4be427bb066cad369d6b30c1704804fc35b","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-16T01:02:00.207901Z","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:b62a88c2750962a2fd6e534d902b9673c052b5543a107401528584af3b672ac7","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-16T01:02:00.207901Z","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:9154bb86e374bfe447fda752ff7265bd542fc70b1e31904d759c61583978550a","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-16T01:02:00.207901Z","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:d9cbd57d65d933fcc7b1f4895e14a9f4d8e1b2db0ac8908c8aaec15ec7f0ab39","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-16T01:02:00.207901Z","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:e7266eed4313f81a8da9b020307fd9cf9344329aa12ffc02d084c50dbcab58a7","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-16T01:02:00.207901Z","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:be424117209d8d6ffc9df8d9afde641fcde2f391ec3e2c9eae90e1f7a4ae98bb","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-16T01:02:00.207901Z","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:44429c2d559a82c1e18311461fea209216cdd793dc69cb87ca1f4969d0981ccc","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-16T01:02:00.207901Z","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:5e191d70819e1d21b8dbcc2121c172ca81a3fe47ccc91b2a11cbc7d97284e3e8","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-16T01:02:00.207901Z","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:b555166902519a47379af39c338843cf56020b7915f87348e7a73770904c24be","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-16T01:02:00.207901Z","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:87cb2494f165cfee8641a247838bc4828d371d4c029cc41c26d0575b540c0a37","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-08-12T22:11:16.819751Z","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-16T01:02:00.207901Z","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:261ad7a06825d896d398514a838656221523a3c6426231103591c57faf053e22","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-16T01:02:00.207901Z","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:68d53ab69f019c3337aa36b8bac2715e409f514f4af255b1480f5758ce00358a","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-16T01:02:00.207901Z","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:d9f709eb8b9d500f6c68153eb38172f2922fef7f8fb2a850caf0546a9a5da48f","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-16T01:02:00.207901Z","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:cf6b376793862031d8da64da3eb2bbe9d685eee3eda0ac2495421e0b7fefe050","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-16T01:02:00.207901Z","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:af938f64c3ab787914be2e843e6134d7442412b7c76b127c210b2db80fd75a35","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-16T01:02:00.207901Z","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:ce64159d6bdb5b3323e77a112c4072edbe247c80394b25035aeb603b1887b22f","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-16T01:02:00.207901Z","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:1b10f72477e2bebb7587e31cea322e5a481578e595618e037feb2c9aea106517","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-16T01:02:00.207901Z","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:95e37ff33f93624e5ef21c7e47f1a138081a52c72f6cbcd0be772b5226985ba2","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-16T01:02:00.207901Z","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:4f121eadf2df71f9af57b55e4d3bb7bd200ec0e2bfb361e2435c6b235b28975b","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-16T01:02:00.207901Z","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:277cb81eebc0ad5c96f002f5be4f6ae51d50d8e8ccb6eff696c9416c3a84a9be","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-16T01:02:00.207901Z","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:0efde77ed6f7764b6a211bf7da5e3a6c85112c6214ce54ced473312a3cf0990f","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-16T01:02:00.207901Z","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:bb314a25ea4885bce08c62195bf64c2262d67be09051a7a77ffed231cee70fd9","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-16T01:02:00.207901Z","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:591d3d1cceab79ba9dd131604364e2a6fcf1ed53f479829697ae0ee9f6a7a9a6","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-16T01:02:00.207901Z","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:2a8f515e2620fd2ff80b64bb5abd845bf313d60081db7c0cac48f9ab6dd53742","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-16T01:02:00.207901Z","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:0b4d28367bab88c1f57ad291e2f3e711b8ba2752c5b611a5c6fd3e61ebec5dc2","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-16T01:02:00.207901Z","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:d739c733cb040536a63ecc90c1172a89835ddb6b567e64ee6b905f958d65355a","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-16T01:02:00.207901Z","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:649b69f1c11aab38acb8d3b92f225978965fb8858b7eb79ab7b8aa27d52bafb7","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-16T01:02:00.207901Z","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:65a98e2bf8338650e31fef42e4c88dea499cebed3fb2a6f5528c3b3bdfea3b0b","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-16T01:02:00.207901Z","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:43a055aff0a19340e571ec443a9d9064d03d1b256e3a642d2effd8e6a9d880c8","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-16T01:02:00.207901Z","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:de7367ce2c48015cf1eeccf6684e7b1270efde3cc5d19c16e51bdf1580e9e30c","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-16T01:02:00.207901Z","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:10cec98d29878850157623f07954769a4d3bf9d63ad5ea8144258c9b51549c1a","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-16T01:02:00.207901Z","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:7baa9e02749ed6820460e53147b4bed83ab9a10df1cb15ff801251ee2f372de7","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-16T01:02:00.207901Z","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:582b584f701f56910ac23732699ef64a0746c2bd47d23fb68b44c792005cfca3","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-16T01:02:00.207901Z","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:6f81990bc46a01a5d4f073038c136de2649077d6c7ff23ea19f79899673dbdf4","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-16T01:02:00.207901Z","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:581ccb38ef00bf210c214ff617ea27ecb709ea502e56004c3fe290da37c26619","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-16T01:02:00.207901Z","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:479dfd7e7dc1120161ffa6d158253075d20cb4f2d1e255b5ca226f83dd645816","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-16T01:02:00.207901Z","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:4a63fd37bc17b6651363319cada714bee42550b7e8a88d2915deb0f9e5b8d33e","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-16T01:02:00.207901Z","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:f71400abc77c433a32d01a909dfbbe910ab8183ef82dade7f828f912155486e6","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-16T01:02:00.207901Z","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:a69f715ea2cbf28fc523a0245685dd990aa2a926baf579d0db5d0b089d2d4b49","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-16T01:02:00.207901Z","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:6f1deac35d78e49673f1392219d23c593cb5e581f7f9b1cbaffb622229c00a74","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-16T01:02:00.207901Z","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:e9494db596556005d83b58f2d009add9fae8083490eaf23022ab058ad06b23aa","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-16T01:02:00.207901Z","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:04cad56e1c3f2d608cac09fc187a0d8b5690d46d36f323ae8a10a0d547a91aac","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-08-16T16:02:56.438453Z","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-16T01:02:00.207901Z","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:36d4acabed084826b4a68471dd28a15882c12ba00970c87e9b3c3cbfcca148dc","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-14T22:56:40.640031Z","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-16T01:02:00.207901Z","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:08bdc2d50def2f6c316dd8f0abeecde6690fe72651cfc2f8e551307294b0c4fb","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-16T01:02:00.207901Z","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:ceff1549d03d3ceff37e59cb96bfd12f8322e16f3e55fe69af4b458a0f15e199","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-16T01:02:00.207901Z","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:d92aa27ab8377746cc68f05d91eb447f7d8de8aa5eb839e7b0b622bd007bfae9","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-16T01:02:00.207901Z","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:140cc07ba10a4892120855e1b67071b5f657b32bb840d1e8ce7728b18a13a6fa","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-16T01:02:00.207901Z","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:88a918d7589fdf8b08f8190e6697237163c9eaeea0acb26fb137a5ec374e7745","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-16T01:02:00.207901Z","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:34d85f57c11a00d0633e8ebf5e155c18faa4959b0f3c9ca2645c41a5e440f030","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-16T01:02:00.207901Z","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:66da3b95813f7182a6799e7c9b31a37ccde624ee1be1c7f39cfbd4f03592d90d","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-16T01:02:00.207901Z","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:bc830867c74942fc9cda492ffeb7ec1c38d492f308d278b623caf2e701ec896f","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-16T01:02:00.207901Z","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:618fe10581c1865473995c44fded4d737ccd7884be2a5d6c2b72e9a8dd8a2939","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-08-16T15:20:40.279997Z","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-16T01:02:00.207901Z","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:3d4bc0714e871a662ae7c6af520e233ae4b11e72f98d3b30262436c657433ef8","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-16T01:02:00.207901Z","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:3dde99133e027ceea5901a0c2263e9b989ff3d43b32f833acb337950db0236af","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-16T01:02:00.207901Z","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:7065422c39b6d7781413a6df44f3e9e033c6146618b0d871cae742905723c7ea","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-16T01:02:00.207901Z","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:360903ee9e8e5b267a6e650f104994b3ffc6b250ab4e5483d54544dc698352f6","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-08-16T13:51:18.629241Z","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-16T01:02:00.207901Z","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:84de2e2f544a855e87af53ce836206f03fe339593bbcc25c1b7f3ff79a2988cb","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-16T01:02:00.207901Z","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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2601.00995."}