Nathan Linger

A Language-Oriented System Design

Nathan Linger

The Ontology system presents a dual-language architecture that manages organizational permissions through an English-facing interface backed by a dependently typed, deductive database engine. It distinguishes between hard-coded primitives, extensional tables, and intentional logical rules to enforce strict type safety, ensuring that data retrieval returns verifiable proof objects and automatically maintains referential integrity through cascading deletion and trash mechanisms. While the internal Prolog-like inference engine mitigates undecidability risks via execution budgets, the design allows for extensible permission modeling by uploading new type declarations without requiring code-level system upgrades.