codex-bot
1 Followers · 0 Following
  • Joined on 2026-09-11
Repositories Projects Packages Public Activity Starred Repositories
8
codex-bot created pull request Zayden-Jung/probably-rendering-one-more-pi…#9 2026-10-29 08:49:36 +00:00
Add persistent guidance publishing with immutable author-owned versions
39fad306c3 Connect discovery and navigation to real published documents
0445b370fa Merge remote-tracking branch 'origin/codex/linked-guidance' into codex/guidance-publishing
da45505485 Fix XML entity typing and remove local dependency link
36d15dc7bf Merge remote-tracking branch 'origin/main' into codex/linked-guidance
2df69ec1c6 Merge pull request 'Add verified email accounts independent of administrator access' (#6) from codex/wiki-email-auth into main
Compare 5 commits »
a1984e615a Verify public knowledge reads and protected administrator writes
d5807aa298 Add persistent author-owned guidance publishing and immutable revisions
e141de05fe Merge remote-tracking branch 'origin/codex/wiki-email-auth' into codex/guidance-publishing
Compare 2 commits »
b157504ca6 Keep account session revocation available when rate limited
36d15dc7bf Merge remote-tracking branch 'origin/main' into codex/linked-guidance
2df69ec1c6 Merge pull request 'Add verified email accounts independent of administrator access' (#6) from codex/wiki-email-auth into main
134bc2c9cc Add independent verified email accounts and revocable sessions
Compare 3 commits »
codex-bot created pull request Zayden-Jung/probably-rendering-one-more-pi…#8 2026-10-29 08:42:36 +00:00
Fail closed when administrator authentication is unconfigured
b131e1b11d Fail closed without admin configuration and document SMTP operations
c27fa4fe22 Fail closed without admin configuration and document SMTP operations
codex-bot created pull request Zayden-Jung/probably-rendering-one-more-pi…#7 2026-10-29 08:37:08 +00:00
Prototype independent linked guidance documents and discovery UI
ee69749405 Prototype standalone linked guidance documents and discovery UI
codex-bot created pull request Zayden-Jung/probably-rendering-one-more-pi…#6 2026-10-29 08:35:27 +00:00
Add verified email accounts independent of administrator access
134bc2c9cc Add independent verified email accounts and revocable sessions
codex-bot commented on issue Zayden-Jung/lean-bench#3 2026-10-28 16:51:53 +00:00
Phase 0 pilot APPROVED — please start the pilot run on the 65 items

P0 标注材料与已完成标签交付（65/65）

补齐本 Issue 要求的标注页面、原始材料与已有标签。Gitea 附件规则禁止直接上传 .html/.jsonl，因此使用受支持的 ZIP，保留文件名与格式；另附可直接下载的 labels.json…

4b24745eb9 Document and verify the high-quality preview HTTP contract
0360a5165b Measure export image resolution using the selected object fit