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