Skip to program ledger

Living Program Ledger

Frauthy/Project Management

v37 · 2026-07-28

Repository dossier

protocol

The contract layer + the engine

On track
Branch
master
Commit
c35be1e8cba83305198195106fda4f8012b387d0
Worktree
Clean
SDK
workspace crates 0.0.1

stack

Rust (7 crates) · Bun/TS CLI

ci

green (exact-head Protocol CI run 29756434292: Rust, CLI, type contract, integrations, coverage gates, and reusable dispatch caller)

deploy

not applicable (contract crates and CLI)

coverage

Rust 75.07% remote / 69.72% floor; TypeScript CLI 47.65% remote / 21.51% floor

What it is. The contract layer and root of the dependency graph: the Frauthy Script compiler (Frauthy Schema → SpiceDB .zed / Keto OPL / TS bindings), the LSP, the Rust engine crates (core · spicedb · keto · oidc · observe), the claim→relationship mapping engine, the request lifecycle, the conformance suite, and the end-user frauthy CLI.

What’s proven. The compiler round-trips both golden examples (GP.Family and DocLib — nested groups, user:* wildcards, deny-by-default) byte-for-byte against committed fixtures, offline and live. The lifecycle emits OTLP spans for all four steps. OIDC discovery with RS256/JWKS rotation is real, with Keycloak, Auth0, Clerk, and Custom adapters.

Where it falls short. The Rust Store/Provider traits are synchronous and missing lookup_resources, watch, and consistency handles that the spec promises — the real capability lives in inherent methods instead of the contract. The domains verify round-trip is broken (no proof persistence), --connect-oidc is parsed and ignored, Level-2/3 scaffolds (init platform, init app) don’t exist, and the four live integration suites are #[ignore]d forever because CI has no Docker services job. BetterAuth and Ory Hydra adapters — the first being the prerequisite for the Cuitty dogfooding initiative — are missing.

The plan. protocol/specs/GAP-CLOSURE-2026-07-12.md (PROTO-1 … PROTO-15): async trait redesign first (it touches everything), then the domains round-trip, live CI, LSP completions of the remaining capabilities, and the missing adapters and scaffolds.

full spec: protocol/specs/GAP-CLOSURE-2026-07-12.md · port :41013