diff --git a/docs/probes/e0308_classify_sites.py b/docs/probes/e0308_classify_sites.py index 8d97630dc29..ac4c5e6e690 100755 --- a/docs/probes/e0308_classify_sites.py +++ b/docs/probes/e0308_classify_sites.py @@ -19,7 +19,7 @@ NOTE_EXP = re.compile(r"=\s*note:\s*expected (\w+(?: \w+)?) `(.+?)`\s*$") NOTE_FOUND = re.compile(r"^\s*found (\w+(?: \w+)?) `(.+?)`\s*$") -def read_blocks(path): +def read_blocks(path, codes=("E0308",)): lines = [ANSI.sub("", l.rstrip("\n")) for l in open(path, encoding="utf-8", errors="replace")] blocks, cur = [], None for i, l in enumerate(lines): @@ -33,7 +33,7 @@ def read_blocks(path): blocks.append(cur); cur = None; continue cur["lines"].append(l) if cur: blocks.append(cur) - return [b for b in blocks if b["code"] == "E0308"] + return blocks if codes is None else [b for b in blocks if b["code"] in codes] def block_sites(b): """Expand one block into canonical mismatch sites.""" @@ -385,4 +385,5 @@ def main(path, out): print(" %s:%s:%s %s | %s [%s] callee=%s" % (s["file"], s["line"], s["col"], s["expected"], s["found"], s["delta"], s["callee"])) -main(sys.argv[1], sys.argv[2]) +if __name__ == "__main__": + main(sys.argv[1], sys.argv[2]) diff --git a/docs/probes/e0308_partition_2026-08-22.md b/docs/probes/e0308_partition_2026-08-22.md index 2f89adb701b..d9ea60013fd 100644 --- a/docs/probes/e0308_partition_2026-08-22.md +++ b/docs/probes/e0308_partition_2026-08-22.md @@ -7,6 +7,15 @@ existing 15-category vocabulary of This is a **measurement**, not a repair. Nothing in this lane changes a single emitted type. +**Cross-code correction (2026-08-23):** this document is an E0308 projection, not a mechanism +board. The absent-`Clone`-bound mechanism classified here as `A-clone = 12` also produces 6 E0277 +and 4 E0599 manifestations in this same log: its cross-code population is **22**, not 12. Therefore +the percentages below are shares *within E0308*, never mechanism shares, and the staffing ranking +derived from those shares is withdrawn. The cross-code instrument, complete TSV, and receipt are +[`rustc_mechanism_partition_2026-08-23.md`](rustc_mechanism_partition_2026-08-23.md). The 22 is at +this document's `967b5bc1b92` ref, not the current certified board at `98b18cdc81e`, and must not +be compared with that board's raw-row total. + **Every cluster below is a CANDIDATE root, not a root.** Mechanical clustering plus shared provenance establishes that a set of sites *looks like* one producer decision; only changing one modeled decision, rerunning the whole board, and observing the exact site conversions establishes @@ -306,12 +315,13 @@ width of one file. BOX-WRAP) and two more sit in two files each (D, ELEM-COLL), which is the strongest cost-shape signal in this run: 49 of 154 sites sit behind six decisions in eight files. -## Cost shape — the staffing question the brief asked +## Cost shape — E0308 projection only; staffing conclusion withdrawn -The board is **not** a long tail of independent site repairs. Four clusters (R1, R2, D, T3) cover +Within E0308, the board is **not** a long tail of independent site repairs. Four clusters (R1, R2, D, T3) cover 88 of 154 = 57%, and six near-single-file clusters cover another 49. The tail is 7 residue sites in -5 files. This agrees in shape with the 2026-08-21 finding (7 largest categories = 79%) even though -the population is different. +5 files. This concentration does **not** rank mechanisms: the cross-code classifier proves that a +mechanism can extend beyond this denominator, and only `ABSENT_CLONE_BOUND` has been classified +across codes so far. | cluster | sites | suggested owner | why that owner | |---|---:|---|---| diff --git a/docs/probes/e0308_partition_2026-08-22/mechanisms_classified.tsv b/docs/probes/e0308_partition_2026-08-22/mechanisms_classified.tsv new file mode 100644 index 00000000000..ded09341668 --- /dev/null +++ b/docs/probes/e0308_partition_2026-08-22/mechanisms_classified.tsv @@ -0,0 +1,342 @@ +code block manifestation file line col expected found mechanism e0308_candidate_projection message +E0433 1 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 440 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 2 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 479 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 3 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 503 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 4 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 538 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 5 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 539 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 6 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 614 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0433 7 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 655 43 UNCLASSIFIED cannot find type `Behavior` in this scope +E0425 8 1 src/v2_lens_enforcement_grammar_coverage.rs 143 41 UNCLASSIFIED cannot find function `decl_facts` in this scope +E0425 9 1 src/v2_std_text.rs 20 26 UNCLASSIFIED cannot find type `Int` in this scope +E0425 10 1 src/std_state_durability.rs 329 35 UNCLASSIFIED cannot find type `Int` in this scope +E0425 11 1 src/v2_compiler_materialization_carriers.rs 145 42 UNCLASSIFIED cannot find type `NonEmptyStr` in this scope +E0425 12 1 src/v2_compiler_materialization_carriers.rs 149 44 UNCLASSIFIED cannot find type `NonEmptyStr` in this scope +E0425 13 1 src/v2_compiler_materialization_carriers.rs 153 44 UNCLASSIFIED cannot find type `NonEmptyStr` in this scope +E0425 14 1 src/v2_compiler_target_carriers.rs 84 23 UNCLASSIFIED cannot find type `Edge` in this scope +E0433 15 1 src/v2_lens_cost.rs 735 39 UNCLASSIFIED cannot find type `ConversionOpcode` in this scope +E0425 16 1 src/v2_lens_mandatory_tag.rs 402 301 UNCLASSIFIED cannot find type `T` in this scope +E0425 17 1 src/v2_lens_reference_deps.rs 331 5 UNCLASSIFIED cannot find function `length` in this scope +E0425 18 1 src/v2_lens_reference_deps.rs 331 29 UNCLASSIFIED cannot find function `length` in this scope +E0425 19 1 src/v2_lens_reference_deps.rs 366 92 UNCLASSIFIED cannot find function `decl_facts` in this scope +E0425 20 1 src/v2_lens_reference_deps.rs 443 5 UNCLASSIFIED cannot find function `length` in this scope +E0425 21 1 src/v2_compiler_normalized_tree.rs 44 69 UNCLASSIFIED cannot find type `NonEmptyDiagnostics` in this scope +E0425 22 1 src/v2_compiler_normalized_tree.rs 63 80 UNCLASSIFIED cannot find type `NonEmptyDiagnostics` in this scope +E0425 23 1 src/v2_compiler_normalize.rs 84 76 UNCLASSIFIED cannot find type `NonEmptyDiagnostics` in this scope +E0425 24 1 src/v2_compiler_normalize.rs 136 70 UNCLASSIFIED cannot find type `NonEmptyDiagnostics` in this scope +E0425 25 1 src/v2_compiler_program_assembly.rs 38 16 UNCLASSIFIED cannot find type `SourceRootIndex` in this scope +E0425 26 1 src/v2_compiler_source_authority.rs 526 20 UNCLASSIFIED cannot find value `filesystem` in this scope +E0425 27 1 src/v2_compiler_source_authority.rs 657 20 UNCLASSIFIED cannot find value `filesystem` in this scope +E0728 28 1 src/v2_compiler_source_authority.rs 526 50 UNCLASSIFIED `await` is only allowed inside `async` functions and blocks +E0728 29 1 src/v2_compiler_source_authority.rs 657 55 UNCLASSIFIED `await` is only allowed inside `async` functions and blocks +E0277 30 1 src/v2_std_test_claim_falsification.rs 38 24 ABSENT_CLONE_BOUND the trait bound `A: Clone` is not satisfied +E0277 31 1 src/v2_compiler_eval.rs 302 19 ABSENT_CLONE_BOUND the trait bound `T: Clone` is not satisfied +E0277 32 1 src/v2_compiler_eval.rs 329 21 ABSENT_CLONE_BOUND the trait bound `A: Clone` is not satisfied +E0308 33 1 src/v2_extdeps_languages_fidelity.rs 27 79 Feature &Feature ABSENT_CLONE_BOUND A-clone mismatched types +E0308 33 2 src/v2_extdeps_languages_fidelity.rs 27 79 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0631 34 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 70 48 UNCLASSIFIED type mismatch in closure arguments +E0631 35 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 72 48 UNCLASSIFIED type mismatch in closure arguments +E0308 36 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 125 116 Rc Edge UNCLASSIFIED R1 mismatched types +E0631 37 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 125 36 UNCLASSIFIED type mismatch in closure arguments +E0308 38 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 275 14 Rc LetBinding UNCLASSIFIED R1 mismatched types +E0308 39 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 284 14 Rc LetBinding UNCLASSIFIED R1 mismatched types +E0308 40 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 298 14 Rc LetBinding UNCLASSIFIED R1 mismatched types +E0308 41 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 309 14 Rc LetBinding UNCLASSIFIED R1 mismatched types +E0631 42 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 333 40 UNCLASSIFIED type mismatch in closure arguments +E0308 43 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 485 80 Vector Vector> UNCLASSIFIED R1 mismatched types +E0631 44 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 479 110 UNCLASSIFIED type mismatch in closure arguments +E0308 45 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 479 72 Rc>> Rc> UNCLASSIFIED R1 mismatched types +E0631 46 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 643 36 UNCLASSIFIED type mismatch in closure arguments +E0631 47 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 656 48 UNCLASSIFIED type mismatch in closure arguments +E0631 48 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 683 51 UNCLASSIFIED type mismatch in closure arguments +E0308 49 1 src/v2_lens_complexity_accumulator_copy_analyze.rs 696 15 Rc> Rc>> UNCLASSIFIED R1 mismatched types +E0308 50 1 src/v2_lens_complexity_lowering.rs 48 13 Vector<()> Vector> UNCLASSIFIED C mismatched types +E0631 51 1 src/v2_lens_complexity_lowering.rs 52 33 UNCLASSIFIED type mismatch in function arguments +E0308 52 1 src/v2_lens_complexity_lowering.rs 60 104 Rc () UNCLASSIFIED C mismatched types +E0308 53 1 src/v2_lens_complexity_lowering.rs 68 107 Rc () UNCLASSIFIED C mismatched types +E0609 54 1 src/v2_lens_complexity_lowering.rs 69 11 UNCLASSIFIED no field `after` on type `()` +E0308 55 1 src/v2_lens_coverage.rs 52 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 56 1 src/v2_lens_coverage.rs 63 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 57 1 src/v2_lens_coverage.rs 74 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 58 1 src/v2_lens_coverage.rs 85 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 59 1 src/v2_lens_coverage.rs 96 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 60 1 src/v2_lens_coverage.rs 107 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 61 1 src/v2_lens_coverage.rs 118 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 62 1 src/v2_lens_coverage.rs 129 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 63 1 src/v2_lens_coverage.rs 140 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 64 1 src/v2_lens_coverage.rs 151 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 65 1 src/v2_lens_coverage.rs 162 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 66 1 src/v2_lens_coverage.rs 173 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0308 67 1 src/v2_lens_coverage.rs 184 21 Coverage> CoverageDefectAcceptanceKey UNCLASSIFIED D mismatched types +E0061 68 1 src/v2_lens_coverage.rs 200 11 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 69 1 src/v2_lens_coverage.rs 207 101 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0308 70 1 src/v2_lens_coverage.rs 214 181 () Rc> UNCLASSIFIED C mismatched types +E0308 71 1 src/v2_lens_enforcement_standing_intent.rs 215 32 Vector Vector> UNCLASSIFIED R1 mismatched types +E0308 72 1 src/v2_lens_enforcement_standing_intent.rs 246 32 Vector Vector> UNCLASSIFIED R1 mismatched types +E0061 73 1 src/v2_lens_enforcement_vocab.rs 225 66 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 74 1 src/v2_lens_enforcement_vocab.rs 300 42 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 75 1 src/v2_lens_enforcement_vocab.rs 304 40 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0282 76 1 src/v2_lens_witness_cost_locality.rs 90 127 UNCLASSIFIED type annotations needed +E0061 77 1 src/v2_lens_witness_cost_locality.rs 90 87 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0282 78 1 src/v2_lens_witness_cost_locality.rs 188 45 UNCLASSIFIED type annotations needed +E0061 79 1 src/v2_lens_witness_cost_locality.rs 188 5 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0308 80 1 src/v2_std_artifact.rs 84 14 Rc>> Refined> UNCLASSIFIED R1 mismatched types +E0308 80 2 src/v2_std_artifact.rs 84 14 Rc> Refined<_> UNCLASSIFIED R1 mismatched types +E0599 81 1 src/v2_std_cross_tree_resolution.rs 103 17 UNCLASSIFIED no associated function or constant named `Empty` found for struct `im::Vector` in the current scope +E0223 82 1 src/v2_std_cross_tree_resolution.rs 104 5 UNCLASSIFIED ambiguous associated type +E0425 83 1 src/v2_std_layer.rs 38 5 UNCLASSIFIED cannot find function `layer_import_facts` in this scope +E0308 84 1 src/v2_std_passing_candidate_fold.rs 34 83 T &T ABSENT_CLONE_BOUND A-clone mismatched types +E0308 84 2 src/v2_std_passing_candidate_fold.rs 34 83 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0308 85 1 src/std_checked_arithmetic.rs 305 12 Rc i64 UNCLASSIFIED R1 mismatched types +E0308 86 1 src/v2_std_algebra.rs 152 63 T &T ABSENT_CLONE_BOUND A-clone mismatched types +E0308 86 2 src/v2_std_algebra.rs 152 63 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0308 87 1 src/v2_std_logic.rs 53 5 Bool True UNCLASSIFIED B2 mismatched types +E0308 88 1 src/v2_std_logic.rs 54 5 Bool False UNCLASSIFIED B2 mismatched types +E0308 89 1 src/v2_std_logic.rs 57 5 Bool True UNCLASSIFIED B2 mismatched types +E0308 90 1 src/v2_std_logic.rs 58 5 Bool False UNCLASSIFIED B2 mismatched types +E0308 91 1 src/v2_std_logic.rs 61 5 Bool True UNCLASSIFIED B2 mismatched types +E0308 92 1 src/v2_std_logic.rs 62 5 Bool False UNCLASSIFIED B2 mismatched types +E0308 93 1 src/std_measure.rs 488 18 Rc i64 UNCLASSIFIED R1 mismatched types +E0369 94 1 src/std_measure.rs 508 109 UNCLASSIFIED cannot add `{integer}` to `Rc` +E0599 95 1 src/v2_std_staging.rs 16 39 ABSENT_CLONE_BOUND no method named `clone` found for type parameter `A` in the current scope +E0277 96 1 src/v2_std_staging.rs 16 22 ABSENT_CLONE_BOUND the trait bound `C: Clone` is not satisfied +E0308 97 1 src/v2_std_staging.rs 31 53 B &B ABSENT_CLONE_BOUND A-clone mismatched types +E0308 97 2 src/v2_std_staging.rs 31 53 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0308 98 1 src/v2_std_text.rs 65 59 i64 Box UNCLASSIFIED BOX-WRAP mismatched types +E0308 99 1 src/std_realization_schedule.rs 64 11 Rc>> Rc> UNCLASSIFIED D mismatched types +E0308 99 2 src/std_realization_schedule.rs 64 11 Rc>> Rc> UNCLASSIFIED D mismatched types +E0308 100 1 src/std_realization_schedule.rs 74 11 Rc>> Rc> UNCLASSIFIED R1 mismatched types +E0308 100 2 src/std_realization_schedule.rs 74 11 Rc>> Rc> UNCLASSIFIED R1 mismatched types +E0308 101 1 src/std_realization_schedule.rs 83 19 Rc> Rc>> UNCLASSIFIED D mismatched types +E0308 102 1 src/std_state_durability.rs 152 65 StateDurabilityBoundary Vector> UNCLASSIFIED ELEM-COLL mismatched types +E0308 103 1 src/std_state_durability.rs 163 70 Rc Rc>> UNCLASSIFIED ELEM-COLL mismatched types +E0308 104 1 src/std_state_durability.rs 291 152 StateDefinitionCallerAssertion Vector> UNCLASSIFIED ELEM-COLL mismatched types +E0308 105 1 src/std_state_durability.rs 636 59 StateDurabilityBoundary Vector> UNCLASSIFIED ELEM-COLL mismatched types +E0277 106 1 src/std_state_durability.rs 661 266 UNCLASSIFIED can't compare `Target` with `Target` +E0277 107 1 src/std_state_durability.rs 661 266 UNCLASSIFIED can't compare `ReadbackSubject` with `ReadbackSubject` +E0277 108 1 src/std_state_durability.rs 679 265 UNCLASSIFIED can't compare `Target` with `Target` +E0277 109 1 src/std_state_durability.rs 679 265 UNCLASSIFIED can't compare `ReadbackSubject` with `ReadbackSubject` +E0277 110 1 src/std_state_durability.rs 817 109 UNCLASSIFIED can't compare `Target` with `Target` +E0277 111 1 src/std_state_durability.rs 817 109 UNCLASSIFIED can't compare `ReadbackSubject` with `ReadbackSubject` +E0277 112 1 src/std_state_durability.rs 842 106 UNCLASSIFIED can't compare `Target` with `Target` +E0277 113 1 src/std_state_durability.rs 842 106 UNCLASSIFIED can't compare `ReadbackSubject` with `ReadbackSubject` +E0308 114 1 src/std_state_durability.rs 878 59 Rc> Rc>>> UNCLASSIFIED RESIDUE mismatched types +E0560 115 1 src/v2_std_collection.rs 94 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0277 116 1 src/v2_std_collection.rs 96 14 UNCLASSIFIED the trait bound `K: Eq` is not satisfied +E0277 117 1 src/v2_std_collection.rs 96 14 UNCLASSIFIED the trait bound `K: std::hash::Hash` is not satisfied +E0308 118 1 src/v2_std_collection.rs 93 13 HashMap Rc> UNCLASSIFIED T3 mismatched types +E0277 119 1 src/v2_std_collection.rs 102 5 UNCLASSIFIED the trait bound `K: Eq` is not satisfied +E0277 120 1 src/v2_std_collection.rs 102 5 UNCLASSIFIED the trait bound `K: std::hash::Hash` is not satisfied +E0061 121 1 src/v2_std_cross_tree_import_model.rs 88 5 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0308 122 1 src/v2_std_fold_assembly.rs 258 38 Rc>>>>>> Rc>>>> UNCLASSIFIED ELEM-COLL `match` arms have incompatible types +E0308 123 1 src/std_cache_interface.rs 638 12 Option None UNCLASSIFIED R2 mismatched types +E0308 124 1 src/std_cache_interface.rs 652 22 Rc> Rc>> UNCLASSIFIED R1 mismatched types +E0308 124 2 src/std_cache_interface.rs 652 22 Rc> Rc>> UNCLASSIFIED R1 mismatched types +E0308 125 1 src/std_cache_interface.rs 667 23 Rc> Rc>> UNCLASSIFIED R1 mismatched types +E0308 125 2 src/std_cache_interface.rs 667 23 Rc> Rc>> UNCLASSIFIED R1 mismatched types +E0308 126 1 src/std_cache_interface.rs 695 5 String Option UNCLASSIFIED R2 mismatched types +E0308 127 1 src/std_cache_interface.rs 699 5 String Option UNCLASSIFIED R2 mismatched types +E0308 128 1 src/std_cache_interface.rs 703 5 Rc Option> UNCLASSIFIED R2 mismatched types +E0308 128 2 src/std_cache_interface.rs 703 5 Rc<_> Option> UNCLASSIFIED R2 mismatched types +E0308 129 1 src/std_realization_measurement.rs 96 11 Rc>> Rc> UNCLASSIFIED R1 mismatched types +E0308 129 2 src/std_realization_measurement.rs 96 11 Rc>> Rc> UNCLASSIFIED R1 mismatched types +E0308 130 1 src/std_realization_reconcile.rs 85 65 A &A ABSENT_CLONE_BOUND A-clone mismatched types +E0308 130 2 src/std_realization_reconcile.rs 85 65 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0425 131 1 src/v2_lens_module_graph.rs 97 5 UNCLASSIFIED cannot find function `import_resolution_facts` in this scope +E0425 132 1 src/v2_lens_module_graph.rs 101 5 UNCLASSIFIED cannot find function `reference_resolution_facts` in this scope +E0425 133 1 src/v2_lens_module_graph.rs 114 5 UNCLASSIFIED cannot find function `module_declaration_facts` in this scope +E0425 134 1 src/v2_lens_module_graph.rs 130 5 UNCLASSIFIED cannot find function `dependency_resolution_facts` in this scope +E0061 135 1 src/v2_lens_module_graph.rs 161 8 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 136 1 src/v2_lens_module_graph.rs 190 8 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 137 1 src/v2_lens_module_graph.rs 223 8 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0560 138 1 src/v2_std_model_core.rs 190 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 139 1 src/v2_std_model_core.rs 189 13 HashMap> Rc> UNCLASSIFIED T3 mismatched types +E0369 140 1 src/v2_std_nat.rs 56 23 UNCLASSIFIED binary operation `<` cannot be applied to type `Rc` +E0308 141 1 src/v2_std_node_query.rs 150 104 T &T ABSENT_CLONE_BOUND A-clone mismatched types +E0308 141 2 src/v2_std_node_query.rs 150 104 _ &_ ABSENT_CLONE_BOUND A-clone mismatched types +E0308 142 1 src/v2_std_provenance.rs 79 27 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 142 2 src/v2_std_provenance.rs 79 27 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 143 1 src/v2_lens_determinism.rs 135 42 Rc Rc UNCLASSIFIED RESIDUE arguments to this function are incorrect +E0308 144 1 src/v2_lens_determinism.rs 161 64 Witness> Witness UNCLASSIFIED R1 mismatched types +E0308 145 1 src/v2_std_cardinality.rs 581 42 Rc>> Rc UNCLASSIFIED RESIDUE arguments to this function are incorrect +E0308 146 1 src/v2_std_compilers_lexing.rs 235 13 Vector> Rc>> UNCLASSIFIED R1 mismatched types +E0308 147 1 src/v2_std_integer.rs 1359 26 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 148 1 src/v2_std_integer.rs 1362 30 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 149 1 src/v2_std_integer.rs 1365 34 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 150 1 src/v2_std_integer.rs 1368 38 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 151 1 src/v2_std_integer.rs 1371 42 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 152 1 src/v2_std_integer.rs 1374 46 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 153 1 src/v2_std_integer.rs 1377 50 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 154 1 src/v2_std_integer.rs 1380 54 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 155 1 src/v2_std_integer.rs 1383 58 Rc {integer} UNCLASSIFIED B3 mismatched types +E0308 156 1 src/v2_std_integer.rs 1400 30 Rc {integer} UNCLASSIFIED B3 mismatched types +E0369 157 1 src/v2_std_integer.rs 1403 31 UNCLASSIFIED binary operation `<` cannot be applied to type `Rc` +E0369 158 1 src/v2_std_integer.rs 1407 47 UNCLASSIFIED cannot divide `Rc` by `{integer}` +E0599 159 1 src/v2_compiler_tokenize.rs 331 54 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 160 1 src/v2_compiler_tokenize.rs 333 104 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 161 1 src/v2_compiler_tokenize.rs 343 54 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 162 1 src/v2_compiler_tokenize.rs 348 57 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 163 1 src/v2_compiler_tokenize.rs 352 54 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 164 1 src/v2_compiler_tokenize.rs 377 54 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0599 165 1 src/v2_compiler_tokenize.rs 393 54 UNCLASSIFIED no method named `apply` found for struct `Rc` in the current scope +E0560 166 1 src/v2_extdeps_runtimes_v2_effect_io_pure.rs 119 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 167 1 src/v2_extdeps_runtimes_v2_effect_io_pure.rs 118 23 HashMap, Rc> Rc> UNCLASSIFIED T3 mismatched types +E0614 168 1 src/v2_extdeps_runtimes_v2_effect_io_pure.rs 211 15 UNCLASSIFIED type `std::option::Option>` cannot be dereferenced +E0599 169 1 src/v2_std_symbol_index.rs 116 20 UNCLASSIFIED no variant, associated function, or constant named `GlobalBareAmbiguous` found for enum `std::option::Option` in the current scope +E0599 170 1 src/v2_std_symbol_index.rs 117 20 UNCLASSIFIED no variant named `GlobalBareUnique` found for enum `std::option::Option<_>` +E0599 171 1 src/v2_std_symbol_index.rs 151 20 UNCLASSIFIED no variant named `GlobalBareUnique` found for enum `std::option::Option<_>` +E0599 172 1 src/v2_std_symbol_index.rs 154 20 UNCLASSIFIED no variant, associated function, or constant named `GlobalBareAmbiguous` found for enum `std::option::Option` in the current scope +E0599 173 1 src/v2_compiler_materialization_carriers.rs 188 59 ABSENT_CLONE_BOUND no method named `clone` found for type parameter `A` in the current scope +E0277 174 1 src/v2_compiler_materialization_carriers.rs 188 50 ABSENT_CLONE_BOUND the trait bound `B: Clone` is not satisfied +E0599 175 1 src/v2_compiler_materialization_carriers.rs 188 86 ABSENT_CLONE_BOUND no method named `clone` found for type parameter `A` in the current scope +E0277 176 1 src/v2_compiler_materialization_carriers.rs 188 84 ABSENT_CLONE_BOUND the trait bound `A: Clone` is not satisfied +E0599 177 1 src/v2_compiler_materialization_carriers.rs 189 22 ABSENT_CLONE_BOUND no method named `clone` found for type parameter `A` in the current scope +E0282 178 1 src/v2_std_find_witness.rs 77 67 UNCLASSIFIED type annotations needed +E0061 179 1 src/v2_std_find_witness.rs 77 5 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0614 180 1 src/v2_std_compilers_target_model.rs 442 11 UNCLASSIFIED type `std::option::Option<_>` cannot be dereferenced +E0614 181 1 src/v2_std_compilers_target_model.rs 534 105 UNCLASSIFIED type `std::option::Option<_>` cannot be dereferenced +E0614 182 1 src/v2_std_compilers_target_model.rs 544 100 UNCLASSIFIED type `std::option::Option<_>` cannot be dereferenced +E0308 183 1 src/v2_std_compilers_target_model.rs 2137 43 i64 String UNCLASSIFIED RESIDUE mismatched types +E0308 184 1 src/v2_std_compilers_target_model.rs 2384 15 String i64 UNCLASSIFIED RESIDUE mismatched types +E0308 185 1 src/v2_std_compilers_target_model.rs 2647 62 HashMap<_, _> Rc> UNCLASSIFIED R1 mismatched types +E0614 186 1 src/v2_std_compilers_target_model.rs 2647 11 UNCLASSIFIED type `std::option::Option<_>` cannot be dereferenced +E0308 187 1 src/v2_std_compilers_target_model.rs 7002 90 TargetUseSiteOwnershipLookup TargetUseSiteOwnershipCatalogLookup UNCLASSIFIED RESIDUE mismatched types +E0308 188 1 src/v2_compiler_target_carriers.rs 105 64 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 188 2 src/v2_compiler_target_carriers.rs 105 64 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0609 189 1 src/v2_std_grammar.rs 124 82 UNCLASSIFIED no field `member` on type `Rc>>` +E0609 190 1 src/v2_std_grammar.rs 125 104 UNCLASSIFIED no field `member` on type `Rc>>` +E0609 191 1 src/v2_std_grammar.rs 134 102 UNCLASSIFIED no field `member` on type `Rc>>` +E0609 192 1 src/v2_std_grammar.rs 142 33 UNCLASSIFIED no field `member` on type `Rc>>` +E0308 193 1 src/v2_std_grammar.rs 1285 29 Rc DeriveGrammarRelationTokensProgress UNCLASSIFIED R1 mismatched types +E0308 194 1 src/v2_std_grammar.rs 1363 29 Rc DeriveGrammarRelationTokensProgress UNCLASSIFIED R1 mismatched types +E0308 195 1 src/v2_std_grammar.rs 1365 12 () Rc>> UNCLASSIFIED C mismatched types +E0308 196 1 src/v2_std_grammar.rs 1364 21 Witness>>> Witness<()> UNCLASSIFIED C mismatched types +E0560 197 1 src/v2_extdeps_languages_llvm_ir.rs 1100 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0599 198 1 src/v2_extdeps_languages_llvm_ir.rs 1101 19 UNCLASSIFIED no variant named `Present` found for enum `std::option::Option<_>` +E0599 199 1 src/v2_extdeps_languages_llvm_ir.rs 1106 23 UNCLASSIFIED no variant named `Present` found for enum `std::option::Option<_>` +E0599 200 1 src/v2_extdeps_languages_llvm_ir.rs 1111 27 UNCLASSIFIED no variant named `Present` found for enum `std::option::Option<_>` +E0308 201 1 src/v2_extdeps_languages_llvm_ir.rs 1099 13 HashMap> Rc> UNCLASSIFIED T3 mismatched types +E0560 202 1 src/v2_extdeps_languages_llvm_ir.rs 1124 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0599 203 1 src/v2_extdeps_languages_llvm_ir.rs 1125 19 UNCLASSIFIED no variant named `Present` found for enum `std::option::Option<_>` +E0599 204 1 src/v2_extdeps_languages_llvm_ir.rs 1130 23 UNCLASSIFIED no variant named `Present` found for enum `std::option::Option<_>` +E0308 205 1 src/v2_extdeps_languages_llvm_ir.rs 1123 13 HashMap> Rc> UNCLASSIFIED T3 mismatched types +E0560 206 1 src/v2_std_language_model.rs 45 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0308 207 1 src/v2_std_language_model.rs 44 13 OrdSet Rc> UNCLASSIFIED T3 mismatched types +E0560 208 1 src/v2_extdeps_languages_dag.rs 1219 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0560 209 1 src/v2_extdeps_languages_dag.rs 1225 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0560 210 1 src/v2_extdeps_languages_dag.rs 1235 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0308 211 1 src/v2_extdeps_languages_dag.rs 3055 56 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 211 2 src/v2_extdeps_languages_dag.rs 3055 56 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 212 1 src/v2_extdeps_languages_dag.rs 3100 56 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 212 2 src/v2_extdeps_languages_dag.rs 3100 56 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 213 1 src/v2_extdeps_languages_dag.rs 3145 56 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 213 2 src/v2_extdeps_languages_dag.rs 3145 56 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 214 1 src/v2_lens_cost.rs 312 123 Rc Nat UNCLASSIFIED R1 mismatched types +E0308 215 1 src/v2_lens_cost.rs 315 123 Rc Nat UNCLASSIFIED R1 mismatched types +E0308 216 1 src/v2_compiler_parse.rs 414 27 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 216 2 src/v2_compiler_parse.rs 414 27 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0282 217 1 src/v2_compiler_parse.rs 532 100 UNCLASSIFIED type annotations needed +E0560 218 1 src/v2_compiler_parse.rs 572 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0308 219 1 src/v2_compiler_parse.rs 571 27 OrdSet Rc> UNCLASSIFIED T3 mismatched types +E0560 220 1 src/v2_compiler_parse.rs 1034 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0609 221 1 src/v2_compiler_parse.rs 1034 115 UNCLASSIFIED no field `member` on type `Rc>` +E0308 222 1 src/v2_compiler_parse.rs 1033 13 OrdSet Rc> UNCLASSIFIED T3 mismatched types +E0609 223 1 src/v2_compiler_parse.rs 1041 95 UNCLASSIFIED no field `member` on type `Rc>` +E0609 224 1 src/v2_compiler_parse.rs 1063 60 UNCLASSIFIED no field `member` on type `Rc>` +E0560 225 1 src/v2_compiler_parse.rs 1096 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0308 226 1 src/v2_compiler_parse.rs 1095 53 OrdSet Rc> UNCLASSIFIED T3 mismatched types +E0282 227 1 src/v2_compiler_parse.rs 1117 48 UNCLASSIFIED type annotations needed +E0061 228 1 src/v2_compiler_parse.rs 1117 5 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0609 229 1 src/v2_compiler_parse.rs 1150 29 UNCLASSIFIED no field `member` on type `Rc>` +E0609 230 1 src/v2_compiler_parse.rs 1353 29 UNCLASSIFIED no field `member` on type `Rc>` +E0282 231 1 src/v2_compiler_parse.rs 1406 103 UNCLASSIFIED type annotations needed +E0061 232 1 src/v2_compiler_parse.rs 1406 59 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 233 1 src/v2_compiler_parse.rs 1471 35 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0061 234 1 src/v2_compiler_parse.rs 1626 20 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0560 235 1 src/v2_extdeps_runtimes_v2_evaluator.rs 161 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 236 1 src/v2_extdeps_runtimes_v2_evaluator.rs 160 13 HashMap, Rc> Rc> UNCLASSIFIED T3 mismatched types +E0308 237 1 src/v2_extdeps_runtimes_v2_evaluator.rs 332 5 Rc Edge UNCLASSIFIED R1 mismatched types +E0308 238 1 src/v2_lens_machine_shape.rs 190 5 Rc MachineShapeWalkResult UNCLASSIFIED R1 mismatched types +E0533 239 1 src/v2_lens_mandatory_tag.rs 469 20 UNCLASSIFIED expected value, found struct variant `ConstructionClass::WallNow` +E0061 240 1 src/v2_lens_reference_deps.rs 199 8 UNCLASSIFIED this function takes 2 arguments but 3 arguments were supplied +E0308 241 1 src/v2_compiler_body_lowering_fold.rs 3176 13 Rc>>> Rc>> UNCLASSIFIED R2 `match` arms have incompatible types +E0308 241 2 src/v2_compiler_body_lowering_fold.rs 3176 13 Rc>>> Rc>> UNCLASSIFIED R2 `match` arms have incompatible types +E0599 242 1 src/v2_compiler_program_assembly.rs 107 17 UNCLASSIFIED no associated function or constant named `Empty` found for struct `im::Vector` in the current scope +E0560 243 1 src/v2_compiler_resolve.rs 146 5 UNCLASSIFIED struct `Rc>` has no field named `member` +E0308 244 1 src/v2_compiler_resolve.rs 145 13 OrdSet Rc> UNCLASSIFIED T3 mismatched types +E0609 245 1 src/v2_compiler_resolve.rs 377 42 UNCLASSIFIED no field `member` on type `Rc>` +E0560 246 1 src/v2_compiler_infer.rs 165 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 247 1 src/v2_compiler_infer.rs 164 20 HashMap, Rc> Rc> UNCLASSIFIED T3 mismatched types +E0308 248 1 src/v2_compiler_infer.rs 378 63 Witness> Witness UNCLASSIFIED R1 mismatched types +E0560 249 1 src/v2_compiler_infer.rs 514 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 250 1 src/v2_compiler_infer.rs 513 20 HashMap, Rc> Rc> UNCLASSIFIED T3 mismatched types +E0308 251 1 src/v2_compiler_infer.rs 522 27 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 251 2 src/v2_compiler_infer.rs 522 27 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 252 1 src/v2_compiler_name_resolve.rs 493 5 Rc AdmitExportsFold UNCLASSIFIED R1 mismatched types +E0369 253 1 src/v2_compiler_eval.rs 276 36 UNCLASSIFIED binary operation `==` cannot be applied to type `Rc` +E0369 254 1 src/v2_compiler_eval.rs 575 123 UNCLASSIFIED binary operation `==` cannot be applied to type `Rc` +E0560 255 1 src/v2_compiler_eval.rs 643 5 UNCLASSIFIED struct `Rc>` has no field named `lookup` +E0308 256 1 src/v2_compiler_eval.rs 642 13 HashMap, Rc> Rc> UNCLASSIFIED T3 mismatched types +E0308 257 1 src/v2_compiler_eval.rs 662 27 Option> Rc UNCLASSIFIED R2 mismatched types +E0308 257 2 src/v2_compiler_eval.rs 662 27 Option> Rc<_> UNCLASSIFIED R2 mismatched types +E0308 258 1 src/v2_compiler_eval.rs 734 56 Witness> Witness> UNCLASSIFIED W mismatched types +E0308 259 1 src/v2_compiler_eval.rs 742 17 Witness> Witness> UNCLASSIFIED W mismatched types +E0308 260 1 src/v2_compiler_eval.rs 752 17 Witness> Witness> UNCLASSIFIED W mismatched types +E0308 261 1 src/v2_compiler_eval.rs 761 17 Witness> Witness> UNCLASSIFIED W mismatched types +E0308 262 1 src/v2_compiler_eval.rs 850 121 Option<_> Rc UNCLASSIFIED R2 mismatched types +E0308 263 1 src/v2_compiler_eval.rs 1192 83 Rc Rc UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 263 2 src/v2_compiler_eval.rs 1192 83 Rc Rc UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 263 3 src/v2_compiler_eval.rs 1192 83 Rc Rc>> UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 263 4 src/v2_compiler_eval.rs 1192 83 Rc Rc UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 263 5 src/v2_compiler_eval.rs 1192 83 Rc>> Rc UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 264 1 src/v2_compiler_eval.rs 1193 87 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 265 1 src/v2_compiler_eval.rs 1194 84 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 266 1 src/v2_compiler_eval.rs 1195 82 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 267 1 src/v2_compiler_eval.rs 1196 82 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 268 1 src/v2_compiler_eval.rs 1197 83 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0308 269 1 src/v2_compiler_eval.rs 1444 67 UNCLASSIFIED ARG-ORDER arguments to this function are incorrect +E0071 270 1 src/v2_compiler_translate.rs 1666 12 UNCLASSIFIED expected struct, variant or union type, found `(Rc, Rc)` +E0071 271 1 src/v2_compiler_translate.rs 1681 12 UNCLASSIFIED expected struct, variant or union type, found `(Rc, Rc)` +E0609 272 1 src/v2_compiler_translate.rs 1696 16 UNCLASSIFIED no field `rebuilt` on type `(Rc, Rc)` +E0609 273 1 src/v2_compiler_translate.rs 1925 185 UNCLASSIFIED no field `source` on type `(Rc, Rc)` +E0609 274 1 src/v2_compiler_translate.rs 1925 211 UNCLASSIFIED no field `source` on type `(Rc, Rc)` +E0071 275 1 src/v2_compiler_translate.rs 1926 12 UNCLASSIFIED expected struct, variant or union type, found `(Rc, Rc)` +E0609 276 1 src/v2_compiler_translate.rs 1927 24 UNCLASSIFIED no field `source` on type `(Rc, Rc)` +E0609 277 1 src/v2_compiler_translate.rs 1928 38 UNCLASSIFIED no field `rebuilt` on type `(Rc, Rc)` +E0609 278 1 src/v2_compiler_translate.rs 1928 81 UNCLASSIFIED no field `rebuilt` on type `(Rc, Rc)` +E0609 279 1 src/v2_compiler_translate.rs 1930 23 UNCLASSIFIED no field `rebuilt` on type `(Rc, Rc)` +E0308 280 1 src/v2_compiler_source_authority.rs 698 97 Rc Rc UNCLASSIFIED DIAG mismatched types +E0308 281 1 src/v2_compiler_source_authority.rs 699 95 Rc Rc UNCLASSIFIED DIAG mismatched types +E0308 282 1 src/v2_compiler_source_authority.rs 732 13 Rc SourceRefReadResult UNCLASSIFIED R1 mismatched types +E0308 283 1 src/v2_compiler_source_authority.rs 751 50 Rc Rc UNCLASSIFIED DIAG mismatched types +E0308 284 1 src/v2_compiler_source_authority.rs 1331 8 Rc Rc UNCLASSIFIED RESIDUE arguments to this function are incorrect +E0277 285 1 src/v2_compiler_compile.rs 93 5 UNCLASSIFIED `(dyn Fn(Rc) -> Rc>>>> + 'static)` doesn't implement `Debug` +E0369 286 1 src/v2_compiler_compile.rs 93 5 UNCLASSIFIED binary operation `==` cannot be applied to type `Rc) -> Rc>>>>>` +E0277 287 1 src/v2_compiler_compile.rs 91 35 UNCLASSIFIED the trait bound `dyn Fn(Rc) -> Rc>>>>: serde::Serialize` is not satisfied +E0277 288 1 src/v2_compiler_compile.rs 93 15 UNCLASSIFIED the trait bound `(dyn Fn(Rc) -> Rc>>>> + 'static): serde::Deserialize<'de>` is not satisfied +E0277 289 1 src/v2_compiler_compile.rs 93 15 UNCLASSIFIED the trait bound `(dyn Fn(Rc) -> Rc>>>> + 'static): serde::Deserialize<'de>` is not satisfied +E0277 290 1 src/v2_compiler_compile.rs 91 53 UNCLASSIFIED the trait bound `dyn Fn(Rc) -> Rc>>>>: serde::Deserialize<'de>` is not satisfied +E0308 291 1 src/v2_compiler_compile.rs 283 82 Witness> Witness>>>>> UNCLASSIFIED W mismatched types +E0614 292 1 src/v2_compiler_ingest.rs 51 11 UNCLASSIFIED type `std::option::Option` cannot be dereferenced +E0004 293 1 src/v2_std_integer.rs 718 84 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 294 1 src/v2_std_integer.rs 720 84 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 295 1 src/v2_std_integer_value_set.rs 106 77 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 296 1 src/v2_std_integer_value_set.rs 110 58 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 297 1 src/v2_std_integer_value_set.rs 129 75 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 298 1 src/v2_std_integer_value_set.rs 178 84 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 299 1 src/v2_std_integer_value_set.rs 180 84 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 300 1 src/v2_std_refinement_widening_predicate.rs 78 83 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 301 1 src/v2_std_refinement_widening_predicate.rs 80 86 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 302 1 src/v2_std_refinement_widening_predicate.rs 92 83 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 303 1 src/v2_std_refinement_widening_predicate.rs 94 86 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 304 1 src/v2_std_refinement_widening_predicate.rs 106 81 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 305 1 src/v2_std_refinement_widening_predicate.rs 108 84 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 306 1 src/v2_std_refinement_widening_predicate.rs 110 87 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered +E0004 307 1 src/v2_std_compilers_target_model.rs 5546 54 UNCLASSIFIED non-exhaustive patterns: `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered +E0004 308 1 src/v2_std_compilers_target_model.rs 5629 54 UNCLASSIFIED non-exhaustive patterns: `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowPositionalWire, .. }` and `Outcome::Accepted { value: TargetTypeExprArrowWireShape::TargetTypeExprArrowLabeledWire, .. }` not covered +E0004 309 1 src/v2_std_compilers_target_model.rs 7785 19 UNCLASSIFIED non-exhaustive patterns: `Edge { .. }` not covered +E0004 310 1 src/v2_std_grammar.rs 1818 49 UNCLASSIFIED non-exhaustive patterns: `&RebuildEmittedResult::RebuildEmittedFail` not covered +E0004 311 1 src/v2_std_host_run.rs 58 11 UNCLASSIFIED non-exhaustive patterns: `Outcome::Accepted { .. }` not covered +E0004 312 1 src/v2_extdeps_languages_dag.rs 1896 11 UNCLASSIFIED non-exhaustive patterns: `Edge { .. }` not covered +E0310 313 1 src/v2_std_verdict.rs 123 9 UNCLASSIFIED the parameter type `Subj` may not live long enough +E0310 314 1 src/v2_std_verdict.rs 123 9 UNCLASSIFIED the parameter type `T` may not live long enough +E0004 315 1 src/v2_compiler_eval.rs 1039 68 UNCLASSIFIED non-exhaustive patterns: `&Some(_)` not covered diff --git a/docs/probes/e0308_partition_2026-08-22/summary_stamp.md b/docs/probes/e0308_partition_2026-08-22/summary_stamp.md index 3c15ed6a6d0..c687c82851f 100644 --- a/docs/probes/e0308_partition_2026-08-22/summary_stamp.md +++ b/docs/probes/e0308_partition_2026-08-22/summary_stamp.md @@ -1,5 +1,11 @@ # E0308 repartition on current main (mechanism grain, M=1) +**CORRECTED 2026-08-23:** this is an E0308 projection, not mechanism grain. `A-clone = 12` reaches +E0277 and E0599 too and has cross-code population 22. All percentages below are code-local shares, +not mechanism shares; the cost/staffing inference is withdrawn. See +[`rustc_mechanism_partition_2026-08-23.md`](../rustc_mechanism_partition_2026-08-23.md). That +population is at this stamp's `967b5bc1b92` ref, not the current certified `98b18cdc81e` board. + ## Completeness standing (reporting convention adopted 2026-08-22) ``` @@ -92,11 +98,11 @@ the mismatch and no pair-keyed rule can recover it. `v2_compiler_tokenize.rs`, now fails at `E0599` before inference reaches those expressions. - **New:** ELEM-COLL (4), BOX-WRAP (1). -## Cost shape +## Cost shape inside E0308 only — staffing inference withdrawn -Four clusters cover 57% of sites; six more are single- or two-file and cover another 49. Tail = 7 +Four candidates cover 57% of E0308 manifestations; six more are single- or two-file and cover another 49. Tail = 7 residue sites in 5 files. This is a small number of producer decisions with wide fanout, not a site-by-site -tail — the same shape the 2026-08-21 board reported on a different population. +tail inside this code. It does not rank cross-code mechanisms. ## The 182 in the commissioning brief diff --git a/docs/probes/rustc_mechanism_classify.py b/docs/probes/rustc_mechanism_classify.py new file mode 100644 index 00000000000..3901b431e09 --- /dev/null +++ b/docs/probes/rustc_mechanism_classify.py @@ -0,0 +1,114 @@ +#!/usr/bin/env python3 +# PROBE INSTRUMENT (measurement only; never imported by production code). +# dissolve-on: the emitted self-host board reaches zero, or a modeled .dag carrier reads the +# diagnostic stream directly and owns the cross-code mechanism identity. +"""Rustc diagnostic manifestations -> cross-code mechanism rows. + +The error code is an observation, not a root identity. E0308 blocks keep the canonical +manifestation expansion defined by e0308_classify_sites; every other coded rustc block contributes +one manifestation. A mechanism discriminator may therefore collect rows across codes without +silently changing the E0308 instrument's unit. + +This first classifier deliberately recognizes one cross-code mechanism. Every other row is +UNCLASSIFIED rather than being guessed from its code. The E0308 candidate label is retained in a +separate projection column so the old partition remains reproducible but cannot masquerade as a +cross-code root partition. +""" +import collections +import csv +import re +import sys + +import e0308_classify_sites as e0308 + + +CLONE_E0277 = re.compile(r"^the trait bound `[^`]+: Clone` is not satisfied$") +CLONE_E0599 = re.compile(r"^no method named `clone` found for type parameter `[^`]+` in the current scope$") + + +def absent_clone_bound(code, message, lines, e0308_candidate): + """Decide the one established cross-code mechanism from rustc's typed explanation.""" + body = "\n".join(lines) + if code == "E0308": + return e0308_candidate == "A-clone" and ( + "does not implement `Clone`, so `" in body and "was cloned instead" in body + ) + if code == "E0277": + return bool(CLONE_E0277.match(message)) + if code == "E0599": + return bool(CLONE_E0599.match(message)) + return False + + +def primary_span(lines): + for line in lines: + match = e0308.SPAN.match(line) + if match: + return match.groups() + return "", "", "" + + +def classify(path): + rows = [] + e0308_seen = set() + blocks = e0308.read_blocks(path, codes=None) + for block_index, block in enumerate(blocks, 1): + code = block["code"] + if code == "E0308": + manifestations = e0308.block_sites(block) + else: + file, line, col = primary_span(block["lines"]) + manifestations = [dict(file=file, line=line, col=col, expected="", found="")] + for manifestation_index, site in enumerate(manifestations, 1): + if code == "E0308": + key = (site["file"], site["line"], site["col"], + frozenset((site["expected"], site["found"]))) + if key in e0308_seen: + continue + e0308_seen.add(key) + candidate = "" + if code == "E0308": + candidate, _ = e0308.classify(site) + mechanism = ( + "ABSENT_CLONE_BOUND" + if absent_clone_bound(code, block["msg"], block["lines"], candidate) + else "UNCLASSIFIED" + ) + rows.append({ + "code": code, + "block": block_index, + "manifestation": manifestation_index, + "file": site.get("file") or "", + "line": site.get("line") or "", + "col": site.get("col") or "", + "expected": site.get("expected", ""), + "found": site.get("found", ""), + "mechanism": mechanism, + "e0308_candidate_projection": candidate, + "message": block["msg"], + }) + return rows + + +def main(path, out): + rows = classify(path) + columns = ["code", "block", "manifestation", "file", "line", "col", "expected", "found", + "mechanism", "e0308_candidate_projection", "message"] + with open(out, "w", newline="", encoding="utf-8") as output: + writer = csv.DictWriter(output, fieldnames=columns, dialect="excel-tab", lineterminator="\n") + writer.writeheader() + writer.writerows(rows) + + by_code = collections.Counter(row["code"] for row in rows) + clone_by_code = collections.Counter( + row["code"] for row in rows if row["mechanism"] == "ABSENT_CLONE_BOUND" + ) + clone_total = sum(clone_by_code.values()) + print("coded diagnostic manifestations: %d" % len(rows)) + print("ABSENT_CLONE_BOUND: %d (%.1f%%)" % (clone_total, 100.0 * clone_total / len(rows))) + print(" by code: %s" % dict(sorted(clone_by_code.items()))) + print(" board by code: %s" % dict(sorted(by_code.items()))) + + +if __name__ == "__main__": + main(sys.argv[1], sys.argv[2]) diff --git a/docs/probes/rustc_mechanism_partition_2026-08-23.md b/docs/probes/rustc_mechanism_partition_2026-08-23.md new file mode 100644 index 00000000000..3055c86db97 --- /dev/null +++ b/docs/probes/rustc_mechanism_partition_2026-08-23.md @@ -0,0 +1,88 @@ +# Rustc mechanism board — cross-code classifier, 03_ingest (2026-08-23) + +**Session:** `nimble-wren-909`. **Work item:** `node://adhoc-11d59365-bc4`. + +This is a measurement over the published 2026-08-22 `03_ingest` log, not a compiler repair. It +corrects the unit of the earlier E0308 partition: a rustc code is an observed manifestation, not a +mechanism boundary. The same absent-bound producer reaches E0308, E0277, and E0599, so neither a +population nor a share computed inside E0308 is a population or share of that mechanism. + +## Subject and instrument + +The subject, ref, producer, raw log, and E0308 canonicalization contract are unchanged from +[`e0308_partition_2026-08-22.md`](e0308_partition_2026-08-22.md). The new committed classifier is +[`rustc_mechanism_classify.py`](rustc_mechanism_classify.py); its complete output is +[`mechanisms_classified.tsv`](e0308_partition_2026-08-22/mechanisms_classified.tsv). + +**Provenance — one datum, not independent corroboration.** This run classifies eager-lark-892's +published `docs/probes/e0308_partition_2026-08-22/03_ingest.cargo.log`, produced at +`967b5bc1b92ee66250e06a7870c132b48a16b80a`. It imports that lane's +`e0308_classify_sites.py` for E0308 canonicalization and adds the cross-code discriminators here. +The 12/6/4 figures were visible in this work item's framing before this classifier re-derived them. +They are therefore one shared-source measurement, explicitly **not** two independent measurements +in agreement. Separately, the mechanism shape agrees with the design-thread ruling derived from +repair semantics — an absent generic `Clone` requirement can manifest under exactly these three +codes — but that reasoning agreement does not turn one log into two observations. + +The common unit is a **coded diagnostic manifestation**: + +- E0308 retains the earlier classifier's canonical expansion and global deduplication: 128 rustc + blocks become 154 manifestations. +- Every other coded rustc block contributes one manifestation. +- The resulting board has **341 manifestations**: 154 E0308 + 187 across the other codes. It is + not cargo's 329-error total and must not be compared to that block-grain counter. + +The classifier recognizes only the one cross-code mechanism established here. Its other 319 rows +are `UNCLASSIFIED`, not code-derived guesses. The former E0308 label is carried separately as +`e0308_candidate_projection`; it reproduces that view without promoting it to root identity. + +## Established cross-code mechanism at `967b5bc1b92ee66250e06a7870c132b48a16b80a` + +| ref | mechanism | E0308 | E0277 | E0599 | population | board share | +|---|---|---:|---:|---:|---:|---:| +| `967b5bc1b92ee66250e06a7870c132b48a16b80a` | `ABSENT_CLONE_BOUND` | 12 | 6 | 4 | **22** | **6.5%** of 341 manifestations at the same ref | + +**This is not a current-board population.** The current certified board is at +`98b18cdc81e`, while every figure in this receipt comes from the retained log at `967b5bc1b92`. +In particular, **22 must not be quoted against 316**: 22 is a classified-manifestation population +at the older ref, while 316 is a raw-rustc-row total at the current ref. They differ in both unit +and tree. A current population requires running this classifier over a current-ref log; the +structural finding that a per-code partition splits one mechanism does not. + +The discriminator is not the word `clone` alone: + +- E0308 requires the existing `A-clone` candidate plus rustc's explanation that the type parameter + does not implement `Clone`, so its reference was cloned instead. +- E0277 requires `the trait bound : Clone is not satisfied`. +- E0599 requires `no method named clone found for type parameter `. + +This excludes unrelated calls to `.clone()`, derive failures for non-Clone traits, and ordinary +representation mismatches whose source expressions happen to clone values. + +## Consequence for the E0308 publication + +The earlier table's `A-clone = 12` is a correct **E0308 projection** and an unsound mechanism +population. Its `7.8%` is a correct share of the 154 E0308 manifestations and an unsound mechanism +share. The mechanism population is 22 on the `967b5bc1b92` board; its share is 6.5% of that same +ref's cross-code manifestation denominator. + +This is a **population revision, not a board rise**. No diagnostic was added and nothing regressed; +the cross-code classifier makes 10 already-present manifestations visible to the mechanism +population that the E0308 projection excluded. + +The same limitation applies to every other E0308 candidate until it is classified across codes. +Their rows remain useful as code-local projections, but the prior staffing conclusions based on +their relative shares are withdrawn. No cross-code population is inferred for them here. + +Nor can a per-code fragment be a completion criterion. A lane can close every row counted under +one code and report its fragment exhausted while the same mechanism remains live under another +code. Mechanism closure therefore requires this cross-code identity and a zero across all of its +manifestations; a code-local zero establishes only that the mechanism no longer presents through +that code. + +To repeat without rebuilding: + +```sh +python3 docs/probes/rustc_mechanism_classify.py \ + docs/probes/e0308_partition_2026-08-22/03_ingest.cargo.log /tmp/mechanisms.tsv +```