ReceiptAgent-Nano card
Browse files
README.md
CHANGED
|
@@ -3,30 +3,20 @@ license: apache-2.0
|
|
| 3 |
library_name: numpy
|
| 4 |
tags:
|
| 5 |
- governed-ai
|
| 6 |
-
- khipu
|
| 7 |
- szl-holdings
|
| 8 |
-
-
|
| 9 |
-
-
|
| 10 |
-
-
|
| 11 |
-
- silhouette
|
| 12 |
---
|
| 13 |
|
| 14 |
# ReceiptAgent-Nano
|
| 15 |
|
| 16 |
-
|
| 17 |
|
| 18 |
-
|
| 19 |
|
| 20 |
-
|
| 21 |
-
Sibling card: [SZLHOLDINGS/szl-khipu](https://huggingface.co/SZLHOLDINGS/szl-khipu)
|
| 22 |
|
| 23 |
-
## 4-way gate
|
| 24 |
-
|
| 25 |
-
| Code | Who decides | Meaning |
|
| 26 |
-
|---|---|---|
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
<!-- SZL-ATELIER-CUT:v1:START -->
|
| 30 |
## The cut
|
| 31 |
|
| 32 |
Anthropic refuses. NVIDIA rails. Unsloth trains. We add a fourth way: hand the decision to a human with a receipt. Loop-tax lives here.
|
|
@@ -52,43 +42,15 @@ Fail-closed unit tests for the 4-way gate.
|
|
| 52 |
- Synthetic 4-D features. Not a substitute for the 1.5B agent.
|
| 53 |
- Hub kernel labels are ALLOW/WARN/BLOCKED/ESCALATE — kernel is truth. This atelier MLP is a 4-class silhouette, not rule_check.
|
| 54 |
|
| 55 |
-
Canonical GitHub: [`szl-holdings/szl-khipu`](https://github.com/szl-holdings/szl-khipu/blob/main/szl_khipu/train/receipt_agent.py)
|
| 56 |
-
<!-- SZL-ATELIER-CUT:v1:END -->
|
| 57 |
-
|
| 58 |
-
| ALLOW | kernel `rule_check` | explicit allow and axes held |
|
| 59 |
-
| WARN | kernel `rule_check` | bound or yuyay floor missed |
|
| 60 |
-
| BLOCKED | kernel `rule_check` | hard deny, zero axis, or no allow |
|
| 61 |
-
| ESCALATE | kernel `rule_check` | chain/pin break — still not autonomous |
|
| 62 |
-
|
| 63 |
-
The kernel (`rule_check` / `deny_by_default`) is the ground truth. A trained silhouette that approximates the gate is **not** a substitute for the kernel, not proven trust, and not a uniqueness theorem. `decide()` always returns the kernel label.
|
| 64 |
-
|
| 65 |
-
```python
|
| 66 |
-
from szl_khipu.train import receipt_agent
|
| 67 |
-
from szl_khipu import deny_by_default
|
| 68 |
-
|
| 69 |
-
print(deny_by_default(allow=True, hard_deny=False, lambda_pass=True))
|
| 70 |
-
# ALLOW — kernel is truth; the agent does not override this
|
| 71 |
-
|
| 72 |
-
weights, ev = receipt_agent.train(seed=20260721)
|
| 73 |
-
# few-thousand-float silhouette, honesty REPORTED; kernel_wins = 1.0
|
| 74 |
-
```
|
| 75 |
-
|
| 76 |
-
## What it is NOT
|
| 77 |
-
|
| 78 |
-
- **Not SZL-Forge-1.5B-ReceiptAgent.** That Hub card is RESEARCH, proposal-only, never executes, GGUF not in a signed hash, **not trained here**.
|
| 79 |
-
- **Not szl-receiptagent-qwen35-0.8b-v2.** Not Qwen. Not 0.8B. Not 10.8M trainable adapters.
|
| 80 |
-
- **Not autonomy.** Not a tool-caller. Not a replacement for HARD_SECURITY.
|
| 81 |
-
- **Not joules, not CUDA. proven_trust stays false.**
|
| 82 |
-
|
| 83 |
## Honesty
|
| 84 |
|
| 85 |
-
| Claim | Label |
|
| 86 |
-
|---|---|
|
| 87 |
-
|
|
| 88 |
-
|
|
| 89 |
-
| Λ |
|
| 90 |
-
|
|
| 91 |
-
|
| 92 |
-
|
| 93 |
|
| 94 |
-
|
|
|
|
| 3 |
library_name: numpy
|
| 4 |
tags:
|
| 5 |
- governed-ai
|
|
|
|
| 6 |
- szl-holdings
|
| 7 |
+
- doctrine-v11
|
| 8 |
+
- nano
|
| 9 |
+
- synthetic
|
|
|
|
| 10 |
---
|
| 11 |
|
| 12 |
# ReceiptAgent-Nano
|
| 13 |
|
| 14 |
+
ALLOW · DENY · ABSTAIN · ESCALATE. Escalation is a class, not a retry loop.
|
| 15 |
|
| 16 |
+
**Family.** nano · **Evidence.** SYNTHETIC · **Weights.** numpy · **Params.** 4-10-4
|
| 17 |
|
| 18 |
+
Hub: [SZLHOLDINGS/ReceiptAgent-Nano](https://huggingface.co/SZLHOLDINGS/ReceiptAgent-Nano)
|
|
|
|
| 19 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
## The cut
|
| 21 |
|
| 22 |
Anthropic refuses. NVIDIA rails. Unsloth trains. We add a fourth way: hand the decision to a human with a receipt. Loop-tax lives here.
|
|
|
|
| 42 |
- Synthetic 4-D features. Not a substitute for the 1.5B agent.
|
| 43 |
- Hub kernel labels are ALLOW/WARN/BLOCKED/ESCALATE — kernel is truth. This atelier MLP is a 4-class silhouette, not rule_check.
|
| 44 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
## Honesty
|
| 46 |
|
| 47 |
+
| Claim | Label |
|
| 48 |
+
|---|---|
|
| 49 |
+
| This card's numbers | SYNTHETIC |
|
| 50 |
+
| Energy / joules | UNAVAILABLE unless a signed meter says MEASURED |
|
| 51 |
+
| Λ uniqueness | Conjecture 1 OPEN — not a theorem |
|
| 52 |
+
| GGUF as the signed object | FALSE |
|
| 53 |
+
|
| 54 |
+
Doctrine v11 LOCKED · 749 declarations · 14 axioms · 163 sorries · locked-proven 8.
|
| 55 |
|
| 56 |
+
Apache-2.0. Copyright 2026 SZL Holdings · Stephen P. Lutar Jr. · ORCID [0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173).
|