The Original I Ching
esenfr
← all experiments
諸 · evidence and sources

Foundations and sources

Every claim in the laboratory declares what type it is and what backs it: a section of the suite that verifies it, or a source that cites it. Open whatever you want to see.

  • theorem
  • computation
  • documented tradition
  • scholarly reconstruction
  • analogy with a disclaimer

Every claim in the laboratory carries backing. Theorems and computations are verified in the Python suite; traditions and reconstructions cite an academic or primary source; analogies state what they do not claim. The only source of references is docs/evidencias-fundamentos.md, and none is cited from memory. Which theorems and domains have been evaluated, built or rejected (and why) lives in the living document registro-aplicabilidad.md.

The five types of claim
theorem
proved and asserted in the verification suite
computation
our own reproducible computation (algorithm, N, seed) asserted in the suite
documented tradition
historical fact with an academic or primary source
scholarly reconstruction
an academic reading of a source, declared as such
analogy with a disclaimer
formal isomorphism with an explicit statement of what is not claimed

A hexagram is six lines, and each line can only be yang (solid) or yin (broken). Writing yang as 1 and yin as 0, the whole hexagram becomes a six-digit binary number: a number from 0 to 63. The bottom line is the first one drawn and the one that weighs most, the most significant bit, so Kun, with its six yin lines, is 000000 = 0, and Qian, with its six yang lines, is 111111 = 63. This is Shao Yong's convention, the one Leibniz read, and the one the whole laboratory uses: the 64 hexagrams are the 64 numbers, which is why they fit exactly in the six-dimensional cube.

Each entry keeps its APA reference exactly as it was verified, and claims cite it by its key. The rule is non-negotiable: the only source is docs/evidencias-fundamentos.md and nothing is cited from memory. An entry that could not be checked does not go in, and its claim is left without a source rather than with an invented one.

Original results of the laboratory that, after a documented search, we have not found published elsewhere. It is an orthogonal marker: the experiment keeps its thematic category. An experiment receives the 印 seal only if it meets the three rules: (a) its central claims are of type theorem or computation, asserted in the suite; (b) there is an originality search with a date and a note; (c) the copy says it with the exact humility of experiment 29's disclaimer: as far as we know, we have not found the source, not that it does not exist.

also in History · search of 2026-07-25

Search 2026-07-25: the published comparisons between the historical orderings are qualitative or visual (Yijing Dao; Cottrell; Cook 2006 as an attempt to derive King Wen); the inversion metric against binary counting, the 1013/1008/1008 tie and the table of line costs do not appear published.

also in Algebra · search of 2026-07-25

Search 2026-07-25: there is structural literature on Jing Fang's Eight Palaces (Mesker 2002; comparisons in Yijing Dao) but no quantitative comparison of partitions; the ARI = −0.125 between the palaces and the cosets of the subgroup of pure hexagrams does not appear published.

also in Algebra · search of 2026-07-25

Search 2026-07-25: Walsh and the I Ching appear associated in the literature (Petoukhov 2017, in a genetic and numerological context; Schöter, algebra of hexagrams), and Chan (2026) detects the pair asymmetry in the time domain; the Walsh spectrum of the King Wen ordering and its concentration in even interaction orders, as a spectral confirmation of the pair rule, do not appear published.

also in Algebra · search of 2026-07-23

Web search of the formulation (21 = F(8) with no two consecutive yin lines, the ladder F(n+2), Lucas in the circular version, the Ji Ji / Wei Ji intersection); only numerology was found (Fibonacci offsets on the bagua, the golden ratio in King Wen); no equivalent verified formulation.

also in History · search of 2026-07-27

Search 2026-07-27: there is comparative research on the Mawangdui sequence against King Wen (Han Zhongmin, in Chinese), analysis of King Wen against binary (Chan 2026; iching-math with cycle type [52, 10, 2]) and qualitative comparisons (Yijing Dao), but no permutation statistics BETWEEN the historical orderings themselves; the 759 of KW-Mawangdui (z = −2.89) and the full picture of the kinship do not appear published. Search 2026-07-30 (mechanism): the existing comparative KW-Mawangdui scholarship is qualitative (Han Zhongmin; Shaughnessy, Unearthing the Changes, 2014) and the standard view denies mathematical meaning to Mawangdui (Yijing Dao, citing Rutt); the quantitative explanation of the kinship as a shared gradient of trigram families does not appear published.

also in History · search of 2026-07-30

Search 2026-07-30: the orientation within the pairs has an independent nuclear proposal (already discussed in the experiment), the traditional narrative explanation of the Xugua, and adjacent work on the pairing (Radisic 2026) and on distances (Chan 2026), but the statistical test of orientation criteria (the full battery and the signal of the correct centers, 12/16 with its double reading) does not appear published. The doctrine of correctness that grounds it is canonical (the Stanford Encyclopedia of Philosophy calls Ji Ji the best hexagram in yin-yang correspondence, and Ji Ji opens its pair).

Claims by experiment

one row per experiment; open the one you want to read

theorem

The 64 hexagrams correspond bijectively to the integers 0 to 63, with the bottom line as the most significant bit.

verified in scripts/experimentos.py · verificar_hipercubo
theorem

The reflected Gray code walks the 64 states changing a single line per step: a Hamiltonian cycle on the Q6 hypercube of 192 edges.

verified in scripts/experimentos.py · verificar_hipercubo
documented tradition

The binary ordering (Fu Xi) is traditionally associated with Shao Yong; the identity with binary counting was recognized by Leibniz, not by the culture that produced it.

source: Ryan, 1996
theorem

Jing Fang's eight houses partition the 64 hexagrams without repeating any, generated by successive line changes from the eight pure hexagrams.

verified in scripts/experimentos.py · verificar_palacios
documented tradition

The system of the Eight Palaces (bagong) is attributed to Jing Fang, with the order Qian, Zhen, Kan, Gen, Kun, Xun, Li, Dui and the generations pure, first to fifth world, wandering soul (you hun) and returning soul (gui hun).

theorem

A consultation is an XOR of the moving lines; the original hexagram and the resulting one are exactly as far apart as the number of lines that changed (Hamming distance in Q6).

verified in scripts/experimentos.py · verificar_hipercubo
computation

With coins P(yang) = 1/2 on every line; with yarrow the line probabilities are 1/16, 3/16, 5/16 and 7/16. Both methods give P(yang) = 1/2, but a different proportion of old lines.

verified in scripts/experimentos.py · verificar_oraculo
theorem

The Klein group generated by the flip (fan) and the opposite (dui) splits the 64 into 20 orbits; the 8 palindromes are the special King Wen pairs; the nuclear map falls into 3 attractors.

verified in scripts/experimentos.py · verificar_simetrias
theorem

A person's history of consultations is a path through the 64 states; the distance between two readings is the Hamming distance in the hypercube Q6.

verified in scripts/experimentos.py · verificar_hipercubo
theorem

The King Wen ordering groups the 64 into 32 pairs: 28 by reversal (fan) and 4 by complement (dui). Reversal preserves the number of yang lines; complement inverts it.

verified in scripts/experimentos.py · verificar_rey_wen
theorem

The 64 cells of the 8x8 square are exactly 0 to 63; the 8 geometric symmetries of the square are 8 trigram operations.

verified in scripts/experimentos.py · verificar_shao_yong
documented tradition

Shao Yong's diagram reached Europe through Bouvet: his letter is dated 4 November 1701, Leibniz received it on 1 April 1703 and published the Explication that same year.

scholarly reconstruction

The Mawangdui ordering arranges the 64 by upper trigram with a fixed rule for the lower trigrams; it is a scholarly reconstruction of the 1973 manuscript, not a direct datum.

computation

As a permutation of Fu Xi, King Wen has 1013 inversions (order 260), Mawangdui 1008 (order 600) and Jing Fang 1008; the Hamming cost in lines is 211, 141 and 93.

verified in scripts/experimentos.py · verificar_ordenes
computation

The exact enumeration of the 4^3 = 64 cases of the ritual of the 49 yarrow stalks gives 3/16, 5/16, 7/16 and 1/16, identical to the table of the probabilities experiment.

verified in scripts/experimentos.py · verificar_milenrama
theorem

Going from the Earlier Heaven bagua to the Later Heaven one is a permutation of two 4-cycles; in the Earlier arrangement the 4 axes join binary complements, in the Later one only the axis of Li and Kan.

verified in scripts/experimentos.py · verificar_dos_cielos
theorem

The three projections of the hexeract (12-vertex Petrie polygon, cube of cubes, and yang levels) preserve the 192 edges of the hypercube.

verified in scripts/experimentos.py · verificar_sombras
theorem

The dominance order (submask) forms a lattice of 7 levels with the 192 edges oriented upward; from Kun to Qian there are 720 = 6! ascending paths.

verified in scripts/experimentos.py · verificar_reticulo
theorem

The leaves of the yin and yang branching tree, from left to right, are the binary ordering 0 to 63; the path from the root to a leaf matches the lines of the hexagram bit by bit.

verified in scripts/experimentos.py · verificar_arbol
documented tradition

The tree reconstructs the genesis of the Earlier Heaven sequence attributed to Shao Yong.

source: Ryan, 1996
theorem Theorem: Spectral theory of linear operators

The hu gua map collapses the images 64, 16 and 4 down to 3 attractors: two fixed points and a cycle of 2, with basins 16, 16 and 32.

verified in scripts/experimentos.py · verificar_bosque
theorem Theorem: Spectral theory of linear operators

Hu gua is linear over F2: there is a 6x6 matrix with ranks 6, 4 and 2, and M^4 = M^2, which explains the single cycle (Ji Ji with Wei Ji).

verified in scripts/experimentos.py · verificar_matriz_nuclear
theorem

There is a ring of 64 bits whose 64 windows of 6 consecutive bits are the 64 hexagrams, each exactly once; there are 2^26 such rings.

verified in scripts/experimentos.py · verificar_debruijn · source: de Bruijn, 1946
theorem

The canonical construction used is that of Fredricksen and Maiorana: concatenating the Lyndon words in lexicographic order gives the minimal De Bruijn sequence.

verified in scripts/experimentos.py · verificar_debruijn · source: Fredricksen & Maiorana, 1978
theorem Theorem: Lucas's theorem (1878)

With XOR the 64 form the group (Z/2)^6; the 8 pure hexagrams are a subgroup whose 8 cosets partition the set, and the dominance matrix is Pascal mod 2 (Lucas), the Sierpinski triangle.

verified in scripts/experimentos.py · verificar_grupo_sierpinski · source: Lucas, 1878
computation

Under its own pair rule, King Wen has 1013 inversions, indistinguishable from a random shuffle (z = 0.05, p = 0.97), and likewise in the Hamming cost.

verified in scripts/experimentos.py · verificar_rey_wen_aleatorio
computation

The Walsh spectrum confirms it by another route: the even interaction orders 2 and 4 concentrate 77.4% of the energy, against the 47.6% that chance would spread.

verified in scripts/experimentos.py · verificar_walsh
computation

Chan (2026) shows by Monte Carlo against free shuffles that King Wen is not chance: four significant properties. Under our conditional null, which respects the pair rule, three are corollaries of that rule (the mean transition distance falls to the 29th percentile, the groups of 4 with 12 yang to the 90th, and the within/between-pair asymmetry is invariant) and only the autocorrelation of distances remains at the 6th percentile, marginal and not significant.

verified in scripts/experimentos.py · verificar_dialogo_chan · source: Chan, 2026

Complementarity with Chan (2026): his Monte Carlo against free shuffles proves that King Wen is not chance; our conditional analysis shows that, given the pair rule, almost all of that structure is a corollary. Editorial precision: the pair rule is the only structure under the inversion statistic (p = 0.97), but under Chan's four statistics three are corollaries and the fourth does not reach significance.

computation Theorem: Perron-Frobenius theorem

The Markov chain of consultations has a uniform stationary distribution with coins and one skewed to yin with yarrow (Kun is 729 = 3^6 times more likely than Qian); both mix at the same speed, with a simple eigenvalue 1 and second modulus 0.5.

verified in scripts/experimentos.py · verificar_markov
computation

Three casting methods with their exact distributions: P(mutates) = 1/4 in all three; the equivalent modern method of 16 tokens (3, 7, 5, 1) reproduces the yarrow by construction, whereas the coins are different.

verified in scripts/experimentos.py · verificar_sorteo

The 16-token method is named as an equivalent modern method; its authorship remains to be verified (section D of the evidence document).

computation

The adjusted Rand index measures the similarity between two partitions of the 64; palaces and cosets give ARI = -0.125, further apart than chance, because the 8 generating masks do not form a subgroup.

verified in scripts/experimentos.py · verificar_particiones
computation Theorem: Fourier analysis over finite groups

The Walsh transform of King Wen concentrates its energy in order 2 (50.3%) and in the even orders 2 and 4 (77.4%), against the 47.6% of chance: its only structure is correlations between lines. The transform is Fourier analysis over the group (Z/2)^6: the matrix is the tensor product of six Hadamards (H tensor 6).

verified in scripts/experimentos.py · verificar_walsh · source: Terras, 1999
computation

The counts of the cube: 46080 automorphisms (2^6 times 6!), 2^26 De Bruijn sequences, the distances C(6,k) = 1, 6, 15, 20, 15, 6, 1 and 720 chains from Kun to Qian.

verified in scripts/experimentos.py · verificar_conteos
computation

The number of cyclic Gray codes of Q6 is cited to OEIS without reproducing its digits; Knuth is the general reference for Gray codes and De Bruijn sequences.

verified in scripts/experimentos.py · verificar_conteos · source: OEIS Foundation, s.f.; Knuth, 2011

Figure cited, not reproduced.

computation

The random walk on Q6 has a uniform stationary distribution; the expected return time to the origin is exactly 64 and covering the 64 states takes around 360 steps.

verified in scripts/experimentos.py · verificar_paseo
theorem Theorem: Law of large numbers

The stationary distribution of the walker's number of yang is exactly the binomial C(6,k)/64; with 200000 steps and a fixed seed the maximum deviation between the frequencies and the binomial stays below 0.003 (0.0008 with seed 99): the bell emerges from the throws.

verified in scripts/experimentos.py · verificar_paseo
documented tradition

The Chinese did not practise binary arithmetic: Shao Yong was after cosmology, and it was Leibniz, with his binary already invented, who recognized the structural identity.

source: Ryan, 1996
documented tradition

Documented chronology: Bouvet communicated the analogy in a letter of 4 November 1701, received by Leibniz on 1 April 1703; the Explication de l'arithmetique binaire appeared in 1703.

analogy with a disclaimer

The genetic code has 64 = 4^3 = 2^6 codons, like the hexagrams, but the correspondence is a combinatorial isomorphism, not a biological fact: it depends on one of the 24 base-to-bit encodings, none of them canonical.

Analogy with a disclaimer: the coincidence in number is real as form and arbitrary in the details; the standard code is cited in the experiment itself (NCBI), which is not part of this bibliography.

theorem

The 12 bi gua satisfy four properties: they form a closed Gray cycle, the changing line advances 2, 3, 4, 5, 6, 1, opposite months are dui complements, and they are exactly the 12 monotone hexagrams of Q6.

verified in scripts/experimentos.py · verificar_soberanos
documented tradition

The 12 bi gua (xiaoxi gua) were associated with the 12 lunar months in the Han tradition, linked to Meng Xi and to the gua qi system.

theorem

The 12 sovereign hexagrams (the monotone ones of Q6) are exactly the first six generations of the palace of Qian and the first six of Kun (six and six; zero in the other six palaces): a bridge between the sovereigns and Jing Fang's palaces.

verified in scripts/experimentos.py · verificar_soberanos

The qualitative observation is in Yijing Dao; here it is proved and asserted.

theorem

The hexagrams with no two consecutive yin (and, by symmetry, no two yang) are exactly 21 = F(8); counting by number of lines, the ladder is 2, 3, 5, 8, 13, 21 = F(n+2).

verified in scripts/experimentos.py · verificar_fibonacci · source: OEIS Foundation, s.f.
theorem

In the circular version (line 6 a neighbour of line 1) the survivors are 18 = L(6), the Lucas number.

verified in scripts/experimentos.py · verificar_fibonacci · source: OEIS Foundation, s.f.
theorem

The intersection of both rules (perfect alternation) is exactly Ji Ji and Wei Ji, and the breakdown of the 21 by number of yin is 1, 6, 10, 4 = C(7-k, k), the Fibonacci identity in Pascal’s triangle.

verified in scripts/experimentos.py · verificar_fibonacci

A counting theorem, not a hidden code: the numerology of Fibonacci and the golden ratio in the I Ching is left out as undemonstrable.

theorem

The same count generalises with a 2x2 transfer matrix: the no-two-yin rule is one case and its dominant eigenvalue is phi.

verified in scripts/experimentos.py · verificar_fibonacci
computation Theorem: Ising model (1925)

With the transfer matrix T (beta = 0.7, J = 1), the open-chain partition function is 1ᵀT⁵5 = 199.384322 and the ring one Tr(T⁶) = 262.456561; with beta at zero, Z = 64 and the distribution is uniform.

verified in scripts/experimentos.py · verificar_ising · source: Ising, 1925
theorem

At low temperature with positive J, Qian and Kun dominate 50/50, and with negative J, Ji Ji and Wei Ji; the hard constraint (no adjacent yin-yin) reproduces F(8) on the chain and L(6) on the ring, with dominant eigenvalue phi, the same transfer matrix as the design-your-rule experiment.

verified in scripts/experimentos.py · verificar_ising
documented tradition

The model, formulated by Lenz in 1920, was solved by Ising in 1925 in one dimension, proving that in 1D there is no phase transition: the chain orders gradually on cooling.

source: Ising, 1925

The connection with the I Ching is a mathematical identity of structure, not a physical claim about the oracle.

computation Theorem: Shannon entropy (1948)

A uniform hexagram is exactly 6 bits (the maximum for 64 states); a line of coins has 1.8113 bits and a yarrow one 1.7490, and the difference of 0.0623 lives entirely in the movement, because the yin/yang value is 1 bit in both.

verified in scripts/experimentos.py · verificar_entropia · source: Shannon, 1948
computation

The stationary distribution of the yarrow chain has 4.8677 = 6 H(1/4) bits, against the 6 of the uniform one of the coins.

verified in scripts/experimentos.py · verificar_entropia · source: Shannon, 1948
computation Theorem: Source coding theorem (Shannon)

The optimal Huffman code of one line gives an expected length of 30/16 = 1.875 bits with coins and 29/16 = 1.8125 with yarrow: the ancient method has less entropy and also compresses better, satisfying H <= L < H+1.

verified in scripts/experimentos.py · verificar_entropia · source: Shannon, 1948
theorem

Every adjacency rule between lines is a 2x2 matrix; its powers give the counts by number of lines, its trace the cyclic ones and its dominant eigenvalue the growth ratio (phi for the Fibonacci rules, 2 for the free one, 1 for alternation).

verified in scripts/experimentos.py · verificar_transferencia
theorem

The balanced hexagrams where yang never falls behind yin are exactly C₃ = 5, the values 42, 44, 50, 52 and 56 (Catalan numbers): it is the z-transform of the count, not Laplace’s, because there is no continuous time.

verified in scripts/experimentos.py · verificar_transferencia
theorem Theorem: Spectral graph theory

The eigenvalues of the adjacency of Q6 are 6−2k with multiplicity C(6,k): the multiplicities are the yang levels of the lattice B6, and the spectrum of the simple walk is this one divided by 6, which fixes its mixing speed.

verified in scripts/experimentos.py · verificar_espectro_q6
computation Theorem: Discrete Fourier transform

The DFT over Z/64 (the Shao Yong circle) decomposes the King Wen sequence into cyclic harmonics and satisfies Parseval; the DFT of a constant is a delta and the round trip recovers the signal.

verified in scripts/experimentos.py · verificar_fourier · source: Terras, 1999
computation

The dominant harmonic is k = 8, the period of the eight trigrams; it is the same signal as the Walsh experiment in another geometry: the circle Z/64 instead of the cube (Z/2)^6.

verified in scripts/experimentos.py · verificar_fourier
theorem

For the no-two-adjacent-yin rule, the influences by line are 10, 22, 18, 18, 22, 10 out of 64 (largest at lines 2 and 5); for yang parity, the influence of every line is exactly 1.

verified in scripts/experimentos.py · verificar_influencias
theorem Theorem: Analysis of Boolean functions

The total influence of a property coincides with the weighted spectral sum of Walsh (the sum of popcount(w) times the coefficient squared): the theorem that links this experiment with Fourier over the cube.

verified in scripts/experimentos.py · verificar_influencias
theorem Theorem: Hamming bound (sphere packing)

The sphere-packing bound gives at most 9 words at distance 3 in Q6 (7 does not divide 64: there is no perfect code); the real maximum is 8, proved by exhaustive search, and a code of 8 corrects any single-line error.

verified in scripts/experimentos.py · verificar_cubo_no
theorem

The 32 hexagrams with an even number of yang lines and the 32 with an odd number form a bipartition: the 192 edges all cross from one half to the other, so Q6 is bipartite and there are no odd cycles of mutations.

verified in scripts/experimentos.py · verificar_cubo_no
theorem Theorem: Pólya enumeration

Under rotation of the 6 lines there are exactly 14 necklaces (Pólya's formula = direct enumeration) and 13 bracelets once the reflection is added.

verified in scripts/experimentos.py · verificar_cubo_no
documented tradition

Sanskrit prosody counted the metres of short (1) and long (2) syllables, and the count satisfies C(n) = C(n-1) + C(n-2): 1, 2, 3, 5, 8, 13, 21, the Fibonacci numbers, formulated by Virahanka, Gopala and Hemachandra centuries before Fibonacci.

source: Singh, 1985
theorem

The 21 figures of 6 lines with no two adjacent yin lines are in bijection with the 21 metres of duration 7: a sentinel yang is added and each yin is paired with the yang above it as a long syllable. Two civilizations counted the same thing with different symbols.

verified in scripts/experimentos.py · verificar_prosodia
documented tradition

In late 1950 Cage received the I Ching, built charts of 64 values indexed by the hexagrams and selected from them with coin tosses; Music of Changes (1951) is the founding work of composition by chance.

The method is documented, not the work: the demonstration uses a chart of our own and the coin engine of experiment 21, without reproducing any score or fragment by Cage.

computation

The selection method (six coin tosses, P(yang) = 1/2 per line) chooses uniformly one of the 64 hexagrams, each with probability 1/64; our demonstration chart assigns a value to each hexagram, as Cage did with his charts.

verified in scripts/experimentos.py · verificar_cage
theorem Theorem: Haar basis

The Haar basis is the other classical orthogonal basis of 64 points, sister of Walsh: its 64 rows are orthogonal (the Gram matrix is diagonal) though of different norms, the reconstruction is exact and Parseval holds with those norms.

verified in scripts/experimentos.py · verificar_haar
computation

Applied to the King Wen sequence, the Haar coefficients localise where the book changes; the largest live in the scale of the trigram blocks (the stretches 0 to 16 and 48 to 64) and are frozen as fixed values. It is the same signal as Walsh's and as the Fourier of the ring, on the line 0..63.

verified in scripts/experimentos.py · verificar_haar
theorem Theorem: Hadamard transform (H⊗n)

A hexagram is a state of the computational basis of 6 qubits, and the site's Walsh transform is the Hadamard gate H tensor 6 (asserted in the Fourier-over-the-cube experiment); applied to |Kun> = |000000> it gives the uniform superposition of the 64 hexagrams, with amplitude 1/8 and probability 1/64 each.

verified in scripts/experimentos.py · verificar_qubits
theorem

The normalized transformation is unitary (H·H^T = I): it preserves norms, as a quantum evolution must. It is a formal identity between transforms and mathematical states; nothing quantum is claimed about the oracle.

verified in scripts/experimentos.py · verificar_qubits

A mathematical identity, with a reinforced disclaimer: the commercial quantum I Ching is in the applicability register as rejected.

theorem Theorem: f-vector of the polytope

The faces of the 6-cube are the partial hexagrams (words over yin, yang and undetermined): the number of faces of dimension k is f_k = C(6,k) 2^(6-k), verified by formula and by direct enumeration of {0,1,*}^6; the f-vector is 64, 192, 240, 160, 60, 12, 1.

verified in scripts/experimentos.py · verificar_hexeracto
theorem Theorem: Euler-Poincaré characteristic

The faces add up to 3^6 = 729 (three options per line, the generating function (2+x)^6), the same number as the Kun/Qian ratio of the Markov chain; and the Euler characteristic is 0 on the boundary (a 5-sphere) and 1 on the whole solid (contractible).

verified in scripts/experimentos.py · verificar_hexeracto
theorem Theorem: Mahonian distribution of inversions

Between two random orderings of 64 elements, the expected number of inversions is exactly n(n-1)/4 = 1008, with standard deviation sqrt(n(n-1)(2n+5)/72) = 86.3 (verified against Monte Carlo). The three historical orderings measure 1013, 1008 and 1008 inversions against Fu Xi: they sit at the distance chance would give from the binary ordering, uncorrelated with it.

verified in scripts/experimentos.py · verificar_hermandad
computation

The inversions between the three historical orderings are 759 (King Wen to Mawangdui, z = -2.89), 909 (King Wen to Jing Fang, z = -1.15) and 872 (Mawangdui to Jing Fang, z = -1.58). Only the King Wen to Mawangdui pair departs from chance (Monte Carlo p = 0.003, surviving the Bonferroni correction for 3 comparisons): the two oldest orderings resemble each other, and Jing Fang is the solitary one.

verified in scripts/experimentos.py · verificar_hermandad
computation

The mechanism of the kinship, in the negative: the 32 King Wen pairs end up 0/32 adjacent in Mawangdui and 0/32 within the same octet, with a mean position distance of 24.4 (chance 21.7). Reversal changes the upper trigram almost always, so Mawangdui's organization by octets separates the pairs by construction; the kinship is not inherited through the pairs, its origin is elsewhere.

verified in scripts/experimentos.py · verificar_hermandad
computation

The mechanism, resolved: decomposing the 759 inversions between King Wen and Mawangdui, within octets there are 95 discordant pairs out of 224 (expected 112) and between octets 664 out of 1792 (expected 896): the deficit lives between upper-trigram families. The mean King Wen position of each octet follows the family order (father and sons monotone: Qian 18, Gen 27, Kan 32, Zhen 43; mother 20 early, daughters late). Conditional nulls: fixing the families, the residual is not significant (z = -1.5).

verified in scripts/experimentos.py · verificar_mecanismo
documented tradition

The family doctrine of the trigrams (Qian the father and Zhen, Kan, Gen the sons; Kun the mother and Xun, Li, Dui the daughters) is documented Han tradition; the family gradient that explains the kinship between King Wen and Mawangdui is our own computation, not the doctrine.

documented tradition

The Mawangdui ordering (c. 168 BCE), organized by upper trigram, is documented in the scholarly edition of the recently unearthed manuscripts (Shaughnessy, 2014); the standard view attributes no mathematical meaning to it, and the family gradient that explains its kinship with King Wen is our own computation, not a traditional reading.

theorem

In the 28 non-palindromic King Wen pairs, reversal (fan) preserves the number of yang lines, so the criterion of putting the member with more yang first is undecidable by construction: 28/28 ties. A micro-theorem of impossibility.

verified in scripts/experimentos.py · verificar_pregunta_par
computation

No structural criterion tested decides the order within the pair better than a coin: greater binary value first 14/28 (p = 0.575), bottom line yang first 16/28 (p = 0.286), top line yang first 12/28 (p = 0.286), and the smoothing of the transition 7/15 on the incoming side and 7/15 on the outgoing side (p = 0.500).

verified in scripts/experimentos.py · verificar_pregunta_par

The text of each hexagram is declared outside the scope of the laboratory: only binary structural criteria are tested here. If the rule exists, it does not live in the binary structure.

computation

The two canons of King Wen: 86 yang lines out of the 180 in the upper canon (hexagrams 1 to 30) against 106 out of the 204 in the lower one; the 8 self-reversing hexagrams (which pair by complement, not by reversal) fall in positions 1, 2, 27, 28, 29, 30, 61, 62, and the upper canon ends after its third symmetric pair.

verified in scripts/experimentos.py · verificar_pregunta_par
computation

The published proposal that the nuclear hexagram decides the orientation of the pair is not confirmed: putting the greater hu gua first gives 8 of 24 decidable pairs (16/24 toward the smaller one first, p = 0.076), the strongest signal of the battery but not significant. A companion fact: in 16 of the 28 pairs the two members collapse to different nuclei at the fourth level of the nuclear forest (iterated hu gua).

verified in scripts/experimentos.py · verificar_pregunta_par
computation

Radisic (2026) formalizes the partition of the 32 King Wen pairs (4 by complement at distance 6, 4 anti-symmetric, 24 by reversal at distance 2 or 4) and their respect for the Klein orbits; our suite asserts that same partition independently (verificar_simetrias, verificar_rey_wen, verificar_pregunta_par): two analyses that agree.

verified in scripts/experimentos.py · verificar_pregunta_par · source: Radisic, 2026

Historical context named without adopting the framework: McKenna studied the difference profile of King Wen in the 1980s within his Timewave, which the applicability register classifies as outside the criterion.

computation

The signal of the question of the pair lives only in the centers: of the three mirror components of the reversal, the extremes (1,6) decide 10/16 (p = 0.227) and the middles (3,4) 9/16 (p = 0.402), neither significant, but the centers (2,5) decide 12/16 (p = 0.038) in favour of correct centrality (zhong zheng: yang in line 5, the ruler's, yin in line 2, the minister's). It is the same rule as the nuclear proposal: on the 16 pairs decidable by both, centers and smaller hu gua agree 16/16.

verified in scripts/experimentos.py · verificar_centros

Full honesty: as a single a-priori hypothesis p = 0.038, but as the best of a battery of nine criteria it does not survive the Bonferroni correction (0.038 x 9 approx 0.35). With 28 pairs fixed forever, a rule that decides 12/16 can be neither demonstrated nor refuted: the limit of demonstrability. The zhong zheng / dangwei doctrine is named as tradition without an entry for now (pending in section D of the evidence document until it is checked whether nielsen2003 covers it).

computation

The spectral signature of the five orderings (common signal position -> binary value, centred, different from the King Wen signal of Fourier over the cube): Fu Xi is a pure tone (100% of the Walsh energy in order 1) and Gray almost linear (75% order 1, 25% order 2), the calibration rods; Jing Fang is the anti-linear one, with zero order-1 energy and 74.5% in four-line interactions, the strangest signature, consistent with being the loner of the brotherhood.

verified in scripts/experimentos.py · verificar_firmas
computation

The dominant DFT harmonic of King Wen is k = 16 (period 4), in resonance with the groups of four hexagrams that Chan (2026) detects by another route: two independent methods pointing to the same scale. The dominant harmonics of the five orderings are 1, 1, 24, 16 and 7; the dominant Haar waves have widths 64, 64, 4, 4 and 32.

verified in scripts/experimentos.py · verificar_firmas · source: Chan, 2026
computation

The ladder of nulls re-evaluates Chan's four signatures under six nested randomizations (20,000 samples per rung, seed 20260722, percentile = 100 x P(statistic < observed)). Once the pair rule is granted, adding the canons or nailing the four anchors does not change what is left to explain: the mean transition distance stays between the 29th and 34th percentiles in P1, P2 and P3.

verified in scripts/experimentos.py · verificar_escalera

Independent cross-verification with a different seed: the largest difference was 0.4 percentile points.

theorem Theorem: Invariance of the yang sum per quartet

Micro-theorem of invariance: permuting blocks of two pairs and flipping within a pair preserves the yang sum of each block of four positions, so the signature of the groups with 12 yang equals 7 in EVERY sample of rungs P4 and P5. Its percentile of 0.0 is the arithmetic of a constant, not an extreme signal: the signature is a corollary of quartet membership.

verified in scripts/experimentos.py · verificar_escalera
computation

The residue at the top: with the order of the pairs fixed and only the 32 flips drawn at random (P5), the lag-1 autocorrelation of the distances sits at percentile 3.5, more extreme than the 6.2 of the pair null. The received orientations alternate more than orientations drawn by lot.

verified in scripts/experimentos.py · verificar_escalera

Both readings: on its own it is suggestive; as the best outcome of a battery of signatures and rungs it does not survive correction. No seal is granted: the originality search for the method is pending.

  1. de Bruijn, N. G. (1946). A combinatorial problem. Koninklijke Nederlandse Akademie van Wetenschappen, 49, 758–764.(de Bruijn, 1946)
  2. Chan, A. (2026). Statistical properties of the King Wen sequence: An anti-habituation structure that does not improve neural network training [Preprint]. arXiv. https://arxiv.org/abs/2604.09234(Chan, 2026)
  3. Fredricksen, H., & Maiorana, J. (1978). Necklaces of beads in k colors and k-ary de Bruijn sequences. Discrete Mathematics, 23(3), 207–210. https://doi.org/10.1016/0012-365X(78)90002-X(Fredricksen & Maiorana, 1978)
  4. Ising, E. (1925). Beitrag zur Theorie des Ferromagnetismus. Zeitschrift für Physik, 31, 253–258. https://doi.org/10.1007/BF02980577(Ising, 1925)
  5. Knuth, D. E. (2011). The art of computer programming: Vol. 4A. Combinatorial algorithms, Part 1. Addison-Wesley.(Knuth, 2011)
  6. Leibniz, G. W. (1703). Explication de l'arithmétique binaire. Mémoires de l'Académie Royale des Sciences, año 1703.(Leibniz, 1703)
  7. Lucas, É. (1878). Théorie des fonctions numériques simplement périodiques. American Journal of Mathematics, 1, 184–240, 289–321. https://doi.org/10.2307/2369373(Lucas, 1878)
  8. Nielsen, B. (2003). A companion to Yi jing numerology and cosmology: Chinese studies of images and numbers from Han (202 BCE–220 CE) to Song (960–1279 CE). RoutledgeCurzon. ISBN 0-7007-1608-4 (rústica 2015: 978-1-138-86267-8).(Nielsen, 2003)
  9. OEIS Foundation Inc. (s.f.). Sequence A003042: Number of Hamiltonian cycles on n-cube. The On-Line Encyclopedia of Integer Sequences. https://oeis.org/A003042(OEIS Foundation, s.f.)
  10. OEIS Foundation Inc. (s.f.). Sequence A000045: Fibonacci numbers. The On-Line Encyclopedia of Integer Sequences. https://oeis.org/A000045(OEIS Foundation, s.f.)
  11. OEIS Foundation Inc. (s.f.). Sequence A000032: Lucas numbers. The On-Line Encyclopedia of Integer Sequences. https://oeis.org/A000032(OEIS Foundation, s.f.)
  12. Pritchett, J. (1993). The music of John Cage (Music in the Twentieth Century 5). Cambridge University Press. ISBN 978-0-521-56544-8.(Pritchett, 1993)
  13. Radisic, A. (2026). Optimal equivariant matchings on the 6-cube: With an application to the King Wen sequence [Preprint]. arXiv. https://arxiv.org/abs/2601.07175(Radisic, 2026)
  14. Ryan, J. A. (1996). Leibniz' binary system and Shao Yong's "Yijing". Philosophy East and West, 46(1), 59–90. https://doi.org/10.2307/1399337(Ryan, 1996)
  15. Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(3), 379–423. https://doi.org/10.1002/j.1538-7305.1948.tb01338.x(Shannon, 1948)
  16. Shaughnessy, E. L. (1996). I Ching: The classic of changes: The first English translation of the newly discovered second-century B.C. Mawangdui texts. Ballantine Books. ISBN 0-345-36243-8.(Shaughnessy, 1996)
  17. Shaughnessy, E. L. (2014). Unearthing the changes: Recently discovered manuscripts of the Yi jing (I ching) and related texts. Columbia University Press. ISBN 978-0-231-16184-8.(Shaughnessy, 2014)
  18. Singh, P. (1985). The so-called Fibonacci numbers in ancient and medieval India. Historia Mathematica, 12(3), 229–244. https://doi.org/10.1016/0315-0860(85)90021-7(Singh, 1985)
  19. Terras, A. (1999). Fourier analysis on finite groups and applications (London Mathematical Society Student Texts 43). Cambridge University Press. ISBN 978-0-521-45718-7.(Terras, 1999)

Entries pending verification (the Spanish edition of Wilhelm, the authorship of the 16-token method, the pages of Leibniz's Explication) are not cited until they are settled. The living list is in docs/evidencias-fundamentos.md.