fix(spec): rewrite the two cross_field Salesforce-example conditions in evaluable CEL

Example 1 (close date in the current or a future month) is rewritten to a
condition that is TRUE on the violation - a close date before the first day
of the current month - using the stdlib date(), today() and addDays() plus
CEL's getDate() accessor. Example 3 (products required for Closed Won) keeps
its direction and drops the lone `=` and the `AND` keyword. The
Salesforce-formula side of each example is unchanged. TSDoc text only.

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QcAS3qiYYZNezaxZxaUdMV

Author: claude

.changeset/20252-cross-field-salesforce-examples-cel.md

@@ -0,0 +1,12 @@
+---
+"@objectstack/spec": patch
+---
+
+The two `cross_field` "Salesforce Examples" in the `CrossFieldValidationSchema` TSDoc (`packages/spec/src/data/validation.zod.ts`) now show a `condition` the evaluator accepts, so an author or agent who copies the documented "ObjectStack Equivalent" gets a rule that evaluates, and Example 1's rule fires on the records it names as invalid (#20252).
+
+Clause-②: no
+
+- Example 1, "Close Date Must Be In Current or Future Month": `MONTH(close_date) >= MONTH(TODAY()) AND YEAR(close_date) >= YEAR(TODAY())` becomes `date(record.close_date) < addDays(today(), 1 - today().getDate())`. The old string did not parse (`AND` is not CEL, and `close_date` had no `record.` root). It was also inverted: a `cross_field` condition that evaluates TRUE is the violation, and the old condition was TRUE on the records the rule should accept. The new condition is TRUE when the close date falls before the first day of the current month. It uses only the formula stdlib's `date()`, `today()` and `addDays()` plus CEL's built-in `getDate()` timestamp accessor.
+- Example 3, "Opportunity Must Have Products": `products = null AND stage = "closed_won"` becomes `isBlank(record.products) && record.stage == "closed_won"`. A lone `=` is a CEL parse error and `AND` is not CEL. The direction is unchanged.
+
+The Salesforce-formula side of each example is unchanged. This is TSDoc text only, with no schema, behaviour or export change.

packages/spec/src/data/validation.zod.ts

@@ -237,7 +237,7 @@ export const FormatValidationSchema = lazySchema(() => strictObject({
  * {
  *   type: 'cross_field',
  *   name: 'close_date_future',
- *   condition: 'MONTH(close_date) >= MONTH(TODAY()) AND YEAR(close_date) >= YEAR(TODAY())',
+ *   condition: 'date(record.close_date) < addDays(today(), 1 - today().getDate())',
  *   fields: ['close_date'],
  *   message: 'Close Date must be in the current or a future month'
  * }
@@ -271,7 +271,7 @@ export const FormatValidationSchema = lazySchema(() => strictObject({
  * {
  *   type: 'cross_field',
  *   name: 'products_required_for_won',
- *   condition: 'products = null AND stage = "closed_won"',
+ *   condition: 'isBlank(record.products) && record.stage == "closed_won"',
  *   fields: ['products', 'stage'],
  *   message: 'Opportunity must have products to be marked as Closed Won'
  * }