{"as_of":"2026-08-09T06:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:80e506b6811b059b3f84262689f8da6bc72f1e80b2caca710442e7315c645c13","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T23:48:37.372511Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"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/2608.04457/citation-record","integrity":"/paper/2608.04457/integrity","json":"/paper/2608.04457/citation-record.json","paper":"/paper/2608.04457"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:43.070519Z","title":"Brown, Jr","venue":null,"work_id":"dd2f37f0-283c-4216-a335-45e15f646a11","year":2008},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.557482Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:7d5801c1700c94a79ad8dde82de54535ff80c69c0abc4960d03216b1859ee02b","observation_id":"b8c7d49e-3926-4fee-a189-4c1421156797","resolution":{"observed_at":"2026-08-06T23:48:43.184597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:42.826606Z","title":"Microsoft introduces groundbreaking technology for life sciences","venue":null,"work_id":"16309707-22bb-490f-bb73-0a7bb2702559","year":2009},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.602729Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:e8eaf9dc1354775b94a839a69de27b2d0e80195d19a7e1e46e2b347b6eae143c","observation_id":"e62cfdcf-f132-4181-a0a2-24c8f3d66e0b","resolution":{"observed_at":"2026-08-06T23:48:42.952691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:42.609069Z","title":"Goguen and R.M","venue":null,"work_id":"fe6c942f-8482-4a74-88b1-3c487a34e489","year":1992},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.659504Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:20be847f0a79a71f52171e3601df9de9b4cc50fd7551c4e046bab5e768261288","observation_id":"8c4e58b5-10a7-46c3-8be6-cb76d3327438","resolution":{"observed_at":"2026-08-06T23:48:42.741056Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:42.313685Z","title":"Diaconescu.Institution-independent Model Theory","venue":null,"work_id":"2ebfd628-3afe-429e-a05c-731da4f90b8a","year":2025},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.741845Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:92bc3ec9a9e7b5aa7f41c26085a835bd3fc994cfabbdce9b221c4bb91ae359f1","observation_id":"69de48a0-cb4e-4484-a1c6-701b964f7091","resolution":{"observed_at":"2026-08-06T23:48:42.490447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:42.093696Z","title":null,"venue":null,"work_id":"7fba334b-cd35-4d4a-8539-f39e467fa4d9","year":1970},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.837518Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:217a93359b06ff416501d2ce799d218cf0f14dc492c8a5b5c9b26a67abc5cf1a","observation_id":"94a011a9-bdeb-4328-bb01-d132dc7e3519","resolution":{"observed_at":"2026-08-06T23:48:42.183401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:41.916461Z","title":null,"venue":null,"work_id":"1ad04b3f-9078-47b5-ad25-451d4518aa1d","year":2012},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.893598Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:017b03d3b7811b5b77a689e1ae64db3f55e4eb03e4193b1209b2291d8f73f421","observation_id":"b170fb58-68d5-4c44-a79f-55f7f8ca7514","resolution":{"observed_at":"2026-08-06T23:48:41.998412Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:41.760332Z","title":"Bormann and P","venue":null,"work_id":"7eaa30f1-48cd-4cfb-8af6-fc100e2e2c6b","year":2020},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:34.954684Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:52ff1aadaa7724b935ba9021be6e51461f44c9b3d1bd5aef3cb0176cd8cb0e63","observation_id":"f0773992-e655-4d0f-8668-d5243778eb66","resolution":{"observed_at":"2026-08-06T23:48:41.826825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:41.549958Z","title":"Mossakowski, C","venue":null,"work_id":"a20f8c55-9d3a-4d75-b85e-e34732351cea","year":2007},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.065885Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:4bd75a2d48eb251d1857c14d9cfbf0f37bbb15c7390e94664a33f41a5816242a","observation_id":"08b476e1-1102-4d9a-a550-fc2941499ff3","resolution":{"observed_at":"2026-08-06T23:48:41.643672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:41.241980Z","title":"Coquand, Y","venue":null,"work_id":"4c750178-09fc-45ef-b1ab-fdb7175ef337","year":2009},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.167873Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:8e43ecf41b9109ffa57c63eae0d020f3b68af23bba2d4ba039b0461441c2eb9e","observation_id":"bbf0ed3e-7c6b-4516-b18d-3779b0878f9a","resolution":{"observed_at":"2026-08-06T23:48:41.424686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:41.017754Z","title":null,"venue":null,"work_id":"d1cd462e-a268-45ed-8313-e9402f8e3f85","year":2007},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.276290Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:68712a7e8f19ca28d1ab60b48b105c5b15840b213fab2bf850f33ab50896a92b","observation_id":"08d8086f-8f35-46e4-a27d-be81281f0a28","resolution":{"observed_at":"2026-08-06T23:48:41.127706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:40.730907Z","title":"de Moura and S","venue":null,"work_id":"c42ed11c-f6be-4a2e-939e-e8fcdd075cbe","year":2021},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.459138Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:b169c66b6efb787de3d90817b50a325b155c79e730a6812f5b19f3a6624676ec","observation_id":"59e65f4a-344b-4610-a0e7-cadac26056c1","resolution":{"observed_at":"2026-08-06T23:48:40.868990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14064","last_updated":"2025-09-14T11:58:14Z","snapshot_observed_at":"2026-07-06T17:48:03.807374Z","submitted_at":"2024-03-21T01:22:52Z","title":"Lean4Lean: Verifying a Typechecker for Lean, in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.14064","snapshot_observed_at":"2026-08-06T23:48:35.523715Z","title":"Carneiro","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.523715Z"},"links":{"cited_paper":"/paper/2403.14064","citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:212ee7604394249dec456134b4e64674fee3bed94eee0d686882ac7108b44ed4","observation_id":"d30fe53c-32ed-4537-bc0a-58dd99bfe40c","resolution":{"observed_at":"2026-08-06T23:48:35.523715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:40.547281Z","title":null,"venue":null,"work_id":"daa8e1d7-9f01-41ab-b232-7bd279bd4183","year":null},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.612271Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:68163cf2fa5ab08fbb782ac5422404bc8abc0dc9166a13b01c00729e4acf3f0c","observation_id":"26a6074b-7704-4c06-90f1-2d1f24da4c3c","resolution":{"observed_at":"2026-08-06T23:48:40.652030Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:40.271570Z","title":"Cyganiak, D","venue":null,"work_id":"a131b4a8-7b9a-44d8-a51b-0ab6a132bae0","year":2014},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.679085Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:932497cbdf4430d80f8d5a5362e2c764ece5e65c67e261e618ee69773176e507","observation_id":"f5d0c74c-3947-42a6-9609-ee83c9afd172","resolution":{"observed_at":"2026-08-06T23:48:40.371514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:40.049060Z","title":"Meindertsma","venue":null,"work_id":"ffe1cd24-e655-4004-b0de-d3ed741d8f17","year":2020},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.766829Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:4f7af9c4d616fbb3bd56f5dabb9a538a869b2a1d678c7041bf22331469b8717f","observation_id":"d81a334c-50fc-45c4-b6aa-5f68569410c9","resolution":{"observed_at":"2026-08-06T23:48:40.164351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:39.862836Z","title":null,"venue":null,"work_id":"96c2f58a-a880-4532-a0eb-69fb4ad38afb","year":2012},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.860965Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:c627ddd8174a188a96f7c0ad7b1f58e341595e6b1b8e06e6be5d65764291e036","observation_id":"990135d8-cc4b-45c0-a42e-6fe8096d226f","resolution":{"observed_at":"2026-08-06T23:48:39.928624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:39.551716Z","title":"Sanca and T","venue":null,"work_id":"255fa67a-53ff-486c-a270-ea9f5e039ef1","year":2019},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:35.945979Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:a5104c96b24189b515f41cd010731c1eff6c9a306d0e408a8934da267294786a","observation_id":"6ea15346-6c92-4918-b47a-d3e9c9ec6f4f","resolution":{"observed_at":"2026-08-06T23:48:39.714658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:39.330590Z","title":null,"venue":null,"work_id":"26e256b3-fb91-420c-893d-909d63e2e2c9","year":2008},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.039318Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:837ad6e935532da42a1f95e8ffa8e03dbddffd6033974643ed4cdb49d4beddcb","observation_id":"64dc230b-6770-4c33-8cc7-e1836f6f230f","resolution":{"observed_at":"2026-08-06T23:48:39.434569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:39.137674Z","title":"TerminusDB: A delta-encoded graph database with revision control","venue":null,"work_id":"956787b9-6cb4-485e-96fd-40326267121e","year":2024},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.245107Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:053353cd9de62fa6c058eb3b71dc19d3667abc835613e017cff518b1891a93a5","observation_id":"e55d920f-ffa9-43a1-8d09-35fb67645c7f","resolution":{"observed_at":"2026-08-06T23:48:39.240141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:38.915234Z","title":"Lattner and V","venue":null,"work_id":"c1061a8b-990a-4f42-91fd-945d1b4975fd","year":2004},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.371004Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:65f4a761e9ff1b03ea4cec326f22e4b9c2d22ec90869f8d88d0c16e4ddf9fc37","observation_id":"42c00c36-7fb5-418b-a335-dcb94caece0f","resolution":{"observed_at":"2026-08-06T23:48:39.023029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:38.708832Z","title":"Moreau et al","venue":null,"work_id":"b5bebc3d-5fc7-4d86-8cab-dcfd7e3250ce","year":2013},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.503628Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:4c7847ea762a03cc0aee54ab44c9fc24e8e21ce7a247baf142846f6153c87f5e","observation_id":"351a0b1c-617f-4b0a-b648-5d090692f5a4","resolution":{"observed_at":"2026-08-06T23:48:38.820347Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:38.473191Z","title":"Knublauch and D","venue":null,"work_id":"0de6b4c3-aee7-47f1-9e55-2d0c827643c5","year":2017},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.599707Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:6cad95e3a95ef12d67ebb3e0f59f8720cac2a221b9263f982667f97c84cd3232","observation_id":"5f94ca3c-9d33-49a1-80af-718c9d024653","resolution":{"observed_at":"2026-08-06T23:48:38.592334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:38.274638Z","title":"Model Context Protocol","venue":null,"work_id":"a024eee7-4968-4269-9e49-08e627bcba30","year":2024},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.679671Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:5ca94e4e877d26166454ce5bc5c343f37817ea19109b61634a1bfd1b6c9137ab","observation_id":"49ec3d2f-8e6d-4aa3-87f4-edd82ddbf10d","resolution":{"observed_at":"2026-08-06T23:48:38.387553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:36.814407Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.814407Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:e6bfbc7b29c72ce9f9a605f10fa1b26149953658a19fb288188e76c96c8e3d8e","observation_id":"827c4935-efb7-4a46-a69f-07ef5470f43e","resolution":{"observed_at":"2026-08-06T23:48:36.814407Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.18961","last_updated":"2026-07-22T18:29:15Z","snapshot_observed_at":"2026-08-06T05:40:07.719375Z","submitted_at":"2026-07-21T10:52:10Z","title":"From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar","version":2},"cited_work":{"arxiv_id":"2607.18961","doi":null,"metadata_source":"pith","pith_arxiv_id":"2607.18961","snapshot_observed_at":"2026-08-06T23:48:37.496460Z","title":"From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar","venue":"cs.AI","work_id":"b987e576-bacf-427f-a7ea-7ba745e0e815","year":2026},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:36.999048Z"},"links":{"cited_paper":"/paper/2607.18961","citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:8bfd879ce1ade1ac1e9f7b2ec9ce6bdc5f396079863679f647c76d76206842f5","observation_id":"42d68450-3149-4d92-8785-df0bbcc76a64","resolution":{"observed_at":"2026-08-06T23:48:37.555622Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:38.118360Z","title":"Brown, Jr.Distributed decentralized clinical trial: Design to executable digital twin","venue":null,"work_id":"a3f13529-3828-49e5-9b07-7eacee510c1e","year":2026},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:37.181168Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:6dbcda47e644e0710c97b74b4c5f74541df43b3aafdb8592c278814442be0998","observation_id":"d31a6c00-7bc3-4cc8-b1f2-c9e3db3a8563","resolution":{"observed_at":"2026-08-06T23:48:38.193214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:37.849152Z","title":"Chatzikyriakidis and Z","venue":null,"work_id":"f0bae22e-092b-4863-8427-b223b75477fb","year":2020},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:37.283983Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:c13fa49ad7c48d09e9683037db83a1e5be11371ecff1524c609241a6b8b2570e","observation_id":"3a62bcf5-7d39-4982-98c1-fc8b2863ba92","resolution":{"observed_at":"2026-08-06T23:48:37.992063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:48:37.668738Z","title":"Tomita et al","venue":null,"work_id":"196d4e96-34f9-45f5-a894-fcde43cc7c9a","year":2025},"citing_paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T23:48:37.372511Z"},"links":{"citing_paper":"/paper/2608.04457"},"observation_digest":"sha256:a75547cce14477d4709998790528ad25cf5442eac8f075a56dca19db6bc19121","observation_id":"11fdbbac-3a47-412c-b756-ae9f77ff640b","resolution":{"observed_at":"2026-08-06T23:48:37.724110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.04457","last_updated":"2026-08-05T05:28:22Z","latest_version":1,"primary_category":"cs.DB","snapshot_observed_at":"2026-08-08T23:11:43.072297Z","submitted_at":"2026-08-05T05:28:22Z","title":"Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":19},"total_outbound_references":28},"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 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2608.04457."}