Repository navigation

Raw source-bound diagnostic census + UnlistedImportUse emitter-defect repairs - #10890

Merged

briansrls merged 17 commits into

mainfrom

cursor/advisory-census-blocking-4cca

Sep 10, 2026

Merged

Raw source-bound diagnostic census + UnlistedImportUse emitter-defect repairs#10890
briansrls merged 17 commits into
mainfrom
cursor/advisory-census-blocking-4cca

Commits on Sep 9, 2026
- Restore the per-class advisory census as a rostered instrument target
  
  cursoragent
  and
  briansrls
  committed
  50f2244
- Flip the burndown sizing to the certified census; record per-class ceilings
  
  cursoragent
  and
  briansrls
  committed
  e4a6bb4
- Guard UnlistedImportUse against kernel-identity bindings; own infer_resolve in the v1-infer partition
  
  cursoragent
  and
  briansrls
  committed
  5805b7f
- Re-certify the burndown sizing after the kernel-identity guard; close the carve-out
  
  cursoragent
  and
  briansrls
  committed
  8bdc707
- Charge no UnlistedImportUse on imported-alias expansions; gather the infer stage into the v1-infer partition
  
  cursoragent
  and
  briansrls
  committed
  4df9f75
- Re-certify the burndown sizing after the field-access alias peel; record the second closed carve-out
  
  cursoragent
  and
  briansrls
  committed
  c7603fd
- Charge no UnlistedImportUse on import-declared qualified spellings
  
  cursoragent
  and
  briansrls
  committed
  e8df26f
- Read the regen round's observed executable digest from the bare-hash authority
  
  cursoragent
  and
  briansrls
  committed
  0580e1e
- Re-certify the burndown sizing after the qualified-spelling fold; record the third closed carve-out
  
  cursoragent
  and
  briansrls
  committed
  cbc0083
- Merge origin/main (f703f399) into the advisory-census branch
  
  cursoragent
  and
  briansrls
  committed
  4324076
- Add false-negative controls beside the three UnlistedImportUse emission repairs
  
  cursoragent
  and
  briansrls
  committed
  e64b569
- Anchor the alias-peel propagation control to the measured two-row anatomy
  
  cursoragent
  and
  briansrls
  committed
  612f04a
- Merge remote-tracking branch 'origin/main' into cursor/advisory-census-blocking-4cca
  
  cursoragent
  and
  briansrls
  committed
  64be0ef
- Handle ReleaseScopeEmpty in the infer_resolve rebuild-owner witness
  
  cursoragent
  and
  briansrls
  committed
  b208392
- Rework the advisory census into a raw source-bound diagnostic census
  
  cursoragent
  and
  briansrls
  committed
  3add569
- Hoist an in-body source annotation to module-item grain
  
  cursoragent
  and
  briansrls
  committed
  cfa628a
Commits on Sep 10, 2026
- census: full gate disposition + severity, one policy snapshot, exact-vector digest, authority-derived schema
  
  cursoragent
  and
  briansrls
  committed
  09f56ef

Commits

Commits on Sep 9, 2026

Commits on Sep 10, 2026