CVN-N001-EK-S02 — Derivations workspace¶
S02 terminal verdict (2026-06-23): typed
INFEASIBLE(cost-data+capacity). No Tier-A/B cost and no authorized read-only liquidity source; the cost/capacity first-blocker halted the chain (cadrage §1), so the downstream values were not derived. S03 charter lock is blocked. This is a valid, successful S02 outcome — the protocol prevented a false tradability lock. Verdict record: derivation 1 STOP-and-ask.Workspace for the D2 derivations. Analysis-only (runbook, architecture): each value is produced by a read-only notebook/script and recorded as a signed derivation (or a typed
INFEASIBLE). No training, no Airflow launcher, no Phase-2 run, no model selection — STOP and ask the operator if any step would require a run. This page is scaffolding: structure + templates, nothing executed.
Locations & naming (resolves runbook §5)¶
| Item | Location / convention |
|---|---|
| Derivation record (per value) | derivations/<value>.yaml (from _TEMPLATE_derivation.yaml) |
Typed INFEASIBLE record |
derivations/INFEASIBLE-<reason>.yaml (from _TEMPLATE_infeasible.yaml) |
| Charter values (unlocked) | charter draft §2 placeholder table |
| Validation evidence matrix | derivations/validation_evidence_matrix.md |
| MLflow (provenance-only) | experiment cvn-n001-ek-s02, run <value>-<YYYYMMDD> |
Status table (fill as derivations land)¶
| Value | File | Plan ref | Status | Lockability |
|---|---|---|---|---|
| Reference capacity | reference_capacity.yaml |
§9.1 | INFEASIBLE-capacity (record) — no authorized read-only liquidity source |
— |
| P90 cost (+ tier) | p90_cost.yaml |
§9.2 | INFEASIBLE-cost-data (record) — no Tier A/B; model-defined sweep only |
non-lockable |
E_econ_min / E_pred_min (mapping) |
e_econ_e_pred_mapping.yaml |
§10 | not derived — chain halted (cadrage §1) | — |
Power → MDE / N_min |
power_mde.yaml |
§11 | not derived — chain halted | — |
| Primary null-gate | null_gate.yaml |
§12 | not derived — chain halted | — |
| Budgets proposal | budgets.yaml |
§14 | not derived — chain halted | — |
| Sortino R1 note | sortino_r1.yaml |
§13 | not derived — chain halted | — |
How to fill (per value)¶
- Run the pre-flight checklist (runbook §3).
- Derive in a read-only notebook/script over existing inputs (no launcher).
- Copy
_TEMPLATE_derivation.yaml→<value>.yaml, fill + sign (provenance fields). - If undefendable → copy
_TEMPLATE_infeasible.yaml→INFEASIBLE-<reason>.yaml(a successful outcome). - Record the result in the status table above and the evidence matrix.
- On completion, assemble the S03 handoff package (runbook §12).
Definition of scaffolding-done¶
Structure + templates + per-value stubs + evidence matrix exist; runbook §5 locations are concrete; no value derived yet, no run performed. The next step (each derivation) is implementation work under the analysis-only boundary.