Skip to main content
Boundary First Labs
GLOBAL OBJECT NAVIGATIONSearch the Lab
Quick navigation61 objects · 26 declared relationships · 25 pages
↑↓ MoveEnter OpenEsc Close

Formal research program

Formal Theory

Higher-order formal work that generalizes the software doctrine beyond a single implementation domain.

INSIDE THIS AREA

Follow the work one level deeper.

These routes now use the same institutional v3 surface.
Formal researchBoundary Theory

A research program seeking rigorous cross-domain primitives and structure-preserving relationships around boundaries, distinctions, representation, and closure.

Operational mathematicsSchemathematics

An operational atlas approach to mathematical structure: what objects do, which constraints they introduce, and how they transform across representations.

KEEP EXPLORING

This record belongs to a larger public system.