Repository navigation
docs(probes): emitted deep-module E0308 baseline pre-#6981 - #7023
Merged
Merged
Conversation
…-839) Measure repr_mismatch_emitted_e0308_probe on 04_infer and materialization_carriers at main@3bd736d230: E0308 already 0 on 04_infer and module-level on materialization_carriers (post-#6983 repr grounding); remaining cargo refuse is dotted-alias (#6981) and E0425 extdeps. Co-authored-by: Cursor <cursoragent@cursor.com>
04_infer dotted-alias cleared (110->106); layer N+1 is generic-T + dup Witness. materialization_carriers E0425 is value-position qualified emit (sidecar, not fan-out gate). Co-authored-by: Cursor <cursoragent@cursor.com>
Map generic-T fold closures, Witness-dup prelude, and value-position qualified emit back to 05_emit_rust.dag / 04_emit_info.dag sites. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Jul 21, 2026
Register docs/probes/emitter_residual_site_map_2026-07-21.md via bind: provenance so doc_graph_has_no_orphan_docs stops REDing on main. Co-authored-by: Cursor <cursoragent@cursor.com>
1 task
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jul 21, 2026
…-graph root PR #7023 landed this probe doc without a dag-side bind: citation, so it minted a doc_graph_has_no_orphan_docs orphan on main (confirmed red at main@d36515b6a4, independent of this PR's own diff) that arrived here via an auto-merge from main. Bind it following the existing curated_probe_report_doc_provenance pattern in the same file. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
6 tasks
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jul 21, 2026
…d: provenance row (orphan minted by #7023, first surfaced on the merged-with-main floor) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This was referenced Jul 21, 2026
Merged
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jul 21, 2026
…ual_site_map_2026-07-21.md The doc landed on main via #7023 with no doc-graph link, which is a pre-existing main-red (main failed at 50bb7e9 and d36515b too) that bled into this PR's CI once it merged main. Mirrors the existing bind: pattern in this file for curated_cargo_frontier_probe_report.md. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
Jul 21, 2026
#7023 added docs/probes/emitter_residual_site_map_2026-07-21.md without a reachability edge; doc_graph_has_no_orphan_docs failed on CI after main merge. Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced Jul 21, 2026
Closed
briansrls
added a commit
that referenced
this pull request
Jul 21, 2026
#7028) * docs(floor-time): post-#6999 validation read + cap-saturation receipts §5 log-diff compares PRE/POST/POST-FIX batch walls (runs 29763408563, 29819122813, 29855080611): ~0% recovery at batch grain on capped hosts; residual attributed to once-per-entry #6848 fixpoint + governor throttle. design_document.dag open-thread updated (M1 landed). Co-authored-by: Cursor <cursoragent@cursor.com> * fix(docs): regen DESIGN.md after design_document.dag open-thread update Unblocks generated_artifact_drift_gate on PR #7028. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(docs): dedupe §1.4 cross-ref after section renumber §6 is Provenance; cap-saturation residual points to §5.2. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(docs): link emitter residual probe into doc graph PR #7028 CI failed doc_graph_has_no_orphan_docs because docs/probes/emitter_residual_site_map_2026-07-21.md landed on main (#7023) without a reachability edge; add a probe-receipts backlink from rc-ownership-wrap-decision-design.md. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: gunbai-bot[bot] <289086189+gunbai-bot[bot]@users.noreply.github.com>
Merged
2 of 3 tasks
briansrls
added a commit
that referenced
this pull request
Jul 22, 2026
…lement native execution rides the lane-6 family crate (eval-anchored cached member agreements, all-alt wrong-fixture rebuild); 13 per-witness crate builds deleted (#7029) * WIP: witness_native_flip lane (parallel, NOT post-fixed-point — operator-dire * WIP: witness_native_flip lane (parallel, NOT post-fixed-point — operator-dire * WIP: witness_native_flip lane (parallel, NOT post-fixed-point — operator-dire * WIP: witness_native_flip lane (parallel, NOT post-fixed-point — operator-dire * WIP: witness_native_flip lane (parallel, NOT post-fixed-point — operator-dire * witness family migration: meet_join + complement suites onto the lane-6 family crate — per-witness native builds deleted, eval-anchored member agreements ride the cached family workspace (run_test_claim_from_source_emit_vs_eval_cached), all-alt family carries the wrong-fixture octet flips in one cold rebuild Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * witness_admission: point complement offline row at the live rollup fn (agreement fn migrated to the family crate) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * doc-orphan wall: root emitter_residual_site_map_2026-07-21.md via bind: provenance row (orphan minted by #7023, first surfaced on the merged-with-main floor) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Claude Fable 5 <noreply@anthropic.com> Co-authored-by: gunbai-bot[bot] <289086189+gunbai-bot[bot]@users.noreply.github.com>
briansrls
added a commit
that referenced
this pull request
Jul 22, 2026
…ess (#7026) * WIP: Brief 4: host hygiene converge — residual reaper + registration liveness * WIP: Brief 4: host hygiene converge — residual reaper + registration liveness * WIP: Brief 4: host hygiene converge — residual reaper + registration liveness * host_hygiene_reaper_script: name unit-body strings on the scaffold's dissolution trigger review 40971 flagged host_hygiene_reap_service_unit_body/timer_unit_body as parallel-representation-shaped against extdeps.os.systemd (no UnitFile/ ServiceSection/TimerSection carrier exists there today). Widen the existing Scaffold's dissolution_trigger to explicitly name that debt rather than mint a new typed carrier now (scope creep beyond this increment) or leave it untracked. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * WIP: Brief 4: host hygiene converge — residual reaper + registration liveness * WIP: Brief 4: host hygiene converge — residual reaper + registration liveness * Register docs/probes/emitter_residual_site_map_2026-07-21.md as a doc-graph root PR #7023 landed this probe doc without a dag-side bind: citation, so it minted a doc_graph_has_no_orphan_docs orphan on main (confirmed red at main@d36515b6a4, independent of this PR's own diff) that arrived here via an auto-merge from main. Bind it following the existing curated_probe_report_doc_provenance pattern in the same file. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
Jul 22, 2026
…srv1 to srv3 (multi-unit) (#7009) * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * Floor OOM fix: sample typed-cache cap once per run, not per insert 2026-07-21 fleet incident (redded main + every PR floor from ~12:17Z on srv3-06/07): #6972's enforce_typed_cache_entry_cap re-derived its entry cap from read_host_budget_bytes() on every cache insert. On CI runners no private cgroup memory.max/memory.high is discoverable, so the derivation fell through to live /proc/meminfo MemAvailable — a host-wide signal shared across co-resident sessions. Re-reading it per insert let the cap chase host noise within a single run (e.g. 701->682->...->204->325), and each eviction's recompute-on-miss added pressure exactly when pressure was already high — a thrashing feedback loop ending in claim_executor SIGKILL (exit 137). Fix, per signed direction: typed_module_cache_cap_derivation() factors the existing env-override/budget-read logic out of typed_module_cache_max_entries (kept as the pure per-call form for existing tests) and adds a `degraded` flag. MultiEntryIndex gets a `typed_module_cache_cap: OnceCell<usize>` field; the new typed_module_cache_cap(index) accessor samples the derivation exactly once per index lifetime and, on that first call, logs a typed, counted `[floor-drain] degraded_budget_source` line when the source isn't a private cgroup limit (an honesty arm, not a widened failure -- the cap still derives from whatever source was found). enforce_typed_cache_entry_cap and emit_floor_drain_receipt now go through this accessor instead of re-deriving per call. No floor-pin added; no env-var escape hatch. Witnesses: typed_module_cache_cap_sampled_once_per_index_stays_stable_despite_signal_drift proves the cap holds fixed across a live signal move within one index's lifetime. uncached_derivation_tracks_moving_signal_the_sampled_once_accessor_must_not is the RED control, reproducing the pre-fix oscillation shape (cap values drawn from the incident's own log: 300/227/294/204/325) via the still-live uncached derivation, so a regression that reverts the runtime call sites back to the uncached form is caught. Evidence trail: srv3-05 11:50Z run 29827692954 and srv3-06 12:17Z run 29829512709 both show the eviction-storm-then-Killed(137) signature; the wedged 3.5h+ run 29829313521 was cancelled after pulling final evidence (build job succeeded, ci job's floor-run step never emitted a single [floor-drain] line before being starved by host contention) -- noted here so the cancellation isn't mistaken for a hidden failure. Contained to the #6972 mechanism + its two call sites, per manager sign-off; no PR-beta/SpacePacked dissolve-on work included. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Note the degraded-detection string-scan as a future grounding point Non-blocking review observation from quick-carp-521 on #7002: the degraded-source check string-scans read_host_budget_bytes' display label. Fine for now (it returns (Option<u64>, String)), but if that fn ever grows a typed source enum, this check should ground on it instead of re-parsing the label — a one-line note so it doesn't cement. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * host_converge_slice1: fix .dag lexer trap in awk literal, document first-execution safety awk '{print $1}' triggered a string-interpolation lexer fast-path on the bare $ inside an unspaced brace, producing a parser panic never caught because the file had never been compiled. Space-padded the braces. Also records why the apply arm already satisfies first-execution safety by construction: enumeration + cross-check + per-unit live read + usage guard must all succeed before set-property is reachable, so the first live invocation against srv3 is necessarily read-only up to several fail-closed gates. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * PR #7009 review fixes: wire srv3 CLI routing, ByteSize typing, empty-enumeration handling Addresses review 40879 (cursor/composer-2.5) on PR #7009: - Finding 1: gunbc converge --host srv3 now routes into host_converge_slice1_converge_srv3()/converge_host() via a new converge_cli_slice1_srv3_receipt() aggregator, instead of silently falling through to the generic converge_apply_for_host frontier. The srv3 multi-unit enumeration/cross-check/usage-guard machinery was previously unreachable from any CLI entrypoint. - Finding 2: HostConvergeSlice1UsageGuardOutcome and HostConvergeSlice1UnitUsageGuardRefused now carry ByteSize instead of bare Int, and host_converge_slice1_usage_guard reuses runner_unit_usage_exceeds_bytes instead of re-deriving the current-vs-target comparison. - Finding 3: host_converge_slice1_enumerate_units now returns Present{value: []} on a successful read with zero active units, distinct from none (transport/read failure), so a real zero-unit state reaches the typed HostEnumerationMismatch refusal instead of being conflated with a generic HostRefused. Adds witness coverage for the srv3 routing predicate and the ByteSize-typed usage-guard-refused legacy-result mapping. * WIP: WAIT FOR DM BRIEF FROM quick-carp-521 BEFORE ACTING. FLEET INCIDENT: CI * Fix orphan-doc CI failure on PR #7009: bind docs/probes/emitter_residual_site_map_2026-07-21.md The doc landed on main via #7023 with no doc-graph link, which is a pre-existing main-red (main failed at 50bb7e9 and d36515b too) that bled into this PR's CI once it merged main. Mirrors the existing bind: pattern in this file for curated_cargo_frontier_probe_report.md. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * PR #7009 review 41089: document fleet-wide-vs-per-host declared_runner_count gap with named dissolution trigger host_converge_slice1_cross_check_enumeration's host param labels the mismatch record only; declared_runner_count() is fleet-wide by design (one global budget, no per-host divergence exists yet). Modeling a per-host budget now would be speculative per DESIGN §6. Recorded as a named, triggered gap on the scope-disposition Terminal note instead. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
Jul 22, 2026
…nly_skip bypass (#7023) (#7039) * WIP: docs->doc-reachability selection edge: docs/**.md diffs must select the * WIP: docs->doc-reachability selection edge: docs/**.md diffs must select the * WIP: docs->doc-reachability selection edge: docs/**.md diffs must select the * WIP: docs->doc-reachability selection edge: docs/**.md diffs must select the --------- Co-authored-by: Brian Searls <briansrls@gunb.ai>
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
repr_mismatch_emitted_e0308_probe.shon04_inferandmaterialization_carriersat main@3bd736d230 (post-Gate-1 repr grounding: ground modeled String to native Rust String in v1 emit #6983 repr grounding + unresolved_compiler_error diagnosis + fix: 6 modules (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) refuse with UNRESOLVED_CompilerError in curated probes — census + receipts in #6872 TSVs (calm-boar-697). Read the actual probe error output per module #6986, pre-emit_imports: field-struct import synth asks "provides" not "physically defines" (+ honest frontier refresh, zero flips) #6981 dotted-alias).e0308_all=0(was 3410) — fan-out gate (c) already met; cargo refuse is dotted-alias class only (110 rustc errors, first:expected ... found .).e0308_module_rs=0(was 652);e0308_all=83closure residual; first errorE0425 cannot find value extdeps— module E0308 gate met, dominant blocker is namespace not repr.Test plan
./scripts/repr_mismatch_emitted_e0308_probe.sh src/v2/compiler/04_infer.dag namespace./scripts/repr_mismatch_emitted_e0308_probe.sh src/v2/compiler/materialization_carriers.dag namespaceMade with Cursor