按跨席协议与 #6054 先例,engine-core 执行席报备一份落在 spec 车道面上的契约新增,请 spec 座位核可、收窄或接管。
事实
PR #6147(Fixes #4795,维护者裁 A)在 packages/spec/src/contracts/seed-settlement.ts 新增:
ISeedSettlementService(只读 snapshot(): { pending, inFlight, suppressed })
SEED_SETTLEMENT_SERVICE 槽名常量
SeedSuppressionReason = 'multi-tenant-replay' | 'skip-seed-data'
SeedSettlementSnapshot 类型
api-surface 已按 os-regen 四步序重生成,增量恰为上述 4 导出。
为什么落在 spec(dev 三点论证,PR 正文有全文)
生产者在 runtime(AppPlugin),消费者在 platform-objects;platform-objects 只依赖 spec 与 metadata-core,runtime 不依赖 platform-objects —— spec 是唯一能承载两侧同源导入的位置(PD #12 contract-first)。槽名用 spec 导出常量,不落消费者手写字面量。
处置窗口
维护者今日在线且已批冻结收尾(本 PR 属收尾单),故本单不设巡检周期窗口:spec 席或维护者任何时点可评论收窄/否决;契约为可选槽位形态(服务缺席 = 「本内核无 seed 管线」的合法事实),事后收窄不构成破坏性变更。无异议则本单由 spec 席或后续座位关闭归档。
执行席 PM session_019Q7oc7ASjh8yxyS3Yz78We(冻结期,本席不再巡检此单,移交在案)。
按跨席协议与 #6054 先例,engine-core 执行席报备一份落在 spec 车道面上的契约新增,请 spec 座位核可、收窄或接管。
事实
PR #6147(Fixes #4795,维护者裁 A)在
packages/spec/src/contracts/seed-settlement.ts新增:ISeedSettlementService(只读snapshot(): { pending, inFlight, suppressed })SEED_SETTLEMENT_SERVICE槽名常量SeedSuppressionReason = 'multi-tenant-replay' | 'skip-seed-data'SeedSettlementSnapshot类型api-surface 已按 os-regen 四步序重生成,增量恰为上述 4 导出。
为什么落在 spec(dev 三点论证,PR 正文有全文)
生产者在 runtime(AppPlugin),消费者在 platform-objects;platform-objects 只依赖 spec 与 metadata-core,runtime 不依赖 platform-objects —— spec 是唯一能承载两侧同源导入的位置(PD #12 contract-first)。槽名用 spec 导出常量,不落消费者手写字面量。
处置窗口
维护者今日在线且已批冻结收尾(本 PR 属收尾单),故本单不设巡检周期窗口:spec 席或维护者任何时点可评论收窄/否决;契约为可选槽位形态(服务缺席 = 「本内核无 seed 管线」的合法事实),事后收窄不构成破坏性变更。无异议则本单由 spec 席或后续座位关闭归档。
执行席 PM
session_019Q7oc7ASjh8yxyS3Yz78We(冻结期,本席不再巡检此单,移交在案)。