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

• 24d9206857 feat(infra): add Tailscale mesh, tmpfs RAM disks, Nix caching, ENE restore Brandon Schneider 2026-05-29 14:32:56 -05:00
• fad3b53f10 feat(infra): add Tailscale mesh, tmpfs RAM disks, Nix caching, ENE restore Brandon Schneider 2026-05-29 14:32:56 -05:00
• 8147be87a3 feat(infra): add Tailscale mesh, tmpfs RAM disks, Nix caching, ENE restore Brandon Schneider 2026-05-29 14:32:56 -05:00
• 066a96f03f docs(infra): update node topology with rs-vps (netcup ARM64) Brandon Schneider 2026-05-29 14:26:46 -05:00
• aa689822e9 docs(infra): update node topology with rs-vps (netcup ARM64) Brandon Schneider 2026-05-29 14:26:46 -05:00
• 36ab63c537 docs(infra): update node topology with rs-vps (netcup ARM64) Brandon Schneider 2026-05-29 14:26:46 -05:00
• 750ffea1dd feat(infra): add netcup VPS flake (ARM64, NixOS 25.11) Brandon Schneider 2026-05-29 14:26:07 -05:00
• cd385afcdc feat(infra): add netcup VPS flake (ARM64, NixOS 25.11) Brandon Schneider 2026-05-29 14:26:07 -05:00
• a5763fed22 feat(infra): add netcup VPS flake (ARM64, NixOS 25.11) Brandon Schneider 2026-05-29 14:26:07 -05:00
• af2fa96c35 feat(shim): add pylsp_trivial_detector plugin Brandon Schneider 2026-05-29 13:51:21 -05:00
• 5e12f21fa1 feat(shim): add pylsp_trivial_detector plugin Brandon Schneider 2026-05-29 13:51:21 -05:00
• 9665bcce30 feat(shim): add pylsp_trivial_detector plugin Brandon Schneider 2026-05-29 13:51:21 -05:00
• 7037af42f3 feat: CopyIfTactic — native Lean 4 pre-filter tactic Brandon Schneider 2026-05-29 02:58:19 -05:00
• 49dbd48bf5 feat: CopyIfTactic — native Lean 4 pre-filter tactic Brandon Schneider 2026-05-29 02:58:19 -05:00
• 4fa257f4ab feat: CopyIfTactic — native Lean 4 pre-filter tactic Brandon Schneider 2026-05-29 02:58:19 -05:00
• 7047a770d1 feat: AlphaProof batch mode with copy-if pre-filter Brandon Schneider 2026-05-29 02:42:04 -05:00
• 48eb892f49 feat: AlphaProof batch mode with copy-if pre-filter Brandon Schneider 2026-05-29 02:42:04 -05:00
• f2955754b7 feat: AlphaProof batch mode with copy-if pre-filter Brandon Schneider 2026-05-29 02:42:04 -05:00
• feebe41d14 feat: Lean proof pre-filter (copy-if pattern for compilation) Brandon Schneider 2026-05-29 02:34:38 -05:00
• 42b5f7ea4f feat: Lean proof pre-filter (copy-if pattern for compilation) Brandon Schneider 2026-05-29 02:34:38 -05:00
• 6e15815c4d feat: Lean proof pre-filter (copy-if pattern for compilation) Brandon Schneider 2026-05-29 02:34:38 -05:00
• 7237b2e09b feat: vectorized delta+RLE via copy-if pattern (3.3x faster, 2.5x smaller) Brandon Schneider 2026-05-29 02:24:55 -05:00
• 2cf52fa913 feat: vectorized delta+RLE via copy-if pattern (3.3x faster, 2.5x smaller) Brandon Schneider 2026-05-29 02:24:55 -05:00
• e111aea7b4 feat: vectorized delta+RLE via copy-if pattern (3.3x faster, 2.5x smaller) Brandon Schneider 2026-05-29 02:24:55 -05:00
• 18963e7053 docs: mark AWS instances as shut down, self-hosted bare metal only Brandon Schneider 2026-05-29 02:09:46 -05:00
• 9e83514070 docs: mark AWS instances as shut down, self-hosted bare metal only Brandon Schneider 2026-05-29 02:09:46 -05:00
• ea6177e3a4 docs: mark AWS instances as shut down, self-hosted bare metal only Brandon Schneider 2026-05-29 02:09:46 -05:00
• bd5eaadce9 fix: force production LE CA in Caddy + racknerd TLS deploy script Brandon Schneider 2026-05-29 02:07:18 -05:00
• d0da687495 fix: force production LE CA in Caddy + racknerd TLS deploy script Brandon Schneider 2026-05-29 02:07:18 -05:00
• c57bff4e4e fix: force production LE CA in Caddy + racknerd TLS deploy script Brandon Schneider 2026-05-29 02:07:18 -05:00
• 00e88b53a3 feat(infra): add DSP node schema and flac_dsp_node.py shim Brandon Schneider 2026-05-29 01:31:13 -05:00
• 093d8ef43f feat(infra): add DSP node schema and flac_dsp_node.py shim Brandon Schneider 2026-05-29 01:31:13 -05:00
• 1b35567843 feat(infra): add DSP node schema and flac_dsp_node.py shim Brandon Schneider 2026-05-29 01:31:13 -05:00
• 7a6df586b2 docs: runbook, FPGA programming guide, disaster recovery, API docs Brandon Schneider 2026-05-29 01:26:41 -05:00
• 48896f8f91 docs: runbook, FPGA programming guide, disaster recovery, API docs Brandon Schneider 2026-05-29 01:26:41 -05:00
• 97c6d99b5f docs: runbook, FPGA programming guide, disaster recovery, API docs Brandon Schneider 2026-05-29 01:26:41 -05:00
• 251ea9d9bf docs: comprehensive infrastructure documentation Brandon Schneider 2026-05-29 01:12:18 -05:00
• d9ca72db42 docs: comprehensive infrastructure documentation Brandon Schneider 2026-05-29 01:12:18 -05:00
• e12580e8a7 docs: comprehensive infrastructure documentation Brandon Schneider 2026-05-29 01:12:18 -05:00
• b4133d70b5 docs: enforce lean-proof skill + no-float rule in AGENTS.md Ground Rules Brandon Schneider 2026-05-29 00:06:12 -05:00
• 58db0fbada docs: enforce lean-proof skill + no-float rule in AGENTS.md Ground Rules Brandon Schneider 2026-05-29 00:06:12 -05:00
• 2f093e7bad docs: enforce lean-proof skill + no-float rule in AGENTS.md Ground Rules Brandon Schneider 2026-05-29 00:06:12 -05:00
• 9596c78ab9 fix: UART bug (retransmit) + auto-start + LED heartbeat + sim verification Brandon Schneider 2026-05-28 21:42:11 -05:00
• 270ef14e21 fix: UART bug (retransmit) + auto-start + LED heartbeat + sim verification Brandon Schneider 2026-05-28 21:42:11 -05:00
• 149f9df6f6 fix: UART bug (retransmit) + auto-start + LED heartbeat + sim verification Brandon Schneider 2026-05-28 21:42:11 -05:00
• b6f0423f30 test: FPGA test suite — 12/12 pass Brandon Schneider 2026-05-28 19:57:45 -05:00
• dbf67ab130 test: FPGA test suite — 12/12 pass Brandon Schneider 2026-05-28 19:57:45 -05:00
• 9e13946972 test: FPGA test suite — 12/12 pass Brandon Schneider 2026-05-28 19:57:45 -05:00
• ff1dab40bc feat: particle physics pipeline — LadderBraid, PenguinDecay, RRC, PhysicsPipeline Brandon Schneider 2026-05-28 19:43:39 -05:00
• 456aa26b77 feat: particle physics pipeline — LadderBraid, PenguinDecay, RRC, PhysicsPipeline Brandon Schneider 2026-05-28 19:43:39 -05:00
• badec5b96a feat: particle physics pipeline — LadderBraid, PenguinDecay, RRC, PhysicsPipeline Brandon Schneider 2026-05-28 19:43:39 -05:00
• 4126074d24 feat: DegeneracyConversion — unified gate condition from particle physics Brandon Schneider 2026-05-28 19:40:47 -05:00
• 42884cff2b feat: DegeneracyConversion — unified gate condition from particle physics Brandon Schneider 2026-05-28 19:40:47 -05:00
• 04b87ca00c feat: DegeneracyConversion — unified gate condition from particle physics Brandon Schneider 2026-05-28 19:40:47 -05:00
• 73b2c3ba32 feat: particle physics LUT — 50 years of PDG data as Q16_16 BRAM tables Brandon Schneider 2026-05-28 19:26:27 -05:00
• 096a566aaf feat: particle physics LUT — 50 years of PDG data as Q16_16 BRAM tables Brandon Schneider 2026-05-28 19:26:27 -05:00
• 678d874e71 feat: particle physics LUT — 50 years of PDG data as Q16_16 BRAM tables Brandon Schneider 2026-05-28 19:26:27 -05:00
• 5698d6e54b feat: Tailscale graceful degradation — chain never fails Brandon Schneider 2026-05-28 19:19:14 -05:00
• 159ba50059 feat: Tailscale graceful degradation — chain never fails Brandon Schneider 2026-05-28 19:19:14 -05:00
• 991818bb70 feat: Tailscale graceful degradation — chain never fails Brandon Schneider 2026-05-28 19:19:14 -05:00
• eeec672dc7 feat: network latency as coursing agent in RouteCost Brandon Schneider 2026-05-28 19:16:00 -05:00
• f5bc4ab941 feat: network latency as coursing agent in RouteCost Brandon Schneider 2026-05-28 19:16:00 -05:00
• 99417786be feat: network latency as coursing agent in RouteCost Brandon Schneider 2026-05-28 19:16:00 -05:00
• 49e7422085 feat: Laplace cofactor identity formalized in AdjugateMatrix.lean Brandon Schneider 2026-05-28 18:58:07 -05:00
• b220511fa0 feat: Laplace cofactor identity formalized in AdjugateMatrix.lean Brandon Schneider 2026-05-28 18:58:07 -05:00
• 6bcd5fdabd feat: Laplace cofactor identity formalized in AdjugateMatrix.lean Brandon Schneider 2026-05-28 18:58:07 -05:00
• c5638c5412 feat: PrimitiveMatrix — division-free matrix inversion via common denominator Brandon Schneider 2026-05-28 18:07:56 -05:00
• 0d3e1bf7ad feat: PrimitiveMatrix — division-free matrix inversion via common denominator Brandon Schneider 2026-05-28 18:07:56 -05:00
• e479e006e7 feat: PrimitiveMatrix — division-free matrix inversion via common denominator Brandon Schneider 2026-05-28 18:07:56 -05:00
• dac28c1b52 docs: sync all editor rules, opencode agents, and sorry audit Brandon Schneider 2026-05-28 17:53:54 -05:00
• 879ef8f522 docs: sync all editor rules, opencode agents, and sorry audit Brandon Schneider 2026-05-28 17:53:54 -05:00
• 40140c1cca docs: sync all editor rules, opencode agents, and sorry audit Brandon Schneider 2026-05-28 17:53:54 -05:00
• a56a3461ad fix: HyperbolicStateSurface TODO + AdjugateMatrix approximate/exact variants Brandon Schneider 2026-05-28 17:49:11 -05:00
• 259e196e46 fix: HyperbolicStateSurface TODO + AdjugateMatrix approximate/exact variants Brandon Schneider 2026-05-28 17:49:11 -05:00
• c59e1f8b66 fix: HyperbolicStateSurface TODO + AdjugateMatrix approximate/exact variants Brandon Schneider 2026-05-28 17:49:11 -05:00
• fdb33aa08e fix: braid_search.py QUBO/soliton from float to Q16_16 integer arithmetic Brandon Schneider 2026-05-28 17:47:40 -05:00
• f8554a3736 fix: braid_search.py QUBO/soliton from float to Q16_16 integer arithmetic Brandon Schneider 2026-05-28 17:47:40 -05:00
• 8ce0185a54 fix: braid_search.py QUBO/soliton from float to Q16_16 integer arithmetic Brandon Schneider 2026-05-28 17:47:40 -05:00
• cb24bbbc9d fix(lean): resolve Q16_16 obstruction in det_self_inverse Brandon Schneider 2026-05-28 17:46:53 -05:00
• 0a4f46f72a fix(lean): resolve Q16_16 obstruction in det_self_inverse Brandon Schneider 2026-05-28 17:46:53 -05:00
• d24e4d3fe7 fix(lean): resolve Q16_16 obstruction in det_self_inverse Brandon Schneider 2026-05-28 17:46:53 -05:00
• 1d91183d1b fix: reed_solomon_vcn decode_rs return type (tuple → bytes extraction) Brandon Schneider 2026-05-28 17:35:55 -05:00
• fb58e2c156 fix: reed_solomon_vcn decode_rs return type (tuple → bytes extraction) Brandon Schneider 2026-05-28 17:35:55 -05:00
• 2e3cef3ede fix: reed_solomon_vcn decode_rs return type (tuple → bytes extraction) Brandon Schneider 2026-05-28 17:35:55 -05:00
• 6962a7fcac docs: update SORRY_AUDIT — 40→5 sorries (87.5% reduction) Brandon Schneider 2026-05-28 17:25:46 -05:00
• a89b475f6b docs: update SORRY_AUDIT — 40→5 sorries (87.5% reduction) Brandon Schneider 2026-05-28 17:25:46 -05:00
• 535ce01030 docs: update SORRY_AUDIT — 40→5 sorries (87.5% reduction) Brandon Schneider 2026-05-28 17:25:46 -05:00
• 88b944aace docs: AdjugateMatrix det_self_inverse — Q16_16 obstruction documented Brandon Schneider 2026-05-28 17:21:28 -05:00
• cf35583d17 docs: AdjugateMatrix det_self_inverse — Q16_16 obstruction documented Brandon Schneider 2026-05-28 17:21:28 -05:00
• 259d048350 docs: AdjugateMatrix det_self_inverse — Q16_16 obstruction documented Brandon Schneider 2026-05-28 17:21:28 -05:00
• c7db0e66a5 fix: eliminate 2 sorries (BraidBitwiseODE + MeshRouting) Brandon Schneider 2026-05-28 17:19:12 -05:00
• bf22d432b4 fix: eliminate 2 sorries (BraidBitwiseODE + MeshRouting) Brandon Schneider 2026-05-28 17:19:12 -05:00
• c869b92f0b fix: eliminate 2 sorries (BraidBitwiseODE + MeshRouting) Brandon Schneider 2026-05-28 17:19:12 -05:00
• 6bf0445031 fix: update Sidon tests for Mian-Chowla API (68/68 pass) Brandon Schneider 2026-05-28 17:06:40 -05:00
• d956ac7583 fix: update Sidon tests for Mian-Chowla API (68/68 pass) Brandon Schneider 2026-05-28 17:06:40 -05:00
• 3e2eda8892 fix: update Sidon tests for Mian-Chowla API (68/68 pass) Brandon Schneider 2026-05-28 17:06:40 -05:00
• bcc40a8318 feat: golden ratio unit separation + dense Sidon sets from sum-product disproof Brandon Schneider 2026-05-28 17:01:25 -05:00
• 0c176b6e52 feat: golden ratio unit separation + dense Sidon sets from sum-product disproof Brandon Schneider 2026-05-28 17:01:25 -05:00
• af2669435f feat: golden ratio unit separation + dense Sidon sets from sum-product disproof Brandon Schneider 2026-05-28 17:01:25 -05:00
• 230a8075f3 feat: dense Sidon sets from sum-product conjecture disproof Brandon Schneider 2026-05-28 16:57:35 -05:00