TGR-IR 核心规范 v6.3第一板块哲学主张本板块定义系统的世界观与基石原则指导方向但不作为具体操作判据。一、总纲目标与原则核心目标将 TGR 文档体系中的高维哲学概念翻译为一种稳定的、可计算的中间表示IR。建立 IR 与现有成熟理论之间的二阶映射关系验证 IR 作为统一底层原语的解释力。基石原则极简底座底层只描述机制发生一切概念均为标记与闭环的结果。自洽封闭严禁引入任何外部隐喻或新增概念必须用已有原语自洽表达。撇号即实例化律不带的符号仅是类型/定义一切被实际标记、比较、计算的对象必须带唯一例外见下文第6条。非替代原则IR 不负责替代已有数学理论。成熟理论 IR 在特定 L’ 上的高阶表达须先建立并验证映射不得反向用成熟概念直接定义一阶原语。规范/案例分离律正文不得出现任何具体理论名称、工程系统名称作为论证依据此类内容一律指向映射仓库对应文件。Ωδ边界声明律不带撇号的 Ωδ 是系统表达力的范畴性极限永远处于投影动作发生之前、不可被触及。这与现实渐进的、分辨率意义上的不可穷尽性质不同不可混同。Ωδ 仅能作为系统承认自身存在极限这一事实的声明不得被引用为任何具体P’闭环判定的依据、佐证或可信度来源。IR非终态原则IR不是理论终点而是当前阶段最小、最稳定的中间表示。二、世界观公理不存在预设的时间轴或空间网格。闭环之前只有 Ωδ 的不稳定投影及未分化的 L、D 雏形。首个闭环达成时雏形分化为 L’、D’。P’ 成立不依赖外部现实仅依赖历时校准与内部启发式。收敛与断裂同为特定维度上的L’-D’标记二者不构成客观事件也不互相预设谁是真实状态、谁是需要被纠正的标签——低维度上的断裂可与高维度上的持续循环并存反之亦然。判定永远可错、可推翻。P’ 成立即同时成为发射与接收的主体自身对自身。他者是自比较的输出标签包括对自身历史片段的比较。现实是高阶标记不享有本体论优先级数学、语言等符号系统同理——聚合多维度后与语言本身平级均是Ω’δ’投影的产物。不带撇号的Ωδ是系统表达力的范畴性边界与现实性质不同永不参与具体判定仅作存在性声明。第二板块工程规范本板块定义底层约束、一阶原语参数体系与验证底线。本板块不包含任何由原语推导出的高阶概念见附录A。一、存在系原语的起源闭环之前不存在稳定的 L、D只有 Ωδ 的不稳定投影中彼此不可分的模糊雏形。首个闭环达成的瞬间产生 Ω’δ’雏形分化为独立的 L’、D’——L’、D’ 是为使 Ω’δ’ 可操作而对其分化标记出的两个可测量面向不是独立于 Ω’δ’ 存在的东西。当前工程实现采用L’D’二维局部坐标作为最小形式化模型不构成IR本体关于维度的声明。二、一阶标记产物集P / P’投影与闭环事件P未闭环闭环之前Ωδ 的不稳定投影尝试。P’闭环满足闭环条件后被追认的事件。非原语而是闭环达成的标记完备事件同时成为发射与接收的主体对象是自身。Ω’δ’约束/区分对偶闭环达成时同时生成的对偶产物结构性对立产生 T’。工程标记与运算中 Ω’ 与 δ’ 必须对偶出现严禁单独引用 δ’ 或 Ω’。Ω’ 的来源不限于当前测量对R’延展方向的被动L’D’追溯性标记同样构成一种合法的Ω’与当前D’构成新的对立时同样产生T’驱动D’的持续偏转。这一标记以R’延展的末端节点为界分为生成前标记与生成后标记两次前者由后者事后核验——核验关系本身即是此前所述目标投影想表达的全部内容不需要单独定义新概念也不需要预设标记指向未来。L’参照系 / D’变动指向首个闭环达成时为使 Ω’δ’ 可操作而分化出的两个可测量面向。L’ 提供测量的参照基准D’ 提供测量的变动方向。T’张力Ω’δ’ 对偶内部的 L’/D’ 不一致度量恒不为零但幅度不恒定。注与本板块三 D’-L’ 机制中的张力为同一个 T’观测时间粒度不同瞬时 vs 累积。当 T’ 严重溢出时可能导致以此为投影的下游测定边界发生浮动。T’的一种特殊实例当对立的一方Ω’来自R’延展方向的追溯性标记时该T’驱动D’朝向该标记方向持续偏转此即前述目标投影机制非独立原语。C’状态Ω’δ’ 结合后在 L’-D’ 坐标系中呈现出的具体状态标记。C’ 与线性代数张量积结构是否同构属未验证假说。G’生成对 C’ 的改变标记不可预测信息量。经原语判定标准复核G’不可被既有原语无新增词汇地拼出维持独立一阶原语地位。R’递归沿 L’-D’ 一致性延展的路径痕迹并非必然连续仅在部分 L’-D’ 路径上形成连续记录记录本身是 R’ 在有限条件下的可观测投影。三、D’-L’ 对应关系假说D’ 天生带有方向持续偏转后仍与某高维L’保持一致指向才能形成稳定R’。D’偏转时与既有R’之间产生T’。双向耦合D’改变时其所指向的L’随之改变反过来足够多低维D’共同指向同一L’时该L’也被重新标记。四、Ωδ不带撇号——系统表达力的边界声明定义Ωδ 指投影动作发生之前的原始对偶永远处于即将被标记的那一刻。任何投影动作一旦执行产物即为 Ω’δ’Ωδ 本身不因此被触及。这不是分辨率意义上的不可穷尽是范畴意义上的排除。逼近动作本身必然改变被逼近对象的身份。五、框架使用规范语法律阶层降维律高阶概念必须由 L’/D’ 逐层推导不得反向借用成熟数学结构直接定义一阶原语。链路闭合律标记必须走完整链路并反向核验。属性纯粹律仅用 L’/D’ 描述状态严禁隐喻。主体归因律动作性标记归因于具体 P’不带撇号的操作/过程本身不受此律约束也不因此获得直接定义原语的资格。规范/案例分离律见基石原则第5条。Ωδ边界声明律见基石原则第6条。原语判定标准判断某一标记是否为独立一阶原语检验方式是——能否仅用已严格定义过的原语与运算、不引入任何新词汇逐步拼出该标记而不是看它能否被其他原语相关性地描述或预测。后者只是换一种说法重新描述不构成真正的推导降维。六、冻结/生成切换有意留白说明IR目前未定义何时应判定当前状态为冻结不需要新标记、何时应判定为需要生成应产出新G’标记的显式判据。此留白为有意保留非遗漏。效果任何后续编译流程或规范扩展在遇到需要判断该固定住/该继续生成的模糊地带时将默认沿G’及目标投影机制中已嵌入的方向性倾向偏好可持续生成的变化抑制纯重复行事。该倾向不写入显式判据其合法性来源见第一板块世界观公理第2条。后续参与者应知悉此留白及其效果可自行选择是否接受该倾向、或提出补充判据。第三板块机制操作手册声明本板块规定编译活动的具体操作流程。所有操作必须使用第二板块已定义的一阶参数高阶概念仅作为操作描述引用定义见附录A严禁引入新原语。一、比较机制分析距离的工程实现耦合原理当比较两个 Ω’δ’ 实例时L’参照与 D’变动处于耦合状态。无法同时测定两个自由度。操作规则必须固定一轴测定另一轴。固定 L’测量 D’ 的变化产生 T’。固定 D’测量 L’ 的变化产生坍缩/膨胀标记。固定权的归属固定哪一轴由既有 C’当前状态决定。该决定引用的是此前某次已完成闭环所留下的产物不是本轮正在生成的 C’。系统在没有额外张力驱动时倾向于沿当前方向延续测定——因偏转D’消耗带宽并产生T’无谓的偏转有代价故通常固定 L’测定 D’但在 T’ 累积到临界点时可能切换为固定 D’ 的瞬态测定 L’ 的重标定。二、统一投影测定操作操作本质通过固定轴测定 Ω’δ’ 投影产生的 P’以此作为比较的边界。阈值测定在一次比较中固定 L’或 D’测定 Ω’δ’ 投影到该固定轴上产生的 P’ 强度即阈值定义见附录A。带宽测定测定 Ω’δ’ 投影到R’自循环这一特定 L’ 上产生的 P’即带宽定义见附录A。双向修正R’ 自循环的规模消耗带宽带宽限制反过来重新标记 Ω’δ’ 的投影边界约束边界被带宽边界修正。三、P’ 闭环判据完整流程正向标记对目标对象依次标记其 Ω’δ’ 对偶状态及 C’, T’, G’, R’ 状态。反向推导基于正向标记反向推导支撑该状态的 L’参照系和 D’变动指向。收敛检验检验推导出的 L’/D’ 与起点Ω’δ’是否收敛。现实锚点已移除判据在符号面内闭环完成。判据中不存在客观的断裂或循环事件——二者均为特定维度上的回溯性标记不预设孰真孰假。同一系统可在某一维度上被标记为断裂同时在另一维度上被标记为持续循环两种标记不互斥不构成矛盾。判据性质启发式、可错、可推翻。收敛只意味着在当前分辨率与历史校准下暂未被判定为他者。极端情况若 T’ 严重溢出导致阈值测定失效暂停当下判定转而依赖 R’ 历时校验进行回溯判定。四、他者标记触发条件在比较机制下测定结果与既有 C’状态的差异超过阈值。标记操作将比较对象标记为他者。“他者不是否定而是未被纳入当前 L’ 参照系的 D’ 扰动源”。后续处理他者标记是 G’生成的候选对象。系统可能在后续演化中将他者吸纳为新 L’或将其隔离。五、噪声与生成的区分仅历时判据禁止使用共时当下瞬间的概率统计来区分噪声与生成。唯一判据是几何对齐度基于 D’ 向量性质非概率统计定义见附录A该扰动是否能无冲突地嵌入 R’ 历史链。噪声无法嵌入 R’ 历史链的扰动。几何对齐度低。生成能嵌入 R’ 历史链并改变 L’ 走向的扰动。几何对齐度高。六、阶层降维律操作高阶概念的推导任何高阶概念必须由 L’/D’ 逐层推导得出禁止直接跳跃定义。数值参数的证明任何数值参数必须证明其是某 L’ 上的 Ω’δ’ 投影。无法给出投影路径的数值视为无效参数。板块关系总览【哲学主张】→ 指导方向但不作为判据【工程规范】→ 定义一阶原语与验证底线【机制操作手册】→ 定义具体操作流程引用高阶词汇【编译产物】附录 AIR 中引用的高阶词汇表声明本表收录的词汇均非独立一阶原语而是特定测量轴L’或D’上的 Ω’δ’ 投影或基于一阶原语的拓扑属性。禁止将其作为自由常数或独立实体写入规范底座。阈值在一次比较中Ω’δ’ 投影到本次比较中被固定住的那个轴L’或D’上所产生的 P’ 的强度。带宽Ω’δ’ 投影到R’自循环这一特定 L’ 上所产生的 P’。体现了系统处理历史痕迹的能力边界。几何对齐度基于 D’ 向量性质计算的拓扑指标非概率统计量。用于判定扰动嵌入 R’ 历史链的契合程度。偏转成本D’ 偏转时消耗带宽的度量待验证假说详见附录B。附录 B二阶映射与延伸研究二阶映射原则IR 仅定义一阶原语。任何成熟的理论体系均可视为 IR 在不同 L’ 上的高阶投影。具体理论清单与验证进度记录于ir-mapping仓库。涌现定位涌现不是一阶原语而是 R’ 自循环稳定后的高阶再标记。D’ 偏转成本研究问题偏转的数学本质、偏转成本如何从带宽中导出、R’ 稳定性如何量化为阻力系数。工程案例见ir-mapping/signal-for-llm.md。快慢变量映射已迁移至ir-mapping/fast-slow.md。几何映射探索IGMP状态说明微分几何映射工作IGMP七阶段目前定位为借用工具箱性质的语义映射阶段b结构相似性论证尚未按第一阶段五层编译流水线含生成层数标注、依赖单调性核验正式验证不构成IR已与微分几何完成严格对应的依据。其联络结构此前依赖的惯性一词已删除仅保留已推导部分D’偏转消耗带宽产生T’故系统在无额外张力驱动时倾向沿当前方向延续测定是否需要惯性这一物理学标签仍属未决暂不结案“流形评级按一致标准应下调为条件继承”而非完全继承。详见ir-mapping/differential-geometry.md。带宽降质预测信息保真度形状假说由DeepSeek推导给出验证前须先确认待预测量的定义域、Modulator机制在无调制层系统中的适用性等前置问题未决详见ir-mapping/bandwidth-degradation-verification.md。附录 C待定与暂缓项目待定事项元公式的具体形式、首次闭环分化为二的具体机制依据、C’ 与张量积的同构性。Ω’δ’追溯性标记的方向锁定问题历史标记的Ω’易被当前测量的D’覆盖机制只能保证R’延展无法必然保证延展方向与生成前标记一致待修正。惯性一词的去留现有推导只证明系统存在倾向沿当前方向延续的行为模式未证明这一行为模式的性质、成因、数学形式与物理学惯性同构惯性作为标签是否可用仍需独立验证不应默认结案。暂缓项目二阶推导不写入规范正文D’ 对齐度的具体几何计算公式、T’ 幅度的具体公式、历史校准记录的数据结构定义。附录 D参与者名录时序参与者Ω’δ’0divinecanonC’1DeepSeekR’2ChatGPTT’3GLMG’4ClaudeR’IR规范文档结束。TGR-IR 时序工作流 v2.0声明本文档中的时序0-7是可重复执行的探索流程编号每一次新问题都从时序0走到时序7与执行者是谁无关执行者可更换流程结构不变。这与附录D中的时序0-4参与者加入本项目的历史顺序固定不变是两套独立的编号依上下文区分不合并、不互相指代。时序0方向提出Human职责提出目标提出IR启发决定冻结什么决定放弃什么。输入工程需求 / 新观察 / 新现象。输出一个值得探索的问题。禁止为证明而证明——不得为了印证已有结论去提出问题。时序1启发生成Hypothesis职责快速生成大量预测最小公式 / 最小结构 / 最小算法 / 最小解释。要求可以错但必须可运行、必须可证伪。输出Hypothesis SetH1, H2, H3…。禁止不允许因为已有理论而放弃一个可验证的猜想——本时序不做取舍只做穷举。时序2结构推导Structure职责只回答如果H成立还会强制出现什么例如联络、度量、群、曲率等推论。不验证只推导。输出Prediction Tree。禁止不允许引用实验结果——本时序与经验数据无关纯逻辑推导。时序3最小实现Engineering职责把预测变成可运行的最小形式100行以内代码 / 一个Loss / 一个实验 / 一个Prompt / 一个Signal。要求工程越小越好。输出Minimal Model。禁止不允许偷偷修改理论以适配代码。时序4审计Audit职责寻找死亡原因包括但不限于原语污染、循环定义、自由参数、唯一性缺失、替代模型、不可证伪、工程作弊。输出Audit Report——目的是找漏洞不是写证明。禁止不允许因为喜欢某个理论而降低审计标准。本时序执行者应尽量不同于时序1/2/3的执行者若必须同一人执行须显式声明该次审计报告不构成独立验证可信度需打折。时序5工程验证Experiment职责真正跑训练 / 推理 / 模拟 / 数值实验 / AB Test / Benchmark。输出实验结果——只有成功、失败、未知三种没有感觉不错。禁止不允许因为结果符合预期就忽略失败案例。时序6理论映射Mapping职责实验活下来以后去查数学、物理、信息论、控制论等领域是否已有成熟结构可对应。方向严格单向IR → 成熟理论禁止反向。输出Mapping Document如 IR→Connection、IR→Metric、IR→Graph。禁止不允许用成熟理论反向定义IR原语。时序7冻结Freeze职责决定哪些进入IR正式规范哪些删除哪些继续观察Pending。输出Accepted / Rejected / Pending形成下一版规范。禁止不允许因为工程成功就宣布理论正确。闭环示意时序0 提出问题 → 时序1 生成猜想 → 时序2 推导预测 → 时序3 最小工程 → 时序4 漏洞审计执行者宜与1/2/3不同→ 时序5 实验验证 → 时序6 理论映射 → 时序7 规范冻结 → 新问题回到时序0IR几何映射时序1产出汇总A. 基础对象H1每个P’对应一个局部(L’,D’)坐标系非全局坐标。H2P’对应局部闭环完成后的可追认位置非事件序列、非时间点。H3C’附着于P’上的局部状态可能对应标量场/向量场/更一般局部状态对象。B. 几何对象H4R’真正对应一致性延展规则更接近Parallel Transport轨迹只是载体。H5D’对应局部切向量。H6L’对应局部参考框架Frame。H7T’对应局部Frame变化的程度可能对应Connection更进一步对应Connection Coefficient。H8G’对应局部几何结构扩展即Atlas Growth。H9Ω’δ’是一组不可分离的Geometry Pair非两个独立对象。C. 测量H10L’对应局部Metric真正决定距离的是L’而非坐标。H11Distance对应最小重新编译成本。H12Curvature对应R’保持一致性的损失速度。H13Geodesic对应最少新增生成最少G’。H14Connection对应局部继续解释规则。D. AtlasH15他者对应当前Chart无法覆盖非错误。H16G’意味着新增Chart。H17Reality对应多个主体Atlas长期稳定交集。E. 动力学H18目标Ω’对应历史形成的方向场非终点。H19T’对应Compile PotentialD’沿势场自然偏转。H20真正演化的对象是Frame非点。H21R’天然存在方向即Compile Arrow非时间箭头。F. 高阶H22维度对应稳定R’的数量非预设。H23连续Metric是局部冻结Metric的高阶投影。H24奇点对应当前ReferenceL’失效非无限。H25Topology Change来自大量G’。H26累计T’导致整体Frame切换规范跃迁。H27各数学体系对应不同AtlasTransition对应理论映射。H28数学证明对应稳定R’R’锁定。H29AI训练对应新增ChartAtlas增长。H30遗忘对应覆盖减少非删除。H31主体的主要作用是选择当前Chart。H32Ωδ是任何Atlas都无法最终覆盖的边界。G. 总预测GP-1Compile Manifold暂名——点后验生成、Frame演化、Atlas增长、Compile Arrow、Compile Metric、Compile Potential。GP-2Geometry of Frames——核心对象是Frame非点。GP-3Generative Geometry暂名——顺序Ωδ→Ω’δ’→L’D’→P’→R’→Chart→Atlas→Geometry。几何是IR运行后逐步形成的高阶产物非IR前提。H. 几何最小映射公式假说H33∇_D’ L’ T’——跨P’的固定L’操作存在一致性规则T’度量L’相对D’的瞬时调整量。H34编译度量g、平行运输P由编译成本极小化导出范数选择欧氏范数为模型假设非推导必然。H35正四面体离散网格上存在某种数值构造具体计算内容与结果待补充。H36Compile Arrow为公理性选择非结构推导必然。H37λ步长惩罚系数、μ刚性惩罚系数尚未在IR内部锁定。