fix(model): 语义比较恢复含展示层——文案变化需写入（e2e 契约链路回归）

CI e2e 红灯：@safe-auto-merge 期望 summary 改为 premium 后
proposal 反映新文案——no-op 跳过把展示层排除后，纯文案变化
的重注册不再写契约，proposal 永不更新。

平衡语义：比较含 Summary/Description/Tags（文案变化写入）；
schema canonical / JSONMap 零值归一保持（同内容跳过）。
幽灵 stale 不受影响：页面 freshness 从不比较展示层。

配套：JS/Python demo summary 兜底对齐 functionID（与 Go/
Java 一致），消除六语言默认文案轮换导致的无关写。

Author: cuihairu

internal/model/function_contract_model.go

@@ -48,11 +48,12 @@ func (m *FunctionContractModel) UpsertContract(ctx context.Context, contract *Fu
 	return db.Save(contract).Error
 }
 
-// contractSemanticallyEqual 只比较影响页面契约/治理/执行判断的实质
-// 字段（schema 用 canonical JSON——键序/空格差异不算变化）。
-// 展示层字段（Summary/Description/Tags）不参与：六语言 SDK 的默认
-// 文案不同，轮流注册会轮换这些字段——不构成"契约变化"，不应触发
-// 重写与下游 freshness 扰动。Diagnostics 属注册期质检快照同理。
+// contractSemanticallyEqual 比较契约全部字段（含展示层 Summary/
+// Description/Tags——文案变化需要写入，e2e 契约链路依赖 proposal
+// 反映新文案）；schema 用 canonical JSON（键序/空格形态差异不算
+// 变化——六语言 SDK 各自序列化同 schema 字节不同），JSONMap 走
+// 零值归一（nil 与 {required:false} 等价）。Diagnostics 属注册期
+// 质检快照，轮换不构成契约变化，不参与。
 func contractSemanticallyEqual(a, b *FunctionContract) bool {
 	if a == nil || b == nil {
 		return false
@@ -68,6 +69,9 @@ func contractSemanticallyEqual(a, b *FunctionContract) bool {
 		strings.TrimSpace(a.Permission) == strings.TrimSpace(b.Permission) &&
 		a.Source == b.Source &&
 		jsonMapEqual(a.Approval, b.Approval) &&
+		jsonMapEqual(a.Summary, b.Summary) &&
+		jsonMapEqual(a.Description, b.Description) &&
+		bytes.Equal(canonicalJSON(a.Tags), canonicalJSON(b.Tags)) &&
 		bytes.Equal(canonicalJSON(a.InputSchema), canonicalJSON(b.InputSchema)) &&
 		bytes.Equal(canonicalJSON(a.OutputSchema), canonicalJSON(b.OutputSchema))
 }

sdks/js/examples/game_demo.ts

@@ -385,6 +385,9 @@ function mailClaim(store: DemoStore): FunctionHandler {
 
 function enrichDescriptor(desc: FunctionDescriptor): FunctionDescriptor {
   const tags = desc.tags || ([desc.resource, desc.operation].filter(Boolean) as string[]);
+  // 与 Go/Java demo 对齐：summary 兜底 functionID，避免各语言默认
+  // 文案不同导致契约展示字段在重注册时轮换。
+  desc.summary = desc.summary || desc.id;
   return {
     ...desc,
     tags,

sdks/python/examples/game_demo.py

@@ -697,7 +697,7 @@ def enrich_descriptor(desc: FunctionDescriptor) -> FunctionDescriptor:
     if not desc.tags:
         desc.tags = [value for value in (desc.resource, desc.operation) if value]
     if not desc.summary:
-        desc.summary = f"{desc.resource or 'function'} {desc.operation or 'invoke'}"
+        desc.summary = desc.id
     if not desc.description:
         desc.description = (
             f"Demo function {desc.id} for {desc.resource or 'unscoped'} {desc.operation or 'invoke'} operations."