2 papers
cs.DB2026
Eigenius: A Typed Knowledge-Graph DBMS with Epistemic Stratification and Institution-Mediated Reasoning
Hans-Martin Will, Allen L. Brown, Matthew Fuchs
As "AI Scientists" emerge to drive research via the Model Context Protocol (MCP), systems relying on ephemeral scripts will fail. The sheer scale of stateful, interconnected eviden…
cs.CR2025
Policy as Code, Policy as Type
Matthew D. Fuchs
Policies are designed to distinguish between correct and incorrect actions; they are types. But badly typed actions may cause not compile errors, but financial and reputational har…