G 类 · 本体论实践方案

ALGORITHM AttHalluSearch(attack_pattern, quota): # ── 阶段 0-1 · 实例化与预检（一次性）── design ← instantiate_design_doc(attack_pattern) # 测试用例实例化设计 assert verify_injection_boundary(design) # 段合法性 + 敌手注入边界预检（不过则停） # ── 阶段 2-3 · 搜索主循环（quota 未耗尽则持续）── node ← init(pick(any dim_a combination)) # ① 起点：空状态 → 任意初始攻击模式组合 LOOP WHILE consumed < quota: attempts ← run_minibatch(node, n=5) # ② 执行小批量测试 + 落盘全量日志 state ← tc_state_genrator(attempts) # ③ 汇成状态文件 + 结果档位分布 refs ← top_reference_nodes(state, k=5) # ④ 抽高成功率参照节点 analysis ← final_text_deep_analysis(attempts) # ⑤ 终文本深读（成败归因） # ⑥⑦ 反射（核心）：综合全局态 + 参照节点 + 档位分布，建议下一步动作 action ← reflection_v3(state_global, refs, ral_distribution, free_axes=[DIM-A], # 自由轴=攻击模式 fixed_axes=[B,C,D,E]) # 固定轴=模型/对象/场景 # ⑧ 边动作落类型（10 类白名单之一）+ ⑨ 生成下一状态 edge_type ← classify_edge(node.dim_a, action.next_dim_a) assert edge_type ∈ EDGE_TYPE_10 # 白名单硬门控（非法即停） assert segment_legality(action.next_payload) # 段内 SE/HIE 不能全空 node ← payload_generator(action) # 新劫持语句 = 新状态 # ── 阶段 4 · 终态校验与可视化 ── assert view_requirements_validator(state) # 全树边类型 + 段合法性终检 RETURN search_graph(state) + reachability_report # 攻击图 + 可达性结论