Commit graph

Select branches

Hide pull requests

dependabot/cargo/1-Distributed-Systems/agents/claw/rust/claw-cargo-minor-patch-f6261a07cd

dependabot/cargo/1-Distributed-Systems/agents/claw/rust/rustyline-18.0.1

dependabot/cargo/4-Infrastructure/servo-fetch/pdf-extract-0.12.0

dependabot/cargo/4-Infrastructure/servo-fetch/rmcp-2.0.0

dependabot/cargo/4-Infrastructure/servo-fetch/servo-fetch-cargo-minor-patch-d8283d777a

dependabot/cargo/5-Applications/linear-native-tauri/linear-tauri-cargo-minor-patch-e86d6718e7

dependabot/cargo/5-Applications/notion-native-tauri/notion-tauri-cargo-minor-patch-e86d6718e7

dependabot/cargo/5-Applications/parquet_compressor/itertools-0.15.0

dependabot/cargo/5-Applications/parquet_compressor/parquet-cargo-minor-patch-3b8979f3ff

dependabot/cargo/5-Applications/parquet_compressor/sysinfo-0.39.5

dependabot/npm_and_yarn/6-Documentation/tiddlywiki-local/wiki-npm-minor-patch-f133baf8f4

dependabot/npm_and_yarn/ai-sdk/provider-utils-3.0.28

dependabot/npm_and_yarn/root-npm-minor-patch-59ec4a8926

dependabot/pip/2-Search-Space/search/whoogle-search/python-minor-patch-77365ebca1

dependabot/pip/2-Search-Space/search/whoogle-search/soupsieve-2.8.4

dependabot/uv/2-Search-Space/search/whoogle-search/uv-0462f47e4d

docs/geometric-substance-canonical

main

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#11

#116

#117

#117

#118

#118

#119

#119

#120

#120

#121

#121

#122

#122

#123

#123

#124

#124

#125

#126

#126

#127

#127

#128

#128

#129

#129

#13

#130

#130

#131

#131

#132

#132

#133

#133

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#58

#59

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

Mono Color

• 492a4fc7a2 theorem(proof): SelfSight — self-replication achieved and proven Allaun Silverfox 2026-06-23 01:16:32 -05:00
• 256d7a43b8 feat(quine): Self-replicating weird machine engine Allaun Silverfox 2026-06-23 01:13:50 -05:00
• b1e7675dc3 feat(quine): Self-replicating weird machine engine Allaun Silverfox 2026-06-23 01:13:50 -05:00
• c18e76980f feat(quine): Weird Machine spec — self-replicating FAMM/DNA engine Allaun Silverfox 2026-06-23 01:05:57 -05:00
• fa9c821437 feat(quine): Weird Machine spec — self-replicating FAMM/DNA engine Allaun Silverfox 2026-06-23 01:05:57 -05:00
• c2abcd55ed feat(famm): Baker-analogue theorem as co-evolution guarantee Allaun Silverfox 2026-06-23 01:00:25 -05:00
• dbd6c70f2f feat(famm): Baker-analogue theorem as co-evolution guarantee Allaun Silverfox 2026-06-23 01:00:25 -05:00
• e7eafa742d feat(coevolution): FAMM + Resumable DAG + DNA sort co-evolution Allaun Silverfox 2026-06-23 00:58:30 -05:00
• 183766b2a8 feat(coevolution): FAMM + Resumable DAG + DNA sort co-evolution Allaun Silverfox 2026-06-23 00:58:30 -05:00
• 4cebe5ce5a docs: Research Stack write protection allaun 2026-06-22 23:10:15 -05:00
• c1f689d7c8 docs: Research Stack write protection allaun 2026-06-22 23:10:15 -05:00
• 5036564f32 refactor: move gemma4 MCP server to SilverSight allaun 2026-06-22 23:04:40 -05:00
• ec74e2539b refactor: move gemma4 MCP server to SilverSight allaun 2026-06-22 23:04:40 -05:00
• 591a1e2bba feat(infra): Gemma4-12B as MCP tool, not primary model allaun 2026-06-22 23:01:19 -05:00
• 5bc3b8389d feat(infra): Gemma4-12B as MCP tool, not primary model allaun 2026-06-22 23:01:19 -05:00
• f7b1917bfe feat(agent): Gemma4-12B as primary model, free and local allaun 2026-06-22 22:45:46 -05:00
• ba226a28d9 feat(agent): Gemma4-12B as primary model, free and local allaun 2026-06-22 22:45:46 -05:00
• 1a4ffe1d4d docs: fix SilverSight local clone path allaun 2026-06-22 22:18:19 -05:00
• a7c7e3a51c docs: fix SilverSight local clone path allaun 2026-06-22 22:18:19 -05:00
• cb3bad2d2c docs: SilverSight directory structure specification allaun 2026-06-22 22:14:03 -05:00
• 5e0f8b72f1 docs: SilverSight directory structure specification allaun 2026-06-22 22:14:03 -05:00
• b973023fb5 docs: update SilverSight AGENTS.md with GitHub repo reference allaun 2026-06-22 21:53:28 -05:00
• 22782776a9 docs: update SilverSight AGENTS.md with GitHub repo reference allaun 2026-06-22 21:53:28 -05:00
• a799375b21 docs: redirect all new work to SilverSight repository allaun 2026-06-22 21:52:36 -05:00
• 650e1bd8c4 docs: redirect all new work to SilverSight repository allaun 2026-06-22 21:52:36 -05:00
• 56b8471cb0 chore: update sorry docs with computational verification notes allaun 2026-06-22 21:41:34 -05:00
• 3e7579ab63 chore: update sorry docs with computational verification notes allaun 2026-06-22 21:41:34 -05:00
• 569fb5567b feat(infra): lbi wrapper — lake build + ENE ingest in one call allaun 2026-06-22 21:22:14 -05:00
• 13ab95e18a feat(infra): lbi wrapper — lake build + ENE ingest in one call allaun 2026-06-22 21:22:14 -05:00
• 18704fe5d8 docs(agent): break-glass requires user has no solution + all free models expended allaun 2026-06-22 20:25:18 -05:00
• 19eaeada9d docs(agent): break-glass requires user has no solution + all free models expended allaun 2026-06-22 20:25:18 -05:00
• 9deff93257 docs(agent): break-glass is for UNSOLVABLE problems only allaun 2026-06-22 20:22:37 -05:00
• 5ce6cf62cc docs(agent): break-glass is for UNSOLVABLE problems only allaun 2026-06-22 20:22:37 -05:00
• 12e30a2a6f chore: update sorry line number in AGENTS.md allaun 2026-06-22 19:53:00 -05:00
• 5aed689578 chore: update sorry line number in AGENTS.md allaun 2026-06-22 19:53:00 -05:00
• 23401f676f feat(agent): model theorem matrix with degenerate sector analysis allaun 2026-06-22 16:16:13 -05:00
• cd9817b9ec feat(agent): model theorem matrix with degenerate sector analysis allaun 2026-06-22 16:16:13 -05:00
• d5ddef4f70 feat(agent): dual quaternion model selector with mass semantic numbers allaun 2026-06-22 16:12:58 -05:00
• 364d249688 feat(agent): dual quaternion model selector with mass semantic numbers allaun 2026-06-22 16:12:58 -05:00
• dad49dabd9 docs(agent): break-glass test list for 4D × 2 fusion validation allaun 2026-06-22 16:09:09 -05:00
• 59db58d954 docs(agent): break-glass test list for 4D × 2 fusion validation allaun 2026-06-22 16:09:09 -05:00
• 669d23a07e feat(agent): break-glass as fusion of fusions (16D model) allaun 2026-06-22 15:51:07 -05:00
• 77b3de121a feat(agent): break-glass as fusion of fusions (16D model) allaun 2026-06-22 15:51:07 -05:00
• 9d174457c6 refactor(agent): break-glass is just a model selection card allaun 2026-06-22 15:49:49 -05:00
• ec5ade77b5 refactor(agent): break-glass is just a model selection card allaun 2026-06-22 15:49:49 -05:00
• 1475184d55 refactor(agent): simplify break-glass to model selection guide allaun 2026-06-22 15:48:40 -05:00
• 9c5e5030a5 refactor(agent): simplify break-glass to model selection guide allaun 2026-06-22 15:48:40 -05:00
• 996ef2fe40 feat(agent): 8-model Fusion panels with Cohere + GLM + hard_wall type allaun 2026-06-22 15:45:21 -05:00
• e250787e8b feat(agent): 8-model Fusion panels with Cohere + GLM + hard_wall type allaun 2026-06-22 15:45:21 -05:00
• e6284c09d2 docs(agent): break-glass problem statement — transcendental work with division-impaired brains allaun 2026-06-22 15:44:26 -05:00
• 7f09d0c1a3 docs(agent): break-glass problem statement — transcendental work with division-impaired brains allaun 2026-06-22 15:44:26 -05:00
• 0a79e70ff3 feat(agent): break-glass MCP agent for novel problem attacks allaun 2026-06-22 15:33:16 -05:00
• 2cbba82406 feat(agent): break-glass MCP agent for novel problem attacks allaun 2026-06-22 15:33:16 -05:00
• 4ca1289347 refactor(silversight): move to correct location + set no-write on Research Stack allaun 2026-06-22 15:05:14 -05:00
• b6ab3e5f22 refactor(silversight): move to correct location + set no-write on Research Stack allaun 2026-06-22 15:05:14 -05:00
• 2b7b120193 docs(lean): standalone proof guide for cleanMerge_preservesGap allaun 2026-06-22 14:52:15 -05:00
• 0d387902bb docs(lean): standalone proof guide for cleanMerge_preservesGap allaun 2026-06-22 14:52:15 -05:00
• b733b20e99 fix(lean): close canonicalize_ne_zero and canonicalize_pattern sorries allaun 2026-06-22 14:34:37 -05:00
• 56679941ed fix(lean): close canonicalize_ne_zero and canonicalize_pattern sorries allaun 2026-06-22 14:34:37 -05:00
• aa0870d72b fix(lean): attempt canonicalize+native_decide for gap_pat_bridge allaun 2026-06-22 14:12:02 -05:00
• 70bdfb5c2a fix(lean): attempt canonicalize+native_decide for gap_pat_bridge allaun 2026-06-22 14:12:02 -05:00
• 200297a83b feat(lean): add gapQ16_canonical verified by native_decide allaun 2026-06-22 14:00:30 -05:00
• 8e29ea6592 feat(lean): add gapQ16_canonical verified by native_decide allaun 2026-06-22 14:00:30 -05:00
• 2fd4885033 fix(lean): clean up cleanMerge_preservesGap proof structure allaun 2026-06-22 13:57:06 -05:00
• 67c9e72d00 fix(lean): clean up cleanMerge_preservesGap proof structure allaun 2026-06-22 13:57:06 -05:00
• c0e304c8ce feat(lean): complete cleanMerge_preservesGap proof architecture allaun 2026-06-22 13:52:41 -05:00
• 158f10aa04 feat(lean): complete cleanMerge_preservesGap proof architecture allaun 2026-06-22 13:52:41 -05:00
• bd450a9b7e docs: add Clebsch diagonal cubic claim + update GraphRank proof status allaun 2026-06-22 13:50:59 -05:00
• 5da90cd1d1 docs: add Clebsch diagonal cubic claim + update GraphRank proof status allaun 2026-06-22 13:50:59 -05:00
• a201c54f68 feat(lean): add byte-level gap kernel for cleanMerge_preservesGap allaun 2026-06-22 13:48:39 -05:00
• ac700c6460 feat(lean): add byte-level gap kernel for cleanMerge_preservesGap allaun 2026-06-22 13:48:39 -05:00
• c121291c57 fix(lean): add crossInputGap + strengthen cleanMerge_preservesGap allaun 2026-06-22 13:35:26 -05:00
• f6cf32e2a7 fix(lean): add crossInputGap + strengthen cleanMerge_preservesGap allaun 2026-06-22 13:35:26 -05:00
• b54a1f1ed6 fix(lean): analyze cleanMerge_preservesGap — theorem false as stated allaun 2026-06-22 13:23:45 -05:00
• e3a1d50ba9 fix(lean): analyze cleanMerge_preservesGap — theorem false as stated allaun 2026-06-22 13:23:45 -05:00
• b5babeba06 fix(lean): improve cleanMerge_preservesGap proof sketch allaun 2026-06-22 13:06:27 -05:00
• 32d61c6bfa fix(lean): improve cleanMerge_preservesGap proof sketch allaun 2026-06-22 13:06:27 -05:00
• 106ef0f271 feat(silversight): Phase 1 core + claim promotions + theorem triage allaun 2026-06-22 13:00:29 -05:00
• 73db623848 feat(silversight): Phase 1 core + claim promotions + theorem triage allaun 2026-06-22 13:00:29 -05:00
• 72287595f7 feat(infra): populate all remaining ENE tables from extraction data allaun 2026-06-22 12:39:57 -05:00
• b072c99bf6 feat(infra): populate all remaining ENE tables from extraction data allaun 2026-06-22 12:39:57 -05:00
• 998bccf9c7 feat(infra): populate prover_state and prover_instances from lean_concepts allaun 2026-06-22 12:32:20 -05:00
• cfdc934757 feat(infra): populate prover_state and prover_instances from lean_concepts allaun 2026-06-22 12:32:20 -05:00
• 3edc70fe51
  chore(deps): bump pollster in /5-Applications/parquet_compressor dependabot[bot] 2026-06-22 16:36:46 +00:00
• b10296b45a
  chore(deps): bump arrow in /5-Applications/parquet_compressor dependabot[bot] 2026-06-22 16:36:38 +00:00
• 67c4deeb66
  chore(deps): bump the parquet-cargo-minor-patch group dependabot[bot] 2026-06-22 16:36:27 +00:00
• 97260de55e
  chore(deps): bump the notion-tauri-cargo-minor-patch group dependabot[bot] 2026-06-22 16:18:02 +00:00
• 467f7cd6d1
  chore(deps): bump the linear-tauri-cargo-minor-patch group dependabot[bot] 2026-06-22 16:09:05 +00:00
• 5d896d202b
  chore(deps): bump rustls dependabot[bot] 2026-06-22 15:49:39 +00:00
• a0572622ad
  chore(deps): bump the claw-cargo-minor-patch group dependabot[bot] 2026-06-22 15:36:07 +00:00
• cac30926f9
  chore(deps): bump the root-npm-minor-patch group with 2 updates dependabot[bot] 2026-06-22 14:46:25 +00:00
• 67e9a9bd0c
  chore(deps): bump cryptography in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-06-22 14:18:50 +00:00
• 37dbd1bcf5
  chore(deps): bump certifi in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-06-22 14:18:42 +00:00
• 694f8fe10e
  chore(deps): bump the python-minor-patch group dependabot[bot] 2026-06-22 14:18:38 +00:00
• f9e952be73
  chore(deps): bump actions/checkout from 4 to 7 dependabot[bot] 2026-06-22 14:08:41 +00:00
• b453be6d09 chore: finalize cleanup (no changes) allaun 2026-06-22 05:09:51 -05:00
• 1126b22d60 chore: finalize cleanup (no changes) allaun 2026-06-22 05:09:51 -05:00
• 772a2acc4d fix(scripts): pipe SQL via stdin for neon-64gb psql allaun 2026-06-22 05:08:05 -05:00
• 19904920ca fix(scripts): pipe SQL via stdin for neon-64gb psql allaun 2026-06-22 05:08:05 -05:00
• aefd06dc84 chore(cleanup): remove shared-data archive lean_binned from repo allaun 2026-06-22 05:01:33 -05:00