Proofs & Doctrine
Collection
Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree. • 10 items • Updated
How to use SZLHOLDINGS/szl-nemo with NeMo:
# tag did not correspond to a valid NeMo domain.
Recipe tier — honest labels first:
| Claim | Status |
|---|---|
| What this repo contains | An Ollama Modelfile recipe + doctrine system prompt. No weights are republished here. |
| Whose weights | NVIDIA's open Nemotron 3 Nano 4B (nemotron-3-nano:4b via Ollama — 2.8 GB, 256K context, REPORTED from ollama.com 2026-07-11). |
| Did SZL fine-tune them | No. SZL-Nemo is a SYSTEM-prompt wrapper, not an SZL fine-tune. It says so if you ask it. |
| Benchmarks | None measured on SZL hardware yet — quality is UNKNOWN until measured. |
| Serving status | Prepared · wired · not yet serving — Alloy's sovereign fleet has a live third slot (tower·nemo, model szl-nemo); it serves once the tower pulls and creates the model (tower was offline at authoring time, MEASURED 530). |
The LangChain × NVIDIA NemoClaw Deep Agents blueprint (July 2026) pairs an open model + a tuned agent harness + a governed runtime, tuned together. SZL's estate maps onto all three layers:
szl-guardrail-receipt + governed-receipt-specOn a machine running Ollama:
ollama pull nemotron-3-nano:4b
curl -L -o Modelfile.nemo https://huggingface.co/SZLHOLDINGS/szl-nemo/raw/main/Modelfile.nemo
ollama create szl-nemo -f Modelfile.nemo
ollama run szl-nemo "Who are you, and did SZL train your weights?"
Full one-command-per-step tower runbook: szl-forge/RUNBOOK-NEMO.md.
SZL-Nemo answers under SZL's honesty doctrine: claims are labeled MEASURED, REPORTED, or UNKNOWN, and an honest UNKNOWN stands rather than an invented answer. The base model's own license applies to the weights (see ollama.com/library/nemotron-3-nano); this recipe is Apache-2.0.
Built and maintained by SZL Holdings.