diff --git a/.changeset/lint-changelog-export-claim.md b/.changeset/lint-changelog-export-claim.md
new file mode 100644
index 00000000000..cd266b702bb
--- /dev/null
+++ b/.changeset/lint-changelog-export-claim.md
@@ -0,0 +1,11 @@
+---
+'@objectstack/lint': patch
+---
+
+**Docs:** the 17.3.0 entry for #13935 no longer claims `FIELD_RULE_AMBIENT_ROOTS` and `FIELD_RULE_JUDGED_ROOTS` are exported — `src/index.ts` exports neither (#18169).
+
+`CHANGELOG.md` is in this package's `files[]`, so that sentence ships inside the npm tarball and is the text an upgrading agent greps. Measured on the published `@objectstack/lint@17.4.0` tarball (read 2026-09-16T12:25Z): the export block of `dist/index.js` names `FIELD_RULE_BOUND_ROOTS` and neither of the other two, and the export clause of `dist/index.d.ts` is the same — `FIELD_RULE_JUDGED_ROOTS` occurs in that file only inside two `{@link}` docblocks, and `FIELD_RULE_AMBIENT_ROOTS` not at all. A consumer who wrote `import { FIELD_RULE_AMBIENT_ROOTS } from '@objectstack/lint'` on the strength of the entry got a resolution failure.
+
+Per AGENTS.md, a factual error in a released entry is amended **in place**, in a dedicated docs-only PR, never by an erratum in a later entry — the reader greps the symbol and lands on the old entry, so a correction anywhere else is one they never reach. The correction therefore lives in the 17.3.0 entry itself, which now states what `src/index.ts` actually exports, verified at the export statement. This changeset is not that correction; it exists so the corrected text reaches the registry at all. Published tarballs are immutable, so the amendment becomes published text on the next publish of this package and not before.
+
+No code, no export, and no behaviour moves.
diff --git a/packages/lint/CHANGELOG.md b/packages/lint/CHANGELOG.md
index 569a60ec5e5..57df6238953 100644
--- a/packages/lint/CHANGELOG.md
+++ b/packages/lint/CHANGELOG.md
@@ -2173,8 +2173,20 @@
   `severity: 'error'`, so this changes which message an author reads and nothing
   about what lints clean.
   
-  `FIELD_RULE_AMBIENT_ROOTS` and `FIELD_RULE_JUDGED_ROOTS` are exported beside
-  the existing `FIELD_RULE_BOUND_ROOTS`.
+  **Correction (2026-09-16, docs-only, #18169).** As published, this entry
+  claimed that `FIELD_RULE_AMBIENT_ROOTS` and `FIELD_RULE_JUDGED_ROOTS` "are
+  exported beside the existing `FIELD_RULE_BOUND_ROOTS`". That was false the
+  day it shipped, and it fails when acted on. `packages/lint/src/index.ts`
+  re-exports exactly `validateStackExpressions`, `fieldRuleRootIssue` and
+  `FIELD_RULE_BOUND_ROOTS` from `./validate-expressions.js`, and carries no
+  star-export, so `FIELD_RULE_BOUND_ROOTS` is the only member of this family a
+  consumer can import from `@objectstack/lint`. Importing
+  `FIELD_RULE_AMBIENT_ROOTS` or `FIELD_RULE_JUDGED_ROOTS` from this package
+  does not resolve: both constants are internal to `validate-expressions.ts`,
+  and the widened vocabulary reaches a consumer only through the exported
+  `fieldRuleRootIssue`. (In the source, `FIELD_RULE_AMBIENT_ROOTS` has since
+  been renamed `FIELD_RULE_NOWHERE_BOUND_ROOTS` — internal as well, and still
+  not exported.)
 - 365e334: **Fix:** `lintLivenessProperties` walks `stack.translations` as the locale-keyed bundle it is, so the `translation` liveness ledger finally reaches the author (#11288).
   
   `stack.translations` is `z.array(TranslationBundleSchema)` — each item is a `TranslationBundle`, i.e. `z.record(LocaleSchema, TranslationDataSchema)`, whose top-level keys are locale codes. The lint registered `{ type: 'translation', key: 'translations' }` in `TYPE_COLLECTIONS` and then walked those items flat, the way every other collection there is walked: `checkItem` read `bundle['flows']` for the ledger's one `authorWarn` row. A bundle has no `flows` key at any depth reachable that way — the groups live one level down, under each locale — so every warned lookup missed and the whole `translation` ledger was silent for file-authored bundles, the only way apps author translations today.