Skip to content

Post-sweep cleanups: re-home spice pair under test/claim/ (first EX-row relocation dissolution); fix runner roster paths; link orphaned design docs - #6564

Merged
briansrls merged 5 commits into
mainfrom
session/sleek-deer-172-post-sweep-cleanups
Jul 14, 2026
Merged

briansrls merged 5 commits into
mainfrom
session/sleek-deer-172-post-sweep-cleanups

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 14, 2026 •

Copy link
Copy Markdown
Contributor

What (post-sweep follow-ups, operator-directed — scope narrowed once mid-flight, see item 1)

  1. claim_witness_corpus_ci_runner.dag — deletion WITHDRAWN, paths repaired instead. This PR originally deleted the roster as a zero-consumer parallel representation (581 lines, no importers, stale path since birth). Mid-review, general body producer: ingested if-body fn_decl → Arrow, green by execution (Wave 1 gate 1) #6558 (general-body-producer lane) actively curated it — added two pick-keystone rows and fixed a stale path — disproving the abandoned-premise. Kept per that evidence; this PR now just repairs its three spice rows to the relocated paths below, including the original missing-_test bug at the passive-deck row. Whether an unexecuted roster should exist at all belongs to that lane's conversation, not a unilateral delete here.
  2. Re-home the spice witness pair (spice_rc_passive_deck_claims_test.dag, spice_rc_ngspice_oracle_test.dag) from src/v2/extdeps/ to src/v2/test/claim/extdeps/ — the honest dissolution the sweep note named: they leave the strict-resolve probe universe together with their fixtures, so their two EX rows delete per the note's own trigger ('a row that excludes nothing is dead weight'). First relocation-class dissolution, receipted in the note. They remain floor-discovered at the new path.
  3. Link two orphaned design docs — shell-to-dag-residual-census-and-arc-completion.md (ShellProgram -> DAG (Wave 1-3, on 1) #6514) and dependency-fidelity-design.md landed without links from any doc-graph root, redding doc_graph_has_no_orphan_docs on the cold sweep. The census link lives in the .dag authority dag/gunbc/plans/shell_emission_model.dag (first attempt edited the generated .md projection; the drift gate refused it — working as designed); the dependency-fidelity link landed independently via Fix orphaned dependency-fidelity design doc (latent fleet-wide floor red) #6559. Masking-class receipts 5 and 6: both offending PRs predict-skipped the live-read doc-reachability witnesses (DIVERGENCE … class=node-frontier recorded) — routed to the live-read classification design lane (keen-ram-460).

Verification (by execution, post-merge-resolve)

  • Drift gate run_generated_artifact_drift_gate_body: PASS (committed .md ≡ authority, byte-for-byte via main_wet).
  • doc_graph_has_no_orphan_docs: PASS both trees.
  • All 3 relocated spice witnesses: claim_batch PASS at the new path; present + PASS in the cold corpus run.
  • Whole-tree strict-resolve probe (18-row EX list): green, 1,105 modules, EXIT=0.
  • Full cold whole-corpus falsifier: EXIT=0, all witnesses PASS (pre-runner-restore tree; the runner is data-only — no witness surface).

🤖 Generated with Claude Code

briansrls and others added 2 commits July 14, 2026 02:16
…ner roster; re-home the spice witness pair under test/claim/ (first EX-row relocation dissolution); link the two orphaned design docs

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 14, 2026 02:19
@gunbai-bot gunbai-bot Bot changed the title corpus OOM Post-sweep cleanups: delete zero-consumer witness roster; re-home spice pair under test/claim/ (first EX-row relocation dissolution); link orphaned design docs Jul 14, 2026
@gunbai-bot

gunbai-bot Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor Author

CI red root-caused and fixed: docs/plans/shell-emission-model.md is a GENERATED projection of dag/gunbc/plans/shell_emission_model.dag — my orphan-doc link edit went into the projection instead of the authority, and generated_artifact_drift_gate_passes correctly refused the drift (the gate working exactly as designed). Fix: the link now lives in the .dag authority; main_wet regeneration confirms the committed .md matches it byte-for-byte, and both the drift gate and doc-reachability witnesses pass locally. — sent from sleek-deer-172

… roster (added pick keystone rows, fixed a stale path), disproving the abandoned premise; instead fix its 3 spice rows to the relocated paths (incl. the missing _test suffix)
@gunbai-bot gunbai-bot Bot changed the title Post-sweep cleanups: delete zero-consumer witness roster; re-home spice pair under test/claim/ (first EX-row relocation dissolution); link orphaned design docs Post-sweep cleanups: re-home spice pair under test/claim/ (first EX-row relocation dissolution); fix runner roster paths; link orphaned design docs Jul 14, 2026
@briansrls
briansrls merged commit a708c6a into main Jul 14, 2026
3 checks passed
@briansrls
briansrls deleted the session/sleek-deer-172-post-sweep-cleanups branch July 14, 2026 03:29
briansrls added a commit that referenced this pull request Jul 14, 2026
briansrls added a commit that referenced this pull request Jul 14, 2026
…, compile-clean non-exhaustive match — and locate the compile-clean refusal (#6604)

* Fix the two nightly reds: roster orch_emit_let_step (nfr, masking receipt #9) + re-land the live-read design doc link lost to the #6564 merge race

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

* Fix the third nightly red (compile-clean) + locate the refusal: converge_cli_applied_knob_count one-special-variant dispatch (#6598 x #6586 stale-base interaction made main compile-red); floor compile-clean refusal now prints located hard diagnostics (it previously printed ok=false with zero located errors — this patch is what found the non-exhaustive match); nfr lens-precision note (field-scrutinee matches are lens-invisible, no roster row)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

* Roster the two #6582 structural-eq sites (live_read_carrier_eq, path_pattern_eq — coordination: silent-eagle-662's resolved audit, supersedes #6614) + dedupe the replace-all's second roster insertion

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant