Skip to content

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

Closed
gunbai-bot[bot] wants to merge 30 commits into
mainfrom
session/nimble-ibex-655
Closed

Enforce complexity/linearity lens family whole-corpus (audit-first)#6049
gunbai-bot[bot] wants to merge 30 commits into
mainfrom
session/nimble-ibex-655

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session nimble-ibex-655.
Pushing to session/nimble-ibex-655 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

briansrls and others added 30 commits June 30, 2026 20:47
@briansrls
WIP: Enforce complexity/linearity lens family whole-corpus (audit-first)
1e32033
@briansrls @cursoragent
Link roadmap authority to complexity/linearity family audit plan.
6fec541 
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Replace design-doc audit with parse-only whole-corpus harness.
639a827 
Ship emit-only complexity_linearity_audit bin over parse_dag_file (swaps to
decl_facts when #5966 merges), host builtins, and syntactic witnesses that
bite on real wildcard-match debt sites — not floor fail-closed yet.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI: construction_justification on audit lens and rustfmt.
d359364 
The new v2.lens.complexity_linearity_audit module must declare
construction_justification (WallAfterGrounding) for discovery-corpus
hygiene; apply cargo fmt to the audit host transport files.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix regen_verify gate: wire audit builtins through stage0 authority.
037fe55 
Register complexity_linearity host builtins in 04_method.dag, emit the
hand-maintained mod from 05_emit_rust.dag, and patch regen_stage0 so
lib.rs stays byte-identical with fresh self-compile.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Elevate roster-fiction quantification and eval-interpreter triage in …
2777bfa 
…audit.

Emit-only bin now prints fabricated-green headline (75/75 rostered residue;
floor RED on 75 if roster dropped) plus syntactic triage split:
eval-interpreter-debt, grammar-ladder-debt, kernel-permanent.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI OOM: stream decl_facts audit walk and slim witness cache.
93f8732 
Replace whole-corpus DeclFact materialization + cached AuditSummary with
per-file streaming projections and a lightweight site-set cache for host
builtins. Adds locked-shape decl_facts stub, roster migration/irreducible
partition, and regen hand-maintained wiring.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Address #33374 review: triage cleanup, dissolution markers, cache docs.
2f8f2ab 
Collapse dead triage_complexity branch, document triage_wildcard as
🟡 until decl_facts(#5966) on-carrier roster, note global builtin cache,
and document site-pinned witness ratchet semantics.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Add SCAFFOLD receipts for complexity/linearity audit hand-Rust bridge.
11e9c87 
Mark the audit project, decl_facts stub, bin, and Cargo.toml entry with
explicit SCAFFOLD + ROADMAP §3 3-gates-whole authority and named dissolution
triggers, matching non_fold/inert sibling precedent (#33382).

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Address #33390 review: document gate-promotion predicate requirement.
05b2fe5 
Note that syntactic wildcard detection is audit-only; WallAfterGrounding
dissolution requires closed-coproduct scrutinee resolution, not substring triage.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Revert accidental Wave 1 grammar-ladder fold from #5967.
bee8ff7 
dag.dag exhaustive-terminal + roster -5 belong on a separate escalate-review
PR per operator dispatch; keep #5967 audit-first only.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Add irreducible residue catalogue for operator permanent sign-off.
2a34474 
Per-site rows for all 52 irreducible roster slots: match shape, 7-class
taxonomy, recognition rules, exact arithmetic reconciliation, and 5
CANDIDATE→migration exclusions flagged for operator review.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI: wire irreducible residue catalogue into ROADMAP reachability.
8181724 
doc_graph orphan wall was RED on the operator sign-off catalogue added
in 92dfe84; link it from the non-fold-residue audit ROADMAP bullet.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Complete syntactic audit triage: classify 278 pending sites to zero.
7bef4b7 
Extend triage_wildcard/triage_complexity with kernel-permanent, open-domain,
and real-debt buckets; report full breakdown in audit bin output.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Add real-debt syntactic sample audit for honest N=318 headline.
d65e9d8 
Documents path-heuristic vs closed-coproduct discriminators, 10-site
spot-check, and demotion recommendation before operator scope sign-off.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI: wire real-debt syntactic sample audit into ROADMAP.
471b70a 
Second orphan doc from nimble-ibex-655 lane; doc_graph wall requires
inbound link from ROADMAP root.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI: rustfmt drift in audit and roster partition files.
7ec53ef 
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Ground syntactic triage on closed-coproduct filter; enroll 6 sites.
15552f9 
Replace path-prefix real-debt=294 with AST param-type + closed_coproduct_names
discriminator; open-domain wildcards stay out of eliminate-N. Fix multiline sum-type
indexing (ManualAnchorKey). Enroll 6 off-roster ManualAnchorKey sites on migration
roster — honest N=29 migration-debt + 52 irreducible (was inflated ~318).

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Remove dead is_open_domain_site after closed-coproduct triage.
b2ed506 
Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot @briansrls @cursoragent
Wave 1 PROPOSE: exhaustive terminal table for grammar-ladder fns. (#5995
a18e775 
)

Replace `_ =>` dispatch with FixedToken/BoundToken arms in five
dag_grammar_terminal_for_mvp1_* fns; delete matching roster slots (-5).
Awaiting operator escalate-review before merge.

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix CI: remove illegal // comments from .dag lens and witnesses.
3ce812d 
Parser reds on // at module scope (#5651); move construction_justification
before fns and sync ROADMAP row with roadmap_authority carriers to clear
generated_artifact_drift_gate_passes.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Reconcile ROADMAP-linked docs with landed closed-coproduct triage.
47ee16f 
Rewrite real-debt sample audit for triage_wildcard param resolution
(no is_real_debt_site); update roster arithmetic to 76/24/52 per live
NON_FOLD_*_ROSTER on HEAD.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix N=29 stale headline in sample-audit doc (now N=24).
c2c1580 
Align operator headline with NON_FOLD_MIGRATION_DEBT_ROSTER.len()
after grammar-ladder Wave 1 −5 roster drain.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Simplify dead branch in coproduct name scanner.
946513a 
Both arms of the inner if already broke the loop; collapse to a single break per Opus review #33540.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix ROADMAP.md generated-artifact drift for erg-nonfold-audit carriers.
c541652 
Regenerate committed ROADMAP from roadmap_authority authored_pp carrier links so generated_artifact_drift_gate_passes is green.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Remove dead triage_wildcard substring backstops; document triage_comp…
e25b1ff 
…lexity residue.

Drop eval-interpreter-debt and grammar-ladder-debt arms (roster partition fires first); note triage_complexity path buckets as emit-only scaffold per Opus #33574.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Retrigger CI after runner rustup/sccache infra flake on 20847c7.
c6c1238 
No code change — local release build and drift gate pass on HEAD.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix rustfmt drift in stage0 audit modules after main rebase.
42ba5ab 
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Fix rebase fallout: dedupe cli_run imports and rustfmt after main merge.
a083400 
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls @cursoragent
Remove dead corpus_dag_files helpers after module_path_index migration.
a0bcd36 
The audit walk uses decl_facts_project::corpus_dag_files_for_roots; leftover
rel_path/corpus_dag_files referenced unimported cli_run symbols and broke CI.

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot

gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor Author

Closing as superseded — work landed on main via #5967 (merge 659f3f6cce, 2026-06-30). session/nimble-ibex-655 is behind main and this draft was auto-opened by the session dashboard; active lane work continues on #5996 (session/eval-bind-propose-655).

— sent from nimble-ibex-655

@gunbai-bot gunbai-bot Bot closed this Jun 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@briansrls