-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
6 of 7 fanout legs fail structured-output parsing instantly — contention-check validates almost nothing
benchmarkBenchmark runs and resultsBenchmark runs and resultsbugSomething isn't workingSomething isn't workingscaleCompute, Pass@N, value modelsCompute, Pass@N, value modelstier-1Free wins, no costFree wins, no costStatus: Open.Model pin not holding: every glm request is served glm-5.3
benchmarkBenchmark runs and resultsBenchmark runs and resultsbugSomething isn't workingSomething isn't workingcorrectnessProof verification and false positivesProof verification and false positivestier-1Free wins, no costFree wins, no costStatus: Open.Cross-iteration error recurrence counter
infrastructureBuild, tooling, REPL, LSPBuild, tooling, REPL, LSPtier-2Moderate effort, real gainsModerate effort, real gainsStatus: Open.TheoremStore: dedupe by signature, keep shorter proof
tier-3Research-level, significant investmentResearch-level, significant investmentStatus: Open.TheoremStore: offer stored signatures to the proposer
tier-2Moderate effort, real gainsModerate effort, real gainsStatus: Open.TheoremStore: Lake library target and import wiring
infrastructureBuild, tooling, REPL, LSPBuild, tooling, REPL, LSPtier-2Moderate effort, real gainsModerate effort, real gainsStatus: Open.TheoremStore: harvest verified proofs
infrastructureBuild, tooling, REPL, LSPBuild, tooling, REPL, LSPtier-2Moderate effort, real gainsModerate effort, real gainsStatus: Open.Record theorem-store collection in result metadata
processDevelopment process and guardrailsDevelopment process and guardrailstier-1Free wins, no costFree wins, no costStatus: Open.Contamination guard: theorem store disabled during benchmark runs
correctnessProof verification and false positivesProof verification and false positivestier-1Free wins, no costFree wins, no costStatus: Open.Partial-credit score function, report-only
benchmarkBenchmark runs and resultsBenchmark runs and resultstier-2Moderate effort, real gainsModerate effort, real gainsStatus: Open.skeleton_typechecks flag on ProblemResult
infrastructureBuild, tooling, REPL, LSPBuild, tooling, REPL, LSPtier-1Free wins, no costFree wins, no costStatus: Open.Capture partial-progress fields into ProblemResult
infrastructureBuild, tooling, REPL, LSPBuild, tooling, REPL, LSPtier-1Free wins, no costFree wins, no costStatus: Open.