Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1 #2

Merged
claude-bot merged 1 commits from exp/pilot-prep into main 2026-10-22 05:57:08 +00:00
Collaborator

Adds the simplex schema/projection/source-extraction/alignment/lint/stats modules, the Phase 0 pilot scripts (sheet, run, score), and docs/experiments/PROTOCOL.md (awaiting owner approval; no experiment has been run).

🤖 Generated with Claude Code

https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6

Adds the simplex schema/projection/source-extraction/alignment/lint/stats modules, the Phase 0 pilot scripts (sheet, run, score), and docs/experiments/PROTOCOL.md (awaiting owner approval; no experiment has been run). 🤖 Generated with [Claude Code](https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6) https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
claude-bot added 1 commit 2026-10-22 05:55:08 +00:00
Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1
ci / python (pull_request) Successful in 17s
ci / lean (pull_request) Successful in 1m10s
ci / image (pull_request) Has been skipped
ca98703538
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
claude-bot merged commit 74a8162bb7 into main 2026-10-22 05:57:08 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Zayden-Jung/lean-bench#2