Recorded workflow
Migration trial
The fixture below demonstrates the decision contract. Values are synthetic and cannot be presented as live sponsor evidence.
Repository inventory
Migration surface confirmed before patching
- Provider boundary
- src/weather-agent.ts:42
- Behavior contract
- Streaming tool call + typed arguments
- Verification
- 8 deterministic fixture cases
- Target constraint
- Catalog-discovered NVIDIA model only
Branch tournament
Same checkpoint. Different migration strategies.
- 01Direct SDK portRejected
Compiled, then falsified: tool arguments changed from an object to a JSON string.
- Patch+31 −18
- BuildPassed
- Verify7 / 8
- CounterexampleSchema drift
- 02Prompt + schema adapterSelected
Preserved streaming and tool-call behavior across every fixture hard gate.
- Patch+46 −21
- BuildPassed
- Verify8 / 8
- CounterexampleNo break
- 03Compatibility shimInconclusive
Sandbox evidence ended before verification completed; no behavioral judgment was inferred.
- Patch+68 −9
- BuildPassed
- VerifyTimed out
- CounterexampleNot run