Repository navigation
Phase 1: loyal-heron SymbolIndex scaling receipt witnesses - #6538
Merged
Merged
Conversation
Adds symbol_index_scaling_receipt_test.dag: complexity-lens Poly2Suspect=0 on symbol_index_fill + 03_name_resolve, invocation-frequency trace, empirical proxy note (floor_scaling_curve_import_chain_sub_quadratic_receipt). Keeps default_name_resolution_policy at ImportScoped — phase-2 flip blocked until operator sign-off per sharp-bee-290 brief. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
force-pushed
the
session/nimble-boar-198-namespace-flip
branch
from
July 13, 2026 20:21
3e33199 to
abe0f8b
Compare
gunbai-bot
Bot
changed the title
Complexity-lens file_gate eval exceeds per-PR discovery fast-lane budget; long/ is the operator-ruled home for slow offline receipts. Co-authored-by: Cursor <cursoragent@cursor.com>
file_refusal_count returns -1 on ingest regression and -1 <= N is true; file_gate maps RosterIngestRegressed to false per roster_gate pattern. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Addressed in a38e5fb: refusal ratchet witnesses now use |
1 of 2 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Phase 1 deliverable per sharp-bee-290 brief: loyal-heron scaling receipt witnesses without resolver surgery. Reverts the premature
NamespaceOnlyYdefault flip that broke CI (import-scoped cross-file witnesses).Adds
symbol_index_scaling_receipt_test.dag:symbol_index_fill.dag+03_name_resolve.dagresolve_with_admission, not per-modulefloor_scaling_curve_import_chain_sub_quadratic_receiptnote (v1 import-chain)default_name_resolution_policystaysImportScoped. Phase-2 flip blocked until operator sign-off.Test plan
claim_batchon receipt witnesses (4/4 PASS locally)cargo test -p v1-compiler-tests floor_scaling_curve_import_chain_sub_quadratic_receipt --release