docs(glossary): phase 1 main text coverage by PLeVasseur · Pull Request #6 · PLeVasseur/fls

PLeVasseur · 2026-02-10T18:46:25Z

Summary

Remediates PR6 feedback on phase1 coverage accounting by fixing glossary term inventory collection for multi-term definitions and alias terms.
Closes missing chapter-definition gaps for casting, namespace qualifier, and shadowed in chapter text at first normative use.
Removes disallowed-directive enforcement from migration strict reporting for this remediation run and records policy rationale in run artifacts.
Evidence artifacts are in /home/pete.levasseur/opencode-project-agents/fls/reports/glossary-pr6-feedback-remediation-20260211T012738Z/.

Reference alignment

No Rust 2021 reference meaning change is introduced; updates align migration accounting and chapter/glossary term coverage behavior only.
Deferred from this PR: placement-fitness relocation decisions remain documented as disposition artifacts for reviewer confidence, without broad ownership relocations.

Testing

uv run ./tools/glossary-migration-check.py --phase 1 --strict --report "$REMEDIATION_DIR/final-phase1-check.json"
./make.py --clear
./make.py --check-links
Additional evidence:
- missing-term-resolution.md
- coverage-accounting-regression.md
- phase1-check-delta.md

Batch IDs: PQ-001, PQ-002, PQ-003, PQ-004, PQ-005, PQ-006, PQ-007, PQ-008, PQ-009, PQ-010, PQ-011, PQ-012, PQ-013, PQ-014, PQ-015, PQ-016, PQ-017, PQ-018, PQ-019, PQ-020 Terms: - PQ-001: [unifiable type]s - PQ-002: alignment - PQ-003: arity - PQ-004: associated trait constant - PQ-005: attribute content - PQ-006: borrowed - PQ-007: c - PQ-008: code point - PQ-009: constant function - PQ-010: construct - PQ-011: container operand - PQ-012: dangling - PQ-013: enum variant value - PQ-014: expression - PQ-015: expression-without-block - PQ-016: field - PQ-017: field index - PQ-018: function - PQ-019: function body - PQ-020: function signature

Batch IDs: PQ-021, PQ-022, PQ-023, PQ-024, PQ-025, PQ-026, PQ-027, PQ-028, PQ-029, PQ-030, PQ-031, PQ-032, PQ-033, PQ-034, PQ-035, PQ-036, PQ-037, PQ-038, PQ-039, PQ-040 Terms: - PQ-021: generic substitution - PQ-022: generic type - PQ-023: immutable - PQ-024: implementation - PQ-025: implemented trait - PQ-026: implementing type - PQ-027: initialization - PQ-028: item - PQ-029: lifetime parameter - PQ-030: method - PQ-031: mutability - PQ-032: mutable - PQ-033: mutable reference - PQ-034: mutable static - PQ-035: mutable variable - PQ-036: name - PQ-037: operand - PQ-038: pattern-without-alternation - PQ-039: pattern-without-range - PQ-040: pointer

Batch IDs: PQ-041, PQ-042, PQ-043, PQ-044, PQ-045, PQ-046, PQ-047, PQ-048, PQ-049, PQ-050, PQ-051, PQ-052, PQ-053, PQ-054, PQ-055, PQ-056, PQ-057, PQ-058, PQ-059, PQ-060 Terms: - PQ-041: qualified path expression - PQ-042: record enum variant - PQ-043: renaming - PQ-044: representation modifier - PQ-045: return type - PQ-046: safety invariant - PQ-047: self parameter - PQ-048: shared reference - PQ-049: size - PQ-050: size operand - PQ-051: statement - PQ-052: temporary - PQ-053: trait - PQ-054: tuple enum variant value - PQ-055: tuple struct value - PQ-056: type bound predicate - PQ-057: type parameter - PQ-058: type specification - PQ-059: unifiable - PQ-060: unified type

Batch IDs: PQ-061, PQ-062, PQ-063, PQ-064, PQ-065, PQ-066, PQ-067, PQ-068, PQ-069, PQ-070, PQ-071, PQ-072, PQ-073, PQ-074, PQ-075, PQ-076, PQ-077, PQ-078, PQ-079, PQ-080 Terms: - PQ-061: unit enum variant - PQ-062: unit struct constant - PQ-063: unit type - PQ-064: unit value - PQ-065: unsafe context - PQ-066: unsafe function - PQ-067: unsafe function pointer type - PQ-068: unsafe operation - PQ-069: validity invariant - PQ-070: value - PQ-071: variable - PQ-072: visible empty enum variant - PQ-073: where clause - PQ-074: anonymous return type - PQ-075: array - PQ-076: assigned operand - PQ-077: assignee operand - PQ-078: associated constant - PQ-079: associated function - PQ-080: associated implementation constant

Batch IDs: PQ-081, PQ-082, PQ-083, PQ-084, PQ-085, PQ-086, PQ-087, PQ-088, PQ-089, PQ-090, PQ-091, PQ-092, PQ-093, PQ-094, PQ-095, PQ-096, PQ-097, PQ-098, PQ-099, PQ-100 Terms: - PQ-081: associated item - PQ-082: associated trait function - PQ-083: associated type - PQ-084: associativity - PQ-085: async function - PQ-086: attribute - PQ-087: binary crate - PQ-088: binary operator - PQ-089: binding argument - PQ-090: borrow - PQ-091: bound - PQ-092: comment - PQ-093: concrete type - PQ-094: conditional compilation - PQ-095: constant - PQ-096: constant argument - PQ-097: constant initializer - PQ-098: constant parameter - PQ-099: constant parameter initializer - PQ-100: copy type

Batch IDs: PQ-101, PQ-102, PQ-103, PQ-104, PQ-105, PQ-106, PQ-107, PQ-108, PQ-109, PQ-110, PQ-111, PQ-112, PQ-113, PQ-114, PQ-115, PQ-116, PQ-117, PQ-118, PQ-119, PQ-120 Terms: - PQ-101: crate - PQ-102: crate import - PQ-103: crate root module - PQ-104: declaration - PQ-105: destructor - PQ-106: direction modifier - PQ-107: discriminant - PQ-108: discriminant initializer - PQ-109: elaboration - PQ-110: element type - PQ-111: else expression - PQ-112: entity - PQ-113: enum value - PQ-114: escaped character - PQ-115: evaluation - PQ-116: execution - PQ-117: exported function - PQ-118: expression-with-block - PQ-119: external function - PQ-120: external function item type

Batch IDs: PQ-121, PQ-122, PQ-123, PQ-124, PQ-125, PQ-126, PQ-127, PQ-128, PQ-129, PQ-130, PQ-131, PQ-132, PQ-133, PQ-134, PQ-135, PQ-136, PQ-137, PQ-138, PQ-139, PQ-140 Terms: - PQ-121: external static - PQ-122: field list - PQ-123: field selector - PQ-124: floating-point type - PQ-125: function parameter - PQ-126: fundamental - PQ-127: future - PQ-128: generic function - PQ-129: hygienic - PQ-130: identifier - PQ-131: immutable borrow - PQ-132: immutable reference - PQ-133: implementation body - PQ-134: implicit borrow - PQ-135: index expression - PQ-136: indexed operand - PQ-137: inherent implementation - PQ-138: integer type - PQ-139: irrefutable pattern - PQ-140: iteration expression

Batch IDs: PQ-141, PQ-142, PQ-143, PQ-144, PQ-145, PQ-146, PQ-147, PQ-148, PQ-149, PQ-150, PQ-151, PQ-152, PQ-153, PQ-154, PQ-155, PQ-156, PQ-157, PQ-158, PQ-159, PQ-160 Terms: - PQ-141: keyword - PQ-142: label - PQ-143: left operand - PQ-144: local trait - PQ-145: local type - PQ-146: macro - PQ-147: main function signature - PQ-148: module - PQ-149: mutable borrow - PQ-150: mutable raw pointer type - PQ-151: mutable reference type - PQ-152: opt-out trait bound - PQ-153: outer attribute - PQ-154: panic - PQ-155: passing convention - PQ-156: path segment - PQ-157: pattern - PQ-158: proc-macro crate - PQ-159: qualified type - PQ-160: raw pointer

Batch IDs: PQ-161, PQ-162, PQ-163, PQ-164, PQ-165, PQ-166, PQ-167, PQ-168, PQ-169, PQ-170, PQ-171, PQ-172, PQ-173, PQ-174, PQ-175, PQ-176, PQ-177, PQ-178, PQ-179, PQ-180 Terms: - PQ-161: receiver operand - PQ-162: record struct - PQ-163: reference - PQ-164: reference identifier pattern - PQ-165: refutable type - PQ-166: right operand - PQ-167: scalar type - PQ-168: scope - PQ-169: separator - PQ-170: signed integer type - PQ-171: simple path - PQ-172: simple path prefix - PQ-173: static - PQ-174: static initializer - PQ-175: struct expression - PQ-176: struct pattern - PQ-177: struct value - PQ-178: structurally equal - PQ-179: subpattern - PQ-180: subtype

Batch IDs: PQ-181, PQ-182, PQ-183, PQ-184, PQ-185, PQ-186, PQ-187, PQ-188, PQ-189, PQ-190, PQ-191, PQ-192, PQ-193, PQ-194, PQ-195, PQ-196, PQ-197, PQ-198, PQ-199, PQ-200 Terms: - PQ-181: supertrait - PQ-182: trait body - PQ-183: trait implementation - PQ-184: tuple - PQ-185: tuple enum variant - PQ-186: tuple field - PQ-187: tuple struct - PQ-188: tuple struct call expression - PQ-189: tuple struct type - PQ-190: type - PQ-191: type ascription - PQ-192: type path - PQ-193: underscore expression - PQ-194: unhygienic - PQ-195: unicode - PQ-196: union value - PQ-197: unit struct - PQ-198: unsafe external block - PQ-199: unsafe function item type - PQ-200: unsafe trait

Batch IDs: PQ-201, PQ-202 Terms: - PQ-201: unsafety - PQ-202: value operand

Batch IDs: WA-001, WA-002, WA-003, WA-004, WA-005, WA-006, WA-007, WA-008, WA-009, WA-010, WA-011, WA-012, WA-013, WA-014, WA-015 Terms: - WA-001: value - WA-002: expression - WA-003: type - WA-004: trait - WA-005: construct - WA-006: entity - WA-007: name - WA-008: item - WA-009: field - WA-010: reference - WA-011: implementation - WA-012: method - WA-013: crate - WA-014: module - WA-015: statement

Batch IDs: WB-001, WB-002, WB-003, WB-004, WB-005, WB-006, WB-007, WB-008, WB-009, WB-010, WB-011, WB-012, WB-013, WB-014, WB-015, WB-016, WB-017, WB-018, WB-019, WB-020 Terms: - WB-001: field list - WB-002: type specification - WB-003: concrete type - WB-004: generic function - WB-005: variable - WB-006: container operand - WB-007: undefined behavior - WB-008: code point - WB-009: receiver operand - WB-010: associated constant - WB-011: crate root module - WB-012: associated trait function - WB-013: size - WB-014: floating-point type - WB-015: safety invariant - WB-016: unit struct - WB-017: unsafe context - WB-018: associated trait constant - WB-019: union value - WB-020: pattern-without-alternation

Batch IDs: WB-021, WB-022, WB-023, WB-024, WB-025, WB-026, WB-027, WB-028, WB-029, WB-030, WB-031, WB-032, WB-033, WB-034, WB-035, WB-036, WB-037, WB-038, WB-039, WB-040 Terms: - WB-021: discriminant - WB-022: field index - WB-023: static - WB-024: evaluation - WB-025: enum variant value - WB-026: immutable - WB-027: signed integer type - WB-028: execution - WB-029: function body - WB-030: attribute content - WB-031: borrowed - WB-032: irrefutable pattern - WB-033: record enum variant - WB-034: structurally equal - WB-035: implementation body - WB-036: dangling - WB-037: pointer - WB-038: underscore expression - WB-039: element type - WB-040: mutable variable

Batch IDs: WB-041, WB-042, WB-043, WB-044, WB-045, WB-046, WB-047, WB-048, WB-049, WB-050, WB-051, WB-052, WB-053, WB-054, WB-055, WB-056, WB-057, WB-058, WB-059, WB-060 Terms: - WB-041: discriminant initializer - WB-042: [unifiable type]s - WB-043: elaboration - WB-044: exported function - WB-045: expression-with-block - WB-046: external function item type - WB-047: mutable - WB-048: where clause - WB-049: associated function - WB-050: renaming - WB-051: separator - WB-052: struct pattern - WB-053: tuple enum variant - WB-054: associated item - WB-055: destructor - WB-056: escaped character - WB-057: generic substitution - WB-058: trait implementation - WB-059: function - WB-060: type path

Batch IDs: WB-061, WB-062, WB-063, WB-064, WB-065, WB-066, WB-067, WB-068, WB-069, WB-070, WB-071, WB-072, WB-073, WB-074, WB-075, WB-076, WB-077, WB-078, WB-079, WB-080 Terms: - WB-061: inherent implementation - WB-062: self parameter - WB-063: tuple - WB-064: type parameter - WB-065: implicit borrow - WB-066: associated type - WB-067: binding argument - WB-068: future - WB-069: label - WB-070: static initializer - WB-071: arity - WB-072: constant parameter - WB-073: mutable static - WB-074: scalar type - WB-075: constant parameter initializer - WB-076: immutable reference - WB-077: external function - WB-078: external static - WB-079: unit enum variant - WB-080: tuple struct

Batch IDs: WB-081, WB-082, WB-083, WB-084, WB-085, WB-086, WB-087, WB-088, WB-089 Terms: - WB-081: binary crate - WB-082: c - WB-083: qualifying trait - WB-084: temporary - WB-085: pattern-without-range - WB-086: qualified type - WB-087: tuple struct type - WB-088: trait body - WB-089: base initializer

Batch IDs: WB-001, WB-002, WB-003, WB-004, WB-005, WB-006, WB-007, WB-008, WB-009, WB-010, WB-011, WB-012, WB-013, WB-014, WB-015, WB-016, WB-017, WB-018, WB-019, WB-020 Terms: - WB-001: field list - WB-002: type specification - WB-003: concrete type - WB-004: generic function - WB-005: variable - WB-006: container operand - WB-007: undefined behavior - WB-008: code point - WB-009: receiver operand - WB-010: associated constant - WB-011: crate root module - WB-012: associated trait function - WB-013: size - WB-014: floating-point type - WB-015: safety invariant - WB-016: unit struct - WB-017: unsafe context - WB-018: associated trait constant - WB-019: union value - WB-020: pattern-without-alternation

Batch IDs: WA-001, WA-002, WA-003, WA-004, WA-005, WA-006, WA-007, WA-008, WA-009, WA-010, WA-011, WA-012, WA-013, WA-014, WA-015 Terms: - WA-001: value - WA-002: expression - WA-003: type - WA-004: trait - WA-005: construct - WA-006: entity - WA-007: name - WA-008: item - WA-009: field - WA-010: reference - WA-011: implementation - WA-012: method - WA-013: crate - WA-014: module - WA-015: statement

This reverts commit d74a460.

Batch IDs: WA-001, WA-002, WA-003 Terms: - WA-001: value - WA-002: expression - WA-003: type

Batch IDs: WA-004, WA-005, WA-006 Terms: - WA-004: trait - WA-005: construct - WA-006: entity

Batch IDs: WA-007, WA-008, WA-009 Terms: - WA-007: name - WA-008: item - WA-009: field

This reverts commit 9b68d6a.

Batch IDs: WA-008, WA-009 Terms: - WA-008: item - WA-009: field

Batch IDs: WA-010, WA-011, WA-012 Terms: - WA-010: reference - WA-011: implementation - WA-012: method

Batch IDs: WA-013, WA-014, WA-015 Terms: - WA-013: crate - WA-014: module - WA-015: statement

Batch IDs: WA-007 Terms: - WA-007: name

Batch IDs: WB-001, WB-002, WB-003, WB-004, WB-005, WB-006, WB-007, WB-008, WB-009, WB-010, WB-011, WB-012, WB-013, WB-014, WB-015, WB-016, WB-018, WB-019 Terms: - WB-001: field list - WB-002: type specification - WB-003: concrete type - WB-004: generic function - WB-005: variable - WB-006: container operand - WB-007: undefined behavior - WB-008: code point - WB-009: receiver operand - WB-010: associated constant - WB-011: crate root module - WB-012: associated trait function - WB-013: size - WB-014: floating-point type - WB-015: safety invariant - WB-016: unit struct - WB-018: associated trait constant - WB-019: union value

Batch IDs: WB-017, WB-020, WB-021, WB-022, WB-023, WB-025, WB-026, WB-027, WB-029, WB-030, WB-031, WB-032, WB-033, WB-034, WB-035, WB-036, WB-037, WB-038 Terms: - WB-017: unsafe context - WB-020: pattern-without-alternation - WB-021: discriminant - WB-022: field index - WB-023: static - WB-025: enum variant value - WB-026: immutable - WB-027: signed integer type - WB-029: function body - WB-030: attribute content - WB-031: borrowed - WB-032: irrefutable pattern - WB-033: record enum variant - WB-034: structurally equal - WB-035: implementation body - WB-036: dangling - WB-037: pointer - WB-038: underscore expression

Batch IDs: WB-024, WB-028, WB-039, WB-040, WB-041, WB-042, WB-044, WB-046, WB-047, WB-048, WB-049, WB-050, WB-051, WB-052, WB-054, WB-055, WB-056 Terms: - WB-024: evaluation - WB-028: execution - WB-039: element type - WB-040: mutable variable - WB-041: discriminant initializer - WB-042: [unifiable type]s - WB-044: exported function - WB-046: external function item type - WB-047: mutable - WB-048: where clause - WB-049: associated function - WB-050: renaming - WB-051: separator - WB-052: struct pattern - WB-054: associated item - WB-055: destructor - WB-056: escaped character

Batch IDs: WB-062, WB-064, WB-065, WB-066, WB-067, WB-070, WB-072, WB-073, WB-074, WB-075, WB-076, WB-077, WB-078, WB-079 Terms: - WB-062: self parameter - WB-064: type parameter - WB-065: implicit borrow - WB-066: associated type - WB-067: binding argument - WB-070: static initializer - WB-072: constant parameter - WB-073: mutable static - WB-074: scalar type - WB-075: constant parameter initializer - WB-076: immutable reference - WB-077: external function - WB-078: external static - WB-079: unit enum variant

Batch IDs: WB-081, WB-083, WB-085, WB-086, WB-087, WB-088 Terms: - WB-081: binary crate - WB-083: qualifying trait - WB-085: pattern-without-range - WB-086: qualified type - WB-087: tuple struct type - WB-088: trait body

Batch IDs: WB-043, WB-045, WB-053, WB-057, WB-058, WB-059, WB-060, WB-061, WB-063, WB-068, WB-069, WB-071, WB-080, WB-084, WB-089 Terms: - WB-043: elaboration - WB-045: expression-with-block - WB-053: tuple enum variant - WB-057: generic substitution - WB-058: trait implementation - WB-059: function - WB-060: type path - WB-061: inherent implementation - WB-063: tuple - WB-068: future - WB-069: label - WB-071: arity - WB-080: tuple struct - WB-084: temporary - WB-089: base initializer

Batch IDs: WB-082 Terms: - WB-082: c

PLeVasseur added 30 commits February 11, 2026 03:01

docs(glossary): add chapter-side coverage for glossary terms

be247a8

chore(glossary): add phased migration guardrail checks

43198d6

chore(glossary): satisfy Python formatting and lint checks

1c2c2b7

fix(glossary): close alias coverage gaps in phase checks

c5db56a

docs(glossary): remediate placement terms PQ-201-PQ-202

19e7585

Batch IDs: PQ-201, PQ-202 Terms: - PQ-201: unsafety - PQ-202: value operand

docs(glossary): revert Wave A/B for recovery rerun

6efd83d

docs(glossary): reset after blocked WA kickoff

d8c5bc6

Revert "docs(glossary): remediate placement terms WA-001-WA-015"

beb89ee

This reverts commit d74a460.

docs(glossary): remediate placement terms WA-001-WA-003

e1a41fe

Batch IDs: WA-001, WA-002, WA-003 Terms: - WA-001: value - WA-002: expression - WA-003: type

docs(glossary): remediate placement terms WA-004-WA-006

193539b

Batch IDs: WA-004, WA-005, WA-006 Terms: - WA-004: trait - WA-005: construct - WA-006: entity

docs(glossary): remediate placement terms WA-004-WA-006

c05c97a

Batch IDs: WA-004, WA-005, WA-006 Terms: - WA-004: trait - WA-005: construct - WA-006: entity

docs(glossary): remediate placement terms WA-007-WA-009

9b68d6a

Batch IDs: WA-007, WA-008, WA-009 Terms: - WA-007: name - WA-008: item - WA-009: field

PLeVasseur added 12 commits February 13, 2026 05:20

Revert "docs(glossary): remediate placement terms WA-007-WA-009"

de4fbe5

This reverts commit 9b68d6a.

docs(glossary): remediate placement terms WA-008-WA-009

7b8d1eb

Batch IDs: WA-008, WA-009 Terms: - WA-008: item - WA-009: field

docs(glossary): remediate placement terms WA-010-WA-012

d7c8a94

Batch IDs: WA-010, WA-011, WA-012 Terms: - WA-010: reference - WA-011: implementation - WA-012: method

docs(glossary): remediate placement terms WA-013-WA-015

4fd7d55

Batch IDs: WA-013, WA-014, WA-015 Terms: - WA-013: crate - WA-014: module - WA-015: statement

docs(glossary): remediate placement terms WA-007-WA-007

e498c8d

Batch IDs: WA-007 Terms: - WA-007: name

docs(glossary): remediate placement terms WB-081-WB-088

a7096e6

Batch IDs: WB-081, WB-083, WB-085, WB-086, WB-087, WB-088 Terms: - WB-081: binary crate - WB-083: qualifying trait - WB-085: pattern-without-range - WB-086: qualified type - WB-087: tuple struct type - WB-088: trait body

docs(glossary): remediate placement terms WB-082-WB-082

0db68fc

Batch IDs: WB-082 Terms: - WB-082: c

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

docs(glossary): phase 1 main text coverage#6

docs(glossary): phase 1 main text coverage#6
PLeVasseur wants to merge 42 commits intomainfrom
glossary-step-1-main-text-coverage

PLeVasseur commented Feb 10, 2026 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

PLeVasseur commented Feb 10, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Reference alignment

Testing

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

PLeVasseur commented Feb 10, 2026 •

edited

Loading