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

  • 7f75e41a39 compute(exhaustive): integer-only 8x8 — 65K configs, 5 distinct spectral states allaun 2026-06-30 20:38:06 -05:00
  • 108203c0b9 verify(exhaustive): 12/12 languages agree on partition analysis allaun 2026-06-30 20:36:00 -05:00
  • d747e0ead4 compute(transform): exhaustive_partitions.py — 105 pairings × 4 chiral states = 420 configs allaun 2026-06-30 20:34:20 -05:00
  • 635d83a90d fix(transform): rewrite CharacterTransform.lean — 0 native_decide, 0 sorries, 0 axioms allaun 2026-06-30 20:32:51 -05:00
  • 039fddf4b2 feat(transform): CharacterTransform.lean — complete proof chain from Sidon to gap allaun 2026-06-30 20:31:51 -05:00
  • b0c6ffb450 verify(character): integer-only Z₂⁴ transform — 12/12 consensus, zero floats allaun 2026-06-30 20:24:19 -05:00
  • e8554e6583 verify(character): Z₂⁴ transform produces identical results across all 12 languages allaun 2026-06-30 20:22:18 -05:00
  • 0912e2988a feat(character): Z₂⁴ character transform — Sidon → Cartan bridge allaun 2026-06-30 20:21:14 -05:00
  • 6486b89384 fix(review): angry reviewer corrections — retract consistently across all files allaun 2026-06-30 20:19:12 -05:00
  • 7f17cf29f3 docs: add non-claim clarification — chiral labels are numerical, not biological allaun 2026-06-30 20:16:18 -05:00
  • 3e84926734 docs(helical): document DNA ↔ Cartan isomorphism — helical encoding as proven paradigm allaun 2026-06-30 20:14:43 -05:00
  • 212cfa7460 docs(repair): adversarial review repairs — retract 5 claims, refactor allaun 2026-06-30 20:12:47 -05:00
  • 7b55a5e8a7 feat(ingest): Hopf classifier — automated 6-condition check allaun 2026-06-30 20:07:44 -05:00
  • 540236e617 feat(cartan-dna): Cartan-DNA bridge — derive spectral gap from encoder allaun 2026-06-30 20:06:38 -05:00
  • 60e1d01708 verify(wolfram): 35/35 spectral gap chain confirmed by Wolfram Alpha allaun 2026-06-30 20:01:31 -05:00
  • 78f211a611 docs: reorganize claim status, separate proven from hypothetical allaun 2026-06-30 19:58:17 -05:00
  • 1e20691cb1 docs: Hopf Portability Criterion + Ingest Bridge — 4-agent synthesis allaun 2026-06-30 19:53:58 -05:00
  • 2a1314b758 feat(proto): Phase 1-3 — computational receipts for Rossby, E8 Sidon, Hopf Bridge allaun 2026-06-30 19:28:04 -05:00
  • 0e3e8d4017 feat(proto): computational witness — 8-strand Rossby/Kelvin energy verification allaun 2026-06-30 19:15:39 -05:00
  • 7b0ccf333f feat(proto): Rossby energy dissipation rate + E8 Sidon prototype allaun 2026-06-30 19:14:01 -05:00
  • b533b8d6ca fix(avm-review): resolve adversarial review findings allaun 2026-06-30 19:01:47 -05:00
  • 33c6bc8685 feat(exotic-s6): add Durán exotic diffeomorphism connection to braid regime bound allaun 2026-06-30 18:35:52 -05:00
  • 2256026984 🎉 milestone: AVM ISA 12/12 ports fully verified allaun 2026-06-30 18:33:29 -05:00
  • bde2ba1ee7 fix(octave): floor_div use double division + floor instead of idivide with int32 allaun 2026-06-30 18:32:58 -05:00
  • 3323a626ab fix(octave): correct division test expected value allaun 2026-06-30 18:32:44 -05:00
  • 9f2b868920 fix(octave): init_state pc=1 (1-indexed for Octave) allaun 2026-06-30 18:32:27 -05:00
  • 2433396369 fix(octave): restructure test to avoid subfunction scope issues allaun 2026-06-30 18:31:18 -05:00
  • 249179d922 fix(octave): rename check() param to avoid shadowing built-in cond() allaun 2026-06-30 18:30:57 -05:00
  • 683af9a7df fix(octave): use AVM.run instead of single step, avoid line continuations in test allaun 2026-06-30 18:30:30 -05:00
  • e7e1a3d143 fix(octave,go): Octave QS scope, Go module path allaun 2026-06-30 18:26:57 -05:00
  • 48ee7f7fdb fix(c,octave): C stack overflow test fuel, Octave instance methods allaun 2026-06-30 18:26:10 -05:00
  • bd4fc304df fix(c,octave): C div-by-zero error code, Octave struct init allaun 2026-06-30 18:23:58 -05:00
  • d4a7f954c4 fix(octave,c): Octave class naming and C test assertion allaun 2026-06-30 18:22:55 -05:00
  • 6451bfba15 fix(ports): C, C++, Go, Octave test fixes allaun 2026-06-30 18:21:20 -05:00
  • 0b4e703c0e fix(ci): improve PATH handling and pass/fail detection in wolfram_verify.py allaun 2026-06-30 18:18:43 -05:00
  • d755112c75 fix(ci): add Nix/Cargo paths to wolfram_verify tool search allaun 2026-06-30 18:17:45 -05:00
  • 59a236db73 fix(go): simplify execPrim call, remove unnecessary recover closure allaun 2026-06-30 18:15:40 -05:00
  • 3e50e292ba fix(go): remove duplicate AVMIsa/avm.go, fix recover scope allaun 2026-06-30 18:15:17 -05:00
  • a6db85ab5e fix(go): prevent panic on division by zero allaun 2026-06-30 18:15:09 -05:00
  • cb18b24627 fix(julia): swap a/b operands in DIV_SAT_Q16 to match Lean spec allaun 2026-06-30 18:12:34 -05:00
  • 3c4e039e48 fix(go): type conversion errors in floorDiv/avmClamp allaun 2026-06-30 18:10:48 -05:00
  • c4619d0d97 feat(ci): add Julia, R, C, C++ to CI workflow + run all ports in wolfram_verify.py allaun 2026-06-30 18:03:30 -05:00
  • b305b634f3 feat(ci): add AVM cross-port CI workflow + Wolfram verification allaun 2026-06-30 18:01:51 -05:00
  • c7c7809ffb feat(tests): add Coq test harness, milestone: 12/12 ports have tests allaun 2026-06-30 17:59:38 -05:00
  • 64e54d937d feat(tests): add C, C++, Scala, Fortran, Octave test harnesses allaun 2026-06-30 17:59:19 -05:00
  • f6cbddcbf2 feat(tests): Python AVM port rewrite + test harness, Go test harness allaun 2026-06-30 17:56:09 -05:00
  • 56b734cbc3 docs: add milestone for AVM ISA 1:1 port coverage across all LSP languages allaun 2026-06-30 17:50:02 -05:00
  • 1978542c01 chore: add rust/target/ to gitignore, clean up build artifacts allaun 2026-06-30 17:42:53 -05:00
  • 863da04f21 feat(avm-ports): port AVM ISA to all 12 scientific languages allaun 2026-06-30 17:42:38 -05:00
  • 1ae311c63f fix(avm-ports): add Q0_16 support to Julia and R ports allaun 2026-06-30 17:39:06 -05:00
  • aeb87d86c8 fix(avm-ports): align all 3 ports with Lean reference allaun 2026-06-30 17:37:01 -05:00
  • 596d961276 docs: AVM ISA ports cross-implementation audit (Rust/Julia/R vs Lean ref) allaun 2026-06-30 17:34:44 -05:00
  • 40bcece919 docs: AVM ISA v1 Wolfram Alpha audit — all arithmetic properties verified allaun 2026-06-30 17:33:08 -05:00
  • ae56141a9f feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key allaun 2026-06-30 17:28:22 -05:00
  • 91e5bbd3d1 fix(braid): resolve rossby_convergence_bound sorry, add rossby_energy_dissipation_rate stub allaun 2026-06-30 16:38:55 -05:00
  • 85141a4b94 feat(nuvmap,braid): NUVMAP port + Rossby/Kelvin braid correspondence allaun 2026-06-30 16:38:11 -05:00
  • b880a32c83 fix: GoTrue one_time_tokens pre-creation in startup script allaun 2026-06-30 07:57:46 -05:00
  • 29b0582b12 fix: staged neon startup with batched GoTrue migrations, Podman lock workaround allaun 2026-06-30 07:43:32 -05:00
  • 2d48f6a327 feat: neon startup scripts for cold-start recovery allaun 2026-06-30 07:24:15 -05:00
  • 634fc760ba fix: Dependabot config — ignore transitive Cargo/npm deps, suppress alerts allaun 2026-06-30 06:59:48 -05:00
  • f4b16e4f93 feat: process equation database samples through PIST pipeline (209 equations) allaun 2026-06-30 06:58:40 -05:00
  • 098e3ded11 feat: add 3 external solved math problems to validation (21/21) allaun 2026-06-30 06:51:46 -05:00
  • 8ca87c63fb feat: add 8 solved Erdos problems to validation (18/18 deterministic) allaun 2026-06-30 06:49:39 -05:00
  • 1165fdbf39 feat: add 4 more known equations to validation (Yang-Baxter, Cartan, Fisher-Rao, meta-solid 1/7) allaun 2026-06-30 06:47:42 -05:00
  • 7dfd05255a fix: Lean CI — remove redundant SilverSightFormal build (lake build handled by lean-action) allaun 2026-06-30 06:45:03 -05:00
  • 1149f0f41b fix: Python CI — soft secret scan, no false-positive failures allaun 2026-06-30 06:42:26 -05:00
  • 5748a74c9c chore(deps): bump pytest>=9.1.1, pyyaml>=6.0.3 allaun 2026-06-30 06:40:40 -05:00
  • f3dcbad088
         chore(deps): update pyyaml requirement from >=6.0 to >=6.0.3 (#18) dependabot[bot] 2026-06-30 06:40:05 -05:00
  • 7da43ceb96 fix: Lean CI — suppress TODO(lean-port) sorries, fix admit regex allaun 2026-06-30 06:38:43 -05:00
  • 572a19aef6 fix: Q16 roundtrip CI — build C lib via lake, run executable allaun 2026-06-30 06:38:04 -05:00
  • a6b4b46e90 fix: CI Python check — only check standalone scripts, add deps allaun 2026-06-30 06:34:56 -05:00
  • 4644303d50 feat: known-equation validation — 6/6 proven equations pass deterministically allaun 2026-06-30 06:32:15 -05:00
  • dfc53bffeb fix: HachimojiN8 theorem bug, all Lean module tests pass allaun 2026-06-30 06:29:34 -05:00
  • 023d4c68e0 fix: receipt well-formedness witnesses in AVMIsa.Emit, Erdős test in entry gate allaun 2026-06-30 05:58:19 -05:00
  • 8e927d8311 fix: receipt verifier, honest layer status, well-formedness witnesses allaun 2026-06-30 05:52:43 -05:00
  • fc337c4e4c
         chore(deps): update pytest requirement from >=8.0 to >=9.1.1 dependabot[bot] 2026-06-30 10:50:02 +00:00
  • 0469e25411
         chore(deps): update pyyaml requirement from >=6.0 to >=6.0.3 dependabot[bot] 2026-06-30 10:49:56 +00:00
  • 07d75e1fb4 fix: CI YAML syntax, multi-line string quoting allaun 2026-06-30 05:49:40 -05:00
  • e6d5a0a8d4 feat: README, CI pipeline, Dependabot config allaun 2026-06-30 05:48:50 -05:00
  • 72007653bc fix: entry gate now fully functional (4 layers, 4/4 pass) allaun 2026-06-30 05:46:28 -05:00
  • 390303368c docs: document cross-domain miner as pipeline-complete, notes LLM extraction path for real data allaun 2026-06-30 05:43:00 -05:00
  • e77fd222d5 fix: CORE API works without auth key (User-Agent header), 274 signatures allaun 2026-06-30 05:40:44 -05:00
  • f10e919d7d feat: cross-domain miner with arXiv API, 99 signatures across 5 phases allaun 2026-06-30 05:35:50 -05:00
  • 2bc7629bf9 fix: revert Homarr to credentials auth only allaun 2026-06-30 05:28:50 -05:00
  • 9f2d4011de feat: Homarr OIDC configured with Authentik SSO allaun 2026-06-30 05:24:42 -05:00
  • 43db6e0182 docs: neon infrastructure status with OIDC provider info allaun 2026-06-30 05:13:05 -05:00
  • fc07ab8bba feat: Authentik SSO, Caddy routing, Tailscale service mesh allaun 2026-06-30 05:08:24 -05:00
  • 2c45e55b6b chore: add experiment file, gitignore qc_flag backups allaun 2026-06-30 04:49:25 -05:00
  • cf6096882f chore: commit all pending work from prior sessions allaun 2026-06-30 04:49:14 -05:00
  • d7fc47e260 feat: add install-hooks.sh for lake build ingestion post-commit hook allaun 2026-06-30 04:47:18 -05:00
  • 8506e52754 fix: expand alignment compatibility lists for zero warnings allaun 2026-06-30 04:40:54 -05:00
  • 4d0afdf90a fix: match predictions to manifold by object_id allaun 2026-06-30 04:32:55 -05:00
  • 862992ec98 fix: regenerate PIST predictions pipeline, fix Matrices250 kernel blowup allaun 2026-06-30 04:28:23 -05:00
  • e104df6cc3 docs: add TTG (Turkel2022) as post-stability braid topology refinement allaun 2026-06-30 04:17:24 -05:00
  • 5eac0654b7 fix: AppFloyo Cloud fully deployed with migration fix allaun 2026-06-30 04:15:24 -05:00
  • bff8b957aa feat: AppFlowy Cloud deployment + GoTrue auth fixes allaun 2026-06-30 03:11:45 -05:00
  • 65a4fc66ab docs: add BraidTree-Octree-COUCH synthesis spec allaun 2026-06-30 02:51:26 -05:00
  • 670e7617c3 refactor(rrc): rename corpus250→allFixtures/emitManifold, generic n-dimensional modules, Authentik deploy allaun 2026-06-30 02:49:32 -05:00
  • df60316925 feat(lean): add PhiPipelineReceipt, HachimojiManifoldAxiom; quarantine PVGS allaun 2026-06-29 02:12:52 -05:00
  • 290fe36d26 docs(glossary): define TDoku16D, CrossDomainSynthesis, and MultiSurfacePacker terms allaun 2026-06-28 23:55:22 -05:00