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

• cfce237ed2 feat(docs): architecture and speculative materials updates allaun 2026-06-21 01:02:13 -05:00
• 7b0c0a363b feat(infra): citation crawler and spectral cross-validation research shims allaun 2026-06-21 01:02:07 -05:00
• 563973d7ed feat(infra): citation crawler and spectral cross-validation research shims allaun 2026-06-21 01:02:07 -05:00
• 7d3e90331a feat(infra): Finsler QAOA adapter fixes and benchmark shim allaun 2026-06-21 01:02:01 -05:00
• 298ae13c6a feat(infra): Finsler QAOA adapter fixes and benchmark shim allaun 2026-06-21 01:02:01 -05:00
• 902191cfbb feat(lean): NBody fixes and new exploration modules allaun 2026-06-21 01:01:55 -05:00
• 254bbfcb9a feat(lean): NBody fixes and new exploration modules allaun 2026-06-21 01:01:55 -05:00
• 9a6a4ebf20 feat(lean): ChentsovBridge connecting SIM metric to Fisher-Rao uniqueness allaun 2026-06-21 01:00:15 -05:00
• db133b9774 feat(lean): ChentsovBridge connecting SIM metric to Fisher-Rao uniqueness allaun 2026-06-21 01:00:15 -05:00
• 346f8d5017 library: Chentsov proof + Hachimoji codec — deterministic, no ML Allaun Silverfox 2026-06-21 01:01:25 -05:00
• ac32fc7232 library: Chentsov proof + Hachimoji codec — deterministic, no ML Allaun Silverfox 2026-06-21 01:01:25 -05:00
• 5a4a46d486 feat(infra): Finsler-Randers QAP benchmark at n=8/12/24/48 allaun 2026-06-21 00:32:03 -05:00
• c292234129 feat(infra): Finsler-Randers QAP benchmark at n=8/12/24/48 allaun 2026-06-21 00:32:03 -05:00
• 7b498b95e4 feat(infra): capability probe — 9/9 backends functional, v1 receipt allaun 2026-06-20 23:51:30 -05:00
• d354d3685f feat(infra): capability probe — 9/9 backends functional, v1 receipt allaun 2026-06-20 23:51:30 -05:00
• f64e1b0761 chore(infra): add root requirements.txt and pyproject.toml with dependency groups allaun 2026-06-20 23:36:30 -05:00
• ee66ea1e32 chore(infra): add root requirements.txt and pyproject.toml with dependency groups allaun 2026-06-20 23:36:30 -05:00
• ec3c4cd440 chore(infra): add perceval-quandela to shim requirements allaun 2026-06-20 23:34:05 -05:00
• d86b67feab chore(infra): add perceval-quandela to shim requirements allaun 2026-06-20 23:34:05 -05:00
• c83e80df25 chore(infra): add missing quantum/GPU/db dependencies to shim requirements.txt allaun 2026-06-20 23:32:56 -05:00
• ab11f13380 chore(infra): add missing quantum/GPU/db dependencies to shim requirements.txt allaun 2026-06-20 23:32:56 -05:00
• 2f011c08fb feat(lean): Chentsov->Finsler->QUBO->QAOA routing bridge allaun 2026-06-20 23:29:42 -05:00
• 87e361b6d8 feat(lean): Chentsov->Finsler->QUBO->QAOA routing bridge allaun 2026-06-20 23:29:42 -05:00
• 412c20df3f e2e: close E=mc2 trace — chaos game → Finsler → QUBO → QAOA Allaun Silverfox 2026-06-20 23:43:57 -05:00
• fa6c1ecfdf e2e: close E=mc2 trace — chaos game → Finsler → QUBO → QAOA Allaun Silverfox 2026-06-20 23:43:57 -05:00
• c714a10374 agent-swarm: optimize core math, close E=mc2 trace Allaun Silverfox 2026-06-20 22:43:52 -05:00
• edd86c59be agent-swarm: optimize core math, close E=mc2 trace Allaun Silverfox 2026-06-20 22:43:52 -05:00
• 14cde6d09c docs: refresh READMEs, AGENTS.md, and project maps for recent Lean surface allaun 2026-06-20 20:34:09 -05:00
• 74ddcc7048 docs: refresh READMEs, AGENTS.md, and project maps for recent Lean surface allaun 2026-06-20 20:34:09 -05:00
• 62f8204891 feat(lean): InteractionGraphSidon — RRC weak axes as atproto-style projections allaun 2026-06-20 20:15:39 -05:00
• e61bb627c3 feat(lean): InteractionGraphSidon — RRC weak axes as atproto-style projections allaun 2026-06-20 20:15:39 -05:00
• 7957fedcf7 feat(lean): add SieveLemmas.lean with depth_token_coprime_intersect allaun 2026-06-20 20:05:05 -05:00
• c23280c83f feat(lean): add SieveLemmas.lean with depth_token_coprime_intersect allaun 2026-06-20 20:05:05 -05:00
• e370f83eb8 feat(infra): parallel Gremlin edge loader; graph load complete allaun 2026-06-20 19:57:29 -05:00
• 8245ee633f feat(infra): parallel Gremlin edge loader; graph load complete allaun 2026-06-20 19:57:29 -05:00
• d63f33fc93 docs(research): path forward for RRC unsolved-problems survey allaun 2026-06-20 19:27:20 -05:00
• e3521925a4 docs(research): path forward for RRC unsolved-problems survey allaun 2026-06-20 19:27:20 -05:00
• 514bf8da72 docs(research): RRC survey of 67 unsolved hard problems and alignment clusters allaun 2026-06-20 19:12:13 -05:00
• 68db1911a4 docs(research): RRC survey of 67 unsolved hard problems and alignment clusters allaun 2026-06-20 19:12:13 -05:00
• e6e241746c fix(deps): audit-driven updates across npm, pnpm, cargo, pip allaun 2026-06-20 19:00:38 -05:00
• 62ca4e3576 fix(deps): audit-driven updates across npm, pnpm, cargo, pip allaun 2026-06-20 19:00:38 -05:00
• f3a3cc0882 fix(deps): npm audit security updates allaun 2026-06-20 18:44:44 -05:00
• 4445eb5f93 fix(deps): npm audit security updates allaun 2026-06-20 18:44:44 -05:00
• 3455c37f48 Merge branch 'claude/beautiful-mayer-2zczgq' of https://github.com/allaunthefox/Research-Stack allaun 2026-06-20 18:37:09 -05:00
• 3ccaea7805 Merge branch 'claude/beautiful-mayer-2zczgq' of https://github.com/allaunthefox/Research-Stack allaun 2026-06-20 18:37:09 -05:00
• 7fd228a130 docs(agents): update qfox-1 local inference to Ollama Hermes 3 allaun 2026-06-20 17:03:22 -05:00
• d2e8db21c3 docs(agents): update qfox-1 local inference to Ollama Hermes 3 allaun 2026-06-20 17:03:22 -05:00
• 32e696217c docs(agents): make Kimi Headroom proxy opt-in allaun 2026-06-20 16:29:18 -05:00
• 119bdb22c5 docs(agents): make Kimi Headroom proxy opt-in allaun 2026-06-20 16:29:18 -05:00
• dc8994ee49 docs(agents): document Headroom proxy for Kimi Code allaun 2026-06-20 16:27:19 -05:00
• 27fec819c9 docs(agents): document Headroom proxy for Kimi Code allaun 2026-06-20 16:27:19 -05:00
• 9fab42d31f fix(opencode): move MCP config from global to project config allaun 2026-06-20 16:21:53 -05:00
• a6cb99b205 fix(opencode): move MCP config from global to project config allaun 2026-06-20 16:21:53 -05:00
• d4dc6700b2 flake: remove rs-surface and rs-surface-image packages Claude 2026-06-20 06:50:36 +00:00
• c7e2e20f5f
  flake: remove rs-surface and rs-surface-image packages Claude 2026-06-20 06:50:36 +00:00
• 1946c1d1e7 refactor(lean): ProductSidon — snake_case names, remove redundant heq', congrArg Claude 2026-06-20 06:46:03 +00:00
• 6acd763806
  refactor(lean): ProductSidon — snake_case names, remove redundant heq', congrArg Claude 2026-06-20 06:46:03 +00:00
• 817fbaca6c feat(lean): ProductSidon — injective product-space encoding from Sidon partition Claude 2026-06-20 06:41:55 +00:00
• 2942a15e21
  feat(lean): ProductSidon — injective product-space encoding from Sidon partition Claude 2026-06-20 06:41:55 +00:00
• b038778361 feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup allaun 2026-06-19 23:06:16 -05:00
• 0b472972c2 feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup allaun 2026-06-19 23:06:16 -05:00
• e285e6dfc1 refactor(mcp): remove pist-trace-classify from agent/IDE configs allaun 2026-06-19 22:45:56 -05:00
• 9679036af4 refactor(mcp): remove pist-trace-classify from agent/IDE configs allaun 2026-06-19 22:45:56 -05:00
• 5f528502b0 docs(infra): remove AWS-specific credential and RDS backend details allaun 2026-06-19 22:44:38 -05:00
• 80ebcca11c docs(infra): remove AWS-specific credential and RDS backend details allaun 2026-06-19 22:44:38 -05:00
• 318db01e31 refactor(infra): decommission AWS deployment artifacts allaun 2026-06-19 22:42:34 -05:00
• ff0e377361 refactor(infra): decommission AWS deployment artifacts allaun 2026-06-19 22:42:34 -05:00
• ce7bb9c3b6 feat(lean): implement and compile Putinar's Positivstellensatz unified math module allaun 2026-06-19 18:20:38 -05:00
• 63bc73618d feat(lean): implement and compile Putinar's Positivstellensatz unified math module allaun 2026-06-19 18:20:38 -05:00
• 21032cacd7 fix(lean): resolve proofs in TopologicalBraidAdapter allaun 2026-06-18 23:57:29 -05:00
• aea0e97df8 fix(lean): resolve proofs in TopologicalBraidAdapter allaun 2026-06-18 23:57:29 -05:00
• 4663553555 feat(lean): implement topological braid adapter module allaun 2026-06-18 23:55:29 -05:00
• b5496d24fb feat(lean): implement topological braid adapter module allaun 2026-06-18 23:55:29 -05:00
• fa7511e8a8 docs(infra): append bosonic tensor network scaling knowledge to context stream allaun 2026-06-18 23:49:31 -05:00
• e1e6e71674 docs(infra): append bosonic tensor network scaling knowledge to context stream allaun 2026-06-18 23:49:31 -05:00
• 50322c88f9 fix(infra): handle database deduplication unique constraints in db buffer allaun 2026-06-18 23:35:03 -05:00
• d532756c06 fix(infra): handle database deduplication unique constraints in db buffer allaun 2026-06-18 23:35:03 -05:00
• e6bbb612d0 fix(infra): point default RDS host to neon server Tailscale IP allaun 2026-06-18 23:28:46 -05:00
• c4c4e16fbf fix(infra): point default RDS host to neon server Tailscale IP allaun 2026-06-18 23:28:46 -05:00
• ab6fe3e69b fix(infra): purge all default AWS RDS hosts and IAM credentials allaun 2026-06-18 23:26:56 -05:00
• 4e6bcf6f73 fix(infra): purge all default AWS RDS hosts and IAM credentials allaun 2026-06-18 23:26:56 -05:00
• f00ead35c2 feat(infra): add async database buffering program for RRC receipts allaun 2026-06-18 23:10:46 -05:00
• 1c135e4a39 feat(infra): add async database buffering program for RRC receipts allaun 2026-06-18 23:10:46 -05:00
• b6f088d9f1 docs(rrc): add topological braid adapter spec for fibonacci anyons allaun 2026-06-18 22:28:50 -05:00
• a97e39a239 docs(rrc): add topological braid adapter spec for fibonacci anyons allaun 2026-06-18 22:28:50 -05:00
• 558431fc45 feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults allaun 2026-06-18 22:16:52 -05:00
• 7d63e05516 feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults allaun 2026-06-18 22:16:52 -05:00
• c0ec099e6d feat(infra): Burgers chaos game — quantum walk over 22-representation graph allaun 2026-06-18 21:39:18 -05:00
• 9bd8357c09 feat(infra): Burgers chaos game — quantum walk over 22-representation graph allaun 2026-06-18 21:39:18 -05:00
• 684898e842 feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate allaun 2026-06-18 19:40:23 -05:00
• 8ba4f80cac feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate allaun 2026-06-18 19:40:23 -05:00
• 3a0fcc6a08 feat(lean): close Goormaghtigh conjecture conditionally via native_decide enumeration allaun 2026-06-18 19:01:43 -05:00
• ed214e5941 feat(lean): close Goormaghtigh conjecture conditionally via native_decide enumeration allaun 2026-06-18 19:01:43 -05:00
• c78fad5c52
  chore(deps): bump @ai-sdk/provider-utils from 3.0.25 to 3.0.27 dependabot[bot] 2026-06-18 22:15:27 +00:00
• 1036c8896f
  chore(deps-dev): bump the npm_and_yarn group across 2 directories with 1 update dependabot[bot] 2026-06-18 22:15:06 +00:00
• e645b2aa02
  chore(deps): bump hono from 4.12.21 to 4.12.26 dependabot[bot] 2026-06-18 22:14:50 +00:00
• 77488ac0ae feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure allaun 2026-06-18 16:53:23 -05:00
• c701dbdf11 feat(lean): close gaussian_line_integral_unit_dir + consolidate infrastructure allaun 2026-06-18 16:53:23 -05:00
• e19c2c9f28 fix(lean): complete N3L_Energy.lean build — fix rcases shadowing, fraction addition, linarith with ∀ quantifier allaun 2026-06-18 15:32:01 -05:00
• 1d6b0fe5e0 fix(lean): complete N3L_Energy.lean build — fix rcases shadowing, fraction addition, linarith with ∀ quantifier allaun 2026-06-18 15:32:01 -05:00