Full-Stack Compilation

Technologies & Capabilities

186 compilation outputs from a single DMX specification.22 concern categories · closed taxonomies · deterministic emission.

Stable131 outputs
WIP55 outputs
default kind
registered plugin

Language Backends

Closed taxonomy in DMX grammar · LanguageBackendEmitterPlugin contract

Python · FastAPI
Python · FastAPI
Stable
SQLAlchemy 2.0 async · Pydantic v2 · Celery + beat · 17+ feature emitters
Java · Spring Boot
Java · Spring Boot
Stable
26 emitters · Spring Data JPA · JUnit + Testcontainers · Maven
Next.js · React 19 · TypeScript
Next.js · React 19 · TypeScript
WIP
App Router · Tailwind 4 · shadcn · 13 block categories · M10 enterprise

Closed Taxonomies

Each concern declares one kind in the spec · the compiler dispatches by tech_kind.

29 concerns · 128 kinds

Relational Database

DB_DIALECT· Primary OLTP target with RLS dialects (postgres_native · app_layer · mongo_document_filter)
PostgreSQL
PostgreSQL
default · RLS · Alembic
Stable
ClickHouse
ClickHouse
analytics target
Stable

Cache + Lightweight Queue

CACHE_QUEUE· Wired by platform_redis_topology · redis_topology.client
Redis
Redis
default · primary cache + streams
Stable

Analytics / OLAP Backend

ANALYTICS_STORE· analytics_ingester.backfill
ClickHouse
ClickHouse
default · primary OLAP
Stable
BigQuery
BigQuery
Google Cloud analytics
WIP
Snowflake
Snowflake
cloud data warehouse
WIP
Redshift
AWS analytics warehouse
WIP
DuckDB
DuckDB
embedded analytics
WIP

Blob / Object Storage

OBJECT_STORAGE· object_storage.client · presigned URLs · multipart · lifecycle rules
S3
default · AWS
Stable
Google Cloud Storage
Google Cloud Storage
GCS bucket policies
Stable
Azure Blob
containers + lifecycle
Stable
MinIO
MinIO
self-hosted S3-compatible
Stable
Cloudflare R2
Cloudflare R2
egress-free S3-compat
Stable

Schema Migrations

MIGRATION_TOOL· databases.initial_migration · safety gate · pre-flight checks
Alembic
default · Python target
Stable
Liquibase
Liquibase
Java target
Stable

Full-Text + Search

· elasticsearch_emitter.py · client + index config + query DSL
Elasticsearch
Elasticsearch
search service skeleton
Stable

Event Bus Brokers

MESSAGE_BROKER· shared_kernel.event_bus dispatcher
Redis Streams
Redis Streams
default · lightweight
Stable
Apache Kafka
Apache Kafka
kafka_emitter.py
Stable
RabbitMQ
RabbitMQ
rabbitmq_emitter.py
Stable
NATS
JetStream support
WIP
GCP Pub/Sub
GCP Pub/Sub
Google Cloud broker
WIP
AWS SNS/SQS
AWS messaging
WIP

Background Workers

WORKER_FRAMEWORK· platform_workers.bootstrap · queues · DLQ · retry · worker tracing
Celery
Celery
default · beat schedule + tracing
Stable

Non-REST Transports

TRANSPORT· platform_protocol_handlers.handlers · 9 wire-runtime targets
HTTP
HTTP
default · FastAPI
Stable
WebSocket
WebSocket
Socket.IO + Redis adapter
Stable
TCP-MLLP
TCP-MLLP
HL7 healthcare transport
Stable
Serial
Serial
RS-232 / RS-485
Stable
File-watch
File-watch
directory monitoring
Stable
UDP
UDP
datagram protocol
Stable
Named Pipe
Named Pipe
IPC transport
Stable
USB-HID
human interface devices
WIP
Modbus-RTU
Modbus-RTU
industrial fieldbus
WIP

Wire-Format Parsers

PROTOCOL_PARSER· platform_protocol_parsers · 10 declarative parsers
HL7v2-2.5
healthcare messaging
Stable
FHIR-R4
healthcare interoperability
Stable
SOAP-1.2
enterprise XML services
Stable
CSV (RFC 4180)
CSV (RFC 4180)
tabular data
Stable
XML 1.0
XML 1.0
structured documents
Stable
JSON-API
JSON-API
spec-compliant REST
Stable
Webhook HMAC
generic signed receiver
Stable
EDIFACT
commerce messaging
WIP
X12
commerce ANSI ASC
WIP
SWIFT-MT
SWIFT-MT
finance interbank
WIP

External Compute

EXTERNAL_COMPUTE· platform_external_compute.factory · 7 runtime targets
AWS Lambda
serverless functions
WIP
GCP Cloud Functions
GCP Cloud Functions
Google serverless
WIP
Azure Functions
Microsoft serverless
WIP
AWS Batch
managed batch jobs
WIP
Kubernetes Job
Kubernetes Job
K8s native batch
WIP
gRPC Endpoint
high-perf RPC
WIP
Ray Serve
Ray Serve
ML model serving
WIP

JWT Signing Algorithms

AUTH_ALGORITHM· shared_kernel.jwt_utils · JWTDomainConfig closed taxonomy
HS256
HS256
default · HMAC SHA-256
Stable
RS256
RS256
RSA SHA-256
Stable
ES256
ES256
ECDSA P-256
Stable
EdDSA
EdDSA
Ed25519 signatures
Stable

Secrets Management

SECRET_STORE· shared_kernel.secrets · resolver-scheme · 6 backends
env-var
env-var
default · .env templates
Stable
HashiCorp Vault
HashiCorp Vault
enterprise secret store
Stable
AWS KMS
AWS key management
Stable
GCP KMS
GCP KMS
Google key management
WIP
Azure Key Vault
Microsoft key vault
Stable
SOPS
SOPS
encrypted YAML at rest
WIP

Log Backends

OBSERVABILITY_LOGS· shared_kernel.observability · structured JSON always emitted
Loki
Loki
default · Grafana stack
Stable
CloudWatch Logs
AWS native
WIP
GCP Cloud Logging
GCP Cloud Logging
Google operations
WIP
Datadog Logs
Datadog Logs
unified observability
WIP

Metrics Backends

OBSERVABILITY_METRICS· metrics_emitter · service_observability binding pass
Prometheus
Prometheus
default · scrape model
Stable
Datadog Metrics
Datadog Metrics
SaaS metrics platform
WIP
CloudWatch Metrics
AWS native metrics
WIP
OpenTelemetry Collector
OpenTelemetry Collector
vendor-neutral ingest
WIP

Tracing Backends

OBSERVABILITY_TRACES· tracing_emitter · celery_tracing · worker spans
OpenTelemetry
OpenTelemetry
default · OTel spec
Stable
Jaeger
Jaeger
trace storage + UI
Stable
Zipkin
distributed tracing
WIP
Datadog APM
Datadog APM
APM-focused traces
WIP

CI/CD Providers

CI_PROVIDER· Workflows · matrix builds · secrets · pre-flight gates
GitHub Actions
GitHub Actions
default · workflows
Stable
GitLab CI
GitLab CI
.gitlab-ci.yml stages
Stable
Argo Workflows
Argo Workflows
Kubernetes-native CI
Stable

Deployment Descriptors

DEPLOY_TOOL· containers.client umbrella · 6 deploy targets
Docker Compose
Docker Compose
default · multi-service
Stable
Helm
Helm
Kubernetes charts
WIP
Terraform
Terraform
IaC HCL
WIP
Pulumi
Pulumi
IaC in TS / Python
WIP
Nomad
Nomad
HashiCorp scheduler
WIP
AWS ECS CFN
CloudFormation ECS
WIP

Dashboards

DASHBOARD_TOOL· dashboards.dashboard umbrella · datasources + naming
Grafana
Grafana
default · OSS dashboards
Stable
Datadog
Datadog
SaaS observability
WIP
New Relic
New Relic
APM + dashboards
WIP
Honeycomb
high-cardinality events
WIP

Alerting

ALERTING_TOOL· alerts.rules umbrella · severity routing + channels
Prometheus AlertManager
Prometheus AlertManager
default · routing tree
Stable
Datadog Monitors
Datadog Monitors
SaaS alerting
WIP
PagerDuty
PagerDuty
incident escalation
WIP
Opsgenie
Opsgenie
on-call rotations
WIP

Backend Frameworks

· Per-language productive frameworks
FastAPI
FastAPI
app · routes · middleware · CORS
Stable
Spring Boot 3.x
Spring Boot 3.x
controllers · security · config
Stable

ORMs & Validation

· Models · schemas · validators
SQLAlchemy 2.0
SQLAlchemy 2.0
async · models · relationships
Stable
Pydantic v2
Pydantic v2
request/response schemas
Stable
Spring Data JPA
Spring Data JPA
Java entities · repos · mappers
Stable
Repository pattern
Repository pattern
Python + Java
Stable

Frontend Stack

· Build-out · ★ primary frontend plugin set
Tailwind CSS 4
Tailwind CSS 4
theme + design tokens
WIP
shadcn/ui
shadcn/ui
component catalog
WIP
TanStack Query v5
TanStack Query v5
one hook per endpoint
WIP
axios + fetch
axios + fetch
API client
WIP

Edge & Proxy

· Separate emitters + validator gate per provider
Traefik
Traefik
TLS + routing + canary
Stable
Kong
Kong
API gateway · declarative
Stable
Nginx
Nginx
reverse proxy · upstream
Stable

Containers & Build

· Per-target build manifests + Docker
Docker
Docker
multi-stage · per-service
Stable
pom.xml (Maven)
pom.xml (Maven)
Java build
Stable
application.yml
application.yml
Java config
Stable
requirements.txt
requirements.txt
Python deps
Stable
Run / Seed Scripts
Run / Seed Scripts
auto-generated bash
Stable

Health & Readiness

· system_routes_emitter.py · system endpoints
/healthz · /readyz · /livez
/healthz · /readyz · /livez
K8s probes
Stable
/metrics
/metrics
Prometheus scrape endpoint
Stable
Correlation IDs
Correlation IDs
trace context propagation
Stable
Build version endpoint
Build version endpoint
deploy status reporting
Stable

Testing

· Multi-tier test generation per emitted service
pytest
pytest
unit + fixtures + conftest
Stable
JUnit 5 + Testcontainers
JUnit 5 + Testcontainers
Java integration tests
Stable
Integration Tests
Integration Tests
dedicated emitter
Stable
Test Fixtures / Seeders
Test Fixtures / Seeders
auto-generated data
Stable

Hardening

· Security primitives wired into every backend
RBAC
RBAC
role-based access control
Stable
ABAC
ABAC
attribute-based policies
Stable
Row-Level Security
Row-Level Security
tenant isolation
Stable
CSRF / CORS / CSP / HSTS
CSRF / CORS / CSP / HSTS
headers + protections
Stable
Rate Limiting
Rate Limiting
Redis-backed token bucket
Stable
Service-to-Service Auth
Service-to-Service Auth
tokens + keys + clients
Stable
TOTP / 2FA
MFA inference (WIP)
WIP

Business Logic Primitives

· Cross-cutting flows always emitted when relevant
State Machines
State Machines
Python + Java emitters
Stable
Multi-step Workflows
Multi-step Workflows
service generation
Stable
Feature Flags
service guards · LD + custom
Stable
Sequence Generators
Sequence Generators
invoice numbering etc.
Stable
External Adapters
External Adapters
spec-declared per-platform
Stable
Multi-Tenant Config
Multi-Tenant Config
entity · schema · routes
Stable
Distributed Sagas
Distributed Sagas
orchestration + choreography + outbox
Stable
Gateway Middleware

API Gateway · 12-Slot Chain

A complete FastAPI gateway is emitted as a sibling of every backend. The 12 middlewares run in fixed order.

1
correlation-id
Per-request trace ID propagation
2
tenant-routing
Tenant scope resolution + routing
3
security-headers
CSP · HSTS · X-Frame · CSRF
4
cors
Cross-origin request handling
5
rate-limit
Redis-backed token bucket
6
jwt-multi-domain
Cross-tenant JWT verification
7
module-gate
Per-module feature flag enforcement
8
request-logging
Structured JSON access log
9
metrics
Prometheus request histogram
10
circuit-breaker
Upstream failure isolation
11
response-envelope
Uniform response shape
12
dispatcher
Route to backend service
Core modules: settings · health · dockerfile · internal_routes · main · orchestrator · module_gate
Platform Capabilities

Beyond the Stack

55 cross-cutting capabilities the compiler emits alongside the technology targets.

Stable46 capabilities
WIP9 capabilities

Compliance & Evidence

  • SBOM (CycloneDX 1.5)Stable

    per-build component inventory

  • Threat ModelStable

    IR-derived · GAP-026

  • Capability ManifestStable

    GAP-034 declared capabilities

  • Compliance ReportStable

    per-spec dossier

  • Responsibility DocumentStable

    owner + escalation matrix

  • Build Fingerprint + Merkle RootStable

    byte-deterministic hash tree

  • Audit TrailStable

    append-only event log

  • Source Map (IR ↔ code)Stable

    every line traced to spec

  • Replay Certificate + Ed25519Stable

    cryptographically signed seal

  • Provenance RecorderStable

    canonical JSON event ledger

Testing & QA

  • Contract TestsStable

    per route · schema validation

  • Behavior TestsStable

    per flow · end-to-end logic

  • Security TestsStable

    auth + RBAC scenarios

  • Smoke TestsStable

    boot + health probes

  • Restore Tests (DR)Stable

    RPO / RTO measurement + chaos hooks

  • Validation Test Case BuilderStable

    edge-case generator

  • Frontend Invariants + E2EWIP

    UI contracts + Playwright

Resilience & Operations

  • API GatewayStable

    FastAPI · 12-slot middleware chain

  • Redis TopologyStable

    Sentinel / cluster · failover

  • WebSocket ServerStable

    Socket.IO · rooms · Redis scale-out · auth

  • Worker PoolsStable

    Celery / RQ · routing · DLQ · retries

  • Database ProvisioningStable

    pool config · read replicas · multi-DB

  • Backup OrchestratorStable

    Celery beat + storage abstraction

  • Control PlaneStable

    deploy_status · service registry

  • Migration Safety GateStable

    Alembic / Liquibase pre-flight

Data & Integration

  • Analytics APIStable

    read API on ClickHouse

  • Analytics IngesterStable

    Kafka consumer + writers + backpressure

  • File StorageStable

    presigned URLs · multipart · MIME validation

  • Integration GatewayStable

    webhooks + translation + replay buffer

  • Service Client EmitterStable

    typed s2s HTTP clients

  • Edge AgentsStable

    mesh + local cache + telemetry forwarding

Security Hardening

  • Multi-Domain JWTStable

    cross-tenant gateway auth

  • Brute Force LockoutStable

    login audit + thresholding

  • Circuit BreakerStable

    upstream failure isolation

  • Validation LayerStable

    Jakarta (Java) + Pydantic (Python)

  • Tenant Routing + Correlation IDsStable

    per-request scope + tracing

  • Encryption PolicyStable

    shared kernel envelopes

  • SanitizationStable

    input cleaning + output escaping

  • Vulnerability Scanner GateStable

    blocks risky builds

Multi-Spec Orchestration

  • Platform / Service / App HierarchyStable

    compile units composition

  • Cross-Service Contract ClosureStable

    shape-checked S2S

  • Platform Source Map AggregationStable

    global IR ↔ code mapping

  • Per-Service Builds + SealStable

    isolated artifacts · signed

  • QA AggregationStable

    platform-wide quality score

  • Provenance TrendStable

    across-builds learning

  • Learning LoopStable

    Neo4j feedback graph

  • Synthesizer F0–F4 + ArcStable

    specification phases

Frontend Capabilities

  • Auto-Generated PagesWIP

    server / client variants + detail views

  • Form GeneratorWIP

    entity-driven (shadcn + headless)

  • Block LibraryWIP

    13 categories (auth · marketing · ecommerce · dashboard…)

  • RBAC-Aware ComponentsWIP

    router + state guards

  • Tenant ProviderWIP

    M10 enterprise multi-tenancy

  • Frontend ObservabilityWIP

    M10 wiring (logs · traces)

  • Feature FlagsWIP

    LaunchDarkly + custom backend

  • Glass / Gradient / AnimationWIP

    design primitives

Ready to compile your next project? Get started with DevMatrix