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

Commit graph

  • 07e9b32284 feat: implement CMYK coloring generator, autoproof infrastructure, and conservation fix allaun 2026-07-03 20:54:18 -05:00
  • 98ceb6f65d feat: integrate CMYKColoringCore into build system allaun 2026-07-03 20:36:35 -05:00
  • c6142080fe fix(research): remove Direction F (OISC CMYK) — references abandoned infrastructure allaun 2026-07-03 20:09:09 -05:00
  • f445e5078c fix(research): apply fusion panel fixes to Sidon-Sofa Coloring allaun 2026-07-03 20:00:07 -05:00
  • 1a5b1432e6 docs(research): fusion review panel — Sidon-Sofa Coloring (2/3 reviewers complete) allaun 2026-07-03 19:27:42 -05:00
  • 34339647f9 autoresearch: 0 errors, 0 sorries (1) allaun 2026-07-03 18:54:17 -05:00
  • 422516863a docs(research): Sidon-Sofa Coloring — unified problem formulation openresearch 2026-07-04 00:07:16 +00:00
  • 5c01ec43ea docs: sofa × HN — combined stress test framing openresearch 2026-07-03 23:46:25 +00:00
  • 4c47fe4e43 docs: moving sofa × Hadwiger-Nelson as next octagon test case openresearch 2026-07-03 23:36:04 +00:00
  • 6507f1187b feat(crt): capacity envelope — Sidon invariance confirmed under CRT Torus DAG allaun 2026-07-03 18:35:40 -05:00
  • 5c5c6f94b6 docs: record prime-Sidon honest negative (0/35 after Bonferroni) openresearch 2026-07-03 23:25:57 +00:00
  • a0d95049c6 chore(prime-sidon): documented negative result — primes indistinguishable from random in Sidon sum-degeneracy allaun 2026-07-03 18:16:42 -05:00
  • f1a050277b feat(slos): eigenvalue products predict SLOS concentration ordering - verified with Spearman correlation, cross-validated with exact tensor network allaun 2026-07-03 17:55:26 -05:00
  • 30552681e4 Add Perceval SLOS verification with recoverable DAG openresearch 2026-07-03 22:22:00 +00:00
  • e4cb242619 docs: create living targets folder for rapidly evolving goals openresearch 2026-07-03 22:13:45 +00:00
  • 62616f00f5 docs: invariant computation geometry — the unifying vision openresearch 2026-07-03 22:08:56 +00:00
  • d9b29b0bad docs: reaction primes — algebraic irreducibility for DNA computation openresearch 2026-07-03 22:00:21 +00:00
  • ddaeb3d61e docs: explore merged O(1) transform — DNA as unified search-reconstruct-verify openresearch 2026-07-03 21:58:32 +00:00
  • f5a1ac5f4b docs: document three O(n)→O(1) transforms + unification analysis openresearch 2026-07-03 21:54:46 +00:00
  • 8db46d4aaa docs: formal literature — octagon question answered at O(n^2) openresearch 2026-07-03 21:49:45 +00:00
  • 90951d3c9a docs: octagon principle → P vs NP experimental program openresearch 2026-07-03 21:44:31 +00:00
  • 9f6eae3220 docs: record octagon principle as research pipeline entry openresearch 2026-07-03 21:38:34 +00:00
  • a75bfdf721 docs: capstone — the octagon principle openresearch 2026-07-03 21:35:15 +00:00
  • 7256124986 docs: reconcile linearity — linear tool on linear problem works openresearch 2026-07-03 21:30:03 +00:00
  • f3d9713fb7 docs: SLOS linearity = shortcut works (revised analysis) openresearch 2026-07-03 21:29:04 +00:00
  • 61a143dbf1 docs: SLOS direction analysis — pipeline needs SLOS only for Omega openresearch 2026-07-03 21:27:37 +00:00
  • badd25b1b5 refactor(ManifoldShortcut): remove all universal claims after 5-way attack openresearch 2026-07-03 21:15:44 +00:00
  • 4b077e61cb Add ManifoldShortcut: conservation-law-guided equation finding openresearch 2026-07-03 21:03:20 +00:00
  • 723992c567 docs: add π tape LUT coda — cleanest conservation law proof openresearch 2026-07-03 20:56:47 +00:00
  • f0466be09c docs(compression): add pi-as-tape-LUT coda (offset = data size, base conversion) allaun 2026-07-03 15:56:01 -05:00
  • 99c943dcd0 docs(compression): honest-findings writeup + reproducible scripts allaun 2026-07-03 15:52:27 -05:00
  • abf8329921 docs: record LLM recoverable drop analysis (same conservation law) openresearch 2026-07-03 20:48:28 +00:00
  • 8935cc9eaa docs: seal compression arc — mass number = base conversion (final branch) openresearch 2026-07-03 20:46:53 +00:00
  • 803b96754a docs: record weird machine conservation law (proven with real bytes) openresearch 2026-07-03 20:41:35 +00:00
  • 097aa578cb docs: record honest GW compression result (583x = zero-noise artifact) openresearch 2026-07-03 20:34:18 +00:00
  • b104ac992e Add GW 16D simulation + Braille/T9/hachimoji weird machine openresearch 2026-07-03 20:23:07 +00:00
  • b65ef756ca fix(StrandCapacityBound): repair proofs + register in lakefile allaun 2026-07-03 15:19:47 -05:00
  • 3362d554d1 feat(braid/dag): land untracked research WIP + register 4 formal libs; ignore build artifacts allaun 2026-07-03 15:11:37 -05:00
  • e7d3376fea Merge remote-tracking branch 'origin/main' allaun 2026-07-03 15:08:31 -05:00
  • 3b1e590b09 chore(anti-smuggle): patch stealth-True + bare-sorry blind spots; archive SidonWrapping orphan allaun 2026-07-03 15:07:49 -05:00
  • 2120448e5d Update CITATION.cff: add all session data sources openresearch 2026-07-03 19:48:17 +00:00
  • 351c7e7216 Merge remote-tracking branch 'origin/main' allaun 2026-07-03 14:15:33 -05:00
  • 4910e3877c Add cmix weight matrix analysis: compression shape as epigenetic landscape openresearch 2026-07-03 16:10:01 +00:00
  • 7b87d1f350 Refine remaining sorries with honest justification tags openresearch 2026-07-03 16:08:39 +00:00
  • 22ea18f9ff Add Admit pipeline: five control filters + three bookkeeping gates openresearch 2026-07-03 12:57:16 +00:00
  • 20c78c7726 Add GoldenSpiral + GCCL: development map + law gate openresearch 2026-07-03 12:48:05 +00:00
  • 35bb1274e0 fix(L3): unbreak UnifiedCovariant build + kill stealth-True opaque predicates allaun 2026-07-03 07:39:13 -05:00
  • 96cc1a1b5d Add Fibonacci block structure to CollatzBraid openresearch 2026-07-03 12:20:14 +00:00
  • d575349fea Add AngrySphinx + CollatzBraid: closed-system energy budget + braidtree openresearch 2026-07-03 12:14:14 +00:00
  • 526357e391 docs(E8Sidon): honest Erdős 30 connection, no false claims openresearch 2026-07-03 11:12:47 +00:00
  • 246beab5a4 fix(sorries): solve, weaken, or abandon all remaining sorries openresearch 2026-07-03 11:08:39 +00:00
  • 934e5f12a0 fix(sorries): kill vacuous True theorems, tag remaining sorries openresearch 2026-07-03 10:58:17 +00:00
  • c8ca253bd7 tag(axioms): justify all 18 custom axioms with HONESTY CLASS tags openresearch 2026-07-03 10:54:08 +00:00
  • ba8ee11159 fix(L3): kill silent vacuity := True + trivial, patch scanner blind spot openresearch 2026-07-03 10:44:23 +00:00
  • 8c5ee2aafb refactor(L3): axioms → typed structures + justified sorries openresearch 2026-07-03 10:30:10 +00:00
  • 8bf8781e49 feat(semisym): modular fast path + scar-map ingest skeleton feat/semisym-modular-scar-ingest allaun 2026-07-02 20:38:22 -05:00
  • f87c78d4e8 ci(gate): add anti-smuggle vacuity check script + CI workflow layer spectral-codebook-generator allaun 2026-07-03 05:03:08 -05:00
  • 2ef30d8a82 feat(prime-lut): add PrimeLut reader with embedded + binary LUT backends allaun 2026-07-03 05:00:22 -05:00
  • 5fd81d34a2 refactor(layer3): replace 7 sorries with axioms + TODO(lean-port) markers allaun 2026-07-03 04:55:41 -05:00
  • 72425716e3 feat(semisym): exact-rational Rust discriminator — jet AD, checkpointed survey, Δ₇ verdict allaun 2026-07-02 02:43:54 -05:00
  • c19b8da9d1 feat(semisym): §0 discriminator — Δ₃ verdict PROPER (∇R≠0, R·R≠L·Q); roadmap §0 active allaun 2026-07-02 02:23:33 -05:00
  • 83c8fc4221
         Merge PR #20: honest S8 braid relation + SidonMirrorNotch Allaun Silverfox 2026-07-03 11:53:18 +02:00
  • 094f211922 Close the loop: retire re-exported YB tautology; register SidonMirrorNotch feat/honest-yangbaxter-mirror-notch allaun 2026-07-03 04:26:05 -05:00
  • 0125c9b487 Replace vacuous YangBaxter tautology with honest S_n braid relation; add SidonMirrorNotch allaun 2026-07-03 04:22:15 -05:00
  • 3b6baec64e wip: durability snapshot of local working tree (pre-existing, uncommitted) wip/local-snapshot allaun 2026-07-02 20:49:53 -05:00
  • e128aa50aa feat(semisym): modular fast path + scar-map ingest skeleton allaun 2026-07-02 20:38:22 -05:00
  • 6c58feaf53 feat(semisym): exact-rational Rust discriminator — jet AD, checkpointed survey, Δ₇ verdict allaun 2026-07-02 02:43:54 -05:00
  • be5d4e9de5 feat(semisym): §0 discriminator — Δ₃ verdict PROPER (∇R≠0, R·R≠L·Q); roadmap §0 active allaun 2026-07-02 02:23:33 -05:00
  • 069e54d8e9 fix(coq): migrate all files to Rocq 9.0 imports (ZCompat, no ZArith) allaun 2026-07-01 23:21:29 -05:00
  • 35786a1305 fix(coq): 8/9 axioms proven — Pos_mul_comm still Admitted (Rocq 9.0) allaun 2026-07-01 23:20:36 -05:00
  • 3ba610bdf3 feat(spectral): Cosmos Gremlin loader for the codebook graph (dry-run by default) allaun 2026-07-01 21:32:48 -05:00
  • 6eae21513e Merge origin/main (docs + CFF updates) into main with spectral codebook allaun 2026-07-01 21:17:24 -05:00
  • 52652f23fa Reorganize CITATION.cff for CFF reader compliance: fix license to Apache-2.0, add version/abstract/keywords, remove non-standard comments, clean up references Allaun Silverfox 2026-07-02 04:10:03 +02:00
  • 85b8dc3db5 Add new terms: Integer Spiral Packing, phi_corkscrew_index, f(n) layout, radius_sq, angle_frac, Cartan Δ-floor, Fisher version, Δ_7, fingerprint, codeword, TorusWinding, a_exact, b_exact, torus_to_spiral_index Allaun Silverfox 2026-07-02 04:05:19 +02:00
  • 2e752aeb75 Update WORK_LOG.md - document past 5 minutes: integer spiral packing, f(n) layout, Cartan floor, torus winding, fingerprint resolution, 43/43 tests Allaun Silverfox 2026-07-02 04:03:14 +02:00
  • e85c8dd7bd Merge origin/main (doc archival + GLOSSARY revision) into main with spectral codebook allaun 2026-07-01 21:01:51 -05:00
  • be469bbe21 Revise GLOSSARY.md - add File:Line, Tags, See Also columns for deep wiki compatibility Allaun Silverfox 2026-07-02 04:01:10 +02:00
  • 97b96f07f3 Revise GLOSSARY.md - add File:Line, Tags, See Also columns for deep wiki compatibility Allaun Silverfox 2026-07-02 03:59:09 +02:00
  • 359effdfc6 feat(spectral): f/Cartan integration — exact spiral packing, f(n) layout, Cartan Δ-floor, torus-winding fix allaun 2026-07-01 20:53:47 -05:00
  • 30a82592ad Remove rydberg_braid_cross_domain_scan.md Allaun Silverfox 2026-07-02 03:44:39 +02:00
  • 9affdeeeb0 Archive rydberg_braid_cross_domain_scan.md Allaun Silverfox 2026-07-02 03:44:36 +02:00
  • 8f0283ddbc Remove braidtree_octree_couch_synthesis.md Allaun Silverfox 2026-07-02 03:44:26 +02:00
  • b8a95cad90 Archive braidtree_octree_couch_synthesis.md Allaun Silverfox 2026-07-02 03:44:23 +02:00
  • 46acba8dbf Remove transform_series.md Allaun Silverfox 2026-07-02 03:41:42 +02:00
  • d804df83f2 Archive transform_series.md Allaun Silverfox 2026-07-02 03:41:38 +02:00
  • 397913ae3f Remove rotational_wave_braid_correspondence.md Allaun Silverfox 2026-07-02 03:41:30 +02:00
  • 60b2459262 Archive rotational_wave_braid_correspondence.md Allaun Silverfox 2026-07-02 03:41:26 +02:00
  • 2132c67e78 Remove rossby_e8_completion_roadmap.md Allaun Silverfox 2026-07-02 03:41:17 +02:00
  • 099d040a6a Archive rossby_e8_completion_roadmap.md Allaun Silverfox 2026-07-02 03:41:14 +02:00
  • 3ee676c66b Remove noether_route.md Allaun Silverfox 2026-07-02 03:41:05 +02:00
  • 003fea2fee Archive noether_route.md Allaun Silverfox 2026-07-02 03:41:02 +02:00
  • f73d2cab0c Remove milestone_avm_11_port_coverage.md Allaun Silverfox 2026-07-02 03:40:39 +02:00
  • 1f7afd2fbf Archive milestone_avm_11_port_coverage.md Allaun Silverfox 2026-07-02 03:40:36 +02:00
  • e09543d082 Remove hopf_portability_criterion.md Allaun Silverfox 2026-07-02 03:40:27 +02:00
  • af2884ef6e Archive hopf_portability_criterion.md Allaun Silverfox 2026-07-02 03:40:24 +02:00
  • 93bfe3e753 Remove hopf_ingest_bridge.md Allaun Silverfox 2026-07-02 03:40:15 +02:00
  • 9aaae573ea Archive hopf_ingest_bridge.md Allaun Silverfox 2026-07-02 03:40:11 +02:00
  • 821d71f8d0 Remove helical_encoding.md Allaun Silverfox 2026-07-02 03:40:03 +02:00
  • 41c9aff110 Archive helical_encoding.md Allaun Silverfox 2026-07-02 03:39:59 +02:00
  • f9a30e6d82 Remove hachimoji_torsor_consequences.md Allaun Silverfox 2026-07-02 03:39:50 +02:00