Jean-Gabriel Gill-Couture e9522464af
All checks were successful
Run Check Script / check (pull_request) Successful in 2m21s
refactor(zitadel-auth): typed Role/Roles, drop string-path role lookup
Removes the brittle pieces that landed in the original role-enforcement
commit: `extract_roles(value, path)` walking `serde_json::Value` with
a `path.contains("urn:")`-aware splitter, an env-driven
`FLEET_AUTH_ROLES_CLAIM`, and `VerifiedSession.roles: Vec<String>`
compared with `iter().any(|r| r == "fleet-admin")` in middleware.

This is a security-relevant code path; runtime string heuristics inside
it hide injection-shaped bugs (a misconfigured env or a custom Zitadel
mapper shifts the lookup to a path the attacker controls).

Replaced with end-to-end typed serde decoding:

* `Role` — closed enum (one variant today: `FleetAdmin`). Adding a
  variant is a deliberate code change to the security path. Unknown
  role names emitted by the IdP cannot be represented and therefore
  cannot grant access.
* `RoleClaims` — wire-side struct, flattened into the JWT `Claims`.
  The two well-known role-claim locations are matched verbatim by
  `#[serde(rename = "urn:zitadel:iam:org:project:roles")]` and
  `#[serde(rename = "roles")]`. No dotted-path navigation. No env
  string. If a future issuer adds a third location it is an additive
  `#[serde(rename = ...)]` field inside the security boundary.
* `Roles` — domain value on `VerifiedSession`. Construction is
  restricted to `RoleClaims::into_roles` plus a typed
  `FromIterator<Role>` for test fixtures. `Roles::has(Role::FleetAdmin)`
  is the only check the middleware needs; no string comparison exists
  anywhere downstream.
* Malformed shapes (scalar at the URN path, mixed-type array) now
  ERROR at decode rather than degrading to an empty-vec "closed door".
  Fail-loud is the security-correct default when the IdP misbehaves
  — the user re-logs in, the operator notices.

Callout side: reverted the shared-extract_roles delegation. The
callout retains its own, unchanged role-extraction logic. We do NOT
need cross-crate sharing here, and the shared extractor was the entry
point we were trying to delete — the callout's own behaviour was the
status quo and is preserved verbatim.

Dropped exports: `DEFAULT_ADMIN_ROLE`, `DEFAULT_ROLES_CLAIM`,
`extract_roles`, `ROLES_CLAIM_ENV`, `ZitadelAuthConfig.roles_claim`.
None had external consumers in the workspace.

Tests:
* 12 tests on `RoleClaims` deserialization: both shapes resolve,
  Zitadel URN wins precedence, unknown roles dropped, malformed
  scalar/mixed-type arrays error at decode, missing claim → empty,
  empty object/array → empty, extra unrelated claims are ignored,
  display matches wire spelling.
* 4 middleware tests on the typed `require_role(Role::FleetAdmin, …)`
  path. Dropped the redundant "admin-only vs admin+other" test —
  with a single-variant enum it duplicated the positive case.
2026-05-25 06:45:34 -04:00
2026-05-11 16:48:52 -04:00
2026-05-11 16:48:52 -04:00
2026-03-28 13:46:14 -04:00
2025-12-17 17:09:32 -05:00
2026-05-11 16:48:52 -04:00
2026-05-11 16:48:52 -04:00
2026-05-11 16:48:52 -04:00
2026-03-19 22:38:55 -04:00
2026-03-19 22:52:05 -04:00

Harmony

Infrastructure orchestration that treats your platform like first-class code.

Harmony is an open-source framework that brings the rigor of software engineering to infrastructure management. Write Rust code to define what you want, and Harmony handles the rest — from local development to production clusters.

By NationTech

Build License


The Problem Harmony Solves

Modern infrastructure is messy. Your Kubernetes cluster needs monitoring. Your bare-metal servers need provisioning. Your applications need deployments. Each comes with its own tooling, its own configuration format, and its own failure modes.

What if you could describe your entire platform in one consistent language?

That's Harmony. It unifies project scaffolding, infrastructure provisioning, application deployment, and day-2 operations into a single strongly-typed Rust codebase.


Three Principles That Make the Difference

Principle What It Means
Infrastructure as Resilient Code Stop fighting with YAML and bash. Write type-safe Rust that you can test, version, and refactor like any other code.
Prove It Works Before You Deploy Harmony verifies at compile time that your application can actually run on your target infrastructure. No more "the config looks right but it doesn't work" surprises.
One Unified Model Software and infrastructure are one system. Deploy from laptop to production cluster without switching contexts or tools.

How It Works: The Core Concepts

Harmony is built around three concepts that work together:

Score — "What You Want"

A Score is a declarative description of desired state. Think of it as a "recipe" that says what you want without specifying how to get there.

// "I want a PostgreSQL cluster running with default settings"
let postgres = PostgreSQLScore {
    config: PostgreSQLConfig {
        cluster_name: "harmony-postgres-example".to_string(),
        namespace: "harmony-postgres-example".to_string(),
        ..Default::default()
    },
};

Topology — "Where It Goes"

A Topology represents your infrastructure environment and its capabilities. It answers the question: "What can this environment actually do?"

// Deploy to a local K3D cluster, or any Kubernetes cluster via environment variables
K8sAnywhereTopology::from_env()

Interpret — "How It Happens"

An Interpret is the execution logic that connects your Score to your Topology. It translates "what you want" into "what the infrastructure does."

The Compile-Time Check: Before your code ever runs, Harmony verifies that your Score is compatible with your Topology. If your application needs a feature your infrastructure doesn't provide, you get a compile error — not a runtime failure.


What You Can Deploy

Harmony ships with ready-made Scores for:

Data Services

  • PostgreSQL clusters (via CloudNativePG operator)
  • Multi-site PostgreSQL with failover

Kubernetes

  • Namespaces, Deployments, Ingress
  • Helm charts
  • cert-manager for TLS
  • Monitoring (Prometheus, alerting, ntfy)

Bare Metal / Infrastructure

  • OKD clusters from scratch
  • OPNsense firewalls
  • Network services (DNS, DHCP, TFTP)
  • Brocade switch configuration

And more: Application deployment, tenant management, load balancing, and more.


Quick Start: Deploy a PostgreSQL Cluster

This example provisions a local Kubernetes cluster (K3D) and deploys a PostgreSQL cluster on it — no external infrastructure required.

use harmony::{
    inventory::Inventory,
    modules::postgresql::{PostgreSQLScore, capability::PostgreSQLConfig},
    topology::K8sAnywhereTopology,
};

#[tokio::main]
async fn main() {
    let postgres = PostgreSQLScore {
        config: PostgreSQLConfig {
            cluster_name: "harmony-postgres-example".to_string(),
            namespace: "harmony-postgres-example".to_string(),
            ..Default::default()
        },
    };

    harmony_cli::run(
        Inventory::autoload(),
        K8sAnywhereTopology::from_env(),
        vec![Box::new(postgres)],
        None,
    )
    .await
    .unwrap();
}

What this actually does

When you compile and run this program:

  1. Compiles the Harmony Score into an executable
  2. Connects to K8sAnywhereTopology — which auto-provisions a local K3D cluster if none exists
  3. Installs the CloudNativePG operator into the cluster (one-time setup)
  4. Creates a PostgreSQL cluster with 1 instance and 1 GiB of storage
  5. Exposes the PostgreSQL instance as a Kubernetes Service

Prerequisites

  • Rust (edition 2024)
  • Docker (for the local K3D cluster)
  • kubectl (optional, for inspecting the cluster)

Run it

# Clone the repository
git clone https://git.nationtech.io/nationtech/harmony
cd harmony

# Build the project
cargo build --release

# Run the example
cargo run -p example-postgresql

Harmony will print its progress as it sets up the cluster and deploys PostgreSQL. When complete, you can inspect the deployment:

kubectl get pods -n harmony-postgres-example
kubectl get secret -n harmony-postgres-example harmony-postgres-example-db-user -o jsonpath='{.data.password}' | base64 -d

To connect to the database, forward the port:

kubectl port-forward -n harmony-postgres-example svc/harmony-postgres-example-rw 5432:5432
psql -h localhost -p 5432 -U postgres

To clean up, delete the K3D cluster:

k3d cluster delete harmony-postgres-example

Environment Variables

K8sAnywhereTopology::from_env() reads the following environment variables to determine where and how to connect:

Variable Default Description
KUBECONFIG ~/.kube/config Path to your kubeconfig file
HARMONY_AUTOINSTALL true Auto-provision a local K3D cluster if none found
HARMONY_USE_LOCAL_K3D true Always prefer local K3D over remote clusters
HARMONY_PROFILE dev Deployment profile: dev, staging, or prod
HARMONY_K8S_CONTEXT none Use a specific kubeconfig context
HARMONY_PUBLIC_DOMAIN none Public domain for ingress endpoints

To connect to an existing Kubernetes cluster instead of provisioning K3D:

# Point to your kubeconfig
export KUBECONFIG=/path/to/your/kubeconfig
export HARMONY_USE_LOCAL_K3D=false
export HARMONY_AUTOINSTALL=false

# Then run
cargo run -p example-postgresql

Documentation

I want to... Start here
Understand the core concepts Core Concepts
Deploy my first application Getting Started Guide
Explore available components Scores Catalog · Topologies Catalog
See a complete bare-metal deployment OKD on Bare Metal
Build my own Score or Topology Developer Guide

Why Rust?

We chose Rust for the same reason you might: reliability through type safety.

Infrastructure code runs in production. It needs to be correct. Rust's ownership model and type system let us build a framework where:

  • Invalid configurations fail at compile time, not at 3 AM
  • Refactoring infrastructure is as safe as refactoring application code
  • The compiler verifies that your platform can actually fulfill your requirements

See ADR-001 · Why Rust for our full rationale.


Architecture Decisions

Harmony's design is documented through Architecture Decision Records (ADRs):


License

Harmony is released under the GNU AGPL v3.

We choose a strong copyleft license to ensure the project—and every improvement to it—remains open and benefits the entire community.

See LICENSE for the full text.


Made with ❤️ & 🦀 by NationTech and the Harmony community

Description
No description provided
Readme AGPL-3.0 3.5 GiB
Languages
Rust 97%
Shell 1.5%
HTML 0.8%
Python 0.2%
Jinja 0.2%
Other 0.3%