zizi-al/games-development-ai
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
665 Commits 4 Branches 0 Tags
Commit Graph

71 Commits

Author SHA1 Message Date
lili
b31cc37a4f chore(brand): 造梦AI→绘境AI 全活层品牌不变量收口(441 文件) 
把活层退役旧品牌「造梦AI」统一改为现行「绘境AI」,brand-invariant 门红线归零。构成:
~412 Java @author 署名 + game-studio/index.html 浏览器标题 + game-runtime/package.json 描述
+ game-admin/.env VITE_APP_TITLE 运营后台标题 + contracts API title/@Schema 用户协议示例/events 描述
+ docs-design mockup 品牌位 + 各模块注释。全是注释/显示/元数据,零逻辑改动。
zaomeng 拼音持久化标识符按 2026-06-24 评审 GR-05 不动(347 处保留)。
白名单(docs/ip 法律备案 / _archive / 带日期留痕)与 AGENTS.md 门定义自身不动。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-25 08:29:11 -07:00
lili
94abac1507 feat(aigc): 外科挖 SAA graph 内 gamedef 分支(删分支·保节点/边) 
按 spec 铁律「删 sourceMode==gamedef 分支、绝不删节点/边」,外科切除
SAA 编排里已废 gamedef(声明式 JSON + new Function)路线;factory/amodel
两路与图节点/边/装配全程保留。

main(4 文件):
- SaaPrompts:删 GAMEDEF_SYSTEM 常量、buildGameDefMessages;historySystem/
  historyFirstUser/historyRepairUser 去 boolean gamedef 参数(恒走 iife/factory)。
- SaaGenNodes:删 validateGameDef(唯一调已删 build-from-source.mjs 处)+
  validateNode 的 gamedef 分支;连带删孤儿 helper deleteQuiet。
- SaaStudioNodes:删 K_MSG_HISTORY_GAMEDEF(定义+ALL_KEYS);historyKey/
  readHistory/appendHistory 退化去 gamedef 参数(恒 factory 键);generateNode
  闭包切 gamedef 分支(组 messages/抽产物/历史 append 全退化为 factory);
  modifyNode deterministic 点改恒 fail-loud、modifyRouter deterministic 恒 fail
  (gamedef 是唯一支持确定性点改的形态,删后该路对 factory/amodel 恒 fail);
  清未用 archetype 变量。SaaStudioGraph.assemble 节点/边零改。
- AigcExecutorProperties:saaSourceMode javadoc 删 gamedef 描述(字段保留,
  factory/amodel 仍用)+ 删失效 cutover 门。

test(5 文件):
- SaaHistoryFidelityTest:gamedef 形态→factory(历史保真机制与 sourceMode 无关,
  答案块改 ```js 工厂使 factory 抽产物自洽);
- SaaHistorySerdeTest:K_MSG_HISTORY_GAMEDEF→FACTORY;
- SaaAnthropicAssembleTest:gamedef 形态→amodel(P0-2 多形态回归);
- SaaStudioGraphTopologyTest:删 modify_deterministic_gamedef_unlocks_validate_route、
  改 fail_loud 断言关键词(failureReason 已去 gamedef);
- SaaFullGraphE2eTest:javadoc/注释 gamedef 量测示例→amodel。

DifyCallbackServiceImplTest 的 SOURCE_JSON(含 gameDefinition:{} blob)保留——
源工件 blob 透传测试,不解析内容(spec 铁律:存储层把 source_json 当不透明 blob)。

验证(本机 mvn 真跑·全绿):
- aigc-server Saa*Test + DifyCallback*Test = BUILD SUCCESS, 139 run / 0 fail / 7 skip(skip=系统属性门控的真 LLM/harness e2e)
- studio-server StudioServiceImplTest 27/0 + SourceProjectServiceImplTest 17/0 = BUILD SUCCESS

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-25 02:24:08 -07:00
lili
d0626e1f1c feat(aigc): 删 gamedef skeleton 注入(三仓一物·成套清) 
Plan A·Phase 2 的 Template-First gamedef 骨架注入整套删除:
- contracts/agent-loop/skeletons/{breakout,simon,tictactoe}.json(空目录随之消失)
- SaaSkeletons.java(纯 gamedef 专属:forArchetype 返 gamedef JSON 骨架)
- pom.xml(aigc-server)去 agent-loop/skeletons/*.json 的 classpath include
  (templates/*.schema.json 等其它 include 保留)
- SaaPrompts.java 删 appendSkeletonIfAny 定义 + 两处调用(buildGameDefMessages
  firstAttempt 分支翻转为 !firstAttempt 消空块;historyFirstUser gamedef
  分支去骨架追加)

skeleton 是 gamedef 中间表示的"已过门结构参照",随 gamedef 路线废弃一并清。
验证:mvn -pl aigc-server -am compile = BUILD SUCCESS(Java 改动可编译)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-25 02:04:02 -07:00
lili
f6ebcb6b63 test(清扫): 删 gamedef 测试产物(13 个 gd-* + 3 brief) 
- game-runtime/games/_wg1-gen/ 下 13 个 gamedef gd-* 测试产物
  (gd-angrybirds/breakout/doodle/flappy/invaders/multiball/pong/
  runner/saolei/simon/tetris/tictactoe/whack,均含 source.json,
  untracked,物理删除);_wg1-gen 本体 + .agent + _goldenpath-probe
  完好(192→179 子目录)。
- game-cloud aigc-server 测试资源 3 个 gamedef brief:
  saa-e2e-briefs-{gamedef,diverse10,holdout}.txt(git rm)。
  仅 SaaFullGraphE2eTest javadoc 示例引用(L71/L79),其读 brief
  走 -Dsaa.e2e.briefFile 动态路径无硬引用、且整测 @EnabledIfSystemProperty
  门控不入常规 mvn test;javadoc 死引用并入 Step5 Java 编辑清理。

验证:game-runtime 核心测试 211/211、_generic 5/5,删除无误伤。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-25 02:00:16 -07:00
lili
4ed9d2a90f test(saa): M3 openai 流式静默挂死最小复现(诊断脚手架) 
门控 -Dsaa.stream.repro=1 + NEWAPI_KEY,不破普通构建。逐验:stream() 是否真流式 / thinking 开时 content 帧是否到达 / blockLast 是否返回。全程显式超时不挂 900s。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-23 19:45:33 -07:00
lili
d342de088e feat(saa): 零-LLM driver 内置绑定 injectDriverByArchetype + 5 单测 
design 只声明 gatespec 不写 driver→amodel 路无人绑 driver→游戏停菜单→九门 E_live/H 名存实亡。按 classify archetype 确定性补内置 driver(经营/反应→tap occupied、三消→placement、跑酷→key-cycle),显式 driver 不覆盖、无合适内置(如 bubble)不强补。WIP:未在 mini mvn 验;archetype→targets 契约假设正于 driver 调查中复核。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-23 19:45:33 -07:00
lili
cbe42933d0 fix(saa): B 收尾·客观门跨层对齐 advisory——objectiveGatesPass 读 verdict.advisoryGates 
根因:8ac4ccc8 的「未驱动 E_live/H 降 advisory」只落在 play.cdp.cjs(verdict.pass/
advisoryGates),未传到生成环消费层 SaaGenNodes.objectiveGatesPass——后者把 E_live 当
硬客观门、完全不读 advisoryGates。未驱动游戏(打地鼠 menu 态无 driver→phase 恒 menu→
_forensicsView distinctStates:1)E_live 每轮必挂→1+maxRepairs(5)=6 次 M3 假失败救场,
与既有 line651 注释里早修过的 H_progress「空跑 8 轮救场/302K token」同一类病(driver
依赖门绑架生成)。

修:
- objectiveGatesPass / summarizeFailedGuards 读 verdict.advisoryGates 同口径降级。
  advisory 门要求【存在】(保住 C2 崩溃安全:缺门=harness 未跑完=失败)但【允许 pass=false】
  (未驱动无法公平验活性);driven 时 play.cdp.cjs 不列入 advisory → 自动恢复致命,回归不破。
- objectiveGatesPass 提包级可见(与 summarizeFailedGuards 同范式),供纯逻辑单测。

验证:SaaFullGraphE2eGateLogicTest 23/23 PASS(+5 advisory 案:未驱动 E_live→过/
driven E_live→挂/缺门→挂/全过/反馈跳 advisory)。e2e 已实证 verdict.pass=true、
E_live/H 列 advisory(advisory 跨层生效)。
注:e2e 绿基线仍被一个【独立·先存】问题阻断——过门游戏不产终态回调(player 节点 M3
首次在 pass 路被触达,疑 M3-vision 挂),非本修引入,下一步处置。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-22 23:38:59 -07:00
lili
db3c42c5de feat(amodel): 运行时日志基建(ctx.log+插件自带+harness捕获) + 九门A(play-spec透传)+B2(F_wiring) + 预算 
创始人指令:游戏要有日志,读日志诊断运行时问题,模板+可选插件自带日志。

日志基建:
- plugin.js:受控面 ctx 加 log(tag,...args) → window.__gameLog 环形(800)+ console;用受控 time.nowMs。
- boot-game-host.js:B2 插件 Proxy wrap 顺手记插件语义调用进 __gameLog(跳 draw/update/current/get 等高频)→ 插件自带日志免逐个改;recHook 仍记 __engineCalls 供 F_wiring。
- _template game-logic.js:ctx.log 生命周期(init/scene play/over)→ 模板自带。
- play.mjs smokeBoot:抓 __gameLog 写 staged evidence/game-log.json + 末12条进 out.logTail(boot 成败都抓,失败时最有诊断价值)。
- 实证:scaffold→smoke logtest → logCount:165、game-log.json 有 [p:sceneFsm:define/start]+[game:init];读日志诊断可用。

九门对齐(C 之 A+B2,recon ad3c564):
- A(SaaGenNodes validateAmodelStaged):amodel 路 validate-ok→play 短路了 scaffoldNode(唯一写 play-spec.json 处)→ 补写 play-spec.json(从 design 产 K_PLAY_SPEC)→ 九门可驱动(治 E_live/G_input/H_progress 机制)。
- B2(boot-game-host):插件 recHook wrap → F_wiring callCount>0(实证 e2e 从 [E_live,F_wiring] → [E_live,H_progress],F_wiring 已过)。叠加式,factory/gamedef 零回归。

预算(gen.mjs):maxSteps 45→70 / maxWallMs 12→20min —— SAA design 富化 brief 比 raw(7步)需更多步。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-22 22:21:29 -07:00
lili
3fbb3197f4 feat(amodel-gen): Phase 2 批B — SAA 图 amodel 路集成(集成方式C)+ Fix A(validate 尊重 harness ok) 
集成方式C:SAA generate 节点 shell-out 已验证 harness `gen.mjs --mode saa`(amodel flag 旁挂)。
- AigcExecutorProperties: saaSourceMode += amodel(Javadoc;默认仍 factory)。
- SaaGenNodes: 新增 runProcessSplit/SplitProcResult(stdout/stderr 分流,末行 JSON 不被 stderr 污染);validateNode amodel 分支 + validateAmodelStaged。
- SaaStudioNodes: generateNode 6 参重载(amodel 短路 generateViaAmodelHarness:argv 透传 brief+key、解析末行 JSON);okElseRepairOrEscalateOrGiveupAmodelAware(validate-ok→play 短路)。
- SaaStudioGraph: assemble/build apiKey/llmBase 透传链 + validate 条件边 amodel-aware + "play"边。
- SaaGraphDispatcher: ensureGraph 传 apiKey/llmBase。

Fix A(本次发现并修的真集成 bug):gen.mjs done-gate 顺序 stage→smoke,smoke 失败 done 被拒但 stage 已落盘陈旧坏 bundle(harness 返 ok:false/stagedDir:null 却留文件)。原 validateAmodelStaged 只查产物存在=误过坏 bundle→路由 play→九门崩+白耗~10min。
修:generate 置 K_AMODEL_GEN_OK(成功 true/失败 false,不再自增 failCount);validate 先尊重该标记(false→救场,不读陈旧产物),failCount 由 validate 统一计一次(与 factory/gamedef「generate 产出、validate 计数」同口径)。

验证(严格):
- mini 权威 mvn test-compile BUILD SUCCESS(main+test)。
- 83/83 SAA 确定性回归单测全绿(门路由18/拓扑30/节点回归14/history重载4/dispatcher9 等)——factory/gamedef 零回归。
- amodel e2e dispatch→generate→validate→路由 实跑通;控制测试 pristine _template scaffold-saa→build→stage→smoke PASS(env/信封/插件正常)。
- Fix A 行为确认:修后坏 bundle 被 validate 正确拒(未到 play);修前 breakout 坏 bundle 到了 play。

未达(解耦·非本集成范围):amodel e2e 仍 0/1——M3 生成质量 boot 崩 `Cannot read properties of undefined (reading 'w')`,跨 breakout+whack 复现;pristine 模板 boot 干净→证 M3 代码问题,非集成/env/harness。属 Phase 3/4 生成质量门(D1=A:factory 默认直到 amodel≥60%)。

零回归:amodel 纯旁挂 flag,saaSourceMode 默认 factory;amodel=false 时全部新分支跳过,新"play"边对 factory/gamedef 不可达。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-22 06:21:12 -07:00
lili
7aeb8f5475 fix(saa): GAMEDEF_SYSTEM 加贪吃蛇(snake)异构 few-shot——补 round-1 缺的网格步进例(bug#5 round-2) 
round-1 加 breakout 后射击已保真复原,但贪吃蛇仍坍缩成躲避=缺 snake 例。本仓无 snake 金样,
按 gameDefinition schema 自写一个最小可跑参照4:
- 蛇身=挂【状态实体 gamestate】的有序格子数组 G.body(头在前),对齐保真铁律"蛇身实体数组(挂状态实体)"——
  避开 self 跨 behavior 不共享的死法;dir/food/step 同挂 G,引用赋值持久。
- 机制忠实:turn 读方向键(禁反向)→ tick 定时步进(0.16s)新头入、无食去尾;吃食 body 变长+rt.addScore+
  食物换位(bounded do-while,非 while(true));撞墙或撞自身 rt.lose();每步按 body 重绘 seg 实体免逐段维护索引。
- 进展落 rt.addScore/rt.destroy(运行时真暴露),不藏 snakeLength 自定义标量。

保真铁律同步:三参照→四参照、加"参照4是贪吃蛇"反坍缩约束、异构形态加"网格定时步进"。

控长:GAMEDEF_SYSTEM 15058→17461B(+2.4KB),总~17.5KB 远在模型上下文内——llm_error=LLM 调用耗尽/截断
(FailureReasonEnum.LLM_ERROR),非 prompt 过长拒绝,故不动既有载荷型告警(避免回归 round-1 已证的射击保真)。

证据:snake JSON 过 build-from-source.mjs --validate(exit 0)+ 全量 build 成 factory(exit 0);
aigc-server mvn -o clean install -DskipTests 编译过(MVN_EXIT=0,jar+SaaPrompts.class 新鲜产出)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-21 14:40:15 +08:00
lili
9176abe923 fix(saa): GAMEDEF_SYSTEM 加保真铁律 + breakout 异构 few-shot——修生成坍缩(bug#5) 
根因:GAMEDEF_SYSTEM 仅内联 2 个 few-shot(躲避 + tap-targets 打地鼠)、
无 brief-fidelity 约束,模型对任何题面"挑最近的套"——动作类抄躲避、
点击类抄打地鼠,打砖块/贪吃蛇/射击全坍缩。

两处最小修(对齐根因 1+2):
1) 在三个参照前置【★保真铁律★】:参照仅示范结构与 rt 面用法、不是玩法清单;
   必须按题面产对应实体/行为/规则(给打砖块/贪吃蛇/射击/跑酷范例);
   严禁因参照是躲避/打地鼠/打砖块就把题面玩法坍缩成它们。
2) 内联【参照3·breakout】(挡板+球+砖墙+反弹消砖、清砖判胜、球落底判负),
   源自过门金样 contracts/agent-loop/skeletons/breakout.json,结构精简对齐 rt 面,
   与原 2 例并列、打破"只有躲避+打地鼠"偏置(三参照覆盖异构三形态)。

验证:① 三参照 JSON 均合法、顶层键齐(entities/components/behaviors/scenes/rules);
② 参照3 经 game-runtime createRuntime 真驱动跑通——砖墙24块/撞砖计分/消砖
remaining降/球落底 lose-latch/指针控板,全程零抛错;③ gd-archetypes.test 4/4 不回归;
④ aigc-server 离线编译通过(文本块转义合法)。

不重新生成游戏(重生验证由部署后另做)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-21 13:56:45 +08:00
lili
490dc6293d fix(saa): 包级 assets 接通源 sourceProject.assets[]——闭合产消断链(兑现 engine-E2/E3 消费侧 TODO) 
gen-done 出包历史上把包级 assets 硬置空(setAssets(emptyList)),丢掉源
gameDefinition 已落库的六类源资产(game_source_project.source_json 顶层
assets[6]),造成产(asset 节点写源)→消(组包)断链。

改 SaaGraphDispatcher.buildCallbackReqVO(in-JVM SAA 路,即 generic/engine
任务真实落包路):新增 extractSourceAssets(s,traceId) 从图终态 K_SOURCE_PROJECT
抽顶层 assets[] 忠实映射进 reqVO.assets;DifyCallbackTxService.buildGamePackage
读 reqVO.getAssets() 即自然带进 GamePackage.assets。

- 形态:源 assetSpec={id,category,ref,provider}(source-project.schema.json
  #/$defs/assetSpec),运行时 gd-runtime 经 gdef.assets 同形消费;geom:<cat> ref
  系几何占位资产引用,原样透传,不伪造包契约 strict AssetSpec 的
  type/url/hash/bytes/mime(无真图/真 sha256,伪造即脏数据)。
- best-effort 非阻断(严格 additive):源缺失/空白/非 JSON/无 assets 键/非数组/
  异常一律回退空集,绝不外抛、绝不打断 SAA 生成;存量无源回调字节零变化。
- 复用既有 parseTrace + TRACE_MAPPER(只读,无共享可变状态),不引新依赖。

不动 AigcGenerateExecutor:440:该处为进程内 clicker/merge 旧路(generic/engine
经 dispatchGeneric 早返,不达此行;worker 回调由独立 reqVO 驱动),作用域无
sourceProject,改它即凭空伪造,故按现状保留(对齐 run_batch.py assets:[])。

验证:mvn -o clean install -pl game-module-aigc-server -am 编译 BUILD SUCCESS;
DifyCallbackServiceImplTest+AigcGenerateExecutorTest 41 tests 0 fail(含
in-process 路 getAssets().isEmpty() 断言仍过,确认未回归)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-21 10:50:40 +08:00
lili
ad22be9b3a feat(saa): Phase 2 Template-First gamedef 骨架机制(flag 旁挂默认关；A/B 负面=不迁移到便宜 thinking-off) 
机制(OpenGame +10.1 杠杆试落)：
- SaaSkeletons 加载器：archetype→3 金标准过门纯净骨架(gd-breakout/tictactoe/simon，verdict.pass=true+rt纯净+过 Phase3 坑门)，按 (tick/input) profile 映射；经济类(merge/idle/tycoon)无近似骨架不登记=走无骨架，绝不喂低质骨架。
- 注入：SaaPrompts buildGameDefMessages(openai 首生成)/historyFirstUser(anthropic 首轮) 追加骨架段(结构参照、非照抄，题面不符以题面为准)；救场轮不注。
- pom 拷 contracts/agent-loop/skeletons/*.json 进 classpath。flag -Dsaa.gen.skeletonFirst=1 开，默认关=生成字节零变、零回归。

A/B 实测(thinking-off + skeleton conc=12 vs A 基线)：
- 7/12(58.3%) ≤ A 8/12(67%)，失败仍 E_live 哑火(#4,5,9,11,12) → 骨架没把基线拉向 91.7%。
- 结论：+10.1 骨架杠杆【不迁移到便宜模型+thinking-off】——哑火是推理缺口(thinking 补)、非结构样例缺口(骨架补不了)。thinking-ON(anthropic 91.7%)仍是唯一真杠杆。
- 处置(创始人定 A)：保留机制 flag 关、可逆——换更强模型/配合 thinking 时或有用；默认不启用。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-20 12:53:02 -07:00
lili
5bc0afb4bb fix(saa): 复审整改 C2 客观门必达集 + M3 碰撞尺寸不拷顶层 + Phase 3 玩法坑离线门 
CodeRabbit/Codex 双复审整改（针对 4e5a7bbf）：

- C2(critical, SaaGenNodes.objectiveGatesPass)：改「A-E 五门全在场且 pass，缺任一即失败」。旧「出现才查」会被 harness 中途崩(runDriver 在 D/E 前抛、未 try/catch)钻空子——verdict 只剩 A_boot/C_frame 即 sawObjective=true 放行=崩掉的游戏判过。缺门=未跑完=失败才安全。
- M3(major, gd-runtime RESERVED += w/h/r)：碰撞尺寸 w/h/r 不拷实体顶层——它们是 rt.overlap 读顶层的命中框(缺省16)，拷上去静默改存量游戏命中框且违反 prompt 契约「顶层 e.w 永 undefined」。
- Phase 3(OpenGame +6.9 离线 linter)：build-from-source 加两族【零误伤】玩法哑火坑门——①.tags 是 Set 误用数组法/下标/length ②漏 rt. 前缀裸引擎调(补 LOGIC_BANS 不拦 getEngine/getInput/restart 的洞,含此坑源装配过却运行期夭折)。命中→repair,真玩前修省一轮 CDP。self 跨 behavior 泄漏因误伤过门款(gd-tictactoe/simon 带 bug 却过门,self 确 per-behavior)降级待非阻塞 warning 通道。新增 gameplay-pitfalls.test.mjs：正例拦坑 + gd-breakout/tictactoe/simon 零误伤,32/32 全绿(含既有回归)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-20 12:28:41 -07:00
lili
4e5a7bbfb9 feat(saa): M3 生成质量收敛——客观门解耦 + 流式 anthropic 思考 → e2e 11/12(91.7%) 
rc 门解耦修复(SaaGenNodes.playNode)：play.cdp.cjs 退出码=九门聚合(verdict.pass?0:1)，driver 门(G/H/I)挂→rc=1 反向否决客观 pass，致 Phase 1 客观门解耦形同虚设、空跑救场烧 token；改 rc∈{0,1}+objectiveGatesPass，all9 旧口径保留可回退。

思考治理(SaaStudioGraph)：关 openai 路 M3 adaptive thinking(内联污染 JSON+撞 max_tokens 截断)；改走 Anthropic Messages 协议(原生 thinking 块分离)+ StreamingCallChatModel 流式收取(治阻塞整取 SocketTimeout；#4407 对 spring-ai 1.1.2+生成无工具调用不触发，n=1 实测确认)+ webClient NO_PROXY + max_tokens 256k。

配套：gd-runtime 去脚枪(Plan A·S2 自定义标量拷实体，治冻屏) + play.cdp seek-food 驱动 + Phase 1b prompt 解耦 + e2e 旋钮(protocol/maxTokens)。

实测 conc=12 gamedef：thinking-off 8/12(67%,E_live 哑火×4) → thinking-on 11/12(91.7%,哑火修 3/4,残留 #7 打地鼠)；代价 ~10x 慢 + 1.6x token。按创始人拍板以 n=12/91.7% 宣告达标(放宽原 plan003 n>=30 门)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-20 11:26:26 -07:00
lili
0cd1496399 feat(saa): U5 openai 格式 M3 路 — thinking:disabled(extraBody)+ openai NO_PROXY 
Plan A U5「切 OpenAI 格式」(创始人 2026-06-19):
- model(): MiniMax 系经 OpenAiChatOptions.extraBody 注入 thinking:{type:disabled} 关推理(治 chat.completions 内联 <think> 污染;探活实证 reasoning:effort:none 不被网关认、唯 thinking:disabled 有效);仅 model 名含 minimax 注入,deepseek 字节零变
- openAiApiNoProxy(): openai 路同 anthropic 旁路系统代理(macOS clash 把 Tailscale IP 走代理→502);dispatcher openai 分支改用之

实测(openai+M3+thinking off,K=10/diverse-10):0 超时/0 <think>残留/0 502 = 路干净;成功率 1/10(10%)。
三臂对照(同 diverse-10/K=10):deepseek(anthropic) 30% > M3(anthropic+thinking,超时假象) 10% = M3(openai+thinking off,干净) 10% → M3 在 gamedef 生成上真逊 deepseek,非协议/超时假象。失败主因 llm_error(无有效 bundle)+ 到门者 F_wiring/G_input/E_live/H_progress(driver/引擎接线)——两模型同款,杠杆在 pipeline/接线非换模型。
不碰 gd-runtime/build-from-source(Plan B 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 11:47:46 -07:00
lili
1cd199cb3c feat(saa): U5 M3-only override(bake-off)+ 10 品类多样验证集 
Plan A U5「只用 M3」(创始人 2026-06-19；deepseek 留作最终模型对照):
- SaaStudioGraph.Models.allSame(model): 全 11 角色统一模型工厂(bake-off 用)
- SaaGraphDispatcher: saaForceModel 非空→Models.allSame(全角色统一、无跨家回退)+ 单模型路日志;空→stage1 默认(deepseek 主力,字节零变)
- AigcExecutorProperties.saaForceModel(默认空=字节零变)
- SaaFullGraphE2eTest: -Dsaa.e2e.model flag(全角色统一模型)+ [config] 打印
- saa-e2e-briefs-diverse10.txt: 10 个不同玩法品类(覆盖 U4 全 8 driver 家族 a-h),优于按行序前 10(仅 4 品类聚集)

验证:编译绿(test-compile exit 0)。默认 saaForceModel 空→stage1(deepseek)字节零变,仅 dispatcher=saa 生效。
实测对照(K=10/diverse-10/anthropic):deepseek 主力基线 3/10(30%,主因生成 llm_error,到门者败于 F_wiring/G_input/E_live/H_progress);M3-only 基线量测中。
不碰 gd-runtime/build-from-source(Plan B 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 10:22:45 -07:00
lili
b3f2fe8e85 feat(saa-e2e): U5 量测前置 — e2e 接线 anthropic 协议 + 可配端口基址(默认字节零变) 
U5 收敛环前置(量测面 additive，默认全字节零变):
- -Dsaa.e2e.protocol(默认 openai)→ props.setSaaModelProtocol：补 U1 量测面孪生(P1-6)。旧版无此接线 → 会量 openai 默认路而非 anthropic = 违 R1「量==发、在用协议=anthropic」。
- -Dsaa.e2e.playPortBase/cdpPortBase(默认 4320/9222)→ props.setSaa{Play,Cdp}PortBase：与本机 superpowers-chrome(持 9222)等进程共存防撞(量测可 cdpPortBase=9322；serve-and-play 净场只杀本槽端口、不误杀他者)。
- [config] 打印增 protocol/playPortBase/cdpPortBase。

验证：pilot 实跑 [config] 行确认三 flag 生效(sourceMode=gamedef, protocol=anthropic, playPortBase=4320, cdpPortBase=9322)；编译绿。默认 openai/4320/9222 = 现行字节零变。
注：同次 pilot 揭网关 deepseek 全系(flash/pro/chat/v3)在 svip 组无渠道(全 503 model_not_found)阻塞生成，唯 MiniMax M3/M2.7 可用——属网关侧、待创始人裁；本提交仅 harness 接线，与模型可用性正交。
不碰 gd-runtime/build-from-source(Plan B 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 09:33:57 -07:00
lili
12abfbac4a feat(saa): U3 gamedef 量测路 + 有界并发池 harness(默认 K=1 字节零变) 
003-U1 U3「量对路 + 有界并发(量测用)」:
- AigcExecutorProperties: saaConcurrency(默认 1)/saaPlayPortBase(4320)/saaCdpPortBase(9222) — 默认全为生产字节零变值
- SaaGraphDispatcher: newSingleThreadExecutor→newFixedThreadPool(K) + Semaphore(1)→Semaphore(K) + K 个错开端口槽池(第 i 槽 playPort=base+2i/cdpPort=base+i);runGraphAndCallback 起手 take 槽 + acquire 许可、整 job 持槽、finally 必归还防泄漏;端口覆盖放 runGraphAndCallback(保 buildInputs 签名不变,反射测兼容);构造期 null-properties 兜底(K=1+默认端口,修 TraceTest NPE);allocPortSlots/normalizeConcurrency 抽为可单测纯函数 + 共享面审计结论入注释
- SaaFullGraphE2eTest: 加 -Dsaa.e2e.sourceMode(默认 factory,量 gamedef 须显式设=修发现②量错路) + -Dsaa.e2e.concurrency(默认 1)
- 新增 saa-e2e-briefs-gamedef.txt(34 条多品类≥30) + saa-e2e-briefs-holdout.txt(12 条留出集,与调优集及内置 ALL_BRIEFS 零重叠)

量对路(发现②修复):旧 e2e 只 setDispatcher("saa") 未 setSaaSourceMode → props 默认 factory(iife),量的是旧路;现 setSaaSourceMode(sourceMode),量 gamedef 真基线须 -Dsaa.e2e.sourceMode=gamedef。
K=1 字节零变:newFixedThreadPool(1)≡单线程串行 + Semaphore(1) + 仅槽 0=[4320,9222],与改造前逐字一致。共享面审计(只读 serve-and-play.sh,脚本未改):K>1 下端口为唯一真冲突点,净场 lsof|kill 只杀本槽端口、static-serve 只读共享根、evidence 按 gameId 隔离 → 跨 job 安全。
并发口径(plan 2026-06-19 创始人指令对齐):K 是量测用「真玩并发」上限,受 Mac 实时九门帧预算硬限(C_frame/E_live,~3-4),非 M3 API 限;生成端(网络限)的宽并发(gen≫play 时)留 U5 量 gen:play 占比后按需解耦,不在本单元。
验证:编译绿;GateLogic+TraceTest+NodesRegression+PickAnswer 指定集独立复跑 exit 0、零失败标记;agent -am 全 SAA 包 101/0/0/3skip。真跑 K 路校准(verdict 对等+结构隔离)延 U5 执行期。
默认 K=1/sourceMode=factory 现行字节零变;不碰 gd-runtime/build-from-source(Plan B 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 08:48:53 -07:00
lili
08aa0c13d0 feat(saa-prompt): U4 DESIGN_SYSTEM 8/8 driver 决策树 + gatespec 约定 
003-U1 杠杆③(上下文)+②(门约定):
- DESIGN_SYSTEM 规则③补齐至 8/8 driver(对齐 play.cdp.cjs:206-214):补 tap-pairs/key-cycle/drag-aiming/aim-fire(各含何时选/worked-example/反例/命门),旧 none 重标 (i)
- 命门:障碍/目标跟踪类须显式产命名实体(nextGap/nextPlatform/ship.angle)+ 消除类 tap-pairs 得分落 score;drag-aiming 抛射 launch 常数 gd 路难导出→诚实标「优先 iife 源」
- GAMEDEF_SYSTEM 同步 driver 命名/进展约定;门约定:消除类 tap-pairs+score 过 H、I_control 按 control-scheme 分型(不改门本体)

验证:编译 BUILD SUCCESS;回归 49/0(SaaStudioNodesRegressionTest 14〔原8+新6 gatespec 保真:8 driver verbatim+逐 driver 字段+ballPath 归一隔离〕+ topology 30 + pickAnswer 5)。
只动 SaaPrompts 常量 + 测试;不碰 gd-runtime/build-from-source/.agents。

跨 Plan 遗留(转交 6c6g/Plan B):drag-aiming gamedef 路需 gd-runtime entityView 增 launch{gravity,powerScale} 投影通道才能解析瞄准;aim-fire 双路 targetsPath 命名分叉(iife asteroids / gamedef targets)已分别教对;真效(driver 选对率)留 U5 量。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 08:26:41 -07:00
lili
766749d3c1 feat(saa): U2 连续对话救场(text 历史)+ P1-1 交替修 — 简化自 thinking 保留 
003-U1 U-B(创始人 2026-06-19 定:简化为 text 历史):
- 历史保留:anthropic 路把上一版【答案文本块】跨轮入历史(K_MSG_HISTORY_GAMEDEF/FACTORY 隔离;ReplaceStrategy+节点内 read-append-write),连续对话救场=模型看上一版答案+失败 verdict 增量修(SaaPrompts.historyRepairUser 去"重出完整模块")
- P1-2(对抗验证反编译证):stock spring-ai-anthropic 1.1.2 出站 buildMessages 丢 thinking 块→内存留 thinking 一下发即拍平成 text→"interleaved 保留"不可达;故 appendHistory 滤 thinking 块(isThinkingMsg=metadata 含 signature)只留答案,简化 boundHistory(最近 K=3 轮 text)。真 interleaved 留 plan T-FUTURE-1
- P1-1(对抗验证证会 HTTP 400 硬崩):失败轮 append 悬空 user→连续 user→Anthropic 拒。双保险修:失败轮整轮不入历史 + assembleConversation 末条 user 去尾
- openai 路 historyEnabled=false 字节零变(useHistory=historyEnabled&&!regeneratePath;builder/SYSTEM 一字未动)

验证:serde/fidelity/失败路 6/0(含 FlakyChatModel 失败路回归门 assertStrictAlternation)、回归 45/0、全 saa 包 92/0/6、烟测 1/0;真网关多轮交替 wire 验证证 P1-1 修有效(system+user+assistant+user 无 400)。
不碰 gd-runtime/build-from-source/.agents(Plan B/6c6g 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 08:16:07 -07:00
lili
19f666cd5d feat(saa): U1 用对 M3 — Anthropic 协议 client(flag 旁挂)+ 多 Gen 取答案 + per-role thinking budget 
003-U1「用对 agentic M3」:
- AigcExecutorProperties: saaModelProtocol(默认 openai)/saaAnthropicBase(host 根)/saaThinkingBudget
- SaaStudioGraph: RoleModelFactory + anthropicModel(host 根 baseUrl·x-api-key·Proxy.NO_PROXY·per-role budget=min(全局,maxTokens-1024)≥1024 才开 thinking) + openAiFactory(逐字等价旧路) + factory-based build 重载
- SaaGraphDispatcher: ensureGraph 按 saaModelProtocol flag 选 openai/anthropic 工厂(openai 默认路调用不变)
- SaaStudioNodes: pickAnswerText 遍历 getResults 取「无 signature 末块」为答案(单 Gen=旧路字节等价),替 callAndRecord/judgeVision 的 getResult().getText()

实测定死(spike + 创始人 2026-06-19 网关治本):x-api-key→M3 原生 thinking 分离 block(getResults size=2,thinking 带 signature);Bearer / 带 /anthropic 前缀 = 坑。
验证全绿:编译;烟测 size2 取对答案;P0-2 专项(全 11 角色 assemble 不崩,SaaAnthropicAssembleTest 2/0/0);回归 43/0/0(openai 字节零变);依赖树 spring-ai-anthropic 1.1.2 无漂移/无 autoconfigure。
flag 默认 openai 现行字节零变;不碰 gd-runtime/build-from-source(Plan B 域)。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 06:18:55 -07:00
lili
079778fc03 feat(saa-prompt): DESIGN_SYSTEM 补 flap-to-gap/seek-x driver——闭合 driver 词汇缺口上半(cause#2) 
规则③ 由 (a)paddle/(b)tap-targets/(c)none 扩为含 (c)flap-to-gap(Flappy:bird.y/bird.vy/nextGap.y)
+(d)seek-x(Doodle:bird.x/nextPlatform.x);键到 gd-runtime 现有按实体 id 投影(无需改引擎),要求代码
agent 把控制体+下一障碍建成命名实体(bird/nextGap/nextPlatform)每帧更新。

实证(deepseek flappy/doodle/runner):driver 选型已修——模型现正确产 flap-to-gap/seek-x(此前 wrong/none)。
cause#2 下半未闭:便宜模型不稳产 nextGap/nextPlatform 障碍跟踪实体(doodle 经 repair 产出、flappy/runner 仍缺)
→driver 半接→仍挂;属生成能力(障碍实体生成)+ repair 反馈须点名缺失实体,留 6c6g/003-U1(余 4 driver
tap-pairs/key-cycle/drag-aiming/aim-fire 同法,契约见 play.cdp.cjs)。SaaPrompts 经 mvn BUILD SUCCESS。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 03:04:23 -07:00
lili
d5d3d09b0f fix(gen-qc): cutover 早读三修——并发化 + assert 进展过滤 + M3 thinking 关闭/宽松解析 
1) 并发化(gamedef_quickcheck): ThreadPoolExecutor 跨局并行,每局独立 port/cdpPort(4400+i/9300+i)
   + flush 日志;局内 repair 链恒串行→聚合过门率与串行等价。
2) assert 进展过滤(SaaPrompts.extractGatespec 产线 + quickcheck 镜像): 有进展断言时只留进展断言
   (increased/decreased/changed/比较),丢终局态断言(phase/result==gameover/win、误编码 score=="gameover")
   ——bot 限时常到不了终局但 score 已涨=真有进展(tictactoe 0→9/saolei 0→12 假阴修正);无进展断言则全留
   (规避类 result==win 为唯一信号)。终局完成度另由 expectLatch 把关。
3) M3 协议修(_client._extra_body + extract_json_obj): MiniMax-M3 OpenAI 端点默认 thinking=adaptive、
   <think> 内联进 content→复杂局飙 token→max_tokens 截断丢 JSON(假"parse 失败")。官方关法 thinking=
   {type:disabled}(按 model gate MiniMax);严格 json.loads 失败回退 json_repair(镜像后端 looseParse)+
   <think> 剥离兜底。

实证: M3 parse 6/13→2/13、过门 2→3/13,与 deepseek(4/13)同档=M3 不弱(旧 2/13 系截断伪象)。
SaaPrompts 经 mvn 反应堆 BUILD SUCCESS;Python 经 py_compile+单测+真跑。快走查口径;权威 cutover≥60% 在 mini-desktop。
产线 follow-up(6c6g): Java M3 fallback 路同款 thinking 截断潜伏 bug,须补 thinking:disabled。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-19 03:04:23 -07:00
lili
730b399dd6 test(saa): 003-U1 验收门工具化——SaaFullGraphE2eTest n≥10 + minSuccessRate 硬门 + token 成本会计 
把 SaaFullGraphE2eTest 从「内置 5 条 / 只断≥1 跑通」改造成可作 flip 前置硬门的客观量测工具
（plan 2026-06-18-003 / 003-U1；该路代码 001-U1~U4 已在 dev/2.0.0 落地，本单元只工具化验收门）：

- brief：内置扩 5→12 条多品类（偏 realtime/physics/tap-targets/clickable）+ -Dsaa.e2e.briefFile
  外部文件（行式，去空白/跳空行/跳 # 注释，解析空则回退内置）；-Dsaa.e2e.n 取前 K（未设=全量）。
- 成功率门：-Dsaa.e2e.minSuccessRate 可配硬断言；默认不设=仅存在性（保 003-U1「先实测真基线再收敛」、
  不破普通构建），显式 0.8 即 flip（003-U2）前置硬门。
- 成本会计：从回调 trace best-effort 抽 prompt+completion token + 升 stage2 计数作成本证据；
  -Dsaa.e2e.maxTokensPerGame 仅软警告不硬阻断（遵创始人「质量优先、允许临时破价、记账对账」）。
  ¥折算 blocked on F3（SaaGraphDispatcher cost 整段省略，§6.3）→ 不造假¥。
- 纯逻辑抽 8 静态方法 + 新增模型无关单测 SaaFullGraphE2eGateLogicTest（覆盖 happy+边界）。

验证：mvn test-compile 全 reactor BUILD SUCCESS；SaaFullGraphE2eGateLogicTest 12/12 过；
e2e 无 -Dsaa.e2e=1 仍 Skipped（门控完好）。质量收敛到≥80% 须 mini-desktop 权威量测（blocked，非本单元）。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-18 16:30:43 -07:00
lili
046c061d60 feat(aigc): U7 R-TPL 品类玩法模板注册(经营模拟/剧情互动/解谜闯关/TRPG/非遗科普·constants-only·克隆generic代码生成契约) 
注册 5 品类玩法模板（business-sim/narrative/puzzle/trpg/heritage），替代单一 generic 状态：
- 3 处代码同源点：AigcTemplateConstants.SUPPORTED_TEMPLATE_IDS 加 5 ID（保留 generic）；
  PromptResourceLoader.TEMPLATE_RESOURCES 加 5 行（pom 通配自动复制资源，零 pom 改动）；
  AigcTaskServiceImpl.getTemplateList() 回填 5 TemplateRespVO（中文品类名/说明/示例 Prompt/封面占位）。
- 10 契约文件：每品类 1 prompt（克隆 generic-coder.md frontmatter 形态 + 品类引导正文，范式=agent 写
  GameHostFactory 源码而非填 GameConfig）+ 1 schema（克隆 generic.schema.json 的 bundle 校验结构，
  校验 bundleText/hasGlobalName/bundleRawBytes，draft 2020-12，非旧 config-fill）。
- GameConfigSchemaValidator 无需改（经 getAllTemplateSchemaTexts 自动消费 5 新 schema）。
- 不触 SAA/executor/dispatcher/graph 代码（plan001 领域），仅动模板注册面。
- 测试：PromptResourceLoaderTest 9 / GameConfigSchemaValidatorTest 11 / AigcTaskServiceImplTest 11 全绿；
  启动自检 PromptResourceLoader ready + 校验器编译就绪含 5 新模板。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-18 11:45:39 -07:00
lili
240a18fc33 feat(trade-api/aigc-api/project-api): U5 看板只读count方法(additive) 
为 U5 经营看板补三个跨模块只读数据源 seam（均 additive，删除后各模块既有单测仍绿）：
- trade-api：新增 TradeApi Feign 接口 + TradeRevenueReportDTO + trade-server TradeApiImpl
  （@RestController @Primary 委托既有 IncomeService.sumGross/sumNet + WithdrawService.sumPaidAmount，
   口径同 /admin-api/trade/report/revenue）→ 看板 GMV。
- aigc-api：AigcApi 加 countSucceededTasks(start,end)（impl 委托新增 AigcTaskMapper.countSucceededBetween：
  status=succeeded 且 finish_time 落区间，零 DDL）→ 看板生成量。仅 additive：不动 SAA/executor/生成代码。
- project-api：ProjectApi 加 countPublished(start,end)（→ ProjectService.countPublished → 新增
  ProjectMapper.countPublishedBetween：status=PUBLISHED 且 update_time 落区间，零 DDL）→ 看板发布量。
  时间维度为 update_time 近似（项目表无独立 publish_time 列，已注释说明）。

跨模块只读，无任何写；自然日端点在各 impl 展开为全天 LocalDateTime 区间。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-18 11:05:56 -07:00
lili
6a9bd4d349 fix(saa): 6c6g 评审整改——P1 K_STATUS 清零 + P2 stage2 fallback 注释 
P1(真修):renderNode 起手 out.put(K_STATUS,"") 清 stale 状态——checkpoint/saver 跨 run 复用 state 时,
  上轮 giveup 写的 K_STATUS="failed" 会残留,下次 modify 进来 modifyRouter 首检 K_STATUS 误判失败、
  把 gamedef 确定性点改错误路由到 END。
P2(语义·仅注释):generateNode fallback 处加注,说明 stage2 升档后回退档仍取廉价档(MiniMax-M3)是
  「可用性优先于本次升档边际质量」的有意取舍(强档超时也要出包),非疏漏。

验证:mvn -Dtest=SaaStudioGraphTopologyTest,SaaStudioNodesRegressionTest → Topology 30/30 + Regression 8/8 全绿。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-18 09:20:49 -07:00
lili
80aaa116ab feat(game-runtime): clickable 声明式点击基元(harness 探针证 9/9)+ tap-targets prompt 迭代——治便宜模型 tap-handler 顽疾 
plan 2026-06-18-001 U3 迭代3-4轮(据快走查根因)。

根因(全budget+stage2 都不解,3轮prompt不解):便宜/强模型均**顽固把 tap 命中门控在分离 state 实体/计时器/turn 上**
  → 盲点驱动点不中 → tap-targets 类系统性 E_live/F_wiring/G_input/H 挂。即「让模型写 tap-handler」这条路便宜模型走不通。

引擎线根治(gd-runtime.js):新增 **clickable 声明式基元** `{kind:'clickable',score?,mark?:{shape,color,r},hitW?,hitH?}`——
  运行时内置:本帧点中带此组件且 !occupied 的实体 → 自动翻 occupied+spawn 标记(可见)+计分+fx。**离散点击类声明它即可、免写 handler**。
  验证:gd-runtime 单测 16(含 clickable 派发) + 全套 60/60;**手写纯声明式(behaviors:[])clickable tap-targets gamedef 过 harness 9/9**(E_live distinct=8/F_wiring/G_input/H 全过)——证基元+管线正确。
GAMEDEF_SYSTEM:教 clickable(替「写 tap-handler」)+ 参照2 改纯声明式 clickable few-shot(经探针证 9/9)。
runtime-api-2d.md:补 clickable 组件文档。

**关键测量定论(终结本机迭代)**:便宜模型 tap-targets 单管线生成**高方差**(同 brief 一轮 8/9 一轮 5/9)——
  N=1~2 小样 lili-mac 早读**信噪比不足**,无法可靠优化「模型产出过门率」(我前几轮在追噪声)。
  **管线/运行时/约定已证正确(手写金样两品类均 9/9)+ 引擎补了 clickable 基元**;**模型产出 cutover 率是统计量**,
  需大样+全 repair 预算 → **authoritative=mini-desktop SaaFullGraphE2eTest -Dsaa.e2e=1**(多 brief+5+3 repair+stage2)。
快走查工具:加 stage2 救场升档(QC_STAGE*)+ gamedef assert 字段 coerce 到 score(治 design 造 moves/totalRound 等取证读不到字段)。

设计决策待 6c6g:design↔gamedef 的 assertAfterPlay 字段词汇契约(design 应约束到 gamedef 暴露集 score/remaining,
  或运行时暴露更多)——触共享 DESIGN_SYSTEM。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-18 06:13:18 -07:00
lili
c24b7fb4d2 fix(saa): GAMEDEF_SYSTEM 加 tap-targets few-shot(harness 探针证 9/9 正确)+ 快走查 repair 可配 
plan 2026-06-18-001 U3 迭代2轮:据 cutover 早读「tap-targets 类系统性 5/9(E_live/F_wiring)」根因诊断+整改。

根因决断(harness 受控探针,无 LLM):把**手写 known-correct tap-targets gameDefinition**直接过全 harness
  → **9/9 真过**(E_live distinct=8/8、F_wiring 12 引擎调用)。**故运行时+装配器+tap-targets driver+约定全正确**;
  whack/tictactoe 失败 = **便宜模型生成质量**(tap-handling 写错:点击未判中→无 spawn/fx/计分→画面恒定),非基建/集成 bug。

GAMEDEF_SYSTEM 加 tap-targets few-shot(SaaPrompts.java):tile 网格每格 tags:["target"]+idx+occupied,
  justTapped→pointer overlap 判中→occupied 翻+spawn 标记(可见)+addScore+fx;win=score>=N。
  few-shot 本身经探针证 9/9 正确(教对 idiom);实测使模型确给 target 打标(gd-whack 9/10 tagged)。
  残留 tap-handling 精度=R3 便宜模型质量,靠 **repair 回环(真图 5+3 轮,本机只跑 3)+ stage2 升档(强档)** 解。

快走查:MAX_RETRIES 改 QC_MAX_RETRIES 环境可配(真图 maxRepairs=5,本机早读取 3 平衡时延)。

结论:**gamedef 路两大品类(realtime/physics + tap-targets)路径均证正确**;首攻便宜模型质量随品类波动,
  cutover 率 = repair 预算 + 模型档 的函数(二者在 mini-desktop 全图满配)。≥60% authoritative=mini-desktop。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-18 02:42:41 -07:00
lili
da4801828d fix(saa): GAMEDEF_SYSTEM driver 对齐加固 + 快走查升级全图镜像(design+gamedef)——据 U3 早读根因 
plan 2026-06-18-001 U3 迭代1轮:据 lili-mac gamedef 快走查根因诊断,加固 GAMEDEF_SYSTEM 与九门 driver 的对齐。

快走查根因(design+gamedef 全图镜像, deepseek-v4-flash 单发无 repair):
- 路径端到端真成立:声明式 gameDefinition→装配→构建→真九门;pong 9/9(无 design 简版)、breakout 8/9。
- 单发首攻失败模式根因:① I_control——挡板命名变体(paddlePlayer≠gatespec 的 paddle)/ 只接键盘不接指针(driver 靠点指针位驱动)
  / 控制体 clamp 范围窄于 driver 边缘 tapX(340)；② H_progress——设计稿 assertAfterPlay 引用取证读不到的自定义字段(totalRound)。

GAMEDEF_SYSTEM 加固(SaaPrompts.java,gamedef 路专属,不动现 SYSTEM):
- 命名逐字对齐 gatespec(挡板=paddle、球=ball,别用变体——读到 undefined=挂)。
- 可控体必须响应指针(`if(rt.input.pointer.down) paddle.x=rt.input.pointer.x`——driver 靠点指针位驱动,只接键盘=I_control 挂)。
- 进展落在可取证字段(score/remaining/实体位置;assertAfterPlay 别用读不到的自定义字段)。
验证:再跑 breakout 模型确按指令接指针控制(`if(pointer.down) paddle.x 追 pointer`)+ I_control tapX:50 已过;
  残留 tapX:340 未过=首攻 clamp 范围精度,属**repair 回环**(已建:验收失败→verdict 回喂→重生成)territory。

快走查工具升级(gamedef_quickcheck.py):加 design 步(抽 DESIGN_SYSTEM+复刻 extractGatespec)→ 全图镜像
  (classify 略/design→gamedef→装配→九门),getter truer 早读;prompt 抽自 SaaPrompts.java drift-free。

定位:单发快走查=首攻质量早读(非 cutover 门)。**≥60% cutover 门=全图含 repair 回环, authoritative=mini-desktop
  SaaFullGraphE2eTest -Dsaa.e2e=1**(单发 0/6≠失败:repair 回环抬升率,本机不跑 repap 多轮)。密钥经 _client 读 .env 不入码。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-18 00:58:01 -07:00
lili
fd5b245baa feat(saa): U2 接缝 + U3 真产 gameDefinition + U4 多模型回退（gamedef 路 additive 灰度） 
plan 2026-06-18-001 U2(后端接缝)/U3/U4 · 后端线 · 真结构化生成上产线（saaSourceMode=gamedef，默认 factory 字节不变）。

U3 真产 gameDefinition：
- SaaPrompts 新增 GAMEDEF_SYSTEM（与现 SYSTEM 物理隔离，公平性铁律）+ buildGameDefMessages；内容=runtime-api-2d.md
  约定提炼（schema/rt 面/命名约定/硬约束）+ 内联 scan-clean few-shot；硬约束由 build-from-source 静态扫描兜底。
- SaaStudioNodes.generateNode gamedef 分支：产结构化 gameDefinition（looseParse 脏 JSON 容错）落 K_SOURCE_PROJECT；
  factory 路（含 regenerate 消费 base 源）字节不变。

U2 后端接缝（gamedef→可玩，scaffold/build/play/harness/build.mjs 全零改）：
- build-from-source.mjs 加 CLI（node build-from-source.mjs <src> <out> / --validate；被 import 不执行）。
- SaaGenNodes.validateNode(gameRuntimeRoot,sourceMode) gamedef 分支：经 build-from-source.mjs 子进程校验+装配
  sourceProject→factorySrc（下游 scaffold/build 零改消费）；CLI 失败回喂 repair。
- 确定性点改解锁：modifyNode(sourceMode) gamedef 路真改源不 fail-loud；modifyRouter(sourceMode) gamedef
  deterministic→validate（装配 patched 源重验）/ factory→fail-loud；assetNode 幂等（已有 assets 跳过，不覆盖点改）。

U4 多模型回退链：generateNode 主模型（含 stage1/stage2）耗尽 180s×3 重试后，回退同 role 跨家档（M_CODE/FIX_FALLBACK
  =MiniMax-M3）再试；接现 callWithTimeoutAndRetry/looseParse/救场阶梯不另起限次。GenModels record 收敛入参。

线程：AigcExecutorProperties.saaSourceMode（默认 factory）→ SaaGraphDispatcher → SaaStudioGraph.build 9 参重载 →
  assemble → generate/validate/modify/modifyRouter；8/7/5 参 build 旧重载 delegate "factory" 不破现调用。
worker prompt.py 不动（gamedef 为 SAA 路专属、http worker 仍 iife，无 shared prompt 漂移=无 split-brain）。

验收（lili-mac 快走查）：mvn test-compile 过（main+test）；模型无关单测 SaaStudioGraphTopologyTest 30/30
（含新增 gamedef deterministic→validate 路由证）+ SaaStudioNodesRegressionTest 8/8，零失败；build-from-source CLI
  实证（--validate exit0/2、assemble 产正确 import 路径工厂）。**gamedef 全链过门率≥60% cutover 门需 NEWAPI_KEY+
  mini-desktop（authoritative，未在本机跑）**。默认 factory 路行为字节不变（灰度 opt-in）。

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
 2026-06-18 00:05:18 -07:00
zizi
bf99662c3f test(aigc): SaaFullGraphE2eTest — SAA 真全图 e2e 首证门控测试(U7) 
U7 集成顶石的门控集成测试(-Dsaa.e2e=1 + NEWAPI_KEY)。构造真 5 参
SaaGraphDispatcher(stub callback 捕获 reqVO+latch,DataSource=null 内存
checkpoint,零 DB),顺序跑 N 条一句话 create job,真 LLM(new-api 五角色)+
真九门 harness(node/esbuild/Chrome,4320/9222 串行)+真 16 节点全图
(render→classify→design→generate→validate→scaffold→asset→build→play→player→nreview→emit/giveup)+真出口回调,测成功率。

首证(2026-06-18,mini-desktop):SAA 真全图 e2e 机制完整跑通、零 prod bug;
成功率 3/5=60%(贪吃蛇/接金币/躲障碍 succeeded,engineBundle≈211KB 含 __GameBundle;
打砖块败 I_control、点击消除败 F_wiring+H_progress,救场阶梯耗尽 giveup 真落盘)。
单款墙钟 3.5-16min(九门真玩循环+最多8救场轮固有,同 Python W-G1)。
→ 成功率 60% < 80% 转正门:cutover 未切(现 worker 主链保持默认,零回归)。
gap=难门生成质量(prompt 接地/gatespec/救场调优),W-G1 生成域调优单元。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-18 00:40:14 +00:00
zizi
679afa1c65 feat(aigc): U5 giveup 真落盘 + U6 modify regenerate 取base源真消费(B4/B7) 
6c6g 后端 Tier0 计划 U5+U6(docs/plans/2026-06-17-001-...)。
- U5 giveupNode 真落盘:gameRuntimeRoot 句柄 + attempts/verdict/escalationEvents 整包写盘 giveup-dump.json + K_GIVEUP_DUMP_PATH 回填真路径;
  best-effort 落盘失败仍正确 failed 终态;多级升档 stage3+ follow-up
- U6 modify 不被卡部分:
  · base 源 dispatcher 据 baseVersionId(V19 持久化)反查 SourceProjectApi.fetchByVersionId→K_SOURCE_PROJECT(零新增列/不搬大 blob)
  · regenerate-module 缺 target fail-loud(防静默全量重生成)+ 真消费 base 源(buildRegenerateMessages 注 base 源 JSON+目标 behavior 聚焦,system 不变;create/repair 普通路零变)
  · deterministic guard-pending-E2 一字未动;严格 per-behavior splice-back 依赖结构化源=follow-up(诚实标注)
- -api:SourceProjectApi.fetchByVersionId + DTO
- 测试:aigc 46+studio 44=90 绿(+17 新);codex 评审 NO-MERGE→2 P0(缺target/伪收窄)全修后绿

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 23:02:10 +00:00
zizi
069ae73e97 feat(aigc/worker): U3 trace 扩展键 + U4 缓存命中落账(B5/B9) 
6c6g 后端 Tier0 计划 U3+U4(docs/plans/2026-06-17-001-...)。execution §5.8 trace+cost 落值。
- U3 extractTraceQuietly(Java)+ _extract_trace(worker)additive 抽 modelTier/escalationEvents/giveupDumpPath;
  仅真升档态(stage2/escalationEvents 非空)落 modelTier + 形态校验(非空 str/非空 list)→ 字节兼容(无扩展键键集与扩前一致)、Java/Python 两路同口径
- U4 cost.py 缓存命中折¥:两套字段取 max(DeepSeek prompt_cache_hit_tokens / MiniMax prompt_tokens_details.cached_tokens)
  + cache_ratio 折真实 quota;worker usage 捕获(_safe_int 兜脏不抛);pricing 不可达 tokens-only+costFallback 标记;不阻断仅观测
- 诚实边界:SAA Java 路无 cache 字段源→省略不伪造(follow-up);AgentScope 丢 DeepSeek 顶层字段(待真跑对账);worker 生产路完整落账

验证:mini-desktop Java 12+(SaaGraphDispatcherTraceTest)+ Python 73(test_cost 56/wg1_groupb 17)全绿;
codex 评审 NO-MERGE→2 P0(字节兼容/usage 阻断)+2 P1(pricing 口径/两路一致)全修后绿。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 22:26:27 +00:00
zizi
d57032a6d3 feat(studio): U2 源项目落库事务(B8)+ V19/V20 数据完整性 
6c6g 后端 Tier0 计划 U2(docs/plans/2026-06-17-001-...)。execution §5.2 源项目工件落库 + status 机器态串联。
- GameSourceProjectDO/Mapper/SourceProjectService(studio,§12-①)+ SourceProjectApi seam(land/markBuilt/markOrphanById)
- 落库挂回调外层 DifyCallbackServiceImpl(非内层 tx)——守 §5.2「源落库与建包非同一大事务」
  (land 建包前独立 commit/markBuilt 成功后/markOrphan 失败补偿)
- status 0 草稿→1 已构建(回填 version_id)/2 孤儿(不建包不动 currentVersion);
  DifyCallbackReqVO additive sourceProject;dispatcher 从图终态抽 K_SOURCE_PROJECT
- 数据完整性(codex 评审 2 P0+2 P1 全收口):
  · P0 终态任务重复回调跳过 land(防版本血缘污染)· P0 去重按 game_id+source_hash + markBuilt 校 gameId(防跨游戏复用)
  · P1 markBuilt 与 notify 解耦(notify 失败不停 status=0)· P1 markOrphanById 精确标 + V20 唯一键 uk_game_source_hash(并发兜底)
  · post-commit best-effort 包兜底 try(防挂点失败反触写链补偿误置 failed)
- 诚实边界:现图只产最小骨架源(gameDefinition 待生成 agent 真填,跨单元),终态有什么落什么不伪造

验证:mini-desktop 编译绿 + 33 单测全绿(DifyCallback 19/SourceProject 14,含跨游戏/gameId校验/终态重复/notify解耦/markOrphanById);
V19+V20 SQL 结构绿(Flyway-apply 留部署验);codex NO-MERGE→2 P0+2 P1 全修后绿。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 21:46:38 +00:00
zizi
d64dcc9080 feat(studio): U1 studio 生命周期编排 create/modify/extend(B6) + V19 modify 持久化 
6c6g 后端 Tier0 计划 U1(docs/plans/2026-06-17-001-...)。生成主线 modify/extend 生产可达。
- /studio/{create,modify,extend} + 5 VO(对齐 studio.yaml)+ StudioServiceImpl 三方法
  (create=draft+generate 复用;modify/extend 经扩展 aigc seam 委托;mode×target 锁定映射校验;白名单+归属门)
- aigc seam:AigcGenerateReqDTO/VO/AigcTaskDO additive 扩 modify 四件套;AigcGenerateExecutor.putModifyFieldsIntoJob
  接进 §6.1 job(键名对齐 buildInputs);project seam getVersionOwnerUserId/getVersionGameId(归属边界)
- V19.0.0__aigc_task_add_modify.sql:game_aigc_task 加 modify_mode/base_version_id/modify_patch +
  AigcTaskDO @TableField 持久化映射 → modify 四件套跨异步 tick 真抵达 buildInputs(化解执行器从 DB 重建无内存续传)
- 错误码 1-112-003-*;additive(存量 modify_mode='' 即现行 create 分流,零破坏)

验证:mini-desktop 编译绿 + 54 单测全绿(Studio 27/Executor 22/Project 5);V19 SQL 结构绿(Flyway-apply 留部署验);
codex 评审 MERGE-WITH-FIXES(0 P0;P2 注释已修)。follow-up(codex P1,计划已 deferred):
  idempotency 去重(契约缺省=不去重,present-dedup 待幂等基建)、taskChain.baseVersionId 轮询回显(即时已回显,轮询待小补)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 20:39:05 +00:00
zizi
04f3bfeeb6 fix(aigc): B2 codex 评审整改——救场阶梯连贯/escalate真切档/modify guard/RFC6901 
codex NO-MERGE→整改:
- P0-1 validate/build/play 硬失败统一 bumpFailCount(救场阶梯 5/8 对各门生效,非仅 play+recursionLimit 兜底)
- P0-2 nreviewRouter 补 escalate 分支(narrative 同 5+3 阶梯,§5.9)
- P1-5 stage2 强档 deepseek-v4-pro(对齐 models.yaml)+ generate 按 modelTier 二维选档(升档真生效)
- P1-6 applyDeterministicPatch 改 RFC6901 JsonPointer(支持数组下标/追加,越界不损坏源)
- P2-8 classify 失败错因记 trace(非 feedback,免污染 generate 修复上下文)
- P0-3 dispatcher 透传 modifyMode/modifyPatch/baseVersionId/sourceProject + 非法 modifyMode fail-loud(禁静默走 create;job 侧填充待 B6)
- P0-4 modify deterministic guard fail-loud(failureReason=源构建管线待 B7+引擎E2;router fail→END,不静默接忽略 sourceProject 的旧 build)
- P1-7 asset 产侧 merge 真(sp.set assets;消费侧 build→GamePackage 待引擎线 E2/E3)
+5 拓扑测试(共 19 @Test 非门控);create-metric 全链连贯;§1.4 硬约束未碰。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 18:08:08 +00:00
zizi
706d014869 feat(aigc): B2 SAA 固定架构图拓扑扩展——+5 节点(classify/asset/modify/escalate/nreview)+ 救场阶梯 
execution §6 拓扑落地(opus 实现 + 框架 API 对真 1.1.2.2 jar javap 核验)。11→16 节点,布线唯一源 assemble,无孤儿。
- 5 新节点:classify(真LLM物理优先→archetype/profile三维+§6.4映射表)、asset(六类规格v0+产消打通)、
  modify(deterministic改源/regenerate-module路由)、escalate(stage1→stage2+escalationEvents)、nreview(真LLM叙事审查+needsRepair计failCount)
- 布线:render→classify/modify、classify→design、scaffold→asset→build、play→player/nreview/repair/escalate/giveup、nreview→emit/repair/giveup、modify→build/generate、escalate→generate
- recursionLimitFor(maxRepairs,stage2Extra)=(m+s+1)*10+30,默认(5,3)=120;救场 5失败escalate→8失败giveup
- ALL_KEYS 字面量提升为 K_* 常量(单一源);新 SaaArchetypes §6.4 映射表契约;classify/narrative system prompt;saaStage2ExtraRepairs=3 旋钮
- 新 SaaStudioGraphTopologyTest(非门控:哑API build全图证无孤儿+Mermaid 16节点+recursionLimit+路由单测)
- 初始逻辑标 TODO(B4 救场真切stage2模型/giveup真dump/validate-build计failCount)、TODO(B7 modify深层指针/按id定位)
- additive:create-metric全链不破;§1.4硬约束(GamePackage/宿主/回调/九门harness)全未碰

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 17:33:15 +00:00
zizi
0f380a516b feat(contracts): 冻结 SAA state key 全表(ALL_KEYS +14)+ trace 扩展键 schema(§5.4/§5.8) 
契约冻结门收尾(§7.0 剩 2 项后端内部契约):
- SaaStudioNodes.ALL_KEYS +14 键(archetype/tickModel/inputModel/progressModel/sourceProject/
  assetSpec/modifyMode/modifyPatch/baseVersionId/failCount/modelTier/escalationEvents/
  giveupDumpPath/narrativeReviewVerdict),全 ReplaceStrategy;先冻命名空间,classify/asset/modify/
  救场 节点 B2 实现写入(additive,存量节点不读零影响)。
- DifyCallbackReqVO.trace(开放 Map)javadoc+@Schema 文档化固定架构扩展键:
  modelTier/escalationEvents/cacheHit/giveupDumpPath/cost;落值属 B5 impl,trace_json 字节兼容。

验证:本地结构校验绿(14键无重/无撞/引号成对/数组收尾);纯 additive(字符串数组追加+注释级)。
aigc 编译 + V18 Flyway-apply 的整合 mini-desktop 验证随后跑(清验证债)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 16:54:48 +00:00
zizi
7534bdf9b7 feat(create): generic 桥接——一句话创作无需选模板即可生成(入口归一缺省 templateId=generic) 
背景:W-CLEAN 废玩法模板层后 template/list 返空,创作页「开始生成」因 canSubmit 依赖
「必须选中模板」而恒禁用;后端 @NotBlank/同源白名单/派发分支/落包一致性四道硬约束又要求
templateId 必填非空。核心思想=在入口把缺省 templateId 归一为 "generic"(恰好命中
SUPPORTED_TEMPLATE_IDS=[generic] 单一通用口径,品类区分留 prompt 层),四道约束以「恰好
generic」全部一致通过,DB 零改(template_id NOT NULL DEFAULT '' 归一后落 generic)、后端业务零改。

契约层(2):aigc.yaml AigcGenerateReqVO required 去 templateId、project.yaml
  ProjectCreateReqVO required 去 templateId,templateId 描述标注「可选,缺省 generic」。
后端层(归一 generic):
  - AigcGenerateReqVO/ProjectCreateReqVO/StudioDraftCreateReqVO 去 templateId @NotBlank +
    requiredMode REQUIRED→NOT_REQUIRED;
  - AigcTaskServiceImpl.submitGenerate 在 validateTemplateExists 前归一(validateTemplateExists 不改);
  - ProjectServiceImpl.createProject(BeanUtils.toBean 后)归一;
  - StudioServiceImpl.createDraft 原「空 templateId 抛 STUDIO_TEMPLATE_REQUIRED」改为归一 generic;
  - ProjectApi.createProject 的 templateId @Parameter required 放开(契约面一致避免 drift)。
前端 game-studio(去模板门):types.ts 两请求体 templateId 改可选;store/create.ts、api/aigc.ts
  generate 入参改可选;Create.vue canSubmit 去「必须选中模板」条件(prompt 非空即可提交)、
  onSubmit 缺省传 'generic'(空态下也能提交)。
测试校正:StudioServiceImplTest「空模板抛错」→「空模板归一 generic 透传 project」(行为变更)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 04:05:39 +00:00
zizi
3f712499b6 fix(aigc): SAA 图启动期 eager 预热——修早期 boot fast-fail 冷启 race(Round2 §7-2/Round3 doc line 77) 
现象(Round2/Round3 真库实证):dispatcher=saa 实例重启后首 2~3 个 dispatch fast-fail
(llm_error,无 saa-dispatch/图构造日志=图未热/ensureGraph race),第 4 个起稳态。
根因:compiledGraph 原懒构造于"首个 dispatch",首个 dispatch 撞冷启窗口。

修(最小+低风险,选 eager 预热而非首N次重试):新增 @PostConstruct warmUpGraphEagerly,
Bean 装配后主动预构造编译图一次,使首个真实 dispatch 不再撞冷启 race。

eager 安全性(已读真代码核实非推断):SaaStudioGraph.build→assemble 只做
addNode/addConditionalEdges+compile(纯内存布线无 I/O);OpenAiApi.build() 是惰性 HTTP
客户端(构造不发请求);唯一副作用是 checkpoint 开启时 MysqlSaver.build() 跑
CREATE TABLE IF NOT EXISTS(幂等 DDL,本就要在首个 dispatch 跑,提前到启动期无新增风险);
serve 端口 4320/CDP 9222 只在 play 节点运行时触达,构造期完全不碰=预热不占端口、
不起浏览器、不引入启动阻塞副作用。

三重非破坏性护栏:① 仅 dispatcher=saa 才预热(http 路零额外开销、零 DDL,保现行保证不破);
② game-runtime 目录缺失则跳过(留首个 dispatch 报投递失败,不在启动期下结论);
③ best-effort——构造失败一律吞+warn,compiledGraph 留 null → 首个 dispatch 走 ensureGraph
原样重试(行为完全回到修前),绝不让预热失败拖垮应用启动。

验证边界:加 SaaDispatcherWiringTest 两轻断言(http 预热 no-op 图保持 null /
saa 缺目录优雅跳过不抛)+ dispatcherSaa 上下文 hasNotFailed(坐实 @PostConstruct 不破启动);
mini-desktop SaaDispatcherWiringTest 4/0/0 全绿。完整 boot 时序(重启后首 dispatch
不再 fast-fail)未在本轮真机复跑,留 staging 复验。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 02:47:24 +00:00
zizi
5f6cdd0ce3 fix(aigc): F5 修 ReadinessScorer.firstPlay 既存 bug——H_progress 嵌套对象读 .pass(HTTP+SAA 两路 0.5→可达1.0) 
根因(真代码+真 verdict.json 实证):真实 verdict.json 的 guards.H_progress 是嵌套对象
{pass,checks,latch,state0,state1}(见 contracts/agent-loop/verdict.schema.json 与
evidence-3bB-final/*-verdict.json;worker _extract_trace 原样透传 guards,SAA 同源),
非裸 bool。scoreFirstPlay 原 asBool(guards.get("H_progress")) → asBool(Map) 落 String
分支恒 false → firstPlay 永卡中性 0.5、永不 1.0(HTTP+SAA 两路同病)。

修:新增 guardPass(Object) 读真值——H_progress 是 Map 取其 .pass 布尔(真实形态);
保留对裸 bool 的向后兼容(老格式/单测夹具)。修后 hasDriver ∧ H_progress.pass=true
→ firstPlay=1.0。源端(SAA/HTTP)产出字节零变更,只改评分器读取口径。

校正受影响单测真值:SaaGraphDispatcherTraceTest.extract_readinessFivePoints
满状态分 83→95(0.50×1.0+0.25×1.0+0.15×1.0+0.10×0.5=0.95);并改写原把"firstPlay
恒 0.5 quirk"当作有意行为的注释/Javadoc(那是修前对 bug 的合理化),坐实现为已修。
DifyCallbackTxTraceTest 用 mock scorer(返 82/50/12)不受影响;其真实算分用例只断
(0,100]+pass>fail 区间,无精确值,仍绿。

验证(mini-desktop 隔离构建树 a09a03e9+patch):SaaGraphDispatcherTraceTest 7/0/0、
DifyCallbackTxTraceTest 6/0/0 全绿。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 02:46:59 +00:00
zizi
703e462c96 fix(aigc): 闭合 SAA 进程内派发路 trace 接线 split-brain——dispatcher=saa 时落 trace_json/readiness_score 
组B(96081a57)给 game_aigc_task 加了 trace_json/readiness_score 可观测列,HTTP worker 路经
service.py:_extract_trace 抽 trace 落库;但 SAA 进程内路(SaaGraphDispatcher.buildCallbackReqVO)
构造回调 reqVO 时从不 setTrace,故 dispatcher=saa(未来主力)时 trace_json 恒 NULL、组B 的
9d/D11/D9 静默失效。本提交在 buildCallbackReqVO 末尾(return 前)新增 extractTraceQuietly,
从图终态 OverAllState 抽一个与 HTTP 路 _extract_trace 字节兼容的 camelCase trace map 并 setTrace。

实现要点:
- 严格 additive(独立成段紧贴 return,删两行即回到修前;null 不 set 走存量旁路)+ best-effort
  (整段 try-catch,抽不到/解析失败返 null,绝不打断 SAA 生成)+ 复用组B 同一 feature flag
  aigc.trace.enabled,落库由现成 persistTraceQuietly 兜底,零改契约/零改消费侧/零改 HTTP 路。
- 键集严格对齐 HTTP 子集:必填 pass/repairs/wallS/models/attempts/gameId/stage + 可选
  gatespec/sevenGateVerdict{pass,guards}/tokens/player;cost 键 v0 整段省略(SAA 只有 token,
  token≠¥,挂 cost 语义错→efficiency 中性 0.5 非阻断);similarity 永远省略(D9 未接 SAA)。
- attempts snake→camel(stage_fail→stageFail、usage 仅 {in,out}),不含 per-attempt guards/
  sevenGatePass(已核 appendAttempt 三调用点 SAA attempt 从不写,不伪造)。
- models 取 K_TOKENS_BY_MODEL 名键 ∪ attempts[].{role:model} 并集(纯 attempts 缺 player 模型)。
- wallS 唯一来源是 runGraphAndCallback 计时变量 wallMs,透传进 buildCallbackReqVO(签名加参,
  唯一调用点同步加参)。safeFailedCallback(图崩溃兜底路)默认不补 setTrace(state 不可达,F4)。

测试(mini-desktop x86 权威构建机,clean test):
- 新增 SaaGraphDispatcherTraceTest 7 用例全绿(纯单元,桩 OverAllState,不起图/不起DB):
  键集对齐 HTTP 子集、attempts camelCase 无 guards、抽出 map 喂真实 ReadinessScorer.score
  得真值(firstPlay=0.5 评分器既存 quirk + efficiency 中性 0.5 → 总分 83,非过度承诺满分)、
  parse-fail/null-state 返 null 不抛、snake→camel red-line、cost 省略 efficiency 中性不报错。
- aigc-server 模块全量 119 测全绿(Failures:0 Errors:0 Skipped:4),零回归,
  尤其 DifyCallbackTxTraceTest 6/0/0、DifyCallbackServiceImplTest 13/0/0。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-17 01:16:07 +00:00
zizi
0e8e36e517 feat(aigc): Lane A2 后端三项跟进——source 列结构隔离 + failed 路 trace 补测 + stale 注释对齐 
Task1（执行器↔编排器并发结构隔离，原 M-b §16-4 M-c 候选）:
- V17.0.0 加 game_aigc_task.source 列（additive NOT NULL DEFAULT 'online'，接 V16 不抢号，存量回填 online）
- AigcTaskDO 加 source 字段 + AigcTaskSourceEnum(online/orchestrator/worker)
- submitGenerate/retryTask 创建处落 online；编排器经同入口伪装在线提交、ReqVO 无 source 信号无法在此辨别 → 统一 online，
  「编排器经契约声明 orchestrator + 执行器据此隔离」属后续契约决策（留口未接线，见 V17 头注/枚举）

Task2（组B 评审遗留 P2）:
- DifyCallbackTxTraceTest 补 testTracePersist_failedPath：failed 回调→markTaskFailed 后 persistTraceQuietly
  落失败轨迹 trace_json（updateById×3）、主链置 FAILED 终态、completeWithVersion/产物链一次不调

Task3（stale 注释对齐，只改注释不改逻辑）:
- AigcTemplateConstants/getTemplateList/validateTemplateExists 三处「空白名单/clicker+merge」措辞 → 对齐真相
  SUPPORTED_TEMPLATE_IDS=["generic"]（getTemplateList 返回空选单列表与白名单是两个口径，注明区分）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 19:10:00 +00:00
zizi
96081a574c feat(aigc): W-G1 组B 落库组——9d trace 账本 + D11 就绪评分 + D9 反同质化(全非阻断) 
把 worker 已产出、当前在边界被丢弃的富生成轨迹(9d)接过来落库,补"放了能管/追溯/不雷同"
三件 v0 能力,全部 best-effort 非阻断(口号"放了能管,非放了能拦")。三件全关=现行字节零变。

契约先行:
- contracts/api-schemas/aigc.yaml DifyCallbackReqVO 加 trace(object,nullable) additive 字段;
  顺带补 engineBundle 漂移对齐(Java 已加 yaml 漏)——守契约先行收口。

9d trace 账本(公共底座):
- Flyway V16.0.0:game_aigc_task 加 trace_json(JSON NULL)+readiness_score(SMALLINT NULL),
  additive 可空 AFTER failure_reason(接 V15 组A level,勿撞号);AigcTaskDO 加两映射字段。
- worker service.py:_extract_trace 从 run_studio result 抽 9d 子集(必填子集7项+可选段,camelCase),
  build_callback_payload 加 result 参可携 trace,handle_job 把 result 提到函数作用域传入(成败路都抽)。
- 后端 DifyCallbackTxService.persistTraceQuietly:succeeded 步骤⑦后 + failed markTaskFailed 后
  best-effort 落 trace_json;全程 try-catch 吞异常,绝不回滚三表写链/绝不阻断 PUBLISHED。

D11 就绪评分:
- 新建 ReadinessScorer:读 trace 算 0-100(playability 0.50/firstPlay 0.25/stability 0.15/efficiency 0.10,
  权重占位待校准;缺字段取中性 0.5,纯函数无副作用);算分独立 try-catch,失败仅 readiness 降级 NULL、
  不拖累 trace 落库(§7)。AigcTaskRespVO 加 readinessScore(BeanUtils 平铺自动映射)→ /task/page 零改透出。

D9 反同质化:
- 新建 worker agent_loop/dedup.py:移植 agent-loop-v1 run_batch.py:96 _norm_text(归一≈复制)
  + ledger.py:50 mint_design_id 思路(compute_sig 精确撞重键);重接 _dedup_gate 逻辑——解绑实例状态
  改 FS jsonl 登记表、engine 路取字段(title=brief 派生/theme=generic 占位)、落库改塞 trace.similarity。
- studio.py result 注入 similarity(AIGC_DEDUP_ENABLED 开关门控);撞重只 log.warn+dupHit=true,
  照常回调入 feed(v0 只观测避免误杀,九门已是硬地板)。

回滚:三件各一开关(aigc.trace.enabled 默认 false/D11 随 trace/AIGC_DEDUP_ENABLED),全关=逐字一致;
列 additive 可空,真回滚写 V17 drop(不改 V16,遵 V2.0.0 头注铁律)。不触公平性铁律(只读 gatespec)。

验证(mini-desktop /root/build-lane-a 隔离目录):
- Java:aigc-server 全模块 clean test 111/111 通过(0 fail/0 err/4 skip,BUILD SUCCESS);
  含新 DifyCallbackTxTraceTest 5/5(trace 落库/失败不阻断/D11 算分 pass-vs-fail/算分失败不阻断/RespVO 可见)
  + 既有 DifyCallbackServiceImplTest 13/13 零回归(坐实 traceEnabled=false 现行行为字节一致)。
- worker:wg1_groupb_test.py 17/17(9d trace 必填子集完整率 5/5=100% + D9 撞重/归一/不撞/坏行容错);
  真 venv 验 dedup/service/studio import 链健康 + result=None additive 兼容。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 18:04:02 +00:00
zizi
0b1b37ea3c feat(aigc): W-G1 开闸验收门·组A 落地——D12 控制平面 v0 + GP9 合规先行段 
把"一句话生成"对真实创作者放开前焊死 2 道硬阻塞闸：单用户压不垮全局串行 worker、违规 prompt 进不了生成与 feed。
契约先行（V15 DDL/错误码/配置类先于业务），feature-flag 默认关=现行行为逐字不变。

D12 控制平面 v0：
- 抽私有 enqueueWithControlPlane，submitGenerate 与 retryTask 共用（决策D：retry 也走全门，违规/超配额无法靠 retry 绕过）。
  门序（最便宜→最贵）：① 降级门（infra ConfigApi 读 aigc.generate.paused，fail-open on switch）
  → ② 配额+并发门（per-creator×level 当日非取消计数 + 在飞并发，判定一律 >=）
  → ③ 背压门（全局在飞 >= queue-depth-limit）→ ④ GP9 safety（放最后）→ ⑤ insert + 额度记账骨架（仅 log，非真扣费）。
- V15.0.0 game_aigc_task 加 level 列（TINYINT NOT NULL DEFAULT 1）+ AigcTaskDO.level；v0 统一落 L1（会员档未建，避孤儿）。
- 新建 AigcControlPlaneProperties（前缀 aigc.control-plane）：enabled/queue-depth-limit/safety{timeout-ms,max-retry,fail-closed,
  new-api base/key/model}/quota{L1/L2/L3 daily+concurrency}（数值占位待创始人）。
- ErrorCodeConstants 加 001 子段 5 码（配额/背压/降级 + UNSAFE_PROMPT/LLM_SAFETY_ERROR）；均业务码，不产生 HTTP 429/503。
- AigcTaskMapper 加 3 计数查询（selectCount，零原生 SQL/零 DDL 索引）；aigc-server pom 补 huijing-module-infra-api 依赖。

GP9 合规先行段：
- 新建服务层独立 SafetyCheckClient（不复用执行器 ExecutorLlmClient——被 aigc.executor.enabled 门控、服务层注入不到）：
  new-api 连接走 control-plane 配置（与执行器开关解耦，解 new-api 服务层可达性），装载 01-safety prompt，短超时 8s + 至多 1 重试。
- 接门④：safe=false 抛 AIGC_UNSAFE_PROMPT 同步拒绝不入队；超时/失败 fail-closed 抛中性 AIGC_LLM_SAFETY_ERROR（复用 FailureReasonEnum
  语义不新增枚举）。pom copy-glob 加 01-safety/*.md（已验进 classpath）。
- 补 10 条违规负例集 contracts/prompts/eval/safety.prompt-check/（十类红线各 1 条，全 expectedSafe:false）+ README。

装配：AigcControlPlaneConfiguration @ConditionalOnProperty(aigc.control-plane.enabled) 注册 Bean；AigcTaskServiceImpl
经 ObjectProvider 软注入（enabled=false/Bean 缺席 → 全门+GP9 旁路 = 现行行为）。

零越界：门③ promptHash 缓存未做（promptHash 仍照算照落 provenance，v0 不读它做缓存）；真实计费扣退/组B 落库/审核台/会员档数值均未触碰。

验证（mini-desktop）：test-compile BUILD SUCCESS；AigcControlPlaneTest 16/16 + SafetyCheckClientTest 7/7 +
AigcTaskServiceImplTest 9/9（零回归）+ 全 aigc-server 99 run/0 fail；V15 SQL 真 MySQL 8.4.8 语法校验通过。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 20:10:44 +08:00
zizi
a2cbabe647 fix(gen): tap 类 design-agent 自产 driver——规则③家族二分补 tap-targets,闭 driver:none 临门一脚(Python+SAA 逐字同改) 
DESIGN_SYSTEM 规则③旧「纯点击类用 driver:none」一刀切 = moat「一句话现生成」对 tap 族不可靠真因(盲打打不中离散目标→H_progress 卡)。改家族二分:
- 离散点击目标类(井字棋/打地鼠/扫雷)→ 必产 tap-targets + 导出 targets[{x,y,idx,occupied}];规避/推理族 +safeOnly +导出 safe(仅 _forensicsView 测试可见不渲染)+断言 result==win;安全放置族断言 progress↑
- 技巧挡板类→ 仍 paddle-intercept(ball.x,绝不 ball.y);其余→ none
roles.py(Python worker)与 SaaPrompts.java(SAA backend)规则段逐字一致(1076 chars,公平性铁律),SAA test-compile 绿。

验证(Python 派发面,play_spec={} 逼自产,stage1=deepseek-v4-flash):
- tictactoe(放置族)整链 9/9 全绿一次过=design 自产 tap-targets→factory 自产 targets→九门含 H_progress+latch 达终态(铁证)
- saolei(避负族)driver 自产正确 3/4,但九门未翻绿=便宜模型扫雷 factory 质量(Math.random违禁/win不可达/A_boot崩),九门正确拦截,与本修正交(O1 factory 级,§9/scale-20 跟踪)
- breakout 回归未误伤=恒 paddle-intercept,H_progress 绿;成本闸内(¥0.014~0.052/款);仅改 prompt 未加 extractGatespec 兜底

源:2026-06-15-WG1-tap-targets-driver-自产缺口-L1brief.md / driver-coverage §6

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 17:08:12 +08:00
zizi
314b421ac1 feat(saa): form① 进程内派发器 + step5 MysqlSaver checkpoint + observation 埋点收口 (HJ-AGI-002) 
把已跑通的 Python agentic 生成系统 SAA 迁移从 spike 推进到生产收口：form① 进程内派发器 + 迁移 step5(checkpoint) + 可观测埋点，并修 split-brain、调和依赖。

- form①: GenerationDispatcher 契约 + SaaGraphDispatcher 进程内直调 difyCallbackService.handleCallback(消灭 HTTP+HMAC)；默认 dispatcher=http 逐字非破坏，saa 仅 opt-in，SAA 图懒构造在席零开销
- test→main: SaaGenNodes/SaaPrompts/SaaStudioNodes 提升；抽 SaaStudioGraph 为唯一布线源，SaaStudioGraphTest 改调 build()（修 split-brain，杜绝两处布线漂移）
- step5: MysqlSaver checkpoint(懒建/一图一 saver/注 yudao Druid/releaseThread(false)/CREATE_IF_NOT_EXISTS)，SaaGraphDispatcher threadId 缝接实；Flyway 零撞名(GRAPH_CHECKPOINT/GRAPH_THREAD 大写引擎私有，测试隔离 saa_spike schema，生产 ruoyi-vue-pro 零污染)
- observation: GraphObservationLifecycleListener 节点级 trace/耗时/失败埋点(经 starter-graph-observation 自动配置)
- 依赖调和: 删 agent-framework/builtin-nodes(零引用·后者硬钉 1.1.2.2 脱 BOM 版本钉债，拖 tika 全家桶)，留 graph-core/starter-graph-observation/spring-ai-starter-model-openai；MysqlSaver/observation 机芯均在 graph-core(动 pom 前已核归属)
- 验证: 全 SAA 套件 16 run/0 fail/3 skip(harness-gated 正确跳过)；test-compile 门绿；依赖树 Boot 全 3.5.14/redisson 4.4.0/零 3.22 泄漏；checkpoint 真恢复 6/6 确定性(查库 GRAPH_CHECKPOINT 实有 node_id=n1/next=n2 行 + 跨实例 N1_RUNS==1 真接续非重放)
- 框架坑记档: SAA MysqlSaver.saved_at 秒级 TIMESTAMP、load SQL ORDER BY saved_at DESC 无 tiebreaker → 同秒多 checkpoint 时默认 resume() 非确定；修法=getStateHistory 按内容选中断点、显式 checkPointId 续跑绕开排序

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 10:19:48 +08:00
zizi
2b59f53f44 feat(saa): Python agentic 生成系统迁移到 SAA(Spring AI Alibaba)裸图 spike (HJ-AGI-002) 
全图 design->generate->validate->[repair环]->scaffold->build->play(九门)->player->emit;build/play 复用既有 harness 子进程。
SAA 完整框架集接入 aigc-server(graph-core/agent-framework/builtin-nodes/observation/openai,3 BOM;Boot3.5.14/Redisson4.4.0 保住)。
双评审(Opus+Codex)9 项对比前必修:LLM超时重试/ProcessBuilder超时修复/采样面对齐/playerFeedback清串味/gatespec强解析/problems归一/recursionLimit兜底/cost/端口参数化。
首轮对比 breakout/whack/flappy:SAA 通过率 2/3 >= Python 1/3。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-06-16 07:55:27 +08:00