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

• 8fde940d72 Add EntropyCollapseDetector kernel and arithmetic spec Brandon Schneider 2026-05-11 21:44:47 -05:00
• 5e7dad8d7b Add EntropyCollapseDetector kernel and arithmetic spec Brandon Schneider 2026-05-11 21:44:47 -05:00
• 74f00736ab Add workspace load-shedding ignores Brandon Schneider 2026-05-11 15:53:59 -05:00
• 7f3cd6e202 Add workspace load-shedding ignores Brandon Schneider 2026-05-11 15:53:59 -05:00
• 0f7c0e17fb Add workspace load-shedding ignores Brandon Schneider 2026-05-11 15:53:59 -05:00
• 0e1d8ce9f4 Add workspace load-shedding ignores Brandon Schneider 2026-05-11 15:53:59 -05:00
• c7989636b7 Document legacy recovery trigger Brandon Schneider 2026-05-11 15:11:18 -05:00
• 29e5649e90 Document legacy recovery trigger Brandon Schneider 2026-05-11 15:11:18 -05:00
• 8246ed1ca0 Document legacy recovery trigger Brandon Schneider 2026-05-11 15:11:18 -05:00
• 8c6778d4dd Document legacy recovery trigger Brandon Schneider 2026-05-11 15:11:18 -05:00
• 9f8649e00b Ignore generated VCD waveform dumps Brandon Schneider 2026-05-11 14:56:11 -05:00
• fdbf7a11be Ignore generated VCD waveform dumps Brandon Schneider 2026-05-11 14:56:11 -05:00
• 9738c8f90f Ignore generated VCD waveform dumps Brandon Schneider 2026-05-11 14:56:11 -05:00
• 52150b5536 Ignore generated VCD waveform dumps Brandon Schneider 2026-05-11 14:56:11 -05:00
• c8ba00190e Add NUVMAP scan scheduling receipts Brandon Schneider 2026-05-11 14:46:19 -05:00
• f2d75ea7be Add NUVMAP scan scheduling receipts Brandon Schneider 2026-05-11 14:46:19 -05:00
• 6aaca5af0b Add NUVMAP scan scheduling receipts Brandon Schneider 2026-05-11 14:46:19 -05:00
• bec4b86a38 Add NUVMAP scan scheduling receipts Brandon Schneider 2026-05-11 14:46:19 -05:00
• 4f80a0a3e6 chore: add copilot instructions reflecting AGENTS.md contract Brandon Schneider 2026-05-09 23:18:17 -05:00
• 600c96f179 chore: add copilot instructions reflecting AGENTS.md contract Brandon Schneider 2026-05-09 23:18:17 -05:00
• 7f6b41b0b3 chore: add copilot instructions reflecting AGENTS.md contract Brandon Schneider 2026-05-09 23:18:17 -05:00
• 18e73d6402 chore: add copilot instructions reflecting AGENTS.md contract Brandon Schneider 2026-05-09 23:18:17 -05:00
• a267f35e53 Add Lean setup step to GitHub Actions workflow Allaun Silverfox 2026-05-09 22:17:47 -05:00
• ace51f7885 Add Lean setup step to GitHub Actions workflow Allaun Silverfox 2026-05-09 22:17:47 -05:00
• 6b491145f8 Add Lean setup step to GitHub Actions workflow Allaun Silverfox 2026-05-09 22:17:47 -05:00
• c03b3050df
  Add Lean setup step to GitHub Actions workflow Allaun Silverfox 2026-05-09 22:17:47 -05:00
• a7a09410d0 docs: add bio optical witness living light equations Allaun Silverfox 2026-05-09 20:53:51 -05:00
• 6dd9fc0dc1 docs: add bio optical witness living light equations Allaun Silverfox 2026-05-09 20:53:51 -05:00
• 60cfd97e78 docs: add bio optical witness living light equations Allaun Silverfox 2026-05-09 20:53:51 -05:00
• 544432fffa docs: add bio optical witness living light equations Allaun Silverfox 2026-05-09 20:53:51 -05:00
• 412649f79d docs: add BMVR BVMR AVMR CMR receipt quotient Allaun Silverfox 2026-05-09 19:51:46 -05:00
• 37f1f3727b docs: add BMVR BVMR AVMR CMR receipt quotient Allaun Silverfox 2026-05-09 19:51:46 -05:00
• 8b523c5345 docs: add BMVR BVMR AVMR CMR receipt quotient Allaun Silverfox 2026-05-09 19:51:46 -05:00
• a34daedb98 docs: add BMVR BVMR AVMR CMR receipt quotient Allaun Silverfox 2026-05-09 19:51:46 -05:00
• c86206a319 docs: add semiautonomous orbit-zoom sniffer protocol Allaun Silverfox 2026-05-09 19:09:57 -05:00
• 8834890655 docs: add semiautonomous orbit-zoom sniffer protocol Allaun Silverfox 2026-05-09 19:09:57 -05:00
• b095ebfe86 docs: add semiautonomous orbit-zoom sniffer protocol Allaun Silverfox 2026-05-09 19:09:57 -05:00
• e5ac31c6e3 docs: add semiautonomous orbit-zoom sniffer protocol Allaun Silverfox 2026-05-09 19:09:57 -05:00
• eb50a316b4 Fix Dependabot dependency alerts Brandon Schneider 2026-05-08 15:04:30 -05:00
• 9c49e1d99a Fix Dependabot dependency alerts Brandon Schneider 2026-05-08 15:04:30 -05:00
• d77197aa35 Fix Dependabot dependency alerts Brandon Schneider 2026-05-08 15:04:30 -05:00
• 94f6990683 Fix Dependabot dependency alerts Brandon Schneider 2026-05-08 15:04:30 -05:00
• 38ddec024d Add RRC projection receipts and roadmap mirrors Brandon Schneider 2026-05-08 14:49:44 -05:00
• 8f643e3c44 Add RRC projection receipts and roadmap mirrors Brandon Schneider 2026-05-08 14:49:44 -05:00
• f10fd21817 Add RRC projection receipts and roadmap mirrors Brandon Schneider 2026-05-08 14:49:44 -05:00
• 717bd5e1ab Add RRC projection receipts and roadmap mirrors Brandon Schneider 2026-05-08 14:49:44 -05:00
• 4bb7c783b2 results: Erdős–Mollin–Walsh investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:36:48 -05:00
• 35a03eec70 results: Erdős–Mollin–Walsh investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:36:48 -05:00
• 26a0797fc8 results: Erdős–Mollin–Walsh investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:36:48 -05:00
• 460778d7ae results: Erdős–Mollin–Walsh investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:36:48 -05:00
• a69c89ffbc results: Erdős–Gyárfás investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:35:52 -05:00
• a78fa7b55f results: Erdős–Gyárfás investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:35:52 -05:00
• 61b30c7b7f results: Erdős–Gyárfás investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:35:52 -05:00
• 146459afda results: Erdős–Gyárfás investigation with DAG + FAMM complete Brandon Schneider 2026-05-07 06:35:52 -05:00
• 09e663427b update: Erdős–Gyárfás investigation with DAG and FAMM components Brandon Schneider 2026-05-07 06:35:14 -05:00
• 65318faa75 update: Erdős–Gyárfás investigation with DAG and FAMM components Brandon Schneider 2026-05-07 06:35:14 -05:00
• f764528a5e update: Erdős–Gyárfás investigation with DAG and FAMM components Brandon Schneider 2026-05-07 06:35:14 -05:00
• 334e523b9f update: Erdős–Gyárfás investigation with DAG and FAMM components Brandon Schneider 2026-05-07 06:35:14 -05:00
• eff316ff3f wip: refined investigation script for Erdős–Gyárfás conjecture Brandon Schneider 2026-05-07 06:29:01 -05:00
• 41d4df4ee4 wip: refined investigation script for Erdős–Gyárfás conjecture Brandon Schneider 2026-05-07 06:29:01 -05:00
• 3f04d82fc8 wip: refined investigation script for Erdős–Gyárfás conjecture Brandon Schneider 2026-05-07 06:29:01 -05:00
• a7733208de wip: refined investigation script for Erdős–Gyárfás conjecture Brandon Schneider 2026-05-07 06:29:01 -05:00
• e55bf59ba3 test: 4-primitive framework applied to Erdős–Oler Conjecture Brandon Schneider 2026-05-07 04:44:35 -05:00
• 486e887b87 test: 4-primitive framework applied to Erdős–Oler Conjecture Brandon Schneider 2026-05-07 04:44:35 -05:00
• 4a94b88e3d test: 4-primitive framework applied to Erdős–Oler Conjecture Brandon Schneider 2026-05-07 04:44:35 -05:00
• 7f41bbe917 test: 4-primitive framework applied to Erdős–Oler Conjecture Brandon Schneider 2026-05-07 04:44:35 -05:00
• 41745c85bf test: 4-primitive framework applied to Minimum Overlap Problem Brandon Schneider 2026-05-07 04:43:48 -05:00
• a795563d9b test: 4-primitive framework applied to Minimum Overlap Problem Brandon Schneider 2026-05-07 04:43:48 -05:00
• a98e62df46 test: 4-primitive framework applied to Minimum Overlap Problem Brandon Schneider 2026-05-07 04:43:48 -05:00
• a48d5e4c6d test: 4-primitive framework applied to Minimum Overlap Problem Brandon Schneider 2026-05-07 04:43:48 -05:00
• f6edf6834f test: 4-primitive framework applied to Erdős quickly growing sequences Brandon Schneider 2026-05-07 04:43:01 -05:00
• c1f5ff95c0 test: 4-primitive framework applied to Erdős quickly growing sequences Brandon Schneider 2026-05-07 04:43:01 -05:00
• 96b1d9f785 test: 4-primitive framework applied to Erdős quickly growing sequences Brandon Schneider 2026-05-07 04:43:01 -05:00
• 2ff799e6ea test: 4-primitive framework applied to Erdős quickly growing sequences Brandon Schneider 2026-05-07 04:43:01 -05:00
• 313cdb593a test: 4-primitive framework applied to Erdős–Hajnal Conjecture Brandon Schneider 2026-05-07 04:42:09 -05:00
• 10f555eb84 test: 4-primitive framework applied to Erdős–Hajnal Conjecture Brandon Schneider 2026-05-07 04:42:09 -05:00
• 6f179b27e5 test: 4-primitive framework applied to Erdős–Hajnal Conjecture Brandon Schneider 2026-05-07 04:42:09 -05:00
• e37735e2c6 test: 4-primitive framework applied to Erdős–Hajnal Conjecture Brandon Schneider 2026-05-07 04:42:09 -05:00
• b2017e2ec7 test: 4-primitive framework applied to Erdős conjecture on ternary 2^n Brandon Schneider 2026-05-07 04:41:26 -05:00
• 373ff0c8f5 test: 4-primitive framework applied to Erdős conjecture on ternary 2^n Brandon Schneider 2026-05-07 04:41:26 -05:00
• d403a51fb1 test: 4-primitive framework applied to Erdős conjecture on ternary 2^n Brandon Schneider 2026-05-07 04:41:26 -05:00
• 05b8361771 test: 4-primitive framework applied to Erdős conjecture on ternary 2^n Brandon Schneider 2026-05-07 04:41:26 -05:00
• f6675ec3ae test: 4-primitive framework applied to 3 additional unsolved Erdős conjectures Brandon Schneider 2026-05-07 04:40:44 -05:00
• ce985c832c test: 4-primitive framework applied to 3 additional unsolved Erdős conjectures Brandon Schneider 2026-05-07 04:40:44 -05:00
• 1beb81774f test: 4-primitive framework applied to 3 additional unsolved Erdős conjectures Brandon Schneider 2026-05-07 04:40:44 -05:00
• a529933c68 test: 4-primitive framework applied to 3 additional unsolved Erdős conjectures Brandon Schneider 2026-05-07 04:40:44 -05:00
• f734d9082b ingest: comprehensive Erdős problems collection from external sources Brandon Schneider 2026-05-07 04:34:19 -05:00
• e3fc126824 ingest: comprehensive Erdős problems collection from external sources Brandon Schneider 2026-05-07 04:34:19 -05:00
• 868695f41d ingest: comprehensive Erdős problems collection from external sources Brandon Schneider 2026-05-07 04:34:19 -05:00
• ed54fdc239 ingest: comprehensive Erdős problems collection from external sources Brandon Schneider 2026-05-07 04:34:19 -05:00
• 4a18c45ca9 test: 4-primitive framework applied to Erdős–Faber–Lovász Conjecture Brandon Schneider 2026-05-07 04:32:05 -05:00
• a4ed54c4ea test: 4-primitive framework applied to Erdős–Faber–Lovász Conjecture Brandon Schneider 2026-05-07 04:32:05 -05:00
• d0fb914bb6 test: 4-primitive framework applied to Erdős–Faber–Lovász Conjecture Brandon Schneider 2026-05-07 04:32:05 -05:00
• 46c124b52b test: 4-primitive framework applied to Erdős–Faber–Lovász Conjecture Brandon Schneider 2026-05-07 04:32:05 -05:00
• ef57177028 test: 4-primitive framework applied to Erdős–Moser Problem Brandon Schneider 2026-05-07 04:31:28 -05:00
• 81b5f3db2c test: 4-primitive framework applied to Erdős–Moser Problem Brandon Schneider 2026-05-07 04:31:28 -05:00
• 53c0a1ceb1 test: 4-primitive framework applied to Erdős–Moser Problem Brandon Schneider 2026-05-07 04:31:28 -05:00
• 3ddf97570a test: 4-primitive framework applied to Erdős–Moser Problem Brandon Schneider 2026-05-07 04:31:28 -05:00
• 342fa8c156 test: 4-primitive framework applied to Erdős Distinct Distances Problem Brandon Schneider 2026-05-07 04:30:45 -05:00
• 3734484820 test: 4-primitive framework applied to Erdős Distinct Distances Problem Brandon Schneider 2026-05-07 04:30:45 -05:00