Tianyi Cui c3fb3de64f Merge PR #500 into codex/tool-json-schema-dsl ...

# Conflicts:
#	docs/cordis-catalog/services.md
#	scripts/type-equiv.manifest.json

2026-07-22 16:57:45 +08:00

..

approval.md

docs: include JSDoc in type-equiv blocks

2026-07-19 12:25:40 +08:00

bash.md

fix(sandbox): address PR #309 review — TOCTOU direction, denial metadata, shared roots, docs

2026-07-20 13:59:18 +08:00

code-runtime.md

Rename RFCs to Agent Notes

2026-07-19 22:52:03 +08:00

commands.md

fix(commands): remove adapter surface filtering

2026-07-20 17:41:22 +08:00

compaction.md

docs(compact): correct pruning surface contracts

2026-07-20 17:02:28 +08:00

core.md

Merge remote-tracking branch 'origin/master' into codex/tool-json-schema-dsl

2026-07-22 00:05:23 +08:00

filesystem.md

…

goal.md

…

llm-streaming.md

…

lsp.md

fix(lsp): align operations and harden lifecycle

2026-07-21 13:29:40 +08:00

persistence.md

…

sandbox.md

…

scope.md

fix(scope): detach drained entry generations

2026-07-22 12:06:42 +08:00

session-query.md

…

session-title.md

fix(session-title): harden async provider lifecycle

2026-07-21 12:08:00 +08:00

session.md

Merge master into codex/session-title

2026-07-21 22:59:41 +08:00

skills.md

…

spill.md

…

subagent.md

Merge remote-tracking branch 'origin/master' into codex/tool-json-schema-dsl

2026-07-21 19:03:15 +08:00

system-prompt.md

…

tasks.md

Rename RFCs to Agent Notes

2026-07-19 22:52:03 +08:00

token-meter.md

…

tools.md

…

user-interaction.md

…

web.md

Rename RFCs to Agent Notes

2026-07-19 22:52:03 +08:00

workflow.md

fix(ralph): harden execution boundaries

2026-07-20 12:56:09 +08:00