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

• b0254082c4 refactor(lean): replace native_decide with decide in PIST.Repair invariants Brandon Schneider 2026-05-26 23:34:55 -05:00
• 3a44048b22 feat(lean): port route_repair_v14a rank_patches to Semantics.PIST.Repair Brandon Schneider 2026-05-26 23:32:36 -05:00
• 34f58d12d9 feat(lean): port route_repair_v14a rank_patches to Semantics.PIST.Repair Brandon Schneider 2026-05-26 23:32:36 -05:00
• 003b589120 feat(lean): port route_repair_v14a rank_patches to Semantics.PIST.Repair Brandon Schneider 2026-05-26 23:32:36 -05:00
• 4a72ad1183 feat(lean): port pist_trace_classify_mcp spectral logic to Semantics.PIST.Spectral Brandon Schneider 2026-05-26 23:25:50 -05:00
• 8ee3d431d2 feat(lean): port pist_trace_classify_mcp spectral logic to Semantics.PIST.Spectral Brandon Schneider 2026-05-26 23:25:50 -05:00
• 5b4baf2c14 feat(lean): port pist_trace_classify_mcp spectral logic to Semantics.PIST.Spectral Brandon Schneider 2026-05-26 23:25:50 -05:00
• 835299fd9a fix(lean+shim): enforce lean-coding rules across audit surface Brandon Schneider 2026-05-26 23:17:40 -05:00
• f9b5ac25fb fix(lean+shim): enforce lean-coding rules across audit surface Brandon Schneider 2026-05-26 23:17:40 -05:00
• 3d49071168 fix(lean+shim): enforce lean-coding rules across audit surface Brandon Schneider 2026-05-26 23:17:40 -05:00
• a9a67222be feat(skills): extend lean-proof skill with anti-drift rules Brandon Schneider 2026-05-26 22:52:52 -05:00
• 9f79dabb82 feat(skills): extend lean-proof skill with anti-drift rules Brandon Schneider 2026-05-26 22:52:52 -05:00
• 32346ad75f feat(skills): extend lean-proof skill with anti-drift rules Brandon Schneider 2026-05-26 22:52:52 -05:00
• f2351676b5 feat(skills): add lean-proof skill with proof quality contract Brandon Schneider 2026-05-26 22:50:27 -05:00
• 0d24ede13f feat(skills): add lean-proof skill with proof quality contract Brandon Schneider 2026-05-26 22:50:27 -05:00
• 8d789a2fd3 feat(skills): add lean-proof skill with proof quality contract Brandon Schneider 2026-05-26 22:50:27 -05:00
• e0935f01e0 feat(lean): port receipt-density scoring to Semantics.RRC.ReceiptDensity Brandon Schneider 2026-05-26 22:48:55 -05:00
• d1017fbbbd feat(lean): port receipt-density scoring to Semantics.RRC.ReceiptDensity Brandon Schneider 2026-05-26 22:48:55 -05:00
• a3c7457242 feat(lean): port receipt-density scoring to Semantics.RRC.ReceiptDensity Brandon Schneider 2026-05-26 22:48:55 -05:00
• 6679908f7b fix(arch): enforce Lean-first hierarchy across project — remove all secondary-Lean language Brandon Schneider 2026-05-26 22:40:03 -05:00
• eafbee22b7 fix(arch): enforce Lean-first hierarchy across project — remove all secondary-Lean language Brandon Schneider 2026-05-26 22:40:03 -05:00
• 677aecc846 fix(arch): enforce Lean-first hierarchy across project — remove all secondary-Lean language Brandon Schneider 2026-05-26 22:40:03 -05:00
• 3044f36df7 docs(agents): project-wide AGENTS.md audit — cross-refs, baseline, contracts Brandon Schneider 2026-05-26 22:34:46 -05:00
• 747045ff0f docs(agents): project-wide AGENTS.md audit — cross-refs, baseline, contracts Brandon Schneider 2026-05-26 22:34:46 -05:00
• beedfe6a9f docs(agents): project-wide AGENTS.md audit — cross-refs, baseline, contracts Brandon Schneider 2026-05-26 22:34:46 -05:00
• 49f0dfb31a chore(infra): stage pist canary labeling and training shims + flexure report Brandon Schneider 2026-05-26 22:32:13 -05:00
• ff8e71fa8d chore(infra): stage pist canary labeling and training shims + flexure report Brandon Schneider 2026-05-26 22:32:13 -05:00
• 0ed30f763d chore(infra): stage pist canary labeling and training shims + flexure report Brandon Schneider 2026-05-26 22:32:13 -05:00
• 7585388386 chore(devin): UserPromptSubmit hook — programming choice flow reminder Brandon Schneider 2026-05-26 22:27:41 -05:00
• 7e89f5edce chore(devin): UserPromptSubmit hook — programming choice flow reminder Brandon Schneider 2026-05-26 22:27:41 -05:00
• 2eb2f986c9 chore(devin): UserPromptSubmit hook — programming choice flow reminder Brandon Schneider 2026-05-26 22:27:41 -05:00
• d3e18e88f0 docs(agents): add programming choice flow to post-interaction workflow Brandon Schneider 2026-05-26 22:26:16 -05:00
• 4011b6637c docs(agents): add programming choice flow to post-interaction workflow Brandon Schneider 2026-05-26 22:26:16 -05:00
• f6b37c1a5f docs(agents): add programming choice flow to post-interaction workflow Brandon Schneider 2026-05-26 22:26:16 -05:00
• 0a70ba80fe docs(agents): post-interaction workflow + Compiler surface update Brandon Schneider 2026-05-26 22:25:26 -05:00
• 36b92418a0 docs(agents): post-interaction workflow + Compiler surface update Brandon Schneider 2026-05-26 22:25:26 -05:00
• 4355fec539 docs(agents): post-interaction workflow + Compiler surface update Brandon Schneider 2026-05-26 22:25:26 -05:00
• 3f923e2c13 feat(rrc): 278-equation corpus — AVM sole output boundary, RRC classifier feeds it Brandon Schneider 2026-05-26 22:23:56 -05:00
• 81a61b6944 feat(rrc): 278-equation corpus — AVM sole output boundary, RRC classifier feeds it Brandon Schneider 2026-05-26 22:23:56 -05:00
• f6f14d4d54 feat(rrc): 278-equation corpus — AVM sole output boundary, RRC classifier feeds it Brandon Schneider 2026-05-26 22:23:56 -05:00
• 95e6cef58d chore(lean): consolidate Compiler surface + goldenContractionEnergyDecrease fix Brandon Schneider 2026-05-26 22:05:46 -05:00
• 8b8d4deb31 chore(lean): consolidate Compiler surface + goldenContractionEnergyDecrease fix Brandon Schneider 2026-05-26 22:05:46 -05:00
• ffa905bc16 chore(lean): consolidate Compiler surface + goldenContractionEnergyDecrease fix Brandon Schneider 2026-05-26 22:05:46 -05:00
• 7c2d628f7a fix(lean): full lake build green — quarantine 29 probe stubs + 3 Lean 4.30 fixes Brandon Schneider 2026-05-26 21:59:16 -05:00
• ad6f7af2f5 fix(lean): full lake build green — quarantine 29 probe stubs + 3 Lean 4.30 fixes Brandon Schneider 2026-05-26 21:59:16 -05:00
• 20501a76d8 fix(lean): full lake build green — quarantine 29 probe stubs + 3 Lean 4.30 fixes Brandon Schneider 2026-05-26 21:59:16 -05:00
• c16a5610e8 feat(rrc): Goal A+ — Semantics.RRC.Emit; fixture corpus → alignment gate → JSON Brandon Schneider 2026-05-26 21:51:45 -05:00
• a478af98be feat(rrc): Goal A+ — Semantics.RRC.Emit; fixture corpus → alignment gate → JSON Brandon Schneider 2026-05-26 21:51:45 -05:00
• 4fc9903535 feat(rrc): Goal A+ — Semantics.RRC.Emit; fixture corpus → alignment gate → JSON Brandon Schneider 2026-05-26 21:51:45 -05:00
• 9b23450536 feat(avm-isa): Goal A — AVMIsa.Emit wires canary → RRC → JSON; clear build red Brandon Schneider 2026-05-26 21:46:22 -05:00
• c6343e7a51 feat(avm-isa): Goal A — AVMIsa.Emit wires canary → RRC → JSON; clear build red Brandon Schneider 2026-05-26 21:46:22 -05:00
• 87dfc870b2 feat(avm-isa): Goal A — AVMIsa.Emit wires canary → RRC → JSON; clear build red Brandon Schneider 2026-05-26 21:46:22 -05:00
• 5290413080 fix(avm-isa): stabilize AVMIsa + PIST.Trace build; canary #eval fires clean Brandon Schneider 2026-05-26 21:39:46 -05:00
• 7047363fdd fix(avm-isa): stabilize AVMIsa + PIST.Trace build; canary #eval fires clean Brandon Schneider 2026-05-26 21:39:46 -05:00
• ce30bea88f fix(avm-isa): stabilize AVMIsa + PIST.Trace build; canary #eval fires clean Brandon Schneider 2026-05-26 21:39:46 -05:00
• 2a2aa0535f feat(pist): remove dead PISTMachine root; add Trace tactic module Brandon Schneider 2026-05-26 21:32:41 -05:00
• 8de7558ba0 feat(pist): remove dead PISTMachine root; add Trace tactic module Brandon Schneider 2026-05-26 21:32:41 -05:00
• 97c696b7f7 feat(pist): remove dead PISTMachine root; add Trace tactic module Brandon Schneider 2026-05-26 21:32:41 -05:00
• 2d19317660 Merge remote-tracking branch 'github/main' Brandon Schneider 2026-05-26 21:30:45 -05:00
• 3a23ad6b9e Merge remote-tracking branch 'github/main' Brandon Schneider 2026-05-26 21:30:45 -05:00
• a48847b03e Merge remote-tracking branch 'github/main' Brandon Schneider 2026-05-26 21:30:45 -05:00
• f1d9253696 chore(tests): gitignore Playwright test-results and node_modules Brandon Schneider 2026-05-26 21:12:00 -05:00
• a441c22dae chore(tests): gitignore Playwright test-results and node_modules Brandon Schneider 2026-05-26 21:12:00 -05:00
• d5d162f7f2 chore(tests): gitignore Playwright test-results and node_modules Brandon Schneider 2026-05-26 21:12:00 -05:00
• 7f64942fd2 chore(infra): add internal routing smoke-test script Brandon Schneider 2026-05-26 21:08:58 -05:00
• aae680ad3c chore(infra): add internal routing smoke-test script Brandon Schneider 2026-05-26 21:08:58 -05:00
• 4739e34b3c chore(infra): add internal routing smoke-test script Brandon Schneider 2026-05-26 21:08:58 -05:00
• 6ca8fd439b feat(k3s-edge): rewrite edge Caddy as dumb TLS forwarder + legacy 301s Brandon Schneider 2026-05-26 21:04:17 -05:00
• 8d1d94b256 feat(k3s-edge): rewrite edge Caddy as dumb TLS forwarder + legacy 301s Brandon Schneider 2026-05-26 21:04:17 -05:00
• f9a5f4473b feat(k3s-edge): rewrite edge Caddy as dumb TLS forwarder + legacy 301s Brandon Schneider 2026-05-26 21:04:17 -05:00
• cfa43cf07f feat(k3s-server): Traefik NodePort + host Caddy pass-through (internal-only) Brandon Schneider 2026-05-26 21:03:54 -05:00
• 38f1022a20 feat(k3s-server): Traefik NodePort + host Caddy pass-through (internal-only) Brandon Schneider 2026-05-26 21:03:54 -05:00
• 679f4093cf feat(k3s-server): Traefik NodePort + host Caddy pass-through (internal-only) Brandon Schneider 2026-05-26 21:03:54 -05:00
• 5f372ea04d test(infra): add Playwright E2E routing test suite Brandon Schneider 2026-05-26 21:03:27 -05:00
• f49548fe85 test(infra): add Playwright E2E routing test suite Brandon Schneider 2026-05-26 21:03:27 -05:00
• c16f474865 test(infra): add Playwright E2E routing test suite Brandon Schneider 2026-05-26 21:03:27 -05:00
• 0b18745ae7 feat(mcp): route Lean-defined tools via external cmd map Allaun Silverfox 2026-05-26 18:58:49 -05:00
• a5e010f12c feat(mcp): route Lean-defined tools via external cmd map Allaun Silverfox 2026-05-26 18:58:49 -05:00
• 87f124f42a feat(mcp): route Lean-defined tools via external cmd map Allaun Silverfox 2026-05-26 18:58:49 -05:00
• 7c1d77a393 feat(mcp): route Lean-defined tools via external cmd map Allaun Silverfox 2026-05-26 18:58:49 -05:00
• 38b334c17a feat(runtime): register mcp_surface_router module Allaun Silverfox 2026-05-26 18:26:44 -05:00
• 342a7f475b feat(runtime): register mcp_surface_router module Allaun Silverfox 2026-05-26 18:26:44 -05:00
• 59886851d3 feat(runtime): register mcp_surface_router module Allaun Silverfox 2026-05-26 18:26:44 -05:00
• a6f3dee6bd feat(runtime): register mcp_surface_router module Allaun Silverfox 2026-05-26 18:26:44 -05:00
• 58d7e35c35 feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP) Allaun Silverfox 2026-05-26 18:25:03 -05:00
• 724c7a71ff feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP) Allaun Silverfox 2026-05-26 18:25:03 -05:00
• c155a51373 feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP) Allaun Silverfox 2026-05-26 18:25:03 -05:00
• 838d11c210 feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP) Allaun Silverfox 2026-05-26 18:25:03 -05:00
• 9284ac5966 feat(runtime): register ene_context_tools shim module Allaun Silverfox 2026-05-26 18:12:56 -05:00
• f4ef3622c3 feat(runtime): register ene_context_tools shim module Allaun Silverfox 2026-05-26 18:12:56 -05:00
• 52bb3fe674 feat(runtime): register ene_context_tools shim module Allaun Silverfox 2026-05-26 18:12:56 -05:00
• e9646b398f feat(runtime): register ene_context_tools shim module Allaun Silverfox 2026-05-26 18:12:56 -05:00
• e21e9c28cd feat(runtime): add ENE context tool dispatch shim (command-based) Allaun Silverfox 2026-05-26 18:11:39 -05:00
• 78268478e2 feat(runtime): add ENE context tool dispatch shim (command-based) Allaun Silverfox 2026-05-26 18:11:39 -05:00
• c6d24cc5c4 feat(runtime): add ENE context tool dispatch shim (command-based) Allaun Silverfox 2026-05-26 18:11:39 -05:00
• 92c7307a08 feat(runtime): add ENE context tool dispatch shim (command-based) Allaun Silverfox 2026-05-26 18:11:39 -05:00
• a7b5401c0e docs(runtime): update Lean manifest cmd example to ENE surface toolsJson Allaun Silverfox 2026-05-26 18:06:56 -05:00
• 2f6cc3aa88 docs(runtime): update Lean manifest cmd example to ENE surface toolsJson Allaun Silverfox 2026-05-26 18:06:56 -05:00
• d50699b619 docs(runtime): update Lean manifest cmd example to ENE surface toolsJson Allaun Silverfox 2026-05-26 18:06:56 -05:00
• 7f8f183c21 docs(runtime): update Lean manifest cmd example to ENE surface toolsJson Allaun Silverfox 2026-05-26 18:06:56 -05:00