Commits

Branch selector

 main

User selector

Mnehmos

All time

Commit History

Commits on Mar 9, 2026

• docs(claude): update current state after default branch switch to main

  Show description for 1b6e02e
  

  Mnehmos

  and

  claude

  committed
  1b6e02e

  Copy full SHA for 1b6e02e

• merge: incorporate main branch content (lean-checker, docs, patterns)

  Show description for 216c57b
  

  Mnehmos

  and

  claude

  committed
  216c57b

  Copy full SHA for 216c57b

• docs(claude): expand Gitflow branch model and TDD enforcement

  Show description for 4684f54
  

  Mnehmos

  and

  claude

  committed
  4684f54

  Copy full SHA for 4684f54

• Merge pull request #8 from Mnehmos/fix/4-profile-panel-phantom-field

  Show description for 0676c41
  Mnehmos

  authored
  0676c41

  Copy full SHA for 0676c41

• Merge pull request #7 from Mnehmos/fix/3-obligation-lanes-cap

  Show description for d3a03d1
  Mnehmos

  authored
  d3a03d1

  Copy full SHA for d3a03d1

• Merge pull request #6 from Mnehmos/fix/2-attempt-detail-mock

  Show description for 9119c70
  Mnehmos

  authored
  9119c70

  Copy full SHA for 9119c70

• Merge pull request #5 from Mnehmos/fix/1-workspace-store-mock

  Show description for de0e9f8
  Mnehmos

  authored
  de0e9f8

  Copy full SHA for de0e9f8

• fix(test): remove phantom reasoning_level assertion from profile test

  Show description for 0ea28c8
  

  Mnehmos

  and

  claude

  committed
  0ea28c8

  Copy full SHA for 0ea28c8

• fix(test): remove obsolete obligation lane cap assertion

  Show description for 0cb9237
  

  Mnehmos

  and

  claude

  committed
  0cb9237

  Copy full SHA for 0cb9237

• fix(component): add missing attempts array to AttemptDetail test mock

  Show description for dd9bc8c
  

  Mnehmos

  and

  claude

  committed
  dd9bc8c

  Copy full SHA for dd9bc8c

• fix(store): mock getAttemptSteps in workspaceStore test

  Show description for ffaa23d
  

  Mnehmos

  and

  claude

  committed
  ffaa23d

  Copy full SHA for ffaa23d

• Add GitHub Pages showcase site

  Show description for b58d232
  

  Mnehmos

  and

  claude

  committed
  b58d232

  Copy full SHA for b58d232

• Training data quality, budget gate, technique taxonomy, tactic dispatch

  Show description for e89b617
  

  Mnehmos

  and

  claude

  committed
  e89b617

  Copy full SHA for e89b617

• Add lean-checker projects to monorepo

  Show description for f642ed5
  

  Mnehmos

  and

  claude

  committed
  f642ed5

  Copy full SHA for f642ed5

• Initial commit: ChatDB autonomous proof engine

  Show description for 8ca582f
  

  Mnehmos

  and

  claude

  committed
  8ca582f

  Copy full SHA for 8ca582f