Repository navigation

Formal gate: reject ambiguous declared proposers and preserve source-bound review checks - #283

Merged

d6g8k5htny-coder merged 2 commits into

mainfrom

chatgpt/alignment-lineage-hardening-20261005

Oct 5, 2026

Merged

Formal gate: reject ambiguous declared proposers and preserve source-bound review checks#283
d6g8k5htny-coder merged 2 commits into
mainfrom
chatgpt/alignment-lineage-hardening-20261005

Commits on Oct 5, 2026
- Harden declared alignment lineage without changing Lean proofs
  d6g8k5htny-coder
  committed
  dc5ebe4
- Merge branch 'main' into chatgpt/alignment-lineage-hardening-20261005
  d6g8k5htny-coder
  authored
  657c7ea