Spaces:
Running
Running
docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)
Browse filesAutomated README sync from szl-holdings/a11oy main via hf-sync.
Signed-off-by: Yachay <yachay@szlholdings.ai>
Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>
README.md
CHANGED
|
@@ -93,10 +93,10 @@ See [`docs/GOVERNED_POST_DETERMINISM.md`](https://github.com/szl-holdings/platfo
|
|
| 93 |
curl -s https://szlholdings-a11oy.hf.space/api/a11oy/v1/honest | jq .kernel_commit
|
| 94 |
# => "c7c0ba17"
|
| 95 |
|
| 96 |
-
# 2. Verify the cosign keyless signature
|
| 97 |
-
#
|
| 98 |
-
#
|
| 99 |
-
#
|
| 100 |
cosign verify ghcr.io/szl-holdings/a11oy:uds-v0.2.0 \
|
| 101 |
--certificate-identity-regexp="^https://github.com/szl-holdings/" \
|
| 102 |
--certificate-oidc-issuer="https://token.actions.githubusercontent.com"
|
|
@@ -117,7 +117,7 @@ graph TD
|
|
| 117 |
A[Incoming action] --> PL[Policy layer\n/v1/policy/evaluate\ndeny-by-default]
|
| 118 |
PL --> KD[Khipu DAG\nDSSE P-256 signed\nSHA-256 hash-linked]
|
| 119 |
KD --> LDG[Ledger /v1/ledger\nreplayable, tamper-evident]
|
| 120 |
-
KD --> UDS[(GHCR\nSigned OCI\ncosign keyless
|
| 121 |
KD --> REKOR[(Rekor transparency log\nindex 1710578865)]
|
| 122 |
```
|
| 123 |
|
|
@@ -129,7 +129,7 @@ graph TD
|
|
| 129 |
|---|---|---|---|
|
| 130 |
| Policy enforcement | ✅ | ✅ `/v1/policy/evaluate` | — |
|
| 131 |
| Audit trail | ✅ logs | ✅ **signed receipts** | Palantir logs are not individually verifiable cryptographic artifacts |
|
| 132 |
-
| Supply-chain provenance | — | ✅ **cosign keyless-signed
|
| 133 |
| Formal math substrate | — | ✅ Lean 4 / 749 decl | Open, machine-checkable |
|
| 134 |
| Air-gap deployment | ✅ (proprietary) | ✅ **one UDS command** | Open-source, reproducible |
|
| 135 |
| Receipt multi-party witness | — | ✅ BFT quorum-capable | — |
|
|
@@ -149,8 +149,8 @@ docker run --rm -p 7860:7860 ghcr.io/szl-holdings/a11oy:uds-v0.2.0
|
|
| 149 |
| Claim | Status |
|
| 150 |
|---|---|
|
| 151 |
| Live HF Space (HTTP 200) | ✅ |
|
| 152 |
-
| SLSA
|
| 153 |
-
| SLSA
|
| 154 |
| cosign keyless signed | ✅ |
|
| 155 |
| UDS bundle (`szl-uds-bundle:uds-v0.2.0`) | ✅ Real, deployable mesh bundle (cosign-signed, Rekor-anchored). |
|
| 156 |
| DSSE Khipu receipts | ✅ — ECDSA P-256-SHA256 |
|
|
@@ -163,7 +163,9 @@ docker run --rm -p 7860:7860 ghcr.io/szl-holdings/a11oy:uds-v0.2.0
|
|
| 163 |
|
| 164 |
---
|
| 165 |
|
| 166 |
-
|
|
|
|
|
|
|
| 167 |
|
| 168 |
Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>
|
| 169 |
|
|
|
|
| 93 |
curl -s https://szlholdings-a11oy.hf.space/api/a11oy/v1/honest | jq .kernel_commit
|
| 94 |
# => "c7c0ba17"
|
| 95 |
|
| 96 |
+
# 2. Verify the cosign keyless signature + build-provenance attestation on the image.
|
| 97 |
+
# SLSA L1 honest · L2 build-attested: container provenance via
|
| 98 |
+
# attest-build-provenance (Sigstore keyless, Fulcio + Rekor). Verify with
|
| 99 |
+
# `cosign verify-attestation`. SLSA L3 is roadmap — see .compliance/SLSA_LEVEL.md.
|
| 100 |
cosign verify ghcr.io/szl-holdings/a11oy:uds-v0.2.0 \
|
| 101 |
--certificate-identity-regexp="^https://github.com/szl-holdings/" \
|
| 102 |
--certificate-oidc-issuer="https://token.actions.githubusercontent.com"
|
|
|
|
| 117 |
A[Incoming action] --> PL[Policy layer\n/v1/policy/evaluate\ndeny-by-default]
|
| 118 |
PL --> KD[Khipu DAG\nDSSE P-256 signed\nSHA-256 hash-linked]
|
| 119 |
KD --> LDG[Ledger /v1/ledger\nreplayable, tamper-evident]
|
| 120 |
+
KD --> UDS[(GHCR\nSigned OCI\ncosign keyless · SLSA L1+L2 build-attested)]
|
| 121 |
KD --> REKOR[(Rekor transparency log\nindex 1710578865)]
|
| 122 |
```
|
| 123 |
|
|
|
|
| 129 |
|---|---|---|---|
|
| 130 |
| Policy enforcement | ✅ | ✅ `/v1/policy/evaluate` | — |
|
| 131 |
| Audit trail | ✅ logs | ✅ **signed receipts** | Palantir logs are not individually verifiable cryptographic artifacts |
|
| 132 |
+
| Supply-chain provenance | — | ✅ **cosign keyless-signed + build-attested (SLSA L1 honest · L2 build-attested)** | `cosign verify-attestation` on every image; container provenance via attest-build-provenance, Rekor-anchored. SLSA L3 is roadmap. |
|
| 133 |
| Formal math substrate | — | ✅ Lean 4 / 749 decl | Open, machine-checkable |
|
| 134 |
| Air-gap deployment | ✅ (proprietary) | ✅ **one UDS command** | Open-source, reproducible |
|
| 135 |
| Receipt multi-party witness | — | ✅ BFT quorum-capable | — |
|
|
|
|
| 149 |
| Claim | Status |
|
| 150 |
|---|---|
|
| 151 |
| Live HF Space (HTTP 200) | ✅ |
|
| 152 |
+
| SLSA **L1 honest · L2 build-attested** | ✅ — cosign keyless-signed image + container build-provenance attestation (attest-build-provenance, Sigstore keyless), verifiable via `cosign verify-attestation`; Rekor [1710578865](https://search.sigstore.dev/?logIndex=1710578865). See [.compliance/SLSA_LEVEL.md](.compliance/SLSA_LEVEL.md). |
|
| 153 |
+
| SLSA **L3** | 🛣️ **Roadmap** — hardened/isolated builder + non-falsifiable provenance. **Not claimed as achieved today.** |
|
| 154 |
| cosign keyless signed | ✅ |
|
| 155 |
| UDS bundle (`szl-uds-bundle:uds-v0.2.0`) | ✅ Real, deployable mesh bundle (cosign-signed, Rekor-anchored). |
|
| 156 |
| DSSE Khipu receipts | ✅ — ECDSA P-256-SHA256 |
|
|
|
|
| 163 |
|
| 164 |
---
|
| 165 |
|
| 166 |
+
> Not affiliated with Defense Unicorns. SZL mark USPTO Serial 99831122. No production ATO claimed.
|
| 167 |
+
|
| 168 |
+
<sub>Doctrine v11 LOCKED · 749/14/163 · kernel `c7c0ba17` · SLSA L1 honest · L2 build-attested (container provenance, Sigstore keyless) · L3 / FedRAMP / Iron Bank / CMMC / ATO roadmap · 5 locked-proven + experimental CI-green tier · Λ = Conjecture 1 · Apache-2.0 · DOI [10.5281/zenodo.20434276](https://doi.org/10.5281/zenodo.20434276)</sub>
|
| 169 |
|
| 170 |
Signed-off-by: Stephen P. Lutar Jr. <stephenlutar2@gmail.com>
|
| 171 |
|