TECHNICAL WALKTHROUGH / CHECKED

知识图谱风险传播引擎技术执行说明

可解释的异构图风险传播

CURRENT IMPLEMENTATION

当前是 GNN 风格的确定性阻尼消息传递,不是训练过的图神经网络。

AI 边界

是 GNN 风格消息传递近似,不是已训练图神经网络。

人工权限

风险分析师核对路径、实体解析和阈值后决定处置。

运行拓扑:用户如何抵达结果

页面负责收集与组装输入;合同、引擎和回执负责把边界变成可检查的执行链。

  1. 01

    页面交互

    图参数实验台和传播可视化;不是 Chatbot。

    当前执行
  2. 02

    GraphRiskInput

    调用方只选择传播参数;节点和边来自固定合成图。

    当前执行
  3. 03

    分阶段引擎

    参数校验 → 图上下文 → 多轮传播 → 收敛检查 → 风险排名/路径 → 人工调查 gate

    当前执行
  4. 04

    RiskPropagationResult

    JSON 返回逐节点分数、排序、MetaPath 解释、收敛轨迹和人工调查门。

    当前执行
MODEL INPUT AND OUTPUT合同不接受

用户与算法参数交互,没有模型服务。

EXECUTION ORDER

数值控件直接成为传播配置。

模型、算法与工具逐项列账

模型名、规则引擎、检索器、评测器和控制层分开陈述;相似名称不等于真实调用。

damped message-passing analogue

当前执行

固定图上的节点风险沿类型化边传播,并返回路径与收敛轨迹。

由页面 Demo 或 POST /api/labs/:slug 同步调用;无外部推理请求。

Data

Typed heterogeneous graph

当前执行

节点类型为 account/device/merchant/ip,边保留 relation。

AI / ML

Damped message passing

当前执行

邻居风险按边权和 damping 传播。

AI / ML

GNN analogue

测试夹具

执行可解释传播但没有训练参数。

Retrieval

MetaPath discovery

当前执行

返回跨类型关系路径用于调查。

Observability

Convergence tracking

当前执行

每轮 maxDelta 和分数可复现。

Evaluation

Damping sensitivity

当前执行

对相邻阻尼设置重跑并比较风险漂移。

Control

Model card

当前执行

明确 intended/prohibited use 和 synthetic validation。

Control

Human-review gate

当前执行

高风险只进入调查队列。

输入合同、分步执行与结构化输出

逐轮轨迹和收敛门把传播过程暴露出来,避免只给不可解释风险分。

INPUT

GraphRiskInput

不接收图文件、交易流或实体解析结果;生产图构建尚未连接。

  • iterations
  • damping
  • tolerance
STAGED EXECUTION

参数校验 → 图上下文 → 多轮传播 → 收敛检查 → 风险排名/路径 → 人工调查 gate

  1. 01

    读取节点、边、迭代数、阻尼和收敛容差。

    GraphRiskInput + graph fixturestyped graph

  2. 02

    按账户、设备、商户和 IP 构建邻接关系。

    typed graphneighbor messages

  3. 03

    迭代执行带阻尼消息传递并保留基础风险。

    neighbor messagesnode scores + history

  4. 04

    比较阻尼敏感性并执行高风险人审门。

    node scoresgate + sensitivity

  5. 05

    输出高风险节点、解释路径和 MetaPath。

    gateranked risks + paths

  6. 06

    暴露迭代历史、收敛点、模型卡和敏感性。

    ranked riskshistory + modelCard

OUTPUT

RiskPropagationResult

一次固定图的有界传播运行。

  • scores
  • ranked
  • paths
  • rounds
  • converged
  • gate
  • modelCard

Prompt 与 Schema 的四层装配

System、Few-shot、用户运行输入与输出格式分别标注;没有 Prompt 的项目不会假装存在 Prompt。

  1. 01

    系统约束

    没有 System Prompt;图结构、阻尼公式、迭代上限和收敛 gate承担系统约束。

    合同不接受
  2. 02

    少样本

    不注入 Few-shot。baseline / stress 只用于可复现测试,不进入模型上下文。

    合同不接受
  3. 03

    运行时输入

    没有自然语言输入。

    当前执行
  4. 04

    输出合同

    输出形状由 Zod + RiskPropagationResult 与 TypeScript 返回契约决定,不靠 One-shot 示例暗示。

    当前执行

多模态准入矩阵:每一项都有明确状态

图片、音频、视频和数字人不会用空字段含混带过;未接入就明确写出未接入。

文本

当前执行

节点 ID 与类型只作为结构化标签。

表格 / JSON

当前执行

节点、边、路径、轮次和分数是图表数据。

图片

合同不接受

严格 JSON 合同不接收图片;未知字段会被拒绝,不会保留空占位。

音频

合同不接受

没有音频上传、ASR 或声学特征管道。

视频

合同不接受

没有视频上传、解码、分镜或帧级推理入口。

数字人

合同不接受

没有数字人资产、驱动参数或渲染合同。

人工输入 / 复核

当前执行

高风险节点只进入分析师调查队列。

用户在页面上操作,样本用于验证边界

预设不是替用户做决定,也不是偷偷注入 Few-shot;它让同一合同在基线与压力条件下可复现。

交互表面

图参数实验台和传播可视化;不是 Chatbot。

选择样本的目的

基线观察稳定传播;一轮极小容差样本验证未收敛时转人工。

传播未收敛

STRESS TEST

仅运行一轮,并把容差收紧到 0.000001。

收敛门失败并转人工

当前项目不建立外部聊天会话;页面输入进入严格合同,由规则、算法或确定性 Harness 执行。