PROJECT RECORD

Portfolio

ORTHO32 leads the hardware portfolio. DevFlow Finance Twin is explicitly included as trust intellectual property, alongside its Build Your Own Bank product, the holdings repositories and research projects.

Active means ongoing repository development, not production certification. Project pages describe implementation, access and licensing scope.

Projects, development status, licenses, and source references
Project	What it is	Status	License	Links
ORTHO32	Deterministic processor architecture	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO Host	Windows host runtime	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO API	REST bridge to the host	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO Java SDK	JVM developer interface	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO MCP	Tool protocol server	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO AI Gateway	Inference routing core	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO Desktop	Native desktop interface	Active	BSL / AGPL / MPL — see terms	Source Docs
ORTHO Isolation	Hardware-separated isolation design	Concept	BSL / AGPL / MPL — see terms	Source Docs
Sovereign Kernel	Compute kernel development	Active	Sovereign Source v3	Source Docs
Jacobian Formal	Algebraic formalization research	Scaffold	Not specified in root	Source Docs
LiquidLean	Refinement-type research framework	Active	BSL / AGPL / MPL — see terms	Source Docs
LiquidOrder	Higher-order refinement engine	Active	BSL / AGPL / MPL — see terms	Source Docs
DMZ over F₂	Characteristic-two formalization	Active	MIT	Source Docs
CARRY	Finite-state agent runtime	Active	AGPL — see terms	Source Docs
Foundry Intel	Verification and policy tooling	Active	BSL / AGPL / MPL — see terms	Source Docs
Research Labs	Research documentation	Active	BSL / AGPL / MPL — see terms	Source Docs
Bio-Resonance	Computational research specification	Concept	BSL / AGPL / MPL — see terms	Source Docs
CPSC	Conservation-preserving compiler	Preprint	CPSC ESCL / AGPL — see terms	Source Docs DOI
Unlambda	Language-runtime verification scaffold	Scaffold	Proprietary; source visible	Source Docs
DevFlow Finance Twin	Financial systems intellectual property	Active	Sovereign Leviathan Covenant · SL-AGPL3-001	Source Docs
Build Your Own Bank	Banking product development	Active	Sovereign Leviathan Covenant · SL-AGPL3-001	Private source Docs