CrossDomain

CrossDomain modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

24 modules · 259 thm/lemma · 2398 lines

module	thm	def	lines	papers
`CrossDomain.AttentionSpace`	9	2	76	—
`CrossDomain.CardinalitySpectrum`	27	8	148	—
`CrossDomain.CognitiveStateSpace`	13	1	115	—
`CrossDomain.ConfigDimUniversality`	11	2	126	—
`CrossDomain.CrossPatternMatrix`	18	4	122	—
`CrossDomain.CubeFaceUniversality`	12	2	119	—
`CrossDomain.DFTHarmonicSpectrum`	11	3	127	—
`CrossDomain.DevelopmentReversal`	5	2	75	—
`CrossDomain.FibonacciPhiUniversality`	9	1	114	—
`CrossDomain.JConvexityUniversality`	9	2	112	—
`CrossDomain.JEquilibriumUniversality`	7	4	68	—
`CrossDomain.JPositivityUniversality`	10	8	107	—
`CrossDomain.MetaTheoremCount`	5	3	84	—
`CrossDomain.OncologyLattice`	8	1	85	—
`CrossDomain.ParadigmShiftLattice`	6	2	62	—
`CrossDomain.PhiInverseInvariants`	9	8	146	—
`CrossDomain.PlanetStratification`	8	1	77	—
`CrossDomain.ProductRecognitionLattice`	20	1	113	—
`CrossDomain.QuantumMolecularBound`	7	1	67	—
`CrossDomain.RecognitionGenerators`	20	4	105	—
`CrossDomain.RegulatoryCeiling`	6	3	59	—
`CrossDomain.TenFoldCombinations`	9	2	101	—
`CrossDomain.TwoCubeUniversality`	11	2	120	—
`CrossDomain.WorkingMemoryFromCube`	9	3	70	—