looks like Opus 4.6 is hardcoded as the default in autoformalize.py, and every workflow selects it unconditionally. the harness silently overrides the model choice for /autoformalize (and other) flows afaict (the lean workflows go through build_claude_runtime, which seems to pass this model unconditionally). doesn't look like there's an override mechanism either (no env var, no config key)? i'd just let the LLMs own model selection take over by default.
looks like Opus 4.6 is hardcoded as the default in autoformalize.py, and every workflow selects it unconditionally. the harness silently overrides the model choice for
/autoformalize(and other) flows afaict (the lean workflows go throughbuild_claude_runtime, which seems to pass this model unconditionally). doesn't look like there's an override mechanism either (no env var, no config key)? i'd just let the LLMs own model selection take over by default.