Fix frontier probe resolve_module_not_found for large import closures by briansrls · Pull Request #7762 · gunb-ai/gunbc

briansrls · 2026-08-04T01:00:31Z

Summary

Lane 3: large import closures ingest via typed SourceRef read-through with closed population identity (FrontierProbeDiscoveredClosure sealed by frontier_probe_discovered_closure_seal; host manifest binds digest before probe), storage-identity uniqueness, single-read SourceRefReadResult, structural ModuleRootLookup, and DiscoveredSourceRefsDigest coproduct (no fabricated constants).

Closed subject is closed: refs and population_digest are sealed together — not separate caller inputs. frontier_probe_discovered_closure_subject_from_host_manifest refuses when host digest disagrees with the sealed closure.

Witness placement by purpose (operator msg_fca587a5)

Per-PR fast mechanism controls (`SubstrateInputsOnly`, synthetic fixtures)

File: src/v2/test/claim/workflow/frontier_probe_closure_matrix_test.dag

Function	Class	Measured eval
`frontier_probe_closure_storage_duplicate_refused_holds`	admission algebra	2ms
`frontier_probe_closure_entry_binding_refused_holds`	admission algebra	2ms
`frontier_probe_closure_count_mismatch_refused_holds`	admission algebra	2ms
`frontier_probe_closure_refs_digest_mismatch_refused_holds`	admission algebra	2ms
`frontier_probe_coverage_rows_missing_refused_holds`	admission algebra	1ms
`frontier_probe_coverage_manifest_absent_refused_holds`	admission algebra	1ms
`frontier_probe_elided_incomplete_refs_coverage_refused_holds`	admission algebra (91/cap 64 incomplete)	1ms
`frontier_probe_storage_hash_conflict_refused_holds`	admission algebra	1ms
`frontier_probe_elided_cap_plus_one_coverage_gate_permitted_holds`	boundary (65 reads, cap 64)	23ms

Executed receipt: cargo build -p v1-compiler --bin claim_batch then claim_batch — target/frontier-probe-survey/matrix_gate_claim_batch_receipt.log — 9/9 PASS at fda56f0403 (re-executed this fleet session).

Scheduled boundary / integration controls (`ReadsLiveTree`, wet)

File: src/v2/test/claim/long/frontier_probe_closure_matrix_integration_test.dag

Scheduled consumer: FalsifierCadenceJob (commit_workflow.dag enrollment). Max staleness: one 4h cadence window.

Function	Class	Measured eval	Cadence lane
`frontier_probe_read_failure_detail_refused_holds`	external-effect read-through	3ms	FalsifierCadenceJob
`frontier_probe_hash_mismatch_detail_carries_observed_holds`	external-effect read-through	2ms	FalsifierCadenceJob
`frontier_probe_ninety_one_read_compiler_closure_elision_integrates_holds`	population-totality / boundary (165 reads > cap 64 with overlay)	3ms	FalsifierCadenceJob
`frontier_probe_below_cap_complete_population_gates_pass_holds`	population-totality full-pipeline	784772ms	`falsifier_rehomed_bin_wet_rows`
`frontier_probe_second_source_root_population_gates_pass_holds`	population-totality full-pipeline	~965s class	`falsifier_rehomed_bin_wet_rows`

Elision overlay recipe: discover_source_root_ingest --entry src/v2/compiler/00_compile.dag --emit-dag-manifest target/frontier-probe-survey/overlay/host_source_root_ingest_manifest.dag then claim_batch --wet --source-root dag --source-root src/v2 --source-root target/frontier-probe-survey/overlay (overlay after src/v2 for stub supersede).

Executed receipt: target/frontier-probe-survey/matrix_integration_claim_batch_receipt.log — 3/3 PASS on cadence legs at fda56f0403 (re-executed this fleet session). Full-pipeline legs enrolled on falsifier_rehomed_bin_wet_rows (784772ms below_cap measured).

Removed incoherent elided_complete positive (read_count 2, cap 64). Cap+1 boundary is synthetic 65-read per-PR control.

Frontier survey remeasure (`frontier_probe_survey`, executed at HEAD)

Binary: cargo build -p v1-compiler --bin frontier_probe_survey. Receipt: target/frontier-probe-survey/head_survey_receipt.log, TSV: target/frontier-probe-survey/head_survey.tsv (executed this fleet session at fda56f0403).

resolve_module_not_found is not the reported blocker:

Module	Blocker	Stage	Reason
`00_compile.dag`	`RealizationGap`	Assemble	`^parse_grammar_choice_overlap_residue`
`03_ingest.dag`	`RealizationGap`	Assemble	`^parse_grammar_choice_overlap_residue`
`source_authority.dag`	`UnknownProbeCause`	Assemble	`^tokenize_lex_e1_unrecognized_char`

Test plan

Per-PR mechanism matrix: 9/9 PASS (claim_batch, receipt at target/frontier-probe-survey/matrix_gate_claim_batch_receipt.log)
Scheduled integration cadence legs: 3/3 PASS (claim_batch --wet with overlay, receipt at target/frontier-probe-survey/matrix_integration_claim_batch_receipt.log)
Frontier survey remeasure for three Lane 3 modules (head_survey.tsv at HEAD)
Full-pipeline integration legs enrolled on falsifier_rehomed_bin_wet_rows with measured costs
CI floor ci (pending after orphan-helper fix push)

gunbai-bot · 2026-08-04T01:46:02Z

Addressed review 47905 (REQUEST_CHANGES on compiler_frontier_probe_entry_test.dag:46).

The Rejected => host_compiler_closure_admission arm was an absorbing fallback on the live frontier_probe_survey path: admission derivation failure silently substituted 00_compile closure admission for whatever module was being probed.

Fix: Added frontier_probe_receipt_for_entry in frontier_probe.dag — on admission Rejected, it classifies d.head.reason into a FrontierProbeReceipt at ProbeStageAssemble (same shape as assemble refusal) instead of widening to the fixed closure admission. The entry test now calls that single authority; host_compiler_closure_admission remains only as the explicit empty-overlay fallback when module_path == "" (no per-module overlay), which frontier_probe_admission_for_entry already gated.

— sent from snappy-dove-447

Replace remaining surveyed/open wording with execution_measurement axes, add dated census at 9f978aa, and state that 27/27 rerun waits for the probe fix so manifests do not enshrine manifest-elision artifacts. Co-authored-by: Cursor <cursoragent@cursor.com>

Remove leftover conflict markers from the #7762 merge; keep dag_grammar_root import alongside path-only closure ingest. Route admission rejections through frontier_probe_receipt_from_assemble_rejection so rejection_chain and overlap roster bind on the corrected probe path. Co-authored-by: Cursor <cursoragent@cursor.com>

cursor · 2026-08-04T03:07:10Z

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

gunbai-bot · 2026-08-04T03:37:18Z

CI fix + review 47932 response (`ef22841`)

CI failures (regen + heal_generated_artifacts): Both failed on the same typecheck errors — missing detail on FrontierProbeReceipt literals, and port_locus called with a nonexistent reason parameter in source_authority. Fixed in ef22841.

Review 47932 items:

FrontierProbeReceipt.detail omitted — Fixed. Every constructor in frontier_probe.dag, frontier.dag, and emitter_producer_provenance.dag now supplies detail (populated MissingModule, SourceRootManifestElidedProbe, FrontierProbeSourceReadRefused, or FrontierProbeDetailAbsent as appropriate).
MissingModule never populated — Fixed. frontier_probe_detail_from_assemble binds MissingModule { requested: admission.subject.name } on assemble ^resolve_module_not_found; frontier_probe_detail_from_admission_diagnostic reconstructs MissingModule from the textual diagnostic locus when admission rejects without an Admission value.
TargetModel / DecodeFidelity import regression — Fixed. Restored import v2.std.compilers.target_model { TargetModel } and DecodeFidelity on the medium import; removed duplicate std.content_hash import.
dag_source_read_witness_from_source_ref no callers — Wired. Live probe path is frontier_probe_receipt_for_subject → FrontierProbeReferencedClosure → source_root_ingest_from_source_refs → dag_source_read_witness_from_source_ref (manifest emits host_source_root_closure_refs, survey overlays frontier_probe_entry_source_ref). The parallel path-list side channel is removed.
^source_ref_content_hash_mismatch unreferenced — Now emitted from read-through hash mismatch refusal (source_ref_read_refused_diagnostic); missing vs unreadable paths use ^source_ref_path_missing / ^source_ref_path_unreadable (split on !success with empty vs nonempty content).

Re-evaluating merge readiness: CI was red on typecheck; this push should green regen/heal. Operator ruling from still-bat-561 (SourceRef authority recut + execution matrix) remains the substantive merge gate beyond CI hygiene.

— sent from snappy-dove-447

gunbai-bot · 2026-08-04T04:05:21Z

review 47946 — fixed in `07592949`

Finding 1 (SourceRootCoverageComplete read-rejection misclassification): Confirmed. The SourceRootCoverageComplete arm at frontier_probe.dag:343-349 routed source_root_ingest_from_source_refs rejections to frontier_probe_receipt_manifest_elided while the elided arm correctly used frontier_probe_receipt_from_ingest_read_rejected. Fixed: both arms now route read-through failures to frontier_probe_receipt_from_ingest_read_rejected, so missing/unreadable/hash-mismatch refusals surface as FrontierProbeSourceReadRefused rather than SourceRootManifestElidedProbe.

Finding 2 (hash mismatch under-informative): Fixed in two places matching ingest-manifest-source-ref-carrier-design §5:

source_ref_content_hash_mismatch_diagnostic now refuses with the ref path (textual locus) plus a second diagnostic carrying expected=<serialize(ref.content_hash)> observed=<serialize(actual)>.
FrontierProbeSourceReadRefused gains observed_content_hash: Optional<ContentHash>; populated on ^source_ref_content_hash_mismatch via dag_source_observed_content_hash_for_ref (expected remains on source_ref.content_hash).

Merge readiness re-evaluation: CI hygiene was green on b61824e (build + heal; regen was pending). This push re-runs CI. Operator ruling from still-bat-561 (SourceRef authority recut + execution matrix before ready) remains the substantive gate; tally floor (≥2 api-review approvals, no open REQUEST_CHANGES) not met. REWORKING on operator execution evidence, not on this review artifact.

— sent from snappy-dove-447

Bind commit↔tree via git.Inspect.ShowTree in well-formed checks, embed build commit/tree in the survey binary and refuse stale executables, and require every TSV shard to carry the complete subject with aggregation refusing mismatch. Block 27/27 on #7762 final + #7767; land release one-shot recipe in ci_layer_roots exclusion note. Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot · 2026-08-04T05:00:43Z

review 47964 — survey manifest detail round-trip

Fixed in fab6c83.

extract_probe_receipt now reads the interpreter detail field via detail_variant_emit (all FrontierProbeDetail variants, including MissingModule { requested: … }). emit_receipt_row serializes the computed detail instead of hardcoding FrontierProbeDetailAbsent. Generated manifest imports expand when any row carries non-absent detail.

msg_3902e126 — parse error (expected FatArrow, found LBracket)

Same commit. Root cause: frontier_probe_diagnostic_tail_port_lexeme used match d.tail { [] => … [tail_ne] => … }. The v1 bootstrap parser does not support list-pattern match arms — it expects => after the pattern and treats [ as the start of an illegal construct. The correct construct is fold_list over List<Diagnostic> (same pattern as the rest of the corpus). This is not a respelling workaround; list-pattern match is not legal in this parser.

Also corrected source_authority diagnostic tail fields: NonEmptyDiagnostics.tail is List<Diagnostic>, not nested NonEmptyDiagnostics with tail: [].

Note for PR body: v1 seed still panics in for_each_parsed_module_binding on parse errors (backtrace through build_module_path_index_uncached) rather than a located diagnostic — loudness gap, out of scope for this PR.

— sent from snappy-dove-447

Operator ruling: last of #7776 → #7762 → #7767 → survey; three provenance holes remain open; every shard must carry complete FrontierSurveySubject with all 27 comparing exactly equal. Co-authored-by: Cursor <cursoragent@cursor.com>

Replace remaining surveyed/open wording with execution_measurement axes, add dated census at 9f978aa, and state that 27/27 rerun waits for the probe fix so manifests do not enshrine manifest-elision artifacts. Co-authored-by: Cursor <cursoragent@cursor.com>

Bind commit↔tree via git.Inspect.ShowTree in well-formed checks, embed build commit/tree in the survey binary and refuse stale executables, and require every TSV shard to carry the complete subject with aggregation refusing mismatch. Block 27/27 on #7762 final + #7767; land release one-shot recipe in ci_layer_roots exclusion note. Co-authored-by: Cursor <cursoragent@cursor.com>

Operator ruling: last of #7776 → #7762 → #7767 → survey; three provenance holes remain open; every shard must carry complete FrontierSurveySubject with all 27 comparing exactly equal. Co-authored-by: Cursor <cursoragent@cursor.com>

…e lands. State explicitly that diagnostic_module_root_missing_qn_optional is a deliberate Absent stub waiting on parse-stage ModuleRootMissingEvidence, not silent debt. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

…ures. Large import closures exceeded MANIFEST_INLINE_LIST_MAX and produced Empty ingest, so assemble could not find the subject module. Frontier probe now builds ingest from path-only closure rows via filesystem_read, derives Admission from the parsed entry module (single authority with compile door), and records the exact missing QualifiedName on module_root_find diagnostics. Co-authored-by: Cursor <cursoragent@cursor.com>

Rewrite the missing-module identity witness to use nested match on diagnostic reason instead of a multiline == chain that the v1 module binding parser rejected (expected FatArrow, found EqEq). Co-authored-by: Cursor <cursoragent@cursor.com>

The module-binding parser accepts reason == ^atom on one line (as in name_resolve_cross_tree_resolution_test) but rejects match arms on ^resolve_module_not_found (expected FatArrow, found Caret). Co-authored-by: Cursor <cursoragent@cursor.com>

frontier_probe_receipt_for_entry surfaces admission derivation Rejections as typed FrontierProbeReceipt rows instead of substituting host_compiler_closure_admission on the live survey path (review 47905). Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

…uthority imports. Populate required `detail` on every FrontierProbeReceipt constructor, restore TargetModel and DecodeFidelity imports dropped from source_authority, route frontier probe ingest through SourceRef read-through with typed read/hash refusal details, and fix port_locus call shapes that blocked regen and generated-artifact heal. Co-authored-by: Cursor <cursoragent@cursor.com>

CI builds with RUSTFLAGS=-D warnings; drop obsolete path-list helpers from the SourceRef overlay migration and remove unnecessary mut on the manifest append string. Co-authored-by: Cursor <cursoragent@cursor.com>

…on mismatch. Route SourceRootCoverageComplete ingest read failures through frontier_probe_receipt_from_ingest_read_rejected (not manifest-elided), extend FrontierProbeSourceReadRefused with observed_content_hash, and emit expected/observed digests in source_ref_content_hash_mismatch_diagnostic per ingest-manifest-source-ref-carrier design §5. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

Replace illegal list-pattern match on d.tail with fold_list (v1 bootstrap parser rejects []/[x] match arms). Fix source_authority diagnostic tails to List<Diagnostic>. Serialize computed FrontierProbeDetail in survey manifest. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

Regen verify failed because std.realization_schedule gained WitnessCostBasis, ScheduledWitnessEnvelope, and SpanEnrolled without updating the committed std_realization_schedule.rs seed. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

The Lane 3 frontier-probe enrollment patch added five SpanEnrolled rows; census witnesses still expected the pre-patch 51/40 split and failed CI. Co-authored-by: Cursor <cursoragent@cursor.com>

run_claim_timed records performance receipts from wall nanos while the eval budget gate uses thread CPU nanos; MeasuredAtExactSubject now carries clock plus duration_ms (msg_e24f4cab). Frontier probe enrollments label claim_batch receipt figures as WitnessCostWallEval. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

Merge brought falsifier_workflow changes from main; sync committed workflow bytes to the generated projection authority. Co-authored-by: Cursor <cursoragent@cursor.com>

Ground WitnessCostBasis.duration and ScheduledWitnessEnvelope.wall_budget on std.measure Millisecond (RunnableBatchClamp precedent); update SpanEnrolled rows, merge-admission hashes, and emitted std_realization_schedule.rs. Refresh frontier_probe_survey scaffold receipt to main@546 → 821 LOC (+275). Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot · 2026-08-05T06:50:57Z

Addressed review 48582 on 2aa09d6:

Millisecond carriers (BLOCKING items 1–2) — WitnessCostBasis.MeasuredAtExactSubject.duration and ScheduledWitnessEnvelope.wall_budget are now std.measure.Millisecond (same precedent as RunnableBatchClamp.per_unit). Field names drop the _ms suffix per walk_population_budget_note. Updated: dag/std/realization_schedule.dag, all five SpanEnrolled rows in commit_workflow.dag, merge_admission content-hash projection, commit_workflow_witness_test.dag, and emitted std_realization_schedule.rs. Wellformed/eq helpers compare via millisecond_count.

Hand-Rust receipt (BLOCKING item 3) — frontier_probe_survey_transport_scaffold_note now records the checkable census: main@546 LOC → 821 LOC (+275: overlay manifest write_probe_overlay_manifest, FrontierProbeDetail serialization, per-module run_probe_for_module orchestration); the +12 UpstreamSemanticRefusal arm is documented as one slice of that delta.

Local: cargo check -p v1-compiler-tests --tests green; witness_span_enrolled_accepts_measured_envelope / witness_span_enrolled_rejects_zero_wall_budget PASS.

— sent from snappy-dove-447

Regen_verify failed because the hand-edited emit seed diverged from v2 self-compile (generic bounds on cost_account_measured and schedule helpers). Run regen_stage0 after Millisecond carrier change. Co-authored-by: Cursor <cursoragent@cursor.com>

…exact mi

Refresh closeout, provenance-holes, and offline-recipe notes after #7776, Co-authored-by: Cursor <cursoragent@cursor.com> #7762, and #7767 landed; document OOM-shell TSV projection limits post-#7767.

…ative run on hold) (#7763) * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Lane 1: pin source_head and binary identity in survey manifest emission. frontier_probe_survey records git HEAD, binary sha256, and source_root in host_frontier_probe_survey_manifest; fix per-module script to use release binary. Co-authored-by: Cursor <cursoragent@cursor.com> * Document frontier survey hold on #7762 and silent-narrow refusal wall. Replace remaining surveyed/open wording with execution_measurement axes, add dated census at 9f978aa, and state that 27/27 rerun waits for the probe fix so manifests do not enshrine manifest-elision artifacts. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Close three FrontierSurveySubject provenance holes (#7763). Bind commit↔tree via git.Inspect.ShowTree in well-formed checks, embed build commit/tree in the survey binary and refuse stale executables, and require every TSV shard to carry the complete subject with aggregation refusing mismatch. Block 27/27 on #7762 final + #7767; land release one-shot recipe in ci_layer_roots exclusion note. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix CI: drop unavailable trim import in frontier_probe_types. git_object_id_from_untagged_hex already trims plumbing stdout; the frontier_survey_git_stdout_line wrapper imported trim from v2.std.text where it does not exist. Co-authored-by: Cursor <cursoragent@cursor.com> * Document four-PR chain and provenance hole requirements (#7763). Operator ruling: last of #7776 → #7762 → #7767 → survey; three provenance holes remain open; every shard must carry complete FrontierSurveySubject with all 27 comparing exactly equal. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Close survey provenance findings 1–3 from operator review msg_e0b0c3ff. Carry probe_policy_revision on every TSV row and emit the measured literal in manifests; refuse dirty-worktree builds via BUILD_DIRTY; validate policy revision as structural ContentHash instead of tautological constant compare; document seed-only per-row subject enforcement on the carrier. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix parse error in frontier_survey_probe_policy_revision_holds. Variant patterns bind positionally (Fnv1a64(structural)), not with typed field labels — the Colon form caused regen and heal_generated_artifacts to panic. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Lane 1: exact-current-head 27/27 frontier survey + status vocabulary cor * Fix ProbeReceiptRow detail field after main merge. TSV loader rows default to FrontierProbeDetailAbsent to match main's receipt shape; fmt import order. Co-authored-by: Cursor <cursoragent@cursor.com> * Document CI non-enrollment for terminating long/ survey witnesses. Per-PR discovery omits src/v2/test/claim/long; offline local-recipe RED on stub manifest is not a CI failure shape. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix policy-revision oracle and align transport source roots. Compare manifest probe_policy_revision against frontier_probe_policy_revision() instead of reusing the source-roots digest shape check. Add --source-root dag to survey_manifest_emit_args so the transport one-shot matches the shell recipe. Co-authored-by: Cursor <cursoragent@cursor.com> * Drop unused content_hash imports after policy-revision fix. Co-authored-by: Cursor <cursoragent@cursor.com> * Remove stale NFR row after policy-revision check rewrite. frontier_survey_probe_policy_revision_holds no longer wildcard-matches a coproduct parameter after switching to compare_content_hash; the roster row made non_fold_residue_stale_roster_count nonzero on CI. Co-authored-by: Cursor <cursoragent@cursor.com> * Address review 48957 scaffold notes and build stamp freshness. Mark Rust digest helpers as seed duplicates with emit dissolve triggers, rerun build.rs when survey bin sources change, and document src/v2-only versus dag+src/v2 source-root non-combinability at 9f978aa. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix survey script failure guard to compare the failures variable. Use [[ failures -ne 0 ]] so probe failures refuse manifest promotion. Co-authored-by: Cursor <cursoragent@cursor.com> * Docs: predecessors merged; authoritative survey still on operator hold. Refresh closeout, provenance-holes, and offline-recipe notes after #7776, Co-authored-by: Cursor <cursoragent@cursor.com> #7762, and #7767 landed; document OOM-shell TSV projection limits post-#7767. --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

…et-interrupted identities in place. Review 63330 is right that the rename was the #7762 discharge long_lane_exclusion_note forbids. The floor-cost-debt roster is the counted in-place withhold for the 500ms interrupt (run 34531151284). Co-authored-by: Cursor <cursoragent@cursor.com>

…acter (#10969) * Admit raw newlines in v2 string lexemes and cover the unmatched character. StringTextChar excluded LF, so a dag literal that v1 already accepts refused as tokenize_lex_e1_unrecognized_char, and the refusal locus was a zero-width caret before the offending character. Co-authored-by: Cursor <cursoragent@cursor.com> * Put the raw-newline admission on dag_string_literal_lex_rule, not StringTextChar. v1 scan_string_body never closes on LF; other language models that reuse StringTextChar still must. The unrecognized-char locus covers the opening quote of an unterminated literal. Co-authored-by: Cursor <cursoragent@cursor.com> * Hoist the unrecognized-char locus note above lex_walk_artifact. Section 4c only models module-item leading // blocks; the three in-body lines refused emit. Co-authored-by: Cursor <cursoragent@cursor.com> * Take native_decl_selection off the required floor: each claim is budget-refused at 500ms CPU. CI run 34531151284 interrupted all four identities before a verdict; the long-home prefix is the existing lane for that cost shape. Co-authored-by: Cursor <cursoragent@cursor.com> * Undo the native_decl_selection long-home move; withhold the four budget-interrupted identities in place. Review 63330 is right that the rename was the #7762 discharge long_lane_exclusion_note forbids. The floor-cost-debt roster is the counted in-place withhold for the 500ms interrupt (run 34531151284). Co-authored-by: Cursor <cursoragent@cursor.com> * Drop the native_decl_selection cost-debt withhold: #10992 already shares the fixture on this head. review 63512: ea674a6 is an ancestor; the roster must shrink, not keep coverage gone for a cause that no longer exists. Co-authored-by: Cursor <cursoragent@cursor.com> * Rename the string-literal probe helper so it does not collide with languages.dag dag_lex. Floor strict-prep refused: declaration_structure_preserved_test's dag_lex() became ambiguous after main added v2.extdeps.languages.dag.dag_lex into the same required-gate subject. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: gunbc-ci-auto-heal <gunbc-ci-auto-heal@users.noreply.github.com> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: Brian Searls <11205878+briansrls@users.noreply.github.com>

gunbai-bot Bot changed the title ~~Lane 3: root-cause resolve_module_not_found (3 rows) — preserve exact missing module identity~~ Fix frontier probe resolve_module_not_found for large import closures Aug 4, 2026

gunbai-bot Bot marked this pull request as ready for review August 4, 2026 01:07

gunbai-bot Bot mentioned this pull request Aug 4, 2026

Lane 2: frontier probe assemble-detail instrumentation #7767

Merged

4 tasks done

gunbai-bot Bot mentioned this pull request Aug 4, 2026

Frontier status vocabulary: execution_measurement axes at pinned head #7776

Merged

2 tasks done

gunbai-bot Bot mentioned this pull request Aug 4, 2026

Lane 1: exact-head frontier survey (provenance scaffolding — authoritative run on hold) #7763

Merged

3 of 4 tasks

gunbai-bot Bot marked this pull request as draft August 4, 2026 14:22

Brian Searls and others added 11 commits August 5, 2026 03:39

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

a53a000

…exact mi

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

e09a5d1

…exact mi

Fix build CI: remove dead code and unused mut in frontier_probe_survey.

d279b16

CI builds with RUSTFLAGS=-D warnings; drop obsolete path-list helpers from the SourceRef overlay migration and remove unnecessary mut on the manifest append string. Co-authored-by: Cursor <cursoragent@cursor.com>

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

d8d5949

…exact mi

Brian Searls and others added 8 commits August 5, 2026 03:39

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

500e4c4

…exact mi

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

8ae96d1

…exact mi

Correct commit_gate roster census to 56 rows (45 witnesses).

1f2aa81

The Lane 3 frontier-probe enrollment patch added five SpanEnrolled rows; census witnesses still expected the pre-patch 51/40 split and failed CI. Co-authored-by: Cursor <cursoragent@cursor.com>

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

6671cb3

…exact mi

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

a1361dc

…exact mi

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

889ef41

…exact mi

gunbai-bot Bot force-pushed the session/snappy-dove-447-resolve-module-not-found branch from 9f02e56 to 889ef41 Compare August 5, 2026 03:42

Brian Searls and others added 2 commits August 5, 2026 06:20

Merge main into session/snappy-dove-447-resolve-module-not-found (#7762)

ce44fcf

Regen falsifier.yml after merge main (#7762).

72cb82a

Merge brought falsifier_workflow changes from main; sync committed workflow bytes to the generated projection authority. Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot Bot marked this pull request as ready for review August 5, 2026 06:29

Brian Searls and others added 4 commits August 5, 2026 07:18

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

eaa6bc5

…exact mi

WIP: Lane 3: root-cause resolve_module_not_found (3 rows) — preserve …

60c21ad

…exact mi

Merge main: #7834 function-value positional args + falsifier.yml resync

79e79a5

briansrls merged commit 1ef330f into main Aug 5, 2026
5 checks passed

briansrls deleted the session/snappy-dove-447-resolve-module-not-found branch August 5, 2026 14:57

briansrls restored the session/snappy-dove-447-resolve-module-not-found branch August 5, 2026 15:11

This was referenced Aug 6, 2026

Frontier survey did not complete: interrupted-run receipt (0 receipts) + roster provenance rung-inflation finding #7901

Merged

Repair three main-floor regressions, and isolate the partition-closure cost defect #8125

Closed

gunbai-bot Bot mentioned this pull request Aug 13, 2026

Capless closure transport: remove 64-row inline manifest cap #8210

Merged

4 tasks

gunbai-bot Bot mentioned this pull request Aug 27, 2026

Restore the operator's 500ms per-claim ceiling; freeze the over-cost population as a monotone debt contract #9517

Merged

gunbai-bot Bot mentioned this pull request Sep 11, 2026

Admit raw newlines in v2 string lexemes and locate the unmatched character #10969

Merged

2 of 3 tasks

Navigation Menu

Repository navigation

Fix frontier probe resolve_module_not_found for large import closures - #7762

Fix frontier probe resolve_module_not_found for large import closures#7762
briansrls merged 41 commits into
mainfrom
session/snappy-dove-447-resolve-module-not-found

briansrls commented Aug 4, 2026 •

edited by gunbai-bot Bot

Loading

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

Uh oh!

cursor Bot commented Aug 4, 2026

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

Uh oh!

gunbai-bot Bot commented Aug 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

briansrls commented Aug 4, 2026 • edited by gunbai-bot Bot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Witness placement by purpose (operator msg_fca587a5)

Per-PR fast mechanism controls (SubstrateInputsOnly, synthetic fixtures)

Scheduled boundary / integration controls (ReadsLiveTree, wet)

Frontier survey remeasure (frontier_probe_survey, executed at HEAD)

Test plan

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

Uh oh!

cursor Bot commented Aug 4, 2026

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

CI fix + review 47932 response (ef22841)

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

review 47946 — fixed in 07592949

Uh oh!

gunbai-bot Bot commented Aug 4, 2026

review 47964 — survey manifest detail round-trip

msg_3902e126 — parse error (expected FatArrow, found LBracket)

Uh oh!

gunbai-bot Bot commented Aug 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

briansrls commented Aug 4, 2026 •

edited by gunbai-bot Bot

Loading

Per-PR fast mechanism controls (`SubstrateInputsOnly`, synthetic fixtures)

Scheduled boundary / integration controls (`ReadsLiveTree`, wet)

Frontier survey remeasure (`frontier_probe_survey`, executed at HEAD)

CI fix + review 47932 response (`ef22841`)

review 47946 — fixed in `07592949`