Repository navigation
MAIN-RED-PENDING fix: root #7023's orphan probe doc in the doc graph (bind: provenance row) - #7035
Merged
Merged
Conversation
…d: provenance row (orphan minted by #7023, first surfaced on the merged-with-main floor) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
1 task
1 of 2 tasks
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Jul 21, 2026
…e_map_2026-07-21.md My earlier fix (this branch) and #7035 (merged to main, now pulled in via auto-merge) independently added bind: provenance rows for the same doc. Per DESIGN.md §3 (single authority), remove the redundant one added here; #7035's row in dag/tools/self_host_curated_probe_cargo.dag alone satisfies doc-graph reachability (verified locally: doc_graph_has_no_orphan_docs, doc_graph_has_no_dangling_links, doc_graph_universe_is_nonempty all PASS). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
This was referenced Jul 21, 2026
Merged
briansrls
added a commit
that referenced
this pull request
Jul 22, 2026
…ss qualified-fill (~18min residual) (#7030) * WIP: Floor time: dissolve the #6848 once-per-entry fixpoint + reconcile-miss * WIP: Floor time: dissolve the #6848 once-per-entry fixpoint + reconcile-miss * WIP: Floor time: dissolve the #6848 once-per-entry fixpoint + reconcile-miss * Dedup doc-orphan bind: row — #7035 already roots emitter_residual_site_map_2026-07-21.md My earlier fix (this branch) and #7035 (merged to main, now pulled in via auto-merge) independently added bind: provenance rows for the same doc. Per DESIGN.md §3 (single authority), remove the redundant one added here; #7035's row in dag/tools/self_host_curated_probe_cargo.dag alone satisfies doc-graph reachability (verified locally: doc_graph_has_no_orphan_docs, doc_graph_has_no_dangling_links, doc_graph_universe_is_nonempty all PASS). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: gunbai-bot[bot] <289086189+gunbai-bot[bot]@users.noreply.github.com> Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
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.
One-row fix for a pending main-wide floor red (root: #7023)
#7023 (docs(probes): emitted deep-module E0308 baseline, crisp-fox-839) added
docs/probes/emitter_residual_site_map_2026-07-21.mdwith zero referencers — a true doc-graph orphan. Main's last green floor run (29866809675) was triggered by the #7014 push before #7023 merged, so main has not yet executed a floor containing the orphan: the next main push reds ondoc_graph_has_no_orphan_docs, and every PR floor (merged-with-current-main) reds now — first surfaced on #7029's run (1 of 2137 witnesses).Fix: one
bind:provenancedatarow indag/tools/self_host_curated_probe_cargo.dag, the exact sibling pattern already rootingcurated_cargo_frontier_probe_report.mdin the same file. The row names #7023 as the minting PR and carries its dissolve-on (the emitter residual classes the doc maps).Receipts (by execution, on this branch's tree)
doc_graph_has_no_orphan_docsPASS (was FAIL without the row — the same tree minus this commit is the discriminating control, as run 29870054060 on witness suite migration onto the family-grain crate: meet_join + complement 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 showed)doc_graph_has_no_dangling_linksPASSSingle-owner extraction per sharp-bee-290 directive (crisp-fox stands down; the same commit rides #7029 and reconciles to a no-op on its next main merge).
🤖 Generated with Claude Code