Cookbook — Recipes

The full, runnable recipe library — migrated from szl-holdings/szl-cookbook recipes/. Every recipe carries a HARVEST_LOG provenance receipt, is tsc --noEmit clean where it ships code, and references specific Lean obligations by theorem name.

Migrated here from szl-holdings/szl-cookbook. This is the canonical published home of the recipe library. The source repo remains active during consolidation but is now marked deprecated in favor of this site.

Recipes

Recipe	Title
01-verify-a-receipt-end-to-end	Verify a receipt end-to-end
02-deploy-5-flagship-uds-bundle	Deploy the SZL flagship UDS bundle
02-willay-gated-turn	Recipe 02 — WILLAY: Gated Turn + Signed Receipt Verification
03-fine-tune-compliance-regime	Fine-tune a customer compliance regime
04-drone-counter-uas-verdict	Drone counter-UAS verdict
05-memory-attested-reasoning	Memory-attested reasoning
06-cosign-rekor-slsa-l1	Verify cosign + Rekor for SLSA L1
07-build-your-own-organ	Build your own organ
08-receipt-knot-algebra	Receipt knot algebra
09-pac-bayes-confidence-margin	PAC-Bayes confidence margin
10-cardano-dsse-blood-ledger	Cardano-anchored DSSE blood ledger
11-kitaev-surface-drift-detection	Kitaev surface drift detection
12-doctrine-ledger-query	Doctrine ledger query
13-build-uds-bundle-from-scratch	Build a UDS bundle from scratch
14-replicate-walrus-alpha-gap	Replicate the Walrus α-gap measurement
15-air-gapped-install	Air-gapped install
16-calphad-inverse-discovery	CALPHAD inverse-discovery
17-e8-lattice-receipt-verification	E8 lattice receipt verification
18-governed-materials-prediction	Governed materials prediction
19-inverse-pinn-physics-discovery	Inverse-PINN physics discovery
20-evidence-pack-for-auditors	Evidence pack for auditors
21-governed-speculative-decoding	Governed speculative decoding — speedup model + receipt
22-conformal-prediction-sets	Conformal prediction sets — replacing bare percentages with coverage-guaranteed sets
23-composite-provenance-receipt	Composite inference-provenance receipt (functor-receipt)
anatomy-build-report	SZL Agent Body Diagram — v3 Report
chakra-unification	06 — UNIFICATION WITH EXISTING CHAKRAS

Claude-code skills

Nine SKILL.md agent-instruction patterns harvested from real production sessions, each with HARVEST_LOG provenance:

• commit-hygiene — Commit Hygiene
• dead-code-detector — Dead Code Detector
• debug-protocol — Debug Protocol
• dependency-health — Dependency Health
• doc-comment-hygiene — Doc & Comment Hygiene
• monorepo-impact-analysis — Monorepo Impact Analysis
• pre-flight-thinking — Pre-Flight Thinking
• react-component-review — React Component Review
• typescript-refactor — TypeScript Refactor

---

Doctrine v11 LOCKED · 749/14/163 · kernel c7c0ba17 · Λ = Conjecture 1 · Apache-2.0