betterwithage commited on
Commit
dab03c8
·
verified ·
1 Parent(s): c2bb4a0

docs: download-ready card — live demo links, install lines, file map (honest labels preserved)

Browse files
Files changed (1) hide show
  1. README.md +26 -11
README.md CHANGED
@@ -23,6 +23,10 @@ szl-governance:
23
 
24
  ## Quickstart
25
 
 
 
 
 
26
  ```python
27
  import torch
28
  from kernels import get_kernel
@@ -143,13 +147,13 @@ Independently published, `get_kernel`-discoverable kernels that share one `Unifi
143
 
144
  | Kernel | Lane | Live hologram |
145
  |---|---|---|
146
- | [`szl-governed-norm`](https://huggingface.co/SZLHOLDINGS/szl-governed-norm) | RMSNorm/LayerNorm + SHA3-256 receipts | `governed-norm-holo` *(ROADMAP not yet live)* |
147
- | [`szl-lambda-gate`](https://huggingface.co/SZLHOLDINGS/szl-lambda-gate) | advisory Λ gate (Conjecture 1, OPEN) | `lambda-gate-holo` *(ROADMAP not yet live)* |
148
- | [`governed-inference-meter`](https://huggingface.co/SZLHOLDINGS/governed-inference-meter) | MEASURED-joule energy accounting | `energy-attest-holo` *(ROADMAP not yet live)* |
149
- | [`szl-govsign`](https://huggingface.co/SZLHOLDINGS/szl-govsign) | signed governance attestation (DSSE / in-toto, ECDSA P-256) | `szl-govsign-live` *(ROADMAP not yet live)* |
150
- | [`szl-blocked`](https://huggingface.co/SZLHOLDINGS/szl-blocked) | honest-BLOCKED first-class state + EU AI Act Annex IV DRAFT | `szl-blocked-live` *(ROADMAP not yet live)* |
151
- | [`szl-provctl`](https://huggingface.co/SZLHOLDINGS/szl-provctl) | provenance-DAG verify + in-toto v1 / SLSA v1 interop + per-kernel MEASURED energy | `szl-provctl-live` *(ROADMAP not yet live)* |
152
- | **`szl-kernels`** (this repo) | **unified suite — cross-kernel `UnifiedReceiptChain`** | `szl-kernels-live` *(ROADMAP not yet live)* |
153
 
154
  `suite.list_kernels()` returns the numeric core; `suite.list_series()` returns the govsign + blocked + provctl governance/interop layer.
155
 
@@ -183,11 +187,11 @@ Backed by the Lean 4 formalization [szl-holdings/lutar-lean](https://github.com/
183
 
184
  ## See it live
185
 
186
- - ✅ **Live now:** [a11oy](https://huggingface.co/spaces/SZLHOLDINGS/a11oy) (live governed inference) · [hatun-mcp](https://huggingface.co/spaces/SZLHOLDINGS/hatun-mcp). The `*-live` / `*-holo` Spaces below are ROADMAP (not yet live).
187
  - 📚 **Collection:** [Governed Kernels — verifiable AI building blocks](https://huggingface.co/collections/SZLHOLDINGS/governed-kernels-verifiable-ai-building-blocks-6a41d3936cfce4fba83ce378) — the whole family in one page. **Live console:** [a11oy](https://szlholdings-a11oy.hf.space) · [a-11-oy.com](https://a-11-oy.com) · [llm-router](https://szlholdings-llm-router-live.hf.space) · [receipt verifier](https://szlholdings-governed-receipt-verifier.static.hf.space) · [receipt spec (hub)](https://github.com/szl-holdings/governed-receipt-spec).
188
- - 🔮 Suite: `szl-kernels-live` *(ROADMAP not yet live)* — holographic cross-kernel provenance graph with in-browser SHA3-256 + tamper / honest-BLOCKED demo.
189
- - 🔮 Members: `governed-norm-holo` *(ROADMAP not yet live)* · `lambda-gate-holo` *(ROADMAP not yet live)* · `energy-attest-holo` *(ROADMAP not yet live)* · `receipt-chain-live` *(ROADMAP not yet live)*
190
- - 🔮 Governance layer: `szl-govsign-live` *(ROADMAP not yet live)* · `szl-blocked-live` *(ROADMAP not yet live)* · `szl-provctl-live` *(ROADMAP not yet live)*
191
  - 🔮 `szl-substrate` *(ROADMAP — not yet live)* — the hub tying the whole governed-compute substrate together.
192
 
193
  ## Compatibility
@@ -230,3 +234,14 @@ Honesty (Doctrine v11): Λ unconditional uniqueness is **Conjecture 1** (machine
230
  ```
231
 
232
  *Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>*
 
 
 
 
 
 
 
 
 
 
 
 
23
 
24
  ## Quickstart
25
 
26
+ ```bash
27
+ pip install kernels torch
28
+ ```
29
+
30
  ```python
31
  import torch
32
  from kernels import get_kernel
 
147
 
148
  | Kernel | Lane | Live hologram |
149
  |---|---|---|
150
+ | [`szl-governed-norm`](https://huggingface.co/SZLHOLDINGS/szl-governed-norm) | RMSNorm/LayerNorm + SHA3-256 receipts | [`governed-norm-holo`](https://szlholdings-governed-norm-holo.static.hf.space) **live** |
151
+ | [`szl-lambda-gate`](https://huggingface.co/SZLHOLDINGS/szl-lambda-gate) | advisory Λ gate (Conjecture 1, OPEN) | [`lambda-gate-holo`](https://szlholdings-lambda-gate-holo.static.hf.space) **live** |
152
+ | [`governed-inference-meter`](https://huggingface.co/SZLHOLDINGS/governed-inference-meter) | MEASURED-joule energy accounting | [`energy-attest-holo`](https://szlholdings-energy-attest-holo.static.hf.space) **live** |
153
+ | [`szl-govsign`](https://huggingface.co/SZLHOLDINGS/szl-govsign) | signed governance attestation (DSSE / in-toto, ECDSA P-256) | [`szl-govsign-live`](https://szlholdings-szl-govsign-live.static.hf.space) **live** |
154
+ | [`szl-blocked`](https://huggingface.co/SZLHOLDINGS/szl-blocked) | honest-BLOCKED first-class state + EU AI Act Annex IV DRAFT | [`szl-blocked-live`](https://szlholdings-szl-blocked-live.static.hf.space) **live** |
155
+ | [`szl-provctl`](https://huggingface.co/SZLHOLDINGS/szl-provctl) | provenance-DAG verify + in-toto v1 / SLSA v1 interop + per-kernel MEASURED energy | [`szl-provctl-live`](https://szlholdings-szl-provctl-live.static.hf.space) **live** |
156
+ | **`szl-kernels`** (this repo) | **unified suite — cross-kernel `UnifiedReceiptChain`** | [`szl-kernels-live`](https://szlholdings-szl-kernels-live.static.hf.space) **live** |
157
 
158
  `suite.list_kernels()` returns the numeric core; `suite.list_series()` returns the govsign + blocked + provctl governance/interop layer.
159
 
 
187
 
188
  ## See it live
189
 
190
+ - ✅ **Live now:** [a11oy](https://huggingface.co/spaces/SZLHOLDINGS/a11oy) (live governed inference) · [hatun-mcp](https://huggingface.co/spaces/SZLHOLDINGS/hatun-mcp). **All eight demo Spaces below are live** (static, in-browser).
191
  - 📚 **Collection:** [Governed Kernels — verifiable AI building blocks](https://huggingface.co/collections/SZLHOLDINGS/governed-kernels-verifiable-ai-building-blocks-6a41d3936cfce4fba83ce378) — the whole family in one page. **Live console:** [a11oy](https://szlholdings-a11oy.hf.space) · [a-11-oy.com](https://a-11-oy.com) · [llm-router](https://szlholdings-llm-router-live.hf.space) · [receipt verifier](https://szlholdings-governed-receipt-verifier.static.hf.space) · [receipt spec (hub)](https://github.com/szl-holdings/governed-receipt-spec).
192
+ - Suite: [`szl-kernels-live`](https://szlholdings-szl-kernels-live.static.hf.space) **live** — holographic cross-kernel provenance graph with in-browser SHA3-256 + tamper / honest-BLOCKED demo.
193
+ - Members: [`governed-norm-holo`](https://szlholdings-governed-norm-holo.static.hf.space) **live** · [`lambda-gate-holo`](https://szlholdings-lambda-gate-holo.static.hf.space) **live** · [`energy-attest-holo`](https://szlholdings-energy-attest-holo.static.hf.space) **live** · [`receipt-chain-live`](https://szlholdings-receipt-chain-live.static.hf.space) **live**
194
+ - Governance layer: [`szl-govsign-live`](https://szlholdings-szl-govsign-live.static.hf.space) **live** · [`szl-blocked-live`](https://szlholdings-szl-blocked-live.static.hf.space) **live** · [`szl-provctl-live`](https://szlholdings-szl-provctl-live.static.hf.space) **live**
195
  - 🔮 `szl-substrate` *(ROADMAP — not yet live)* — the hub tying the whole governed-compute substrate together.
196
 
197
  ## Compatibility
 
234
  ```
235
 
236
  *Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>*
237
+
238
+ ## Files in this repo
239
+
240
+ | Path | What it is |
241
+ |---|---|
242
+ | `build/torch-universal/szl_kernels/__init__.py` | public API — suite entry points + `selfcheck()` |
243
+ | `build/torch-universal/szl_kernels/_chain.py` | cross-kernel `UnifiedReceiptChain` (SHA3-256) |
244
+ | `build/torch-universal/szl_kernels/_ops.py` | the governed op set |
245
+ | `tests/test_suite.py` | suite test |
246
+ | `build.toml` · `metadata.json` | Kernel Hub build/metadata manifests |
247
+ | `LICENSE` · `SECURITY.md` | Apache-2.0 · security policy |