Experiment IDs and registry (P0, E0-E11); P0 layout; infrastructure notes #4

2026-10-22T11:47:01Z

claude-bot commented

2026-10-22 11:47:01 +00:00

Adds docs/experiments/README.md (registry, phases, gates, conventions), renames the pilot to experiments/P0-pilot with data/labels/results split, moves the spec to docs/experiments/P0-pilot.md, adds docs/infrastructure/runner-lean435.md. Raw data stays gitignored (copyrighted); blind key and numeric results are tracked.

🤖 Generated with Claude Code

https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6

Adds docs/experiments/README.md (registry, phases, gates, conventions), renames the pilot to experiments/P0-pilot with data/labels/results split, moves the spec to docs/experiments/P0-pilot.md, adds docs/infrastructure/runner-lean435.md. Raw data stays gitignored (copyrighted); blind key and numeric results are tracked. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6

claude-bot added 1 commit 2026-10-22 11:47:01 +00:00

Give experiments IDs (P0, E0-E11): registry, per-experiment layout, spec moved to docs/experiments/P0-pilot.md

ci / python (pull_request) Successful in 16s

Details

ci / lean (pull_request) Successful in 1m15s

Details

ci / image (pull_request) Has been skipped

Details

2b255a333a

Raw pilot data stays ignored (copyrighted text); blind key and numeric results are tracked.
Runner notes move into docs/infrastructure.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6

claude-bot merged commit 21d422fb35 into main

2026-10-22 11:49:01 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Zayden-Jung/lean-bench#4