@stalfh233/omc-cli 0.0.0-stage → 0.4.0

package/dist/lanes/field-contract.js

@@ -0,0 +1,223 @@
+import { CONTRACT_FAMILY, CONTRACT_REFERENCE_VERSION, assertDescriptionCarries, assertLaneContract, behaviorBinding, describeTool, emitterBinding } from "./contract-support.js";
+import { LANES } from "./lane-ids.js";
+import { assertCapabilityShapeContract } from "../capability-shape.js";
+import { RESERVED_CODES } from "../code-rules.js";
+export const FIELD_CONTROL_CODES = Object.freeze({
+    // 8.6.26 BizFormPropertyType (authoritative enum)
+    1: { name: "SINGLE_LINE_TEXT", status: "known" },
+    2: { name: "LONGTEXT", status: "known" },
+    3: { name: "DATE", status: "known" },
+    4: { name: "NUMBER", status: "known" },
+    5: { name: "RADIO", status: "known" },
+    6: { name: "CHECKBOX", status: "known" },
+    7: { name: "SELECT", status: "known" },
+    8: { name: "LOGIC", status: "known" },
+    9: { name: "ATTACH_FILE", status: "known" },
+    10: { name: "PHOTO", status: "known", note: "no field family emits it — no BizPropertyType maps to control 10 (ticket 101); blocked for creation" },
+    11: { name: "LOCATION", status: "known" },
+    14: { name: "ADDRESS", status: "known" },
+    15: { name: "HANDWRITING_SIGNATURE", status: "known" },
+    17: { name: "HYPER_LINK", status: "known" },
+    19: { name: "SELECT_MULTI", status: "known" },
+    24: { name: "PHONE", status: "known", note: "no field family emits it — no BizPropertyType maps to control 24 (ticket 101); blocked for creation" },
+    28: { name: "TIME", status: "known" },
+    50: { name: "SINGLE_PERSON_SELECT", status: "known" },
+    51: { name: "MULTI_PERSON_SELECT", status: "known" },
+    60: { name: "SINGLE_DEPART_SELECT", status: "known" },
+    61: { name: "MULTI_DEPART_SELECT", status: "known" },
+    62: { name: "MULTI_PERSON_DEPART_SELECT", status: "known" },
+    80: { name: "RelevanceForm", status: "known" },
+    81: { name: "RelevanceFormEx", status: "known" },
+    82: { name: "RelevanceData", status: "known" },
+    89: { name: "Formula", status: "known" },
+    90: { name: "RelevanceQuery", status: "known", note: "present in the 8.6.26 enum; no accepted field family maps to it — creation not offered" },
+    100: { name: "SequenceNo", status: "known" },
+    101: { name: "Creator", status: "known" },
+    102: { name: "CreatedDeptId", status: "known", note: "system field control — projected from the createdDeptId system property (DefaultPropertyType.java:18-21 → DEPARTMENT_SELECTOR 60, created by BizMainSystemPropertyRegistry.java:88-101, defaultProperty=true); not user-creatable, never scaffolded (ticket 101)" },
+    103: { name: "Modifier", status: "known" },
+    104: { name: "CreatedTime", status: "known" },
+    105: { name: "ModifiedTime", status: "known" },
+    106: { name: "Owner", status: "known" },
+    201: { name: "Sheet", status: "known" },
+    249: { name: "Button", status: "known" },
+    499: { name: "Container", status: "known" },
+    500: { name: "Tab", status: "known", note: "layout container — DataModelInitUtils.java:61-75 recurses its panels; never a field, never scaffolded (ticket 101)" },
+    // designer/layout widgets wired directly by buildFormScaffold / research §2.3
+    200: { name: "Group", status: "designer" },
+    203: { name: "Title", status: "designer" },
+    400: { name: "HtmlContainer", status: "designer" },
+    // observed, no authoritative name in the 8.6.26 enum or research
+    202: { name: "unknown-202", status: "unknown" },
+    // 8.6.39-origin codes; absent from the 8.6.26 enum — refuse on 8.6.26
+    250: { name: "OCR", status: "adapted-unknown" },
+    251: { name: "ELECTRONIC_SIGN", status: "adapted-unknown" },
+    252: { name: "unknown-252", status: "adapted-unknown" },
+    253: { name: "unknown-253", status: "adapted-unknown" },
+    1001: { name: "unknown-1001", status: "adapted-unknown" },
+});
+/** The live-accepted wire field families, shared by the contract and the arg schema. */
+export const FIELD_FAMILY_LIST = "SHORT_TEXT, LONG_TEXT, NUMERICAL, DATE, LOGICAL, SELECTION, ATTACHMENT, CHILD_TABLE, WORK_SHEET, ADDRESS, MULT_WORK_SHEET, RADIO, CHECKBOX, DROPDOWN_BOX, DROPDOWN_MULTI_BOX, RELEVANCE_DATA, HYPER_LINK, TIME, STAFF_SELECTOR, STAFF_MULTI_SELECTOR, DEPARTMENT_SELECTOR, DEPARTMENT_MULTI_SELECTOR, FORMULA";
+/**
+ * Designer-standard default options for a DATE(3) field. The runtime reads
+ * `options.format` on the first save (BizObjectFacadeImpl.java:2949); without
+ * it the save answers 50000. This is the single source for that default.
+ */
+export const FIELD_DATE_DEFAULT_OPTIONS = Object.freeze({
+    dictionaryData: "",
+    format: "YYYY-MM-DD",
+});
+/**
+ * Platform-supported DATE(3) `options.format` enum. The runtime compares the
+ * stored value LITERALLY (DateBizField.contentFromClient has an if/else over
+ * exactly these strings, else `不支持的format:<value>`): the UPPERCASE tokens
+ * below work; Java's `yyyy-MM-dd` (lowercase y/d) is NOT one of them and makes
+ * the first runtime save answer 50000 (2026-09-30 R5 live). Kept beside the
+ * default so the default is provably in the enum.
+ */
+export const FIELD_DATE_FORMATS = Object.freeze([
+    "YYYY", "YYYY-MM", "YYYY/MM",
+    "YYYY-MM-DD", "YYYY/MM/DD",
+    "YYYY-MM-DD HH:mm", "YYYY/MM/DD HH:mm",
+    "YYYY-MM-DD HH:mm:ss", "YYYY/MM/DD HH:mm:ss",
+    "YYYY-MM-DD CN-APM", "YYYY/MM/DD CN-APM",
+    "YYYY-MM-DD CN-APM HH:mm", "YYYY/MM/DD CN-APM HH:mm",
+    "YYYY-MM-DD EN-APM", "YYYY/MM/DD EN-APM",
+    "YYYY-MM-DD EN-APM HH:mm", "YYYY/MM/DD EN-APM HH:mm",
+    "YYYY年MM月DD日", "YYYY年MM月",
+]);
+/** FORMULA(100) options wire (8.6.26 FormulaPropertyOptions + admin field serializer). */
+export const FIELD_FORMULA_WIRE = Object.freeze({
+    outerOptions: '{"formulaConfig":"<JSON string>","persistent":true[, "format":""|"percentile" — readback-only mirror, fwb §100]}',
+    innerConfig: '{"resultType":0|2,"resultFormat":""|"percentile","formulaType":"EXPRESSION","expression":"<JSON string {formula,editorText,editorMark}>"}',
+    expressionFormula: '<fieldCode> placeholders, e.g. {omc_a} + {omc_b}',
+    aggregationConfig: 'AGGREGATION nested {schemaCode,dataItemCode,calculateType,formula,queryConditions} = 表单「计算」控件的「聚合计算」(UI 实测 2026-10-07：跨模型聚合，求和/最大/最小/…). FormulaProcessor.executeMainAggregation 用 queryConditions 查该 schema、对匹配行的 dataItemCode 求值 formula. shape-validated & allowed. **计算类需求默认不用 FORMULA 字段**：子表求和回主表、子表列同行运算一律「普通字段 + 计算规则」（`datarule.create` dataRuleType:2，recipes `field-compute-subtable-sum` / `field-compute-child-column`，前台真机算得 7.00/350）；FORMULA 字段仅作已存量读取。计算由**门户前端**执行、API 不回填（写测试数据带预算值；正确性人工前台确认）。',
+    legacyRejected: "resultType/expression top-level keys are not read by the platform and are refused",
+    runtimeVerification: "FORMULA 字段视为「配置好即在前台会算」：计算由门户**前端**执行，API save/update/submit 不回填/重算（真机 2026-09-25/2026-10-07）。写测试数据时显式带上预算好的计算值；**公式正确性由人工在前台（配表单→填表）确认**，不要用 API 回读断言。带子表计算字段的模型 API data.save/update 可能 50000（服务端重算 NPE），前台正常。",
+});
+/** RELEVANCE_DATA(16) options wire (8.6.26 RelevanceDataOptions + admin field serializer). */
+export const FIELD_RELEVANCE_WIRE = Object.freeze({
+    options: '{"relevanceField":"<local WORK_SHEET field code>","referenceField":"<referenced field code>","referenceFieldPropertyType":<int>}',
+    semantics: "references another field through a local WORK_SHEET field; NOT a model relation (no schemaCode/mappings)",
+});
+/** Control-code classification for the 8.6.26 family (FIELD_CONTROL_CODES source of truth). */
+export const FIELD_CONTROL_CODE_STATUS = Object.freeze({
+    known: Object.keys(FIELD_CONTROL_CODES).filter((code) => FIELD_CONTROL_CODES[Number(code)].status === "known").join(","),
+    designer: Object.keys(FIELD_CONTROL_CODES).filter((code) => FIELD_CONTROL_CODES[Number(code)].status === "designer").join(","),
+    unknown: Object.keys(FIELD_CONTROL_CODES).filter((code) => FIELD_CONTROL_CODES[Number(code)].status === "unknown").join(","),
+    adaptedUnknown: Object.keys(FIELD_CONTROL_CODES).filter((code) => FIELD_CONTROL_CODES[Number(code)].status === "adapted-unknown").join(","),
+});
+export const FIELD_LANE_CONTRACT = Object.freeze({
+    lane: LANES.field,
+    family: CONTRACT_FAMILY,
+    referenceVersion: CONTRACT_REFERENCE_VERSION,
+    endpoints: Object.freeze({
+        list: "fieldList",
+        create: "fieldCreate",
+        update: "fieldUpdate",
+        publish: "fieldPublish",
+        delete: "fieldForceDelete",
+    }),
+    wire: Object.freeze({
+        acceptedFamilies: FIELD_FAMILY_LIST,
+        blockedFamilies: "OCR, ELECTRONIC_SIGN, nested CHILD_TABLE",
+        childTableSubSchema: '{"code":"<父字段 code>","properties":[{"code","name","schemaCode":"<父字段 code>","propertyType","propertyEmpty","sortKey"}]}',
+        childTableFormControl: "Sheet(201) with columns[{type,width,key,parentKey,options}]; child column keys never enter viewJson",
+        dateDefaultOptions: JSON.stringify(FIELD_DATE_DEFAULT_OPTIONS),
+        formulaOptions: FIELD_FORMULA_WIRE.outerOptions,
+        formulaConfig: FIELD_FORMULA_WIRE.innerConfig,
+        formulaRuntimeVerification: FIELD_FORMULA_WIRE.runtimeVerification,
+        relevanceDataOptions: FIELD_RELEVANCE_WIRE.options,
+        publishScope: "model",
+        controlEmissionPolicy: "ticket 101: controls PHONE(24)/PHOTO(10) are blocked for creation (no BizPropertyType maps to them — BizPropertyType.java:27-54); Tab(500) is a layout container (DataModelInitUtils.java:61-75 recurses panels, never a field); CreatedDeptId(102) is a system-field projection (DefaultPropertyType.java:18-21 → DEPARTMENT_SELECTOR 60, BizMainSystemPropertyRegistry.java:88-101); the scaffold SKIPS any field type without a control mapping — unknown/blocked control types are never auto-created (fail-closed)",
+        fieldRowDefaultPolicy: "ticket 108 determination (live 8.6.26 write+read 2026-09-15 + fwb 8.6.39 readback): the 2026-09-14 key unions are MULTI-FIELD UNIONS of designer rows, not per-field required keys — the platform accepts-and-persists minimal rows, so the minimal default + caller passthrough is the INTENTIONAL boundary. Selection families 12/13/14/15 MUST-FIXED to omit dictionaryData (designer rows carry none; live proves the platform merely accepts the extra key — omc_mcp_t108dd readback carried it only because we sent it). Families 0/1/2/9/11/17 keep the designer-carried {dictionaryData:\"\"}; DATE(3) keeps required format (BizObjectFacadeImpl.java:2949); ATTACHMENT(6) stays intentionally empty (system rows often have no options)",
+    }),
+    wireBindings: Object.freeze({
+        acceptedFamilies: Object.freeze([emitterBinding("lanes/field-contract.FIELD_FAMILY_LIST", assertFieldContract)]),
+        blockedFamilies: Object.freeze([behaviorBinding("test/field-families.test.ts#field.create refuses OCR", assertFieldContract)]),
+        childTableSubSchema: Object.freeze([behaviorBinding("test/child-table.test.ts#field.create CHILD_TABLE sends a subSchema (not options) with parent-coded child columns", assertFieldContract)]),
+        childTableFormControl: Object.freeze([behaviorBinding("test/child-table.test.ts#form.draft scaffolds a Sheet201 control with columns and keeps child keys out of viewJson", assertFieldContract)]),
+        dateDefaultOptions: Object.freeze([emitterBinding("lanes/field-contract.FIELD_DATE_DEFAULT_OPTIONS", assertFieldContract)]),
+        formulaOptions: Object.freeze([behaviorBinding("test/formula-resultformat.test.ts#validateFormulaOptions accepts the fwb", assertFieldContract)]),
+        formulaConfig: Object.freeze([behaviorBinding("test/field-families.test.ts#field.create FORMULA persists formulaConfig + persistent", assertFieldContract)]),
+        formulaRuntimeVerification: Object.freeze([behaviorBinding("test/field-families.test.ts#field.create FORMULA ACCEPTS aggregation written as an EXPRESSION (form 计算控件 subtable SUM; UI+runtime-verified 2026-10-07)", assertFieldContract)]),
+        relevanceDataOptions: Object.freeze([behaviorBinding("test/field-families.test.ts#field.create RELEVANCE_DATA persists the referenceField options", assertFieldContract)]),
+        publishScope: Object.freeze([behaviorBinding("test/field-publish-batch.test.ts#field.publish batch: a single call publishes every draft field", assertFieldContract)]),
+        controlEmissionPolicy: Object.freeze([behaviorBinding("test/ticket-101-control-coverage.test.ts#controls 24 (PHONE) and 10 (PHOTO) are declared blocked", assertFieldContract)]),
+        fieldRowDefaultPolicy: Object.freeze([behaviorBinding("test/ticket-108-field-row-defaults.test.ts#intentional minimal defaults are pinned per the determination table", assertFieldContract)]),
+    }),
+    evidence: Object.freeze([
+        "ticket 01-3 (2026-09-11): a DATE(3) field created without options.format 50000s on the first runtime save",
+        "cp-sources/backend/decompiled-full/.../BizObjectFacadeImpl.java:2949 reads JSON.parseObject(options).get(\"format\")",
+        "form-schema-contract.md:404 designer date control defaults format/format1 to YYYY-MM-DD",
+        "8.6.26 FormulaPropertyOptions (cloudpivot-shared-8.6.26): options={formulaConfig:string,persistent}; FormulaConfig={resultType,resultFormat,formulaType,expression,aggregation}; FormulaProcessor reads config.expression as a JSON string {formula,editorText,editorMark} and blanks {fieldCode} placeholders",
+        "omc-core formula-field-contract.ts v1 (live-verified): {formulaConfig,persistent:true}, resultType 0|2, resultFormat \"\"|\"percentile\"",
+        "field-families-fwb-20260914.md:170-180 (fwb readback 2026-09-14): FORMULA(100) field row options = {formulaConfig, persistent, format} with formulaConfig.resultFormat \"percentile\" and outer format \"percentile\" — the evidenced non-empty resultFormat and the readback-only outer format key are accepted; unknown values stay refused fail-closed",
+        "ticket 24 live (2026-09-12): FORMULA options read back verbatim via field.list; EXPRESSION field evaluated 3+4=7 on save. An empty-queryConditions AGGREGATION probe evaluated to 0 — REVERSED 2026-10-07: that was a false negative; AGGREGATION (表单「计算」控件「聚合计算」, 跨模型聚合) is supported; subtable→main roll-up and child-column arithmetic are delivered as 普通字段+计算规则 (datarule type2, recipes field-compute-subtable-sum / field-compute-child-column; UI+runtime verified 2026-10-08) — the earlier FORMULA-field recipes were removed as the wrong vehicle",
+        "8.6.26 RelevanceDataOptions (bizmodel): {relevanceField,referenceField,referenceFieldPropertyType,referenceFieldControlType}; validateRelevanceDataPropertyConfig requires referenceField+relevanceField; admin field serializer adds originalOptions/format1",
+        "ticket 24 live (2026-09-12): FORMULA options readback + RELEVANCE_DATA create/publish/form-binding readback",
+        "ticket 61 source (8.6.26): the runtime list face resolves a relation's displayed value from the field ROW's top-level relativePropertyCode, not options.displayField — QueryRuntimeController.java:1214-1226 (getRelativePropertyCode; empty → \"name\" data title); BizPropertyController create/update :851/:987 never auto-fill it, so every relation create/update must carry it",
+        "capability-shape-spec.md: field-row and form-control options are declared once with required keys, defaults, and evidence; LOGICAL/ATTACHMENT/ADDRESS/HYPER_LINK/TIME are completed",
+    ]),
+    tools: Object.freeze({
+        "field.list": Object.freeze({
+            scope: "create publish readback",
+            description: "List draft/published fields of a model, each with its parsed options (readback face of the field family chain).",
+        }),
+        "field.create": Object.freeze({
+            scope: "create publish readback",
+            description: describeTool("Create a draft field on a model (bizproperty/create).", [
+                "Field type must be one of the live-accepted families; nested child tables and OCR/ELECTRONIC_SIGN are out of coverage.",
+                `Reserved/system codes are refused (code_reserved): ${[...RESERVED_CODES].join(", ")} — pick a business code (e.g. owner → taskOwner).`,
+                "The relation field family name is `WORK_SHEET` (there is no RELATED_SINGLE/RELATION): pass `propertyType:\"WORK_SHEET\"` + `relativeCode:<schemaCode>` + `options:{schemaCode,queryCode,displayField,displayFieldType,mappings}`; `mappings` is a JSON *string* (empty string when there is no mapping).",
+                "For single/multi-select pass `choices` (e.g. [\"A\",\"B\",\"C\"]) or `options.optionsSet` with optionsType custom/dictionary/businessModel; dictionary uses checkedDictionary/checkedDictionaryCode, businessModel uses schemaCode/sheetDataItem.",
+                "For a relation pass `relativeCode` and `options` (schemaCode/displayField/...). `searchFormula` and `conditions` are JSON strings for the relation data restriction/query conditions.",
+                "For a relation display field the tool writes the field-row top-level `relativePropertyCode` = options.displayField (the runtime reads THAT key, not options.displayField — QueryRuntimeController.java:1214-1226) and defaults options.displayFieldType:0 + displayFieldFormat:\"\".",
+                "For FORMULA pass `options.formulaConfig` (nested JSON string) + `options.persistent:true`; for RELEVANCE_DATA pass `options.relevanceField` + `options.referenceField` + `options.referenceFieldPropertyType`.",
+                "org 选人族（STAFF_SELECTOR 等 5/50/51/60/61）字段行 options 自动写成实例观测的发布安全形状（yst/fwb 发布面 2656 行：null 或 {defaultValue, mappings, virtualField[, noRepeat]}；单选 defaultValue \"\"，多选 []）。deptVisible/multi 是**表单控件面**判别键（disposeUpdateType/updateSelectionType 读 control.options，票 69 已由表单脚手架写入控件面），不出现在字段行。",
+            ]),
+        }),
+        "field.update": Object.freeze({
+            scope: "create publish readback",
+            description: describeTool("Update an existing field (bizproperty/update) — merges `options` (and optional `choices`/`relativeCode`) onto the current draft/published record.", [
+                "**不切换 propertyType**：field.update 传 propertyType 会被静默忽略（errcode 0 但类型不变，r6 实证 2026-10-10）——已发布字段改类型只能 field.delete + field.create 重建（含关联 mappings 的同类型对齐场景：人员单选只能映射给人员单选）。choices 只对文本单选族（RADIO/DROPDOWN_BOX 等）合法，传给其它类型会被出门校验拒。",
+                "Use it to add relation `mappings` (source/target carry-through) or change field options.",
+                "A relation's display field is the field-row top-level `relativePropertyCode` (options.displayField is mirrored but not what the runtime reads); the tool rewrites it when you pass a new displayField.",
+                "表单条件（`options.requiredFormula`（必填）/`readonlyCondition`（只读）/`displayFormula`（显示））会**自动配对**一条 `bizdatarule` type3/4/5 行：门户**运行时**读字段 options，表单设计器**设计态** Set/Unset 读 `bizdatarule/list`——只写 options 会让设计器显示 Unset。readback.formConditionSync 报 created/updated/deleted/skipped；清空条件传空串（如 requiredFormula:\"\"）会同时删规则行；字段未发布时只写 options 并在 skipped 说明原因。",
+                "Re-publish with field.publish for the change to take effect.",
+            ]),
+        }),
+        "field.publish": Object.freeze({
+            scope: "create publish readback",
+            description: "Publish the model's draft fields (bizproperty/publish). **Model-scoped**: one call publishes every draft field of the schema — never call once per field. Optional `code`/`codes` verify which fields landed on the published face; the readback also lists all `publishedCodes`. 瞬态重试（ticket 79）：**异常小资源环境下**（实测该 test 环境 MySQL 限 1GB/缓冲池 128MB、I/O 被 Quartz 调度器占满，事故夜 30 个 publish 事务挂起 >30s 最长 193s）publish 走 DDL+序列化器定义同步，失败尝试 DDL 自动提交而标志回滚，留下「MySQL 有列 / 序列化器视图无列」中间态，后续 publish 报 `表单:<t>_<schema>不存在列:<col>` 并逐列自愈。常规资源环境预计不触发；工具仍对该特征自动重试至多 3 次（退避 2s/5s），预算耗尽原样浮出。若仍失败：等 ≥30s 再重发本次 publish，勿重复建字段。与字段 options 形状无关（yst/fwb 发布面 2656 行 org 族字段行无强制键）。",
+        }),
+        "field.delete": Object.freeze({
+            scope: "create publish readback",
+            description: "Force-delete a field (bizproperty/force_delete) with exact-absence readback on both faces.",
+        }),
+    }),
+});
+export function assertFieldContract() {
+    assertCapabilityShapeContract();
+    assertLaneContract(FIELD_LANE_CONTRACT);
+    if (FIELD_DATE_DEFAULT_OPTIONS.format !== "YYYY-MM-DD")
+        throw new Error("field contract requires the DATE default format YYYY-MM-DD");
+    if (!String(FIELD_LANE_CONTRACT.wire.formulaOptions).includes("formulaConfig") || !String(FIELD_LANE_CONTRACT.wire.formulaOptions).includes("persistent") || !String(FIELD_LANE_CONTRACT.wire.formulaConfig).includes("resultType"))
+        throw new Error("field contract must carry the FORMULA formulaConfig wire facts");
+    if (!String(FIELD_LANE_CONTRACT.wire.relevanceDataOptions).includes("relevanceField"))
+        throw new Error("field contract must carry the RELEVANCE_DATA referenceField wire facts");
+    if (!String(FIELD_LANE_CONTRACT.wire.controlEmissionPolicy).includes("BizPropertyType.java:27-54"))
+        throw new Error("field contract must carry the ticket-101 control-emission policy with its enum evidence");
+    if (!String(FIELD_LANE_CONTRACT.wire.fieldRowDefaultPolicy).includes("MUST-FIXED"))
+        throw new Error("field contract must carry the ticket-108 field-row default determination");
+    if (!String(FIELD_LANE_CONTRACT.wire.acceptedFamilies).includes("SHORT_TEXT") || !String(FIELD_LANE_CONTRACT.wire.acceptedFamilies).includes("FORMULA"))
+        throw new Error("field contract must carry the accepted family list");
+    if (!String(FIELD_LANE_CONTRACT.wire.blockedFamilies).includes("OCR"))
+        throw new Error("field contract must carry the blocked families");
+    if (FIELD_LANE_CONTRACT.wire.publishScope !== "model")
+        throw new Error("field contract pins the publish scope to model");
+    assertDescriptionCarries(FIELD_LANE_CONTRACT, "field.create", ["bizproperty/create", "OCR/ELECTRONIC_SIGN", "`choices`", "options.optionsSet", "`relativeCode`", "searchFormula", "`options.formulaConfig`", "`options.relevanceField`", "code_reserved", "WORK_SHEET"]);
+    assertDescriptionCarries(FIELD_LANE_CONTRACT, "field.update", ["bizproperty/update", "`options`", "field.publish"]);
+    assertDescriptionCarries(FIELD_LANE_CONTRACT, "field.publish", ["bizproperty/publish", "published", "Model-scoped", "publishedCodes"]);
+    assertDescriptionCarries(FIELD_LANE_CONTRACT, "field.delete", ["bizproperty/force_delete", "absence"]);
+}
+//# sourceMappingURL=field-contract.js.map

package/dist/lanes/field-coverage.js

@@ -0,0 +1,27 @@
+import { claim, declareLaneCoverage } from "./coverage-declaration.js";
+import { FIELD_LANE_CONTRACT } from "./field-contract.js";
+const T = FIELD_LANE_CONTRACT.tools;
+export const FIELD_COVERAGE = declareLaneCoverage(FIELD_LANE_CONTRACT.lane, [
+    {
+        capability: "Field family full chain: create→publish→form draft→form publish→control binding readback (seven live-accepted families)",
+        evidence: ["src/families/registry.ts", ".scratch/omc-field-type-ladder/research/formula-contract.md"],
+        tools: [
+            // Every claim reads its scope from the contract, so the registration (which
+            // also reads the contract) and the coverage declaration cannot drift. A
+            // locally-authored scope string here would only be held equal by
+            // assertToolSurfaceConsistent — exactly the duplicate that guard exists to
+            // catch, so don't introduce one.
+            claim("field.list", T["field.list"].scope),
+            claim("field.create", T["field.create"].scope),
+            claim("field.update", T["field.update"].scope),
+            claim("field.publish", T["field.publish"].scope),
+            claim("field.delete", T["field.delete"].scope),
+        ],
+    },
+    {
+        capability: "Numeric-logical and date-time field families full chain",
+        evidence: ["src/families/registry.ts", ".scratch/omc-field-type-ladder/issues/02-numeric-logical-family.md"],
+        tools: [],
+    },
+]);
+//# sourceMappingURL=field-coverage.js.map