SOTER
SOTER (Symbiotic Ontology Transformations Enterprise Runtime)
SOTER is a text-first modeling platform that replaces manual diagram drawing with a deterministically compiled language called Logos. Write your organizational structure, business rules, and processes in a clean, version-controllable text format, and let SOTER automatically validate them and track business occurrences.
SOTER MVP focuses on local-first modeling, ontologically strict compilation, and local cryptographic event recording.
📖 Explore SOTER MVP Documentation
- SOTER MVP & CLI Guide – Learn how to operate the SOTER CLI, initialize the cryptographic ledger, record facts, and verify business operations.
- Quickstart – 5 minutes to write, compile, and validate your first model and record your first business event.
- Logos Language Analyst Manual – Comprehensive guide to modeling using SVO (Subject-Verb-Object) ontology in Logos DSL.
- Manuals Index – Entry point to all available MVP documentation.
Why SOTER MVP?
- Determinism: The same model input always yields the same ontological validation.
- Text-first:
.modelfiles are the source of truth for organizational architecture. - Crypto Ledger:
.factfiles are stored in an append-only, cryptographically bound local filesystem ledger. - Strict Validation: Catches logical design gaps (such as Pure Waste or Silent Edits) at compile time.
Technology Stack
- Language:
Python 3.12+ - DSL Parser:
Lark - Linter & Validator:
Pyrefly - Ledger Security: Cryptographic filesystem hashing (SHA-256)
MVP Status & Roadmap
| Feature / Area | Status | Scope |
|---|---|---|
| Local-First CLI | ✅ MVP | Fully local parser, compiler, linter, and validation commands. |
| Filesystem Ledger | ✅ MVP | Cryptographic append-only ledger (init, record, list, verify). |
| Logos DSL v1 | ✅ MVP | Core Subject-Verb-Object (SVO) ontology elements and strict linter rules. |
| Live Web Portal | ⏳ Post-MVP | Interactive web panel (Django-based workflows and analytics board). |
| Graph Projections | ⏳ Post-MVP | Automatic diagram rendering (BPMN, UML, D2) and graph database compile (KuzuDB). |
| Process Simulator | ⏳ Post-MVP | Simulated run generation and world-state playback. |