Issue Tracker

refactor(Channel/Semigroup/ReducibleQDS): remove unused sum-of-squares reformulation #6233

Sign in to view logs

Triggered via pull request June 21, 2026 00:44

LionSR

opened #3267

codex/mathlib-4-31-native-pass-20260621g

Status Success

Total duration 1m 37s

Artifacts –

tracking-issue-sync.yml

on: pull_request

Annotations

1 notice

Claude Code provider

provider=anthropic, model=claude-sonnet-4-6, tier=sonnet