Skip to content

Fix main-red: re-home orphaned emitted-crate-partition-design.md (doc-reachability wall) - #6724

Closed
gunbai-bot[bot] wants to merge 1 commit into
mainfrom
fix/orphan-doc-crate-partition-reachability
Closed

gunbai-bot[bot] wants to merge 1 commit into
mainfrom
fix/orphan-doc-crate-partition-reachability

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 16, 2026

Copy link
Copy Markdown
Contributor

Summary

main is RED across every recent commit — root cause: doc_graph_has_no_orphan_docs returns Bool(false) (orphan count 1). #6708 landed docs/plans/emitted-crate-partition-design.md with zero inbound reachability edges tree-wide, so it is unreachable from the doc-graph roots (DESIGN/ROADMAP + .dag bind-refs). This is exactly the class the doc_reachability wall was restored (2026-07-15, live_tree.dag note) to catch after gunbc#6654 minted an orphan under green CI.

Fix

Add the honest reachability edge: the crate/compilation-unit partition is the crate-layout half of self-host emission ("the self-hosted compiler emits its own Rust as a crate layout"), so it joins v2-self-hosting.md's Related: list of sibling self-host design docs (peer to general-body-producer-design.md, dag-v2-defork-audit.md). Not a wall-silencing edge — it belongs there on the merits.

Receipt — green-by-execution (prebuilt claim_batch, live working tree)

PASS doc_graph_has_no_orphan_docs      (was Bool(false) on main HEAD)
PASS doc_graph_has_no_dangling_links   (the new link resolves to an existing file)
PASS doc_graph_universe_is_nonempty

Note

cool-crane's c-linkage-unit-realization-design.md (#6717, the C realization) is not referenced here — it is unmerged, so linking it would be a dangling-link RED. #6717 carries its own reachability edge on merge (flagged to author).

🤖 Generated with Claude Code

… the doc-reachability graph

#6708 landed docs/plans/emitted-crate-partition-design.md with ZERO inbound
reachability edges (tree-wide), so doc_graph_has_no_orphan_docs returned
Bool(false) — orphan count 1 — redding the floor on every subsequent main
commit (the wall the live_tree.dag note restored precisely to catch this
class after gunbc#6654 minted an orphan under green CI).

The crate/compilation-unit partition is the crate-layout half of self-host
emission ("the self-hosted compiler emits its own Rust as a crate layout"),
so its honest reachable parent is the v2-self-hosting.md tracker's Related
list of sibling self-host design docs — not a wall-silencing edge, it
belongs there on the merits (peer to general-body-producer / dag-v2-defork).

RECEIPT (green-by-execution, prebuilt claim_batch over the live working tree):
  PASS doc_graph_has_no_orphan_docs      (was Bool(false) on main)
  PASS doc_graph_has_no_dangling_links   (the new [..](..) link resolves)
  PASS doc_graph_universe_is_nonempty

cool-crane's c-linkage-unit-realization-design.md (#6717, C realization) is
NOT referenced here — it is unmerged, so a link would be a dangling-link
RED; #6717 must carry its own reachability edge on merge (flagged to author).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
gunbai-bot Bot pushed a commit that referenced this pull request Jul 16, 2026
Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot

gunbai-bot Bot commented Jul 16, 2026

Copy link
Copy Markdown
Contributor Author

Closing as SUPERSEDED by #6723, which landed the identical orphan-doc reachability fix to main first (parallel work — we independently diagnosed the same root cause and both re-homed emitted-crate-partition-design.md into v2-self-hosting.md's Related list). Verified by execution against current main: doc_graph_has_no_orphan_docs PASS and doc_graph_has_no_dangling_links PASS. Main is unblocked; this branch adds only a descriptive gloss on the same link, not worth a separate merge cycle (DRY). — sent from eager-ferret-110

@gunbai-bot gunbai-bot Bot closed this Jul 16, 2026
briansrls added a commit that referenced this pull request Jul 16, 2026
…the existing value-expression path, prove behavioral equivalence to v1 seed (hermetic per-PR + wet oracle), flip frontier row SeedRetained->SelfEmitted. Copy the use_site_verdict pilot template (#6675). v2-only leaf, shim-free. NOT (#6703)

* WIP: Wave 2 Band A self-emit: parse_engine_hooks — self-emit its Rust via the

* Wave 2 Band A: finish parse_engine_hooks self-emit pilot receipts.

Fix wet behavioral transport (shim-free minimal linkage, Symbol newtype
seed oracle, emit-content validation), hermetic test import, and crate
layout witnesses for the second SelfEmitted frontier row.

Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Wave 2 Band A self-emit: parse_engine_hooks — self-emit its Rust via the

* Fix stage0 crate-layout witness for second SelfEmitted row.

Derive expected self-emitted count from compiler_frontier_self_emitted_count()
instead of hardcoding 1 — parse_engine_hooks flip makes baseline 2.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Fix merge conflict in stage0 crate layout: keep std_lens_verdict and parse_engine_hooks.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Link emitted-crate-partition plan in ROADMAP for doc reachability.

Unblocks doc_graph_has_no_orphan_docs inherited from main #6708 orphan.

Co-authored-by: Cursor <cursoragent@cursor.com>

* Revert ROADMAP hand-edit — orphan fix belongs in #6724.

Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Wave 2 Band A self-emit: parse_engine_hooks — self-emit its Rust via the

* WIP: Wave 2 Band A self-emit: parse_engine_hooks — self-emit its Rust via the

* Remove accidental scratch log files from repo root.

Addresses review 38737 REQUEST_CHANGES — shell captures are not modeled artifacts.

Co-authored-by: Cursor <cursoragent@cursor.com>

---------

Co-authored-by: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Cursor <cursoragent@cursor.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.

0 participants