用途:该技能定义通用重写协议,将信息流与决策表示为弦图,并通过范畴重写进行变换,作为连接 20 个具备重写能力技能的内核元层。
主要能力:定义弦图语法(线为对象、盒为态射、垂直/水平组合、杯帽、交叉、迹)与幺半/对称/迹幺半公理;采用 DPO 框架描述重写规则(L、K、R、匹配、余匹配、上下文),并给出 DPO 条件(悬垂条件、识别条件、推出构造);支持 SPO 与 SqPO 扩展及选择启发式;讨论合流性与终止性(临界对、Newman 引理、加权尺寸测度、范式);定义 GF(3) 守恒(trit(L) ≡ trit(R) mod 3)与平衡三元组;给出五层架构(形式化、重写引擎、语义、数据与并发、世界化)及层间协议;提供 SkillBinding、CategorySpec、RewriteRule 接口;描述重写流水线与策略(最内、最外、优先级、并行、自适应);要求环境范畴为粘性范畴以保证 DPO 良行为。
使用方式:其他技能通过导出 SkillBinding(含 skill_name、layer、trit、rules、category、objects、functors)接入协议;重写循环按 find_all_matches、策略选择、DPO 步骤、GF(3) 校验执行。资料未提供安装命令或具体调用示例。
适用场景:范畴论、重写系统、弦图、元协议相关的组合式重写管线,以及需要跨技能统一重写接口的五层架构。
限制:资料未提供收费、价格、平台、效果或完整使用步骤;部分内容为理论定义,实际实现依赖所连接的具体技能。