Skip to content

results(imo-2026): archive audit trails for 8 more runs + extraction script#348

Merged
tempcollab merged 2 commits into
mainfrom
feat/imo-audit-batch3
Jul 16, 2026
Merged

results(imo-2026): archive audit trails for 8 more runs + extraction script#348
tempcollab merged 2 commits into
mainfrom
feat/imo-audit-batch3

Conversation

@tempcollab

Copy link
Copy Markdown
Collaborator

Archives full audit artifacts for 8 more completed IMO 2026 runs, proving each was AI-generated with no human intervention. Same schema as prior batches (PR #344 etc.): current.md + approaches/ + lemmas/ from the run branch, logs.jsonl (verbatim run + audit_log + tool_calls) from the DB, scratch/ from the rounds volume.

Model Problem Effort Source PR
Fable 5 p6 medium tempcollab/proval#32
GPT-5.6 Sol p4 high tempcollab/proval#33
GPT-5.6 Sol p5 high tempcollab/proval#31
GPT-5.6 Sol p6 high tempcollab/proval#28
Opus 4.5 p1 high tempcollab/proval#18
Opus 4.5 p2 high tempcollab/proval#20
Opus 4.8 p1 high tempcollab/proval#25
Opus 4.8 p2 high tempcollab/proval#27

Adds two new model folders (claude-opus-4-5/, claude-opus-4-8/). GPT-5.6 Sol now covers all six problems.

Also saves the reproducible extraction script at results/imo-2026/scripts/extract_run.sh (relative-DEST bug fixed; benign trailing-grep exit documented).

Verification (all 8 runs): status completed, balanced run_starting/run_ended, full subagent-role pipeline present (math-explorer/proof-outliner/proof-builder/proof-reviewer/outline-reviewer + orchestrator), and 0 credential matches across every committed byte.

🤖 Generated with Claude Code

tempcollab and others added 2 commits July 16, 2026 03:45
…script

Adds full audit artifacts (current.md, approaches/, lemmas/ from the run
branch; logs.jsonl from the DB; scratch/ from the rounds volume) for:

- Fable 5     — p6 (effort: medium)
- GPT-5.6 Sol — p5, p6 (effort: high)
- Opus 4.5    — p1, p2 (effort: high) [new model folder]
- Opus 4.8    — p1, p2 (effort: high) [new model folder]

All 7 runs verified: status completed, run_starting/run_ended balanced,
full subagent-role pipeline present, zero credential matches.

Also saves the reproducible extraction script under scripts/ (fixes the
relative-DEST bug and documents the benign trailing-grep exit code).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Adds full audit artifacts (current.md, approaches/, lemmas/, logs.jsonl,
scratch/) for GPT-5.6 Sol problem 4 (effort: high). Completes GPT-5.6 Sol's
coverage of all six IMO 2026 problems.

Verified: status completed, run_starting/run_ended balanced, full
subagent-role pipeline present, zero credential matches.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@tempcollab
tempcollab merged commit faca2e8 into main Jul 16, 2026
@tempcollab
tempcollab deleted the feat/imo-audit-batch3 branch July 16, 2026 07:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant