2026-08-11 - 2026-11-11
Overview
7 Pull requests merged by 2 users
Merged
#10 ci: 仅 main 分支执行 CI/CD
Merged
#9 Add semantic simplex schemas, review page and resumable pilot recovery
Merged
#8 Diagnose and safely expand the Lean runner root filesystem
Merged
#7 Reassess all 65 P0 items in a separate GPT-assisted diagnostic
Merged
#5 Make the P0 pilot reproducible and freeze 65 blind AI labels
Merged
#4 Experiment IDs and registry (P0, E0-E11); P0 layout; infrastructure notes
Merged
#2 Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1
2 Issues created by 1 user
Opened
#1 CI: run jobs on label ubuntu24.04-x64-lean4.35 and keep the built image permanently
Opened
#3 Phase 0 pilot APPROVED — please start the pilot run on the 65 items