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

  • 6d2136c328 Extract monolithic lakefile into 14 standalone module targets main allaunthefox 2026-07-08 07:42:39 +08:00
  • e588b3b7a4 Add cross-repo adversarial review (Research-Stack, SilverSight, BioSight) allaunthefox 2026-07-08 07:03:53 +08:00
  • 0426673d1f docs(bawim): document mutation engine exploration results allaun 2026-07-07 10:14:31 -05:00
  • 03fe2b6c4e feat(bawim): parameter wiring + cached J matrix + grid scan results allaun 2026-07-07 09:59:30 -05:00
  • ecc294e1ff feat(bawim): sudoku 729-spin encoding + incremental ΔH + 3 solvers allaun 2026-07-07 09:42:38 -05:00
  • cdc7d24464 feat(python): BAWIM mutation engine — exact Fraction mutation loop allaun 2026-07-07 09:35:44 -05:00
  • d709136e17 feat(python): Q16 fraction module for exact-arithmetic mutation exploration allaun 2026-07-07 09:33:27 -05:00
  • 68844c92c4 fix(python): q16_mul/q16_div pure integer toward-zero truncation allaun 2026-07-07 09:31:05 -05:00
  • c3a5e6b60b fix(lean): remove dead code hp_sq_ne_zero in C_finite_zero_eq_one allaun 2026-07-07 09:19:13 -05:00
  • 44fcafe0de fix(lean): BlockCoprimeDensity round-3 fixes allaun 2026-07-07 02:47:11 -05:00
  • d2eb6a74c4 fix(lean): BlockCoprimeDensity round-2 adversarial fixes allaun 2026-07-07 02:31:49 -05:00
  • 1b1dbc88f7 fix(lean): adversarial review — correct 11 issues in BlockCoprimeDensity.lean allaun 2026-07-07 02:28:54 -05:00
  • 8bed931037 feat(lean): BlockCoprimeDensity — C(n) block-coprime density Euler product allaun 2026-07-07 02:24:10 -05:00
  • 707ae76ca1 feat(lean): phiInvQ16_mul_strict_lt_pos — proven strict contraction lemma allaun 2026-07-06 11:16:45 -05:00
  • bc70fd7e4f fix(lean): ContractedCrossStep — add phiInvQ16_lt_one lemma, allZeroState def, build passes allaun 2026-07-06 10:15:05 -05:00
  • da4ea434e7 feat(lean): ContractedCrossStep — genuine φ⁻¹ contraction for braid crossing dynamics allaun 2026-07-06 10:01:56 -05:00
  • 7852d0ca8e chore: add node_modules and generated artifacts to gitignore allaun 2026-07-07 01:11:23 -05:00
  • 7fcfde3ca7 feat(polyglot): add GEPA infrastructure for Python shim optimization allaun 2026-07-07 01:08:41 -05:00
  • 8b79a75ea4 fix(infra): configure NEXTAUTH_URL to force HTTPS redirects inside Homarr container allaun 2026-07-05 23:32:08 -05:00
  • 88f772ecf9 fix(infra): update Homarr OIDC issuer endpoint to point to the dedicated OIDC app allaun 2026-07-05 23:29:21 -05:00
  • 5042da5bbb fix(infra): append trailing slash to Homarr OIDC issuer to match IDP response allaun 2026-07-05 23:24:54 -05:00
  • 69a8176538 fix(webhook): configure in-cluster service account authentication and remove KUBECONFIG dependency allaun 2026-07-05 23:22:47 -05:00
  • b40dd896bb fix(webhook): port shebang to /bin/sh and add automatic package installation allaun 2026-07-05 23:22:01 -05:00
  • d7bcbc243e fix(infra): update Homarr OIDC issuer URL slug to match Authentik application allaun 2026-07-05 23:20:11 -05:00
  • 5e3a2aa5fa docs(infra): update walkthrough with FreeLLMAPI OpenRouter redirection allaun 2026-07-05 23:18:08 -05:00
  • c491a2cd05 docs(infra): log model configuration resolution steps in walkthrough allaun 2026-07-05 23:13:53 -05:00
  • 0d3b8351e5 docs(infra): update task tracking and walkthrough artifact logs allaun 2026-07-05 23:07:58 -05:00
  • 07c7e75430 docs(infra): document webhook secret injection pattern in hooks.yaml template allaun 2026-07-05 22:40:34 -05:00
  • 781578001d feat(infra): age/SOPS secrets surface + webhook receiver allaun 2026-07-05 22:35:27 -05:00
  • 8f1bd01ef0 docs: adversarial review of GAUGE_THEORY_GOAL.md — 12 CRITICAL, 7 MAJOR fixes allaun 2026-07-05 15:18:18 -05:00
  • 55830c96b9 chore: remove bak file allaun 2026-07-05 15:05:34 -05:00
  • 5f8ffd59b7 feat: copy ChiralClockModel + specs from experimental repo allaun 2026-07-05 15:05:27 -05:00
  • bf3017b9db fix: restore GAUGE_THEORY_GOAL.md from experimental repo (d0264e38) allaun 2026-07-05 14:56:15 -05:00
  • dead6528de docs: gauge theory goal — 5 specific goals with success criteria allaun 2026-07-05 14:53:33 -05:00
  • db39e2c068 feat: Rollup circulant-block compression theorem + YangMillsPerformance bound allaun 2026-07-05 14:50:56 -05:00
  • fb63952ae0 fix: 4 remaining RRC modules — SidonAdapter, CMYKColoringCore, WeightCandidateGen, UnitDistCandidateGen allaun 2026-07-05 14:41:38 -05:00
  • 808a9a8bbb fix: ManifoldShortcut GoldenSpiral — ASCII doc comments, API fixes allaun 2026-07-05 08:28:13 -05:00
  • 04546db009 fix: CharPoly Newton solver — correct Horner evaluation allaun 2026-07-05 08:11:31 -05:00
  • ddb0145f54 fix: ColdReviewer + CharPoly — native_decide for dec_trivial removal, ASCII-only comments allaun 2026-07-05 07:22:55 -05:00
  • c834b74772 fix: subleq_falls_through — use omega for ¬(a ≤ 0) from a > 0 allaun 2026-07-05 06:33:55 -05:00
  • 9cb97c61bd fix: Blitter6502OISC — inline let binders in execSUBLEQ, remove Repr (ℕ→ℕ) allaun 2026-07-05 06:12:27 -05:00
  • 798022705e fix: CacheSieve evict_prefers_reset proof — inline let, cases on filterMap allaun 2026-07-05 05:58:38 -05:00
  • e5cecac388 docs: update test matrix — C1 FAIL, C2 PARTIAL (HCMR builds, rest fail) openresearch 2026-07-04 22:55:02 +00:00
  • 2f0328602f fix: agent-reviewed Lean fixes + reorganize rejected theories openresearch 2026-07-04 22:28:09 +00:00
  • 209a66a98e docs(research): complete test matrix — 42 tests, every assumption openresearch 2026-07-04 21:34:17 +00:00
  • 37736fc95e docs: encode engine necessity + modularity principle openresearch 2026-07-04 21:30:32 +00:00
  • 3d1a8c841d fix: add --output arg to pipeline_core.py openresearch 2026-07-04 21:27:02 +00:00
  • 67194f06da docs(research): attack plan — from suspect to receipt openresearch 2026-07-04 21:23:01 +00:00
  • 65ae0d28ed docs(research): adversarial review of unified theory — ~30% correct openresearch 2026-07-04 21:19:34 +00:00
  • 6c942c8db9 docs(research): THE UNIFIED THEORY — definitive synthesis openresearch 2026-07-04 21:14:34 +00:00
  • c052ff306c docs(research): chiral pipeline × QUBO/QAOA — quantum bridge openresearch 2026-07-04 21:10:52 +00:00
  • e61ee5cfdc fix: COUCH gate — Kelvin wave regime check openresearch 2026-07-04 21:09:03 +00:00
  • 3cbf5a2560 feat(gpu): cross-enriched chiral Sidon filter — 4^8=65K configs on GPU openresearch 2026-07-04 21:04:21 +00:00
  • ace1378668 feat(pipeline): rewrite with actual SilverSight chiral system openresearch 2026-07-04 21:03:01 +00:00
  • c22549d3de docs(research): spherical chiral CRT — labels on S² openresearch 2026-07-04 20:52:52 +00:00
  • 62399d035d fix(pipeline): positional chirality — permutation, not negation openresearch 2026-07-04 20:51:39 +00:00
  • a292138877 docs(research): chiral invariance generalized — ring automorphism proof openresearch 2026-07-04 20:49:50 +00:00
  • d9e465fb91 feat: pipeline_core.py — module-swappable six-stage engine openresearch 2026-07-04 20:43:27 +00:00
  • bd33007440 docs(research): chiral invariance — CRT Sidon check is chiral-invariant openresearch 2026-07-04 20:35:35 +00:00
  • 50704ecf9c feat(gpu): chiral_sidon_check.wgsl — GPU Sidon filter openresearch 2026-07-04 20:31:43 +00:00
  • 1c61179028 feat: chiral batch pipeline — six-stage search engine openresearch 2026-07-04 20:28:32 +00:00
  • 440dd7f51d docs(research): six-stage resource-aware search engine openresearch 2026-07-04 20:18:21 +00:00
  • c0d9ebe7fb docs(research): rendering equation as observerless observer openresearch 2026-07-04 20:00:51 +00:00
  • 40e223fdd9 feat(formal): HCMR suite — 5 clean rewrites for SilverSight openresearch 2026-07-04 19:53:20 +00:00
  • 0843dbb99c docs(research): HCMR × chiral CRT multiplexer — performance model openresearch 2026-07-04 19:46:15 +00:00
  • e2054af08c docs(research): chiral CRT multiplexing — Qwen 3.7 Max formalization openresearch 2026-07-04 19:42:07 +00:00
  • 02c815de8d docs(research): BraidStorm × TreeBraid × COUCH chiral batch pipeline openresearch 2026-07-04 19:38:32 +00:00
  • fb2718842d docs: synthesize chiral CRT multiplexing theory orx/sidon-sofa-coloring-direction-a-finite-sidon-sofas-a-n-28a68926 allaun 2026-07-04 14:37:12 -05:00
  • 538af8d129 fix(lean): CRTSidonN compiles — n-moduli CRT Sidon theorem allaun 2026-07-04 11:19:04 -05:00
  • 83b4f0ce2c feat: Direction B Gerver sofa implementation + CRTSidonN partial fix allaun 2026-07-04 11:04:14 -05:00
  • ae55a78627 docs: CRTSidonN auto-generated, ~15 structural issues — documenting TODO allaun 2026-07-04 10:28:25 -05:00
  • 1b5d57bed3 chore(container): rebuilt silver-autoproof with 5-check pipeline allaun 2026-07-04 10:20:45 -05:00
  • 2e7310b50f chore: sync prove.py to scripts/ for container use allaun 2026-07-04 10:17:25 -05:00
  • 3f88b893a8 feat(autoresearch): 5-check verification pipeline + frozen theorem template allaun 2026-07-04 10:17:14 -05:00
  • f0e729b35c docs(citation): add pipeline-math — Peng et al. GPT-5.5 Pro + Lean pipeline allaun 2026-07-04 10:11:59 -05:00
  • 8b49006810 docs(citation): add Erdős problem 477 — greedy tiling criterion as prior art for Sidon set construction allaun 2026-07-04 10:11:00 -05:00
  • 1bd5e55729 feat: pull research platform results — HN database + q-sweep + CRTSidonN allaun 2026-07-04 10:06:17 -05:00
  • 4141597e89 feat: experiment results — HN spectral database + q-profile sweep openresearch 2026-07-04 14:57:46 +00:00
  • 55453b05cb feat: q-profile sweep + Gerver Sidon design + report openresearch 2026-07-04 14:50:28 +00:00
  • 79433aadfc fix(hn): proper NoneType handling in EVAL writer openresearch 2026-07-04 08:49:49 +00:00
  • 07adc46931 fix(hn): fix Golomb graph construction + EVAL NoneType formatting openresearch 2026-07-04 08:47:32 +00:00
  • 4bf4fa8afc feat: HN spectral database + CRT n-moduli generalization openresearch 2026-07-04 08:08:03 +00:00
  • ed40e5c61f feat(experiment): v3 fine q-sweep results (negative — EPS fix exposed artifact) allaun 2026-07-04 02:59:10 -05:00
  • 8265cfc3ae fix(adversarial): EPS fix exposed v2/v3 sofa coloring as false-edge artifact allaun 2026-07-04 02:58:14 -05:00
  • 1bd1f19065 docs: document autoproof infrastructure + update plan allaun 2026-07-04 02:42:43 -05:00
  • a239fb42b4 docs: add comprehensive next steps plan allaun 2026-07-04 02:40:10 -05:00
  • 9c97b72539 docs: add SLOS disclaimer + clarify review count allaun 2026-07-04 02:39:57 -05:00
  • 3bfe13ee3b docs: update photonic evidence with exact Q16_16 encoder results allaun 2026-07-04 02:31:33 -05:00
  • 0a087acc5c feat: import Q16_16 and p-adic encoders from special branch allaun 2026-07-04 02:30:38 -05:00
  • d5bd660bab feat: import photonic Sidon search from special branch allaun 2026-07-04 02:27:40 -05:00
  • fa8f6a2586 chore: commit utility scripts, MCP backend source, and archived data allaun 2026-07-04 02:06:51 -05:00
  • dcb2853d24 chore: add MCP backend target/ to .gitignore allaun 2026-07-04 02:06:51 -05:00
  • 7bf5a0479d fix(sidon-sofa): tighten unit-distance tolerance from 5% to 0.001% allaun 2026-07-04 02:06:04 -05:00
  • 54fd228383 fix(adversarial): repair sofa coloring scripts + Hoffman bound allaun 2026-07-04 02:04:37 -05:00
  • 12f84c8973 feat: agent computation results — 16 QRNG runs, Hoffman bound, v3 sweep, CMYK fix allaun 2026-07-04 02:02:50 -05:00
  • 406ec86d65 chore(secrets): store Quandela API key encrypted with sops/age allaun 2026-07-04 01:39:38 -05:00
  • a8dee98767 fix(sidon-sofa): propagate --seed to DSATUR greedy restarts allaun 2026-07-04 01:25:14 -05:00
  • f9b3df0803 feat(lean): modular Sidon preservation theorem + meta-review fixes allaun 2026-07-04 01:04:52 -05:00
  • 50732eaf0b autoproof(mcp): filled sorry in formal/SilverSight/PIST/CMYKColoringCore.lean allaun 2026-07-03 20:56:23 -05:00
  • d2ece9d5ad feat: agent-produced extensions to SidonAdapter, UnitDistCandidateGen, and formal infrastructure allaun 2026-07-03 20:54:36 -05:00