Cookbook - Recipes
Historical recipe index
Migration preserves source material; it does not prove current executability. Runtime calls are UNAVAILABLE unless a recipe records an exact revision, current route witness, payload/response, and artifact-specific signature result. Global truth lives on Runtime status and Compliance.
This library was migrated from the recipes/ directory of szl-holdings/szl-cookbook. Historical logs, code, and Lean references remain useful inputs, but appearing here does not promote them into a current, live, deployed, measured, or signed claim.
Recipes
| Recipe | Evidence-bound title |
|---|---|
01-verify-a-receipt-end-to-end | Pinned-byte receipt verification procedure (signed sample unavailable) |
02-deploy-5-flagship-uds-bundle | UDS flagship deployment evidence protocol (deployment unavailable) |
02-willay-gated-turn | Local WILLAY gate fixture (runtime/signature unavailable) |
03-fine-tune-compliance-regime | Historical compliance-tuning design (execution unavailable) |
04-drone-counter-uas-verdict | Historical counter-UAS scenario (hardware/runtime unavailable) |
05-memory-attested-reasoning | Historical memory-attestation design (runtime/signature unavailable) |
06-cosign-rekor-slsa-l1 | Cosign/Rekor verification procedure (artifact-specific evidence required) |
07-build-your-own-organ | Local organ contract fixture (UDS integration unavailable) |
08-receipt-knot-algebra | Receipt-knot algebra design note (source artifact unavailable) |
09-pac-bayes-confidence-margin | PAC-Bayes arithmetic procedure (exact inputs/evidence required) |
10-cardano-dsse-blood-ledger | Local Cardano metadata candidate (on-chain witness unavailable) |
11-kitaev-surface-drift-detection | Kitaev-surface drift design note (runtime unavailable) |
12-doctrine-ledger-query | Doctrine-ledger query procedure (live route unavailable) |
13-build-uds-bundle-from-scratch | UDS packaging design (deployment unavailable) |
14-replicate-walrus-alpha-gap | Walrus alpha-gap reproduction procedure (fresh measurement required) |
15-air-gapped-install | Air-gap deployment evidence protocol (deployment unavailable) |
16-calphad-inverse-discovery | CALPHAD modeled fixture (runtime/signature unavailable) |
17-e8-lattice-receipt-verification | E8 receipt-geometry design note (runtime unavailable) |
18-governed-materials-prediction | Materials-bound arithmetic fixture (runtime unavailable) |
19-inverse-pinn-physics-discovery | Inverse-PINN modeled fixture (runtime unavailable) |
20-evidence-pack-for-auditors | Local evidence-pack digest fixture (runtime/signature unavailable) |
21-governed-speculative-decoding | Speculative-decoding accounting model (hardware measurement unavailable) |
22-conformal-prediction-sets | Conformal modeled fixture (empirical coverage unavailable) |
23-composite-provenance-receipt | Label-preserving composite local contract (hosted composition unavailable) |
anatomy-build-report | Historical anatomy build report |
chakra-unification | Historical unification note |
Historical agent-instruction patterns
Nine migrated SKILL.md instruction patterns are retained as historical material. Treat any HARVEST_LOG as provenance only after its exact repository revision and bytes are identified:
commit-hygiene- Commit Hygienedead-code-detector- Dead Code Detectordebug-protocol- Debug Protocoldependency-health- Dependency Healthdoc-comment-hygiene- Doc and Comment Hygienemonorepo-impact-analysis- Monorepo Impact Analysispre-flight-thinking- Pre-Flight Thinkingreact-component-review- React Component Reviewtypescript-refactor- TypeScript Refactor
Doctrine v11 locked snapshot: 749/14/163 at c7c0ba17c2eaec60ad38ea9172b4a0d9ca0b582f; Lambda uniqueness remains a conjecture.