Repository navigation

Formal gate: reject hidden/unregistered Lean declarations - #312

Open

d6g8k5htny-coder wants to merge 34 commits into

mainfrom

chatgpt/formal-admission-hardening-20261005

Open

Formal gate: reject hidden/unregistered Lean declarations#312
d6g8k5htny-coder wants to merge 34 commits into
mainfrom
chatgpt/formal-admission-hardening-20261005

Commits on Oct 6, 2026
- test(formal): expose declaration-admission blind spots
  d6g8k5htny-coder
  committed
  82f4de1
- formal: harden source declaration admission
  d6g8k5htny-coder
  committed
  73c30c0
- test(formal): repin hardened gate
  d6g8k5htny-coder
  committed
  2f21eaf
- test(formal): repin hardened gate
  d6g8k5htny-coder
  committed
  369c81d
- docs(formal): document declaration admission
  d6g8k5htny-coder
  committed
  a316fe0
- docs(formal): remove stale suite count
  d6g8k5htny-coder
  committed
  8c1231b
- docs(formal): record RF-GATE-01 hardening
  d6g8k5htny-coder
  committed
  f5c9dff
- formal: bind declaration admission controls
  d6g8k5htny-coder
  committed
  81078fa
- fix(formal): repair declaration scanner helper
  d6g8k5htny-coder
  committed
  9f71025
- test(formal): repin final hardened gate
  d6g8k5htny-coder
  committed
  8bd9153
- test(formal): repin final hardened gate
  d6g8k5htny-coder
  committed
  40d1716
- test(formal): repin final hardened gate
  d6g8k5htny-coder
  committed
  419d369
- test(formal): repin final hardened gate
  d6g8k5htny-coder
  committed
  943466c
- test(formal): repin final hardened gate
  d6g8k5htny-coder
  committed
  4fe469d
- formal: bind final declaration-admission bytes
  d6g8k5htny-coder
  committed
  c7555fe
- fix(formal): remove orphaned predecessor tail
  d6g8k5htny-coder
  committed
  b07e063
- test(formal): repin repaired admission gate
  d6g8k5htny-coder
  committed
  4224142
- test(formal): repin repaired admission gate
  d6g8k5htny-coder
  committed
  6a43eed
- test(formal): repin repaired admission gate
  d6g8k5htny-coder
  committed
  0a131f7
- test(formal): repin repaired admission gate
  d6g8k5htny-coder
  committed
  1c7dad3
- test(formal): repin repaired admission gate
  d6g8k5htny-coder
  committed
  8a9e3ba
- formal: bind repaired admission gate
  d6g8k5htny-coder
  committed
  3eaf30b
- fix(formal): correct raw-regex escapes
  d6g8k5htny-coder
  committed
  b3e44d6
- fix(formal): use intended regex escapes
  d6g8k5htny-coder
  committed
  40484e3
- test(formal): repin corrected admission gate
  d6g8k5htny-coder
  committed
  d279f1e
- test(formal): repin corrected admission gate
  d6g8k5htny-coder
  committed
  b5c9712
- test(formal): repin corrected admission gate
  d6g8k5htny-coder
  committed
  6f457c8
- test(formal): repin corrected admission gate
  d6g8k5htny-coder
  committed
  3a71f73
- test(formal): repin corrected admission gate
  d6g8k5htny-coder
  committed
  380b1ba
- formal: bind final RF-GATE-01 repair
  d6g8k5htny-coder
  committed
  38ec7fc
Commits on Oct 25, 2026
- RF-GATE-01: incorporate reviewed compiled inventory on current main
  d6g8k5htny-coder
  committed
  1fa9023
- RF312: fix helper loading and bind actual compatibility bytes
  d6g8k5htny-coder
  committed
  e8f4387
Commits on Oct 26, 2026
- RF312: make the layered gate observe the effective ROOT; synthetic fixtures emit the inventory
  claude
  committed
  2e49c1d
- Merge Math- main (7d63d08f) into chatgpt/formal-admission-hardening-20261005: base-only refresh
  claude
  committed
  66d66e4

Commits

Commits on Oct 6, 2026

Commits on Oct 25, 2026

Commits on Oct 26, 2026