62. 小過
《易经》单卦映射页
001100，需经 fold 进入稳定域，归属 止静与内省 / 节制与平衡。
结构签名
- 卦符：䷽
- 二进制：
001100 - 下卦：艮 /
001 - 上卦：震 /
100 - 阳爻数：2
- 连续阳对数：1
- 最长阳串：2
X_6状态：需经 fold 进入稳定域- 互补卦：第 61 卦 /
110011 - 综卦：第 62 卦 /
001100 - 所属类别：止静与内省 / 节制与平衡
映射定位
在当前的 Omega 文化映射计划里，第 62 卦 小過 首先不是被当作抽象象义，而是被当作二元词 001100 来读取。该卦不在 X_6 内，因此其第一层数学位置是原始 6-bit 词，而不是稳定词。 它虽不是极端全阳，但已出现连续阳段，因此其形式位置是 fold 之前的临界或过载态。 它目前横跨的主题类别是 止静与内省、节制与平衡，因此其最强对应主要集中在 golden-mean-shift、zeckendorf-representation、rate-distortion-information-theory、ring-arithmetic 这些方向上。
对应说明
这一页保留原文，不是为了把卦辞和爻辞逐句翻译成公式，而是为了固定该卦的语义张力实际落在什么结构位置上。它不直接落在 X_6 内，因此原文在这里首先对应的是原始词的极端、临界或过载位置，数学上要先经过 Fold : Word 6 → X_6 才能进入稳定域。 在 Lean 锚点上，本页最强地落向 fibonacci_cardinality 与 fibonacci_cardinality_recurrence。
Omega 对象
Word 6 = {0,1}^6Fold : Word 6 → X_6进入稳定域的通道- 当前主方向：golden-mean-shift、zeckendorf-representation、rate-distortion-information-theory、ring-arithmetic
原文锚点
小過：亨。利貞。可小事，不可大事。飛鳥遺之音，不宜上宜下，大吉。 初六：飛鳥以凶。 六二：過其祖，遇其妣；不及其君，遇其臣；无咎。 九三：弗過防之，從或戕之，凶。 彖曰： 小過，小者過而亨也。過以利貞，與時行也。柔得中，是以小事吉也。剛失位而不中，是以不可大事也。有飛鳥之象焉，有飛鳥遺之音，不宜上宜下，大吉；上逆而下順也。 象曰： 山上有雷，小過；君子以行過乎恭，喪過乎哀，用過乎儉。
Omega 定理锚点
fibonacci_cardinality[Omega.Frontier.ConditionalArithmetic]：theorem fibonacci_cardinality (m : Nat) : Fintype.card (X m) = Nat.fib (m + 2)。把稳定词空间的计数压到|X_m| = F_{m+2}，适合解释卦系在单一约束下的增长。fibonacci_cardinality_recurrence[Omega.Frontier.ConditionalArithmetic]：theorem fibonacci_cardinality_recurrence (m : Nat) : Fintype.card (X (m + 2)) = Fintype.card (X (m + 1)) + Fintype.card (X m)。把增长写成前两级之和，适合解释由少量初始状态递归展开的结构。goldenMean_characteristic_recurrence[Omega.Graph.Sofic]：theorem goldenMean_characteristic_recurrence (m : Nat) : Fintype.card (X (m + 2)) = Fintype.card (X (m + 1)) + Fintype.card (X m)。说明 Fibonacci 递推来自 golden-mean adjacency 本身，而不是外加修辞。zeckendorf_uniqueness[Omega.Frontier.ConditionalArithmetic]：theorem zeckendorf_uniqueness {x y : X m} (h : X.zeckIndices x = X.zeckIndices y) : x = y。说明非相邻 Fibonacci 指标分解唯一，适合解释稀疏稳定布局的唯一性。zeckendorf_injective[Omega.Frontier.ConditionalArithmetic]：theorem zeckendorf_injective (m : Nat) : Function.Injective (X.zeckIndices (m。说明不同稳定词对应不同指标集，适合解释稀疏结构的可辨认性。
原文来源
- 本仓库原文文件：
texts/yijing/hexagram_62_xiaoguo.txt - 原文来自维基文库《周易》分卦页，经规范化后入库。
小结
这一页已经构成逐卦层的正式发布单元：它把原文锚点、位串结构、类别交叉与定理锚点放在同一坐标系里，重点不是替代传统注疏，而是展示该卦与 Omega 数学结构之间最可点名的映射位置。