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

• 227300f5fd feat(pist): end-to-end live proof pipeline Brandon Schneider 2026-05-26 02:00:37 -05:00
• f989be6bf3 feat(pist): end-to-end live proof pipeline Brandon Schneider 2026-05-26 02:00:37 -05:00
• bfce0f70bf feat(pist): end-to-end live proof pipeline Brandon Schneider 2026-05-26 02:00:37 -05:00
• 7a7a08388d feat(pist): end-to-end live proof pipeline Brandon Schneider 2026-05-26 02:00:37 -05:00
• c32dadcaa2 feat(pist): receipt canonicalization v2 with structural math features Brandon Schneider 2026-05-26 01:55:09 -05:00
• 6c55cac0a9 feat(pist): receipt canonicalization v2 with structural math features Brandon Schneider 2026-05-26 01:55:09 -05:00
• 6ff00489d7 feat(pist): receipt canonicalization v2 with structural math features Brandon Schneider 2026-05-26 01:55:09 -05:00
• 2d6430ff7f feat(pist): receipt canonicalization v2 with structural math features Brandon Schneider 2026-05-26 01:55:09 -05:00
• 558a88c52f feat(pist): validation + calibration harness Brandon Schneider 2026-05-26 01:49:21 -05:00
• c7eed520f9 feat(pist): validation + calibration harness Brandon Schneider 2026-05-26 01:49:21 -05:00
• 620ea04d6c feat(pist): validation + calibration harness Brandon Schneider 2026-05-26 01:49:21 -05:00
• b72bf19db1 feat(pist): validation + calibration harness Brandon Schneider 2026-05-26 01:49:21 -05:00
• 0d5ad076cd feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation Brandon Schneider 2026-05-26 01:20:30 -05:00
• 96be7cdb97 feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation Brandon Schneider 2026-05-26 01:20:30 -05:00
• e0118b4314 feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation Brandon Schneider 2026-05-26 01:20:30 -05:00
• 939931c7d9 feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation Brandon Schneider 2026-05-26 01:20:30 -05:00
• 06fe257b1f Add proof worker pool routing Brandon Schneider 2026-05-25 22:27:18 -05:00
• f73d49b342 Add proof worker pool routing Brandon Schneider 2026-05-25 22:27:18 -05:00
• ee2a49342d Add proof worker pool routing Brandon Schneider 2026-05-25 22:27:18 -05:00
• 9066e6a1a8 Add proof worker pool routing Brandon Schneider 2026-05-25 22:27:18 -05:00
• b23b67c288 Wire ENE context into remote proof checks Brandon Schneider 2026-05-25 22:07:58 -05:00
• e18a284082 Wire ENE context into remote proof checks Brandon Schneider 2026-05-25 22:07:58 -05:00
• 12f6081f70 Wire ENE context into remote proof checks Brandon Schneider 2026-05-25 22:07:58 -05:00
• 5a79a49be6 Wire ENE context into remote proof checks Brandon Schneider 2026-05-25 22:07:58 -05:00
• 398631edce Stabilize ENE API and context shim Brandon Schneider 2026-05-25 21:06:46 -05:00
• b57e1c2740 Stabilize ENE API and context shim Brandon Schneider 2026-05-25 21:06:46 -05:00
• aa198c49d1 Stabilize ENE API and context shim Brandon Schneider 2026-05-25 21:06:46 -05:00
• b7deceb36c Stabilize ENE API and context shim Brandon Schneider 2026-05-25 21:06:46 -05:00
• 8329c8eeec Patch NoDupe qs vulnerability Brandon Schneider 2026-05-25 20:52:25 -05:00
• 8f3d83745b Patch NoDupe qs vulnerability Brandon Schneider 2026-05-25 20:52:25 -05:00
• c25d086052 Patch NoDupe qs vulnerability Brandon Schneider 2026-05-25 20:52:25 -05:00
• 4558f28c7d Patch NoDupe qs vulnerability Brandon Schneider 2026-05-25 20:52:25 -05:00
• 005c72f556 Stabilize remote proof endpoint and RDS shims Brandon Schneider 2026-05-25 20:48:25 -05:00
• 51408bb590 Stabilize remote proof endpoint and RDS shims Brandon Schneider 2026-05-25 20:48:25 -05:00
• f3721b3105 Stabilize remote proof endpoint and RDS shims Brandon Schneider 2026-05-25 20:48:25 -05:00
• b8eaa7453b Stabilize remote proof endpoint and RDS shims Brandon Schneider 2026-05-25 20:48:25 -05:00
• 14d976099e archive: remove experimental tools-scripts, scripts, and shim probes Brandon Schneider 2026-05-25 18:14:31 -05:00
• d4180194d7 archive: remove experimental tools-scripts, scripts, and shim probes Brandon Schneider 2026-05-25 18:14:31 -05:00
• 06f780560f archive: remove experimental tools-scripts, scripts, and shim probes Brandon Schneider 2026-05-25 18:14:31 -05:00
• dd43921522 archive: remove experimental tools-scripts, scripts, and shim probes Brandon Schneider 2026-05-25 18:14:31 -05:00
• c148d8de47
  chore(deps): bump serde_json dependabot[bot] 2026-05-25 22:42:41 +00:00
• c9234bf6f7
  chore(deps): bump the servo-fetch-cargo-minor-patch group dependabot[bot] 2026-05-25 21:57:24 +00:00
• 1e4a7fd6d5 archive: remove dated receipts, experimental probes, and uncompiled prototypes Brandon Schneider 2026-05-25 16:51:58 -05:00
• a0e5a94ac8 archive: remove dated receipts, experimental probes, and uncompiled prototypes Brandon Schneider 2026-05-25 16:51:58 -05:00
• 239f4f1793 archive: remove dated receipts, experimental probes, and uncompiled prototypes Brandon Schneider 2026-05-25 16:51:58 -05:00
• fa49eb649d archive: remove dated receipts, experimental probes, and uncompiled prototypes Brandon Schneider 2026-05-25 16:51:58 -05:00
• ab0cae12f0
  chore(deps): bump the claw-cargo-minor-patch group across 1 directory with 2 updates dependabot[bot] 2026-05-25 21:48:08 +00:00
• 073a70eb86 WIP: accumulated changes Brandon Schneider 2026-05-25 16:24:21 -05:00
• de631bf1b7 WIP: accumulated changes Brandon Schneider 2026-05-25 16:24:21 -05:00
• 9bcc1c3dc9 WIP: accumulated changes Brandon Schneider 2026-05-25 16:24:21 -05:00
• 6e5a0a6af4 WIP: accumulated changes Brandon Schneider 2026-05-25 16:24:21 -05:00
• 45e6ea94d9
  chore(deps): bump the root-npm-minor-patch group across 1 directory with 2 updates dependabot[bot] 2026-05-25 21:00:56 +00:00
• 7506244da7
  chore(deps): bump certifi in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-25 20:37:58 +00:00
• cfa60ce11c
  chore(deps): bump pycparser in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-25 20:37:55 +00:00
• 5bf52e6316
  chore(deps): bump the python-minor-patch group dependabot[bot] 2026-05-25 20:37:50 +00:00
• 391f6ba2a2 chore(lean): import TreeDIAT Kruskal scaffold Allaun Silverfox 2026-05-23 22:46:59 -05:00
• f000cbaee4 chore(lean): import TreeDIAT Kruskal scaffold Allaun Silverfox 2026-05-23 22:46:59 -05:00
• dcf158e23c chore(lean): import TreeDIAT Kruskal scaffold Allaun Silverfox 2026-05-23 22:46:59 -05:00
• c2da9ea13c chore(lean): import TreeDIAT Kruskal scaffold Allaun Silverfox 2026-05-23 22:46:59 -05:00
• a5906f4408 feat(lean): add TreeDIAT Kruskal proof scaffold Allaun Silverfox 2026-05-23 22:44:51 -05:00
• c5c09dc358 feat(lean): add TreeDIAT Kruskal proof scaffold Allaun Silverfox 2026-05-23 22:44:51 -05:00
• 6558fbe67b feat(lean): add TreeDIAT Kruskal proof scaffold Allaun Silverfox 2026-05-23 22:44:51 -05:00
• 7c33c17f14 feat(lean): add TreeDIAT Kruskal proof scaffold Allaun Silverfox 2026-05-23 22:44:51 -05:00
• 1f7e38dfbc Add Phys.org May 2026 source intake for bees, biocoatings, THz, and diamond membranes Allaun Silverfox 2026-05-23 19:27:37 -05:00
• 6c3986d4b6 Add Phys.org May 2026 source intake for bees, biocoatings, THz, and diamond membranes Allaun Silverfox 2026-05-23 19:27:37 -05:00
• 980e60527a Add Phys.org May 2026 source intake for bees, biocoatings, THz, and diamond membranes Allaun Silverfox 2026-05-23 19:27:37 -05:00
• 621a7e9766 Add Phys.org May 2026 source intake for bees, biocoatings, THz, and diamond membranes Allaun Silverfox 2026-05-23 19:27:37 -05:00
• 2667a3724c
  chore(deps): bump qs dependabot[bot] 2026-05-23 13:28:14 +00:00
• 99d3edfcb5 Add Talagrand convexity fold-in note Allaun Silverfox 2026-05-23 02:53:19 -04:00
• b1b41946cb Add Talagrand convexity fold-in note Allaun Silverfox 2026-05-23 02:53:19 -04:00
• 2db3b9637b Add Talagrand convexity fold-in note Allaun Silverfox 2026-05-23 02:53:19 -04:00
• 6dcaa50f25 Add Talagrand convexity fold-in note Allaun Silverfox 2026-05-23 02:53:19 -04:00
• eeb7d217d0 Add Auro Zera modular-cover audit note Allaun Silverfox 2026-05-23 02:47:25 -04:00
• 4d093eb7e3 Add Auro Zera modular-cover audit note Allaun Silverfox 2026-05-23 02:47:25 -04:00
• 385aabcd19 Add Auro Zera modular-cover audit note Allaun Silverfox 2026-05-23 02:47:25 -04:00
• 198803fbc8 Add Auro Zera modular-cover audit note Allaun Silverfox 2026-05-23 02:47:25 -04:00
• cde315681c Add multi import for ORC MARRVEL HoloTea materials chromatin Allaun Silverfox 2026-05-21 13:40:01 -05:00
• cd427ca2d1 Add Phys.org noisy decision strategic advantage wrapper Allaun Silverfox 2026-05-21 13:13:08 -05:00
• eeab20dbf9 Add noisy learning games import Allaun Silverfox 2026-05-21 13:11:38 -05:00
• 60ca03e73c Add Cross-link collective robotic matter import Allaun Silverfox 2026-05-21 13:09:11 -05:00
• 45175c34e5 Add allosteric protein switches logogram import Allaun Silverfox 2026-05-21 13:04:03 -05:00
• 18b4ec9694 Add Protenix-Mini logogram structure decoder import Allaun Silverfox 2026-05-21 12:58:11 -05:00
• 248b1c6538 Add helium dpa mathematical architecture extension Allaun Silverfox 2026-05-21 12:56:25 -05:00
• 60b55e64bf Add full Birmingham 2026 helium dpa extraction Allaun Silverfox 2026-05-21 12:52:37 -05:00
• 39738b4427 Add focused Phys.org helium and miniprotein logogram import Allaun Silverfox 2026-05-21 11:12:19 -05:00
• e8577f24f8 Add Phys.org 2026-05-21 papers and equation spine Allaun Silverfox 2026-05-21 11:08:17 -05:00
• 87376e692a Add unit distance full paper audit scaffold Allaun Silverfox 2026-05-21 11:04:25 -05:00
• 0c674f79c8 Add unit distance disproof import note Allaun Silverfox 2026-05-21 10:46:06 -05:00
• fa2ca7bacf Add BraidCoreAndMore extraction manifest Allaun Silverfox 2026-05-21 10:24:08 -05:00
• 98d1bc42e2 Add CPVD cofactor projection-volume primitive Allaun Silverfox 2026-05-21 10:13:51 -05:00
• 2de3dd65e2 feat(lean): fix Q16_16 signed mul/div, add N=8 periodic spectrum, formal energy theorem Brandon Schneider 2026-05-21 01:54:22 -05:00
• e0ba5044b8 feat(lean): fix Q16_16 signed mul/div, add N=8 periodic spectrum, formal energy theorem Brandon Schneider 2026-05-21 01:54:22 -05:00
• 7e8b74f8d9 feat(lean): fix Q16_16 signed mul/div, add N=8 periodic spectrum, formal energy theorem Brandon Schneider 2026-05-21 01:54:22 -05:00
• 69571cde6e feat(lean): fix Q16_16 signed mul/div, add N=8 periodic spectrum, formal energy theorem Brandon Schneider 2026-05-21 01:54:22 -05:00
• f33d15b888 feat(lean): spectrum invariant verification harness for Burgers-PhiNUVMAP bridge Brandon Schneider 2026-05-21 01:26:00 -05:00
• 791dd55d4f feat(lean): spectrum invariant verification harness for Burgers-PhiNUVMAP bridge Brandon Schneider 2026-05-21 01:26:00 -05:00
• 33354de288 feat(lean): spectrum invariant verification harness for Burgers-PhiNUVMAP bridge Brandon Schneider 2026-05-21 01:26:00 -05:00
• 2cb117607b feat(lean): spectrum invariant verification harness for Burgers-PhiNUVMAP bridge Brandon Schneider 2026-05-21 01:26:00 -05:00
• d5fb1bf711 feat(lean): genus-1 torus carrier — winding numbers, surface braids, and C1/C2 lane formalization Brandon Schneider 2026-05-21 01:06:37 -05:00
• 61ee34b58f feat(lean): genus-1 torus carrier — winding numbers, surface braids, and C1/C2 lane formalization Brandon Schneider 2026-05-21 01:06:37 -05:00