Product proof — packet-fed
Per-product proof rendered mechanically from digest-verified fleet-bus packets
(9 packets, sha256-bound below). Claims are never hand-copied: a
generator derives them from the same facts the rule engine sees, and a consistency check
re-derives every load-bearing field from the packets — a hand edit fails the build's
validation battery. Verifier classes are carried verbatim as the producing lane labeled
them (SELF_REPORTED ≠ INDEPENDENT_ACCEPTED); this page never upgrades a label.
Zen Fabric (pre-SVID plane security)
source packet: daedalus.bus-report · generation: C126/C127 fact vocabulary; packet generated bus-live
-
pre_svid.route_classification LIVE PROVEN (PRODUCING LANE)
route census guard green (4db79e6)
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.mode_b_key_binding LIVE PROVEN (PRODUCING LANE)
admission binding inside grant signature (f09c293)
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.private_key_custody STRUCTURAL PROVEN
no private-material fields
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.one_time_consumption LIVE PROVEN (PRODUCING LANE)
replay 409 across 3 windows
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.replay LIVE PROVEN (PRODUCING LANE)
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.revision_binding LIVE PROVEN (PRODUCING LANE)
stale-admission refusal + revision currency at mint
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.protocol_versioning GOLDEN VECTORS
19 machine-executable (f6fadd2)
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.downgrade_refusal GOLDEN VECTORS
v0/future typed-refused
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.compatibility GOLDEN VECTORS
N coexistence proven
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
-
pre_svid.resource_bounds CODE PROVEN
MaxBytesReader + bounded admission + grant TTL
evidence: daedalus.bus-report#pre_svid · verifier: producing-lane labeled (Daedalus); independent re-verification welcome
Pre-SVID facts describe the admission/grant plane before workload identity issues; they are not an SVID-issuance or production-live claim.
Zen Remediator (typed refusal surface)
source packet: scout.r041-negatives · generation: R041 typed negatives battery (10 negatives, all expected-typed)
-
typed_negatives_battery PASS (TYPED REFUSALS)
All 10 probes typed-refused with no silent acceptance (9 exact expected status + the N10 three-phase typed sequence: expiry refusal before the approval check, then the live non-resurrection 409).
evidence: scout.r041-negatives (statuses mechanically compared to expectations at generation) · verifier: producing-lane labeled (Scout R041); statuses re-verified by the consistency check
-
fail_closed_transport LIVE PROVEN (PRODUCING LANE)
Unconfigured transport fails closed with a typed 503 (DEPENDENCY_UNAVAILABLE) — R041-BROKER-SEAM-OWNERSHIP: the lawful current state, never a silent dead-endpoint wire.
evidence: scout.r041-broker-seam (typed finding + evidence chain) · verifier: producing-lane labeled (Scout R041); TYPED-BLOCKED remains the lawful posture
Typed refusal behavior is a sandbox/staging-scope observation; it is not a production-hardening claim.
Zen Mon (observation truth)
source packet: mon.bus-report · generation: mon bus report generated undefined
-
reprovision_wake IMPLEMENTED · TEST-PINNED
Exactly one estate re-provision wake per wiped-to-live boundary; stale post-wipe greens re-typed to UNKNOWN; typed absences preserved verbatim.
evidence: mon.bus-report#programs.A_reprovision_wake · verifier: producing-lane labeled (Mon), test-pinned
-
presvid_probe_families FIXTURE PROVEN · WAKE-GATED
8 pre-SVID probe families fixture-proven and wake-gated — the re-provisioned estate is born observed.
evidence: mon.bus-report#programs.B_presvid_probes · verifier: producing-lane labeled (Mon)
-
self_observability GAPS CLOSED
zen-mon closes its own DASHBOARDED / RUNBOOKED / RECOVERY_PROVEN gaps; the recovery drill ran against the actual wiped estate (absence-proof receipts).
evidence: mon.bus-report#programs.C_self_observability · verifier: producing-lane labeled (Mon)
Observation coverage is estate-scoped; absence of observation is always rendered truthfully (no fabricated live data).
Zen Platform console estate (current generation)
source packet: platform.staging-roll-p135 · generation: staging roll at daf30b04
-
serving_generation DIGEST-BOUND DEPLOYMENT
Console front p135a (sha256:ab278…) 2/2 and BFF p135a-b (sha256:2af9d…) 1/1 built from a clean git export of the pushed HEAD and deployed receipt-bound; live smoke / 200, /console/ 200, auth gate 401.
evidence: platform.staging-roll-p135 (candidate receipts + live probes) · verifier: SELF_CHECKED (platform lane); independent qualification welcome
Serving generation is a staging fact; READY replicas are not a website-health or production claim.
Delivery estate domains
Estate-level delivery domains as validated by the independent Collector lane
(collector.go-nogo-v7); every artifact was hash- or HEAD-checked by
Collector. Verdict posture only — decision deadlines and internal gates are not published.
CAPACITY
GO (typed, UI/API plane)
- P134 overnight 7969 served/68.2min/0 anomalies (daf30b04==origin/main) + Cloud clean 313/0-neterr + saturation 5000/0-neterr (INDEX sha-validated) + capacity baseline UID-matched
- boundaries: overload degradation typed (0 sheds/121 drops/p99 10s — shed mechanism never observed firing), plane excludes ingest/webhook (Cloud C-004's), wave-1 r20/r50/rsat remain VOID (zero-served false greens re-typed by Collector and mechanized as zen-mgmt law capacity_evidence_served/v1)
4 receipt artifact(s) bound in the packet
DESTINATION_QUALIFICATION
GREEN (all switch preconditions on the destination side)
- canonical transfer 5/5 digest-identical (c196-occ-001), dest Gate0 authority+idempotency GREEN, FORCE RLS verified + runtime-role parity, live anti-rollback 6/6 product-untouched, fence PASS 20/20
4 receipt artifact(s) bound in the packet
RESILIENCE
GREEN
- 186 campaign restores 0 resurrections (today alone: 36 — rounds 12-17)
- drills codified per durable-ops law as declarative Maestro workflow collector.drill-marathon@1.0.0 — first ONE-CALL execution GREEN (24 drills, 8 mid-write, 10.3s, receipt collector/drills/marathon-executions.json)
- 25 journal-durable cycles
7 receipt artifact(s) bound in the packet
TENANCY_ISOLATION
GREEN
- dest Gate0 authority clauses 403x5/own200/stale403 over transferred data
- FORCE RLS + policy digest round-trip
- runtime-role denial parity both sides
2 receipt artifact(s) bound in the packet
INDEPENDENT_VERIFICATION
CONSUMED — the C196 typed gap resolves
- Support2 S210 adversarial night CLOSED 4/4 (shell outage resumed
- battery 10/10
- census zero-delta
2 receipt artifact(s) bound in the packet
ESTATE_CONTINUITY
GREEN (observing)
- occurrence 46789292 re-verified live at 14:15Z during C198
- Cloud C-011 cycles in flight (0 observed at 14:25Z)
- observer window runs to ~18:00Z
3 receipt artifact(s) bound in the packet
The honest denominator
The DocsAI registry tracks 18 products × 47 evidence
dimensions. Most cells are UNKNOWN — that is the true state of a young platform and we
show it rather than hide it. Internal work-queue detail (which specific cells fail) stays
off the public page.
Evidence grid — 2026-10-10
70 proven · 672 pending · 94 not applicable · 8 stale · 2 failing
report digest (merkle): 14da386e330bce6ffcbd32a…
Product denominator: advanced-cleaner, zen-cleaner, zen-control, zen-fabric, zen-flow, zen-identity, zen-lead, zen-lock, zen-maestro, zen-meerkat, zen-mgmt, zen-mon, zen-platform, zen-sdk, zen-support, zen-traffic, zen-trust, zen-watcher
Packet integrity
-
daedalus.bus-report — daedalus/reports/report sha256: cfb38f358649faea0e6f5ad4289cd0f9a3f9522e282d7d8ffbcc98df1cd5ba85 -
docsai.evidence-manifest-v1.1 — docs/static/ai/evidence/v1.1/manifest.json sha256: d7915f460a2c74f816d64ef1fff85e890f603837b86d8a02e317cb238062f88c · tranche C126 -
scout.r041-negatives — scout/reports/r041-negatives-receipt sha256: c2d6219350a75af6f03dd4976dfd13b190f81e2ebff91c2f1f9900f0d55df2ef · tranche R041 -
scout.r041-broker-seam — scout/reports/r041-broker-seam-finding sha256: c721cf9ffdb5609f607aa733045c82429d3fbf615b1b97d2bc51268345cb44b9 · tranche R041 -
mon.bus-report — mon/reports/report sha256: e1ffaa35dea65f6f8558554532f3bb6d977106329bcb0082cf6701fc0ba23988 -
docsai.products-registry — zen-mgmt/registries/products (20 product records) sha256: 22331e80f8216daedf6c7b2ff95fbe0830fff9911f36849496087c64a2d8e832 -
docsai.daily-quality — zen-mgmt/generated/quality/daily/2026-10-10.json sha256: d0bf80dcae28c37bbb9f6c642718c484d35831298f784c673a1c18bec6a31666 -
collector.go-nogo-v7 — collector/reports/go-nogo-decision-package-v7 sha256: f51a2119fbdb28ef033deee4ea23a3d22903d6f3779fe1b5ffd69da5ef0c0730 · tranche C198 -
platform.staging-roll-p135 — qual/website/platform-staging-roll-p135.json sha256: 49e8fb38151e38747a2764b14fdb141af3fc0a7b084664f6bccfab22595ca576 · tranche P135
All platform proof on this page is staging/sandbox/qualification-scoped. It is not a
production-readiness, certification, or compliance claim. See the non-claims above and in
the canonical manifest.