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

• 6f650be6ab feat: dense Sidon sets from sum-product conjecture disproof Brandon Schneider 2026-05-28 16:57:35 -05:00
• d79de9a77d feat: dense Sidon sets from sum-product conjecture disproof Brandon Schneider 2026-05-28 16:57:35 -05:00
• cd478fca38 rebuild: bitstream with corrected UART divisor (233 matching Lean proof) Brandon Schneider 2026-05-28 16:37:28 -05:00
• 410a5c2e5f rebuild: bitstream with corrected UART divisor (233 matching Lean proof) Brandon Schneider 2026-05-28 16:37:28 -05:00
• 0a2f515654 rebuild: bitstream with corrected UART divisor (233 matching Lean proof) Brandon Schneider 2026-05-28 16:37:28 -05:00
• 0cb4cf4675 fix: Blitter UART divisor 234→233 to match Lean uartBaudDivisor proof Brandon Schneider 2026-05-28 16:36:37 -05:00
• 6a9fcdd115 fix: Blitter UART divisor 234→233 to match Lean uartBaudDivisor proof Brandon Schneider 2026-05-28 16:36:37 -05:00
• 5046815eb4 fix: Blitter UART divisor 234→233 to match Lean uartBaudDivisor proof Brandon Schneider 2026-05-28 16:36:37 -05:00
• e80ae136b8 feat: HiGHS wired as default QUBO solver in braid_search.py Brandon Schneider 2026-05-28 16:35:05 -05:00
• 2fed2b3e41 feat: HiGHS wired as default QUBO solver in braid_search.py Brandon Schneider 2026-05-28 16:35:05 -05:00
• 484e7c533b feat: HiGHS wired as default QUBO solver in braid_search.py Brandon Schneider 2026-05-28 16:35:05 -05:00
• 09f2f3044a feat: unified FPGA bitstream for Tang Nano 9K — BUILD SUCCESSFUL Brandon Schneider 2026-05-28 16:32:05 -05:00
• 468b449aad feat: unified FPGA bitstream for Tang Nano 9K — BUILD SUCCESSFUL Brandon Schneider 2026-05-28 16:32:05 -05:00
• 0ce0ed1a81 feat: unified FPGA bitstream for Tang Nano 9K — BUILD SUCCESSFUL Brandon Schneider 2026-05-28 16:32:05 -05:00
• cd6f09d333 feat: unified FPGA top-level for Tang Nano 9K Brandon Schneider 2026-05-28 16:16:54 -05:00
• fff44bafe4 feat: unified FPGA top-level for Tang Nano 9K Brandon Schneider 2026-05-28 16:16:54 -05:00
• 6517bd351b feat: unified FPGA top-level for Tang Nano 9K Brandon Schneider 2026-05-28 16:16:54 -05:00
• cc3fe59dcd fix: BraidVCNBridge field names + MeshRouting OfNat saturation + VCN types Brandon Schneider 2026-05-28 16:10:07 -05:00
• 37af86f3cd fix: BraidVCNBridge field names + MeshRouting OfNat saturation + VCN types Brandon Schneider 2026-05-28 16:10:07 -05:00
• 6efff774f2 fix: BraidVCNBridge field names + MeshRouting OfNat saturation + VCN types Brandon Schneider 2026-05-28 16:10:07 -05:00
• 7884fd074b feat: optimized route proof + scale space solver fix Brandon Schneider 2026-05-28 15:53:28 -05:00
• 5979046715 feat: optimized route proof + scale space solver fix Brandon Schneider 2026-05-28 15:53:28 -05:00
• 567f7cd609 feat: optimized route proof + scale space solver fix Brandon Schneider 2026-05-28 15:53:28 -05:00
• e2f3a9e93b feat: HiGHS integration, scale space solver, adjugate matrix, FPGA voltage/BRAM modules Brandon Schneider 2026-05-28 15:42:14 -05:00
• ea3eedef77 feat: HiGHS integration, scale space solver, adjugate matrix, FPGA voltage/BRAM modules Brandon Schneider 2026-05-28 15:42:14 -05:00
• 645ae7c201 feat: HiGHS integration, scale space solver, adjugate matrix, FPGA voltage/BRAM modules Brandon Schneider 2026-05-28 15:42:14 -05:00
• fd8871a23e fix(infra): configure sparkle build script to support system path fallback Brandon Schneider 2026-05-28 15:03:17 -05:00
• 0912d5b130 fix(infra): configure sparkle build script to support system path fallback Brandon Schneider 2026-05-28 15:03:17 -05:00
• 4a78cef88d fix(infra): configure sparkle build script to support system path fallback Brandon Schneider 2026-05-28 15:03:17 -05:00
• cd4cb7c507 feat: wire pipeline into VCN substrate + FPGA bitstream for Q16 LUT Brandon Schneider 2026-05-28 15:02:13 -05:00
• a3b298230b feat: wire pipeline into VCN substrate + FPGA bitstream for Q16 LUT Brandon Schneider 2026-05-28 15:02:13 -05:00
• 6b6c52d184 feat: wire pipeline into VCN substrate + FPGA bitstream for Q16 LUT Brandon Schneider 2026-05-28 15:02:13 -05:00
• 53e38e4c71 feat: 12 math enhancements — Q16 LUT, braid VCN encoder, FPGA Verilog, FFT, crypto Brandon Schneider 2026-05-28 14:49:26 -05:00
• e0df130453 feat: 12 math enhancements — Q16 LUT, braid VCN encoder, FPGA Verilog, FFT, crypto Brandon Schneider 2026-05-28 14:49:26 -05:00
• 4d29b756eb feat: 12 math enhancements — Q16 LUT, braid VCN encoder, FPGA Verilog, FFT, crypto Brandon Schneider 2026-05-28 14:49:26 -05:00
• 31b2f1f66f feat(infra): compile and SRAM-flash UART beacon with reset bypass Brandon Schneider 2026-05-28 14:10:46 -05:00
• ae81dd7302 feat(infra): compile and SRAM-flash UART beacon with reset bypass Brandon Schneider 2026-05-28 14:10:46 -05:00
• fdce99eba6 feat(infra): compile and SRAM-flash UART beacon with reset bypass Brandon Schneider 2026-05-28 14:10:46 -05:00
• 683bde4af6 feat(infra): WebRTC bridge + Caddy edge config + Tailscale Funnel Brandon Schneider 2026-05-28 13:11:53 -05:00
• 8a723a9ce1 feat(infra): WebRTC bridge + Caddy edge config + Tailscale Funnel Brandon Schneider 2026-05-28 13:11:53 -05:00
• 2cbebc3a4b feat(infra): WebRTC bridge + Caddy edge config + Tailscale Funnel Brandon Schneider 2026-05-28 13:11:53 -05:00
• ed98817257 feat(infra): cluster dashboard + VCN shim indentation fix Brandon Schneider 2026-05-28 01:13:54 -05:00
• d86625e220 feat(infra): cluster dashboard + VCN shim indentation fix Brandon Schneider 2026-05-28 01:13:54 -05:00
• d6b0f04e0f feat(infra): cluster dashboard + VCN shim indentation fix Brandon Schneider 2026-05-28 01:13:54 -05:00
• e203a5215e feat(hardware): Emergency Boot Witness reference implementation Brandon Schneider 2026-05-27 23:00:39 -05:00
• 4cad34faf4 feat(hardware): Emergency Boot Witness reference implementation Brandon Schneider 2026-05-27 23:00:39 -05:00
• d8c934f9fb feat(hardware): Emergency Boot Witness reference implementation Brandon Schneider 2026-05-27 23:00:39 -05:00
• a8a163650a fix(infra): resolve k3s services startup issues and update ingress configuration Brandon Schneider 2026-05-27 17:39:00 -05:00
• 69b984c410 fix(infra): resolve k3s services startup issues and update ingress configuration Brandon Schneider 2026-05-27 17:39:00 -05:00
• 7ef0134f38 fix(infra): resolve k3s services startup issues and update ingress configuration Brandon Schneider 2026-05-27 17:39:00 -05:00
• 1a407b51de fix(FixedPoint): revert abs_triangle to admit — q16Clamp sign analysis still blocked Brandon Schneider 2026-05-27 17:15:52 -05:00
• 31210774cb fix(FixedPoint): revert abs_triangle to admit — q16Clamp sign analysis still blocked Brandon Schneider 2026-05-27 17:15:52 -05:00
• 60fa8766f7 fix(FixedPoint): revert abs_triangle to admit — q16Clamp sign analysis still blocked Brandon Schneider 2026-05-27 17:15:52 -05:00
• b8299e209f feat(fixedpoint): prove mul_mono_left/right; fix SSMS t2 arg Brandon Schneider 2026-05-27 17:12:38 -05:00
• e93dd0dab5 feat(fixedpoint): prove mul_mono_left/right; fix SSMS t2 arg Brandon Schneider 2026-05-27 17:12:38 -05:00
• 14bac21a3e feat(fixedpoint): prove mul_mono_left/right; fix SSMS t2 arg Brandon Schneider 2026-05-27 17:12:38 -05:00
• efe8c14973 refactor(ssms): clean f_eps/omf_eps proof; restructure ko_preserves_hyperbola_approx Brandon Schneider 2026-05-27 16:49:05 -05:00
• 4f8e6efb42 refactor(ssms): clean f_eps/omf_eps proof; restructure ko_preserves_hyperbola_approx Brandon Schneider 2026-05-27 16:49:05 -05:00
• addc759331 refactor(ssms): clean f_eps/omf_eps proof; restructure ko_preserves_hyperbola_approx Brandon Schneider 2026-05-27 16:49:05 -05:00
• 09913f9791 chore(lean): stub 6 Q16_16 arithmetic lemmas with TODO(lean-port) Brandon Schneider 2026-05-27 16:35:53 -05:00
• 5bd23d274b chore(lean): stub 6 Q16_16 arithmetic lemmas with TODO(lean-port) Brandon Schneider 2026-05-27 16:35:53 -05:00
• a1d6722ff9 chore(lean): stub 6 Q16_16 arithmetic lemmas with TODO(lean-port) Brandon Schneider 2026-05-27 16:35:53 -05:00
• 837ffbc487 feat(lean): add BraidTreeDIATPIST Q0_2 braid compressor with FAMM gate Brandon Schneider 2026-05-27 16:10:04 -05:00
• 24a88eb89e feat(lean): add BraidTreeDIATPIST Q0_2 braid compressor with FAMM gate Brandon Schneider 2026-05-27 16:10:04 -05:00
• 8d8d7c3052 feat(lean): add BraidTreeDIATPIST Q0_2 braid compressor with FAMM gate Brandon Schneider 2026-05-27 16:10:04 -05:00
• 55d2cf897b docs(semantics): clarify remaining proof-boundary work in AGENTS.md Brandon Schneider 2026-05-27 15:22:10 -05:00
• fba3e2193a docs(semantics): clarify remaining proof-boundary work in AGENTS.md Brandon Schneider 2026-05-27 15:22:10 -05:00
• 2126120a30 docs(semantics): clarify remaining proof-boundary work in AGENTS.md Brandon Schneider 2026-05-27 15:22:10 -05:00
• e028758f9c fix(lean): discharge q16 proof-boundary sorries Brandon Schneider 2026-05-27 15:13:54 -05:00
• 0d8852bef7 fix(lean): discharge q16 proof-boundary sorries Brandon Schneider 2026-05-27 15:13:54 -05:00
• 8e3ef0a02c fix(lean): discharge q16 proof-boundary sorries Brandon Schneider 2026-05-27 15:13:54 -05:00
• ede983168c feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 Brandon Schneider 2026-05-27 12:40:16 -05:00
• 92bc00c4d5 feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 Brandon Schneider 2026-05-27 12:40:16 -05:00
• ea2fb0aea2 feat(lean): complete goldenContractionEnergyDecrease proof + PIST predictions pipeline v2 Brandon Schneider 2026-05-27 12:40:16 -05:00
• 0bab506b01 chore: rename workspace from nodupelabs to researchstack Brandon Schneider 2026-05-27 00:46:44 -05:00
• a204537f3c chore: rename workspace from nodupelabs to researchstack Brandon Schneider 2026-05-27 00:46:44 -05:00
• 84349e8624 chore: rename workspace from nodupelabs to researchstack Brandon Schneider 2026-05-27 00:46:44 -05:00
• cc33703637 feat(lean): wire 278-equation corpus end-to-end; emit emit278.json Brandon Schneider 2026-05-27 00:11:55 -05:00
• 36b5b6914e feat(lean): wire 278-equation corpus end-to-end; emit emit278.json Brandon Schneider 2026-05-27 00:11:55 -05:00
• a0249314eb feat(lean): wire 278-equation corpus end-to-end; emit emit278.json Brandon Schneider 2026-05-27 00:11:55 -05:00
• 1db38040ac refactor(lean): factor q16Clamp into FixedPoint; ofRawInt_monotone becomes one-liner Brandon Schneider 2026-05-26 23:59:00 -05:00
• d50f735e97 refactor(lean): factor q16Clamp into FixedPoint; ofRawInt_monotone becomes one-liner Brandon Schneider 2026-05-26 23:59:00 -05:00
• cc4fc62ab6 refactor(lean): factor q16Clamp into FixedPoint; ofRawInt_monotone becomes one-liner Brandon Schneider 2026-05-26 23:59:00 -05:00
• 7faed2de0e feat(lean): add ofRawInt_monotone + add_nonneg_monotone to FixedPoint; generalise Motif §6.2 Brandon Schneider 2026-05-26 23:51:18 -05:00
• d722caee54 feat(lean): add ofRawInt_monotone + add_nonneg_monotone to FixedPoint; generalise Motif §6.2 Brandon Schneider 2026-05-26 23:51:18 -05:00
• 0f16c9b7cd feat(lean): add ofRawInt_monotone + add_nonneg_monotone to FixedPoint; generalise Motif §6.2 Brandon Schneider 2026-05-26 23:51:18 -05:00
• 8c4a8e9971 feat(lean): port pist_trace_classify motif scoring to Semantics.PIST.Motif Brandon Schneider 2026-05-26 23:45:07 -05:00
• bdc98e2a0e feat(lean): port pist_trace_classify motif scoring to Semantics.PIST.Motif Brandon Schneider 2026-05-26 23:45:07 -05:00
• b4eaf9a1ca feat(lean): port pist_trace_classify motif scoring to Semantics.PIST.Motif Brandon Schneider 2026-05-26 23:45:07 -05:00
• fdd3359e26 fix(lean): move file-level open before namespace to inside namespace Brandon Schneider 2026-05-26 23:38:56 -05:00
• 8e163c7863 fix(lean): move file-level open before namespace to inside namespace Brandon Schneider 2026-05-26 23:38:56 -05:00
• e60a2fea34 fix(lean): move file-level open before namespace to inside namespace Brandon Schneider 2026-05-26 23:38:56 -05:00
• afeda7aa28 fix(lean): expand bare TODOs in GeometricCompressionWorkspace and NGemetry Brandon Schneider 2026-05-26 23:38:47 -05:00
• 2cc512a8ad fix(lean): expand bare TODOs in GeometricCompressionWorkspace and NGemetry Brandon Schneider 2026-05-26 23:38:47 -05:00
• 94d0d5ad22 fix(lean): expand bare TODOs in GeometricCompressionWorkspace and NGemetry Brandon Schneider 2026-05-26 23:38:47 -05:00
• 042473574d fix(lean): expand bare TODOs in MathQuery and DomainKernel Brandon Schneider 2026-05-26 23:37:26 -05:00
• 9dc3f41c0c fix(lean): expand bare TODOs in MathQuery and DomainKernel Brandon Schneider 2026-05-26 23:37:26 -05:00
• ed36c75d28 fix(lean): expand bare TODOs in MathQuery and DomainKernel Brandon Schneider 2026-05-26 23:37:26 -05:00
• ca5d947a29 refactor(lean): replace native_decide with decide in PIST.Repair invariants Brandon Schneider 2026-05-26 23:34:55 -05:00
• 00b922d47c refactor(lean): replace native_decide with decide in PIST.Repair invariants Brandon Schneider 2026-05-26 23:34:55 -05:00