Praxis 2.0 Documentation

Welcome to the official Praxis documentation. Praxis is the full-stack declarative application framework for the Plures ecosystem — typed logic, reactive state, local-first data, and visual tooling for Svelte, Node, and the browser.

New to Praxis? Start with the Getting Started guide. Upgrading from 1.x? See the Migration Guide.

Quick Start

npm install @plures/praxis
npx praxis create app my-app

Documentation Index

Core Concepts

Document	Description
What is Praxis	Overview and philosophy
Praxis-Core API	Stable API surface and guarantees
Extending Praxis-Core	Extension guidelines
Schema Model	Praxis Schema Format (PSF)
Logic Engine	Facts, events, rules, and constraints
UI Generation	Component generation from schemas
PluresDB Integration	Local-first data with reactive storage
Code ↔ Canvas Sync	Bidirectional synchronization
CLI Usage	Command-line interface reference
Building Extensions	Extending Praxis

Guides

Guide	Description
Getting Started	First steps with Praxis
Svelte Integration	Using Praxis with Svelte 5
Canvas	Visual development with CodeCanvas
History & State Patterns	Undo/redo and time-travel debugging
Parallel State Patterns	Managing parallel state machines
Orchestration	Distributed system coordination
CI/CD Pipeline	Continuous integration setup

Tutorials

Tutorial	Description
Getting Started	createApp, schema, rules, constraints
Advanced Rules + Constraints	Rule pipelines, ordering, constraints
Cloud Sync + Auth Workflow	Auth gating, PluresDB cloud relay, offline sync
Build Your First App	Step-by-step beginner tutorial
Todo with PluresDB	Local-first todo application
Form Builder	Dynamic form creation
E-commerce Cart	Shopping cart with checkout flow

Decision Ledger

Resource	Description
Dogfooding Guide	Decision Ledger workflow
Behavior Ledger	Rule/constraint change log
Contract Index	Machine-readable contract inventory

Examples

Example	Description
Unified App	createApp() with rules and Mermaid docs
Hero Shop	Full e-commerce application
Todo	Minimal todo application
Form Builder	Dynamic form builder
Offline Chat	Local-first chat application
Terminal Node	Command execution with YAML schemas
Cloud Sync	Multi-client synchronization
Decision Ledger	Contracts, validation, SARIF output

Architecture

flowchart TB
    subgraph Schema["Schema Layer"]
        PSF[Praxis Schema Format]
    end

    subgraph Generation["Code Generation"]
        PSF --> Types[TypeScript Types]
        PSF --> Components[Svelte Components]
        PSF --> Logic[Logic Engine]
        PSF --> Docs[Documentation]
    end

    subgraph Runtime["Runtime"]
        Logic --> Engine[Praxis Engine]
        Components --> UI[User Interface]
        Engine <--> PluresDB[(PluresDB)]
        Engine <--> Cloud[Praxis Cloud]
    end

    subgraph Tools["Development Tools"]
        Canvas[CodeCanvas]
        CLI[Praxis CLI]
        StateDocs[State-Docs]
    end

    Canvas <--> PSF
    CLI --> Generation
    Engine --> StateDocs

Dogfooding

We actively dogfood all Plures tools during development:

• Dogfooding Index — overview
• Quick Start — get started in 5 minutes
• Checklist — daily/weekly/monthly workflows
• Tools Inventory — all available tools
• Workflow Example — see it in action

1.x Documentation Archive

Historical documentation from Praxis 1.x development is preserved in archive/1.x/.

Community

• 💬 GitHub Discussions
• 🐛 Issue Tracker
• 📖 Contributing Guide
• 🔒 Security Policy

License

Praxis is open source under the MIT License.

---

Next: What is Praxis?