Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions dag/gunbc/roadmap/roadmap_authority.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2371,11 +2371,11 @@ fn declared_roadmap_nodes() -> List<RoadmapNode> {
headline: "v2 parses and types its native test target end to end",
boundary: "The target is the test label //v2/test/parse/expression_bodied_fn_decl_parse:all, taken through ingest, lowering, resolve and infer on the native route. The population is derived from the label, not counted: there is no list of seven to keep in sync. Every refusal is removed at its root.",
displaced_cost: "Until the target's members type end to end, no v2 frontend claim has a real subject behind it.",
first_slice: "Attribution before repair: for each failing member, record the stage, the fatal cause, the full cause chain, the earliest point where the derivation stops being justified, any shared root and any existing owner, then group the failures by root (DESIGN §6b). The repair plan is the N7 ledger (N7-0 to N7-5, with owners): N7-1 fold element typing and N7-4 the evaluation gate sit with the #12506 owner; N7-3, the match-variable typing regression, is queued after N7-1.",
first_slice: "Phase A, typed endpoint: every member reaches infer on the native route on one combined commit. Every member currently refuses at prepare/infer (projection_receiver_declaration_unavailable). The blocker chain, in order: count unbound (#13307), then the bare filter (filter/any retirement); call result type underived (#13325, integrated with #13210 match payload instantiation); literal elaboration (#13320); from_code_point unbound (#13408, #13453, #13378); kernel-text concat (#13284); Cardinality ambiguous (#13379); Optional ambiguous (Optional de-fork PR B); EmptyPattern unbound; filesystem_io unreachable at lowering (service_realization_unreachable, XL-2). Phase B, execution: each member reaches its expected verdict natively and the label becomes an executing required check. That phase owes iteration direction for map/all (#13069), a v2 evaluation meaning for roster-bound concat (#13284) and NativeTestPassed rows (#13210). Each N7-path PR records the label run at its head and its base, and reports the movement as the blocker it cleared and the blocker that is next.",
red_control: "Any member of the target refusing before type inference, or refusing by blaming an import target (native_import_target_attribution), keeps this red.",
out_of_scope: "Whole-corpus refusals; emission. The type_env cycle-time investigation is a regression investigation, not this node's wall.",
handback: "Every member of the target typed, with the run receipt for the label."
), on: "2026-10-02", note: "Rewritten to the N7 ledger: the target is the test label, and the walls this row used to list are retired (kept as history in the ledger).")),
), on: "2026-10-06", note: "Rewritten to the successor chain: the blocker chain to the typed endpoint, then execution as a required check; the N7-0 to N7-5 ledger text is replaced.")),
parent: in_project(project: "v2-frontend", contribution: "The native test target is the smallest real subject v2 must read and type end to end."),
),
roadmap_node(
Expand Down