Commit Graph

Select branches

Hide Pull Requests

codex/gpt-diagnostic

codex/main-only-cicd

codex/pilot-execution

codex/runner-storage-probe

codex/simplex-registry

docs/experiment-registry

exp/pilot-prep

main

#10

#2

#4

#5

#6

#7

#8

#9

Mono Color

• 41811f6bc3 Merge pull request 'ci: 仅 main 分支执行 CI/CD' (#10) from codex/main-only-cicd into main main Zayden-Jung 2026-11-03 19:05:25 +00:00
• 10a50e32db ci: restrict workflows to main branch codex/main-only-cicd codex-bot 2026-10-30 03:44:05 +08:00
• a80448ae36 Merge pull request 'Add semantic simplex schemas, review page and resumable pilot recovery' (#9) from codex/simplex-registry into main Zayden-Jung 2026-10-28 13:55:55 +00:00
• 3453d5c961 Merge pilot recovery into the semantic simplex schema delivery codex/simplex-registry codex-bot 2026-10-28 21:48:23 +08:00
• 4eee78be09 docs(schema): track the 65-item schema review page codex-bot 2026-10-28 21:42:45 +08:00
• 29fe3e1aa5 feat(schema): persist and instantiate scoped multi-role relation schemas codex-bot 2026-10-28 21:26:55 +08:00
• 7d2c6f470b Merge pull request 'Diagnose and safely expand the Lean runner root filesystem' (#8) from codex/runner-storage-probe into main Zayden-Jung 2026-10-28 12:23:35 +00:00
• 36fd787c43 docs: record authorized runner root filesystem expansion codex/runner-storage-probe codex-bot 2026-10-28 20:21:48 +08:00
• 96a1763392 ci: add guarded manual root disk expansion for the Lean runner codex-bot 2026-10-28 20:18:48 +08:00
• 6a65435702 ci: add read-only runner storage diagnostics codex-bot 2026-10-28 20:13:32 +08:00
• d9389fd1c0 Merge pull request 'Reassess all 65 P0 items in a separate GPT-assisted diagnostic' (#7) from codex/gpt-diagnostic into main Zayden-Jung 2026-10-28 11:30:09 +00:00
• 2f0a217a94 feat(pilot): add full-cohort GPT-assisted diagnostic codex/gpt-diagnostic codex-bot 2026-10-28 19:28:07 +08:00
• 1c265609d5 docs(pilot): link the recovery audit to the follow-up PR codex/pilot-execution codex-bot 2026-10-28 19:08:30 +08:00
• 16e49df764 fix(pilot): preserve partial results and stop on provider billing errors codex-bot 2026-10-28 19:04:43 +08:00
• 5d531c9c5f Merge pull request 'Make the P0 pilot reproducible and freeze 65 blind AI labels' (#5) from codex/pilot-execution into main Zayden-Jung 2026-10-28 10:58:10 +00:00
• 6875c79c40 fix(pilot): freeze AI labels and enforce auditable execution codex-bot 2026-10-28 18:46:24 +08:00
• 21d422fb35 Merge pull request 'Experiment IDs and registry (P0, E0-E11); P0 layout; infrastructure notes' (#4) from docs/experiment-registry into main claude-bot 2026-10-22 11:49:00 +00:00
• 2b255a333a Give experiments IDs (P0, E0-E11): registry, per-experiment layout, spec moved to docs/experiments/P0-pilot.md docs/experiment-registry claude-bot 2026-10-22 11:46:59 +00:00
• 74a8162bb7 Merge pull request 'Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1' (#2) from exp/pilot-prep into main claude-bot 2026-10-22 05:57:07 +00:00
• ca98703538 Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1 exp/pilot-prep claude-bot 2026-10-22 05:52:28 +00:00
• 3e0782c62a ci: fetch the Mathlib cache only through the retry loop claude-bot 2026-10-21 11:32:39 +00:00
• 09ea8a67ce ci: retry Mathlib cache fetches that drop a few transfers claude-bot 2026-10-21 11:08:48 +00:00
• 066b3f158b ci: run tests, real Lean + Mathlib smoke and image build on the lean4.35 runner claude-bot 2026-10-21 10:58:42 +00:00
• 21c296113a ci: probe the ubuntu24.04-x64-lean4.35 runner claude-bot 2026-10-21 10:50:32 +00:00
• f0a2eba7a0 docs: add ACL 2027 bar analysis and link the research plan from the README claude-bot 2026-10-21 10:46:54 +00:00
• 99dc543946 docs: verified literature review, gap analysis and paper TODO list claude-bot 2026-10-21 10:43:22 +00:00
• 0b80cb883d docs: research plan v2 - simplex schema as Lean parameters, detailed experiments claude-bot 2026-10-21 10:38:06 +00:00
• eb66548fa7 docs: research plan and paper brief (ACL 2027 target) claude-bot 2026-10-21 10:30:54 +00:00
• a1569f3b6a ci: allow cold runner setup to finish codex-bot 2026-09-23 23:27:05 +08:00
• f0e910cd88 ci: run Python checks in Bookworm container codex-bot 2026-09-23 23:09:59 +08:00
• fc223263bd ci: provision supported Python on runner codex-bot 2026-09-23 23:07:28 +08:00
• 41cbf44db9 ci: restore Python checks on CODEX runner codex-bot 2026-09-23 22:53:36 +08:00
• f3dd8f8701 ci: probe Docker through the runner socket codex-bot 2026-09-23 22:36:34 +08:00
• c3025567c8 ci: inspect persistent storage for uploaded book codex-bot 2026-09-23 22:28:25 +08:00
• bde340e414 ci: probe CODEX runner and uploaded book codex-bot 2026-09-23 22:20:14 +08:00
• d5136d849d Add tests/README.md Zayden-Jung 2026-09-22 17:56:09 +00:00
• ca844f1d55 Update lean/README.md Zayden-Jung 2026-09-22 17:54:09 +00:00
• ebf257d669 Update leanbench/README.md Zayden-Jung 2026-09-22 17:53:49 +00:00
• f6c014f687 Add examples/README.md Zayden-Jung 2026-09-22 17:52:55 +00:00
• 6e3322b046 Add docker/README.md Zayden-Jung 2026-09-22 16:50:32 +00:00
• d2bbbacfa8 Add lean/README.md Zayden-Jung 2026-09-22 16:49:52 +00:00
• a030939d75 Add leanbench/README.md Zayden-Jung 2026-09-22 15:07:49 +00:00
• 1ddfdf583a chore: remove CI/CD workflows codex-bot 2026-09-22 21:34:22 +08:00
• 910633ecb1 Say when the persistent container is running an older image than the build claude-bot 2026-09-19 19:11:04 +00:00
• bd26e9ce6e Stop an empty env var from shadowing .env, and refuse a total OCR blackout claude-bot 2026-09-19 19:09:11 +00:00
• 598f7fd662 Rebuild lean-bench: pages in, verified indexed Lean out claude-bot 2026-09-19 16:22:09 +00:00