The 6-Layer Semantic OS

Projects are organized by their layer in the Semantic Operating System architectureβ€”from human interfaces down to persistent semantic memory:

The Semantic OS
Layer 5: Human Interfaces / SIM (reveal, browserbridge) Layer 4: Deterministic Engines (morphogen, riffstack) Layer 3: Multi-Agent Orchestration (agent-ether) Layer 2: Domain Modules (morphogen, tiacad, riffstack, sup) Layer 1: Universal Semantic IR (pantheon) Layer 0: Semantic Memory (semantic-memory) Cross-Cutting: Provenance (genesisgraph, prism)
Layer 5

Human Interfaces / SIM

reveal

βœ… Production v0.11.0 PyPI

Semantic exploration tool for codebases. Smart, progressive disclosure of code structure without reading entire files. Optimized for AI agents and developers.

Key innovations:

  • Progressive disclosure (structure β†’ elements β†’ implementation)
  • Zero configuration (smart defaults)
  • 15+ file types supported (Python, JS, TS, Rust, Go, etc.)
  • Perfect Unix integration (filename:line format)

Use cases: Codebase exploration, AI agent context optimization, Rapid code understanding, Token-efficient file reading

BrowserBridge

🚧 Alpha
Alpha - core features working

Event-driven browser automation for human-AI collaboration. Standards-based (CloudEvents, AsyncAPI, WebSocket), protocol-agnostic.

Key innovations:

  • Event-driven architecture
  • Standards-based protocols
  • Semantic DOM extraction
  • Human-AI collaboration primitives

Use cases: Browser automation, Web scraping, UI testing, Human-AI collaboration

Layer 4

Deterministic Engines

Morphogen

βœ… Production v0.11.0 900 Tests 85% Coverage

Universal, deterministic computation platform unifying audio synthesis, physics simulation, circuit design, geometry, and optimization in one type system, scheduler, and language.

Key innovations:

  • Cross-domain composition (audio + physics + circuits in same program)
  • Deterministic execution (bitwise-identical results)
  • MLIR-based compilation
  • Multirate scheduling (audio @ 48kHz, physics @ 240Hz)

Use cases: Audio synthesis, Physical modeling, Multi-domain simulation, Generative art

RiffStack

🚧 Alpha
MVP - basic features working, needs stability

Stack-based live looping and audio synthesis with YAML-driven patch configuration. Real-time performance environment for musical expression.

Key innovations:

  • Stack-based composition
  • Live looping
  • MLIR compilation for performance
  • YAML patch description

Use cases: Live musical performance, Audio patching, Real-time synthesis

Layer 3

Multi-Agent Orchestration

Agent Ether

πŸ“‹ Specification πŸ”’ Private
Planning phase - protocol specification underway

Deterministic protocols for multi-agent coordination. Message passing, state synchronization, and coordination primitives for intelligent agent systems.

Key innovations:

  • Deterministic coordination
  • Message-passing primitives
  • State synchronization
  • Provenance-complete interactions

Use cases: Multi-agent systems, Agent coordination, Distributed AI

Layer 2

Domain Modules

TiaCAD

βœ… Production v3.1.1 1027 Tests 92% Coverage

Declarative parametric CAD system using YAML instead of code. Reference-based composition model for explicit, verifiable geometry.

Key innovations:

  • YAML-based declarative syntax (no programming required)
  • Reference-based composition (parts as peers, not hierarchy)
  • Auto-generated spatial anchors
  • Comprehensive schema validation

Use cases: Parametric 3D modeling, Manufacturing, Design automation, CAD workflows

SUP

🚧 Alpha πŸ”’ Private
Early development, API unstable

Semantic UI platform translating intent into reactive UI components. Declarative UI description with multiple backend targets (React, Vue, native).

Key innovations:

  • Intent β†’ UI compilation
  • Backend-agnostic (React, Vue, native)
  • Semantic layout constraints
  • Accessibility-first

Use cases: Declarative UI construction, Multi-platform UI, Accessibility automation

Layer 1

Universal Semantic IR

Pantheon

πŸ”¬ Research πŸ”’ Private
Working prototype, API evolving

Universal semantic IR enabling cross-domain composition. Adapters translate domain languages (audio, CAD, UI) into common semantic graph for interoperability.

Key innovations:

  • Universal graph representation
  • Domain adapters (audio, CAD, UI, geometry)
  • Semantic type system
  • Cross-domain operators

Use cases: Cross-domain composition, Semantic transformation, Universal representation layer

Layer 0

Semantic Memory

Semantic Memory

πŸ’­ Planned
Concept stage - architecture design in progress

Durable, queryable knowledge graphs with versioning. Persistent semantic continuity across tasks and time.

Key innovations:

  • Versioned semantic graphs
  • Provenance-complete transformations
  • Efficient incremental updates
  • Cross-session continuity

Use cases: Persistent knowledge, Semantic versioning, Long-term memory

Cross-Cutting

Cross-Cutting Infrastructure

GenesisGraph

βœ… Production v0.3.0 363 Tests 63% Coverage

Open standard for cryptographically verifiable process provenance. Three-level selective disclosure (A/B/C) enables proving compliance without revealing trade secrets.

Key innovations:

  • Selective disclosure (prove compliance without revealing IP)
  • DID-based identity (did:web, did:ion, did:ethr)
  • Zero-knowledge proof templates
  • Transparency log anchoring

Use cases: AI pipeline verification, Manufacturing compliance, Scientific reproducibility, Healthcare audit trails

SIL

βœ… Production v1.0.0

The Semantic Infrastructure Lab itselfβ€”vision, principles, research agenda, and unified architecture for the entire ecosystem.

Key innovations:

  • Manifesto β€” Why SIL exists
  • Technical Charter β€” System specification
  • Principles β€” The 14 principles
  • Unified Architecture Guide β€” The framework

Use cases: Research foundation, Architectural guidance

Prism

πŸ“‹ Specification πŸ”’ Private
Design phase - specification in progress

Formally verified microkernel query engine. Minimal trusted core with provable correctness guarantees.

Key innovations:

  • Microkernel architecture (mechanism, not policy)
  • Formal verification
  • Minimal TCB (Trusted Computing Base)
  • Composable query primitives

Use cases: Verified query execution, Microkernel research, Formal correctness