@shundoo-ai/dsh-cosmic 1.0.21 → 1.0.22

package/skills/cosmic-build/skills/cosmic-meta-modeling/scripts/test_report_validator.py

@@ -78,6 +78,18 @@ class TestReportValidator(unittest.TestCase):
         self.assertTrue(result["valid"], result["errors"])
         self.assertEqual([], result["warnings"])
 
+    def test_default_sorts_need_a_java_fetch_plugin(self):
+        artifact = self._make_valid_artifact()
+        artifact["reportPlugins"] = []
+        artifact["queryDataSource"] = {"dataSourceNumber": "kdtest_ds"}
+        result = validate_report_artifact(artifact)
+        self.assertFalse(result["valid"])
+        self.assertIn("R-report-contract", _rules(result))
+        self.assertTrue(any("REPORT_DEFAULT_SORT_PLUGIN_REQUIRED" in row["message"]
+                            for row in result["errors"]))
+        artifact.pop("reportSorts")
+        self.assertTrue(validate_report_artifact(artifact)["valid"])
+
     def test_invalid_entity_type(self):
         artifact = self._make_valid_artifact()
         artifact["entities"][0]["type"] = "BillEntity"
@@ -204,6 +216,7 @@ class TestReportValidator(unittest.TestCase):
     # ── R-fetch-source ──────────────────────────────────────────────────────
     def test_missing_plugin_warns_about_empty_report(self):
         artifact = self._make_valid_artifact()
+        artifact.pop("reportSorts")
         artifact["reportPlugins"] = []
         result = validate_report_artifact(artifact)
         self.assertTrue(result["valid"], result["errors"])
@@ -214,6 +227,7 @@ class TestReportValidator(unittest.TestCase):
         artifact = self._make_valid_artifact()
         artifact["reportPlugins"] = []
         artifact["queryDataSource"] = {"dataSourceNumber": "test818"}
+        artifact.pop("reportSorts")
         result = validate_report_artifact(artifact)
         self.assertTrue(result["valid"], result["errors"])
         self.assertNotIn("R-fetch-source", _rules(result, "warnings"))
@@ -279,12 +293,15 @@ class TestReportValidator(unittest.TestCase):
         artifact["reportColumns"].append(column)
         return artifact
 
-    def test_presentation_with_a_registered_plugin_and_a_declared_target_is_silent(self):
+    def test_registered_plugin_and_hidden_bigint_do_not_prove_precision_reference(self):
         artifact = self._with_binding_target({"kind": "amount", "currencyField": "currency_id"})
+        before = copy.deepcopy(artifact)
         result = validate_report_artifact(artifact)
-        self.assertTrue(result["valid"], result["errors"])
+        self.assertFalse(result["valid"])
+        self.assertIn("R-presentation-binding-target", _rules(result))
+        self.assertTrue(any("REPORT_PRECISION_REFERENCE_UNVERIFIED" in row["message"] for row in result["errors"]))
         self.assertNotIn("R-presentation-fetch", _rules(result))
-        self.assertEqual([], result["warnings"])
+        self.assertEqual(before, artifact)
 
     def test_presentation_without_a_plugin_is_an_error(self):
         """Only the data-fetch plugin can bind presentation, so it has nowhere to land."""
@@ -310,7 +327,8 @@ class TestReportValidator(unittest.TestCase):
         result = validate_report_artifact(artifact)
         self.assertFalse(result["valid"])
         self.assertIn("R-presentation-binding", _rules(result))
-        self.assertIn("not the fieldKey of any declared", result["errors"][0]["message"])
+        issue = next(row for row in result["errors"] if row["rule"] == "R-presentation-binding")
+        self.assertIn("not the fieldKey of any declared", issue["message"])
 
     def test_a_measure_unit_binding_to_no_declared_column_is_an_error(self):
         artifact = self._with_presentation({"kind": "qty", "measureUnitField": "unit_id"})
@@ -325,25 +343,23 @@ class TestReportValidator(unittest.TestCase):
         result = validate_report_artifact(artifact)
         self.assertFalse(result["valid"])
         self.assertIn("R-presentation-binding", _rules(result))
-        self.assertIn("fieldKey == dateIndex", result["errors"][0]["message"])
-
-    def test_a_visible_binding_target_only_warns(self):
-        """Showing the raw id is a choice, not a broken report."""
-        artifact = self._with_binding_target(
-            {"kind": "amount", "currencyField": "currency_id"}, hide=False)
-        result = validate_report_artifact(artifact)
-        self.assertTrue(result["valid"], result["errors"])
-        self.assertIn("R-presentation-binding-target", _rules(result, "warnings"))
-
-    def test_a_binding_target_that_is_not_bigint_warns(self):
-        """The target's fieldType becomes the plugin's Row accessor, so text asks for getString."""
-        artifact = self._with_binding_target(
-            {"kind": "amount", "currencyField": "currency_id"}, fieldType="text")
-        result = validate_report_artifact(artifact)
-        self.assertTrue(result["valid"], result["errors"])
-        warning = [i for i in result["warnings"]
-                   if i["rule"] == "R-presentation-binding-target"][0]
-        self.assertIn("bigint", warning["message"])
+        issue = next(row for row in result["errors"] if row["rule"] == "R-presentation-binding")
+        self.assertIn("fieldKey == dateIndex", issue["message"])
+
+    def test_visible_and_other_scalar_targets_are_also_refused(self):
+        for kind, key in (("amount", "currencyField"), ("price", "currencyField"), ("qty", "measureUnitField")):
+            for field_type in ("bigint", "text", "decimal"):
+                for hide in (True, False):
+                    with self.subTest(kind=kind, fieldType=field_type, hide=hide):
+                        artifact = self._with_binding_target(
+                            {"kind": kind, key: "currency_id", "scale": 2}, fieldType=field_type, hide=hide)
+                        result = validate_report_artifact(artifact)
+                        self.assertFalse(result["valid"])
+                        self.assertIn("R-presentation-binding-target", _rules(result))
+
+    def test_explicit_decimal_scale_still_passes_without_implying_dynamic_precision(self):
+        artifact = self._with_presentation({"kind": "decimal", "scale": 3})
+        self.assertTrue(validate_report_artifact(artifact)["valid"])
 
     def test_a_binding_key_irrelevant_to_the_kind_is_a_contract_violation(self):
         """Not a missing binding: an amount column has no unit to bind, so the key is the error.
@@ -355,7 +371,8 @@ class TestReportValidator(unittest.TestCase):
             "kind": "amount", "currencyField": "currency_id", "measureUnitField": "unit_id"})
         result = validate_report_artifact(artifact)
         self.assertFalse(result["valid"])
-        self.assertEqual(["R-report-contract"], _rules(result))
+        self.assertIn("R-report-contract", _rules(result))
+        self.assertNotIn("R-presentation-binding", _rules(result))
         self.assertIn("measureUnitField", result["errors"][0]["message"])
 
     def test_basedata_presentation_binds_no_column(self):
@@ -383,6 +400,7 @@ class TestReportValidator(unittest.TestCase):
     def test_a_binding_target_inside_a_group_counts(self):
         """A hidden id column may live inside the group it serves."""
         artifact = self._make_valid_artifact()
+        artifact["reportSorts"] = [{"fieldKey": "amount2", "direction": "asc"}]
         artifact["reportColumns"] = [{
             "kind": "group", "fieldKey": "grp_money", "caption": "Money", "children": [
                 {"kind": "column", "fieldKey": "amount2", "dateIndex": "amount2",
@@ -393,8 +411,9 @@ class TestReportValidator(unittest.TestCase):
             ],
         }]
         result = validate_report_artifact(artifact)
-        self.assertTrue(result["valid"], result["errors"])
-        self.assertEqual([], result["warnings"])
+        self.assertFalse(result["valid"])
+        self.assertIn("R-presentation-binding-target", _rules(result))
+        self.assertNotIn("R-presentation-binding", _rules(result))
 
     # ── R-filter-unpersisted ────────────────────────────────────────────────
     def test_must_input_true_warns(self):
@@ -423,6 +442,39 @@ class TestReportValidator(unittest.TestCase):
         result = validate_report_artifact(artifact)
         self.assertIn("R-filter-unpersisted", _rules(result, "warnings"))
 
+    # ── typed filter editors ─────────────────────────────────────────────────────────
+    def _with_filter(self, **filt):
+        artifact = self._make_valid_artifact()
+        artifact["reportFilters"] = [{"fieldPath": "flt_supplier", "displayName": "Supplier", **filt}]
+        return validate_report_artifact(artifact)
+
+    def test_a_multi_select_editor_compared_with_in_is_silent(self):
+        result = self._with_filter(compare="in", fieldType="MulBasedataField",
+                                   basedataNumber="bd_supplier")
+        self.assertTrue(result["valid"], result["errors"])
+        self.assertEqual([], result["warnings"])
+
+    def test_in_on_a_single_select_editor_warns(self):
+        result = self._with_filter(compare="in", fieldType="basedata", basedataNumber="bd_supplier")
+        self.assertTrue(result["valid"], result["errors"])
+        self.assertIn("R-filter-type-compare", _rules(result, "warnings"))
+
+    def test_equals_on_a_multi_select_editor_warns(self):
+        result = self._with_filter(compare="=", fieldType="MulComboField",
+                                   comboItems=[{"value": "A", "caption": "A"}])
+        self.assertIn("R-filter-type-compare", _rules(result, "warnings"))
+
+    def test_a_typed_editor_missing_its_parameter_is_a_contract_error(self):
+        result = self._with_filter(compare="in", fieldType="MulBasedataField")
+        self.assertFalse(result["valid"])
+        self.assertIn("R-report-contract", _rules(result))
+
+    def test_the_retired_source_binding_is_a_contract_error(self):
+        result = self._with_filter(compare="in", source={"formNumber": "pm_purorderbill",
+                                                         "fieldKey": "supplier"})
+        self.assertFalse(result["valid"])
+        self.assertIn("R-report-contract", _rules(result))
+
     # ── R-plugin-class ──────────────────────────────────────────────────────
     def test_valid_class_name(self):
         result = validate_report_artifact(self._make_valid_artifact())
@@ -435,6 +487,39 @@ class TestReportValidator(unittest.TestCase):
         self.assertFalse(result["valid"])
         self.assertIn("R-plugin-class", _rules(result))
 
+    def test_an_underscore_in_the_simple_class_name_is_rejected(self):
+        """The plugin handoff resolves a registered class as [A-Za-z][A-Za-z0-9]*.
+
+        Accepting an underscore here let an artifact register its class and then fail Java
+        delivery with PLUGIN_CLASS_NOT_QUALIFIED.
+        """
+        artifact = self._make_valid_artifact()
+        artifact["reportPlugins"][0]["className"] = "kd.kdtest.report.Test_ReportPlugin"
+        result = validate_report_artifact(artifact)
+        self.assertFalse(result["valid"])
+        self.assertIn("R-plugin-class", _rules(result))
+
+    # ── R-plugin-slot ────────────────────────────────────────────────────────────────────
+    def test_two_report_plugins_warn_that_the_data_slot_takes_one(self):
+        """The left-tree example used to register its tree class as a second data plugin."""
+        artifact = self._make_valid_artifact()
+        artifact.pop("reportSorts")
+        artifact["reportPlugins"].append(
+            {"type": "Java", "className": "kd.kdtest.report.TestTreePlugin"})
+        result = validate_report_artifact(artifact)
+        self.assertTrue(result["valid"], result["errors"])
+        warning = [i for i in result["warnings"] if i["rule"] == "R-plugin-slot"][0]
+        self.assertIn("ReportTreeAp.ReportPlugin", warning["message"])
+        self.assertIn("setReportProperties --target tree", warning["message"])
+        self.assertNotIn("bos_grouprpttpl", warning["message"])
+
+    def test_the_left_tree_plugin_class_name_is_checked_too(self):
+        artifact = self._make_valid_artifact()
+        artifact["reportProperties"] = {"tree": {"ReportPlugin": "TreePlugin"}}
+        result = validate_report_artifact(artifact)
+        self.assertFalse(result["valid"])
+        self.assertIn("R-plugin-class", _rules(result))
+
     # ── reportProperties ────────────────────────────────────────────────────
     # The section is checked before createPage because the platform cannot report the mistake:
     # it applies a property map by reflection and silently ignores a key it does not recognise,
@@ -507,11 +592,26 @@ class TestReportValidator(unittest.TestCase):
         self.assertEqual(sorted(_rules(result)),
                          ["R-property-column", "R-property-target"])
 
-    def test_tree_properties_warn_because_a_plain_report_has_no_left_tree(self):
+    def test_tree_properties_are_refused_because_no_template_carries_a_left_tree(self):
+        """ReportTreeAp comes from a report tree control a user adds, never from a template."""
         result = validate_report_artifact(
             self._with_properties({"tree": {"LeafNodeQuery": False}}))
-        self.assertTrue(result["valid"], result["errors"])
-        self.assertIn("R-property-tree", _rules(result, "warnings"))
+        self.assertFalse(result["valid"])
+        self.assertIn("R-property-tree", _rules(result))
+        message = [i for i in result["errors"] if i["rule"] == "R-property-tree"][0]["message"]
+        self.assertIn("setReportProperties --target tree", message)
+
+    def test_tree_properties_are_refused_on_every_public_template(self):
+        # bos_grouprpttpl is the grouped report (group panel + group list), not a left tree.
+        for template in ("bos_rpttpl", "bos_rptqingtpl", "bos_grouprpttpl",
+                         "bos_commfilterrpttpl"):
+            with self.subTest(template=template):
+                artifact = self._with_properties(
+                    {"tree": {"ReportPlugin": "kd.kdtest.report.TestTreePlugin"}})
+                artifact["templateNumber"] = template
+                result = validate_report_artifact(artifact)
+                self.assertFalse(result["valid"])
+                self.assertIn("R-property-tree", _rules(result))
 
     def test_an_absent_section_raises_nothing(self):
         artifact = self._make_valid_artifact()

package/skills/cosmic-build/skills/cosmic-meta-modifier/SKILL.md

@@ -22,11 +22,13 @@ description: app-build 内部执行技能，用确定性 CLI 修改已有苍穹
 
 单字段参数与批量项表达相同的受支持初始状态：
 
+用户未指定类型时，由 AI 根据业务含义及已有相关字段、引用契约选择准确类型，并显式传入 `--field-type` 或 `fieldType`。文本仅用于自由文本语义，不能作为缺省类型；只有无法确定且影响存储或业务行为的歧义才询问。
+
 | 含义 | 单字段参数 | `--fields` 数组项 |
 |---|---|---|
 | 显示名称 | `--field-name` | `name` |
 | 英文业务标识 | `--biz-word` | `bizWord` |
-| 类型（默认 TextField） | `--field-type` | `fieldType` |
+| 类型（显式选择） | `--field-type` | `fieldType` |
 | 必填 | `--required` | `required: true` |
 | 已有目标面板 | `--panel` | `panel` |
 | 紧邻已有字段 | `--before` 或 `--after` | `before` 或 `after` |
@@ -62,6 +64,8 @@ description: app-build 内部执行技能，用确定性 CLI 修改已有苍穹
 
 ## 单字段语法与放置语义
 
+记录发生时刻且包含日期和时间（如上次质检时间）使用 `DateTimeField`；仅记录日期使用 `DateField`。字段名称不隐含其他属性。
+
 创建字段使用已知 `FieldDataType`；只有类型或伴随参数不明确时才查询下方字段目录：
 
 ```text
@@ -108,7 +112,7 @@ MetaOps 或再次确认。
 | 新增/删除字段 | `addField` / `removeField`；创建通过 `--fields` 支持逐项初始状态与放置 |
 | 报表列 | `modules/report-op/SKILL.md` → `addReportColumns` |
 | 选择字段候选值及默认值 | `references/selection-option-modification.md` → `configureSelectionFields` |
-| 列表列/搜索/常用过滤/scheme filters/排序 | `references/list-filter-modification.md` → `configureList` |
+| 列表列/汇总/零值显示/格式/搜索/常用过滤/scheme filters/排序 | `references/list-filter-modification.md` → `configureList` |
 | 删除准确过滤/搜索字段 | `removeFilterColumn` |
 | 新增分录实体 | `addEntryEntity`，见末节 |
 | 新增标题字段面板 | UI `addFieldPanel`；新字段随后使用 `addField --fields --panel` |

package/skills/cosmic-build/skills/cosmic-meta-modifier/modules/operation/validation.md

@@ -1,3 +1,5 @@
+`ensureOperationValidation` 接收的是**阻断条件**：writer 设置 `TrueThrow=true`，表达式成立时抛出提示。必须把正向要求转换为违规条件。例如“数量必须大于 0”使用 `--operator "<=" --value "0"`：-1 和 0 阻断，1 通过；不能使用 `> 0`，否则行为相反。用户另行要求的空值校验仍须保留。
+
 ## 理解业务要求
 
 业务阻断规则必须保留执行时机和完整条件。“不能提交”作用于已有提交操作，不能擅自改成

package/skills/cosmic-build/skills/cosmic-meta-modifier/modules/property/SKILL.md

@@ -80,7 +80,7 @@ archive、表单 Schema 或本地目录。
 | 页签上显示的“页签操作” | `ensureTabPageOperations --input '{"tab":"<页签>","items":[{"title":"<显示名称>","operationCode":"<操作编码>","operationType":"<需要新建时的操作类型>","operationName":"<操作名称>"}]}'`；页签项编码 `itemCode` 可省略，命令保留其他页签操作，它不是按钮 |
 | 附件面板行为 | 只读一次 `attachment-panel-properties.md`，再用一次 `setProperties` |
 | 实体权限控制元数据 | `setPermissionControl`，按所需控制查看输入契约；该能力不等同于角色授权或权限项新建 |
-| 其他陌生且已发布的属性 | 只调用一次 `describePropertyInput --propertyNames <名称>`，再执行其返回路由 |
+| 其他陌生且已发布的属性 | 只调用一次 `describePropertyInput --formNumber <formNumber> --elementKey <elementKey> --propertyNames <名称>`，再执行其返回路由；仅有名称时用 `--element <准确名称>` 替代 `--elementKey`，歧义须按返回候选消解 |
 
 设计器多选字段普通值放 `set`；`MustInputCondition`、`Features`、`CtlTips`、`Style`
 四类弹窗值放 `complex`（也接受中文名）。`Style` 的标量键编译为简单属性，`border`、

package/skills/cosmic-build/skills/cosmic-meta-modifier/modules/report-op/SKILL.md

@@ -8,7 +8,7 @@
 | 需求 | 命令 | 写入语义 |
 |---|---|---|
 | 新增、删除或修改过滤条件 | `setReportFilters` | 全量替换 |
-| 修改默认排序 | `setReportSorts` | 替换报表自有排序 |
+| 修改默认排序 | `setReportSorts`（已阻断） | 需求保留到 Java 查询契约；不写元数据 |
 | 新增或更新一个报表插件 | `registerReportPlugin` | 按 `className` 幂等更新 |
 | 新增或更新一个查询扩展插件 | `registerReportPluginExt` | 按 `className` 幂等更新，允许多个 |
 | 绑定或解绑查询数据源 | `setReportQueryDataSource` | 替换单个属性；`--clear` 解绑 |
@@ -17,7 +17,8 @@
 | 修改行背景色 | `setReportRowBackColor` | 全量替换规则列表 |
 | 修改过滤配置 | `setReportFilterFieldConfig` | 全量替换 |
 | 修改初始字段 | `setReportDefaultHiddenFields` | 全量替换 |
-| 删除、重排或改已有列的类型 | `planReportRecreate`，再 `deleteForm` + `run` | 重建；**不可逆，见下节** |
+| 删除一个叶子列，含分组内的叶子列 | `removeReportColumn` | 单项删除；需要后端补丁，不自动降级 |
+| 删除分组、重排或改已有列的类型 | `planReportRecreate`，再 `deleteForm` + `run` | 单独授权重建；**不可逆，见下节** |
 
 ## 报表属性：一条命令，六个宿主
 
@@ -33,7 +34,11 @@
 | `tree` | `ReportTreeAp` | `LeafNodeQuery`、`ReportPlugin` |
 | `column` | `EntryFieldAp` 或 `EntryFieldGroupAp` | `Summary`、`Width`、`Freeze`、`TextAlign`、`Merge`、`GroupCollapsible` |
 
-只有 `column` 需要 `--element`；其余目标都由表单编码定位宿主。两个列宿主接受的属性集不同——分组没有
+`column` 需要 `--element`。`tree` 按类型定位宿主：只有用户给报表新增了「报表树」控件才存在——没有任何公共
+模板预置 `ReportTreeAp`（`bos_grouprpttpl` 是分组报表，不是左树）——命令按元素类型 `ReportTreeAp` 查找该
+控件，不论用户给它起了什么 key。没有该控件时写入会以 `REPORT_PROPERTY_ELEMENT_MISMATCH` 被拒绝；有多个时
+用 `--element` 指定其一。其余目标都由表单编码定位宿主。两个列宿主接受的
+属性集不同——分组没有
 `Summary`、`Width` 和 `Mask`，叶子列没有 `Merge`、`GroupCollapsible`、`GroupDefaultCollapse` 和
 `Hide`——所以命令会先解析元素类型，再拒绝属于另一方的键。
 
@@ -47,11 +52,14 @@
 `ReportSumMeta` 在属性读取上解析不到，但确实会落盘。写入值与原值相同的键记在
 `indistinguishableFromCurrentValue`：目标状态成立，只是这次读取无法证明是哪一次调用造成的。
 
-**`ShowFilterFields` 有一个真实存在的坑。** `setReportFilters` 会把同一个属性写成逗号拼接串，在真实
-报表上实测为 `flt_biztime,flt_supplier,flt_billstatus`，而运行时按 JSON 数组解析。于是本技能创建过
-的每一张带过滤条件的报表都带着一个运行时读不了的值，用户更新已选条件时会抛 `KDException`。
+**`ShowFilterFields` 有一个真实存在的坑。** 在未安装类型化报表过滤补丁的平台上（其 `setReportFilters`
+结果在 `filterEditors` 下报告 `platformReceipt` 为 false），`setReportFilters` 会把同一个属性写成逗号
+拼接串，在真实报表上实测为 `flt_biztime,flt_supplier,flt_billstatus`，而运行时按 JSON 数组解析。于是在
+那里写过的报表都带着一个运行时读不了的值，用户更新已选条件时会抛 `KDException`。
 `setReportProperties --target filterPanel --input '{"ShowFilterFields": [...]}'` 写的是 JSON 数组
-形态，正是修复手段；在平台自身的拼接逻辑修好之前，每次调用 `setReportFilters` 之后都要重新执行一次。
+形态，正是修复手段；在这类平台上每次调用 `setReportFilters` 之后都要重新执行一次。已安装补丁的平台
+自己写数组，但会按过滤的 `mustInput` / `visible` 重置 `FilterMustInput` 和初始字段，所以这两项的
+`setReportProperties` / `setReportDefaultHiddenFields` 要在 `setReportFilters` 之后执行，而不是之前。
 
 ## 加列是增量的，改列属性不需要重建
 
@@ -71,12 +79,12 @@ Field 而不是再建一个，所以重复调用幂等。写入前的 key 分类
 - `REPORT_ENTITY_FIELDS_DUPLICATED`：这张报表的实体已经有重名字段，所有报表写命令全部拒绝；追加
   也修不了这个状态，请用 `planReportRecreate` 规划重建。
 
-`addReportColumns` 做不到的是：删列、重排列、改已有列的标题、`fieldType` 或 `dateIndex`。这些仍然
-意味着重建报表，而这条路径在删除任何东西之前先做规划。
+`addReportColumns` 不能删除或修改已有列。删除一个叶子列使用 `removeReportColumn`，标题修改走属性通道。
+重排列或修改 `fieldType` / `dateIndex` 仍需要单独授权重建，并在删除之前先做规划。
 
 已有列的**展现**不在这个集合里。宽度、汇总方式、冻结、对齐、掩码以及分组折叠开关都是列控件的属性，
 所以 `setReportProperties --target column --element <key>` 用一次带独立回读的原子写入就能改掉它们。
-只有当列集合本身或某一列的身份必须变化时，才动用重建：
+只有追加、单叶子删除及属性通道无法表达的结构变化，才动用重建：
 
 ```bash
 {python} "{cosmic_api}" planReportRecreate \
@@ -98,15 +106,47 @@ artifact 的列差异，绑定到这张报表的每一条菜单，以及有序
 `width` 读不到，所以差异只比较 key 和标题 —— 其余部分以目标 artifact 为准。
 
 **失败不等于没改**：报表分区写入抛错时，表单可能已经被改动（实测一次失败的 `setReportFilters`
-已经把过滤面板从 5 个控件替换成了 2 个）。所以 `setReportFilters` / `setReportSorts` /
+已经把过滤面板从 5 个控件替换成了 2 个）。所以 `setReportFilters` /
 `registerReportPlugin` 的失败信息里会明确提示「表单可能已被修改」，重试前必须先重新读回。
 
+明确应用/表单作用域后，报表 POST 保存被拒或传输失败会使旧本地需求基线失效，并返回
+`platformMutationPossible`。只有已有成功写回执、随后回读失败或不匹配时，才返回
+`platformMutationApplied`。CLI 与 scoped serve 均保留此区别；输入/身份预检拒绝及 dry-run
+不会使基线失效。携带完整的当前 artifact，通过只读刷新对账；失败或本地修复本身不授权重放写入。
+
 每条写命令都必须传入已验证的 `--app-root` 和精确 `--formNumber`。`--formId` 只作为可选的身份
 佐证；不一致时失败关闭。输入 Schema 和样例位于：
 
 - `{ROOT_DIR}/skills/cosmic-meta-api/contracts/schema/report-write.schema.json`
 - `{ROOT_DIR}/skills/cosmic-meta-api/contracts/cli/report-write-contracts.json`
 
+## 跨后端版本安全删除单个叶子列
+
+使用精确列 key；命令自行解析应用内报表、验证唯一叶子、提交一次删除，并独立回读其余列树。
+不支持单项删除分组列。
+
+```bash
+{python} "{cosmic_api}" removeReportColumn \
+  --app-root "{appRoot}" --formNumber "{formNumber}" --fieldKey "{columnKey}"
+```
+
+实现使用现有 `setComplexProperty` 的 `ReportColumns.remove` 分支，不是新增 HTTP 端点。
+客户端可能早于该后端分支发布。明确不支持的回执（含被 `META_SAVE_FAIL` 包装的内层失败）返回
+`REPORT_COLUMN_DELETE_API_UNAVAILABLE`：停止，保留原本地基线，说明需要等待后端升级。
+禁止静默隐藏、重建、改删游离字段或重放请求。`--dryRun` 只在本地构建载荷，不证明服务端支持。
+目标不存在、权限错误、保存失败和瞬时错误均不能视为能力尚未发布。
+
+成功回执必须标明请求的 key 与删除动作；回读证明目标消失，其余列的父级、属性和顺序保持。
+能观察到的目标默认排序必须清除；读不到的排序/插件分区仍未核验。
+精简 Schema 无法证明字段 ID 引用图，因此即使后端执行孤立字段清理，`entityFieldCleanup`
+仍明确标为未核验。元数据删除不等于运行验收，也不证明既有 Java 已更新。
+
+已知币别/单位展示依赖会在写前以 `REPORT_COLUMN_IN_USE` 拒绝。
+完整基线匹配时撤回目标列、对应排序和列属性，保留其余展示、过滤和插件需求。
+缺基线、漂移、回读失败、删空列树或留下空分组时契约保持不完整。
+Java 交付前按当前契约核对 `getColumns()` 与 `query()`，避免旧插件重新创建已删列，
+或继续使用已撤回的绑定。
+
 ## 报表列不是表单字段
 
 「报表帮我加下创建人邮箱」要的是一个列，所以走 `addReportColumns`。改成加字段并不能「先完成一半」：
@@ -145,12 +185,20 @@ artifact 的列差异，绑定到这张报表的每一条菜单，以及有序
 
 ## 直接路径
 
-过滤编辑控件类型与查询比较符是两项能力。当前 `setReportFilters` 输入没有 `fieldType` 或
-`controlType` 选择器。本地核对的平台源码将 `compare=between` 创建为绑定 `DateRangeField` 的
-`FieldAp`，其余为 `TextField`；旧部署可能不同，必须回读实际目标。单日期 `DateField`、
-F7 多选 `MulBaseDataField` 和下拉框 `ComboListField` 需要平台接口扩展。不要声称重建、
-只读类型属性、隐藏列或 Java 查询逻辑能提供这些控件；保留用户要求的界面行为为未解决边界，
-不静默降级为文本框。`getReportSchema` 在证据存在时返回实际 `FieldAp` 与实体 `fieldType`，
+过滤编辑控件类型与查询比较符是两项能力。每个过滤的控件用 `fieldType` 加该类型的参数声明，例如
+F7 选择用 `basedataNumber`、下拉框用 `comboItems`；输入 Schema 列出了全部 25 种控件及各自需要的参数。
+平台通过类型化报表过滤 API 创建这些控件；该 API 以平台补丁发布，而本技能随客户端发布，所以同一个
+请求会遇到三种平台：
+
+| 平台 | `setReportFilters` 的行为 | `typedFilterSupport` |
+|---|---|---|
+| 已安装补丁 | 创建每个请求的控件，并返回逐个过滤的回执 | `available` |
+| 较早的补丁，缺少某个类型 | 保存前拒绝；CLI 去掉这些过滤的控件部分重新发送 | `partial` 或 `unavailable` |
+| 未安装补丁 | 忽略 `fieldType`：`between` 建 `DateRangeField`，其余建 `TextField` | 回读看到旧控件后为 `unavailable` |
+
+降级的过滤不是写入失败，结果在 `filterEditors` 下点名它。告诉用户哪些条件仍是普通控件、平台补丁
+安装后即可切换，然后重新发送同一份完整过滤数组 —— 不需要重建。不要用只读类型属性、隐藏列或 Java
+查询逻辑代替控件。`getReportSchema` 在 schema 文本带有类名时返回每个过滤实际渲染的 `fieldType`；
 缺少类型证据表示未知，不能推断为 `TextField`。
 
 
@@ -158,7 +206,22 @@ F7 多选 `MulBaseDataField` 和下拉框 `ComboListField` 需要平台接口扩
 读回报表投影并比较请求值。
 
 对已有报表执行 `setReportFilters` 时，只调用一次 `getReportSchema`，在内存中只修改过滤条件数组，
-再把完整目标数组发出去。禁止读取完整表单元数据或搜索源码。`setReportSorts` 接收完整目标排序数组。
+再把完整目标数组发出去。类型化过滤要重新写明 `fieldType` 及其参数：读取结果给出每个过滤实际渲染的
+`fieldType` 和基础资料过滤的 `referenceNumber`，但不含下拉选项。在已安装补丁的平台上，不带
+`fieldType` 发送的过滤会保留它现有的控件，所以无法重述选项的过滤就不要写 `fieldType`；要把控件改回
+文本框，则声明 `TextField`。禁止读取完整表单元数据或搜索源码。
+
+`setReportSorts` 以 `REPORT_SORTS_API_UNSAFE` 被阻断，包括 dry-run。它的 API 污染了默认显示列
+配置 `InitField`，该属性不是排序；缺少 `isvisible` 会使表格设置抛出 `NullPointerException`。
+禁止补 `isvisible: true`、绕过到其他元数据通道或重建报表。已有污染条目需要单独进行 API 侧修复；
+本次技能更新不会修复它们。
+
+修改排序时，通过下方只读刷新，将完整 artifact 的 `reportSorts` 与叶子列及一个已启用的 Java
+取数插件对账，再通过 Java 交付修改该插件。消费 `reportContract.defaultSorts` 和 `defaultSortPolicy`，
+保留规则顺序及 `fieldKey` 到 `dateIndex` 的映射。优先处理 `ReportQueryParam.getSortInfo()` 的
+交互排序；没有交互排序时才应用默认值，在最终 DataSet 组装之后、分页/导出之前执行。
+保留权限过滤，校验 key 后使用 SDK 排序 API。无插件意味着能力边界，不授权丢弃排序或擅自添加插件。
+元数据回读不能证明该行为；默认排序与交互排序需要分别验收。
 
 `addReportColumns` 只发要新增的那些列，不要发完整列树。命令自己解析报表、追加，并回读确认每个
 已有列的可观察属性、父级和顺序不变，以及每个新节点结构正确且位于同级已有节点之后。
@@ -194,9 +257,9 @@ canonical 投影），返回的过滤条件只携带结构 —— key、显示
 「不存在」：组装完整过滤条件数组时，需求仍然要求的每一项都要重新声明一遍。排序和插件在该档位下
 会出现在 `unverifiableSections` 里，所以某个分区读回为空并不能证明它确实为空。
 
-要读到这两个分区，加上 `--with-dym-evidence --app-root "{appRoot}"`：它会先同步平台自身的设计态
-导出，并用它证明 `reportSorts` 与 `reportPlugins`，档位升为 `formLayout+dym`。不加该开关时，命令
-绝不会采信一份不是刚刚同步下来的导出。
+要补充插件证据，加上 `--with-dym-evidence --app-root "{appRoot}"`：它会先同步平台自身的设计态
+导出，并证明 `reportPlugins`，档位升为 `formLayout+dym`。`reportSorts` 保持未核验，导出的默认显示列
+配置不构成排序证据。不加该开关时，命令绝不会采信一份不是刚刚同步下来的导出。
 
 CLI 在写入前拒绝未解析的关系：
 
@@ -216,6 +279,22 @@ CLI 在写入前拒绝未解析的关系：
 `ReportQueryParam.getFilter().getFilterItem(...)` 读取并作用到该列。过滤条件是可完整替换的，
 所以已经带着冲突 key 的报表，只要用不冲突的 key 重新发一遍完整过滤列表即可修好。
 
+## 保持 Java 契约与当前需求一致
+
+直接 CLI 的列、过滤和插件写入通过验证后，在身份与写前观察结果匹配时合并到完整本地需求基线。
+`addReportColumns` 保留被跳过的已有列的原展示定义；过滤全量替换会从新契约移除已撤回的过滤条件。
+测试用的新列不授权新增业务关联，新过滤控件本身也不授权查询逻辑。
+
+后续 Java 准备使用 `reportAuthoringState.artifactPath`，不把历史运行结果改写成当前证据。
+缺基线、漂移、回读失败或本地保存失败时保留 `incomplete`/`failed`，不能伪造成功契约。
+未合并的属性写入成功后会使旧基线失效；serve 显式传入 `appRoot` 与 `formNumber` 时也会失效，
+但不会从局部回执补造完整需求。
+
+携带完整的当前 artifact，通过 `prepare_plugin_handoff.py --refresh-report-state` 只读对账，
+详见[交接输入](../../../../references/plugin-handoff-input.md)。该入口只核对身份及可观察的列/过滤条件，不写平台。
+写回执之后的回读或本地保存失败不代表平台未变更；先修复本地证据并核对未知状态再决定重试，
+不得为了修复本地文件重放已成功的平台修改。设计证据不证明查询行为或 Java 已加载。
+
 ## 完成
 
 成功响应已经携带窄范围独立读回验证。除非用户要求额外检查，不要再手工读回一次 Schema。
@@ -225,10 +304,10 @@ CLI 在写入前拒绝未解析的关系：
 列的 key，以及「报表实体」「复杂属性」「投影」「读回档位」「设计态导出」这些词。该说的是「报表现在
 可以按文本过滤」，而不是这个过滤条件拿到了哪个 key。
 
-加列是单向追加，不是可逆编辑。因为它保留现有列，所以不需要破坏性确认；以后若要移除追加的列，仍要
-走重建路径。删列或改列类型时，要说明「这需要重建这张报表」，并把 `lostOnRecreate` 与
-`menuBindings` 翻译成用户真正会失去的东西——指向这张报表的菜单、设计器里手工调过的内容、挂在旧
-表单上的权限，然后让用户决定。不要把它说成平台限制：重建是受支持的路径。
+加列保留现有列；以后的删除属于单独的破坏性请求，不是自动回滚。
+已安装补丁的后端支持单叶子删除并保留报表身份与菜单绑定；未支持时说明后端发版边界并停止。
+只有单独授权重建时，才把 `lostOnRecreate` 与 `menuBindings` 翻译成用户真正会失去的菜单绑定、
+设计器调整和旧表单权限，让用户决定。禁止把删除一个列扩展为删除整张报表。
 
 删除插件、分批与导出行为等未支持需求属于能力缺口：明确说明缺口，或把它路由到承载 `queryBatchBy()`
 和 `export()` 的插件。不要用通用元数据写入模拟。异步查询、分页、行高、列宽模式、直接导出 Excel 以及

package/skills/cosmic-build/skills/cosmic-meta-modifier/modules/rule/SKILL.md

@@ -81,6 +81,15 @@
 仅第一项显示某字段时，使用 `not-equals @first` 配合 `behavior hide`；其他项还要清空该字段时，
 用同一条件再执行一次 `ensureConditionalClearFields`。
 
+“单据编号不为空时复制到工单编号”直接调用一次 `ensureConditionalCopyFieldValue`：
+单据编号同时作为 `--condition-field` 和 `--source`，传 `--operator not-empty`，
+工单编号作为 `--target`，不传 `--value`。复用已选应用环境，由命令解析字段并回读规则；
+语义命令失败后不要尝试用原始 `addRule` JSON 反复试错。
+
+业务规则给时间范围赋固定值时，FormulaAction 可写为 `<TimeRangeField字段key> = '09:00-18:00'`。
+CLI 根据实时元数据解析开始、结束字段，转换成秒数并回读规则。更新时需提供完整的目标动作分支，
+以保留其中其他动作。设计态回读不能证明运行时触发成功，仍需在表单验证；跨午夜范围在平台语义确认前会被拒绝。
+
 `ensureFieldCalculation` 证明公式和两个来源字段的变化触发器。平台运行态已验证：标准数值乘法中
 任一来源为空或为零时，目标金额回到空值呈现，不残留旧金额；不得为此再追加清空规则。用户要求
 不同于该标准行为时，只有已有发布命令能准确表达才继续，否则单独报告。

package/skills/cosmic-build/skills/cosmic-meta-modifier/modules/verify/usage-guide.md

@@ -169,7 +169,7 @@ py "SCRIPTS/meta_verifier.py" modify --formId 5PKQY --ops "[{\"op\":\"add\",\"ta
          字段 'cc_new_field' 存在于表单结构中
 
   [WARN] #2 property_equals: cc_amount
-         [已知缺陷] modifyMeta modify mustInput 可能被静默忽略，建议使用 setProperties API 或在 add 之后追加 modify op | 原始: cc_amount.MustInput = False，预期 True
+         [已知缺陷] modifyMeta modify mustInput 可能被静默忽略，建议独立验证创建后使用带回读的 setProperties API | 原始: cc_amount.MustInput = False，预期 True
          实际值: False
 
 ------------------------------------------------------------
@@ -338,7 +338,7 @@ WARN 表示命中了已知缺陷库，是苍穹 API 的限制，不是你的操
 | 场景 | 建议操作 |
 |------|---------|
 | `modifyMeta` 无法设置 `MulBasedataField.tableName` | 改用 `setProperties` API |
-| `modifyMeta modify mustInput` 被静默忽略 | 改用 `setProperties` API，或在 `add` 后追加 `modify` op |
+| `modifyMeta modify mustInput` 被静默忽略 | 独立验证结构创建后，改用带回读的 `setProperties`，显式保留必录要求 |
 
 切换 API 执行后，用 `props` 子命令再次验证。