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

• 5cd6ac904e Add gamma radix metaprobe concept Allaun Silverfox 2026-05-19 13:57:51 -05:00
• 69f40068be Add gamma radix metaprobe concept Allaun Silverfox 2026-05-19 13:57:51 -05:00
• 86f5782c73 Add gamma radix metaprobe concept Allaun Silverfox 2026-05-19 13:57:51 -05:00
• 04452eeaca Lean: close trivial-True sorrys; add 7 missing Q16_16 lemmas Brandon Schneider 2026-05-19 18:02:42 +00:00
• fb6f5e8c65 Lean: close trivial-True sorrys; add 7 missing Q16_16 lemmas Brandon Schneider 2026-05-19 18:02:42 +00:00
• d22c6662d7 Lean: close trivial-True sorrys; add 7 missing Q16_16 lemmas Brandon Schneider 2026-05-19 18:02:42 +00:00
• 7924f8bf31 Lean: close trivial-True sorrys; add 7 missing Q16_16 lemmas Brandon Schneider 2026-05-19 18:02:42 +00:00
• 4b828e369c ROADMAP.md: correct 9 phantom/stale claims flagged by review agents Brandon Schneider 2026-05-19 17:04:45 +00:00
• 3b3d7e6833 ROADMAP.md: correct 9 phantom/stale claims flagged by review agents Brandon Schneider 2026-05-19 17:04:45 +00:00
• a388db9632 ROADMAP.md: correct 9 phantom/stale claims flagged by review agents Brandon Schneider 2026-05-19 17:04:45 +00:00
• 3c14715f37 ROADMAP.md: correct 9 phantom/stale claims flagged by review agents Brandon Schneider 2026-05-19 17:04:45 +00:00
• b58c1201ac Remove legacy Python prototypes superseded by Lean formalization Brandon Schneider 2026-05-19 15:34:17 +00:00
• 6544f0a150 Remove legacy Python prototypes superseded by Lean formalization Brandon Schneider 2026-05-19 15:34:17 +00:00
• 3e83cf0ab9 Remove legacy Python prototypes superseded by Lean formalization Brandon Schneider 2026-05-19 15:34:17 +00:00
• a515f2a039 Remove legacy Python prototypes superseded by Lean formalization Brandon Schneider 2026-05-19 15:34:17 +00:00
• 1d26f1332f Add turbulence model atlas gate documentation Allaun Silverfox 2026-05-19 10:24:36 -05:00
• 7414139aae Add turbulence model atlas gate documentation Allaun Silverfox 2026-05-19 10:24:36 -05:00
• 4f274645af Add turbulence model atlas gate documentation Allaun Silverfox 2026-05-19 10:24:36 -05:00
• 779ea88c7d Add turbulence model atlas gate documentation Allaun Silverfox 2026-05-19 10:24:36 -05:00
• 51a1898e11 ene-session-sync: complete Python→Rust port; fix all 6 pre-existing test failures Brandon Schneider 2026-05-19 14:44:19 +00:00
• c9ccc497f8 ene-session-sync: complete Python→Rust port; fix all 6 pre-existing test failures Brandon Schneider 2026-05-19 14:44:19 +00:00
• edc0132086 ene-session-sync: complete Python→Rust port; fix all 6 pre-existing test failures Brandon Schneider 2026-05-19 14:44:19 +00:00
• 3d0381987d ene-session-sync: complete Python→Rust port; fix all 6 pre-existing test failures Brandon Schneider 2026-05-19 14:44:19 +00:00
• 7c02104e43 Setup Obsidian Knowledge Base for Research Stack Brandon Schneider 2026-05-19 14:40:41 +00:00
• 54004abe71 Setup Obsidian Knowledge Base for Research Stack Brandon Schneider 2026-05-19 14:40:41 +00:00
• 68b8ae9f35 Setup Obsidian Knowledge Base for Research Stack Brandon Schneider 2026-05-19 14:40:41 +00:00
• 102bb2438d Setup Obsidian Knowledge Base for Research Stack Brandon Schneider 2026-05-19 14:40:41 +00:00
• 0b936c8e39 Semantics: modularize quaternion, resolve circular dependencies, and eliminate float operations Brandon Schneider 2026-05-19 14:29:41 +00:00
• e8c5c230e6 Semantics: modularize quaternion, resolve circular dependencies, and eliminate float operations Brandon Schneider 2026-05-19 14:29:41 +00:00
• a104b9e95d Semantics: modularize quaternion, resolve circular dependencies, and eliminate float operations Brandon Schneider 2026-05-19 14:29:41 +00:00
• e1e12fa035 Semantics: modularize quaternion, resolve circular dependencies, and eliminate float operations Brandon Schneider 2026-05-19 14:29:41 +00:00
• ec4166edb2 flake.nix: add rs-surface binary + OCI image outputs; fix Dockerfile base Brandon Schneider 2026-05-19 14:14:17 +00:00
• dbc7980e97 flake.nix: add rs-surface binary + OCI image outputs; fix Dockerfile base Brandon Schneider 2026-05-19 14:14:17 +00:00
• fc03f7d5e5 flake.nix: add rs-surface binary + OCI image outputs; fix Dockerfile base Brandon Schneider 2026-05-19 14:14:17 +00:00
• efbc20793d flake.nix: add rs-surface binary + OCI image outputs; fix Dockerfile base Brandon Schneider 2026-05-19 14:14:17 +00:00
• a9f3d3d487 ene-session-sync: add meta_autotype.rs; embedded_surface: Rust rs-surface daemon Brandon Schneider 2026-05-19 14:11:47 +00:00
• 896f364d0d ene-session-sync: add meta_autotype.rs; embedded_surface: Rust rs-surface daemon Brandon Schneider 2026-05-19 14:11:47 +00:00
• 2f34811bc5 ene-session-sync: add meta_autotype.rs; embedded_surface: Rust rs-surface daemon Brandon Schneider 2026-05-19 14:11:47 +00:00
• e2d90d750e ene-session-sync: add meta_autotype.rs; embedded_surface: Rust rs-surface daemon Brandon Schneider 2026-05-19 14:11:47 +00:00
• 2d2b71eb93 ene-session-sync: fix compile errors, add Cargo.lock, delete lean_unified_shim Brandon Schneider 2026-05-19 13:58:44 +00:00
• d511cbe6c0 ene-session-sync: fix compile errors, add Cargo.lock, delete lean_unified_shim Brandon Schneider 2026-05-19 13:58:44 +00:00
• b5a69683d9 ene-session-sync: fix compile errors, add Cargo.lock, delete lean_unified_shim Brandon Schneider 2026-05-19 13:58:44 +00:00
• b658a62a9d ene-session-sync: fix compile errors, add Cargo.lock, delete lean_unified_shim Brandon Schneider 2026-05-19 13:58:44 +00:00
• a019f961b1 Implement Burgers 4-Theorem Attack Plan: Complete all four core theorems Brandon Schneider 2026-05-19 13:55:06 +00:00
• e782d9f0fe Implement Burgers 4-Theorem Attack Plan: Complete all four core theorems Brandon Schneider 2026-05-19 13:55:06 +00:00
• dbaad33161 Implement Burgers 4-Theorem Attack Plan: Complete all four core theorems Brandon Schneider 2026-05-19 13:55:06 +00:00
• bc44093d9d Implement Burgers 4-Theorem Attack Plan: Complete all four core theorems Brandon Schneider 2026-05-19 13:55:06 +00:00
• 03100f0a1c Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 13:53:19 +00:00
• 2d30156e7a Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 13:53:19 +00:00
• 27c982dedc Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 13:53:19 +00:00
• 23f0169134 Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 13:53:19 +00:00
• 0e32d2e049 devcontainer: replace Alpine base with nixos/nix; add sagemath Brandon Schneider 2026-05-19 09:40:14 +00:00
• 74b4e09b3c devcontainer: replace Alpine base with nixos/nix; add sagemath Brandon Schneider 2026-05-19 09:40:14 +00:00
• 906af4fedd devcontainer: replace Alpine base with nixos/nix; add sagemath Brandon Schneider 2026-05-19 09:40:14 +00:00
• 4c68fc2cef devcontainer: replace Alpine base with nixos/nix; add sagemath Brandon Schneider 2026-05-19 09:40:14 +00:00
• b52f79d1b4 devcontainer: add LaTeX, typst, math CLI tools, and Python math packages Brandon Schneider 2026-05-19 09:35:35 +00:00
• f142d3faf2 devcontainer: add LaTeX, typst, math CLI tools, and Python math packages Brandon Schneider 2026-05-19 09:35:35 +00:00
• 95c676d8ed devcontainer: add LaTeX, typst, math CLI tools, and Python math packages Brandon Schneider 2026-05-19 09:35:35 +00:00
• 831abebfeb devcontainer: add LaTeX, typst, math CLI tools, and Python math packages Brandon Schneider 2026-05-19 09:35:35 +00:00
• e2bbb611ea devcontainer: bake Tailscale static binary into Alpine image Brandon Schneider 2026-05-19 09:18:40 +00:00
• 39ccddac49 devcontainer: bake Tailscale static binary into Alpine image Brandon Schneider 2026-05-19 09:18:40 +00:00
• 5d2e11c160 devcontainer: bake Tailscale static binary into Alpine image Brandon Schneider 2026-05-19 09:18:40 +00:00
• 3ed1d6f26e devcontainer: bake Tailscale static binary into Alpine image Brandon Schneider 2026-05-19 09:18:40 +00:00
• 2cc9fc8dc7 Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 09:16:19 +00:00
• 722da7018a Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 09:16:19 +00:00
• 2cb9b3f2d0 Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 09:16:19 +00:00
• 57574caacb Rust ene-session-sync: complete rewrite with Python adaptation layer Brandon Schneider 2026-05-19 09:16:19 +00:00
• 4d715908fd docs: full documentation + roadmap refresh (2026-05-19) Brandon Schneider 2026-05-19 09:12:16 +00:00
• a078e265ef docs: full documentation + roadmap refresh (2026-05-19) Brandon Schneider 2026-05-19 09:12:16 +00:00
• e7ce655ba4 docs: full documentation + roadmap refresh (2026-05-19) Brandon Schneider 2026-05-19 09:12:16 +00:00
• 0eded8da25 docs: full documentation + roadmap refresh (2026-05-19) Brandon Schneider 2026-05-19 09:12:16 +00:00
• 8e5efbe11f Fix Dependabot vulns: update sqlx 0.7->0.8.6, add ene-rds Cargo.lock Brandon Schneider 2026-05-19 08:09:34 +00:00
• 65853c967a Fix Dependabot vulns: update sqlx 0.7->0.8.6, add ene-rds Cargo.lock Brandon Schneider 2026-05-19 08:09:34 +00:00
• 72d5a56ea8 Fix Dependabot vulns: update sqlx 0.7->0.8.6, add ene-rds Cargo.lock Brandon Schneider 2026-05-19 08:09:34 +00:00
• 8b9bd7a8cb Fix Dependabot vulns: update sqlx 0.7->0.8.6, add ene-rds Cargo.lock Brandon Schneider 2026-05-19 08:09:34 +00:00
• 95d7ac0694 Add OpenGL/X11, pkg-config, and openssl to devcontainer flake Brandon Schneider 2026-05-19 08:05:40 +00:00
• bd2786818d Add OpenGL/X11, pkg-config, and openssl to devcontainer flake Brandon Schneider 2026-05-19 08:05:40 +00:00
• 9aa3d9eb52 Add OpenGL/X11, pkg-config, and openssl to devcontainer flake Brandon Schneider 2026-05-19 08:05:40 +00:00
• b721cd220d Add OpenGL/X11, pkg-config, and openssl to devcontainer flake Brandon Schneider 2026-05-19 08:05:40 +00:00
• 9d450756c1 Expand ene-rds Rust workspace and refine devcontainer Brandon Schneider 2026-05-19 07:52:39 +00:00
• 09cfe00eec Expand ene-rds Rust workspace and refine devcontainer Brandon Schneider 2026-05-19 07:52:39 +00:00
• 69d007e46e Expand ene-rds Rust workspace and refine devcontainer Brandon Schneider 2026-05-19 07:52:39 +00:00
• f27ccdea8b Expand ene-rds Rust workspace and refine devcontainer Brandon Schneider 2026-05-19 07:52:39 +00:00
• 9220ffac9a
  Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory dependabot[bot] 2026-05-19 06:56:00 +00:00
• fd863af6fd Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems Brandon Schneider 2026-05-19 01:52:14 -05:00
• ac4e23dc9b Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems Brandon Schneider 2026-05-19 01:52:14 -05:00
• 6f2019459a Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems Brandon Schneider 2026-05-19 01:52:14 -05:00
• 6bcf0f4bf3 Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems Brandon Schneider 2026-05-19 01:52:14 -05:00
• 7d574d7d3e Add Q16_16.add_pos_of_pos lemma (quarantined with TODO). Brandon Schneider 2026-05-18 23:45:09 -05:00
• 3333015e31 Add Q16_16.add_pos_of_pos lemma (quarantined with TODO). Brandon Schneider 2026-05-18 23:45:09 -05:00
• 0e530fbcff Add Q16_16.add_pos_of_pos lemma (quarantined with TODO). Brandon Schneider 2026-05-18 23:45:09 -05:00
• aeed73f733 Add Q16_16.add_pos_of_pos lemma (quarantined with TODO). Brandon Schneider 2026-05-18 23:45:09 -05:00
• 8d9ced3d29 Agent sorry-sprint: close 9 sorrys, fix SSMS sign bug, correct false theorem. Brandon Schneider 2026-05-18 23:34:57 -05:00
• 2aac65a9b7 Agent sorry-sprint: close 9 sorrys, fix SSMS sign bug, correct false theorem. Brandon Schneider 2026-05-18 23:34:57 -05:00
• ee707f77c0 Agent sorry-sprint: close 9 sorrys, fix SSMS sign bug, correct false theorem. Brandon Schneider 2026-05-18 23:34:57 -05:00
• 507388f1a9 Agent sorry-sprint: close 9 sorrys, fix SSMS sign bug, correct false theorem. Brandon Schneider 2026-05-18 23:34:57 -05:00
• de06a85a83 Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup. Brandon Schneider 2026-05-18 23:01:44 -05:00
• cb11e4ac27 Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup. Brandon Schneider 2026-05-18 23:01:44 -05:00
• f6250ee5df Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup. Brandon Schneider 2026-05-18 23:01:44 -05:00
• 76b0db1b46 Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup. Brandon Schneider 2026-05-18 23:01:44 -05:00