allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: add 4 more known equations to validation (Yang-Baxter, Cartan, Fisher-Rao, meta-solid 1/7)

Browse source 
- 10/10 proven equations now pass deterministically through PIST classifier
- New: Yang-Baxter braid relation (39/256, 1/7)
- New: Cartan connection crossing weights (39/256 diagonal, 1/7 block)
- New: Fisher-Rao spectral gap 9984/65536 > 1/7 threshold
- New: Meta-solid 1/7 from Sidon doubling combinatorics
- All produce stable matrix hashes across runs
This commit is contained in:
allaun 2026-06-30 06:47:42 -05:00
parent 7dfd05255a
commit 1165fdbf39
2 changed files with 58 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
scripts/validate_known_equations.py
View file

@ -96,6 +96,26 @@ EQUATIONS = [
"equation": "Sidon set with maximal size ~ sqrt(q) for prime power q in finite projective geometry",
"source": "SidonSets.lean, Singer 1938",
},
{
"name": "Yang-Baxter equation: B(i,j) = 39/256 if i=j, 1/7 otherwise",
"equation": "Yang-Baxter equation R = B x B satisfies braid relation: B(i,j) = 39/256 for diagonals, 1/7 for same-block off-diagonals",
"source": "YangBaxter.lean, yang_baxter_holds theorem",
},
{
"name": "Cartan connection crossing weight: 39/256 diagonal, 1/7 same-block",
"equation": "Cartan connection crossing weight C[i,j]: 39/256 for i=j, 1/7 for i/2=j/2, 0 otherwise",
"source": "CartanConnection.lean, C_weight definition",
},
{
"name": "Fisher-Rao rigidity: eigensolid spectral gap 9984/65536 ~ 0.152 > 1/7",
"equation": "Fisher-Rao rigidity spectral gap: 9984 * 7 > 65536, proving 0.152 > 0.143 threshold",
"source": "FisherRigidity.lean, spectralGapIntCompare lemma",
},
{
"name": "Meta-solid 1/7 threshold from Sidon doubling combinatorics",
"equation": "1/7 threshold: one complete Sidon doubling step (1 of 7 doublings 2 to 128) consumed by size spread",
"source": "AGENTS.md meta-solid finding; hard-sphere polydispersity consensus",
},
]

40
signatures/known_equation_validation.json
View file

@ -1,8 +1,8 @@
{
"schema": "known_equation_validation_v1",
"deterministic": true,
"total": 6,
"signals_detected": 6,
"total": 10,
"signals_detected": 10,
"results": [
{
"name": "Erdos-Renyi critical graph G(n,1/n)",
@ -57,6 +57,42 @@
"source": "SidonSets.lean, Singer 1938",
"deterministic": true,
"signal_detected": true
},
{
"name": "Yang-Baxter equation: B(i,j) = 39/256 if i=j, 1/7 otherwise",
"lambda": 4.1355,
"shape": "CognitiveLoadField",
"matrix_hash": "72c35f89debe",
"source": "YangBaxter.lean, yang_baxter_holds theorem",
"deterministic": true,
"signal_detected": true
},
{
"name": "Cartan connection crossing weight: 39/256 diagonal, 1/7 same-block",
"lambda": 4.4366,
"shape": "CognitiveLoadField",
"matrix_hash": "38efac549403",
"source": "CartanConnection.lean, C_weight definition",
"deterministic": true,
"signal_detected": true
},
{
"name": "Fisher-Rao rigidity: eigensolid spectral gap 9984/65536 ~ 0.152 > 1/7",
"lambda": 2.1786,
"shape": "SignalShapedRouteCompiler",
"matrix_hash": "1cb1a73382f7",
"source": "FisherRigidity.lean, spectralGapIntCompare lemma",
"deterministic": true,
"signal_detected": true
},
{
"name": "Meta-solid 1/7 threshold from Sidon doubling combinatorics",
"lambda": 2.7168,
"shape": "SignalShapedRouteCompiler",
"matrix_hash": "b164c10adc53",
"source": "AGENTS.md meta-solid finding; hard-sphere polydispersity consensus",
"deterministic": true,
"signal_detected": true
}
]
}