Skip to content

Lane D: dotted-name emit-shape rendering fix (pattern/construction/type-position) + orch_while falsifier fast-lane relocation #7098

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
briansrls merged 21 commits into from
Jul 23, 2026
Merged

Lane D: dotted-name emit-shape rendering fix (pattern/construction/type-position) + orch_while falsifier fast-lane relocation #7098

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
8b10ad9
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
9ffe97e
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
e7381f2
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
c25aa5b
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
8d4ce97
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
a623eb9
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
a54b282
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
49c758b
Merge remote-tracking branch 'origin/main' into session/keen-ibex-888
briansrls Jul 23, 2026
5d3bc61
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
9937a15
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
d96acd0
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
0b7be41
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
62c2632
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
fdd1554
Merge remote-tracking branch 'origin/main' into session/keen-ibex-888
briansrls Jul 23, 2026
19e94b4
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
4e67119
Fix recipe wording in orch_while_long_lane_note (gunbc run --function…
briansrls Jul 23, 2026
1c2d553
Merge remote-tracking branch 'origin/main' into session/keen-ibex-888
briansrls Jul 23, 2026
7c25ef6
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
7e38f26
Resolve merge-conflict markers left in TSV/frontier_probe_types by pr…
briansrls Jul 23, 2026
80e4192
Merge remote-tracking branch 'origin/main' into session/keen-ibex-888
briansrls Jul 23, 2026
bc22d11
WIP: Lane D: emit-shape dotted-name roots + While-emit falsifier reds
briansrls Jul 23, 2026
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
42 changes: 21 additions & 21 deletions docs/probes/curated_cargo_frontier_probe_sweep.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,23 +1,23 @@
# classifier_stamp: rule1-first-error-plus-residual-histogram-v3
module emit cargo first_error mapped_gate verdict residual_histogram raw_dup_pub_use
src/v2/compiler/02_parse.dag 74 files emitted, 59 diagnostics refuse error: expected `,`, or `}`, found `.` UNKNOWN UNKNOWN-error:_expected_`,`,_or_`}`,_found_`.` error[E0107]:18 error[E0425]:10 error[E0109]:8 error[E0433]:7 error[E0422]:7 error[E0573]:1 error[E0391]:1 uncoded:7 0
src/v2/compiler/03_ingest.dag 131 files emitted, 226 diagnostics refuse error: expected one of `(`, `.`, `::`, `=>`, `?`, `if`, `|`, or an operator, found `{` UNKNOWN_emit_shape UNKNOWN-error:_expected_one_of_`(`,_`.`,_`::`,_`=>`,_`?`,_`if`,_`|`,_or_an_operator,_fou error[E0433]:35 error[E0425]:34 error[E0107]:29 error[E0423]:16 error[E0573]:10 error[E0422]:8 error[E0109]:8 error[E0747]:2 error[E0391]:1 uncoded:109 0
src/v2/compiler/06_translate.dag 58 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/05_eval.dag 57 files emitted, 0 diagnostics refuse error[E0433]: cannot find type `NamedEdgeTargetLookup` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:13 error[E0433]:10 error[E0107]:9 error[E0422]:8 error[E0109]:8 error[E0391]:1 0
src/v2/compiler/materialization_carriers.dag 41 files emitted, 50 diagnostics refuse error[E0425]: cannot find value `v2` in this scope namespace_resolution CONFIRMED-namespace error[E0308]:87 error[E0277]:80 error[E0599]:66 error[E0369]:61 error[E0107]:15 error[E0425]:3 error[E0061]:2 error[E0282]:1 uncoded:1 0
src/v2/compiler/05_emit.dag 59 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/05_emit_orchestration.dag 67 files emitted, 8 diagnostics refuse error: expected one of `,` or `>`, found `.` UNKNOWN_emit_shape UNKNOWN-error:_expected_one_of_`,`_or_`>`,_found_`.` error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 uncoded:2 0
src/v2/compiler/emit_module.dag 60 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/emit_produced.dag 69 files emitted, 30 diagnostics refuse error: expected `,`, or `}`, found `.` UNKNOWN UNKNOWN-error:_expected_`,`,_or_`}`,_found_`.` error[E0433]:15 error[E0425]:14 error[E0422]:10 error[E0109]:8 error[E0107]:8 error[E0391]:1 uncoded:4 0
src/v2/compiler/emit_semantic_decl.dag 60 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/emit_host.dag 86 files emitted, 55 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0107]:22 error[E0425]:16 error[E0433]:15 error[E0422]:8 error[E0109]:8 error[E0391]:1 0
src/v2/compiler/fold_lowering.dag 42 files emitted, 0 diagnostics refuse error[E0422]: cannot find struct, variant or union type `RuntimePrimitiveValue` in this scope namespace_resolution CONFIRMED-namespace error[E0109]:8 error[E0433]:7 error[E0422]:7 error[E0425]:6 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/03_name_resolve.dag 51 files emitted, 18 diagnostics refuse error: expected one of `:`, `@`, or `|`, found `.` UNKNOWN_emit_shape UNKNOWN-error:_expected_one_of_`:`,_`@`,_or_`|`,_found_`.` error[E0425]:21 error[E0107]:10 error[E0433]:9 error[E0422]:8 error[E0109]:8 error[E0573]:6 error[E0391]:1 uncoded:14 0
src/v2/compiler/03_resolve.dag 45 files emitted, 0 diagnostics refuse error[E0422]: cannot find struct, variant or union type `RuntimePrimitiveValue` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:12 error[E0422]:8 error[E0109]:8 error[E0433]:7 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/00_compile.dag 129 files emitted, 226 diagnostics refuse error: expected one of `(`, `.`, `::`, `=>`, `?`, `if`, `|`, or an operator, found `{` UNKNOWN_emit_shape UNKNOWN-error:_expected_one_of_`(`,_`.`,_`::`,_`=>`,_`?`,_`if`,_`|`,_or_an_operator,_fou error[E0433]:35 error[E0425]:33 error[E0107]:29 error[E0423]:16 error[E0573]:10 error[E0422]:8 error[E0109]:8 error[E0747]:2 error[E0391]:1 uncoded:107 0
src/v2/compiler/01_tokenize.dag 23 files emitted, 0 diagnostics refuse error: struct literal body without path UNKNOWN UNKNOWN-error:_struct_literal_body_without_path error[E0423]:6 error[E0432]:1 error[E0391]:1 error[E0107]:1 uncoded:8 0
src/v2/compiler/03_normalize.dag 51 files emitted, 9 diagnostics refuse error[E0423]: expected value, found crate `std` UNKNOWN UNKNOWN-error[E0423]:_expected_value,_found_crate_`std` error[E0425]:10 error[E0107]:9 error[E0433]:8 error[E0109]:8 error[E0423]:7 error[E0422]:7 error[E0391]:1 0
src/v2/compiler/04_infer.dag 50 files emitted, 0 diagnostics refuse error[E0433]: cannot find type `NamedEdgeTargetLookup` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:13 error[E0433]:10 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/program_assembly.dag emit_fail emit_fail indexed 2385 modules from 2 source roots resolved 42 sources (transitive import closure) [census] 2343 indexed modules outside the closure enter the name census only (not compiled) EMIT_REFUSE unmeasured
src/v2/compiler/program_partition.dag 65 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:14 error[E0422]:8 error[E0109]:8 error[E0107]:6 error[E0391]:1 0
src/v2/compiler/source_authority.dag 102 files emitted, 94 diagnostics refuse error: expected `,`, or `}`, found `.` UNKNOWN UNKNOWN-error:_expected_`,`,_or_`}`,_found_`.` error[E0107]:25 error[E0425]:19 error[E0433]:18 error[E0423]:13 error[E0422]:8 error[E0109]:8 error[E0573]:7 error[E0391]:1 uncoded:29 0
src/v2/compiler/00_compile.dag 129 files emitted, 226 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:91 error[E0433]:66 error[E0107]:27 error[E0422]:12 error[E0109]:8 error[E0573]:1 error[E0391]:1 0
src/v2/compiler/01_tokenize.dag 23 files emitted, 0 diagnostics refuse error[E0432]: unresolved import `crate::std_nat` namespace_resolution CONFIRMED-namespace error[E0425]:8 error[E0432]:1 error[E0391]:1 error[E0107]:1 0
src/v2/compiler/02_parse.dag 74 files emitted, 59 diagnostics refuse error[E0425]: cannot find type `Refined` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:41 error[E0107]:19 error[E0422]:11 error[E0109]:8 error[E0433]:7 error[E0573]:1 error[E0391]:1 0
src/v2/compiler/03_ingest.dag 131 files emitted, 226 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:92 error[E0433]:66 error[E0107]:27 error[E0422]:12 error[E0109]:8 error[E0573]:1 error[E0391]:1 0
src/v2/compiler/03_name_resolve.dag 51 files emitted, 18 diagnostics refuse error[E0425]: cannot find value `layer_prefix_std` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:30 error[E0433]:11 error[E0422]:8 error[E0109]:8 error[E0107]:8 error[E0391]:1 0
src/v2/compiler/03_normalize.dag 51 files emitted, 9 diagnostics refuse error[E0425]: cannot find value `empty` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:13 error[E0433]:8 error[E0109]:8 error[E0422]:7 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/03_resolve.dag 45 files emitted, 0 diagnostics refuse error[E0422]: cannot find struct, variant or union type `RuntimePrimitiveValue` in this scope namespace_resolution CONFIRMED-namespace error[E0422]:8 error[E0109]:8 error[E0433]:7 error[E0425]:7 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/04_infer.dag 50 files emitted, 0 diagnostics refuse error[E0433]: cannot find type `NamedEdgeTargetLookup` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:10 error[E0425]:8 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/05_emit.dag 59 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/05_emit_orchestration.dag 67 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/05_eval.dag 57 files emitted, 0 diagnostics refuse error[E0433]: cannot find type `NamedEdgeTargetLookup` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:10 error[E0107]:10 error[E0425]:8 error[E0422]:8 error[E0109]:8 error[E0391]:1 0
src/v2/compiler/06_translate.dag 58 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/emit_host.dag 86 files emitted, 55 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0107]:23 error[E0433]:15 error[E0425]:11 error[E0422]:8 error[E0109]:8 error[E0391]:1 0
src/v2/compiler/emit_module.dag 60 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/emit_produced.dag 69 files emitted, 30 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:17 error[E0422]:10 error[E0425]:9 error[E0107]:9 error[E0109]:8 error[E0391]:1 0
src/v2/compiler/emit_semantic_decl.dag 60 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/fold_lowering.dag 42 files emitted, 0 diagnostics refuse error[E0422]: cannot find struct, variant or union type `RuntimePrimitiveValue` in this scope namespace_resolution CONFIRMED-namespace error[E0109]:8 error[E0433]:7 error[E0422]:7 error[E0107]:7 error[E0425]:6 error[E0391]:1 0
src/v2/compiler/materialization_carriers.dag 41 files emitted, 50 diagnostics refuse error[E0107]: missing generics for struct `Measure` UNKNOWN UNKNOWN-error[E0107]:_missing_generics_for_struct_`Measure` error[E0308]:89 error[E0277]:80 error[E0599]:66 error[E0369]:61 error[E0107]:15 error[E0061]:2 error[E0282]:1 uncoded:1 0
src/v2/compiler/program_assembly.dag emit_fail emit_fail indexed 2390 modules from 2 source roots resolved 41 sources (transitive import closure) [census] 2349 indexed modules outside the closure enter the name census only (not compiled) EMIT_REFUSE unmeasured
src/v2/compiler/program_partition.dag 65 files emitted, 8 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0433]:15 error[E0425]:9 error[E0422]:8 error[E0109]:8 error[E0107]:7 error[E0391]:1 0
src/v2/compiler/source_authority.dag 102 files emitted, 94 diagnostics refuse error[E0433]: cannot find type `UriScheme` in this scope namespace_resolution CONFIRMED-namespace error[E0425]:77 error[E0107]:23 error[E0433]:20 error[E0422]:12 error[E0109]:8 error[E0573]:1 error[E0391]:1 0
Loading
Loading