Extract a typed agent's success (result().ok) SHAPE at the type level. The
phantom __outcome symbol is module-private, so this is the exported reader
the whole-harness registry uses: OkOf<typeof registry["planner"]> is the
literal ok shape planner produces, the producer side of a cross-file
Handoff<> check. A plain AgentSpec (no result() contract) carries no
phantom, so OkOf widens to the erased Shape — a no-op handoff, additive.
Extract a typed agent's success (
result().ok) SHAPE at the type level. The phantom__outcomesymbol is module-private, so this is the exported reader the whole-harness registry uses:OkOf<typeof registry["planner"]>is the literalokshapeplannerproduces, the producer side of a cross-fileHandoff<>check. A plainAgentSpec(noresult()contract) carries no phantom, soOkOfwidens to the erasedShape— a no-op handoff, additive.