Repository navigation

D5: execute reviewed graph fold and publish C6 bound - #151

Merged

d6g8k5htny-coder merged 15 commits into

mainfrom

codex/d5-graph-proof-index-20260929

Sep 30, 2026

Merged

D5: execute reviewed graph fold and publish C6 bound#151
d6g8k5htny-coder merged 15 commits into
mainfrom
codex/d5-graph-proof-index-20260929

Commits on Sep 29, 2026
- Execute reviewed D5 graph fold
  d6g8k5htny-coder
  committed
  5a878dc
- Publish reviewed D5 and C6 proof paths
  d6g8k5htny-coder
  committed
  506f315
- Record reviewed planar C6 upper bound
  d6g8k5htny-coder
  committed
  e613472
- Add D5 graph fold negative controls
  d6g8k5htny-coder
  committed
  07a6240
- Document D5 graph fold scope
  d6g8k5htny-coder
  committed
  f71fb6e
- Regenerate downstream gate result for D5 graph fold
  d6g8k5htny-coder
  committed
  4174623
- Rebind downstream gate sources after D5 graph fold
  d6g8k5htny-coder
  committed
  41fcd31
- Repair reviewed-region reporting after D5 graph fold
  d6g8k5htny-coder
  committed
  d3d8677
- Merge current Math main and reconcile D5 graph fold
  d6g8k5htny-coder
  committed
  8b6a9f2
- Merge branch 'main' into codex/d5-graph-proof-index-20260929
  d6g8k5htny-coder
  authored
  ab12c84
- Repair D5 catalog review crosswalk
  d6g8k5htny-coder
  committed
  42db0ef
- Mark historical C7 proposal refuted
  d6g8k5htny-coder
  committed
  573a510
- Correct C7 refutation provenance
  d6g8k5htny-coder
  committed
  64a170f
- Merge branch 'main' into codex/d5-graph-proof-index-20260929
  d6g8k5htny-coder
  authored
  aa0aa10
Commits on Sep 30, 2026
- Merge branch 'main' into codex/d5-graph-proof-index-20260929
  d6g8k5htny-coder
  authored
  609e559