Paper Citation Record · LEDGER

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2608.04457 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T23:48:37.372511Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact1
verified fuzzy19
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b8c7d49e-3926-4fee-a189-4c1421156797 · outbound

This paper cites Brown, Jr.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Brown, Jr

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:43.184597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e62cfdcf-f132-4181-a0a2-24c8f3d66e0b · outbound

This paper cites Microsoft introduces groundbreaking technology for life sciences.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Microsoft introduces groundbreaking technology for life sciences

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:42.952691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8c4e58b5-10a7-46c3-8be6-cb76d3327438 · outbound

This paper cites Goguen and R.M.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Goguen and R.M

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:42.741056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 69de48a0-cb4e-4484-a1c6-701b964f7091 · outbound

This paper cites Diaconescu.Institution-independent Model Theory.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Diaconescu.Institution-independent Model Theory

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:42.490447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 94a011a9-bdeb-4328-bb01-d132dc7e3519 · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:42.183401Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b170fb58-68d5-4c44-a79f-55f7f8ca7514 · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:41.998412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f0773992-e655-4d0f-8668-d5243778eb66 · outbound

This paper cites Bormann and P.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Bormann and P

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:41.826825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 08b476e1-1102-4d9a-a550-fc2941499ff3 · outbound

This paper cites Mossakowski, C.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Mossakowski, C

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:41.643672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bbf0ed3e-7c6b-4516-b18d-3779b0878f9a · outbound

This paper cites Coquand, Y.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Coquand, Y

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:41.424686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 08d8086f-8f35-46e4-a27d-be81281f0a28 · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:41.127706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 59e65f4a-344b-4610-a0e7-cadac26056c1 · outbound

This paper cites de Moura and S.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning de Moura and S

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:40.868990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d30fe53c-32ed-4537-bc0a-58dd99bfe40c · outbound

This paper cites Lean4Lean: Verifying a Typechecker for Lean, in Lean.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Lean4Lean: Verifying a Typechecker for Lean, in Lean

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T23:48:35.523715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26a6074b-7704-4c06-90f1-2d1f24da4c3c · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:40.652030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f5d0c74c-3947-42a6-9609-ee83c9afd172 · outbound

This paper cites Cyganiak, D.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Cyganiak, D

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:40.371514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d81a334c-50fc-45c4-b6aa-5f68569410c9 · outbound

This paper cites Meindertsma.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Meindertsma

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:40.164351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 990135d8-cc4b-45c0-a42e-6fe8096d226f · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:39.928624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6ea15346-6c92-4918-b47a-d3e9c9ec6f4f · outbound

This paper cites Sanca and T.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Sanca and T

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:39.714658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 64dc230b-6770-4c33-8cc7-e1836f6f230f · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:48:39.434569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e55d920f-ffa9-43a1-8d09-35fb67645c7f · outbound

This paper cites TerminusDB: A delta-encoded graph database with revision control.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning TerminusDB: A delta-encoded graph database with revision control

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:39.240141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 42c00c36-7fb5-418b-a335-dcb94caece0f · outbound

This paper cites Lattner and V.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Lattner and V

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:39.023029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 351a0b1c-617f-4b0a-b648-5d090692f5a4 · outbound

This paper cites Moreau et al.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Moreau et al

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:38.820347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5f94ca3c-9d33-49a1-80af-718c9d024653 · outbound

This paper cites Knublauch and D.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Knublauch and D

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:38.592334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 49ec3d2f-8e6d-4aa3-87f4-edd82ddbf10d · outbound

This paper cites Model Context Protocol.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Model Context Protocol

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:38.387553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 827c4935-efb7-4a46-a69f-07ef5470f43e · outbound

This paper cites an unresolved cited work.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Unresolved cited work

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-06T23:48:36.814407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42d68450-3149-4d92-8785-df0bbcc76a64 · outbound

This paper cites From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-06T23:48:37.555622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d31a6c00-7bc3-4cc8-b1f2-c9e3db3a8563 · outbound

This paper cites Brown, Jr.Distributed decentralized clinical trial: Design to executable digital twin.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Brown, Jr.Distributed decentralized clinical trial: Design to executable digital twin

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:38.193214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3a62bcf5-7d39-4982-98c1-fc8b2863ba92 · outbound

This paper cites Chatzikyriakidis and Z.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Chatzikyriakidis and Z

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:37.992063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 11fdbbac-3a47-412c-b756-ae9f77ff640b · outbound

This paper cites Tomita et al.

Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning Tomita et al

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:48:37.724110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.