docs: publish staged house card (szl-ouroboros)

Org-wide house-style upgrade; bodies preserved; zero invented stats.

README.md

@@ -1,5 +1,4 @@
 ---
-thumbnail: https://huggingface.co/SZLHOLDINGS/szl-ouroboros/resolve/main/og-card.png
 tags:
 - doi:10.5281/zenodo.20434308
 - kernel
@@ -17,128 +16,65 @@ szl-governance:
   honest_blocked: "a measurement gap stays a gap — overheadMs is UNAVAILABLE when wall is unmeasured, never fabricated"
 ---
 
-<!-- SZL-ESTATE-CARD:v2:START -->
-<p align="center"><a href="https://a-11-oy.com/"><img src="https://huggingface.co/spaces/SZLHOLDINGS/README/resolve/main/assets/estate-banner-v2.svg" alt="SZL Holdings — governed, receipted, verifiable" width="100%"></a></p>
-<p align="center">
-  <a href="https://github.com/szl-holdings/.github/tree/main/doctrine"><img src="https://img.shields.io/badge/doctrine-v11%20LOCKED-0B1F3A?style=flat-square" alt="doctrine v11"></a>
-  <a href="https://a-11-oy.com/"><img src="https://img.shields.io/badge/evidence%20wall-LIVE%20%C2%B7%20verify%20in%20browser-3AF4C8?style=flat-square" alt="live evidence wall"></a>
-  <a href="https://huggingface.co/datasets/SZLHOLDINGS/szl-lake"><img src="https://img.shields.io/badge/szl--lake-offline%20verifiable-C9B787?style=flat-square" alt="szl-lake offline verifiable"></a>
-  <a href="https://huggingface.co/spaces/SZLHOLDINGS/holographic"><img src="https://img.shields.io/badge/estate%20map-holographic-5B8DEE?style=flat-square" alt="holographic estate map"></a>
-</p>
-<p align="center"><sub>Part of the <a href="https://huggingface.co/SZLHOLDINGS">SZL Holdings</a> governed estate — claims are designed to carry checkable receipts. Verification proves integrity &amp; origin, never accuracy or performance.</sub></p>
-<!-- SZL-ESTATE-CARD:v2:END -->
+<div align="center">
 
-<!-- SZL-ARTIFACT-NOTICE:v1:START — honesty plate: repo semantics, no fake model tags. -->
-> **⬛ NOT A RUNNABLE MODEL.** This repository is a **governance kernel / artifact set** (specifications, invariants, receipts, or reference material) published under the SZL honesty doctrine. It deliberately declares **no `pipeline_tag` and no `base_model`** because none truthfully applies — you cannot load this repo into an inference pipeline, and tagging it otherwise would fake semantics. Verification of anything here proves **integrity & origin only, never accuracy or performance**. Λ = Conjecture 1 · ADVISORY.
-<!-- SZL-ARTIFACT-NOTICE:v1:END -->
+# szl-ouroboros — bounded-loop trace + loop-tax decomposition, offline
 
+[![kernel](https://img.shields.io/badge/kernel-loop--tax%20accounting-3af4c8?style=flat-square)](https://huggingface.co/kernels/SZLHOLDINGS/szl-ouroboros)
+[![tests](https://img.shields.io/badge/tests-13%2F13%20MEASURED-5b8dee?style=flat-square)](https://huggingface.co/SZLHOLDINGS/szl-ouroboros)
+[![Λ](https://img.shields.io/badge/%CE%9B-Conjecture%201%20%C2%B7%20advisory-d7b96b?style=flat-square)](https://a-11-oy.com)
+[![license](https://img.shields.io/badge/license-apache--2.0-7e8aa3?style=flat-square)](./LICENSE)
 
-# szl-ouroboros
+</div>
 
-> **Kernel Hub migration (verified 2026-07-15):** `get_kernel(...)` now resolves
-> the matching first-class [Kernel Hub repository](https://huggingface.co/kernels/SZLHOLDINGS/szl-ouroboros).
-> Its `main` and stable `v1` refs both pin verified revision
-> `756678f0bf096bde25054336c8e1ff78a9eb9172`. This model-type repository is
-> retained as the legacy source/card mirror.
+> **⬛ No `.safetensors`/`.bin`/`.pt`/`.gguf` — governance kernel repo.** Not a trained model, NO weights. Pure-Python, **stdlib-only** offline replay of the live Alloy surface — it reconstructs the a11oy agent-loop trace and its **loop-tax** decomposition from a run's provider-attempt windows. Nothing beyond sums, max and subtraction. **Λ is not touched here and stays Conjecture 1 (open).**
 
-**The a11oy bounded agent-loop trace and its loop-tax decomposition — as a `get_kernel`-discoverable, offline, stdlib-only governance kernel.** From [SZL Holdings](https://huggingface.co/SZLHOLDINGS).
-
-> ## Honest scope box — read this first
-> **This is NOT a trained model. There are NO weights** (`.safetensors` / `.bin` / `.pt` / `.gguf`).
-> It is a **pure-Python, stdlib-only** governance kernel: an **offline replay of the live Alloy
-> surface** — it reconstructs the a11oy agent-loop trace and its **loop-tax** decomposition from a
-> run's provider-attempt windows. No network, no torch, no tensors — nothing beyond sums, max and
-> subtraction. `get_kernel`-discoverable purely so the SZL family loads the same way. **Λ is not
-> touched here and stays Conjecture 1 (open).**
+> **Kernel Hub migration (verified 2026-07-15):** `get_kernel(...)` resolves the first-class [Kernel Hub repo](https://huggingface.co/kernels/SZLHOLDINGS/szl-ouroboros); `main` and `v1` pin verified revision `756678f0bf096bde25054336c8e1ff78a9eb9172`.
 
 ## The whole point: honest MEASURED vs DERIVED labels
 
-Loop timing is easy to overclaim. This kernel labels **every** field, carrying the backbone's
-`LOOP_TIMING_BASIS` string verbatim:
+Loop timing is easy to overclaim. This kernel labels **every** field, carrying the backbone's `LOOP_TIMING_BASIS` verbatim:
 
 | Field | Label | Meaning |
 |---|---|---|
-| `modelMs` | **MEASURED** | Σ of every provider-attempt wall window (success AND failed hops occupied the loop) |
+| `modelMs` | **MEASURED** | Σ of every provider-attempt wall window (success AND failed hops) |
 | `peakAttemptMs` | **MEASURED** | the single slowest attempt window (peak-vs-sum) |
-| `overheadMs` | **DERIVED** | `max(0, wall − modelMs)` — Alloy's own orchestration, NOT pure CPU time |
-| `serializationTaxMs` | **DERIVED** | `max(0, modelMs − peak)` — a **COUNTERFACTUAL, never a realized saving** (the loop is strictly sequential) |
-| `deadHopMs` | **DERIVED** | Σ failed windows before the served hop — upper bound only, **no prefetch** |
+| `overheadMs` | **DERIVED** | `max(0, wall − modelMs)` — Alloy's orchestration, NOT pure CPU time |
+| `serializationTaxMs` | **DERIVED** | `max(0, modelMs − peak)` — a **COUNTERFACTUAL, never a realized saving** (loop is strictly sequential) |
+| `deadHopMs` | **DERIVED** | Σ failed windows before the served hop — upper bound only, no prefetch |
 | `maxBudget` | **DECLARED** | the per-run attempt ceiling |
 | `exit` | **REPORTED** | `converged` / `budgetExhausted` / `aborted` / `error` |
-| `receiptsInEqOut` | **DOCTRINE** | one receipt trail in, one out — a doctrine invariant, **NOT a proof** |
+| `receiptsInEqOut` | **DOCTRINE** | one receipt trail in, one out — a doctrine invariant, NOT a proof |
 
-When `wall_ms=None`, `overheadMs` is honestly **None / UNAVAILABLE** — never fabricated; the
-peak/serialization/deadHop split still holds because it needs only the attempt windows. A wall smaller
-than modelMs surfaces `wallLessThanModel` (a measurement inconsistency made visible, never hidden).
+When `wall_ms=None`, `overheadMs` is honestly **None / UNAVAILABLE** — never fabricated. A wall smaller than modelMs surfaces `wallLessThanModel` (a measurement inconsistency made visible, never hidden).
 
 ## Quickstart (fully offline)
 
 ```python
 from kernels import get_kernel
-
 ou = get_kernel("SZLHOLDINGS/szl-ouroboros", revision="main", trust_remote_code=True)
-
 attempts = [
     {"provider": "sovereign", "model": "own-metal", "ok": False, "latency_ms": 220, "node": "tower"},
-    {"provider": "sovereign", "model": "own-metal", "ok": True,  "latency_ms": 900, "node": "laptop"},
-]
+    {"provider": "sovereign", "model": "own-metal", "ok": True,  "latency_ms": 900, "node": "laptop"}]
 trace = ou.build_loop_trace(attempts, wall_ms=1300, exit="converged", max_budget=4)
 print(trace["modelMs"], trace["overheadMs"], trace["deadHopMs"])  # 1120 180 220
-print(ou.explain(trace["labels"]))       # per-field MEASURED/DERIVED provenance
-print(ou.selfcheck())                    # falsifiable arithmetic self-check
+print(ou.selfcheck())    # falsifiable arithmetic self-check
 ```
 
-`LOOP_DOCTRINE = "bounded, terminating, receipt-closed"` — the Ouroboros closes on its own tail.
-`withinBudget` (steps ≤ maxBudget) surfaces the bounded-loop guarantee; a violation is **reported,
-never clamped**. Demo runs make no model call → `modelMs / peak / deadHop` are honestly 0.
+`LOOP_DOCTRINE = "bounded, terminating, receipt-closed"` — the Ouroboros closes on its own tail. `withinBudget` surfaces the bounded-loop guarantee; a violation is **reported, never clamped**. Demo runs make no model call → `modelMs / peak / deadHop` are honestly 0.
 
 ## Tests — MEASURED, local, stdlib-only
 
-```
-PYTHONPATH=build/torch-universal python3 -m pytest tests/ -q
-13 passed
-```
-
-**13/13 passed** on a local `python3` run (MEASURED, stdlib-only). The arithmetic is falsifiable — a
-wrong split flips the asserts; an unmeasured wall yields `overheadMs=None` (UNAVAILABLE, not fabricated);
-a wall < modelMs is flagged; a missing latency **raises** (never coerced); a budget violation is surfaced.
+`PYTHONPATH=build/torch-universal python3 -m pytest tests/ -q` → **13 passed**. The arithmetic is falsifiable — a wrong split flips the asserts; an unmeasured wall yields `overheadMs=None`; a missing latency raises; a budget violation is surfaced.
 
 ## Provenance
 
-Mirrors the live a11oy backbone loop-tax accounting (`artifacts/api-server/src/lib/backbone.ts` —
-`buildLoopTrace`, `sumAttemptMs`, `peakAttemptMs`, `deadHopMs`, `LOOP_DOCTRINE`, `LOOP_TIMING_BASIS`).
-Backed by the Lean 4 formalization [szl-holdings/lutar-lean](https://github.com/szl-holdings/lutar-lean),
-DOI [10.5281/zenodo.20434308](https://doi.org/10.5281/zenodo.20434308). **Λ uniqueness = Conjecture 1 (open).**
-
-## Compatibility
-
-Python 3.9+, **standard library only** — no torch, no third-party deps.
+Mirrors the live a11oy loop-tax accounting (`backbone.ts` — `buildLoopTrace`, `sumAttemptMs`, `peakAttemptMs`, `deadHopMs`, `LOOP_DOCTRINE`, `LOOP_TIMING_BASIS`). Backed by [lutar-lean](https://github.com/szl-holdings/lutar-lean), DOI [10.5281/zenodo.20434308](https://doi.org/10.5281/zenodo.20434308). Honest-model trio with [`szl-invariants`](https://huggingface.co/SZLHOLDINGS/szl-invariants) and [`szl-formulas`](https://huggingface.co/SZLHOLDINGS/szl-formulas); anchored by [`szl-kernels`](https://huggingface.co/SZLHOLDINGS/szl-kernels). Live substrate: [a-11-oy.com](https://a-11-oy.com).
 
 ## License
 
-Apache-2.0. Copyright 2026 SZL Holdings.
+Apache-2.0 · © 2026 SZL Holdings · Stephen P. Lutar · ORCID [0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173).
 
 ---
 
-## The SZL honest-model trio + the kernel suite
-
-Part of the SZL Holdings honest-model trio — stdlib-only offline replays of the live Alloy surface:
-
-| Model | Lane |
-|---|---|
-| [`szl-invariants`](https://huggingface.co/SZLHOLDINGS/szl-invariants) | 8 falsifiable receipt/ledger invariants, offline |
-| **`szl-ouroboros`** (this repo) | **bounded-loop trace + MEASURED/DERIVED loop-tax accounting** |
-| [`szl-formulas`](https://huggingface.co/SZLHOLDINGS/szl-formulas) | the 21 canonical formulas with per-formula PROOF-STATUS |
-
-Anchored by the governed-kernel suite [`szl-kernels`](https://huggingface.co/SZLHOLDINGS/szl-kernels)
-(hub) and its members ([`szl-lambda-gate`](https://huggingface.co/SZLHOLDINGS/szl-lambda-gate),
-[`szl-governed-norm`](https://huggingface.co/SZLHOLDINGS/szl-governed-norm),
-[`governed-inference-meter`](https://huggingface.co/SZLHOLDINGS/governed-inference-meter)).
-
-**Live substrate:** [a-11-oy.com](https://a-11-oy.com) · [a11oy Space](https://huggingface.co/spaces/SZLHOLDINGS/a11oy).
-
----
-
-<sub><b>SZL Holdings</b> · Ouroboros = bounded, terminating, receipt-closed · modelMs/peak MEASURED, the rest DERIVED · serializationTax is a counterfactual, never a saving · Λ untouched = Conjecture 1 · <a href="https://a-11-oy.com">a-11-oy.com</a> · <a href="https://github.com/szl-holdings">github.com/szl-holdings</a> · <a href="https://huggingface.co/SZLHOLDINGS">huggingface.co/SZLHOLDINGS</a></sub>
-
-*Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>*
+<sub><b>SZL Holdings honesty footer.</b> Λ = Conjecture 1 (advisory, never a theorem). locked-proven = exactly 8 {F1,F4,F7,F11,F12,F18,F19,F22}. Honesty labels: MEASURED / REPORTED / MODELED / HEURISTIC / UNKNOWN / UNAVAILABLE. Trust never 100% (ceiling 0.97). serializationTax is a counterfactual, never a saving. <a href="https://a-11-oy.com">a-11-oy.com</a> · <a href="https://huggingface.co/SZLHOLDINGS">huggingface.co/SZLHOLDINGS</a></sub>