allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/lean_binned
History
Allaun Silverfox c714a10374 agent-swarm: optimize core math, close E=mc2 trace 
- Fix BindAxioms associativity: semigroup cocycle condition
- Replace 4x True:=by trivial with real theorem statements
- Implement fisherRaoDistance via Real.arccos
- Add chaos_trajectory_no_collision, sidon_guided_basin_unique
- Deterministic sidon_guided_chaos_game with convergence detection
- Structurally informative EquationShape type signatures
- Principled 5D manifold from real equation properties
- Proper Merkle tree with non-commutative mixHash
- spectral_to_sidon_address pipeline
- Close one trace: E=mc2 -> EquationShape -> Sidon -> Chaos Game -> Receipt
- Receipt: ff9976852fa80ecaa9bc8158430497a771a00adf9a162b936b26d57dc84126e3
2026-06-20 22:43:52 -05:00
..
receipts agent-swarm: optimize core math, close E=mc2 trace 2026-06-20 22:43:52 -05:00
BinnedFormalizations.lean agent-swarm: optimize core math, close E=mc2 trace 2026-06-20 22:43:52 -05:00
ClosedTrace.lean agent-swarm: optimize core math, close E=mc2 trace 2026-06-20 22:43:52 -05:00
HornModelFormal.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
lake-manifest.json chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
lake_build_stderr.txt chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
lake_build_stdout.txt chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
lakefile.toml chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
lean-toolchain chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
RGUnitDistance.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_0a5b6d95dadfc3e2.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_0d0a8db0702e6227.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2a1f22b692aa87c9.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2ceef993fadb8617.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2ddaee8030fa39eb.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2e12c41db0bb746d.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2eee55494a48e808.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2fd8a5739608720e.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3b5cf8d2d4956d3c.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3b6ae611d6b382ed.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3cbd19f4716d6d25.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3ed31f1ae076490c.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_4a18ceaf3888bba3.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_4b9a9d818949e851.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_4e29398f0be55f03.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_5a5fbddb6b6a87a3.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_5c60d8b2b41be060.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_6b1aad59341606ce.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_6c3ba7cc1fb845ce.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_6dd2330a87fae20a.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_7ba3cc2c96fdf78f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_7f3b54e3d118c8d5.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_8fa7c2d3a5dadce7.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_10fc93294da04990.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_32ab2ff729514bc2.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_40ce41ef24bab64a.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_43d1ba4864a0e012.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_45aae6731480405b.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_45c6d0f7052c61f2.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_069f772cfae3e2f6.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_70d1ccc18e7340b6.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_86c1193b23361384.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_90ae24f93c2aba19.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_203a31a08446bc90.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_250c08e8451f986b.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_347dab94660d5126.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_410dfb7a851615f8.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_526b05d361948008.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_540e17d250b0af50.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_584ccf70dc2448ec.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_682a7c79a2c07abc.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_710b5f57b38d8dae.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_747a27fec4690e42.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_772db3539479dd4b.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2309f4fa60e78526.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2577f85be9648be4.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3810af9531ba920b.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_3994fe06c226dbed.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_4873edfda3319bb7.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_5032a7d91908ad76.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_5681ee9bcf0fa212.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_5897ae98de4b014b.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_8667a4abcdfb0e33.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_41846a6477bb5031.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_0085761c3512ef7e.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_089337bb135cc24e.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_094035ea8dbecdbc.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_97721d62fd2a1ccb.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_165389a1b0e1fa3a.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_840155af33c6593a.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_16394787daa75309.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_2927625930f9ceca.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_a3304dc6002ba5ff.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_aa3fd0e09ced1b7f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_aa2457246f273f8f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_acdbf6dbfe3926e8.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_b9b5adde4c75eb99.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_b13ac6b3013ec125.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_b0211e5bfd10d843.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_b2589194317b5375.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_bc1cdbda2c7b279f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_c1a65b020b4cbca9.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_cbb575aa4c4bb9c0.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_cc987483e73ebf5c.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_cdd78fef1b6ac967.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_cf28a9fb490522ae.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_d725a0ae5e609f46.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_d2028815ba9b7371.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_db937c0f244fb14f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_dc1663f465de629e.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_dea3ec296a54c888.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_e5af0670d5ebda22.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_e6bb6012128aeb31.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_e73d75157c00b15f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_e239715ab54a14e7.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_ee0fe7334f580135.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_ee1806e38c2e138f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_f08aae76038d585a.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_f3229308596f7e0f.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
thm_eq_ff52deca30009dcd.lean chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00