挑战杯 Demo 演示手册

一句话主线

平台不是展示一张预先做好的本体图，而是从评委眼前上传的企业文件开始，现场构建、确认并发布本体，再回答 dcp_user.mobile 能否迁移删除。

演示前准备

启动服务：

   .\.venv\Scripts\ontorefactor-governance.exe --host 127.0.0.1 --port 8010

打开 http://127.0.0.1:8010/?demo=1&tab=agent。该地址只创建一个空白项目。
确认工作台显示 LongCat 已配置；需要时点击“测试模型连接”。
下载工作台提供的四份演示输入，放在同一目录，方便一次多选：
- 01-dcp-user.sql：数据库结构；
- 02-user-profile-openapi.yaml：接口契约；
- 03-dcp-asset-inventory.json：已有资产目录；
- 04-governance-evidence.json：关系、代码扫描、APM、质量、审批事实和门禁规则。
若现场网络不稳定，语义融合方式选择“确定性规则”；本体构建、发布、门禁和审计都可离线完成。

7 分钟演示脚本

时间	页面与操作	建议讲法	屏幕证据
0:00–0:40	总览或工作台	“现在项目里项目本体、关系、证据、规则都是 0。我们从原始文件开始，不展示预置答案。”	`NOT_BUILT`、四个 0
0:40–1:20	一次选择四份文件	“DDL 给出物理结构，OpenAPI 给出对外契约，资产清单补齐系统对象，证据包提供扫描、APM、质量与审批事实。”	文件名、数量、总大小
1:20–2:15	选择 LongCat，点击“运行 3 个构建智能体”	“资产构建负责确定性解析；语义融合负责业务对象、Owner、分类与关系；本体校验负责端点、谓词、URI 和 Diff。”	三阶段完成、候选元素/关系/规则数量
2:15–3:00	展开候选元素和 Diff	“此时只是 candidate/pending，还没有进入正式本体。新增和已匹配数量都由当前版本动态计算。”	本体 Diff、候选元素预览
3:00–3:40	保持“同时接受模型断言”未勾选，点击“审核并发布”	“结构事实经人工确认后发布为 v1；模型推断默认仍待复核，不会伪装成人工事实。”	v1、已接受关系、待审语义断言
3:40–4:45	切换到“治理问答”，输入“dcp_user.mobile 是否可以迁移并删除？”	“第四个治理决策智能体被单独调用，从数据库查询已发布本体、规则与全部当前证据。确定性门禁得到 `BLOCKED`。”	问答式结论、1 项通过、4 项失败及建议
4:45–5:35	打开本体模型并做字段影响分析	“从字段可以追到 API、任务、Owner、安全策略和质量规则，关系都有来源与审核状态。”	三跳影响子图
5:35–6:20	打开语义断言、证据中心	“原文件、模型推断、置信度、审核状态、证据 ID 和生成者都可追溯。”	pending/accepted、证据原文
6:20–7:00	返回总览或导出 JSON-LD	“本体构建是治理工作的一部分，不是前置假设；AI 提候选，人工发布，确定性规则守住生产风险。”	已发布版本、`BLOCKED`、JSON-LD

四个智能体如何解释

它们不是四个聊天窗口或四个微服务，而是同一条 LambdAgent 工作流的四个可审计职责：

资产构建智能体：确定性解析和跨文件归并；
语义融合智能体：LongCat 或确定性语义建议；
本体校验智能体：白名单、引用完整性和版本 Diff；
治理决策智能体：在独立“治理问答”页面接受问题，只读已发布本体并执行确定性门禁。

如果配置了 LambdAgentPaaS，四个职责的脱敏摘要会写入 PaaS 运行记录；核心数据和事务仍属于独立治理平台。

评委常问问题

怎么证明本体和结论不是写死的？

空白项目的元素、关系、证据和规则均为 0。换一份 DDL 会构建不同元素；重复上传同一批文件，Diff 会从“新增”变为“已匹配”。演示事实来自第四份用户文件，删除必需证据会得到 INSUFFICIENT_EVIDENCE；把消费者、质量、审批和兼容周期更新为通过值，同一门禁会得到 ALLOW。

大模型能直接发布或删除数据吗？

不能。LongCat 只能输出严格协议内的候选对象和白名单关系，置信度有上限，关系默认 pending。发布需要显式人工操作；最终三态结论由确定性规则计算；平台没有执行生产删除的能力。

为什么先生成语义断言，再给治理意见？

现在正是这个顺序：构建阶段先形成候选本体和语义断言，用户审核并发布结构版本；发布操作不会自动执行治理决策。用户进入“治理问答”提出问题后，第四个智能体才读取这些结果和当前证据。模型断言可以继续逐条复核，不会因发布结构事实自动变成已确认事实。

LongCat 不可用怎么办？

选择“确定性规则”仍可完成结构发现、候选本体、版本发布和门禁。强制选择 LongCat 时，如果模型不可用，构建会明确失败，不会伪装成 AI 结果。

现场注意

一次选择四份文件，不要逐份运行旧的单文件分析接口。
发布前先停留在 Diff 页面，强调 candidate 与 published 的区别。
默认不要勾选“同时接受模型语义断言”。
不展示或朗读 API Key。
需要重演时换一个租户名，或创建新的空白项目；不要直接修改数据库。

demo-runbook.md 5.5 KB Bezpośredni odnośnik Historia Czysty