Re-wire a Galaxy draft region when a step's declared output can't be computed from its wired inputs.
Directory Mold with only index.md frontmatter.
target-specific fields are coherent.
Abstract oracle: fixture-independent property checks any run must satisfy.
eval.md has a Case section — concrete cases belong in scenarios.md.
eval.md ↗Concrete cases: fixtures bound to expected values, run against the eval properties.
scenarios.md not written yet.
7 typed references; 0 resolver issues.
All on-demand references describe triggers.
Hypothesis references include verification.
Typed Mold references describe what casting consumes and when the generated skill should load each artifact.
Structured contract copied for validation or lookup.
Background synthesis loaded by explicit progressive-disclosure metadata.
Background synthesis loaded by explicit progressive-disclosure metadata.
Background synthesis loaded by explicit progressive-disclosure metadata.
Background synthesis loaded by explicit progressive-disclosure metadata.
Workflow-construction idiom. Usually condensed during casting.
Workflow-construction idiom. Usually condensed during casting.
Re-wired gxformat2 draft: a producer step (or small sub-path) inserted so the previously-blocked step's declared output is computable; new steps land at draft (TODO) tier.
Ledger with the addressed blocking entries marked resolved, or surrendered with a note when no producer can be found within the escalation budget.
Partially-realized gxformat2 draft (see [[galaxy-workflow-draft-format]]) whose topology can't support a declared step — the region to repair.
Carried obligations from [[open-requirements-ledger]]; the open blocking entries name which step output is uncomputable and what evidence is missing.
Topology is settled upstream by the *-summary-to-galaxy-template Mold, and the per-step loop is wrapper-tier — it does not edit topology. This Mold is the escalation target the loop reaches when implementation proves the settled topology cannot support a declared step: a step output that needs evidence no wired input carries (the connection graph validates fine, but nothing produces what the output requires). Wrapper-tier gaps — no Tool Shed wrapper picked yet — are not this case; those route through the discover-or-author branch.
You are invoked with the partially-realized draft and the open-requirements-ledger. Read the open blocking entries: each names a step, the uncomputable output, and the missing evidence. Your job is bounded topology repair — not re-settling the workflow. Repair the named region and nothing else; the surrounding topology, already-realized steps, and workflow interface stay put.
Decide the shape of the fix from the missing evidence, the surrounding data-flow design (galaxy-data-flow-draft-contract), IWC structure, and the pattern pages. It may be one producer step, or a small sub-path of a few tools, or — when the declared output is genuinely uncomputable and no producer exists — narrowing the step to what its inputs can support. Insert the new step(s) in the draft superset (galaxy-workflow-draft-format): concrete topology and edges, wrapper-tier TODO for tool_id and ports, _plan_* fields carrying intent. The existing discover-or-author → summarize-galaxy-tool → implement-galaxy-tool-step machinery realizes them on later loop iterations; do not resolve wrappers here.
Then update the ledger. For each blocking entry your repair addresses, mark it resolved with a note on how (producer added, sub-path added, output narrowed). The loop’s convergence gate counts open blocking entries and requires each escalation to strictly reduce that count, under a hard cap on escalations. If you cannot close an entry — no producer is discoverable and the output cannot be honestly narrowed — surrender it: leave it open with a note, so the terminal path writes it into the final draft as a labelled gap rather than spinning or fabricating. Never insert a producer whose own output is uncomputable from what feeds it; that grows the DAG without reducing the open count and the loop will not converge.