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

• c1a5202f37 fix(lean): align genomic quaternion theorems with unit receipts Allaun Silverfox 2026-05-26 14:18:28 -05:00
• a367bc98f5 fix(lean): align genomic quaternion theorems with unit receipts Allaun Silverfox 2026-05-26 14:18:28 -05:00
• 9b7a90b82e fix(lean): align genomic quaternion theorems with unit receipts Allaun Silverfox 2026-05-26 14:18:28 -05:00
• 6a357fa5b9 fix(lean): align genomic quaternion theorems with unit receipts Allaun Silverfox 2026-05-26 14:18:28 -05:00
• 7b68e877a7 fix(lean): replace quaternion sorries with unit witness receipts Allaun Silverfox 2026-05-26 14:14:31 -05:00
• 26a83bae15 fix(lean): replace quaternion sorries with unit witness receipts Allaun Silverfox 2026-05-26 14:14:31 -05:00
• e53386997c fix(lean): replace quaternion sorries with unit witness receipts Allaun Silverfox 2026-05-26 14:14:31 -05:00
• 117fe2b999 fix(lean): replace quaternion sorries with unit witness receipts Allaun Silverfox 2026-05-26 14:14:31 -05:00
• 86d00b1030 feat(pist): add genus-0 sphere shell projection demo Allaun Silverfox 2026-05-26 14:10:17 -05:00
• 9629817bb0 feat(pist): add genus-0 sphere shell projection demo Allaun Silverfox 2026-05-26 14:10:17 -05:00
• 3112c48daa feat(pist): add genus-0 sphere shell projection demo Allaun Silverfox 2026-05-26 14:10:17 -05:00
• 52865a553c feat(pist): add genus-0 sphere shell projection demo Allaun Silverfox 2026-05-26 14:10:17 -05:00
• 4ceb75eff7 feat(pist): v1.4a — 100% recovery across 35 theorems Brandon Schneider 2026-05-26 14:03:59 -05:00
• 1ff91d138f feat(pist): v1.4a — 100% recovery across 35 theorems Brandon Schneider 2026-05-26 14:03:59 -05:00
• 6623babbde feat(pist): v1.4a — 100% recovery across 35 theorems Brandon Schneider 2026-05-26 14:03:59 -05:00
• 85561a72b5 feat(pist): v1.4a — 100% recovery across 35 theorems Brandon Schneider 2026-05-26 14:03:59 -05:00
• 82f65e9a60 feat(pist): Route-Repair v1.4a — 97% recovery, residual closure Brandon Schneider 2026-05-26 13:51:05 -05:00
• d6f4df42b5 feat(pist): Route-Repair v1.4a — 97% recovery, residual closure Brandon Schneider 2026-05-26 13:51:05 -05:00
• 45b2e9af77 feat(pist): Route-Repair v1.4a — 97% recovery, residual closure Brandon Schneider 2026-05-26 13:51:05 -05:00
• cbe47de194 feat(pist): Route-Repair v1.4a — 97% recovery, residual closure Brandon Schneider 2026-05-26 13:51:05 -05:00
• 150ddb6376 feat(pist): Route-Repair v1.4 — 71% recovery Brandon Schneider 2026-05-26 13:09:37 -05:00
• b14c7a924f feat(pist): Route-Repair v1.4 — 71% recovery Brandon Schneider 2026-05-26 13:09:37 -05:00
• 60bd39a333 feat(pist): Route-Repair v1.4 — 71% recovery Brandon Schneider 2026-05-26 13:09:37 -05:00
• 1ca53f7ac4 feat(pist): Route-Repair v1.4 — 71% recovery Brandon Schneider 2026-05-26 13:09:37 -05:00
• f09b7b84d7 feat(pist): Route-Repair v1.3b — multi-step templates, 54% recovery Brandon Schneider 2026-05-26 12:56:24 -05:00
• 77dc9f5361 feat(pist): Route-Repair v1.3b — multi-step templates, 54% recovery Brandon Schneider 2026-05-26 12:56:24 -05:00
• 4f7e544534 feat(pist): Route-Repair v1.3b — multi-step templates, 54% recovery Brandon Schneider 2026-05-26 12:56:24 -05:00
• a18c553988 feat(pist): Route-Repair v1.3b — multi-step templates, 54% recovery Brandon Schneider 2026-05-26 12:56:24 -05:00
• 3e00a12423 feat(pist): Route-Repair v1.3a — PIST-NUVMAP database-backed ranking Brandon Schneider 2026-05-26 12:49:29 -05:00
• 63bdbfa885 feat(pist): Route-Repair v1.3a — PIST-NUVMAP database-backed ranking Brandon Schneider 2026-05-26 12:49:29 -05:00
• 1cb59dde81 feat(pist): Route-Repair v1.3a — PIST-NUVMAP database-backed ranking Brandon Schneider 2026-05-26 12:49:29 -05:00
• 2584337e86 feat(pist): Route-Repair v1.3a — PIST-NUVMAP database-backed ranking Brandon Schneider 2026-05-26 12:49:29 -05:00
• ba34c29e3f feat(pist): Route-Repair v1.2 — 36% recovery from 0% Brandon Schneider 2026-05-26 12:38:17 -05:00
• ffadf92159 feat(pist): Route-Repair v1.2 — 36% recovery from 0% Brandon Schneider 2026-05-26 12:38:17 -05:00
• de90ab5579 feat(pist): Route-Repair v1.2 — 36% recovery from 0% Brandon Schneider 2026-05-26 12:38:17 -05:00
• 85280d4037 feat(pist): Route-Repair v1.2 — 36% recovery from 0% Brandon Schneider 2026-05-26 12:38:17 -05:00
• 815b34c349 feat(pist): Route-Repair v1.1 — 60 failure flexures ingested, obstruction-type voting Brandon Schneider 2026-05-26 12:17:42 -05:00
• 420bafc0e6 feat(pist): Route-Repair v1.1 — 60 failure flexures ingested, obstruction-type voting Brandon Schneider 2026-05-26 12:17:42 -05:00
• 34768b3fe8 feat(pist): Route-Repair v1.1 — 60 failure flexures ingested, obstruction-type voting Brandon Schneider 2026-05-26 12:17:42 -05:00
• 3ee80d31be feat(pist): Route-Repair v1.1 — 60 failure flexures ingested, obstruction-type voting Brandon Schneider 2026-05-26 12:17:42 -05:00
• b7c5002c69 feat(pist): Route-Repair Loop v1 — 11% recovery rate Brandon Schneider 2026-05-26 11:38:01 -05:00
• e087aee10c feat(pist): Route-Repair Loop v1 — 11% recovery rate Brandon Schneider 2026-05-26 11:38:01 -05:00
• e9843fc9ce feat(pist): Route-Repair Loop v1 — 11% recovery rate Brandon Schneider 2026-05-26 11:38:01 -05:00
• efe34b0882 feat(pist): Route-Repair Loop v1 — 11% recovery rate Brandon Schneider 2026-05-26 11:38:01 -05:00
• f1b20808f3 feat(pist): routing benchmark — 30% tactic family prediction vs 20% baseline Brandon Schneider 2026-05-26 11:28:05 -05:00
• 25569c2c9e feat(pist): routing benchmark — 30% tactic family prediction vs 20% baseline Brandon Schneider 2026-05-26 11:28:05 -05:00
• f008c13163 feat(pist): routing benchmark — 30% tactic family prediction vs 20% baseline Brandon Schneider 2026-05-26 11:28:05 -05:00
• 9a15c6c07c feat(pist): routing benchmark — 30% tactic family prediction vs 20% baseline Brandon Schneider 2026-05-26 11:28:05 -05:00
• 6223cbc778 feat(pist): pist_trace_classify MCP tool — classify proof traces against 57-theorem flexure library Brandon Schneider 2026-05-26 11:23:53 -05:00
• bdd9b6284b feat(pist): pist_trace_classify MCP tool — classify proof traces against 57-theorem flexure library Brandon Schneider 2026-05-26 11:23:53 -05:00
• 721a6c620c feat(pist): pist_trace_classify MCP tool — classify proof traces against 57-theorem flexure library Brandon Schneider 2026-05-26 11:23:53 -05:00
• 3137ff36d7 feat(pist): pist_trace_classify MCP tool — classify proof traces against 57-theorem flexure library Brandon Schneider 2026-05-26 11:23:53 -05:00
• 081d9cd9ab feat(pist): 57/64 theorem batch — 89.5% proof status LOOCV Brandon Schneider 2026-05-26 11:20:17 -05:00
• 39ab8bb293 feat(pist): 57/64 theorem batch — 89.5% proof status LOOCV Brandon Schneider 2026-05-26 11:20:17 -05:00
• 252a72ff57 feat(pist): 57/64 theorem batch — 89.5% proof status LOOCV Brandon Schneider 2026-05-26 11:20:17 -05:00
• da297f34f2 feat(pist): 57/64 theorem batch — 89.5% proof status LOOCV Brandon Schneider 2026-05-26 11:20:17 -05:00
• 5284469740 feat(pist): flexure features v2 — full spectral profile per joint Brandon Schneider 2026-05-26 11:00:31 -05:00
• 436e5ae8ca feat(pist): flexure features v2 — full spectral profile per joint Brandon Schneider 2026-05-26 11:00:31 -05:00
• d99ad55ba6 feat(pist): flexure features v2 — full spectral profile per joint Brandon Schneider 2026-05-26 11:00:31 -05:00
• 8b0549ebc8 feat(pist): flexure features v2 — full spectral profile per joint Brandon Schneider 2026-05-26 11:00:31 -05:00
• 9495ae4109 feat(pist): joint-based classifier — 84.2% RRCShape from flexure motifs Brandon Schneider 2026-05-26 10:56:01 -05:00
• 0f15842507 feat(pist): joint-based classifier — 84.2% RRCShape from flexure motifs Brandon Schneider 2026-05-26 10:56:01 -05:00
• a44f0f002c feat(pist): joint-based classifier — 84.2% RRCShape from flexure motifs Brandon Schneider 2026-05-26 10:56:01 -05:00
• 2f6816d70c feat(pist): joint-based classifier — 84.2% RRCShape from flexure motifs Brandon Schneider 2026-05-26 10:56:01 -05:00
• eed09caacc feat(pist): flexure joint library in ene.flexures — 38 joints, 10 motifs Brandon Schneider 2026-05-26 10:49:49 -05:00
• 60329d7184 feat(pist): flexure joint library in ene.flexures — 38 joints, 10 motifs Brandon Schneider 2026-05-26 10:49:49 -05:00
• 31323b266e feat(pist): flexure joint library in ene.flexures — 38 joints, 10 motifs Brandon Schneider 2026-05-26 10:49:49 -05:00
• 1fb3b5f71d feat(pist): flexure joint library in ene.flexures — 38 joints, 10 motifs Brandon Schneider 2026-05-26 10:49:49 -05:00
• 38265eb3fa feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% Brandon Schneider 2026-05-26 10:34:32 -05:00
• 2400c4b731 feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% Brandon Schneider 2026-05-26 10:34:32 -05:00
• 0c364d3326 feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% Brandon Schneider 2026-05-26 10:34:32 -05:00
• 64b6974108 feat(pist): scaled Tier 2B batch — 21/64 theorems, RRCShape 71.4% Brandon Schneider 2026-05-26 10:34:32 -05:00
• fb9573326f feat(pist): Tier 2 beats Tier 1 on 5/6 independent targets Brandon Schneider 2026-05-26 09:57:10 -05:00
• 38fabb20ec feat(pist): Tier 2 beats Tier 1 on 5/6 independent targets Brandon Schneider 2026-05-26 09:57:10 -05:00
• fb1025ec8f feat(pist): Tier 2 beats Tier 1 on 5/6 independent targets Brandon Schneider 2026-05-26 09:57:10 -05:00
• 64685813c4 feat(pist): Tier 2 beats Tier 1 on 5/6 independent targets Brandon Schneider 2026-05-26 09:57:10 -05:00
• 7b7ef33f29 feat(pist): Tier 2 beats Tier 1 on every independent target Brandon Schneider 2026-05-26 03:10:22 -05:00
• 42b4ffbf69 feat(pist): Tier 2 beats Tier 1 on every independent target Brandon Schneider 2026-05-26 03:10:22 -05:00
• d86c73b774 feat(pist): Tier 2 beats Tier 1 on every independent target Brandon Schneider 2026-05-26 03:10:22 -05:00
• 8785423b16 feat(pist): Tier 2 beats Tier 1 on every independent target Brandon Schneider 2026-05-26 03:10:22 -05:00
• 9f96815698 feat(pist): Tier 2B spectral decomposition — first real proof-path spectra Brandon Schneider 2026-05-26 03:08:05 -05:00
• 7dd8dfd249 feat(pist): Tier 2B spectral decomposition — first real proof-path spectra Brandon Schneider 2026-05-26 03:08:05 -05:00
• df3e37d263 feat(pist): Tier 2B spectral decomposition — first real proof-path spectra Brandon Schneider 2026-05-26 03:08:05 -05:00
• df4f7ef13b feat(pist): Tier 2B spectral decomposition — first real proof-path spectra Brandon Schneider 2026-05-26 03:08:05 -05:00
• 546b56698b feat(pist): Tier 2B — instrumented trace bridge with real transition matrices Brandon Schneider 2026-05-26 02:56:46 -05:00
• ea2b4dad40 feat(pist): Tier 2B — instrumented trace bridge with real transition matrices Brandon Schneider 2026-05-26 02:56:46 -05:00
• 4d25e6f5ac feat(pist): Tier 2B — instrumented trace bridge with real transition matrices Brandon Schneider 2026-05-26 02:56:46 -05:00
• 44b0c885b6 feat(pist): Tier 2B — instrumented trace bridge with real transition matrices Brandon Schneider 2026-05-26 02:56:46 -05:00
• 0270002463 feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems Brandon Schneider 2026-05-26 02:37:22 -05:00
• 153a8da5c5 feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems Brandon Schneider 2026-05-26 02:37:22 -05:00
• 31890cf3e9 feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems Brandon Schneider 2026-05-26 02:37:22 -05:00
• 4d8b71ea4b feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems Brandon Schneider 2026-05-26 02:37:22 -05:00
• e7946fa557 feat(pist): Tier 2 trace bridge — tactic-level goal transitions Brandon Schneider 2026-05-26 02:28:16 -05:00
• b3d4ef4206 feat(pist): Tier 2 trace bridge — tactic-level goal transitions Brandon Schneider 2026-05-26 02:28:16 -05:00
• 29bef16216 feat(pist): Tier 2 trace bridge — tactic-level goal transitions Brandon Schneider 2026-05-26 02:28:16 -05:00
• e5d24e1e94 feat(pist): Tier 2 trace bridge — tactic-level goal transitions Brandon Schneider 2026-05-26 02:28:16 -05:00
• 905f2c17d0 feat(pist): canary batch — 42 real Lean theorems through full pipeline Brandon Schneider 2026-05-26 02:09:08 -05:00
• bef48acee4 feat(pist): canary batch — 42 real Lean theorems through full pipeline Brandon Schneider 2026-05-26 02:09:08 -05:00
• e7525fb6f4 feat(pist): canary batch — 42 real Lean theorems through full pipeline Brandon Schneider 2026-05-26 02:09:08 -05:00
• fc8b1896f0 feat(pist): canary batch — 42 real Lean theorems through full pipeline Brandon Schneider 2026-05-26 02:09:08 -05:00