Commit graph

Select branches

Hide pull requests

feat/honest-yangbaxter-mirror-notch

feat/semisym-modular-scar-ingest

flyio-new-files

main

orx/sidon-sofa-coloring-direction-a-finite-sidon-sofas-a-n-28a68926

spectral-codebook-generator

wip/local-snapshot

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#3

#4

#5

#6

#7

#8

#9

Mono Color

• c35e20bfdb Archive hachimoji_torsor_consequences.md Allaun Silverfox 2026-07-02 03:39:47 +02:00
• e81caa4a6a feat(spectral): Neon ENE sync layer for the spectral codebook (dry-run by default) allaun 2026-07-01 15:58:00 -05:00
• 4ea68bcecc feat(spectral): gap-aware spectral codebook generator with exact char-poly fingerprints allaun 2026-07-01 15:48:34 -05:00
• 02804f2981 Remove gemma4_pdf_benchmark.md Allaun Silverfox 2026-07-02 03:39:25 +02:00
• c04d8d03b9 Archive gemma4_pdf_benchmark.md Allaun Silverfox 2026-07-02 03:39:22 +02:00
• 455d9a4f42 Remove cartan_fingerprint.md Allaun Silverfox 2026-07-02 03:39:13 +02:00
• 187bea4159 Archive cartan_fingerprint.md Allaun Silverfox 2026-07-02 03:39:10 +02:00
• cf17c12f6c Remove cartan_dna_derivation.md Allaun Silverfox 2026-07-02 03:39:01 +02:00
• 7d3d41b922 Archive cartan_dna_derivation.md Allaun Silverfox 2026-07-02 03:38:57 +02:00
• 77c47248a5 Remove avm_ports_audit.md Allaun Silverfox 2026-07-02 03:38:49 +02:00
• 0dc49018a6 Archive avm_ports_audit.md Allaun Silverfox 2026-07-02 03:38:45 +02:00
• 9772cb99a8 Remove avm_isa_audit.md Allaun Silverfox 2026-07-02 03:38:36 +02:00
• cac5534d57 Archive avm_isa_audit.md Allaun Silverfox 2026-07-02 03:38:32 +02:00
• 138b3b97f6 Remove avmisa_audit_report.md Allaun Silverfox 2026-07-02 03:37:23 +02:00
• 0e5ed5694e Archive avmisa_audit_report.md Allaun Silverfox 2026-07-02 03:37:19 +02:00
• f04430079f Remove BREAKGLASS_NR_BRACKET_PROPOSAL.md Allaun Silverfox 2026-07-02 03:37:11 +02:00
• 221ef6ed95 Archive BREAKGLASS_NR_BRACKET_PROPOSAL.md Allaun Silverfox 2026-07-02 03:37:07 +02:00
• 5767e9b3ab Remove BOSONIC_MONTE_CARLO_PIPELINE_REVIEW.md Allaun Silverfox 2026-07-02 03:36:58 +02:00
• e5b0e6cb6e Archive BOSONIC_MONTE_CARLO_PIPELINE_REVIEW.md Allaun Silverfox 2026-07-02 03:36:55 +02:00
• 4a01b1a203 Remove HACHIMOJI_DNA_SYNTAX.md Allaun Silverfox 2026-07-02 03:36:34 +02:00
• 7ab9028ff2 Archive HACHIMOJI_DNA_SYNTAX.md Allaun Silverfox 2026-07-02 03:36:31 +02:00
• 5d9f4e83e4 Remove HACHIMOJI_DNA_ENCODING.md Allaun Silverfox 2026-07-02 03:36:22 +02:00
• 17980b6603 Archive HACHIMOJI_DNA_ENCODING.md Allaun Silverfox 2026-07-02 03:36:19 +02:00
• 573455bf05 Remove GODEL_BOUNDARY_AND_CLASSIFIERS.md Allaun Silverfox 2026-07-02 03:36:10 +02:00
• 76036485ee Archive GODEL_BOUNDARY_AND_CLASSIFIERS.md Allaun Silverfox 2026-07-02 03:36:07 +02:00
• 9e13152fa4 Remove DOCUMENT_SETS.md Allaun Silverfox 2026-07-02 03:35:47 +02:00
• 5efed0848c Archive DOCUMENT_SETS.md Allaun Silverfox 2026-07-02 03:35:44 +02:00
• 11a12caacd Remove LIBRARY_MANIFEST.md Allaun Silverfox 2026-07-02 03:35:35 +02:00
• ef6255a56e Archive LIBRARY_MANIFEST.md Allaun Silverfox 2026-07-02 03:35:32 +02:00
• 97cae66453 Remove UNIFIED_THEORY.md Allaun Silverfox 2026-07-02 03:35:23 +02:00
• e288db3254 Archive UNIFIED_THEORY.md Allaun Silverfox 2026-07-02 03:35:19 +02:00
• 4873c3ab4e Remove UNCOMPUTABILITY.md Allaun Silverfox 2026-07-02 03:35:10 +02:00
• 2cca656b53 Archive UNCOMPUTABILITY.md Allaun Silverfox 2026-07-02 03:35:07 +02:00
• bba1fed219 Remove SOS_CERTIFICATE_FORMULAS.md Allaun Silverfox 2026-07-02 03:34:57 +02:00
• 5b9e2171be Archive SOS_CERTIFICATE_FORMULAS.md Allaun Silverfox 2026-07-02 03:34:54 +02:00
• 2203edeb27 Remove SMUGGLE_MODEL.md Allaun Silverfox 2026-07-02 03:34:34 +02:00
• f9aa2015b0 Archive SMUGGLE_MODEL.md Allaun Silverfox 2026-07-02 03:34:30 +02:00
• ac790eb826 Remove RESUMABLE_DAG_MODEL.md Allaun Silverfox 2026-07-02 03:34:21 +02:00
• 88deb07d77 Archive RESUMABLE_DAG_MODEL.md Allaun Silverfox 2026-07-02 03:34:17 +02:00
• 1915651e71 Remove RRC_REFACTOR_READINESS.md Allaun Silverfox 2026-07-02 03:34:08 +02:00
• 75bb679ee8 Archive RRC_REFACTOR_READINESS.md Allaun Silverfox 2026-07-02 03:34:04 +02:00
• d245aec253 Remove RRC_PLACEMENT.md Allaun Silverfox 2026-07-02 03:33:55 +02:00
• 14c2fb2b95 Archive RRC_PLACEMENT.md Allaun Silverfox 2026-07-02 03:33:51 +02:00
• 0aac5b00dc Remove PURE_MATH_DESCRIPTION.md Allaun Silverfox 2026-07-02 03:33:42 +02:00
• d7b04f4af6 Archive PURE_MATH_DESCRIPTION.md Allaun Silverfox 2026-07-02 03:33:38 +02:00
• 8e6a5a6419 Remove PURE_FORMULAS.md Allaun Silverfox 2026-07-02 03:33:19 +02:00
• cd11339cab Archive PURE_FORMULAS.md Allaun Silverfox 2026-07-02 03:33:15 +02:00
• 2fbf67b0ff Remove PURE_EQUATION_MAP.md Allaun Silverfox 2026-07-02 03:33:06 +02:00
• 4ef9ff71d6 Archive PURE_EQUATION_MAP.md Allaun Silverfox 2026-07-02 03:33:02 +02:00
• 1233ca0834 Remove FOUNDATIONAL_GUIDANCE.md Allaun Silverfox 2026-07-02 03:32:53 +02:00
• f28d9ed1d4 Archive FOUNDATIONAL_GUIDANCE.md Allaun Silverfox 2026-07-02 03:32:50 +02:00
• 92476cc0a0 Remove FINITE_INFINITY_DUALITY.md Allaun Silverfox 2026-07-02 03:32:41 +02:00
• d85a4e6681 Archive FINITE_INFINITY_DUALITY.md Allaun Silverfox 2026-07-02 03:32:37 +02:00
• 186523d0d9 Remove EPIGENETIC_COMPUTATION.md Allaun Silverfox 2026-07-02 03:32:28 +02:00
• 9bb9d5e3b4 Archive EPIGENETIC_COMPUTATION.md Allaun Silverfox 2026-07-02 03:32:25 +02:00
• 648dbab954 Remove research_stack_usage_graph.md Allaun Silverfox 2026-07-02 03:32:05 +02:00
• f6db695293 Archive research_stack_usage_graph.md Allaun Silverfox 2026-07-02 03:32:02 +02:00
• f2798730a1 Remove research_stack_porting_candidates.md Allaun Silverfox 2026-07-02 03:31:53 +02:00
• 0921847a12 Archive research_stack_porting_candidates.md Allaun Silverfox 2026-07-02 03:31:49 +02:00
• 4524c56f7d Remove SYMBOLIC_REGRESSION_DESIGN.md Allaun Silverfox 2026-07-02 03:31:39 +02:00
• cb164a5360 Archive SYMBOLIC_REGRESSION_DESIGN.md Allaun Silverfox 2026-07-02 03:31:36 +02:00
• 487e076850 Remove ENHANCEMENT_PISSS_BRAID_INTEGRATION.md Allaun Silverfox 2026-07-02 03:31:27 +02:00
• 098a75890c Archive ENHANCEMENT_PISSS_BRAID_INTEGRATION.md Allaun Silverfox 2026-07-02 03:31:24 +02:00
• af56eab7dd Remove BMS_VERIFICATION.md Allaun Silverfox 2026-07-02 03:31:14 +02:00
• add52566be Archive BMS_VERIFICATION.md Allaun Silverfox 2026-07-02 03:31:11 +02:00
• 2f036c1206 Remove FISHER_METRIC_BRIDGE.md Allaun Silverfox 2026-07-02 03:30:41 +02:00
• 2594961bb5 Archive FISHER_METRIC_BRIDGE.md Allaun Silverfox 2026-07-02 03:30:38 +02:00
• fc7d5a89ae Remove AVM_DERIVATION.md Allaun Silverfox 2026-07-02 03:30:28 +02:00
• cca929b61c Archive AVM_DERIVATION.md Allaun Silverfox 2026-07-02 03:30:24 +02:00
• 092644defb Remove FIRST_PRINCIPLES_VERIFICATION.md Allaun Silverfox 2026-07-02 03:30:15 +02:00
• 57d052d444 Archive FIRST_PRINCIPLES_VERIFICATION.md Allaun Silverfox 2026-07-02 03:30:12 +02:00
• b4c73e5965 Remove Allaun Silverfox 2026-07-02 03:29:51 +02:00
• ce04b0d0bf Archive Allaun Silverfox 2026-07-02 03:29:48 +02:00
• c30d609867 Remove INVESTIGATE_HYPOTHESIS.md - archived to archive/2026-07-02/docs/INVESTIGATE_HYPOTHESIS.md Allaun Silverfox 2026-07-02 03:29:03 +02:00
• c18f162769 Archive INVESTIGATE_HYPOTHESIS.md - superseded by current state Allaun Silverfox 2026-07-02 03:28:59 +02:00
• ea6d22abec Remove TESTING.md - archived to archive/2026-07-02/docs/ Allaun Silverfox 2026-07-02 03:27:50 +02:00
• 8c520e3497 Archive TESTING.md - superseded by current state Allaun Silverfox 2026-07-02 03:27:06 +02:00
• 4abd17ffeb docs: complete mathematical dependency tree (THEOREM_STACK.md) allaunthefox 2026-07-01 23:02:40 +00:00
• 8f48e0633f fix: eliminate all 4 PVGS sorry proofs — sorry-free compilation allaunthefox 2026-07-01 22:47:19 +00:00
• 1a3e6aec26 feat: PVGS sorry verification via spectral codebook allaunthefox 2026-07-01 21:52:48 +00:00
• 93ed3a59c2 feat: Goormaghtigh spectral collision detector allaunthefox 2026-07-01 21:46:26 +00:00
• 3aa3261205 docs: Goormaghtigh-Spectral codebook connection allaunthefox 2026-07-01 21:40:42 +00:00
• 1dbdfd8802 fix: reclassify 278-row manifold with exact CharPoly classifier allaunthefox 2026-07-01 21:27:43 +00:00
• dca30905e6 verify: CharPoly Newton identities match numpy for all 250 matrices allaunthefox 2026-07-01 21:25:43 +00:00
• 22b0b55f37 feat: Lean CharPoly module + ClassifyN integration allaunthefox 2026-07-01 21:21:21 +00:00
• f96de68af8 feat: exact charpoly codebook + fix design doc allaunthefox 2026-07-01 21:15:46 +00:00
• cd91eca22f fix: address 3 bugs from spectral codebook review allaunthefox 2026-07-01 21:08:41 +00:00
• f44a36e2fa docs: correct spectral codebook analysis per independent review allaunthefox 2026-07-01 21:03:50 +00:00
• 7d59ad5739 docs: spectral codebook analysis of 250-equation corpus allaunthefox 2026-07-01 20:17:46 +00:00
• 412c951126 docs(spectral_profile): mark as disconnected from Lean pipeline allaunthefox 2026-07-01 20:10:00 +00:00
• eba0528728 fix: resolve h11 CVE-2025-43859 (critical) allaunthefox 2026-07-01 20:01:41 +00:00
• faa3a5b849 fix: resolve all 5 audit issues for full self-verification allaunthefox 2026-07-01 19:53:18 +00:00
• b280d6b8e4 fix(e8sidon): levelset axioms → proven theorems, N=32/64 are NOT Sidon allaun 2026-06-30 21:16:29 -05:00
• c5e23a0b46 fix(sorries): 3 agents resolve 5 sorries — HachimojiLUT, BraidStateN, E8Sidon allaun 2026-06-30 21:09:42 -05:00
• 1b92d41036 verify(classifier): cross-language classifier — Python confirms, 7 invariant allaun 2026-06-30 20:53:48 -05:00
• b6a4cf9e4d feat(ingest): Landauer + Shannon entropy density check via rgflow allaun 2026-06-30 20:51:17 -05:00
• 6f27ee7b47 feat(ingest): Rust equation ingestion pipeline — Markdown → Parse → Classify → Compute allaun 2026-06-30 20:48:20 -05:00
• 4326ebb9c1 feat(force): Fundamental Force Pipeline — ingest → derive → emit allaun 2026-06-30 20:43:43 -05:00
• 221d43b173 feat(lut): Master LUT — 6 tables, 65,591 entries, 0.0s, zero floats allaun 2026-06-30 20:40:58 -05:00
• 9711af2427 feat(lut): Chiral Spectral LUT — 65K entries, 5 regimes, 0.1s, zero floats allaun 2026-06-30 20:39:02 -05:00