Skip to main content

Fleet engineering practice

ProofWarden

ProofWarden — the testing and CI authority console, where a per-project warden is the sole test executor and a test cannot run twice at once by construction.

What it is

Per project, one entry point for the test catalogue, test runs, live output, history and CI, designed so that it cannot be bypassed. A resident warden is meant to be the only thing that ever runs a test; the command line, the console, an AI agent and CI all submit requests to it, and an atomic lease registry with heartbeats and recorded reclaim keeps single-flight true, refusing rather than guessing when the warden is down. The base package is the warden, the lease registry and the command-line tool, installable in CI without any web framework; the console is an optional extra on top. Its README records the single-flight core as the part that exists and the rest as pre-implementation.

It belongs to Fleet engineering practice — the estate's most distinctive work is how it is operated. That cluster states its own boundaries on the work page, including what it deliberately does not own.

State

Status
Active development
Registered version
0.1.9
Category
application
Cluster
Fleet engineering practice
Release wave
2
Language recorded
python

Versions shown here are the versions the registry records for the working tree. The package index is the publication contract, and the two are not guaranteed to agree — the index is what an install command actually resolves against. recorded at build · 2026-09-04

A project page is one row of the federation registry, read at build: the registered version, the projects it depends on, and the projects that depend on it — all of them the registry's own values. recorded at build · 2026-09-16

how it connects

Relations

Declared dependencies, by scope

Declared dependents, by scope

No registered project depends on it yet.

Left: what ProofWarden depends on. Right: what depends on it. Every relation the registry records for ProofWarden is published here and named above. Relations are read from mgf-libraries.json, synced from mgf-standard at 87915ba on 2026-09-16.

A project's release wave is its position in the dependency order recorded upstream — a barrier that says what must be published first, never a date. recorded at build · 2026-09-16

under the hood

Engineering
Third-party packages declared
0
Optional extras
dev · standards · web
Requires Python
>=3.11

The registry records a direct third-party declaration count for each project. This site can sum those row counts, but it does not have the names needed to deduplicate them or describe a resolved installation. recorded at build · 2026-09-16

The rule families it is measured against

ProofWarden answers to the same corpus every registered project does: 323 anchored rules in 25 families, of which 313 are binding. This is the corpus, not a score — nothing on this page claims a conformance result for ProofWarden, because no durable per-project record of one is published. The corpus, family by family →

Counted from mgf-rules-index.json, synced from mgf-standard at 169b511 on 2026-09-04.

Every registered project is measured against the same corpus: the rule families, their sizes, and how many of their rules are binding come from the standard's own machine-readable index, not from prose about it. recorded at build · 2026-09-04

the record

Evidence

Read the declared runtime graph

Inside ProofWarden's declared runtime graph

  • ProofWarden itself.
  • 2 further Magogi libraries in its declared runtime graph, directly or through them: mgf-fedres · mgf-test-supervisor
  • a sum of direct third-party declaration counts — 0 on ProofWarden's row and 1 across the declared runtime graph. The registry supplies no names, so this is not a unique package count or a resolved installation.

Outside this graph

  • the other 51 published components are not reached by these declared runtime relationships. The explorer counts the same graph. This graph is a registry model, not a package-resolver result.
  • anything from these clusters: VManager — the virtual-machine stack · Hardware resource broker · Telematics · Cloud & cost · Applications & ventures
  • a hosted service, an account, or a runtime the Foundation operates for you.

The design rules require a third-party dependency that performs input or output to sit behind an interface with both a production and a test implementation. The rule states the required design; the registry's dependency counts do not verify implementation conformance. recorded at build · 2026-09-04

A project's declared runtime graph, and what stays outside it, is computed only from registry edges scoped as runtime. Optional and test declarations remain outside that view; the graph is not a resolved installation. recorded at build · 2026-09-16