Repository navigation

Enforce complexity/linearity lens family whole-corpus (audit-first) - #5967

Merged

briansrls merged 30 commits into

mainfrom

session/nimble-ibex-655

Jun 30, 2026

Merged

Enforce complexity/linearity lens family whole-corpus (audit-first)#5967
briansrls merged 30 commits into
mainfrom
session/nimble-ibex-655

Commits on Jun 30, 2026
- WIP: Enforce complexity/linearity lens family whole-corpus (audit-first)
  briansrls
  committed
  1e32033
- Link roadmap authority to complexity/linearity family audit plan.
  
  briansrls
  and
  cursoragent
  committed
  6fec541
- Replace design-doc audit with parse-only whole-corpus harness.
  
  briansrls
  and
  cursoragent
  committed
  639a827
- Fix CI: construction_justification on audit lens and rustfmt.
  
  briansrls
  and
  cursoragent
  committed
  d359364
- Fix regen_verify gate: wire audit builtins through stage0 authority.
  
  briansrls
  and
  cursoragent
  committed
  037fe55
- Elevate roster-fiction quantification and eval-interpreter triage in audit.
  
  briansrls
  and
  cursoragent
  committed
  2777bfa
- Fix CI OOM: stream decl_facts audit walk and slim witness cache.
  
  briansrls
  and
  cursoragent
  committed
  93f8732
- Address #33374 review: triage cleanup, dissolution markers, cache docs.
  
  briansrls
  and
  cursoragent
  committed
  2f8f2ab
- Add SCAFFOLD receipts for complexity/linearity audit hand-Rust bridge.
  
  briansrls
  and
  cursoragent
  committed
  11e9c87
- Address #33390 review: document gate-promotion predicate requirement.
  
  briansrls
  and
  cursoragent
  committed
  05b2fe5
- Revert accidental Wave 1 grammar-ladder fold from #5967.
  
  briansrls
  and
  cursoragent
  committed
  bee8ff7
- Add irreducible residue catalogue for operator permanent sign-off.
  
  briansrls
  and
  cursoragent
  committed
  2a34474
- Fix CI: wire irreducible residue catalogue into ROADMAP reachability.
  
  briansrls
  and
  cursoragent
  committed
  8181724
- Complete syntactic audit triage: classify 278 pending sites to zero.
  
  briansrls
  and
  cursoragent
  committed
  7bef4b7
- Add real-debt syntactic sample audit for honest N=318 headline.
  
  briansrls
  and
  cursoragent
  committed
  d65e9d8
- Fix CI: wire real-debt syntactic sample audit into ROADMAP.
  
  briansrls
  and
  cursoragent
  committed
  471b70a
- Fix CI: rustfmt drift in audit and roster partition files.
  
  briansrls
  and
  cursoragent
  committed
  7ec53ef
- Ground syntactic triage on closed-coproduct filter; enroll 6 sites.
  
  briansrls
  and
  cursoragent
  committed
  15552f9
- Remove dead is_open_domain_site after closed-coproduct triage.
  
  briansrls
  and
  cursoragent
  committed
  b2ed506
- Wave 1 PROPOSE: exhaustive terminal table for grammar-ladder fns. (#5995)
  
  committed
  a18e775
- Fix CI: remove illegal // comments from .dag lens and witnesses.
  
  briansrls
  and
  cursoragent
  committed
  3ce812d
- Reconcile ROADMAP-linked docs with landed closed-coproduct triage.
  
  briansrls
  and
  cursoragent
  committed
  47ee16f
- Fix N=29 stale headline in sample-audit doc (now N=24).
  
  briansrls
  and
  cursoragent
  committed
  c2c1580
- Simplify dead branch in coproduct name scanner.
  
  briansrls
  and
  cursoragent
  committed
  946513a
- Fix ROADMAP.md generated-artifact drift for erg-nonfold-audit carriers.
  
  briansrls
  and
  cursoragent
  committed
  c541652
- Remove dead triage_wildcard substring backstops; document triage_complexity residue.
  
  briansrls
  and
  cursoragent
  committed
  e25b1ff
- Retrigger CI after runner rustup/sccache infra flake on 20847c7.
  
  briansrls
  and
  cursoragent
  committed
  c6c1238
- Fix rustfmt drift in stage0 audit modules after main rebase.
  
  briansrls
  and
  cursoragent
  committed
  42ba5ab
- Fix rebase fallout: dedupe cli_run imports and rustfmt after main merge.
  
  briansrls
  and
  cursoragent
  committed
  a083400
- Remove dead corpus_dag_files helpers after module_path_index migration.
  
  briansrls
  and
  cursoragent
  committed
  a0bcd36

Commits

Commits on Jun 30, 2026