Merge branch 'codex/simp-prune-tools-prompt-surface' into codex/simp-prune-code-runtime-surface

scripts/doc-budgets.manifest.json

@@ -2,7 +2,7 @@
   "AGENTS.md": 1370,
   "docs/AGENTS.md": 1100,
   "docs/architecture.md": 1790,
-  "docs/cordis-primer.md": 550,
+  "docs/cordis-primer.md": 600,
   "docs/defensive-patterns.md": 550,
   "docs/testing.md": 800,
   "examples/AGENTS.md": 200,

scripts/run-gates.ts

@@ -153,6 +153,7 @@ function gatesForMode(selected: Mode): Gate[] {
     case 'pre-push':
       return [
         pnpmScript('runtime-closure', 'verify-runtime-closure', { label: 'runtime closure' }),
+        pnpmScript('cordis-config', 'verify-cordis-config', { label: 'Cordis config' }),
         pnpmScript('test', 'test'),
         pnpmScript('duplication', 'duplication'),
         pnpmScript('snapshot', 'test:snapshot'),
@@ -168,6 +169,7 @@ function ciPrimaryGates(): Gate[] {
   return [
     pnpmScript('runtime-closure', 'verify-runtime-closure', { label: 'runtime closure' }),
     pnpmScript('constraints', 'constraints'),
+    pnpmScript('cordis-config', 'verify-cordis-config', { label: 'Cordis config' }),
     pnpmScript('typecheck', 'typecheck'),
     lintGate(),
     pnpmScript('duplication', 'duplication'),
@@ -191,6 +193,7 @@ function ciStaticGates(): Gate[] {
   return [
     pnpmScript('runtime-closure', 'verify-runtime-closure', { label: 'runtime closure' }),
     pnpmScript('constraints', 'constraints'),
+    pnpmScript('cordis-config', 'verify-cordis-config', { label: 'Cordis config' }),
     demoSmokeGate(),
     ...docSyncLeafGates(),
     pnpmScript('module-graph', 'verify-module-graph', { label: 'module graph' }),

scripts/translation-pairing.manifest.json

@@ -2,6 +2,12 @@
   "requiredSince": "2026-07-14",
   "required": [
     "README.md",
+    "docs/cookbook/adding-a-package.md",
+    "docs/cookbook/adding-a-tool.md",
+    "docs/cookbook/adding-a-vendored-package.md",
+    "docs/cookbook/adding-an-llm-adapter.md",
+    "docs/cookbook/extension-cookbook.md",
+    "docs/cookbook/responding-to-pr-review-on-a-stack.md",
     "docs/development.md",
     "docs/i18n/README.md",
     "docs/i18n/translation-rules.md",

scripts/verify-cordis-config.ts

@@ -0,0 +1,111 @@
+/**
+ * Reject JavaScript expressions in Cordis Loader entry metadata.
+ *
+ * The Loader interpolates only a plugin entry's `config`; expression objects in
+ * fields such as `disabled` remain truthy data and silently change composition.
+ */
+
+import { globSync, readFileSync } from 'node:fs'
+import { resolve } from 'node:path'
+import * as yaml from 'js-yaml'
+
+interface JsExpr {
+  __jsExpr: string
+}
+
+const root = resolve(import.meta.dirname, '..')
+const metadataFields = ['id', 'name', 'group', 'disabled', 'inject', 'intercept', 'isolate'] as const
+const jsExprType = new yaml.Type('tag:yaml.org,2002:js', {
+  kind: 'scalar',
+  resolve: data => typeof data === 'string',
+  construct: (data: unknown): JsExpr => {
+    if (typeof data !== 'string') throw new TypeError('!!js requires a scalar string')
+    return { __jsExpr: data }
+  },
+})
+const schema = yaml.JSON_SCHEMA.extend(jsExprType)
+
+const files = globSync(['**/*cordis*.yml', '**/*cordis*.yaml'], {
+  cwd: root,
+  exclude: ['.claude/**', 'node_modules/**', 'vendor/**'],
+}).sort()
+const errors: string[] = []
+
+for (const file of files) {
+  const document: unknown = yaml.load(readFileSync(resolve(root, file), 'utf8'), { schema })
+  if (!isUnknownArray(document)) {
+    errors.push(`${file}: root must be a Loader entry array`)
+    continue
+  }
+  for (let index = 0; index < document.length; index++) {
+    validateEntry(document[index], file, `[${index}]`)
+  }
+}
+
+if (errors.length > 0) {
+  console.error('verify-cordis-config: Loader entry metadata is static; move !!js under plugin config or select an explicit overlay.')
+  for (const error of errors) console.error(`- ${error}`)
+  process.exitCode = 1
+} else {
+  console.log(`verify-cordis-config: ${files.length} config files passed.`)
+}
+
+function validateEntry(value: unknown, file: string, path: string): void {
+  if (!isRecord(value)) {
+    errors.push(`${file}${path}: entry must be an object`)
+    return
+  }
+  validateMetadata(value, file, path)
+  if ((value.group === true || value.name === '@cordisjs/plugin-group') && isUnknownArray(value.config)) {
+    for (let index = 0; index < value.config.length; index++) {
+      validateEntry(value.config[index], file, `${path}.config[${index}]`)
+    }
+  }
+  if (value.name !== '@cordisjs/plugin-include') return
+  const config = value.config
+  if (!isRecord(config) || !isUnknownArray(config.patches)) return
+  for (let index = 0; index < config.patches.length; index++) {
+    const patch = config.patches[index]
+    const patchPath = `${path}.config.patches[${index}]`
+    if (!isRecord(patch)) continue
+    validateMetadata(patch, file, patchPath)
+    if (!isUnknownArray(patch.insert)) continue
+    for (let insertIndex = 0; insertIndex < patch.insert.length; insertIndex++) {
+      validateEntry(patch.insert[insertIndex], file, `${patchPath}.insert[${insertIndex}]`)
+    }
+  }
+}
+
+function validateMetadata(entry: Record<string, unknown>, file: string, path: string): void {
+  for (const field of metadataFields) {
+    if (!(field in entry)) continue
+    const expressionPaths: string[] = []
+    collectExpressionPaths(entry[field], `${path}.${field}`, expressionPaths)
+    for (const expressionPath of expressionPaths) errors.push(`${file}${expressionPath}: !!js is not interpolated here`)
+  }
+}
+
+function collectExpressionPaths(value: unknown, path: string, output: string[]): void {
+  if (isJsExpr(value)) {
+    output.push(path)
+    return
+  }
+  if (isUnknownArray(value)) {
+    for (let index = 0; index < value.length; index++) collectExpressionPaths(value[index], `${path}[${index}]`, output)
+    return
+  }
+  if (!isRecord(value)) return
+  for (const [key, child] of Object.entries(value)) collectExpressionPaths(child, `${path}.${key}`, output)
+}
+
+function isJsExpr(value: unknown): value is JsExpr {
+  return isRecord(value) && typeof value.__jsExpr === 'string'
+}
+
+function isRecord(value: unknown): value is Record<string, unknown> {
+  return value !== null && typeof value === 'object'
+}
+
+function isUnknownArray(value: unknown): value is unknown[] {
+  return Array.isArray(value)
+}