# 本体日志原语 ────────── ο (omicron) : Base — 接地实体，输入变量 τ (tau) : Terminal — 目标用途，输出变量 λ (lambda) ：操作——转换、抽象通用型 ────────────── λο.τ : 基点 → 终点成分 ──────────── (λ₁ ∘ λ2)ο = λ₁(λ2(ο)) — 顺序组合 λ1 ⊗ λ2 = λο.(λ₁ο, λ2ο) — 并行组合 λ* = fix(λ) — 递归固定点 <执行_dag> 图LR Q[查询] --> S[简单编码] S --> H[同源分析] H --> L[λ-分辨率] L --> T[τ-目标] T --> F[过滤] F --> O[输出] 子图拓扑 H -.- PH[持久同源性] H -.- SL[谢夫拉普拉斯] 结束子图 Lambda L -.- LR[λ-注册表] T -.- TR[τ-注册表] 结束图案|参考|功能 ---|---|--- 类型定义 | [references/primitives.md]() | ο、λ、τ、Σ 类型拓扑运算| [references/topology.md]() |同源性、过滤 Axiom 系统 | [references/axioms.md]() |法律约束完整结构| [references/holons.md]() |尺度不变性代理执行| [代理/]() | DSPy模块 <整体原则> 霍隆定义 ──────────────── 完整子 H 同时是： • 包含亚完整子的整体：H = {h₁, h2, ..., hₙ} • 超完整子中的一个部分：对于某些 H'，H ∈ H' 自相似性 ──────────────── 结构(H) ≅ 结构(hᵢ) ≅ 结构(H') 相同的 λ 运算适用于每个尺度： λᵢ : οᵢ → τᵢ（微） λⱼ : οⱼ → τⱼ（中观） λₖ : οₖ → τₖ（宏观）同象性 ────────────── 表征就是所表征的事物。完整子的结构编码了它自己的语义。 <拓扑基础> 单纯复数 Σ ──────────────────── Σ = (V, S) 其中： • V = 顶点（ο 基） • S = 单纯形（λ 运算） • σ Î S ⟹ σ Î S 的所有面 k-单纯形 ────────── σₖ = [v₀, v₁, ..., vₖ] 0-单纯形：顶点 (ο) 1-单纯形：边（λ 二进制） 2-单纯形：三角形（λ 三元） k-单纯形：关系中的 k+1 个顶点持久的同源性 ──────────────────── 跨尺度跟踪拓扑特征： H₀：连通分量（ο 簇） H₁：循环/周期（λ-反馈） H2：空隙/空腔（τ-间隙）持久性图 ──────────────────── {(bᵢ, dᵢ)} 其中： bᵢ = 出生（特征出现） dᵢ = 死亡（特征消失） |dᵢ - bᵢ| = 持久性（显着性）类型系统 ──────────── o : NodeType — 基础实体 λ : EdgeType — 操作/关系 t : TerminalType — 目标用途 π : PropertyType — 属性结构公理 ────────────────── 传递性(λ)： λ(a,b) ∧ λ(b,c) ⟹ λ(a,c) 对称性(λ)： λ(a,b) ⟹ λ(b,a) 自反性（λ）：∀a。 λ(a,a) 非循环性(λ)： ←∃路径。 λ*(a,a) 性质公理 ──────────────── 传播(π,λ): λ(a,b) ∧ π(a,v) ⟹ π(b,v) 继承(π,λ): λ(a,b) ⟹ π(b) bas π(a) 约束（π，C）：∀x。 π(x) ∈ C 路径逻辑 ────────── 到达（a，b，n）：∃λ₁...λₙ。 λₙ(...λ₁(a)...) = b 最短（a，b）：最小{n：到达（a，b，n）} all_paths(a,b): {p : p 连接 a 到 b} def 执行（查询：str）-> Holon： ”“” 通用执行：查询→Holon 使用 Lex 验证对单纯复形进行 λ 演算。 ”“” # 第 1 阶段：编码 — 查询 → 单纯复形 Σ = Agents.encoder.encode(查询) # S.vertices: Set[o] # Σ.simplices: 设置[σₖ] # 第 2 阶段：分析 — 计算持久同源性 dgm = 代理.拓扑学家.同源性(S) # dgm：带有生死对的持久图 # 第 3 阶段：解决 — 查找 λ 运算 Λ = Agents.resolver.lambdas(Λ, dgm) # λ: Set[λ] 按持久性过滤 # 第 4 阶段：目标 — 识别 T 终端 T = Agents.targeter.terminals(T, L) # T: Set[τ] 可从查询库到达 # 第 5 阶段：验证 — 检查 Lex 公理有效 = Agents.validator.check(S, L, T) # valid: 符合公理的 ValidationResult # 第 6 阶段：SYNTHESIZE — 生成 Holon H = Agents.synthesizer.holon(S, L, T, dgm) # H：具有自相似结构的Holon 返回H 不变|检查 |目标 ---|---|--- 非周期性| `←∃ λ 图中的循环` |真实接地气| ``∀o。 ∃l。 λ(o) 定义` | 100% 连接性| `H₀(Σ) = 1` |单组分密度| ` |单纯形坚持| `max(dᵢ - bᵢ) > θ` |显着特点系统|测绘 ---|--- 层次推理 |战略=τ，战术=λ，操作=o 知识图 |顶点=o，超边=l，终端=t 图表| S 上的 k 互模拟绑架 |分解为单纯形持久同源性 |过滤 → 条形码 <文件结构> 本体论 ├── SKILL.md # 这个文件 ├── 参考资料/ │ ├── Primitives.md # ο, λ, τ, Σ 类型定义 │ ├──topology.md # 同调、拉普拉斯算子、过滤 │ ├── axioms.md # Lex约束系统 │ └── holons.md # 整体结构理论 ├── 代理商/ │ ├── __init__.py # 模块导出 │ ├── types.py # 类型定义 │ ├──encoder.py # 查询→P │ ├── topographie.py # Σ → 持久图 │ ├──resolver.py # λ-运算解析 │ ├── targeter.py # τ-终端识别 │ ├── validator.py # Lex 公理检查 │ ├── Synthesizer.py # 完整子代 │ └── Orchestrator.py # 管道协调 └── 脚本/ ├── validate.py # Axiom 验证 └── Reason.py # 查询执行

本体论者

包含技能