Independent evidence surface

A11oy proof registry.

Inspect runtime truth, receipt verification, assurance evidence, benchmarks, source, and public-estate metadata without relying on the product interface. A link proves location and a probe proves reachability only; neither proves capability.

trust ceiling 0.97 — never 100% locked-proven = exactly 8 formulas Λ = Conjecture 1 · advisory, never a theorem
LABELSHonest by defaultMEASURED · REPORTED · MODELED · HEURISTIC · UNKNOWN · UNAVAILABLE
RECEIPTSDSSE-wrappedSigned governance receipts; verify before reliance
SUPPLY CHAINSLSAL1 honest · L2 attested · L3 roadmap
DOCTRINEOverclaim guardsCI gates ban invented stats and banned tokens

One backbone. Every claim accountable.

Alloy conducts agents across providers the way a signals officer runs a net — nothing transmits without a callsign, a label, and a log.

GOVERN
Λ

Doctrine-gated inference

Agent outputs pass doctrine gates before they ship: honest labels enforced, overclaims blocked, exceptions fail closed without leaking internals.

SIGN

Receipts, not vibes

Work products can carry DSSE-signed receipts with provenance you can verify offline — the claim chain is the product.

CONDUCT

Estate control plane

Models, kernels, datasets, and live consoles across the SZL estate are orchestrated as one governed surface with a single honesty canon.

How a claim earns its label

The pipeline is deliberately boring — and deliberately auditable.

01
Emit

An agent produces a claim, artifact, or action proposal.

02
Gate

Doctrine guards check labels, banned tokens, and overclaim patterns.

03
Sign

Qualifying artifacts get DSSE receipts with subject digests.

04
Publish

Surfaces ship with the label visible — UNKNOWN stays UNKNOWN.

05
Verify

Anyone can re-check the receipt chain — trust ceiling 0.97, never blind.

Live surfaces

Real endpoints, probed from your browser right now — reachability is labeled, not assumed.

Probe = opaque fetch reachability from your browser. REACHABLE / UNREACHABLE only — no uptime claims are made or stored.

Public Hub metadata

The public artifact registry, consolidated.

Search reported model, dataset, collection, and bucket listings without leaving the flagship. Executable Spaces and Killinchu-named resources are outside this evidence inventory.

LISTED ARTIFACTS
MODELS
DATASETS
COLLECTIONS
BUCKETS
ATLASLOADING
Reading the public Hub APIs…No secrets or private resources requested.

REPORTED means point-in-time public Hub listing metadata only. It does not prove capability, quality, safety, data rights, or deployed equivalence.