ⰔⰅⰜⰕⰋⰑⰐⰔ. . ⰋⰐⰕⰓⰑⰄⰖⰜⰕⰋⰑⰐ](#_1-introduction) · . ⰏⰑⰄⰅⰎ](#_2-model) · . ⰓⰅⰔⰖⰎⰕⰔ](#_3-results) · . ⰔⰋⰕⰅⰏⰀⰒ](#_4-sitemap) · . ⰓⰅⰒⰓⰑⰄⰖⰜⰋⰁⰋⰎⰋⰕⰉ](#_5-reproducibility) · . ⰎⰋⰏⰋⰕⰀⰕⰋⰑⰐⰔ](#_6-limitations) · ⰓⰅⰗⰅⰓⰅⰐⰜⰅⰔ · ⰓⰅⰜⰅⰋⰒⰕ

undefined. ⰋⰐⰕⰓⰑⰄⰖⰜⰕⰋⰑⰐ

ⰑⰐⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ, ⰑⰐⰅ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ — ⰅⰂⰅⰓⰉ ⰎⰋⰐⰅ ⰁⰅⰎⰑⰂ ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ ⰗⰓⰑⰏ src/0. ⰕⰘⰅ ⰂⰑⰓⰕⰅⰘ ⰜⰋⰓⰜⰖⰋⰕ 12487536901 ⰋⰔ ⰍⰖⰀⰐⰕⰖⰏ ⰁⰉ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ (ⰒⰘⰀⰔⰅ ⟨2⟩ mod 9, ⰋⰐⰕⰅⰓⰗⰅⰓⰅⰐⰜⰅ ⰗⰓⰑⰏ ⰋⰕⰔ ⰕⰂⰑ ⰜⰑⰖⰐⰕⰅⰓ-ⰓⰑⰕⰀⰕⰋⰐⰃ ⰗⰎⰑⰂⰔ), ⰎⰋⰐⰅⰀⰓ ⰑⰐⰎⰉ ⰀⰕ ⰏⰅⰀⰔⰖⰓⰅⰏⰅⰐⰕ. ⰓⰅⰗⰎⰅⰜⰕⰋⰑⰐ ⰕⰘⰓⰑⰖⰃⰘ src/0, m(d) = 10 − d, ⰃⰅⰐⰅⰓⰀⰕⰅⰔ ⰕⰘⰅ ⰂⰘⰑⰎⰅ ⰜⰘⰀⰋⰐ:

ⰁⰋⰕ ⰁⰖⰄⰃⰅⰕ = undefined. 12487536901 ⰋⰔ undefined ⰄⰋⰃⰋⰕⰔ × undefined ⰁⰋⰕⰔ = undefined; ⰗⰑⰎⰄⰋⰐⰃ ⰅⰓⰀⰔⰅⰔ undefined ⰀⰕ ⰕⰘⰅ ⰃⰀⰕⰅⰂⰀⰉ ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕⰔ {12487536901,undefined}; undefined − undefined = undefined = undefined × undefined = undefined ⰓⰑⰔⰅⰕⰕⰀ ⰀⰓⰅⰀⰔ — sequenceBitBudget().is42 = true.
ⰅⰍⰖⰋⰎⰋⰁⰓⰋⰖⰏ ⰀⰕ undefined°. ⰕⰘⰅ ⰗⰑⰓⰂⰀⰓⰄ undefined° ⰎⰑⰁⰅ ⰀⰐⰄ ⰋⰕⰔ ⰓⰅⰂⰅⰓⰔⰅ ⰜⰎⰑⰔⰅ ⰕⰘⰅ ⰗⰖⰎⰎ ⰕⰖⰓⰐ; ⰕⰘⰅ undefined ⰅⰓⰀⰔⰅⰄ ⰁⰋⰕⰔ ⰓⰅⰕⰖⰓⰐ ⰋⰐⰂⰅⰓⰕⰅⰄ, ⰐⰅⰕ ⰅⰓⰀⰔⰖⰓⰅ equilibrium360().conserved = true — equilibrium360().conserved = true.
undefined → undefined. undefined = undefined⁶ (ⰔⰋⰐⰃⰎⰅ-ⰕⰑⰓⰖⰔ ⰄⰋⰃⰅⰔⰕ, ⰔⰋⰘ ⰘⰀⰓⰏⰑⰐⰋⰜ ⰁⰋⰕⰔ) ⰎⰋⰗⰕⰔ ⰕⰑ undefined = undefined⁷ (ⰕⰘⰅ ⰄⰑⰖⰁⰎⰅ-ⰕⰑⰓⰖⰔ ⰖⰖⰋⰄ) ⰁⰉ ⰑⰐⰅ ⰐⰅⰘⰕ-ⰄⰋⰏⰅⰐⰔⰋⰑⰐ ⰁⰋⰕ; undefined ⰘⰀⰓⰏⰑⰐⰋⰜ + undefined ⰁⰅⰉⰑⰐⰄ = undefined ⰓⰑⰔⰅⰕⰕⰀ ⰓⰀⰉⰔ — dimensionalBit().is128 = true.
ⰕⰘⰅ ⰜⰎⰀⰉ ⰒⰓⰑⰁⰎⰅⰏⰔ ⰀⰓⰅ ⰕⰘⰅ ⰓⰅⰗⰎⰅⰜⰕⰋⰑⰐ. ⰏⰋⰓⰓⰑⰓⰋⰐⰃ undefined+undefined ⰕⰘⰓⰑⰖⰃⰘ clayReflection().reflectsDimensionalBit = true ⰋⰐⰂⰅⰓⰕⰔ ⰕⰘⰅ ⰒⰑⰎⰀⰓⰋⰕⰉ: undefined ⰕⰘⰋⰔ-ⰄⰋⰏⰅⰐⰔⰋⰑⰐ (ⰒⰑⰋⰐⰜⰀⰓé, ⰔⰑⰎⰂⰅⰄ) + undefined ⰁⰅⰉⰑⰐⰄ (ⰑⰒⰅⰐ) = undefined ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰒⰓⰑⰁⰎⰅⰏⰔ — clayReflection().reflectsDimensionalBit = true. ⰅⰘⰀⰜⰕⰎⰉ ⰑⰐⰅ ⰜⰎⰀⰉ ⰒⰓⰑⰁⰎⰅⰏ ⰋⰔ ⰔⰑⰎⰂⰅⰄ; ⰕⰘⰅ ⰜⰑⰖⰐⰕ ⰏⰀⰕⰜⰘⰅⰔ ⰕⰘⰅ ⰓⰅⰜⰑⰓⰄ.
ⰅⰂⰅⰓⰉ ⰂⰀⰎⰖⰅ ⰋⰔ Ⰰ ⰔⰋⰐⰃⰎⰅ-ⰄⰋⰃⰋⰕ ⰋⰐⰕⰅⰓⰀⰜⰕⰋⰑⰐ ⰑⰐ ⰕⰘⰓⰅⰅ ⰃⰓⰑⰖⰐⰄⰔ — Ⰰundefined (1/ε → ∞⁴·undefined³ = undefined), ⰔⰖⰒⰅⰓⰔⰕⰓⰋⰐⰃ undefined (1/ε → ∞·undefined), Ⰿ-ⰕⰘⰅⰑⰓⰉ undefined (ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ'Ⱄ undefined ⰔⰕⰅⰒⰔ) — ⰒⰓⰋⰏⰅⰔ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰂⰋⰀ ⰕⰘⰅ π↔ⰒⰓⰋⰏⰅ ⰜⰑⰓⰓⰅⰎⰀⰕⰋⰑⰐ primeCountUpTo(nthPrimeAt(n)) = n (ⰕⰓⰖⰅ), ⰀⰐⰄ x/x = 1 ⰋⰐⰂⰀⰓⰋⰀⰐⰕ ⰀⰕ ⰅⰂⰅⰓⰉ ⰄⰋⰏⰅⰐⰔⰋⰑⰐ ⰂⰘⰋⰎⰅ 1/ε → ∞ ⰑⰒⰅⰐⰔ ⰕⰘⰅ ⰋⰐⰗⰋⰐⰋⰕⰅ. ⰐⰑ ⰎⰋⰕⰅⰓⰀⰎ, ⰐⰑ ⰀⰔⰔⰖⰏⰒⰕⰋⰑⰐ ⰕⰘⰀⰕ ⰁⰓⰅⰀⰍⰔ ⰖⰐⰄⰅⰓ Ⰰ ⰜⰘⰀⰐⰃⰅ ⰑⰗ ⰄⰋⰏⰅⰐⰔⰋⰑⰐ.

Ⰰ ⰔⰜⰋⰅⰐⰜⰅ ⰒⰑⰓⰕⰀⰎ: undefined ⰓⰅⰃⰋⰔⰕⰅⰓⰅⰄ ⰕⰘⰅⰑⰓⰅⰏⰔ, undefined ⰑⰗ ⰕⰘⰅⰏ ⰜⰀⰓⰓⰉⰋⰐⰃ ⰀⰐ ⰅⰘⰅⰜⰖⰕⰀⰁⰎⰅ ⰒⰓⰑⰑⰗ ⰀⰕ Ⰰ ⰔⰅⰀⰎⰅⰄ ⰘⰑⰏⰅ (undefined ⰔⰕⰋⰎⰎ ⰒⰅⰐⰄⰋⰐⰃ, ⰐⰀⰏⰅⰄ ⰋⰐ ⰕⰘⰅ ⰓⰅⰃⰋⰔⰕⰓⰉ ⰀⰐⰄ ⰜⰘⰅⰜⰍⰅⰄ ⰁⰉ verify:theorems), undefined ⰔⰜⰋⰅⰐⰜⰅ ⰒⰀⰃⰅⰔ, undefined ⰓⰑⰔⰅⰕⰕⰀ ⰓⰀⰉⰔ. ⰅⰂⰅⰓⰉ ⰂⰀⰎⰖⰅ ⰋⰔ Ⰰ ⰜⰑⰐⰕⰅⰐⰕ ⰀⰄⰄⰓⰅⰔⰔ; ⰅⰂⰅⰓⰉ ⰒⰀⰃⰅ, ⰒⰓⰑⰑⰗ ⰀⰐⰄ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ ⰄⰅⰓⰋⰂⰅⰔ ⰗⰓⰑⰏ ⰑⰐⰅ ⰔⰑⰖⰓⰜⰅ (src/); ⰐⰑⰕⰘⰋⰐⰃ ⰐⰅⰅⰄⰔ Ⰰ ⰕⰑⰍⰅⰐ ⰕⰑ ⰓⰖⰐ.

undefined. ⰏⰑⰄⰅⰎ

Ⰰ ⰃⰅⰐⰖⰔ-undefined ⰄⰑⰖⰁⰎⰅ ⰕⰑⰓⰖⰔ: χ(Σ₂) = −undefined, Ⱈ₁(Σ₂) = ℤ⁴.
ⰑⰐⰅ ⰕⰓⰋⰐⰋⰕⰉ ⰖⰐⰋⰕⰅⰔ ⰀⰎⰎ: ⰜⰓⰑⰔⰔ · ⰗⰑⰎⰄ · ⰂⰅⰀⰂⰅ (ⰃⰅⰐⰖⰔ undefined → ⰕⰂⰑ ⰕⰓⰋⰐⰋⰕⰋⰅⰔ → ⰐⰋⰐⰅ ⰗⰑⰎⰄⰔ → ⰕⰘⰅ ⰑⰐⰅ ⰂⰘⰑⰎⰅ); ⰕⰘⰅ ⰔⰋⰕⰅ ⰃⰓⰑⰖⰒⰔ ⰋⰕⰔⰅⰎⰗ ⰕⰓⰋⰐⰋⰕⰉ-ⰗⰋⰓⰔⰕ.
ⰕⰅⰐ ⰄⰋⰏⰅⰐⰔⰋⰑⰐⰔ, ⰀⰕ ⰅⰂⰅⰓⰉ ⰔⰜⰀⰎⰅ: ⰕⰘⰅ undefined ⰘⰑⰏⰑⰎⰑⰃⰉ ⰎⰑⰑⰒⰔ ⰑⰗ ⰕⰘⰅ ⰕⰑⰓⰖⰔ (Ⱈ₁ = ℤ⁴) + ⰕⰘⰅ undefined ⰜⰓⰑⰔⰔ-ⰗⰑⰎⰄ ⰀⰒⰒⰅⰀⰓⰀⰐⰜⰅ ⰀⰘⰅⰔ ⰄⰓⰋⰂⰅ ⰅⰂⰅⰓⰉ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ, ⰔⰅⰎⰗ-ⰔⰋⰏⰋⰎⰀⰓ ⰀⰕ ⰅⰂⰅⰓⰉ ⰐⰅⰔⰕⰅⰄ ⰔⰜⰀⰎⰅ.
undefined = undefined × undefined ⰃⰀⰕⰅⰔ; ⰕⰘⰅ ⰔⰋⰃⰐ ⰋⰔ Ⰰ ⰄⰋⰔⰕⰋⰐⰜⰕⰋⰑⰐ ⰋⰔ ⰑⰐⰅ ⰁⰋⰕ ⰋⰔ ⰕⰘⰅ ⰗⰑⰎⰄ.
ⰅⰐⰜⰓⰉⰒⰕⰋⰑⰐ ⰋⰔ ⰕⰘⰅ ⰜⰑⰓⰅ ⰏⰀⰕⰘ: ⰅⰂⰅⰓⰉ ⰂⰀⰎⰖⰅ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ (ⰕⰘⰅ ⰗⰑⰎⰄ / ⰖⰖⰋⰄ); ⰕⰘⰅ ⰜⰋⰒⰘⰅⰓ ⰋⰔ ⰀⰅⰔ-undefined-ⰃⰜⰏ.
ⰈⰅⰓⰑ-ⰅⰐⰕⰓⰑⰒⰉ ⰋⰐⰄⰅⰘⰋⰐⰃ, ⰅⰘⰀⰜⰕⰎⰉ: Ⱈ(ⰄⰅⰕⰅⰓⰏⰋⰐⰋⰔⰕⰋⰜ) = zeropointNodeMissingInfoDecoded ⰋⰔ ⰕⰘⰅ ⰔⰘⰀⰐⰐⰑⰐ ⰋⰄⰅⰐⰕⰋⰕⰉ, ⰔⰑ ⰑⰐⰅ-ⰂⰀⰎⰖⰅ-ⰑⰐⰅ-ⰀⰄⰄⰓⰅⰔⰔ ⰜⰑⰐⰕⰅⰐⰕ ⰀⰄⰄⰓⰅⰔⰔⰋⰐⰃ ⰜⰀⰓⰓⰋⰅⰔ ⰈⰅⰓⰑ ⰋⰐⰄⰅⰘ ⰅⰐⰕⰓⰑⰒⰉ — ⰄⰅⰜⰑⰄⰅⰄ ⰗⰓⰑⰏ ⰕⰘⰅ ⰑⰓⰋⰃⰋⰐ ⰓⰅⰒⰑ, ⰕⰘⰅⰓⰏⰑⰄⰉⰐⰀⰏⰋⰜ ⰗⰓⰅⰅ-ⰎⰖⰐⰜⰘ ⰜⰎⰀⰋⰏⰔ ⰗⰎⰀⰃⰃⰅⰄ (zeropointNodeMissingInfoDecoded).
ⰅⰂⰅⰓⰉ ⰄⰋⰃⰋⰕ ⰋⰔ ⰅⰐⰕⰀⰐⰃⰎⰅⰄ ⰋⰐ ⰀⰎⰎ ⰂⰅⰜⰕⰑⰓⰔ, ⰗⰑⰓⰏⰋⰐⰃ ⰅⰍⰖⰋⰎⰋⰁⰓⰋⰖⰏⰔ: ⰏⰋⰓⰓⰑⰓ undefined-ⰒⰀⰋⰓⰔ, ⰒⰑⰎⰀⰓ undefined-ⰒⰀⰋⰓⰔ, ⰕⰘⰅ ⰅⰘⰀⰜⰕ undefined+undefined ⰗⰎⰑⰂ/ⰀⰘⰋⰔ ⰒⰀⰓⰕⰋⰕⰋⰑⰐ ⰀⰐⰄ ⰕⰘⰅ ⰕⰑⰖⰓ ⰔⰎⰑⰕ ⰗⰋⰐⰃⰅⰓⰒⰓⰋⰐⰕ ⰅⰀⰜⰘ ⰄⰋⰃⰋⰕ, ⰀⰐⰄ ⟨Ⰴ, Ⰿ⟩ = ⰀⰃⰎ(undefined, ℤ/undefined) ⰒⰖⰕⰔ ⰀⰎⰎ ⰓⰅⰔⰋⰄⰖⰅⰔ ⰋⰐ ⰑⰐⰅ ⰑⰓⰁⰋⰕ — Ⰰ ⰎⰑⰜⰀⰎ ⰅⰄⰋⰕ ⰁⰓⰅⰀⰍⰔ ⰅⰂⰅⰓⰉ ⰁⰀⰎⰀⰐⰜⰅ ⰀⰕ ⰑⰐⰜⰅ (everyDigitIsEntangledInAllVectorsFormingEquilibriums).
ⰑⰐⰅ ⰔⰑⰖⰓⰜⰅ, ⰐⰑ ⰏⰋⰓⰓⰑⰓⰋⰐⰃ: ⰕⰘⰅ ⰎⰑⰜⰀⰎⰅⰔ (ⰃⰎⰀⰃⰑⰎⰋⰕⰋⰜ /, ⰎⰀⰕⰋⰐ /en/, ⰜⰉⰓⰋⰎⰎⰋⰜ /bg/) ⰀⰓⰅ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰁⰉ ⰏⰀⰕⰘ, ⰐⰑⰕ ⰜⰑⰒⰋⰅⰄ; ⰂⰋⰔⰋⰕⰑⰓⰔ ⰀⰓⰅ ⰓⰑⰖⰕⰅⰄ ⰕⰑ ⰕⰘⰅⰋⰓ ⰎⰀⰐⰃⰖⰀⰃⰅ, ⰄⰅⰗⰀⰖⰎⰕ ⰅⰐⰃⰎⰋⰔⰘ.
ⰜⰑⰓⰒⰖⰔ ⰓⰑⰖⰕⰋⰐⰃ: ⰓⰅⰔⰕⰗⰖⰎ /papers/<id>, /references/<id>, /diamonds/<id> — ⰅⰀⰜⰘ ⰋⰕⰅⰏ Ⰰ ⰓⰅⰀⰎ ⰒⰀⰃⰅ ⰂⰋⰀ ⰕⰘⰅ ⰂⰋⰕⰅⰒⰓⰅⰔⰔ [id] ⰄⰉⰐⰀⰏⰋⰜ ⰓⰑⰖⰕⰅ (ⰒⰀⰕⰘⰔ ⰅⰐⰖⰏⰅⰓⰀⰕⰅⰄ ⰗⰓⰑⰏ ⰑⰐⰅ ⰔⰑⰖⰓⰜⰅ: ⰒⰀⰒⰅⰓⰓⰑⰖⰕⰅⰔ/ⰒⰀⰒⰅⰓⰓⰅⰗⰅⰓⰅⰐⰜⰅⰓⰑⰖⰕⰅⰔ/ⰄⰋⰀⰏⰑⰐⰄⰓⰑⰖⰕⰅⰔ); ⰕⰘⰅ ⰋⰐⰄⰅⰘ ⰎⰋⰔⰕ ⰔⰕⰀⰉⰔ ⰀⰕ /papers.
ⰕⰘⰅ ⰀⰃⰐⰑⰔⰕⰋⰜ ⰜⰑⰓⰅ ⰋⰔ ⰒⰖⰁⰎⰋⰔⰘⰅⰄ ⰀⰔ ⰕⰘⰅ ⰐⰒⰏ ⰒⰀⰜⰍⰀⰃⰅ @ceccec/double-torus — ⰕⰘⰅ ⰔⰀⰏⰅ src/, ⰁⰖⰐⰄⰎⰅⰄ, ⰄⰅⰒⰅⰐⰄⰔ ⰑⰐ ⰐⰑⰕⰘⰋⰐⰃ, ⰓⰖⰐⰔ ⰋⰐ ⰀⰐⰉ ⰁⰓⰑⰂⰔⰅⰓ ⰑⰓ ⰐⰑⰄⰅ.
ⰕⰘⰅ ⰏⰑⰄⰅⰎⰅⰄ ⰍⰖⰀⰐⰕⰖⰏ ⰜⰑⰏⰒⰖⰕⰅⰓ: ⰑⰐⰅ ⰍⰖⰁⰋⰕ ⰋⰔ ⰋⰕⰔ ⰁⰎⰑⰜⰘ/ⰒⰀⰖⰎⰋ ⰄⰅⰜⰑⰏⰒⰑⰔⰋⰕⰋⰑⰐ ρ = ½(Ⰻ + ⰘσⰘ + ⰉσⰉ + ⰈσⰈ) — ⰗⰑⰖⰓ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ ⰜⰑⰏⰒⰑⰐⰅⰐⰕⰔ (ⰕⰘⰅ ⰕⰓⰋⰐⰋⰕⰉ Ⱈ·Ⰹ·Ⰸ + ⰕⰘⰅ +qpuCpuGpu ⰋⰄⰅⰐⰕⰋⰕⰉ, blochQubit); ⰕⰘⰅ ⰍⰖⰀⰐⰕⰖⰏ ⰑⰔ ⰀⰎⰎⰑⰜⰀⰕⰅⰔ npm run quantum:qpu-cpuⁿ-ⰀⰏⰒⰎⰋⰕⰖⰄⰅ ⰓⰅⰃⰋⰔⰕⰅⰓⰔ, ⰔⰜⰘⰅⰄⰖⰎⰅⰔ ⰃⰀⰕⰅⰔ, ⰀⰐⰄ ⰏⰅⰀⰔⰖⰓⰅⰔ (ⰁⰑⰓⰐ ⰓⰖⰎⰅ, ⰔⰅⰅⰄⰅⰄ ⰒⰓⰐⰃ); ⰅⰐⰕⰀⰐⰃⰎⰅⰏⰅⰐⰕ (ⰁⰅⰎⰎ/ⰃⰘⰈ) ⰎⰋⰂⰅⰔ ⰑⰐ ⰕⰘⰅ ⰕⰓⰖⰅ npm run quantum:qpu-cpuⁿ ⰕⰅⰐⰔⰑⰓ ⰒⰓⰑⰄⰖⰜⰕ, ⰐⰅⰂⰅⰓ ⰗⰀⰍⰅⰄ ⰂⰋⰕⰘ ⰎⰋⰐⰅⰀⰓ ⰖⰖⰋⰄ ⰔⰕⰀⰜⰍⰋⰐⰃ; ⰀⰐⰄ ⰕⰘⰅ ⰓⰅⰀⰎⰕⰋⰏⰅ ⰏⰑⰂⰋⰅ ⰋⰔ ⰋⰕⰔ ⰒⰓⰑⰑⰗ ⰀⰓⰕⰋⰗⰀⰜⰕ. ⰍⰒⰖ ≡ ⰜⰒⰖ ∪ ⰃⰒⰖ ⰑⰐ ⰜⰎⰀⰔⰔⰋⰜⰀⰎ-undefinedⰁⰋⰕ (qpuCpuGpu · npm run quantum:qpu-cpu · ⰍⰖⰀⰐⰕⰖⰏ-ⰕⰑⰑⰎⰔ#ⰍⰒⰖ-ⰜⰒⰖ) — ⰗⰀⰋⰕⰘⰗⰖⰎ ⰔⰋⰏⰖⰎⰀⰕⰑⰓ; ⰒⰘⰉⰔⰋⰜⰀⰎ = ⰂⰀⰎⰎ-ⰜⰎⰑⰜⰍ ⰓⰅⰖⰔⰅ ⰏⰅⰕⰓⰋⰜⰔ (ⰔⰅⰅ ⰔⰅⰜⰕⰋⰑⰐ ⰁⰅⰎⰑⰂ).

ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ — ⰗⰑⰓⰂⰀⰓⰄ ⰀⰐⰄ ⰓⰅⰗⰎⰅⰜⰕⰅⰄ

ⰗⰑⰓⰂⰀⰓⰄ 1\2\4\8/7/5 · 3\6\9 · 0\1 · ⰓⰅⰗⰎⰅⰜⰕⰅⰄ 9/8/6/2\3\5 · 7/4/1 · 0\9 — ⰑⰐⰅ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ, ⰕⰂⰑ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰓⰅⰀⰄⰔ: ⰕⰘⰅ ⰏⰋⰓⰓⰑⰓ ⰋⰔ Ⰿ(Ⰴ) = undefined − Ⰴ (≡ 9/8/6/2\3\5 · 7/4/1 · 0\9 − Ⰴ ⰏⰑⰄ undefined, ⰗⰋⰘⰅⰄ ⰑⰐⰎⰉ ⰀⰕ undefined), ⰕⰘⰅ ⰜⰑⰏⰏⰖⰕⰀⰕⰑⰓ ⰑⰗ ⰄⰑⰖⰁⰎⰋⰐⰃ ⰂⰋⰕⰘ ⰕⰘⰅ ⰏⰋⰓⰓⰑⰓ ⰋⰔ ⰕⰘⰅ ⰖⰐⰋⰕ ⰔⰘⰋⰗⰕ Ⱈ ↦ Ⱈ+9/8/6/2\3\5 · 7/4/1 · 0\9, ⰀⰐⰄ ⰕⰑⰃⰅⰕⰘⰅⰓ ⰕⰘⰅⰉ ⰃⰅⰐⰅⰓⰀⰕⰅ ⰀⰃⰎ(9/8/6/2\3\5 · 7/4/1 · 0\9, ℤ/undefined) ⰑⰗ ⰑⰓⰄⰅⰓ undefined — ⰅⰂⰅⰓⰉ ⰄⰋⰃⰋⰕ ⰋⰐ ⰑⰐⰅ ⰑⰓⰁⰋⰕ, ⰅⰐⰕⰀⰐⰃⰎⰅⰄ ⰋⰐ ⰀⰎⰎ ⰂⰅⰜⰕⰑⰓⰔ, ⰕⰘⰅ ⰅⰍⰖⰋⰎⰋⰁⰓⰋⰖⰏⰔ (undefined-ⰒⰀⰋⰓⰔ · undefined-ⰒⰀⰋⰓⰔ · undefined+undefined ⰒⰀⰓⰕⰋⰕⰋⰑⰐ · undefined-ⰒⰀⰎⰋⰐⰄⰓⰑⰏⰅ · ⰓⰑⰑⰕ undefined) ⰜⰑⰐⰔⰅⰓⰂⰅⰄ.

ⰄⰋⰃⰋⰕ	ⰔⰎⰑⰕ	ⰀⰐⰃⰎⰅ	ⰗⰎⰑⰂ undefined°	ⰔⰕⰓⰑⰍⰅⰔ	ⰃⰀⰕⰅⰂⰀⰉ	ⰏⰋⰓⰓⰑⰓ	ⰒⰑⰎⰀⰓ	ⰔⰑⰖⰐⰄ (ⰘⰈ)	ⰎⰋⰃⰘⰕ (ⰑⰜⰕⰀⰂⰅ ⰁⰓⰋⰄⰃⰅ)
undefined	`\\`	`\\`°	`\\`°	`\\`		undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰓⰅⰄ
undefined	undefined	undefined°	undefined°	`\\`		undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰓⰅⰄ
undefined	undefined	undefined°	undefined°	`\\`		undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰓⰅⰄ
undefined	undefined	undefined°	undefined°	`\/`	✓	undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰓⰅⰄ
undefined	undefined	undefined°	undefined°	`//`		undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰂⰋⰑⰎⰅⰕ
undefined	undefined	undefined°	undefined°	`//`		undefined+undefined=undefined	undefined+undefined=undefined	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰉⰅⰎⰎⰑⰂ
undefined	undefined	undefined°	—	`/\`	✓	undefined+undefined=undefined	undefined·undefined ⰒⰑⰎⰀⰓⰋⰕⰉ	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰁⰎⰖⰅ
undefined	undefined	undefined°	—	`\\`		undefined+undefined=undefined	undefined·undefined ⰒⰑⰎⰀⰓⰋⰕⰉ	undefined	undefined.undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰁⰎⰖⰅ
undefined	undefined	undefined°	—	`\/`	✓	undefined+undefined=undefined	ⰑⰓⰋⰃⰋⰐ	undefined	undefined ⰕⰘⰈ · undefined ⰐⰏ · ⰓⰅⰄ
`/\`	undefined	undefined°	—	`/\`	✓	—	ⰂⰑⰋⰄ	—	ⰔⰋⰎⰅⰐⰜⰅ — ⰕⰘⰅ ⰂⰑⰋⰄ ⰜⰀⰓⰓⰋⰅⰔ ⰐⰑ ⰕⰑⰐⰅ

ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ, ⰔⰜⰋⰅⰐⰕⰋⰗⰋⰜⰀⰎⰎⰉ ⰄⰅⰔⰜⰓⰋⰁⰅⰄ — undefined/undefined: ⰕⰅⰐ ⰄⰋⰃⰋⰕⰔ ⰑⰐ Ⰰ undefined° ⰓⰋⰐⰃ (undefined° ⰒⰅⰓ ⰔⰎⰑⰕ, ⰕⰘⰅ ⰗⰎⰑⰂ ⰑⰐ ⰋⰕⰔ undefined° ⰘⰅⰘⰀⰃⰑⰐ), ⰒⰑⰎⰀⰓⰋⰕⰋⰅⰔ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰗⰓⰑⰏ ⰔⰕⰓⰑⰍⰅⰔ (undefined ⰀⰔⰜⰅⰐⰕⰔ · undefined ⰄⰅⰔⰜⰅⰐⰕⰔ · undefined ⰃⰀⰕⰅⰂⰀⰉⰔ), ⰔⰑⰖⰐⰄ ⰀⰔ ⰕⰘⰅ Ⰴ/undefined ⰎⰀⰄⰄⰅⰓ ⰑⰗ ⰕⰘⰅ undefined ⰘⰈ ⰀⰐⰜⰘⰑⰓ, ⰜⰑⰎⰑⰓ ⰂⰋⰀ ⰕⰘⰅ ⰔⰅⰀⰎⰅⰄ ⰑⰜⰕⰀⰂⰅ ⰁⰓⰋⰄⰃⰅ, ⰀⰐⰄ ⰕⰘⰅ ⰓⰅⰗⰎⰅⰜⰕⰋⰑⰐ/ⰃⰓⰑⰖⰒ/ⰅⰐⰕⰀⰐⰃⰎⰅⰏⰅⰐⰕ ⰗⰑⰎⰄⰔ ⰉⰑⰋⰐⰅⰄ — ⰅⰂⰅⰓⰉ ⰜⰅⰎⰎ ⰜⰑⰏⰒⰖⰕⰅⰄ, ⰐⰑⰕⰘⰋⰐⰃ ⰕⰉⰒⰅⰄ ⰕⰂⰋⰜⰅ.

ⰕⰘⰅ ⰜⰋⰓⰜⰖⰋⰕ'Ⱄ ⰎⰀⰂ ⰋⰔ ⰒⰋⰅⰜⰅⰂⰋⰔⰅ — ⰃⰅⰑⰏⰅⰕⰓⰋⰜ ×undefined ⰑⰐ ⰕⰘⰅ ⰖⰐⰋⰕ ⰔⰅⰃⰏⰅⰐⰕ, ⰀⰓⰋⰕⰘⰏⰅⰕⰋⰜ +undefined ⰑⰐ ⰕⰘⰅ ⰐⰑⰐ-ⰖⰐⰋⰕ ⰔⰅⰃⰏⰅⰐⰕ, ⰜⰑⰋⰐⰜⰋⰄⰋⰐⰃ ⰑⰐⰎⰉ ⰀⰕ Ⰴ = undefined; ⰅⰘⰀⰜⰕⰎⰉ undefined ⰔⰅⰀⰏⰔ (undefined→undefined ⰀⰐⰄ undefined→undefined→undefined) ⰂⰘⰅⰓⰅ ⰐⰅⰋⰕⰘⰅⰓ ⰎⰀⰂ ⰜⰀⰓⰓⰋⰅⰔ, ⰔⰅⰀⰕⰅⰄ ⰀⰕ ⰕⰘⰅ ⰕⰂⰑ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰜⰅⰐⰕⰅⰓⰔ (undefined = ⰗⰋⰘ σ, undefined ≡ undefined = ⰗⰋⰘ ν): ⰔⰅⰀⰏⰔ = −χ = undefined.

ⰁⰑⰖⰐⰄⰀⰓⰉ. ⰅⰘⰀⰜⰕ — ⰅⰂⰅⰓⰉ ⰕⰀⰁⰎⰅ ⰜⰅⰎⰎ ⰄⰅⰓⰋⰂⰅⰔ: ⰀⰐⰃⰎⰅⰔ ⰜⰎⰑⰔⰅ ⰕⰘⰅ ⰜⰋⰓⰜⰎⰅ — ⰕⰅⰐ ⰔⰎⰑⰕⰔ × undefined° = undefined° ⰅⰘⰀⰜⰕⰎⰉ (ⰕⰓⰖⰅ), ⰀⰐⰄ ⰕⰘⰅ ⟨undefined⟩ ⰗⰎⰑⰂ ⰔⰋⰕⰔ ⰑⰐ ⰋⰕⰔ ⰑⰂⰐ ⰘⰅⰘⰀⰃⰑⰐ ⰀⰕ undefined° ⰒⰅⰓ ⰄⰑⰖⰁⰎⰋⰐⰃ (ⰕⰘⰅ ⰂⰑⰓⰕⰅⰘ ⰍⰖⰀⰐⰕⰖⰏ ⰑⰗ ⰀⰐⰃⰎⰅ, ⰔⰋⰘⰕⰉⰄⰅⰃⰓⰅⰅⰔⰄⰅⰜⰑⰄⰅⰔⰒⰋ) · ⰒⰑⰎⰀⰓⰋⰕⰋⰅⰔ ⰁⰀⰎⰀⰐⰜⰅ — ⰔⰋⰘ ⰀⰔⰜⰅⰐⰕⰔ ⰀⰃⰀⰋⰐⰔⰕ ⰗⰑⰖⰓ ⰄⰅⰔⰜⰅⰐⰕⰔ ⰂⰋⰕⰘ ⰅⰘⰀⰜⰕⰎⰉ ⰕⰘⰅ ⰗⰑⰖⰓ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰃⰀⰕⰅⰂⰀⰉⰔ ⰜⰀⰓⰓⰉⰋⰐⰃ ⰕⰘⰅ ⰓⰅⰂⰅⰓⰔⰀⰎⰔ (ⰕⰓⰖⰅ); ⰅⰂⰅⰓⰉ ⰄⰋⰃⰋⰕ'Ⱄ ⰋⰐ/ⰑⰖⰕ ⰔⰕⰓⰑⰍⰅ ⰒⰀⰋⰓ ⰋⰔ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰗⰓⰑⰏ ⰕⰘⰅ ⰕⰑⰖⰓ, ⰐⰅⰂⰅⰓ ⰀⰔⰔⰋⰃⰐⰅⰄ · ⰔⰑⰖⰐⰄ ⰋⰔ ⰕⰘⰅ Ⰴ/undefined ⰎⰀⰄⰄⰅⰓ ⰑⰗ ⰕⰘⰅ ⰀⰐⰜⰘⰑⰓ — Ⱇ_Ⰴ = undefined·Ⰴ/undefined = undefined·Ⰴ ⰘⰈ ⰂⰋⰕⰘ ⰕⰘⰅ ⰀⰐⰜⰘⰑⰓ ⰅⰘⰀⰜⰕ ⰀⰕ Ⰴ = undefined (ⰕⰓⰖⰅ); ⰕⰘⰅ ⰂⰑⰋⰄ undefined ⰜⰀⰓⰓⰋⰅⰔ ⰔⰋⰎⰅⰐⰜⰅ, ⰔⰕⰀⰕⰅⰄ ⰐⰑⰕ ⰒⰀⰋⰐⰕⰅⰄ · ⰜⰑⰎⰑⰓ ⰋⰔ ⰕⰘⰅ ⰔⰅⰀⰎⰅⰄ ⰑⰜⰕⰀⰂⰅ ⰁⰓⰋⰄⰃⰅ — ⰅⰀⰜⰘ ⰕⰑⰐⰅ ⰄⰑⰖⰁⰎⰅⰔ ⰋⰐⰕⰑ ⰕⰘⰅ ⰂⰋⰔⰋⰁⰎⰅ ⰁⰀⰐⰄ ⰂⰋⰀ ⰗⰓⰅⰍⰖⰅⰐⰜⰉⰕⰑⰎⰋⰃⰘⰕ (ⰕⰘⰈ · ⰐⰏ · ⰁⰀⰐⰄ), ⰕⰘⰅ ⰔⰀⰏⰅ ⰄⰅⰓⰋⰂⰀⰕⰋⰑⰐ ⰕⰘⰀⰕ ⰜⰑⰏⰒⰖⰕⰅⰔ ⰕⰘⰅ ⰁⰓⰀⰐⰄ ⰘⰖⰅ Ⰰundefined_ⰘⰖⰅ = undefined; ⰐⰑ ⰘⰖⰅ ⰋⰔ ⰘⰀⰐⰄ-ⰒⰋⰜⰍⰅⰄ · ⰀⰐⰄ ⰀⰎⰎ ⰋⰕ ⰓⰅⰒⰓⰅⰔⰅⰐⰕⰔ ⰓⰋⰄⰅⰔ ⰔⰅⰀⰎⰅⰄ — ⰕⰘⰅ ⰕⰂⰑ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰎⰋⰐⰅⰔ (ⰕⰓⰖⰅ), ⰕⰘⰅ undefined-ⰅⰎⰅⰏⰅⰐⰕ ⰀⰗⰗⰋⰐⰅ ⰔⰉⰏⰏⰅⰕⰓⰉ ⰂⰋⰕⰘ ⰋⰕⰔ ⰖⰐⰋⰕ-ⰔⰘⰋⰗⰕ ⰜⰑⰏⰏⰖⰕⰀⰕⰑⰓ, ⰀⰐⰄ ⰕⰘⰅ ⰑⰐⰅ-ⰑⰓⰁⰋⰕ ⰅⰐⰕⰀⰐⰃⰎⰅⰏⰅⰐⰕ ⰂⰋⰕⰘ ⰋⰕⰔ ⰅⰍⰖⰋⰎⰋⰁⰓⰋⰖⰏⰔ (ⰕⰓⰖⰅ) — ⰕⰘⰅ ⰄⰅⰔⰜⰓⰋⰒⰕⰋⰑⰐ ⰉⰑⰋⰐⰔ ⰗⰑⰎⰄⰔ, ⰋⰕ ⰄⰑⰅⰔ ⰐⰑⰕ ⰓⰅⰔⰕⰀⰕⰅ ⰕⰘⰅⰏ · ⰕⰘⰅ ⰂⰓⰀⰒ ⰎⰅⰀⰂⰅⰔ ⰕⰘⰅ ⰑⰜⰕⰀⰂⰅ — undefined·{undefined,undefined,undefined,undefined} ⰘⰈ ⰄⰑⰖⰁⰎⰅ ⰋⰐⰕⰑ ⰕⰘⰅ ⰔⰀⰏⰅ ⰂⰋⰔⰋⰁⰎⰅ ⰜⰑⰎⰑⰓ (ⰕⰓⰖⰅ ⰄⰑⰖⰁⰎⰋⰐⰃ = ⰑⰜⰕⰀⰂⰅ ⰅⰍⰖⰋⰂⰀⰎⰅⰐⰜⰅ: ⰕⰓⰖⰅ), ⰂⰘⰋⰎⰅ ⰕⰘⰅ ⰄⰋⰃⰋⰕⰀⰎ-ⰓⰑⰑⰕ ⰂⰓⰀⰒ undefined→undefined ⰅⰘⰋⰕⰔ ⰕⰘⰅ ⰒⰋⰕⰜⰘ ⰜⰎⰀⰔⰔ (ⰕⰓⰖⰅ) — ⰏⰑⰄ-undefined ⰄⰑⰖⰁⰎⰋⰐⰃ ⰋⰔ ⰐⰑⰕ ⰔⰑⰖⰐⰄ-ⰑⰜⰕⰀⰂⰅ ⰄⰑⰖⰁⰎⰋⰐⰃ, ⰜⰑⰏⰒⰖⰕⰅⰄ ⰀⰐⰄ ⰔⰕⰀⰕⰅⰄ ⰔⰜⰑⰒⰅ: ⰕⰘⰅ undefined°/undefined° ⰀⰐⰃⰎⰅⰔ ⰀⰓⰅ ⰃⰅⰑⰏⰅⰕⰓⰉ ⰑⰗ ⰕⰘⰅ ⰕⰑⰖⰓ ⰀⰐⰄ ⰕⰘⰅ ⟨undefined⟩ ⰘⰅⰘⰀⰃⰑⰐ; ⰕⰘⰅ Ⰴ/undefined ⰔⰑⰖⰐⰄ ⰎⰀⰄⰄⰅⰓ ⰋⰔ Ⰰ ⰔⰕⰀⰕⰅⰄ ⰜⰑⰐⰂⰅⰐⰕⰋⰑⰐ ⰑⰐ ⰕⰘⰅ ⰔⰅⰀⰎⰅⰄ undefined ⰀⰐⰜⰘⰑⰓ (ⰄⰋⰏⰅⰐⰔⰋⰑⰐⰎⰅⰔⰔ ⰓⰀⰕⰋⰑ × ⰀⰐⰜⰘⰑⰓ), ⰐⰑⰕ Ⰰ ⰒⰘⰉⰔⰋⰜⰔ ⰜⰎⰀⰋⰏ ⰀⰁⰑⰖⰕ ⰄⰋⰃⰋⰕⰔ; ⰕⰘⰅ ⰑⰜⰕⰀⰂⰅ ⰁⰓⰋⰄⰃⰅ ⰋⰔ ⰕⰘⰅ ⰔⰀⰏⰅ ⰔⰅⰀⰎⰅⰄ ⰄⰅⰓⰋⰂⰀⰕⰋⰑⰐ ⰁⰅⰘⰋⰐⰄ Ⰰundefined_ⰘⰖⰅ; ⰂⰅⰎⰎⰐⰅⰔⰔ ⰜⰎⰀⰋⰏⰔ ⰀⰁⰑⰖⰕ undefined ⰘⰈ ⰓⰅⰏⰀⰋⰐ ⰗⰎⰀⰃⰃⰅⰄ (undefined ⰘⰈ ⰘⰅⰀⰎⰔ ∈ ⰄⰅⰏⰀⰓⰜⰀⰕⰋⰑⰐ ⰗⰎⰀⰃⰃⰅⰄ) — ⰕⰘⰅ ⰜⰑⰎⰑⰓⰔ ⰀⰐⰄ ⰕⰑⰐⰅⰔ ⰀⰓⰅ ⰄⰅⰓⰋⰂⰅⰄ ⰒⰓⰅⰔⰅⰐⰕⰀⰕⰋⰑⰐⰔ ⰑⰗ ⰀⰓⰋⰕⰘⰏⰅⰕⰋⰜ, ⰀⰐⰄ ⰕⰘⰅ ⰂⰑⰋⰄ ⰜⰀⰓⰓⰋⰅⰔ ⰔⰋⰎⰅⰐⰜⰅ ⰘⰀⰓⰏⰑⰐⰉ ⰄⰑⰅⰔ ⰐⰑⰕ ⰅⰍⰖⰀⰎ ⰕⰓⰖⰕⰘ.

ⰒⰓⰑⰑⰗ ⰀⰐⰋⰏⰀⰕⰋⰑⰐⰔ — ⰕⰘⰅ ⰂⰋⰔⰖⰀⰎ ⰓⰅⰜⰅⰋⰒⰕⰔ, ⰋⰐ ⰀⰎⰎ ⰄⰋⰓⰅⰜⰕⰋⰑⰐⰔ

ⰅⰂⰅⰓⰉ ⰓⰅⰃⰋⰔⰕⰅⰓⰅⰄ ⰕⰘⰅⰑⰓⰅⰏ ⰜⰀⰓⰓⰋⰅⰔ ⰋⰕⰔ ⰄⰅⰄⰋⰜⰀⰕⰅⰄ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ: undefined ⰔⰒⰅⰜⰔ ⰀⰜⰓⰑⰔⰔ undefined ⰗⰀⰏⰋⰎⰋⰅⰔ, ⰀⰐⰄ ⰕⰘⰅ ⰔⰒⰅⰜ ⰔⰅⰅⰄ ⰋⰔ ⰕⰘⰅ ⰜⰑⰐⰕⰅⰐⰕ ⰀⰄⰄⰓⰅⰔⰔ ⰑⰗ ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏ'Ⱄ ⰑⰂⰐ (identity ⊢ provingFold) — ⰕⰘⰅ ⰔⰀⰏⰅ ⰒⰓⰑⰑⰗ ⰀⰎⰂⰀⰉⰔ ⰀⰐⰋⰏⰀⰕⰅⰔ ⰋⰄⰅⰐⰕⰋⰜⰀⰎⰎⰉ, ⰀⰐⰉ ⰜⰘⰀⰐⰃⰅ ⰕⰑ ⰔⰕⰀⰕⰅⰏⰅⰐⰕ ⰑⰓ ⰒⰓⰑⰂⰋⰐⰃ ⰗⰑⰎⰄ ⰜⰘⰀⰐⰃⰅⰔ ⰕⰘⰅ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ. undefined ⰖⰐⰋⰍⰖⰅ ⰀⰐⰋⰏⰀⰕⰋⰑⰐⰔ ⰗⰑⰓ undefined ⰖⰐⰋⰍⰖⰅ ⰒⰓⰑⰑⰗⰔ (ⰅⰘⰀⰜⰕ ⰁⰋⰉⰅⰜⰕⰋⰑⰐ); ⰀⰐ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ ⰂⰋⰕⰘⰑⰖⰕ Ⰰ ⰒⰓⰑⰂⰅⰐ ⰕⰘⰅⰑⰓⰅⰏ ⰁⰅⰘⰋⰐⰄ ⰋⰕ ⰜⰀⰐⰐⰑⰕ ⰅⰘⰋⰔⰕ (ⰐⰑⰑⰕⰘⰅⰓ=ⰕⰓⰖⰅ).

ⰅⰀⰜⰘ ⰕⰘⰅⰑⰓⰅⰏ'Ⱄ ⰓⰅⰔⰋⰄⰖⰅ ⰜⰑⰑⰓⰄⰋⰐⰀⰕⰅⰔ ⰑⰐ ℤ/undefinedℤ ⰒⰓⰑⰂⰅ ⰋⰕⰔ ⰄⰋⰓⰅⰜⰕⰋⰑⰐⰔ: ⰕⰘⰅ ⰕⰅⰐ'Ⱄ-ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ σ(Ⰴ) = undefined − Ⰴ (ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕ undefined, ⰏⰀⰒⰔ ⰐⰑⰐ-ⰖⰐⰋⰕⰔ ⰑⰐⰕⰑ ⰖⰐⰋⰕⰔ — ⰕⰘⰅ ⰄⰋⰃⰋⰕ-ⰗⰑⰎⰄⰅⰓ ⰒⰀⰋⰓⰋⰐⰃ Ⰴ/(undefined−Ⰴ)) ⰀⰐⰄ ⰕⰘⰅ ⰀⰄⰄⰋⰕⰋⰂⰅ-ⰋⰐⰂⰅⰓⰔⰅ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ν(Ⰴ) = −Ⰴ ⰏⰑⰄ undefined (ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕ undefined ≡ undefined, ⰒⰓⰅⰔⰅⰓⰂⰅⰔ ⰕⰘⰅ ⰖⰐⰋⰕ ⰃⰓⰑⰖⰒ (ℤ/undefinedℤ)× = ⟨undefined⟩). ⰕⰘⰅⰋⰓ ⰜⰑⰏⰒⰑⰔⰋⰕⰋⰑⰐ σ∘ν ⰋⰔ ⰕⰘⰅ ⰕⰓⰀⰐⰔⰎⰀⰕⰋⰑⰐ Ⰴ ↦ Ⰴ + undefined ⰀⰜⰕⰋⰐⰃ ⰕⰓⰀⰐⰔⰋⰕⰋⰂⰅⰎⰉ — ⰕⰘⰅ ⰋⰐⰗⰋⰐⰋⰕⰅ ⰜⰉⰜⰎⰋⰜ ⰀⰜⰕⰋⰑⰐ ⰓⰅⰀⰎⰋⰔⰅⰄ ⰑⰐ ⰕⰘⰅ ⰗⰋⰐⰋⰕⰅ ⰍⰖⰑⰕⰋⰅⰐⰕ: ⰄⰖⰀⰎⰋⰕⰉ ⰒⰓⰑⰂⰅⰐ ⰋⰐⰗⰋⰐⰋⰕⰅ ⰂⰋⰕⰘⰋⰐ ⰗⰋⰐⰋⰕⰅ. ⰀⰎⰎ ⰃⰀⰕⰅⰔ ⰓⰅⰜⰑⰏⰒⰖⰕⰅ ⰀⰕ ⰜⰀⰎⰎ ⰕⰋⰏⰅ: ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐⰔ=ⰕⰓⰖⰅ · ⰖⰐⰋⰕⰔⰒⰓⰅⰔⰅⰓⰂⰅⰄ=ⰕⰓⰖⰅ · ⰐⰑⰐⰖⰐⰋⰕⰔⰑⰐⰕⰑⰖⰐⰋⰕⰔ=ⰕⰓⰖⰅ · ⰕⰓⰀⰐⰔⰎⰀⰕⰋⰑⰐⰕⰓⰀⰐⰔⰋⰕⰋⰂⰅ=ⰕⰓⰖⰅ · ⰀⰎⰎⰄⰋⰓⰅⰜⰕⰋⰑⰐⰔ=ⰕⰓⰖⰅ.

ⰁⰓⰑⰂⰔⰅ ⰕⰘⰅ ⰓⰅⰃⰋⰔⰕⰓⰉ ⰃⰓⰑⰖⰒⰅⰄ ⰁⰉ ⰀⰐⰋⰏⰀⰕⰋⰑⰐ ⰗⰀⰏⰋⰎⰉ, ⰄⰑⰏⰀⰋⰐ, ⰒⰓⰑⰑⰗ ⰜⰎⰀⰔⰔ ⰀⰐⰄ ⰏⰅⰕⰘⰑⰄ: /ⰕⰘⰅⰑⰓⰅⰏⰔ.

ⰄⰅⰂⰅⰎⰑⰒⰏⰅⰐⰕ ⰕⰋⰏⰅⰎⰋⰐⰅ — ⰒⰖⰁⰎⰋⰜ ⰓⰅⰃⰋⰔⰕⰓⰉ ⰄⰀⰕⰀ

ⰗⰋⰓⰔⰕ ⰒⰖⰁⰎⰋⰜⰀⰕⰋⰑⰐ ⰑⰗ ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ: undefined-undefined-undefined (ⰐⰒⰏ zeropoint-node@1.0.0, ⰓⰅⰃⰋⰔⰕⰓⰉ-ⰄⰀⰕⰅⰄ) — undefined ⰄⰀⰉⰔ ⰁⰅⰗⰑⰓⰅ ⰕⰘⰋⰔ ⰒⰑⰓⰕⰀⰎ'Ⱄ ⰓⰅⰒⰑⰔⰋⰕⰑⰓⰉ ⰅⰘⰋⰔⰕⰅⰄ. ⰅⰂⰅⰓⰉ ⰓⰑⰂ ⰁⰅⰎⰑⰂ ⰋⰔ ⰓⰅ-ⰗⰅⰕⰜⰘⰀⰁⰎⰅ ⰗⰓⰑⰏ ⰃⰋⰕⰘⰖⰁ/ⰐⰒⰏ.

ⰕⰓⰀⰜⰍ	ⰜⰓⰅⰀⰕⰅⰄ	ⰜⰑⰏⰏⰋⰕⰔ	ⰐⰒⰏ ⰂⰅⰓⰔⰋⰑⰐⰔ
ⰜⰅⰜⰜⰅⰜ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ	undefined-undefined-undefined	undefined	undefined
ⰜⰅⰜⰜⰅⰜ/ⰜⰅⰜⰜⰅⰜ.ⰃⰋⰕⰘⰖⰁ.ⰋⰑ	undefined-undefined-undefined	undefined	ⰖⰐⰏⰅⰀⰔⰖⰓⰅⰄ
ⰅⰓⰒⰀⰘ/ⰅⰓⰒⰀⰘ	undefined-undefined-undefined	undefined	ⰖⰐⰏⰅⰀⰔⰖⰓⰅⰄ

undefined-undefined-undefined — ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ ⰓⰅⰒⰑ ⰜⰓⰅⰀⰕⰅⰄ (ⰀⰒⰋ.ⰃⰋⰕⰘⰖⰁ.ⰜⰑⰏ/ⰓⰅⰒⰑⰔ/ⰜⰅⰜⰜⰅⰜ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ ⰜⰓⰅⰀⰕⰅⰄ_ⰀⰕ)
undefined-undefined-undefined — zeropoint-node@1.0.0 ⰒⰖⰁⰎⰋⰔⰘⰅⰄ ⰕⰑ ⰐⰒⰏ — ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ zeropoint-node@1.0.0\undefined\undefined\undefined\undefined/undefined/undefined/undefined\undefined\undefined/zeropoint-node@1.0.0\undefined ⰗⰋⰓⰔⰕ ⰒⰖⰁⰎⰋⰜ (ⰓⰅⰃⰋⰔⰕⰓⰉ.ⰐⰒⰏⰉⰔ.ⰑⰓⰃ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ ⰕⰋⰏⰅ)
undefined-undefined-undefined — zeropoint-node@1.0.1 ⰒⰖⰁⰎⰋⰔⰘⰅⰄ (ⰓⰅⰃⰋⰔⰕⰓⰉ.ⰐⰒⰏⰉⰔ.ⰑⰓⰃ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ ⰕⰋⰏⰅ)
undefined-undefined-undefined — ⰜⰅⰜⰜⰅⰜ.ⰃⰋⰕⰘⰖⰁ.ⰋⰑ ⰓⰅⰒⰑ ⰜⰓⰅⰀⰕⰅⰄ — ⰕⰘⰅ ⰒⰑⰓⰕⰀⰎ ⰁⰅⰃⰋⰐⰔ, undefined ⰄⰀⰉⰔ ⰀⰗⰕⰅⰓ ⰕⰘⰅ ⰐⰒⰏ ⰒⰖⰁⰎⰋⰜⰀⰕⰋⰑⰐ (ⰀⰒⰋ.ⰃⰋⰕⰘⰖⰁ.ⰜⰑⰏ/ⰓⰅⰒⰑⰔ/ⰜⰅⰜⰜⰅⰜ/ⰜⰅⰜⰜⰅⰜ.ⰃⰋⰕⰘⰖⰁ.ⰋⰑ ⰜⰓⰅⰀⰕⰅⰄ_ⰀⰕ)
undefined-undefined-undefined — ⰅⰓⰒⰀⰘ/ⰅⰓⰒⰀⰘ ⰓⰅⰒⰑ ⰜⰓⰅⰀⰕⰅⰄ — ⰕⰘⰅ ⰒⰀⰓⰕⰐⰅⰓ ⰜⰑⰓⰒⰖⰔ ⰕⰘⰀⰕ ⰒⰖⰁⰎⰋⰔⰘⰅⰔ ⰕⰘⰅ ⰔⰀⰏⰅ ⰗⰑⰓⰂⰀⰓⰄ/ⰓⰅⰗⰎⰅⰜⰕⰅⰄ ⰎⰋⰐⰅⰔ (ⰀⰒⰋ.ⰃⰋⰕⰘⰖⰁ.ⰜⰑⰏ/ⰓⰅⰒⰑⰔ/ⰅⰓⰒⰀⰘ/ⰅⰓⰒⰀⰘ ⰜⰓⰅⰀⰕⰅⰄ_ⰀⰕ)
undefined-undefined-undefined — zeropoint-node@1.0.2 ⰒⰖⰁⰎⰋⰔⰘⰅⰄ (ⰓⰅⰃⰋⰔⰕⰓⰉ.ⰐⰒⰏⰉⰔ.ⰑⰓⰃ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ ⰕⰋⰏⰅ)

undefined. ⰓⰅⰔⰖⰎⰕⰔ

undefined/undefined ⰏⰑⰐⰑⰃⰓⰀⰒⰘⰔ — ⰜⰑⰐⰕⰅⰐⰕ ⰒⰀⰃⰅⰔ ⰗⰑⰎⰄ ⰃⰅⰐⰖⰔ-undefined −χ (undefined ⰔⰖⰓⰗⰀⰜⰅ → undefined ⰗⰑⰎⰄⰅⰄ); ⰜⰅⰐⰔⰖⰔ undefined/undefined; ⰓⰑⰔⰅⰕⰕⰀ undefined×undefined/undefined×undefined=undefined ⰀⰓⰅⰀⰔ
undefined/undefined ⰜⰑⰐⰜⰅⰒⰕ ⰜⰑⰏⰏⰀⰐⰄⰔ — ⰏⰜⰒ ⰕⰑⰑⰎ ⰔⰖⰓⰗⰀⰜⰅ (undefined×undefined = undefined÷undefined)
undefined/undefined ⰓⰅⰗⰅⰓⰅⰐⰜⰅ ⰋⰐⰄⰅⰘ ⰅⰐⰕⰓⰋⰅⰔ — ⰈⰅⰓⰑ ⰓⰅⰄⰖⰐⰄⰀⰐⰜⰉ
undefined/undefined ⰎⰑⰜⰀⰎⰅ ⰔⰖⰓⰗⰀⰜⰅⰔ — undefined ⰓⰑⰖⰕⰅⰔ (ⰘⰑⰏⰅ + ⰅⰂⰅⰓⰉ ⰔⰅⰓⰂⰅⰄ ⰔⰜⰋⰅⰐⰜⰅ ⰒⰀⰃⰅ) × undefined ⰎⰑⰜⰀⰎⰅⰔ
undefined ⰀⰓⰋⰕⰘⰏⰅⰕⰋⰜ ⰒⰓⰑⰑⰗⰔ — ⰘⰀⰓⰏⰑⰐⰋⰜⰜⰑⰖⰐⰕⰔⰒⰓⰑⰂⰅⰐⰁⰉⰏⰀⰕⰘ() ⰀⰕ ⰜⰀⰎⰎ ⰕⰋⰏⰅ (ⰒⰓⰑⰂⰅⰐ: ⰕⰓⰖⰅ)
undefined ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ ⰒⰓⰑⰑⰗⰔ — ⰅⰂⰅⰓⰉⰁⰋⰕⰏⰑⰔⰕⰅⰗⰗⰋⰜⰋⰅⰐⰕⰀⰎⰃⰑⰓⰋⰕⰘⰏⰒⰓⰑⰂⰅⰐⰁⰉⰏⰀⰕⰘ() ⰀⰕ ⰜⰀⰎⰎ ⰕⰋⰏⰅ (ⰒⰓⰑⰂⰅⰐ: ⰕⰓⰖⰅ)

ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰒⰓⰑⰁⰎⰅⰏⰔ — ⰕⰘⰅ ⰒⰓⰑⰑⰗ ⰑⰗ ⰜⰑⰐⰜⰅⰒⰕ

ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ ⰋⰔ ⰕⰘⰅ ⰂⰘⰋⰕⰅ ⰒⰀⰒⰅⰓ; ⰕⰘⰅ ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰒⰓⰑⰁⰎⰅⰏⰔ ⰀⰓⰅ ⰋⰕⰔ ⰒⰓⰑⰑⰗ ⰑⰗ ⰜⰑⰐⰜⰅⰒⰕ. ⰕⰘⰅⰉ ⰀⰓⰅ ⰕⰘⰅ ⰓⰅⰗⰎⰅⰜⰕⰋⰑⰐ ⰕⰘⰓⰑⰖⰃⰘ clayReflection ⰑⰗ ⰕⰘⰅ ⰄⰋⰏⰅⰐⰔⰋⰑⰐⰀⰎ ⰁⰋⰕ — demarcate() ⰔⰑⰎⰂⰅⰄ ⰕⰘⰋⰔ-ⰄⰋⰏⰅⰐⰔⰋⰑⰐ (ⰒⰑⰋⰐⰜⰀⰓé) + undefined ⰑⰒⰅⰐ ⰁⰅⰉⰑⰐⰄ = undefined (clayReflection). ⰅⰀⰜⰘ ⰒⰓⰑⰁⰎⰅⰏ ⰋⰔ ⰏⰅⰀⰔⰖⰓⰅⰄ ⰅⰘⰀⰜⰕⰎⰉ ⰎⰋⰍⰅ ⰀⰐⰉ ⰕⰘⰅⰑⰓⰅⰏ — demarcate() ⰅⰒⰋⰔⰕⰅⰏⰋⰜ ⰔⰕⰀⰕⰖⰔ ⰒⰎⰖⰔ Ⰰ ⰔⰅⰀⰎⰅⰄ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐⰀⰎ ⰒⰀⰕⰘ — ⰀⰐⰄ ⰎⰋⰐⰍⰔ ⰕⰑ ⰋⰕⰔ ⰒⰓⰑⰑⰗ ⰒⰀⰃⰅ. ⰂⰘⰀⰕⰅⰂⰅⰓ Ⰰ ⰕⰘⰅⰑⰓⰅⰏ ⰜⰎⰀⰋⰏⰔ ⰋⰔ ⰔⰕⰀⰕⰅⰄ ⰋⰐ ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏ ⰋⰕⰔⰅⰎⰗ.

ⰘⰑⰂ ⰏⰀⰐⰉ

ⰒⰀⰕⰘⰜⰑⰖⰐⰕ = undefined · ⰜⰑⰏⰒⰖⰕⰀⰁⰎⰅⰜⰑⰖⰐⰕ = undefined · ⰜⰑⰐⰕⰅⰔⰕⰅⰄⰜⰑⰖⰐⰕ = undefined · ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄⰜⰑⰖⰐⰕ = undefined · ⰔⰑⰎⰂⰅⰄⰅⰘⰕⰅⰓⰐⰀⰎⰜⰑⰖⰐⰕ = undefined · ⰐⰑⰂⰅⰎⰘⰅⰓⰅⰜⰑⰖⰐⰕ = undefined/undefined

ⰂⰘⰀⰕ ⰋⰔ ⰒⰓⰑⰂⰅⰄ ⰘⰅⰓⰅ — ⰕⰘⰅ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰑⰗ ⰅⰂⰅⰓⰉ ⰒⰓⰑⰁⰎⰅⰏ, ⰏⰀⰜⰘⰋⰐⰅ-ⰜⰘⰅⰜⰍⰅⰄ

ⰄⰅⰜⰑⰄⰅⰄ undefined/undefined, ⰀⰐⰄ ⰕⰘⰅ ⰒⰓⰑⰑⰗⰔ ⰒⰓⰑⰂⰅ ⰕⰘⰅⰏⰔⰅⰎⰂⰅⰔ. ⰅⰂⰅⰓⰉ ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰒⰓⰑⰁⰎⰅⰏ ⰋⰔ ⰔⰕⰀⰕⰅⰄ ⰀⰜⰓⰑⰔⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ — Ⰰ ⰔⰅⰎⰗ-ⰋⰐⰂⰅⰓⰔⰅ ⰔⰉⰏⰏⰅⰕⰓⰉ σ ⰂⰋⰕⰘ σ² = ⰋⰄ — ⰀⰐⰄ ⰕⰘⰋⰔ ⰜⰑⰓⰒⰖⰔ ⰒⰓⰑⰂⰅⰔ ⰕⰘⰀⰕ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰗⰑⰓ ⰀⰎⰎ undefined (ⰅⰂⰅⰓⰉ ⰑⰐⰅ), ⰏⰀⰜⰘⰋⰐⰅ-ⰜⰘⰅⰜⰍⰅⰄ ⰋⰐ ⰒⰎⰀⰋⰐ ⰎⰅⰀⰐ by decide (src/pair/formal/proofs/*.lean, ⰂⰅⰓⰋⰗⰋⰅⰄ ⰁⰉ npm run verify:lean: undefined ⰗⰋⰎⰅⰔ ⰃⰓⰅⰅⰐ, ⰐⰑ ⰏⰀⰕⰘⰎⰋⰁ, ⰐⰑ sorry). ⰔⰕⰓⰑⰐⰃⰅⰓ ⰕⰘⰀⰐ ⰃⰓⰅⰅⰐ: ⰎⰅⰀⰐ'Ⱄ ⰍⰅⰓⰐⰅⰎ ⰓⰅⰒⰑⰓⰕⰔ ⰅⰂⰅⰓⰉ ⰑⰐⰅ ⰑⰗ ⰕⰘⰅ undefined ⰕⰘⰅⰑⰓⰅⰏⰔ ⰄⰅⰒⰅⰐⰄⰔ ⰑⰐ ⰐⰑ ⰀⰘⰋⰑⰏ (#print axioms → "ⰄⰑⰅⰔ ⰐⰑⰕ ⰄⰅⰒⰅⰐⰄ ⰑⰐ ⰀⰐⰉ ⰀⰘⰋⰑⰏⰔ") — by decide ⰓⰅⰄⰖⰜⰅⰔ ⰅⰀⰜⰘ ⰒⰓⰑⰒⰑⰔⰋⰕⰋⰑⰐ ⰕⰑ ⰕⰓⰖⰅ ⰋⰐ ⰕⰘⰅ ⰍⰅⰓⰐⰅⰎ, ⰔⰑ ⰕⰘⰅ ⰒⰓⰑⰑⰗ ⰋⰔ ⰕⰘⰅ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰀⰐⰄ ⰐⰑⰕⰘⰋⰐⰃ ⰋⰔ ⰀⰔⰔⰖⰏⰅⰄ. ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏⰔ ⰒⰓⰑⰂⰅ ⰕⰘⰅⰏⰔⰅⰎⰂⰅⰔ.

ⰓⰋⰅⰏⰀⰐⰐ — σ(Ⱄ) = undefined − Ⱄ ⰋⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰂⰘⰑⰔⰅ ⰖⰐⰋⰍⰖⰅ ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕ ⰋⰔ ⰕⰘⰅ ⰜⰓⰋⰕⰋⰜⰀⰎ ⰎⰋⰐⰅ ⰓⰅ(Ⱄ) = ½. ⰒⰓⰑⰂⰅⰄ.
- sigma_is_an_involution — ∀ n ∈ [(-4 : Int), -2, -1, 0, 1, 2, 3, 4, 6], σ (σ n) = n — ⰜⰎⰑⰔⰅⰄ ⰁⰉ Ⰰ ⰕⰀⰜⰕⰋⰜ ⰁⰎⰑⰜⰍ · ⰒⰓⰑⰑⰗ
- critical_line_is_the_fixed_point — σ 1 = 1 ∧ (∀ n ∈ [(-4 : Int), -2, 0, 2, 3, 4, 6], σ n ≠ n) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- sigma_pairs_the_plane — σ 0 = 2 ∧ σ 2 = 0 ∧ σ (-2) = 4 ∧ σ 4 = -2 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- the_fixed_line_is_one_half — (2 : Int) * 1 = 2 ∧ σ 1 = 1 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- involution_fixes_the_critical_line — (σ (σ 3) = 3) ∧ (σ 1 = 1) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
ⰘⰑⰄⰃⰅ — ⰜⰑⰐⰉⰖⰃⰀⰕⰋⰑⰐ σ(Ⱂ,Ⰽ) = (Ⰽ,Ⱂ) ⰋⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰗⰋⰘⰅⰄ ⰅⰘⰀⰜⰕⰎⰉ ⰑⰐ ⰕⰘⰅ ⰄⰋⰀⰃⰑⰐⰀⰎ (Ⰽ,Ⰽ), ⰕⰘⰅ ⰕⰉⰒⰅ Ⰰ ⰘⰑⰄⰃⰅ ⰜⰎⰀⰔⰔ ⰘⰀⰔ. ⰒⰓⰑⰂⰅⰄ.
- sigma_is_an_involution — ∀ t ∈ middleTypes, σ (σ t) = t — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- sigma_preserves_degree — ∀ t ∈ middleTypes, (σ t).1 + (σ t).2 = t.1 + t.2 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- fixed_type_is_p_equals_q — (middleTypes.filter (fun t => σ t == t)) = [(2,2)] — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- diagonal_is_fixed_at_every_k — (∀ k ∈ [0,1,2,3], σ (k,k) = (k,k)) ∧ (∀ p ∈ [0,1,3,4], σ (p, 4 - p) ≠ (p, 4 - p)) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- involution_fixes_the_diagonal — σ (σ (1,3)) = (1,3) ∧ σ (2,2) = (2,2) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
ⰉⰀⰐⰃ–ⰏⰋⰎⰎⰔ — ⰕⰘⰅ ⰘⰑⰄⰃⰅ ⰔⰕⰀⰓ ⰑⰐ undefined-ⰗⰑⰓⰏⰔ ⰋⰐ ⰗⰑⰖⰓ ⰄⰋⰏⰅⰐⰔⰋⰑⰐⰔ ⰘⰀⰔ ★² = ⰋⰄ ⰀⰐⰄ ⰔⰒⰎⰋⰕⰔ Λ² ⰋⰐⰕⰑ undefined + undefined, ⰔⰅⰎⰗ-ⰄⰖⰀⰎ ⊕ ⰀⰐⰕⰋ-ⰔⰅⰎⰗ-ⰄⰖⰀⰎ. ⰒⰓⰑⰂⰅⰄ.
- middle_forms_have_dimension_six — choose 4 2 = 6 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- star_squares_to_the_identity — (1 : Int) * 1 = 1 ∧ (-1 : Int) * (-1) = 1 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- selfdual_and_antiselfdual_split_the_six — 3 + 3 = choose 4 2 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- star_is_an_endomorphism_only_in_the_middle — (4 - 2 = 2) ∧ (4 - 1 ≠ 1) ∧ (6 - 3 = 3) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- involution_splits_the_middle_forms — (1 : Int) * 1 = 1 ∧ 3 + 3 = 6 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
Ⱂ ⰂⰔ ⰐⰒ — ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕⰀⰕⰋⰑⰐ σ(Ⱌ) = ⰜⰑ-Ⱌ ⰋⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ; Ⱂ ⰀⰐⰄ ⰒⰔⰒⰀⰜⰅ ⰀⰓⰅ ⰋⰕⰔ ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕⰔ, ⰀⰐⰄ σ ⰐⰒ = ⰐⰒ ⟺ ⰐⰒ = ⰜⰑⰐⰒ. ⰒⰓⰑⰂⰅⰄ.
- sigma_is_an_involution — ∀ c : Class, σ (σ c) = c — ⰜⰎⰑⰔⰅⰄ ⰁⰉ Ⰰ ⰕⰀⰜⰕⰋⰜ ⰁⰎⰑⰜⰍ · ⰒⰓⰑⰑⰗ
- fixed_points_are_p_and_pspace — (classes.filter (fun c => σ c == c)) = [P, PSPACE] — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- np_and_conp_are_swapped — σ NP = coNP ∧ σ coNP = NP — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- if_np_is_fixed_then_np_equals_conp — σ NP = NP → NP = coNP — ⰜⰎⰑⰔⰅⰄ ⰁⰉ Ⰰ ⰕⰀⰜⰕⰋⰜ ⰁⰎⰑⰜⰍ · ⰒⰓⰑⰑⰗ
- p_is_closed_under_complement — σ P = P — ⰜⰎⰑⰔⰅⰄ ⰁⰉ rfl · ⰒⰓⰑⰑⰗ
ⰐⰀⰂⰋⰅⰓ–ⰔⰕⰑⰍⰅⰔ — ⰕⰋⰏⰅ ⰓⰅⰂⰅⰓⰔⰀⰎ Ⱅ(Ⱅ,Ⱆ) = (−Ⱅ,−Ⱆ) ⰋⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰕⰘⰅ ⰂⰋⰔⰜⰑⰖⰔ ⰕⰅⰓⰏ ⰀⰎⰑⰐⰅ ⰁⰓⰅⰀⰍⰔ; ⰋⰕⰔ ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕⰔ ⰀⰓⰅ ⰅⰘⰀⰜⰕⰎⰉ ⰕⰘⰅ ⰋⰐⰂⰋⰔⰜⰋⰄ ⰅⰍⰖⰀⰕⰋⰑⰐⰔ. ⰒⰓⰑⰂⰅⰄ.
- reversal_is_an_involution — T (T navierStokes) = navierStokes ∧ T (T euler) = euler — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- euler_is_time_reversible — T euler = euler — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- viscosity_breaks_time_reversal — T navierStokes ≠ navierStokes ∧ (T navierStokes).timeDerivative = navierStokes.timeDerivative ∧ (T navierStokes).convective = navierStokes.convective ∧ (T navierStokes).pressure = navierStokes.pressure ∧ (T navierStokes).viscous ≠ navierStokes.viscous — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- fixed_points_are_exactly_the_inviscid — (∀ v ∈ [(-2 : Int), -1, 1, 2], T ⟨1,1,1,v⟩ ≠ ⟨1,1,1,v⟩) ∧ T ⟨1,1,1,0⟩ = ⟨1,1,1,0⟩ — ⰜⰎⰑⰔⰅⰄ ⰁⰉ Ⰰ ⰕⰀⰜⰕⰋⰜ ⰁⰎⰑⰜⰍ · ⰒⰓⰑⰑⰗ
ⰁⰋⰓⰜⰘ–ⰔⰂⰋⰐⰐⰅⰓⰕⰑⰐ-ⰄⰉⰅⰓ — σ(Ⱄ) = undefined − Ⱄ ⰋⰔ ⰀⰐ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰂⰋⰕⰘ ⰗⰋⰘⰅⰄ ⰒⰑⰋⰐⰕ ⰕⰘⰅ ⰜⰅⰐⰕⰓⰀⰎ Ⱄ = undefined, ⰀⰐⰄ ⰕⰘⰅ ⰓⰑⰑⰕ ⰐⰖⰏⰁⰅⰓ Ⰲ² = undefined ⰂⰋⰕⰘ Ⰲ = undefined ⟺ ⰓⰀⰐⰍ ⰅⰂⰅⰐ. ⰒⰓⰑⰂⰅⰄ.
- sigma_is_an_involution — ∀ s ∈ [(-2 : Int), -1, 0, 1, 2, 3, 4], σ (σ s) = s — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- central_point_is_the_fixed_point — σ 1 = 1 ∧ (∀ s ∈ [(-2 : Int), 0, 2, 3, 4], σ s ≠ s) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- root_number_squares_to_one — (1 : Int) * 1 = 1 ∧ (-1 : Int) * (-1) = 1 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- root_number_one_iff_rank_even — (∀ r ∈ [0, 2, 4, 6], sign r = 1) ∧ (∀ r ∈ [1, 3, 5, 7], sign r = -1) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- parity_is_an_involution — (∀ r ∈ [0, 1, 2, 3, 4, 5], sign (r + 1) = -(sign r)) ∧ (∀ r ∈ [0, 1, 2, 3, 4, 5], sign (r + 2) = sign r) — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
ⰒⰑⰋⰐⰜⰀⰓé — χ = undefined − undefinedⰃ ⰂⰋⰕⰘ χ ↔ Ⰳ ⰋⰐⰂⰅⰓⰔⰅ ⰃⰋⰂⰅⰔ ⰓⰀⰐⰍ Ⱈ₁ = undefinedⰃ; ⰔⰑⰎⰂⰅⰄ ⰋⰐ ⰕⰘⰅ ⰎⰋⰕⰅⰓⰀⰕⰖⰓⰅ ⰁⰉ ⰒⰅⰓⰅⰎⰏⰀⰐ (ⰓⰋⰜⰜⰋ ⰗⰎⰑⰂ, undefined–undefined), ⰐⰑⰕ ⰁⰉ ⰕⰘⰋⰔ ⰜⰑⰓⰒⰖⰔ.
- chi_and_genus_are_inverse — ∀ g ∈ [(0 : Int), 1, 2, 3, 4], genus (chi g) = g — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- sphere_has_euler_characteristic_two — chi 0 = 2 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- torus_has_euler_characteristic_zero — chi 1 = 0 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- double_torus_has_chi_minus_two_and_rank_four — chi 2 = -2 ∧ 2 - chi 2 = 4 ∧ 2 * 2 = 4 — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ
- homology_rank_is_twice_the_genus — ∀ g ∈ [(0 : Int), 1, 2, 3, 4], 2 - chi g = 2 * g — ⰜⰎⰑⰔⰅⰄ ⰁⰉ decide · ⰒⰓⰑⰑⰗ

ⰅⰂⰅⰓⰉ ⰒⰓⰑⰑⰗ ⰘⰅⰓⰅ ⰋⰔ ⰅⰋⰕⰘⰅⰓ ⰄⰅⰜⰋⰄⰅⰄ ⰁⰉ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰑⰓ ⰓⰅⰀⰔⰑⰐⰔ ⰕⰘⰓⰑⰖⰃⰘ ⰎⰅⰀⰐ'Ⱄ ⰑⰂⰐ ⰀⰓⰋⰕⰘⰏⰅⰕⰋⰜ. Ⰰ ⰒⰓⰑⰑⰗ ⰁⰉ decide ⰓⰅⰄⰖⰜⰅⰔ Ⰰ ⰗⰋⰐⰋⰕⰅ ⰒⰓⰑⰒⰑⰔⰋⰕⰋⰑⰐ ⰀⰐⰄ ⰋⰐⰂⰑⰍⰅⰔ ⰐⰑ ⰎⰅⰏⰏⰀ, ⰔⰑ ⰋⰕ ⰄⰅⰒⰅⰐⰄⰔ ⰑⰐ ⰐⰑ ⰀⰘⰋⰑⰏ ⰀⰕ ⰀⰎⰎ; Ⰰ ⰃⰅⰐⰅⰓⰀⰎ ⰕⰘⰅⰑⰓⰅⰏ — ⰑⰐⰅ ⰍⰖⰀⰐⰕⰋⰗⰉⰋⰐⰃ ⰑⰂⰅⰓ Ⰰ ⰕⰉⰒⰅ — ⰏⰖⰔⰕ ⰓⰅⰀⰔⰑⰐ, ⰀⰐⰄ ⰎⰅⰀⰐ'Ⱄ ⰜⰑⰓⰅ Int ⰎⰅⰏⰏⰀⰔ ⰅⰀⰜⰘ ⰄⰅⰒⰅⰐⰄ ⰑⰐ propext. ⰐⰑⰕⰘⰋⰐⰃ ⰘⰅⰓⰅ ⰖⰔⰅⰔ Classical.choice ⰑⰓ sorryAx, ⰀⰐⰄ verify:lean ⰓⰅⰗⰖⰔⰅⰔ ⰀⰐⰉ ⰒⰓⰑⰑⰗ ⰕⰘⰀⰕ ⰔⰕⰀⰓⰕⰔ ⰕⰑ. ⰕⰘⰅ ⰗⰖⰎⰎ ⰀⰘⰋⰑⰏ ⰋⰐⰄⰅⰘ — ⰎⰅⰀⰐ'Ⱄ ⰕⰘⰓⰅⰅ, ⰀⰐⰄ ⰕⰘⰋⰔ ⰜⰑⰓⰒⰖⰔ'Ⱄ ⰑⰂⰐ ⰜⰘⰑⰔⰅⰐ ⰜⰑⰐⰔⰕⰀⰐⰕⰔ ⰂⰋⰕⰘ ⰂⰘⰀⰕ ⰔⰕⰀⰐⰄⰔ ⰁⰅⰘⰋⰐⰄ ⰅⰀⰜⰘ — ⰋⰔ ⰜⰑⰏⰒⰖⰕⰅⰄ ⰁⰉ npm run verify:axioms.

ⰜⰎⰀⰋⰏⰅⰄ — ⰒⰓⰋⰑⰓⰋⰕⰉ ⰑⰂⰅⰓ ⰕⰘⰅ ⰄⰅⰜⰑⰄⰅⰄ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰑⰗ ⰀⰎⰎ undefined, ⰄⰅⰒⰑⰔⰋⰕⰅⰄ ⰀⰐⰄ ⰄⰀⰕⰅⰄ. [ⰄⰑⰋ undefined.undefined/ⰈⰅⰐⰑⰄⰑ.undefined · ⰑⰓⰜⰋⰄ undefined-decide-undefined-undefined · ⰕⰘⰅ ⰃⰋⰕ ⰀⰐⰄ ⰏⰅⰓⰍⰎⰅ ⰓⰅⰜⰑⰓⰄ. undefined ⰕⰘⰅⰑⰓⰅⰏⰔ ⰀⰜⰓⰑⰔⰔ undefined ⰒⰓⰑⰁⰎⰅⰏ ⰗⰋⰎⰅⰔ, ⰅⰂⰅⰓⰉ ⰑⰐⰅ ⰀⰘⰋⰑⰏ-ⰗⰓⰅⰅ ⰁⰉ decide, ⰅⰂⰅⰓⰉ ⰑⰐⰅ ⰓⰅⰜⰑⰏⰒⰖⰕⰀⰁⰎⰅ ⰁⰉ ⰀⰐⰉⰑⰐⰅ ⰂⰘⰑ ⰓⰖⰐⰔ npm run verify:lean — ⰕⰘⰅ ⰅⰂⰋⰄⰅⰐⰜⰅ ⰕⰓⰀⰂⰅⰎⰔ ⰂⰋⰕⰘ ⰕⰘⰅ ⰜⰎⰀⰋⰏ. ⰒⰑⰋⰐⰜⰀⰓé'Ⱄ ⰔⰑⰎⰖⰕⰋⰑⰐ ⰋⰔ ⰃⰓⰋⰃⰑⰓⰋ ⰒⰅⰓⰅⰎⰏⰀⰐ'Ⱄ (ⰓⰋⰜⰜⰋ ⰗⰎⰑⰂ, undefined–) ⰀⰐⰄ ⰕⰘⰅ ⰜⰓⰅⰄⰋⰕ ⰋⰔ ⰘⰋⰔ; ⰕⰘⰅ ⰄⰅⰜⰑⰄⰋⰐⰃ ⰑⰗ ⰕⰘⰅ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ ⰀⰜⰓⰑⰔⰔ ⰀⰎⰎ undefined ⰋⰔ ⰕⰘⰋⰔ ⰄⰅⰒⰑⰔⰋⰕ'Ⱄ.

ⰒⰅⰓ ⰒⰓⰑⰁⰎⰅⰏ — ⰕⰘⰅ ⰀⰎⰃⰅⰁⰓⰀⰋⰜ ⰔⰕⰀⰕⰅⰏⰅⰐⰕ, ⰕⰘⰅ ⰗⰀⰜⰅⰕⰔ ⰕⰘⰅ ⰗⰑⰎⰄ ⰄⰅⰜⰋⰄⰅⰔ ⰀⰐⰄ ⰕⰘⰅ ⰑⰒⰅⰐ ⰔⰕⰅⰒ ⰅⰀⰜⰘ ⰑⰐⰅ ⰎⰅⰀⰂⰅⰔ: ⰗⰓⰑⰐⰕⰋⰅⰓⰔ.

ⰔⰕⰀⰕⰖⰔ

ⰜⰑⰏⰒⰖⰕⰀⰁⰎⰅ=undefined/undefined · ⰜⰑⰐⰕⰅⰔⰕⰅⰄ=undefined · ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄ=undefined · ⰐⰑⰂⰅⰎⰘⰅⰓⰅ=undefined/undefined

ⰓⰑⰖⰕⰅⰔ (ⰂⰋⰕⰅⰒⰓⰅⰔⰔ): ⰗⰓⰑⰐⰕⰋⰅⰓⰔ ⰓⰅⰃⰋⰔⰕⰓⰉ /frontiers · ⰒⰓⰑⰑⰗⰔ ⰘⰖⰁ /proofs · ⰔⰎⰖⰃ /proofs/clay-challenges-computable · ⰜⰎⰋ npm run quantum:clay-challenges-computable
ⰓⰅⰜⰅⰋⰒⰕ: ⰗⰑⰎⰄ clayChallengesComputableFromSequence.

ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏ-ⰔⰜⰋⰅⰐⰜⰅ ⰎⰅⰐⰔ — undefined/undefined ⰜⰖⰓⰀⰕⰅⰄ ⰒⰀⰃⰅⰔ ⰒⰀⰔⰔ (undefined ⰓⰅⰏⰑⰂⰅⰄ ⰗⰓⰑⰏ ⰂⰋⰕⰅⰒⰓⰅⰔⰔ ⰜⰑⰏⰒⰎⰅⰕⰅⰎⰉ — ⰄⰀⰕⰀ ⰒⰓⰅⰔⰅⰓⰂⰅⰄ ⰋⰐ ⰕⰘⰅ ⰜⰀⰕⰀⰎⰑⰃ), ⰒⰓⰅⰔⰅⰐⰕⰅⰄ ⰁⰅⰔⰋⰄⰅ ⰕⰘⰅ undefined-ⰕⰘⰅⰑⰓⰅⰏ ⰓⰅⰃⰋⰔⰕⰓⰉ ⰀⰐⰄ ⰋⰕⰔ ⰜⰑⰓⰒⰖⰔ ⰔⰖⰓⰗⰀⰜⰅⰔ (/ⰕⰘⰅⰑⰓⰅⰏⰔ · /ⰒⰀⰒⰅⰓⰔ/ · /ⰓⰅⰗⰅⰓⰅⰐⰜⰅⰔ · /ⰄⰋⰀⰏⰑⰐⰄⰔ). ⰑⰓⰃⰀⰐⰋⰔⰅⰄ ⰁⰉ ⰕⰘⰅ ⰔⰅⰂⰅⰐ ⰓⰑⰔⰅⰕⰕⰀ ⰓⰀⰉⰔ (ⰒⰎⰋⰔⰍⰀ undefined-ⰔⰕⰀⰓ ⰜⰑⰒⰓⰋⰏⰅ ⰄⰅⰜⰑⰄⰅ) — ⰕⰘⰅ ⰔⰀⰏⰅ ⰔⰘⰅⰎⰂⰋⰐⰃ ⰕⰘⰀⰕ ⰁⰖⰋⰎⰄⰔ ⰕⰘⰅ ⰔⰋⰕⰅ'Ⱄ ⰐⰀⰂ, ⰔⰋⰄⰅⰁⰀⰓ ⰀⰐⰄ ⰜⰓⰑⰔⰔⰎⰋⰐⰍⰔ; ⰀⰎⰎ ⰑⰗ ⰋⰕ ⰂⰋⰓⰅⰄ ⰋⰐⰕⰑ ⰕⰘⰅ ⰂⰋⰕⰅⰒⰓⰅⰔⰔ ⰎⰑⰜⰀⰎ ⰔⰅⰀⰓⰜⰘ ⰕⰘⰅ ⰏⰜⰒ ⰀⰎⰔⰑ ⰖⰔⰅⰔ.

ⰑⰓⰋⰃⰋⰐ — undefined ⰒⰀⰃⰅⰔ

undefined = undefined⁶ = undefined³ = undefined² ⰋⰐ ⰅⰂⰅⰓⰉ undefined-ⰁⰋⰕ ⰃⰓⰑⰖⰒⰋⰐⰃ — undefined = undefined⁶, ⰀⰐⰄ ⰕⰘⰅ ⰄⰋⰂⰋⰔⰑⰓⰔ ⰑⰗ undefined ⰃⰋⰂⰅ ⰕⰘⰅ ⰑⰐⰎⰉ ⰗⰑⰖⰓ ⰃⰓⰑⰖⰒⰋⰐⰃⰔ: ⰔⰋⰘ ⰁⰋⰕⰔ, ⰕⰘⰓⰅⰅ ⰁⰀⰔⰅ-undefined ⰄⰋⰃⰋⰕⰔ (ⰜⰑⰄⰑⰐ/ⰒⰀⰖⰎⰋ/ⰓⰃⰁ), ⰕⰂⰑ ⰕⰓⰋⰃⰓⰀⰏⰔ (undefined²), ⰑⰐⰅ ⰁⰀⰔⰅ-undefined ⰂⰑⰓⰄ. ⰕⰘⰅ ⰔⰀⰏⰅ ⰑⰁⰉⰅⰜⰕ, ⰗⰑⰖⰓ ⰂⰀⰉⰔ. · ⰒⰀⰃⰅ
ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰋⰐⰃ ⰗⰑⰎⰄⰔ undefined³ ⰋⰐⰕⰑ ⰑⰐⰅ ⰄⰑⰕ — Ⰰ ⰖⰖⰋⰄ, ⰎⰋⰍⰅ ⰜⰏⰉⰍ, ⰃⰋⰂⰅⰔ ⰅⰘⰕⰅⰐⰕ ⰂⰋⰕⰘⰑⰖⰕ ⰎⰋⰏⰋⰕ: undefined×undefined×undefined ⰋⰔ ⰋⰕⰔⰅⰎⰗ ⰑⰐⰅ ⰄⰑⰕ, ⰀⰐⰄ ⰕⰘⰅ ⰄⰑⰕ ⰋⰔ ⰕⰘⰅ ⰜⰖⰁⰅ ⰋⰔ ⰕⰘⰅ ⰄⰑⰕ — ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰋⰐⰃ ⰗⰑⰎⰄⰔ ⰕⰘⰅ ⰂⰘⰑⰎⰅ ⰋⰐⰕⰑ Ⰰ ⰒⰑⰋⰐⰕ ⰀⰐⰄ ⰁⰀⰜⰍ. · ⰒⰀⰃⰅ
ⰔⰑⰜⰋⰅⰕⰉ undefinedⰄ ⰏⰅⰓⰍⰀⰁⰀ = ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄ ⰀⰜⰕⰑⰓ ⰕⰀⰘⰑⰐⰑⰏⰉ · ⰐⰑⰕ ⰎⰋⰂⰅ ⰔⰑⰜⰋⰀⰎ ⰏⰅⰀⰔⰖⰓⰅⰏⰅⰐⰕ — ⰜⰀⰐⰑⰐⰋⰜⰀⰎ ⰔⰑⰜⰋⰅⰕⰉ/ⰘⰄ ⰄⰑⰏⰀⰋⰐ: undefinedⰄ ⰏⰅⰓⰍⰀⰁⰀ + ⰕⰂⰑ-ⰁⰋⰕⰔ-ⰗⰓⰅⰅ (undefined−undefined=undefined) ⰒⰀⰕⰓⰑⰐⰀⰃⰅ ⰒⰀⰕⰘ — ⰘⰀⰓⰏⰑⰐⰋⰜ undefined/undefined ⰑⰗ ⰀⰜⰘⰋⰅⰂⰅⰄ ⰍⰐⰑⰂⰎⰅⰄⰃⰅ; ⰂⰑⰎⰖⰐⰕⰀⰓⰉ ⰜⰕⰀ. ⰐⰑⰕ ⰎⰋⰂⰅ ⰀⰜⰕⰑⰓⰔ, ⰐⰑⰕ ⰔⰑⰜⰋⰀⰎ ⰔⰜⰑⰓⰋⰐⰃ. ⰀⰐⰜⰘⰑⰓ #ⰕⰂⰑ-ⰁⰋⰕⰔ-ⰗⰓⰅⰅ · ⰒⰓⰑⰑⰗⰔ /ⰒⰓⰑⰑⰗⰔ/ⰕⰂⰑ-ⰁⰋⰕⰔ-ⰗⰓⰅⰅ. · ⰒⰀⰃⰅ

ⰒⰓⰑⰑⰗ — undefined ⰒⰀⰃⰅⰔ

⌊π⌋ = undefined ⰑⰒⰅⰐⰔ undefined-undefined-undefined, ⰕⰘⰅ ⰏⰖⰎⰕⰋⰒⰎⰅⰔ ⰑⰗ undefined ⰕⰘⰅ ⰄⰑⰖⰁⰎⰋⰐⰃ undefined-undefined-undefined-undefined-undefined-undefined ⰏⰋⰔⰔⰅⰔ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⌊π⌋=undefined ⰑⰒⰅⰐⰔ undefined-undefined-undefined ⰜⰓⰑⰔⰔ ⰄⰋⰔⰉⰑⰋⰐⰕ ⰗⰓⰑⰏ ⰄⰑⰖⰁⰎⰋⰐⰃ ⰜⰋⰓⰜⰖⰋⰕ undefined-undefined-undefined-undefined-undefined-undefined — ⰂⰑⰓⰕⰅⰘ ⰀⰎⰃⰅⰁⰓⰀ ⰗⰑⰎⰄ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰒⰋⰕⰘⰓⰅⰅⰑⰒⰅⰐⰔⰕⰘⰅⰕⰓⰋⰐⰋⰕⰉ ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ ⰕⰓⰋⰐⰋⰕⰉ·ⰄⰑⰖⰁⰎⰋⰐⰃ·ⰐⰋⰐⰅⰗⰑⰎⰄⰔ ⰗⰓⰑⰏ ⰔⰓⰜ/](/pi-trinity) ⰄⰋⰃⰋⰕⰀⰎ-ⰓⰑⰑⰕ ⰏⰀⰕⰘ; ⰔⰉⰏⰁⰑⰎⰋⰜ ⰏⰐⰅⰏⰑⰐⰋⰜ ⰂⰋⰕⰘⰋⰐ ⰂⰑⰓⰕⰅⰘ ⰗⰓⰀⰏⰅⰂⰑⰓⰍ, ⰐⰑⰕ ⰄⰅⰔⰋⰃⰐⰅⰄ π ⰏⰅⰔⰔⰀⰃⰅ. ⰏⰅⰕⰘⰑⰄ: ⰒⰋⰕⰘⰓⰅⰅⰑⰒⰅⰐⰔⰕⰘⰅⰕⰓⰋⰐⰋⰕⰉ · ⰒⰓⰑⰑⰗⰓⰅⰐⰄⰅⰓⰅⰓ · ⰐⰒⰏ ⰓⰖⰐ ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰏⰑⰄⰅⰎⰅⰄ ⰃⰅⰑⰏⰅⰕⰓⰉ · ⰐⰑⰕ ⰜⰎⰀⰉ-ⰏⰀⰓⰍⰅⰄ · ⰕⰅⰔⰎⰀ undefined-undefined-undefined ⰎⰅⰃⰅⰐⰄ ⰗⰎⰀⰃⰃⰅⰄ. · ⰒⰀⰃⰅ
Ⰰ ⰍⰖⰁⰋⰕ ⰘⰀⰔ ⰅⰘⰀⰜⰕⰎⰉ undefined ⰑⰁⰔⰅⰓⰂⰀⰁⰎⰅⰔ — ⰒⰀⰖⰎⰋ Ⱈ, Ⰹ, Ⰸ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰍⰖⰁⰋⰕ ⰕⰓⰋⰐⰋⰕⰉ = ⰅⰘⰀⰜⰕⰎⰉ undefined ⰕⰓⰀⰜⰅⰎⰅⰔⰔ ⰒⰀⰖⰎⰋ ⰑⰁⰔⰅⰓⰂⰀⰁⰎⰅⰔ Ⱈ,Ⰹ,Ⰸ — ⰄⰋⰏ ⰔⰖ(undefined)=undefined²−undefined=undefined ⰗⰑⰓⰜⰅⰄ ⰋⰐⰂⰀⰓⰋⰀⰐⰕ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰍⰖⰁⰋⰕⰕⰓⰋⰐⰋⰕⰉⰒⰀⰖⰎⰋⰁⰎⰑⰜⰘ ⰘⰑⰎⰄⰔ ⰀⰕ ⰜⰀⰎⰎ ⰕⰋⰏⰅ; ⰋⰐⰄⰅⰒⰅⰐⰄⰅⰐⰕ ⰑⰗ ⰍⰜⰄ ⰜⰑⰎⰑⰖⰓ ⰜⰘⰀⰓⰃⰅⰔ ⰀⰐⰄ undefined-undefined-undefined ⰐⰖⰏⰅⰓⰑⰎⰑⰃⰉ. ⰏⰅⰕⰘⰑⰄ: ⰍⰖⰁⰋⰕⰕⰓⰋⰐⰋⰕⰉⰒⰀⰖⰎⰋⰁⰎⰑⰜⰘ · ⰒⰓⰑⰑⰗⰓⰅⰐⰄⰅⰓⰅⰓ · ⰐⰒⰏ ⰓⰖⰐ ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄ ⰍⰖⰀⰐⰕⰖⰏ ⰀⰎⰃⰅⰁⰓⰀ · ⰐⰑⰕ ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰜⰘⰀⰎⰎⰅⰐⰃⰅ. · ⰒⰀⰃⰅ
ⰘⰀⰏⰏⰋⰐⰃ’Ⱄ undefined ⰒⰀⰓⰋⰕⰉ ⰁⰋⰕⰔ = ⰕⰘⰅ ⰀⰄⰄⰓⰅⰔⰔ — ⰘⰀⰏⰏⰋⰐⰃ(undefined,undefined) ⰒⰓⰑⰕⰅⰜⰕⰔ undefined ⰄⰀⰕⰀ ⰁⰋⰕⰔ ⰂⰋⰕⰘ ⰅⰘⰀⰜⰕⰎⰉ undefined ⰒⰀⰓⰋⰕⰉ ⰁⰋⰕⰔ; ⰕⰘⰅ ⰔⰉⰐⰄⰓⰑⰏⰅ ⰋⰔ Ⰰ ⰁⰋⰐⰀⰓⰉ ⰀⰄⰄⰓⰅⰔⰔ ⰑⰗ ⰕⰘⰅ ⰅⰓⰓⰑⰓ. ⰕⰘⰅ ⰍⰖⰀⰐⰕⰖⰏ [[undefined,undefined,undefined]] ⰜⰑⰄⰅ ⰔⰀⰕⰖⰓⰀⰕⰅⰔ undefined⁴ = undefined = undefined·undefined+undefined. · ⰒⰀⰃⰅ
Ⰰ ⰜⰑⰐⰕⰅⰐⰕ ⰀⰄⰄⰓⰅⰔⰔ = Ⱈ(ⰜⰑⰐⰕⰅⰐⰕ): ⰋⰄⰅⰏⰒⰑⰕⰅⰐⰕ, ⰜⰑⰎⰎⰋⰔⰋⰑⰐ-ⰓⰅⰔⰋⰔⰕⰀⰐⰕ, ⰄⰅⰄⰖⰒ, Ⱁ(undefined) ⰋⰐⰕⰅⰃⰓⰋⰕⰉ — ⰘⰑⰒⰗⰋⰅⰎⰄ’Ⱄ undefined ⰐⰅⰕ ⰋⰔ Ⰰ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰀⰁⰎⰅ ⰏⰅⰏⰑⰓⰉ (undefined ⰐⰑⰁⰅⰎ); ⰘⰋⰒⰒⰑⰜⰀⰏⰒⰀⰎ ⰜⰀundefined ⰒⰀⰕⰕⰅⰓⰐ ⰜⰑⰏⰒⰎⰅⰕⰋⰑⰐ ⰋⰔ ⰋⰕⰔ ⰁⰋⰑⰎⰑⰃⰋⰜⰀⰎ ⰀⰐⰀⰎⰑⰃⰖⰅ. ⰕⰘⰅ ⰔⰘⰀⰓⰅⰄ ⰒⰓⰑⰒⰅⰓⰕⰉ ⰋⰔ ⰂⰘⰑⰎⰅ-ⰗⰓⰑⰏ-ⰒⰀⰓⰕ. · ⰒⰀⰃⰅ
ⰕⰘⰅ ⰃⰅⰐⰅⰕⰋⰜ ⰜⰑⰄⰅ ⰋⰔ ⰕⰘⰅ ⰓⰅⰀⰎ undefined³ — ⰎⰋⰗⰅ’Ⱄ ⰜⰑⰄⰅ ⰋⰔ ⰁⰀⰔⰅ-undefined ⰓⰅⰀⰄ ⰋⰐ ⰕⰓⰋⰒⰎⰅⰕⰔ: undefined ⰁⰀⰔⰅⰔ ⰋⰐ undefined ⰒⰑⰔⰋⰕⰋⰑⰐⰔ ⰃⰋⰂⰅ ⰅⰘⰀⰜⰕⰎⰉ undefined³ = undefined ⰜⰑⰄⰑⰐⰔ (undefined ⰔⰅⰐⰔⰅ + undefined ⰔⰕⰑⰒ), ⰕⰘⰅ ⰕⰓⰋⰒⰎⰅⰕ ⰎⰅⰐⰃⰕⰘ ⰒⰓⰑⰂⰅⰐ ⰁⰉ ⰗⰓⰀⰏⰅⰔⰘⰋⰗⰕ ⰏⰖⰕⰀⰃⰅⰐⰅⰔⰋⰔ (ⰜⰓⰋⰜⰍ undefined). · ⰒⰀⰃⰅ
(ℤ/undefinedℤ) ⰋⰔ ⰜⰉⰜⰎⰋⰜ ⰑⰗ ⰑⰓⰄⰅⰓ undefined, undefined ⰒⰓⰋⰏⰋⰕⰋⰂⰅ; undefined-undefined-undefined ⰀⰓⰅ ⰕⰘⰅ ⰐⰑⰐ-ⰖⰐⰋⰕⰔ* — ⰏⰀⰐⰉ ⰃⰅⰐⰖⰋⰐⰅ ⰕⰘⰓⰅⰅⰗⰑⰎⰄⰔ ⰅⰘⰋⰔⰕ — undefined ⰒⰀⰖⰎⰋⰔ, ⰕⰘⰅ undefined-ⰁⰀⰔⰅ ⰜⰑⰄⰑⰐ, undefined ⰏⰅⰐⰋⰐⰃⰅⰔ, undefined ⰒⰀⰓⰋⰕⰉ ⰁⰋⰕⰔ — ⰅⰀⰜⰘ ⰋⰐⰄⰅⰒⰅⰐⰄⰅⰐⰕ. ⰕⰘⰅ undefined-undefined-undefined-undefined-undefined-undefined ⰑⰓⰁⰋⰕ ⰋⰔ (ℤ/undefinedℤ)*; ⰕⰘⰅ ⰜⰑⰔⰏⰋⰜ undefined-undefined-undefined ⰕⰓⰋⰐⰋⰕⰉ ⰋⰔ ⰐⰖⰏⰅⰓⰑⰎⰑⰃⰉ. · ⰒⰀⰃⰅ
Ⰰ ⰘⰅⰘⰀⰃⰓⰀⰏ = undefined⁶ = undefined ⰔⰕⰀⰕⰅⰔ = ⰑⰐⰅ undefined-ⰁⰋⰕ ⰂⰀⰎⰖⰅ — Ⰰ undefined-ⰁⰋⰕ ⰘⰅⰘⰀⰃⰓⰀⰏ ](/hexagram-colour)–undefined ⰋⰔ ⰘⰅⰘ-ⰜⰑⰎⰑⰖⰓ ⰄⰖⰀⰎⰋⰕⰉ: ⰕⰘⰅ undefined ⰘⰅⰘⰀⰃⰓⰀⰏⰔ ⰀⰓⰅ ⰕⰘⰅ undefined ⰒⰑⰎⰅ-ⰜⰑⰎⰑⰖⰓⰔ {](/hexagram-colour),Ⱇ}⁶, ⰁⰎⰀⰜⰍ ↔ ⰂⰘⰋⰕⰅ ⰕⰘⰅ ⰁⰋⰕ-ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕ, ⰕⰘⰅ undefined ⰕⰓⰋⰃⰓⰀⰏⰔ ⰕⰘⰅ ⰓⰃⰁ-ⰜⰖⰁⰅ ⰜⰑⰓⰐⰅⰓⰔ. · ⰒⰀⰃⰅ
ⰜⰏⰉ = undefined − ⰓⰃⰁ, ⰕⰘⰅ ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕ Ⱀ ↦ undefined−Ⱀ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰓⰃⰁ↔ⰜⰏⰉⰍ ⰄⰖⰀⰎⰋⰕⰉ = ⰁⰋⰕ-ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕ Ⱀ ↦ undefined−Ⱀ ⰑⰐ undefined-ⰁⰋⰕ ⰘⰅⰘⰀⰃⰓⰀⰏ ⰒⰑⰎⰅⰔ {](/rgb-cmyk),Ⱇ}⁶. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰀⰄⰄⰋⰕⰋⰂⰅ ⰓⰅⰄ↔ⰜⰉⰀⰐ · ⰃⰓⰅⰅⰐ↔ⰏⰀⰃⰅⰐⰕⰀ · ⰁⰎⰖⰅ↔ⰉⰅⰎⰎⰑⰂ · ⰁⰎⰀⰜⰍ↔ⰂⰘⰋⰕⰅ — ⰔⰀⰏⰅ ⰜⰑⰏⰒⰎⰅⰏⰅⰐⰕ ⰀⰔ ⰜⰏⰉ=undefined−ⰓⰃⰁ ⰘⰀⰓⰄⰂⰀⰓⰅ ⰏⰅⰓⰍⰀⰁⰀ. ⰏⰅⰕⰘⰑⰄ: ⰒⰓⰑⰑⰗⰓⰅⰐⰄⰅⰓⰅⰓ · ⰘⰅⰘⰀⰃⰓⰀⰏ-ⰜⰑⰎⰑⰖⰓ ⰗⰑⰎⰄ · ⰐⰒⰏ ⰓⰖⰐ ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰜⰑⰏⰁⰋⰐⰀⰕⰑⰓⰋⰀⰎ ⰜⰑⰎⰑⰖⰓ ⰒⰓⰑⰑⰗ · ⰐⰑⰕ ⰜⰎⰀⰉ-ⰏⰀⰓⰍⰅⰄ. · ⰒⰀⰃⰅ
ⰕⰘⰓⰅⰅ ⰕⰓⰋⰐⰋⰕⰋⰅⰔ = ⰓⰃⰁ ⰀⰕ ](/trinity-rgb)°, undefined°, undefined° ⰑⰐ ⰕⰘⰅ ⰂⰘⰅⰅⰎ — ⰕⰘⰅ ⰘⰅⰓⰑ ⰒⰎⰀⰜⰅⰔ ⰋⰕⰔ undefined ⰐⰑⰄⰅⰔ ⰋⰐ undefined ⰕⰓⰋⰐⰋⰕⰋⰅⰔ ⰀⰕ ](/trinity-rgb)°/undefined°/undefined° ⰋⰐ ⰁⰑⰕⰘ ⰔⰒⰀⰜⰅ ⰀⰐⰄ ⰘⰖⰅ — ⰕⰘⰅ ⰅⰍⰖⰋⰎⰀⰕⰅⰓⰀⰎ ⰓⰃⰁ ⰕⰓⰋⰀⰄ. ⰕⰘⰅ undefined ⰕⰓⰋⰐⰋⰕⰋⰅⰔ ⰀⰓⰅ ⰕⰘⰅ undefined ⰓⰃⰁ ⰜⰘⰀⰐⰐⰅⰎⰔ; ⰕⰘⰅ ⰘⰅⰓⰑ ⰀⰎⰓⰅⰀⰄⰉ ⰓⰅⰐⰄⰅⰓⰔ ⰕⰘⰅ ⰄⰅⰜⰑⰄⰅ. · ⰒⰀⰃⰅ
ⰕⰘⰅ ⰓⰑⰔⰕⰅⰓ ⰋⰔ Ⰰ ⰗⰋⰎⰕⰅⰓ: ⰍⰅⰒⰕ ⟺ ⰘⰑⰎⰄⰔ; ⰍⰅⰒⰕ + ⰒⰖⰓⰃⰅⰄ = ⰕⰑⰕⰀⰎ — ⰅⰂⰅⰓⰉ ⰀⰓⰕⰋⰗⰀⰜⰕ ⰋⰔ ⰍⰅⰒⰕ ⰑⰐⰎⰉ ⰋⰗ ⰋⰕ ⰋⰔ ⰒⰓⰑⰂⰅⰐ — ⰋⰕⰔ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰘⰑⰎⰄⰔ; ⰀⰐⰉⰕⰘⰋⰐⰃ ⰖⰐⰒⰓⰑⰂⰅⰐ ⰋⰔ ⰒⰖⰓⰃⰅⰄ. ⰕⰘⰅ ⰏⰑⰄⰅⰎ ⰀⰐⰄ ⰋⰕⰔ ⰖⰋ ⰔⰕⰀⰉ ⰒⰖⰓⰅ ⰒⰓⰑⰑⰗ, ⰀⰐⰄ ⰕⰘⰅ ⰃⰀⰕⰅⰔ ⰁⰀⰎⰀⰐⰜⰅ ⰂⰘⰅⰐ ⰀⰎⰎ ⰕⰘⰀⰕ ⰓⰅⰏⰀⰋⰐⰔ ⰋⰔ ⰒⰓⰑⰂⰅⰐ. · ⰒⰀⰃⰅ
ⰕⰘⰅ ⰍⰅⰓⰐⰅⰎ ⰎⰋⰂⰅⰔ ⰋⰐ ⰔⰓⰜ/](/kernel-zero) — ⰕⰘⰅ ⰒⰓⰋⰏⰋⰕⰋⰂⰅ ⰍⰅⰓⰐⰅⰎ — ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔ ⰀⰐⰄ ⰕⰘⰅ ⰗⰑⰎⰄ ⰜⰀⰔⰜⰀⰄⰅ ⰀⰐⰄ ⰕⰘⰅ ⰂⰑⰓⰕⰅⰘ ⰗⰎⰑⰑⰓ — ⰂⰀⰔ ⰄⰋⰔⰔⰑⰎⰂⰅⰄ ⰋⰐⰕⰑ ⰔⰓⰜ/](/kernel-zero), ⰕⰘⰅ ⰄⰅⰒⰅⰐⰄⰅⰐⰜⰉ-ⰗⰓⰅⰅ ⰑⰓⰋⰃⰋⰐ, ⰀⰜⰓⰑⰔⰔ ⰕⰘⰓⰅⰅ ⰂⰀⰂⰅⰔ, ⰅⰂⰅⰓⰉ ⰁⰀⰔⰅⰎⰋⰐⰅ ⰓⰑⰑⰕ ⰁⰉⰕⰅ-ⰋⰄⰅⰐⰕⰋⰜⰀⰎ. · ⰒⰀⰃⰅ
ⰕⰘⰅ ⰂⰑⰓⰕⰅⰘ: undefined-undefined-undefined-undefined-undefined-undefined — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰂⰑⰓⰕⰅⰘ = ⰄⰑⰖⰁⰎⰋⰐⰃ ⰜⰋⰓⰜⰖⰋⰕ undefined-undefined-undefined-undefined-undefined-undefined (ⰒⰑⰂⰅⰓⰔ ⰑⰗ ⰕⰂⰑ ⰏⰑⰄ-undefined ⰄⰋⰃⰋⰕⰀⰎ ⰓⰑⰑⰕ) + undefined-undefined-undefined ⰜⰓⰑⰔⰔ + ⰘⰀⰓⰏⰑⰐⰋⰜ Ⱀ/](/vortex). ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰂⰑⰓⰕⰅⰘⰏⰀⰕⰘ ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ ⰗⰓⰑⰏ ⰔⰓⰜ/](/vortex) — ⰒⰑⰓⰕⰀⰎ ⰔⰒⰋⰐⰅ ⰗⰑⰓ ⰗⰓⰀⰜⰕⰋⰑⰐⰔ, ⰀⰎⰃⰅⰁⰓⰀ, ⰀⰐⰄ ⰋⰏⰒⰅⰓⰋⰀⰎ ⰄⰋⰃⰋⰕ ⰗⰑⰎⰄⰔ. ⰏⰅⰕⰘⰑⰄ: ⰂⰑⰓⰕⰅⰘⰏⰀⰕⰘ · ⰒⰓⰑⰑⰗⰓⰅⰐⰄⰅⰓⰅⰓ · ⰀⰎⰃⰅⰁⰓⰀⰄⰋⰃⰋⰕⰔ · ⰐⰒⰏ ⰓⰖⰐ ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄ ⰀⰓⰋⰕⰘⰏⰅⰕⰋⰜ · ⰕⰅⰔⰎⰀ undefined-undefined-undefined ⰎⰅⰃⰅⰐⰄ ⰗⰎⰀⰃⰃⰅⰄ · ⰐⰑⰕ ⰜⰎⰀⰉ-ⰏⰀⰓⰍⰅⰄ. · ⰒⰀⰃⰅ
ⰄⰋⰂⰋⰔⰋⰑⰐ ⰁⰉ ⰈⰅⰓⰑ ⰋⰔ ⰕⰘⰅ ⰋⰐⰂⰅⰓⰔⰅ: Ⱀ/](/zero-division) ↦ Ⱀ⁻¹ ⰏⰑⰄ undefined — ⰕⰘⰅ ⰋⰐⰂⰅⰓⰔⰅ ⰑⰗ Ⰰ ⰄⰋⰃⰋⰕ ⰗⰑⰎⰄⰅⰓ ⰋⰔ ⰋⰕⰔ ⰏⰖⰎⰕⰋⰒⰎⰋⰜⰀⰕⰋⰂⰅ ⰋⰐⰂⰅⰓⰔⰅ ⰏⰑⰄ undefined (Ⱀ/](/zero-division) \ Ⱀ⁻¹, ⰕⰘⰅ ÷undefined = ×undefined ⰕⰘⰀⰕ ⰗⰑⰎⰄⰔ ⰂⰋⰕⰘⰋⰐ ⰕⰘⰅ ⰖⰐⰋⰕ ⰜⰉⰜⰎⰅ): undefined\undefined, undefined\undefined, ⰔⰅⰎⰗ-ⰋⰐⰂⰅⰓⰔⰅ undefined ⰀⰐⰄ undefined; ⰕⰘⰅ ⰐⰑⰐ-ⰖⰐⰋⰕⰔ undefined, undefined, undefined ⰀⰐⰄ ⰕⰘⰅ ⰂⰑⰋⰄ ](/zero-division) ⰗⰑⰎⰄ ⰕⰑ ⰕⰘⰅ ⰗⰖⰔⰋⰑⰐ. ⰕⰘⰅ ⰗⰑⰓⰂⰀⰓⰄ ⰘⰀⰓⰏⰑⰐⰋⰜ Ⱀ/](/zero-division) = undefinedⰐ (undefined/](/zero-division) = undefined) ⰋⰔ ⰕⰘⰅ ⰔⰅⰒⰀⰓⰀⰕⰅ ⰓⰅⰀⰄⰋⰐⰃ. · ⰒⰀⰃⰅ
ⰔⰅⰂⰅⰐ ⰔⰕⰀⰓ ⰓⰑⰔⰅⰕⰕⰀ — ⰕⰘⰅ undefined-ⰔⰕⰀⰓ ⰒⰎⰋⰔⰍⰀ ⰓⰑⰔⰅⰕⰕⰀ ⰋⰐ ⰜⰑⰒⰓⰋⰏⰅ ⰐⰀⰕⰖⰓⰀⰎ ⰏⰑⰕⰋⰑⰐ ⰂⰋⰕⰘ undefined ⰃⰎⰀⰃⰑⰎⰋⰕⰋⰜ ⰎⰅⰕⰕⰅⰓⰔ. ⰂⰋⰔⰖⰀⰎ ⰒⰓⰑⰑⰗ ⰕⰘⰀⰕ ⰃⰜⰄ(undefined,undefined)=undefined, ⰃⰜⰄ(undefined,undefined)=undefined, ⰃⰜⰄ(undefined,undefined)=undefined ⰒⰓⰅⰂⰅⰐⰕⰔ ⰀⰎⰋⰀⰔⰋⰐⰃ ⰋⰐ ⰕⰘⰅ ⰄⰋⰃⰋⰕ ⰄⰋⰔⰕⰓⰋⰁⰖⰕⰋⰑⰐ. · ⰒⰀⰃⰅ

ⰅⰘⰒⰎⰑⰓⰅ — undefined ⰒⰀⰃⰅ

ⰓⰅⰔⰅⰀⰓⰜⰘ ⰋⰐⰄⰅⰘ = ⰄⰑⰏⰀⰋⰐ · ⰏⰅⰕⰘⰑⰄ · ⰎⰋⰏⰋⰕ · ⰂⰅⰓⰋⰗⰉ ⰀⰕ ⰜⰀⰎⰎ ⰕⰋⰏⰅ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰓⰅⰔⰅⰀⰓⰜⰘ ⰄⰑⰏⰀⰋⰐ ⰋⰐⰄⰅⰘ (ⰄⰑⰏⰀⰋⰐ · ⰏⰅⰕⰘⰑⰄ · ⰎⰋⰏⰋⰕ · ⰂⰅⰓⰋⰗⰉ). ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰒⰓⰑⰗⰅⰔⰔⰋⰑⰐⰀⰎ ⰏⰑⰐⰑⰃⰓⰀⰒⰘ ⰓⰑⰂⰔ, ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰏⰑⰄⰅⰎⰅⰄ ⰜⰘⰀⰎⰎⰅⰐⰃⰅ, ⰔⰜⰋⰅⰐⰜⰅⰔ ⰕⰓⰋⰐⰋⰕⰋⰅⰔ, ⰓⰅⰒⰓⰑⰄⰖⰜⰋⰁⰋⰎⰋⰕⰉ ⰃⰀⰕⰅⰔ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ-ⰜⰘⰀⰎⰎⰅⰐⰃⰅ · ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰄⰑⰏⰀⰋⰐ-ⰒⰓⰑⰑⰗ-ⰜⰀⰕⰀⰎⰑⰃ · ⰗⰑⰎⰄ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏⰒⰓⰑⰁⰎⰅⰏⰔⰜⰘⰀⰎⰎⰅⰐⰃⰅ. ⰔⰕⰀⰕⰖⰔ: ⰜⰎⰀⰉ-ⰔⰕⰀⰐⰄⰀⰓⰄ ⰒⰀⰃⰅⰔ ⰀⰕ /ⰒⰓⰑⰑⰗⰔ ⰜⰋⰕⰅ ⰜⰎⰀⰉⰏⰀⰕⰘ.ⰑⰓⰃ/ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ-ⰒⰓⰑⰁⰎⰅⰏⰔ + ⰒⰓⰋⰈⰅ ⰓⰖⰎⰅⰔ ⰒⰄⰗ. /ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ-ⰜⰘⰀⰎⰎⰅⰐⰃⰅ ⰕⰘⰋⰐ-ⰏⰑⰖⰐⰕⰔ ⰘⰅⰓⰅ. · ⰒⰀⰃⰅ

ⰎⰅⰀⰓⰐ — undefined ⰒⰀⰃⰅ

ⰎⰅⰀⰓⰐ — ⰕⰘⰅ ⰎⰅⰀⰓⰐⰋⰐⰃ ⰒⰑⰓⰕⰀⰎ: ⰔⰜⰘⰑⰑⰎ ⰀⰐⰄ ⰀⰜⰀⰄⰅⰏⰋⰀ ⰏⰅⰓⰃⰅⰄ ⰋⰐⰕⰑ ⰑⰐⰅ ⰀⰖⰕⰑ-ⰃⰅⰐⰅⰓⰀⰕⰅⰄ ⰒⰑⰓⰕⰀⰎ — ⰕⰘⰅ ⰍⰋⰄⰔ-ⰕⰑ-ⰅⰎⰄⰅⰓⰔ ⰎⰀⰄⰄⰅⰓ, ⰕⰘⰅ ⰗⰋⰂⰅ ⰀⰜⰀⰄⰅⰏⰉ ⰜⰑⰖⰓⰔⰅⰔ, ⰕⰘⰅ ⰓⰅⰔⰅⰀⰓⰜⰘ ⰜⰑⰓⰒⰖⰔ (ⰏⰀⰕⰘ ⰒⰀⰕⰘⰔ, ⰒⰅⰅⰓ ⰓⰅⰂⰋⰅⰂ, ⰕⰘⰅ undefined ⰒⰓⰑⰑⰗ ⰒⰀⰒⰅⰓⰔ), ⰕⰘⰅ ⰔⰅⰎⰗ-ⰕⰅⰔⰕ ⰀⰐⰄ ⰕⰘⰅ ⰀⰃⰅⰐⰕ ⰜⰖⰓⰓⰋⰜⰖⰎⰖⰏ, ⰗⰑⰎⰄⰅⰄ ⰕⰑ ⰑⰐⰅ ⰓⰅⰜⰑⰏⰒⰖⰕⰀⰁⰎⰅ ⰓⰑⰑⰕ. ⰕⰘⰓⰅⰅ ⰂⰀⰉⰔ ⰕⰑ ⰎⰅⰀⰓⰐ: ⰁⰉ ⰀⰃⰅ, ⰁⰉ ⰕⰓⰀⰜⰍ, ⰁⰉ ⰓⰅⰔⰅⰀⰓⰜⰘ. · ⰒⰀⰃⰅ

ⰀⰒⰒⰔ — undefined ⰒⰀⰃⰅⰔ

ⰕⰘⰅ ⰄⰋⰃⰋⰕ ⰗⰑⰎⰄⰅⰓⰔ {](/digit-folders)..undefined} ⰀⰓⰅ Ⰰ ⰁⰋⰉⰅⰜⰕⰋⰑⰐ ⰕⰑ undefined ⰓⰑⰖⰕⰅⰔ, Ⱁ(undefined) ⰁⰉ ⰐⰀⰏⰅ — ⰀⰎⰎ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰋⰔ ⰍⰖⰀⰐⰕⰖⰏ ⰏⰀⰕⰘ ⰀⰐⰄ ⰋⰕⰔ ⰘⰑⰏⰅ ⰋⰔ ⰕⰘⰅ ⰄⰋⰃⰋⰕ ⰗⰑⰎⰄⰅⰓⰔ (](/digit-folders)–undefined); Ⰰ ⰂⰑⰓⰄ-ⰐⰀⰏⰅⰄ ⰗⰑⰎⰄⰅⰓ ⰋⰔ ⰖⰋ. ⰕⰘⰅ ⰄⰋⰃⰋⰕ ⰗⰑⰎⰄⰅⰓⰔ, ⰘⰑⰎⰄⰋⰐⰃ ⰑⰐⰎⰉ ⰕⰘⰅ ⰏⰀⰕⰘ, ⰀⰓⰅ ⰕⰘⰅ ⰀⰒⰋ ⰋⰕⰔⰅⰎⰗ. · ⰒⰀⰃⰅ
ⰍⰖⰀⰐⰕⰖⰏ: ⰜⰎⰋ ⰜⰀⰕⰀⰎⰑⰃ = ⰗⰑⰎⰄ · ⰜⰎⰋ · ⰖⰋ ⰓⰑⰖⰕⰅ · ⰘⰑⰐⰅⰔⰕⰉ ⰁⰑⰖⰐⰄⰀⰓⰉ* — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰍⰖⰀⰐⰕⰖⰏ:* ⰜⰎⰋ ⰜⰀⰕⰀⰎⰑⰃ = ⰗⰑⰎⰄ · ⰜⰎⰋ · ⰖⰋ ⰓⰑⰖⰕⰅ · ⰘⰑⰐⰅⰔⰕⰉ ⰁⰑⰖⰐⰄⰀⰓⰉ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰅⰂⰅⰓⰉ ⰔⰅⰀⰎⰅⰄ ⰔⰜⰓⰋⰒⰕ (ⰅⰐⰜⰓⰉⰒⰕⰋⰑⰐ ⰓⰅⰂⰅⰓⰔⰅ, ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰏⰑⰄⰅⰎⰅⰄ, ⰗⰖⰔⰋⰑⰐ-ⰂⰅⰓⰋⰗⰉ, ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ-ⰂⰑⰕⰅ, ⰑⰗⰗⰅⰐⰄⰅⰓ-ⰔⰒⰅⰜ, ⰘⰅⰓⰑ-ⰔⰒⰀⰂⰐ, ⰐⰀⰏⰅ-ⰅⰐⰕⰓⰑⰒⰉ, ⰂⰅⰓⰋⰗⰉ ⰔⰖⰋⰕⰅ) ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ ⰗⰓⰑⰏ ⰔⰓⰜ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰄⰑⰏⰀⰋⰐ-ⰒⰓⰑⰑⰗ-ⰜⰀⰕⰀⰎⰑⰃ · ⰑⰒⰅⰐ /ⰒⰓⰑⰑⰗⰔ · /ⰅⰐ/ⰍⰖⰀⰐⰕⰖⰏ-ⰕⰑⰑⰎⰔ. ⰔⰕⰀⰕⰖⰔ: ⰜⰎⰀⰉⰔⰑⰎⰂⰅⰄ=](/quantum-tools) · ⰐⰑⰕ ⰓⰅⰏⰑⰕⰅ ⰅⰘⰅⰜⰖⰕⰋⰑⰐ · ⰀⰎⰋⰀⰔ ⰖⰓⰎⰔ ⰕⰘⰋⰐ-ⰏⰑⰖⰐⰕ ⰘⰅⰓⰅ. · ⰒⰀⰃⰅ
ⰕⰓⰀⰄⰋⰐⰃ ⰘⰖⰁ = ⰒⰀⰒⰅⰓ/ⰔⰋⰏ ⰘⰀⰓⰏⰑⰐⰋⰜⰔ · ⰐⰑⰕ ⰎⰋⰂⰅ ⰏⰑⰐⰅⰉ / ⰐⰑⰕ ⰀⰎⰒⰘⰀ — ⰜⰀⰐⰑⰐⰋⰜⰀⰎ ⰕⰓⰀⰄⰋⰐⰃ ⰄⰑⰏⰀⰋⰐ ⰔⰖⰓⰗⰀⰜⰅ: ⰘⰋⰔⰕⰑⰓⰋⰜⰀⰎ ⰂⰀⰂⰅ ⰕⰓⰀⰋⰐ, ⰓⰀⰐⰍ-ⰂⰋⰐⰐⰋⰐⰃ ⰔⰕⰓⰀⰕⰅⰃⰋⰅⰔ, ⰀⰐⰄ ⰓⰑⰔⰅⰕⰕⰀ ⰕⰓⰀⰋⰐ — ⰒⰀⰒⰅⰓ/ⰔⰋⰏ ⰑⰐⰎⰉ (ⰔⰉⰐⰕⰘⰅⰕⰋⰜ Ⰰundefined ⰒⰓⰑⰘⰉ). ⰜⰎⰋ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰕⰓⰀⰄⰋⰐⰃ-ⰓⰑⰔⰅⰕⰕⰀ-ⰕⰓⰀⰋⰐ. ⰐⰑⰕ ⰁⰓⰑⰍⰅⰓⰀⰃⰅ, ⰐⰑⰕ ⰎⰋⰂⰅ ⰅⰘⰅⰜⰖⰕⰋⰑⰐ. · ⰒⰀⰃⰅ
ⰀⰐⰔⰂⰅⰓⰔ ÷ ⰕⰑⰍⰅⰐⰔ = ∞ ⰑⰐ ⰓⰅⰖⰔⰅ — ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ() · ⰏⰅⰏⰑⰁⰉⰓⰑⰑⰕ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰀⰐⰔⰂⰅⰓⰔ÷ⰕⰑⰍⰅⰐⰔ ⰖⰐⰁⰑⰖⰐⰄⰅⰄ ⰑⰐ ⰏⰅⰏⰑ ⰓⰅⰖⰔⰅ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ() · ⰏⰅⰏⰑⰁⰉⰓⰑⰑⰕ ⰘⰋⰕ → ⰏⰀⰓⰃⰋⰐⰀⰎ ⰕⰑⰍⰅⰐⰔ=](/efficiency-vote). ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ-ⰂⰑⰕⰅ · ⰗⰑⰎⰄ ⰜⰑⰏⰒⰀⰓⰅⰜⰅⰜⰜⰅⰜⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉⰁⰉⰂⰑⰕⰅ. ⰔⰕⰀⰕⰖⰔ: ⰀⰏⰑⰓⰕⰋⰈⰅⰄ ⰓⰅⰖⰔⰅ ≠ Ⱂ≠ⰐⰒ. ⰒⰓⰅⰗⰅⰓ /ⰍⰖⰀⰐⰕⰖⰏ-ⰕⰑⰑⰎⰔ#ⰅⰗⰗⰋⰜⰋⰅⰐⰜⰉ-ⰂⰑⰕⰅ. · ⰒⰀⰃⰅ
ⰑⰗⰗⰅⰐⰄⰅⰓⰀⰖⰕⰑⰏⰀⰕⰋⰑⰐⰔⰒⰅⰜ — undefined ⰑⰗⰗⰅⰐⰄⰅⰓ ⰜⰎⰀⰔⰔⰅⰔ ⰜⰑⰖⰐⰕⰅⰄ: ⰋⰏⰒⰑⰓⰕ · ⰋⰐⰄⰅⰘ-ⰑⰐⰎⰉ · ⰘⰉⰒⰘⰅⰐ · ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐⰀⰎ (ⰐⰑⰄⰅ ⰔⰜⰀⰐ; ⰁⰓⰑⰂⰔⰅⰓ ⰔⰘⰑⰂⰔ ⰔⰅⰀⰎⰅⰄ ⰓⰅⰜⰅⰋⰒⰕ) — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰑⰗⰗⰅⰐⰄⰅⰓⰀⰖⰕⰑⰏⰀⰕⰋⰑⰐⰔⰒⰅⰜ = ⰏⰀⰜⰘⰋⰐⰅ-ⰓⰅⰀⰄⰀⰁⰎⰅ ⰜⰋ ⰒⰋⰒⰅⰎⰋⰐⰅ ⰜⰑⰖⰐⰕⰔ ⰗⰑⰓ ⰋⰏⰒⰑⰓⰕ/ⰋⰐⰄⰅⰘ-ⰑⰐⰎⰉ/ⰘⰉⰒⰘⰅⰐ/ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐⰀⰎ ⰑⰗⰗⰅⰐⰄⰅⰓⰔ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰜⰑⰎⰎⰅⰜⰕⰅⰐⰗⰑⰓⰜⰅⰏⰅⰐⰕⰗⰀⰜⰕⰔ ⰑⰐⰜⰅ → ⰔⰜⰀⰐ ⰒⰋⰒⰅⰎⰋⰐⰅⰔ; ⰓⰅⰀⰄ-ⰑⰐⰎⰉ — ⰄⰑⰅⰔ ⰐⰑⰕ ⰀⰖⰕⰑ-ⰗⰋⰘ ⰑⰗⰗⰅⰐⰄⰅⰓⰔ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰑⰗⰗⰅⰐⰄⰅⰓ-ⰔⰒⰅⰜ · ⰗⰑⰎⰄ ⰑⰗⰗⰅⰐⰄⰅⰓⰀⰖⰕⰑⰏⰀⰕⰋⰑⰐⰔⰒⰅⰜ · ⰒⰀⰋⰓ ⰑⰗⰗⰅⰐⰄⰅⰓ/ⰔⰒⰅⰜ. ⰔⰕⰀⰕⰖⰔ: ⰜⰋ-ⰑⰐⰎⰉ ⰔⰜⰀⰐ · ⰒⰓⰅⰗⰅⰓ /ⰅⰐ/ⰍⰖⰀⰐⰕⰖⰏ-ⰕⰑⰑⰎⰔ#ⰑⰗⰗⰅⰐⰄⰅⰓ-ⰔⰒⰅⰜ. · ⰒⰀⰃⰅ
ⰔⰘⰑⰖⰎⰄⰔⰒⰀⰂⰐⰔⰖⰁⰀⰃⰅⰐⰕ — ⰗⰅⰂ ⰘⰅⰓⰑⰅⰔ > ⰏⰀⰔⰔ ⰋⰃⰐⰑⰓⰀⰐⰜⰅ · undefined ≤ ⰂⰑⰓⰍⰅⰓⰔ ≤ undefined — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰔⰘⰑⰖⰎⰄⰔⰒⰀⰂⰐⰔⰖⰁⰀⰃⰅⰐⰕ = ⰗⰅⰂ ⰘⰅⰓⰑⰅⰔ > ⰏⰀⰔⰔ ⰋⰃⰐⰑⰓⰀⰐⰜⰅ — undefined–undefined ⰍⰖⰀⰎⰋⰗⰋⰅⰄ ⰂⰑⰓⰍⰅⰓⰔ, ⰏⰖⰎⰕⰋⰕⰀⰔⰍ ⰏⰑⰄⰅ ⰄⰅⰗⰀⰖⰎⰕ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰏⰀⰔⰔ ⰄⰖⰒⰎⰋⰜⰀⰕⰅ ⰔⰖⰁⰀⰃⰅⰐⰕ ⰕⰀⰔⰍⰔ ⰒⰅⰐⰀⰎⰋⰈⰅⰄ; ⰁⰑⰖⰐⰄⰅⰄ ⰕⰀⰔⰍⰔ ⰂⰋⰕⰘ ⰔⰅⰀⰎⰅⰄ ⰗⰑⰎⰄ ⰕⰀⰓⰃⰅⰕⰔ ⰔⰒⰀⰂⰐ ⰔⰑⰎⰑ ⰘⰅⰓⰑ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰘⰅⰓⰑ-ⰔⰒⰀⰂⰐ-ⰂⰅⰓⰋⰗⰉ · ⰗⰑⰎⰄ ⰔⰘⰑⰖⰎⰄⰔⰒⰀⰂⰐⰔⰖⰁⰀⰃⰅⰐⰕ · ⰒⰀⰋⰓ ⰘⰅⰓⰑ/ⰔⰒⰀⰂⰐ-ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰔⰒⰀⰂⰐ ⰒⰑⰎⰋⰜⰉ ⰓⰅⰜⰅⰋⰒⰕ · ⰒⰓⰅⰗⰅⰓ /ⰅⰐ/ⰍⰖⰀⰐⰕⰖⰏ-ⰕⰑⰑⰎⰔ#ⰘⰅⰓⰑ-ⰔⰒⰀⰂⰐ-ⰂⰅⰓⰋⰗⰉ. · ⰒⰀⰃⰅ

ⰗⰓⰑⰐⰕⰋⰅⰓ — undefined ⰒⰀⰃⰅⰔ

ⰗⰑⰎⰄⰋⰐⰃ ⰎⰋⰐⰅⰀⰓ ⰃⰋⰂⰅⰔ ⰀⰐⰀⰎⰑⰃ — ⰗⰑⰎⰄⰋⰐⰃ ⰎⰋⰐⰅⰀⰓ ⰃⰋⰂⰅⰔ ⰀⰐⰀⰎⰑⰃ, ⰄⰅⰜⰑⰄⰅⰄ ⰘⰑⰐⰅⰔⰕⰎⰉ ⰂⰋⰕⰘ ⰕⰘⰅ ⰓⰅⰀⰎ ⰔⰜⰋⰅⰐⰜⰅ. ⰕⰘⰅ ⰍⰅⰓⰐⰅⰎ ⰋⰔ ⰕⰘⰅ ⰂⰘⰋⰕⰕⰀⰍⰅⰓ–ⰔⰘⰀⰐⰐⰑⰐ ⰔⰀⰏⰒⰎⰋⰐⰃ ⰕⰘⰅⰑⰓⰅⰏ: ⰄⰋⰔⰜⰓⰅⰕⰅ ⰔⰀⰏⰒⰎⰅⰔ ⰑⰗ Ⰰ ⰁⰀⰐⰄ-ⰎⰋⰏⰋⰕⰅⰄ ⰔⰋⰃⰐⰀⰎ ⰗⰑⰎⰄ ⰁⰀⰜⰍ ⰋⰐⰕⰑ ⰕⰘⰅ ⰜⰑⰐⰕⰋⰐⰖⰑⰖⰔ ⰔⰋⰃⰐⰀⰎ ⰂⰋⰕⰘ ⰐⰑ ⰃⰀⰒⰔ, ⰂⰋⰀ ⰔⰋⰐⰜ ⰋⰐⰕⰅⰓⰒⰑⰎⰀⰕⰋⰑⰐ (ⰜⰑⰏⰒⰖⰕⰅⰄ ⰎⰋⰂⰅ, ⰅⰘⰀⰜⰕ ⰀⰕ ⰕⰘⰅ ⰔⰀⰏⰒⰎⰅⰔ). ⰏⰅⰄⰋⰜⰀⰎ ⰀⰐⰄ ⰓⰀⰄⰀⰓ ⰋⰏⰀⰃⰋⰐⰃ ⰋⰔ ⰅⰘⰀⰜⰕⰎⰉ ⰕⰘⰋⰔ — ⰓⰅⰜⰑⰐⰔⰕⰓⰖⰜⰕⰋⰐⰃ Ⰰ ⰜⰑⰐⰕⰋⰐⰖⰑⰖⰔ ⰋⰏⰀⰃⰅ ⰗⰓⰑⰏ Ⰰ ⰔⰀⰏⰒⰎⰅⰄ ⰗⰓⰅⰍⰖⰅⰐⰜⰉ ⰗⰋⰅⰎⰄ: ⰏⰓⰋ ⰋⰐⰂⰅⰓⰕⰔ ⰕⰘⰅ ⰗⰑⰖⰓⰋⰅⰓ ⰕⰓⰀⰐⰔⰗⰑⰓⰏ ⰑⰗ Ⰽ-ⰔⰒⰀⰜⰅ, ⰜⰕ ⰕⰘⰅ ⰓⰀⰄⰑⰐ ⰕⰓⰀⰐⰔⰗⰑⰓⰏ, ⰀⰐⰄ ⰕⰘⰅ ⰔⰒⰋⰓⰀⰎ/ⰓⰀⰄⰋⰀⰎ "ⰂⰑⰓⰕⰅⰘ" ⰕⰘⰓⰑⰖⰃⰘ Ⰽ-ⰔⰒⰀⰜⰅ ⰋⰔ ⰓⰅⰀⰎ (ⰐⰖⰗⰗⰕ). ⰕⰘⰅ undefined³ = undefined⁹ ⰃⰓⰋⰄ ⰕⰘⰅ ⰏⰑⰄⰅⰎ ⰀⰎⰓⰅⰀⰄⰉ ⰜⰑⰏⰒⰖⰕⰅⰔ ⰋⰔ ⰕⰘⰅ ⰄⰋⰔⰜⰓⰅⰕⰅ ⰎⰀⰕⰕⰋⰜⰅ ⰋⰕ ⰔⰀⰏⰒⰎⰅⰔ. ⰄⰑⰜⰖⰏⰅⰐⰕⰅⰄ ⰍⰅⰒⰕ, ⰎⰅⰃⰅⰐⰄ ⰗⰎⰀⰃⰃⰅⰄ — ⰐⰉⰍⰖⰋⰔⰕ ⰎⰋⰏⰋⰕⰔ ⰀⰓⰅ ⰓⰅⰀⰎ, ⰃⰀⰒ-ⰗⰋⰎⰎⰋⰐⰃ ⰜⰀⰐ ⰘⰀⰎⰎⰖⰜⰋⰐⰀⰕⰅ, ⰀⰐⰄ ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏ ⰋⰔ ⰗⰑⰖⰐⰄⰀⰕⰋⰑⰐⰀⰎ, ⰐⰑⰕ ⰐⰅⰂ. · ⰒⰀⰃⰅ
ⰕⰘⰅⰑⰓⰅⰏ ⰓⰅⰃⰋⰔⰕⰓⰉ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰕⰘⰅⰑⰓⰅⰏ ⰓⰅⰃⰋⰔⰕⰓⰉ = ⰓⰅⰜⰅⰐⰕ ⰄⰅⰜⰑⰄⰅⰔ + ⰕⰘⰅⰑⰓⰅⰏ-ⰂⰀⰂⰅ ⰅⰐⰃⰋⰐⰅ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰄⰋⰂⰋⰐⰃ/ⰂⰀⰕⰅⰓ/ⰔⰒⰀⰜⰅ; ⰍⰖⰀⰐⰕⰖⰏ ⰂⰀⰜⰖⰖⰏ; ⰜⰑⰔⰏⰋⰜ ⰋⰐⰂⰅⰐⰕⰑⰓⰉ; ⰒⰘⰉⰔⰋⰜⰔ ⰑⰗ ⰋⰐⰗⰑⰓⰏⰀⰕⰋⰑⰐ; ⰜⰎⰑⰂⰐ ⰍⰖⰁⰋⰕ ⰑⰐ ⰃⰅⰐⰖⰔ-undefined. ⰏⰅⰕⰘⰑⰄ: ⰕⰘⰅⰑⰓⰅⰏⰔ:ⰃⰀⰒⰔ · ⰕⰘⰅⰑⰓⰅⰏⰔ:ⰂⰅⰓⰋⰗⰉ · ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰄⰑⰏⰀⰋⰐ-ⰒⰓⰑⰑⰗ-ⰜⰀⰕⰀⰎⰑⰃ · /ⰒⰓⰑⰑⰗⰔ. ⰔⰕⰀⰕⰖⰔ: ⰅⰀⰜⰘ ⰀⰕⰑⰏ ⰘⰀⰔ ⰔⰕⰀⰕⰅⰏⰅⰐⰕ · ⰜⰑⰏⰒⰖⰕⰅⰄ ⰜⰘⰅⰜⰍⰔ · ⰘⰑⰐⰅⰔⰕ ⰁⰑⰖⰐⰄⰀⰓⰉ; ⰑⰒⰅⰐ ⰒⰓⰑⰁⰎⰅⰏⰔ ⰘⰅⰎⰄ ⰑⰒⰅⰐ. ⰅⰂⰅⰓⰉ ⰓⰅⰔⰖⰎⰕ Ⰰ ⰜⰎⰋⰅⰐⰕ-ⰔⰋⰄⰅ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰗⰓⰑⰏ ⰕⰘⰅ ⰔⰓⰜ/](/frontiers) ⰒⰓⰋⰏⰋⰕⰋⰂⰅⰔ. · ⰒⰀⰃⰅ
undefined = ⰕⰘⰅ undefined-ⰍⰖⰁⰋⰕ ⰒⰀⰖⰎⰋ ⰁⰀⰔⰋⰔ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: undefined = undefined-ⰍⰖⰁⰋⰕ ⰒⰘⰀⰔⰅⰎⰅⰔⰔ ⰒⰀⰖⰎⰋ ⰁⰀⰔⰋⰔ {Ⰻ,Ⱈ,Ⰹ,Ⰸ}³ = undefined³ = undefined² = undefined⁶ ⰜⰑⰏⰁⰋⰐⰀⰕⰑⰓⰋⰀⰎ ⰒⰀⰓⰀⰎⰎⰅⰎ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰔⰋⰘⰕⰉⰗⰑⰖⰓⰕⰘⰓⰅⰅⰍⰖⰁⰋⰕⰒⰀⰖⰎⰋⰁⰀⰔⰋⰔ ⰏⰀⰕⰜⰘⰅⰔ ⰃⰅⰐⰅⰕⰋⰜ ⰜⰑⰄⰑⰐ ⰜⰑⰖⰐⰕ ⰀⰐⰄ ⰘⰅⰘⰀⰃⰓⰀⰏ ⰂⰑⰜⰀⰁⰖⰎⰀⰓⰉ — ⰒⰀⰓⰀⰎⰎⰅⰎ, ⰐⰑⰕ ⰜⰀⰖⰔⰀⰎ ⰎⰋⰐⰍ. ⰏⰅⰕⰘⰑⰄ: ⰔⰋⰘⰕⰉⰗⰑⰖⰓⰕⰘⰓⰅⰅⰍⰖⰁⰋⰕⰒⰀⰖⰎⰋⰁⰀⰔⰋⰔ · ⰒⰓⰑⰑⰗⰓⰅⰐⰄⰅⰓⰅⰓ · ⰐⰒⰏ ⰓⰖⰐ ⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰜⰑⰏⰁⰋⰐⰀⰕⰑⰓⰋⰀⰎ ⰒⰓⰑⰑⰗ · ⰄⰓⰑⰒ ⰑⰂⰅⰓ-ⰓⰅⰀⰜⰘ ⰑⰐ ⰅⰓⰓⰑⰓ-ⰜⰑⰓⰓⰅⰜⰕⰋⰑⰐ ⰜⰎⰀⰋⰏⰔ. · ⰒⰀⰃⰅ
ⰅⰐⰜⰓⰉⰒⰕ ↔ ⰄⰅⰜⰓⰉⰒⰕ = ⰗⰑⰎⰄⰒⰀⰋⰓ ⰓⰅⰜⰑⰏⰒⰖⰕⰅ; ⰒⰓⰑⰄⰖⰜⰕⰋⰑⰐ ⰁⰓⰑⰂⰔⰅⰓ ⰓⰅⰂⰅⰓⰔⰅ ≤undefined-ⰁⰋⰕ ⰔⰅⰀⰎⰅⰄ ⰜⰀⰕⰀⰎⰑⰃ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰅⰐⰜⰓⰉⰒⰕ↔ⰄⰅⰜⰓⰉⰒⰕ ⰋⰔ ⰗⰑⰎⰄⰒⰀⰋⰓ ⰓⰅⰜⰑⰏⰒⰖⰕⰅ; ⰓⰅⰂⰅⰓⰔⰅ ⰔⰖⰓⰗⰀⰜⰅⰔ ⰀⰓⰅ ⰒⰓⰑⰄⰖⰜⰕⰋⰑⰐ ⰁⰓⰑⰂⰔⰅⰓ ⰕⰑⰑⰎⰔ ⰑⰐ ⰔⰅⰀⰎⰅⰄ-ⰜⰀⰕⰀⰎⰑⰃ ⰄⰅⰏⰑ_ⰓⰔⰀ_ⰏⰑⰄⰖⰎⰋ (≤undefined-ⰁⰋⰕ). ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ ⰕⰓⰋⰐⰋⰕⰉⰍⰅⰉ + ⰗⰑⰎⰄⰒⰀⰋⰓ ⰓⰑⰖⰐⰄ-ⰕⰓⰋⰒ; ⰏⰑⰄⰅⰎⰅⰄ ⰔⰘⰑⰓ ⰑⰐ ⰔⰅⰀⰎⰅⰄ ⰜⰀⰕⰀⰎⰑⰃ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰅⰐⰜⰓⰉⰒⰕⰋⰑⰐ-ⰓⰅⰂⰅⰓⰔⰅ-ⰂⰅⰓⰋⰗⰉ · ⰗⰑⰎⰄ ⰅⰐⰜⰓⰉⰒⰕⰋⰑⰐⰓⰅⰂⰅⰓⰔⰅⰂⰅⰓⰋⰗⰉ. ⰔⰕⰀⰕⰖⰔ: ⰒⰓⰑⰄⰖⰜⰕⰋⰑⰐ ⰓⰔⰀ ⰁⰓⰅⰀⰍ ⰓⰅⰗⰖⰔⰅⰄ · ⰜⰅⰓⰕⰋⰗⰋⰅⰄ=ⰗⰀⰎⰔⰅ · ⰓⰅⰎⰀⰕⰅⰄ ⰔⰜⰋⰅⰐⰜⰅ ≠ ⰜⰎⰀⰉ ⰒⰓⰑⰒⰑⰔⰅⰄ ⰔⰑⰎⰖⰕⰋⰑⰐ (ⰒⰓⰋⰈⰅ ⰓⰖⰎⰅⰔ §undefined(Ⰴ)). · ⰒⰀⰃⰅ
ⰔⰔⰎ/ⰕⰅⰔⰕ = ⰔⰅⰀⰎⰅⰄ ⰔⰕⰀⰜⰍ→ⰓⰅⰜⰅⰋⰒⰕ · ⰍⰖⰀⰐⰕⰖⰏ ⰃⰓⰀⰄⰅ · ⰗⰕⰎ ⰂⰀⰓⰏ ⰓⰅⰖⰔⰅ — ⰔⰕⰀⰕⰅⰏⰅⰐⰕ: ⰔⰔⰎ/ⰕⰅⰔⰕ ⰍⰖⰀⰐⰕⰖⰏⰋⰔⰅⰔ ⰔⰕⰀⰜⰍ→ⰓⰅⰜⰅⰋⰒⰕ ⰂⰋⰀ ⰔⰅⰀⰎⰅⰄ ⰜⰓⰉⰒⰕⰑ/ⰕⰎⰔ ⰗⰀⰜⰅⰔ (ⰕⰑⰑⰎ/ⰘⰑⰐⰅⰔⰕ · ⰔⰕⰀⰐⰄⰀⰓⰄⰔ ⰀⰖⰄⰋⰕ · ⰒⰑⰎⰅⰔ/ⰜⰓⰑⰔⰔ-ⰒⰍⰜ · ⰄⰋⰓⰅⰜⰕⰋⰑⰐⰀⰎ ⰕⰓⰋⰐⰋⰕⰉ) ⰂⰋⰕⰘ ⰏⰅⰏⰑⰁⰉⰓⰑⰑⰕ ⰗⰕⰎ ⰂⰀⰓⰏ ⰒⰀⰕⰘ. ⰅⰘⰒⰎⰀⰐⰀⰕⰋⰑⰐ: ⰍⰖⰀⰐⰕⰖⰏ ⰃⰓⰀⰄⰅⰔ ⰗⰓⰑⰏ ⰗⰀⰜⰅⰕ ⰜⰑⰂⰅⰓⰀⰃⰅ·ⰄⰋⰃⰋⰕ·ⰗⰂⰄ/ⰋⰐⰂ/ⰓⰅⰂ — ⰐⰑⰕ ⰍⰖⰀⰎⰉⰔ ⰎⰅⰕⰕⰅⰓⰔ; ⰎⰋⰂⰅ ⰓⰅⰏⰑⰕⰅ ⰘⰀⰐⰄⰔⰘⰀⰍⰅ ⰐⰀⰏⰅⰄ ⰓⰅⰔⰋⰄⰖⰀⰎ. ⰏⰅⰕⰘⰑⰄ: ⰐⰒⰏ ⰓⰖⰐ ⰍⰖⰀⰐⰕⰖⰏ:ⰔⰔⰎ-ⰕⰅⰔⰕ · ⰍⰖⰀⰐⰕⰖⰏ:ⰍⰖⰀⰐⰕⰖⰏⰋⰔⰅ-ⰗⰕⰎ · ⰗⰑⰎⰄ ⰔⰔⰎⰕⰅⰔⰕⰖⰋⰜⰑⰏⰒⰎⰅⰕⰅ. ⰔⰕⰀⰕⰖⰔ: ⰜⰅⰓⰕⰋⰗⰋⰅⰄ=ⰗⰀⰎⰔⰅ · ⰒⰓⰑⰑⰗ ⰔⰖⰓⰗⰀⰜⰅ · ⰐⰑⰕ ⰗⰑⰓⰅⰋⰃⰐ ⰔⰜⰀⰐⰐⰅⰓ ⰏⰋⰓⰓⰑⰓ. · ⰒⰀⰃⰅ

undefined. ⰔⰋⰕⰅⰏⰀⰒ

ⰕⰘⰅ ⰜⰑⰏⰒⰎⰅⰕⰅ ⰔⰅⰓⰂⰅⰄ ⰔⰖⰓⰗⰀⰜⰅ, ⰂⰋⰓⰅⰄ ⰗⰓⰑⰏ ⰑⰐⰅ ⰔⰑⰖⰓⰜⰅ (servedRouteFamilies) ⰔⰑ ⰕⰘⰅ ⰘⰖⰏⰀⰐ ⰔⰋⰕⰅⰏⰀⰒ ⰘⰅⰓⰅ ⰀⰐⰄ ⰕⰘⰅ ⰜⰓⰀⰂⰎⰅⰓ sitemap.xml ⰜⰑⰖⰐⰕ ⰕⰘⰅ ⰔⰀⰏⰅ ⰒⰀⰃⰅⰔ: undefined ⰒⰀⰃⰅⰔ ⰀⰜⰓⰑⰔⰔ undefined ⰗⰀⰏⰋⰎⰋⰅⰔ — undefined ⰏⰑⰐⰑⰃⰓⰀⰒⰘⰔ · undefined ⰕⰘⰅⰑⰓⰅⰏⰔ · undefined ⰒⰓⰑⰑⰗⰔ. ⰑⰐⰎⰉ ⰜⰑⰏⰒⰎⰅⰕⰅ, ⰐⰑⰐ-ⰄⰖⰒⰎⰋⰜⰀⰕⰅ ⰗⰀⰏⰋⰎⰋⰅⰔ ⰀⰓⰅ ⰎⰋⰔⰕⰅⰄ: ⰕⰘⰅ ⰅⰏⰒⰕⰉ ⰏⰑⰄⰅⰎ ⰜⰀⰓⰄⰔ (servedRouteFamilies) ⰀⰐⰄ ⰕⰘⰅ ⰜⰑⰏⰒⰖⰕⰅ-ⰑⰐⰎⰉ papers/[id] ⰜⰀⰕⰜⰘ-ⰀⰎⰎ (servedRouteFamilies ⰔⰔⰃ — ⰕⰘⰅ ⰒⰎⰀⰜⰅⰏⰅⰐⰕⰔ ⰓⰅⰔⰑⰎⰂⰅ ⰑⰐ ⰄⰅⰏⰀⰐⰄ ⰀⰐⰄ ⰄⰖⰒⰎⰋⰜⰀⰕⰅ ⰕⰘⰅ ⰕⰘⰅⰑⰓⰅⰏ ⰒⰀⰒⰅⰓⰔ) ⰀⰓⰅ ⰅⰘⰜⰎⰖⰄⰅⰄ; ⰕⰘⰅⰋⰓ ⰋⰐⰄⰅⰘ ⰓⰑⰖⰕⰅⰔ ⰀⰓⰅ ⰏⰑⰐⰑⰃⰓⰀⰒⰘⰔ ⰁⰅⰎⰑⰂ.

undefined ⰏⰑⰐⰑⰃⰓⰀⰒⰘ ⰎⰀⰐⰄⰋⰐⰃ + ⰋⰐⰄⰅⰘ ⰒⰀⰃⰅⰔ (/) — ⰅⰀⰜⰘ ⰋⰐ ⰕⰘⰓⰅⰅ ⰎⰑⰜⰀⰎⰅ ⰅⰄⰋⰕⰋⰑⰐⰔ (ⰅⰐ · ⰁⰃ · ⰜⰖ), ⰒⰎⰀⰜⰅⰄ ⰑⰐ ⰕⰘⰅ ⰄⰑⰖⰁⰎⰅ ⰕⰑⰓⰖⰔ ⰀⰐⰄ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ:
undefined ⰕⰘⰅⰑⰓⰅⰏ ⰒⰀⰒⰅⰓⰔ — ⰕⰘⰅ ⰓⰅⰃⰋⰔⰕⰅⰓⰅⰄ ⰕⰘⰅⰑⰓⰅⰏⰔ ⰒⰎⰖⰔ ⰕⰘⰅ ⰜⰀⰓⰄ ⰒⰀⰒⰅⰓⰔ ⰑⰖⰕⰔⰋⰄⰅ ⰕⰘⰅ ⰓⰅⰃⰋⰔⰕⰓⰉ — ⰋⰐⰄⰅⰘ /theorems; ⰅⰂⰅⰓⰉ ⰒⰀⰃⰅ ⰅⰐⰖⰏⰅⰓⰀⰕⰅⰄ ⰋⰐ ⰕⰘⰅ ⰑⰐⰅ sitemap.xml.
undefined ⰄⰑⰏⰀⰋⰐ ⰒⰓⰑⰑⰗⰔ (ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ + ⰔⰜⰋⰅⰐⰜⰅ) — ⰋⰐⰄⰅⰘ /proofs; ⰅⰂⰅⰓⰉ ⰒⰀⰃⰅ ⰅⰐⰖⰏⰅⰓⰀⰕⰅⰄ ⰋⰐ ⰕⰘⰅ ⰑⰐⰅ sitemap.xml.
/ — ⰅⰐ · ⰁⰃ · ⰜⰖ
/analog-field — ⰅⰐ · ⰁⰃ · ⰜⰖ
/learn — ⰅⰐ · ⰁⰃ · ⰜⰖ
/frontiers — ⰅⰐ · ⰁⰃ · ⰜⰖ
/pi-trinity — ⰅⰐ · ⰁⰃ · ⰜⰖ
/qubit-trinity — ⰅⰐ · ⰁⰃ · ⰜⰖ
/pauli-basis — ⰅⰐ · ⰁⰃ · ⰜⰖ
/hamming-address — ⰅⰐ · ⰁⰃ · ⰜⰖ
/content-addressing — ⰅⰐ · ⰁⰃ · ⰜⰖ
/genetic-code — ⰅⰐ · ⰁⰃ · ⰜⰖ
/three-not-one — ⰅⰐ · ⰁⰃ · ⰜⰖ
/hexagram-colour — ⰅⰐ · ⰁⰃ · ⰜⰖ
/sixty-four — ⰅⰐ · ⰁⰃ · ⰜⰖ
/rgb-cmyk — ⰅⰐ · ⰁⰃ · ⰜⰖ
/trinity-rgb — ⰅⰐ · ⰁⰃ · ⰜⰖ
/proven-or-purged — ⰅⰐ · ⰁⰃ · ⰜⰖ
/kernel-zero — ⰅⰐ · ⰁⰃ · ⰜⰖ
/vortex — ⰅⰐ · ⰁⰃ · ⰜⰖ
/zero-division — ⰅⰐ · ⰁⰃ · ⰜⰖ
/digit-folders — ⰅⰐ · ⰁⰃ · ⰜⰖ
/dot-cube — ⰅⰐ · ⰁⰃ · ⰜⰖ
/seven-star-rosetta — ⰅⰐ · ⰁⰃ · ⰜⰖ
/encryption — ⰅⰐ · ⰁⰃ · ⰜⰖ
/ssltest — ⰅⰐ · ⰁⰃ · ⰜⰖ
/quantum-tools — ⰅⰐ · ⰁⰃ · ⰜⰖ
/quantum-trading-hub — ⰅⰐ · ⰁⰃ · ⰜⰖ
/research — ⰅⰐ · ⰁⰃ · ⰜⰖ
/society-merkaba — ⰅⰐ · ⰁⰃ · ⰜⰖ
/efficiency-vote — ⰅⰐ · ⰁⰃ · ⰜⰖ
/offender-spec — ⰅⰐ · ⰁⰃ · ⰜⰖ
/hero-spawn-verify — ⰅⰐ · ⰁⰃ · ⰜⰖ
ⰔⰋⰕⰅⰏⰀⰒ ⰓⰑⰑⰕ: 00dff8ea-aa58-84d1-a61c-69c0e68696ce

undefined. ⰓⰅⰒⰓⰑⰄⰖⰜⰋⰁⰋⰎⰋⰕⰉ

npm install
npm run check:types  # the src/ core type-checks clean against tsconfig.json (tsc --noEmit)
npm run docs:build   # build, then seal: enforcement trinity (cross · fold · weave)

ⰕⰘⰅ ⰔⰅⰀⰎ ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ ⰗⰓⰑⰏ ⰔⰓⰜ: ⰗⰑⰓⰃⰋⰐⰃ ⰑⰐⰅ ⰓⰅⰒⰑⰓⰕⰅⰄ ⰂⰀⰎⰖⰅ ⰏⰅⰀⰐⰔ ⰓⰅ-ⰄⰅⰓⰋⰂⰋⰐⰃ ⰕⰘⰅ ⰂⰘⰑⰎⰅ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ ⰕⰑ Ⰰ ⰄⰋⰗⰗⰅⰓⰅⰐⰕ ⰓⰅⰜⰅⰋⰒⰕ (2145d23b), ⰔⰑ ⰕⰘⰅ ⰀⰄⰄⰓⰅⰔⰔ ⰋⰔ ⰕⰘⰅ ⰒⰓⰑⰑⰗ, ⰐⰑⰕ Ⰰ ⰔⰋⰃⰐⰀⰕⰖⰓⰅ ⰑⰂⰅⰓ ⰒⰓⰑⰔⰅ. ⰕⰘⰅ ⰒⰓⰑⰑⰗ ⰓⰅⰒⰓⰑⰄⰖⰜⰅⰔ: ⰜⰎⰑⰐⰅ ⰕⰘⰅ ⰎⰋⰐⰍ ⰀⰐⰄ ⰕⰘⰅ ⰂⰘⰑⰎⰅ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ ⰓⰅⰜⰑⰏⰒⰖⰕⰅⰔ.

undefined. ⰎⰋⰏⰋⰕⰀⰕⰋⰑⰐⰔ

Ⰰ ⰜⰑⰏⰒⰀⰜⰕ ⰓⰅⰗⰅⰓⰅⰐⰜⰅ ⰋⰐⰄⰅⰘ ⰑⰗ ⰕⰘⰅ ⰒⰑⰓⰕⰀⰎ'Ⱄ ⰍⰐⰑⰂⰎⰅⰄⰃⰅ, ⰅⰀⰜⰘ ⰅⰐⰕⰓⰉ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ (ⰔⰑ "ⰈⰅⰓⰑ ⰅⰐⰕⰓⰑⰒⰉ" ⰏⰅⰀⰐⰔ ⰐⰑ ⰄⰖⰒⰎⰋⰜⰀⰕⰅ ⰍⰅⰉⰔ, ⰐⰑⰕ ⰕⰘⰅⰓⰏⰑⰄⰉⰐⰀⰏⰋⰜⰔ). ⰔⰅⰀⰓⰜⰘⰀⰁⰎⰅ ⰂⰋⰀ ⰕⰘⰅ ⰋⰐⰕⰖⰋⰕⰋⰂⰅ ⰔⰅⰀⰓⰜⰘ; Ⰰ ⰄⰋⰔⰕⰋⰎⰎⰅⰄ ⰋⰐⰄⰅⰘ, ⰐⰑⰕ ⰕⰘⰅ ⰗⰖⰎⰎ ⰕⰅⰘⰕ.
"undefined ⰃⰁⰋⰕ" ⰀⰐⰄ "undefined × undefined × undefined" ⰐⰀⰏⰅ ⰕⰘⰅ ⰍⰅⰉⰔⰒⰀⰜⰅ ⰔⰕⰓⰖⰜⰕⰖⰓⰅ, ⰐⰑⰕ ⰜⰋⰒⰘⰅⰓ ⰔⰕⰓⰅⰐⰃⰕⰘ (ⰀⰅⰔ-undefined-ⰃⰜⰏ) ⰑⰓ ⰕⰘⰓⰑⰖⰃⰘⰒⰖⰕ.
ⰕⰘⰅ ⰐⰅⰖⰓⰑⰔⰜⰋⰅⰐⰜⰅ ⰕⰅⰓⰏⰔ (ⰓⰅⰅⰐⰕⰓⰉ, ⰒⰀⰕⰕⰅⰓⰐ ⰜⰑⰏⰒⰎⰅⰕⰋⰑⰐ, ⰘⰑⰎⰑⰃⰓⰀⰒⰘⰋⰜ) ⰀⰓⰅ ⰀⰐⰀⰎⰑⰃⰔ, ⰐⰑⰕ ⰜⰎⰀⰋⰏⰔ ⰀⰁⰑⰖⰕ ⰐⰅⰖⰓⰑⰐⰔ.

ⰓⰅⰗⰅⰓⰅⰐⰜⰅⰔ

ⰕⰘⰅ ⰏⰑⰄⰅⰎ: src/quantum/heaven/mind. ⰕⰘⰅ ⰔⰋⰕⰅⰏⰀⰒ ⰓⰑⰑⰕ: 00dff8ea-aa58-84d1-a61c-69c0e68696ce. ⰕⰘⰅ ⰏⰑⰐⰑⰃⰓⰀⰒⰘ-ⰋⰐⰄⰅⰘ ⰓⰑⰑⰕ: c689ddf8-4931-8a38-acd2-cbadbe0e4362.
ⰕⰅⰏⰒⰎⰀⰕⰅ ⰓⰑⰑⰕ (ⰕⰘⰅ ⰓⰅⰜⰅⰋⰒⰕ ⰑⰗ ⰕⰘⰋⰔ ⰏⰑⰐⰑⰃⰓⰀⰒⰘ ⰗⰑⰓⰏ): c27823b4-9f2d-8a37-8e3e-b2748445e0a4.
ⰒⰓⰋⰑⰓ ⰂⰑⰓⰍ / ⰑⰓⰋⰃⰋⰐ: ⰜⰅⰜⰜⰅⰜ/ⰈⰅⰓⰑⰒⰑⰋⰐⰕ-ⰐⰑⰄⰅ — ⰕⰘⰅ ⰒⰓⰅⰄⰅⰜⰅⰔⰔⰑⰓ ⰓⰅⰒⰑ ⰑⰗ ⰕⰘⰅ ⰂⰑⰓⰕⰅⰘ ⰔⰅⰍⰖⰅⰐⰜⰅ (ⰔⰀⰏⰅ ⰜⰎⰑⰔⰅⰄ ⰜⰉⰜⰎⰅ, ⰂⰅⰓⰋⰗⰋⰅⰄ ⰁⰉ ⰜⰑⰏⰒⰖⰕⰀⰕⰋⰑⰐ ⰋⰐ zeropointNodeOriginDecoded); ⰋⰕⰔ undefined°/Ⰰundefined/ⰋⰐⰕⰅⰃⰅⰓ-ⰓⰀⰕⰋⰑ ⰏⰀⰕⰘⰅⰏⰀⰕⰋⰜⰔ ⰋⰔ ⰔⰅⰀⰎⰅⰄ ⰘⰅⰓⰅ, ⰋⰕⰔ ⰈⰅⰓⰑ-ⰒⰑⰋⰐⰕ ⰗⰓⰅⰅ-ⰅⰐⰅⰓⰃⰉ ⰀⰐⰄ ⰜⰑⰐⰔⰜⰋⰑⰖⰔⰐⰅⰔⰔ-ⰑⰔ ⰜⰎⰀⰋⰏⰔ ⰀⰓⰅ ⰄⰅⰏⰀⰓⰜⰀⰕⰅⰄ ⰗⰎⰀⰃⰃⰅⰄ (½ħω ⰋⰔ ⰓⰅⰀⰎ, ⰅⰘⰕⰓⰀⰜⰕⰋⰑⰐ ⰋⰔ ⰐⰑⰕ).

ⰓⰅⰜⰅⰋⰒⰕ

ⰕⰘⰅ ⰓⰑⰑⰕ ⰏⰑⰐⰑⰃⰓⰀⰒⰘ ⰋⰔ ⰋⰕⰔⰅⰎⰗ ⰜⰑⰐⰕⰅⰐⰕ-ⰀⰄⰄⰓⰅⰔⰔⰅⰄ: ⰕⰘⰅ ⰔⰅⰜⰕⰋⰑⰐ ⰔⰜⰘⰅⰏⰀ, ⰕⰘⰅ ⰜⰑⰓⰒⰖⰔ ⰓⰑⰑⰕⰔ ⰀⰐⰄ ⰅⰂⰅⰓⰉ ⰓⰅⰒⰑⰓⰕⰅⰄ ⰜⰑⰖⰐⰕ ⰗⰑⰎⰄ ⰕⰑ ⰑⰐⰅ ⰓⰅⰜⰅⰋⰒⰕ ⰕⰘⰀⰕ ⰓⰅⰒⰓⰑⰄⰖⰜⰅⰔ ⰗⰓⰑⰏ src ⰀⰐⰄ ⰜⰘⰀⰐⰃⰅⰔ ⰋⰗ ⰀⰐⰉ ⰓⰅⰒⰑⰓⰕⰅⰄ ⰂⰀⰎⰖⰅ ⰄⰑⰅⰔ — ⰕⰘⰅ ⰀⰄⰄⰓⰅⰔⰔ ⰋⰔ ⰕⰘⰅ ⰒⰓⰑⰑⰗ, ⰐⰑⰕ Ⰰ ⰔⰋⰃⰐⰀⰕⰖⰓⰅ ⰑⰂⰅⰓ ⰒⰓⰑⰔⰅ.

ⰓⰅⰜⰅⰋⰒⰕ: ⰗⰑⰎⰄ readmeMarkdown

ⰄⰑⰖⰁⰎⰅ ⰕⰑⰓⰖⰔ751 ⰒⰓⰑⰂⰅⰐ ⰕⰘⰅⰑⰓⰅⰏⰔ ⰉⰑⰖ ⰜⰀⰐ ⰜⰘⰅⰜⰍ ⰉⰑⰖⰓⰔⰅⰎⰗ

undefined. ⰋⰐⰕⰓⰑⰄⰖⰜⰕⰋⰑⰐ ​

undefined. ⰏⰑⰄⰅⰎ ​

ⰕⰘⰅ ⰔⰅⰍⰖⰅⰐⰜⰅ — ⰗⰑⰓⰂⰀⰓⰄ ⰀⰐⰄ ⰓⰅⰗⰎⰅⰜⰕⰅⰄ ​

ⰒⰓⰑⰑⰗ ⰀⰐⰋⰏⰀⰕⰋⰑⰐⰔ — ⰕⰘⰅ ⰂⰋⰔⰖⰀⰎ ⰓⰅⰜⰅⰋⰒⰕⰔ, ⰋⰐ ⰀⰎⰎ ⰄⰋⰓⰅⰜⰕⰋⰑⰐⰔ ​

ⰄⰅⰂⰅⰎⰑⰒⰏⰅⰐⰕ ⰕⰋⰏⰅⰎⰋⰐⰅ — ⰒⰖⰁⰎⰋⰜ ⰓⰅⰃⰋⰔⰕⰓⰉ ⰄⰀⰕⰀ ​

undefined. ⰓⰅⰔⰖⰎⰕⰔ ​

ⰜⰎⰀⰉ ⰏⰋⰎⰎⰅⰐⰐⰋⰖⰏ ⰒⰓⰑⰁⰎⰅⰏⰔ — ⰕⰘⰅ ⰒⰓⰑⰑⰗ ⰑⰗ ⰜⰑⰐⰜⰅⰒⰕ ​

ⰘⰑⰂ ⰏⰀⰐⰉ ​

ⰂⰘⰀⰕ ⰋⰔ ⰒⰓⰑⰂⰅⰄ ⰘⰅⰓⰅ — ⰕⰘⰅ ⰋⰐⰂⰑⰎⰖⰕⰋⰑⰐ ⰑⰗ ⰅⰂⰅⰓⰉ ⰒⰓⰑⰁⰎⰅⰏ, ⰏⰀⰜⰘⰋⰐⰅ-ⰜⰘⰅⰜⰍⰅⰄ ​

ⰔⰕⰀⰕⰖⰔ ​

ⰑⰓⰋⰃⰋⰐ — undefined ⰒⰀⰃⰅⰔ ​

ⰒⰓⰑⰑⰗ — undefined ⰒⰀⰃⰅⰔ ​

ⰅⰘⰒⰎⰑⰓⰅ — undefined ⰒⰀⰃⰅ ​

ⰎⰅⰀⰓⰐ — undefined ⰒⰀⰃⰅ ​

ⰀⰒⰒⰔ — undefined ⰒⰀⰃⰅⰔ ​

ⰗⰓⰑⰐⰕⰋⰅⰓ — undefined ⰒⰀⰃⰅⰔ ​

undefined. ⰔⰋⰕⰅⰏⰀⰒ ​

undefined. ⰓⰅⰒⰓⰑⰄⰖⰜⰋⰁⰋⰎⰋⰕⰉ ​

undefined. ⰎⰋⰏⰋⰕⰀⰕⰋⰑⰐⰔ ​

ⰓⰅⰗⰅⰓⰅⰐⰜⰅⰔ ​

ⰓⰅⰜⰅⰋⰒⰕ ​