allaun 558431fc45 feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults ... - Renamed Corpus278/Matrices278 to Corpus250/Matrices250 across all Lean modules, Python shims, JSON schemas, and documentation - Applied SLOS-calibrated defaults to braid_search.py: bracket_cost base=8x/16x, crossing_penalty gap_reward=0.01 - Synced same defaults to research-compute-fabric submodule - Updated Burgers 0D defaults: nu=0.9995, advection=0.075 - Fixed 278→250 refs in pist_predictions JSON (claim_boundary, total) - Fixed stale schema refs in .devin/skills/lean-proof/SKILL.md - Updated AGENTS.md build baselines to post-clean counts (3314 jobs) - Updated lake-manifest.json sparkle rev to match lakefile.toml - Fixed Q16_16 signed conversion bug in qaoa_adapter tunable costs - NBody.lean: pre-existing dirty changes (introN failures, NOT our work) Build: 3314 jobs, 0 errors (lake build Compiler)		2026-06-18 22:16:52 -05:00
..
hooks	chore(devin): UserPromptSubmit hook — programming choice flow reminder	2026-05-26 22:27:41 -05:00
skills/lean-proof	feat(lean,infra): Corpus278→250 rename + SLOS-calibrated braid defaults	2026-06-18 22:16:52 -05:00
config.json	chore(devin): UserPromptSubmit hook — programming choice flow reminder	2026-05-26 22:27:41 -05:00