{
  "method": "Conservative whitespace count; no special Rule 8 reductions.",
  "standard": "ASD-STE100 Issue 9, 2025-01-15",
  "source": "https://www.asd-ste100.org/assets/files/ASD-STE100_ISSUE9.pdf",
  "scope": "Case prose, procedures, glossary and diagram labels. Not a full dictionary/grammar conformance checker.",
  "language_review": "Short sentences, active voice, fixed technical terms and separate procedural steps. No certified compliance claim.",
  "items": [
    {
      "location": "Q-A:computation",
      "kind": "description",
      "text": "The embedding kernel copies one table row.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:computation",
      "kind": "description",
      "text": "Each thread reads eight adjacent half values.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:observation",
      "kind": "description",
      "text": "The IR keeps a shifted gather.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:observation",
      "kind": "description",
      "text": "Offline SASS has eight U16 loads and packing instructions.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:hypothesis",
      "kind": "description",
      "text": "The common matcher identifies zero-based sequences.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:hypothesis",
      "kind": "description",
      "text": "A source extension can identify the shifted sequence.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:conditions",
      "kind": "description",
      "text": "The transform needs unit stride and valid cast ranges.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:conditions",
      "kind": "description",
      "text": "It must keep the mask and pass-through behavior.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:conditions",
      "kind": "description",
      "text": "Negative-token handling must stay unchanged.",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:open",
      "kind": "description",
      "text": "The first gather creation and fold positions remain unknown.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:open",
      "kind": "description",
      "text": "The generic draft has no execution result.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-A:steps",
      "kind": "procedure",
      "text": "Run the generic shifted-gather test.",
      "words": 5,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-A:steps",
      "kind": "procedure",
      "text": "Add tests for partial masks and non-unit stride.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-A:steps",
      "kind": "procedure",
      "text": "Compare the source change in SASS.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-B:computation",
      "kind": "description",
      "text": "The output projection reduces a dot product across 28 warps.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:computation",
      "kind": "description",
      "text": "Each thread reads four adjacent A values.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:observation",
      "kind": "description",
      "text": "O3 changes the row address to x minus its remainder.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:observation",
      "kind": "description",
      "text": "Four scalar A loads keep only align 4.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:hypothesis",
      "kind": "description",
      "text": "KnownBits treats the operands separately.",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:hypothesis",
      "kind": "description",
      "text": "A bounded relation can show the zero low bits of the row address.",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:conditions",
      "kind": "description",
      "text": "The analysis must keep freeze, undef and poison semantics.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:conditions",
      "kind": "description",
      "text": "It must also respect the divisor and integer width.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:open",
      "kind": "description",
      "text": "The first missed alignment query has no trace.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:open",
      "kind": "description",
      "text": "The A base still has align 64.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-B:steps",
      "kind": "procedure",
      "text": "Compare the two row-address forms in generic IR.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-B:steps",
      "kind": "procedure",
      "text": "Record the first missed alignment query.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-B:steps",
      "kind": "procedure",
      "text": "Measure the cost of the new analysis.",
      "words": 7,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-C:computation",
      "kind": "description",
      "text": "These projections reduce dot products.",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:computation",
      "kind": "description",
      "text": "The A input supplies adjacent half values to each thread.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:observation",
      "kind": "description",
      "text": "The A alignment assume disappears in O3.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:observation",
      "kind": "description",
      "text": "The moved A address then supplies loads with align 2.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:hypothesis",
      "kind": "description",
      "text": "Instruction sinking can remove droppable uses.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:hypothesis",
      "kind": "description",
      "text": "The source behavior agrees with the observed change.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:conditions",
      "kind": "description",
      "text": "A source change must keep dominance and execution-path rules.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:conditions",
      "kind": "description",
      "text": "The historical patch does not establish a Qwen speedup.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:open",
      "kind": "description",
      "text": "The exact Qwen sink step has no trace.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:open",
      "kind": "description",
      "text": "This item continues G01.",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:open",
      "kind": "description",
      "text": "It is not a new independent candidate.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-C:steps",
      "kind": "procedure",
      "text": "Record the exact sink step for the A address.",
      "words": 9,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-C:steps",
      "kind": "procedure",
      "text": "Run the focused test on the current revision.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-C:steps",
      "kind": "procedure",
      "text": "Compare Qwen outputs and SASS after the source change.",
      "words": 9,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-D:computation",
      "kind": "description",
      "text": "The kernels convert or scale eight values per thread.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:computation",
      "kind": "description",
      "text": "Their addresses split a flat index into quotient and remainder.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:observation",
      "kind": "description",
      "text": "Casts and OR separate the related terms.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:observation",
      "kind": "description",
      "text": "SASS keeps quotient work inside the loop.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:hypothesis",
      "kind": "description",
      "text": "The existing direct matcher cannot see this form.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:hypothesis",
      "kind": "description",
      "text": "Range and bit-field relations can show an equivalent index.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:conditions",
      "kind": "description",
      "text": "The transform must keep cast and integer-wrap semantics.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:conditions",
      "kind": "description",
      "text": "Signed correction needs a separate proof.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:open",
      "kind": "description",
      "text": "The first missed fold remains unknown.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:open",
      "kind": "description",
      "text": "Wide loads and stores already exist.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-D:steps",
      "kind": "procedure",
      "text": "Run the generic unsigned address test.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-D:steps",
      "kind": "procedure",
      "text": "Add tests for casts, multiple uses and poison.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-D:steps",
      "kind": "procedure",
      "text": "Locate the first common transform that misses the relation.",
      "words": 9,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-E:computation",
      "kind": "description",
      "text": "The GQA copy repeats four KV heads to make 28 heads.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:computation",
      "kind": "description",
      "text": "Each thread copies four half values.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:observation",
      "kind": "description",
      "text": "The input uses one 64-bit load.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:observation",
      "kind": "description",
      "text": "The output uses four 16-bit stores.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:hypothesis",
      "kind": "description",
      "text": "The output query reaches depth 6 before the extent facts.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:hypothesis",
      "kind": "description",
      "text": "This depth path can explain the alignment difference.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:conditions",
      "kind": "description",
      "text": "The extent is a multiple of 128.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:conditions",
      "kind": "description",
      "text": "The byte offset is a multiple of eight.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:open",
      "kind": "description",
      "text": "The actual query stack has no trace.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:open",
      "kind": "description",
      "text": "GQA materialization removal would be a separate producer change.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-E:steps",
      "kind": "procedure",
      "text": "Record the input and output alignment queries.",
      "words": 7,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-E:steps",
      "kind": "procedure",
      "text": "Compare shallow and nested GEPs in generic IR.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-E:steps",
      "kind": "procedure",
      "text": "Do not increase the depth limit without a cost analysis.",
      "words": 10,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-F:computation",
      "kind": "description",
      "text": "Index and mask loops divide different numerators by an invariant denominator.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:computation",
      "kind": "description",
      "text": "The original arithmetic has 64-bit semantics.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:observation",
      "kind": "description",
      "text": "ptxas adds reciprocal setup and quotient correction.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:observation",
      "kind": "description",
      "text": "The setup occurs inside the observed loop.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:hypothesis",
      "kind": "description",
      "text": "A NVPTX source implementation can expose denominator work before PTX emission.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:hypothesis",
      "kind": "description",
      "text": "LLVM can then share that work.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:conditions",
      "kind": "description",
      "text": "Each numerator needs exact quotient correction.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:conditions",
      "kind": "description",
      "text": "The implementation must keep the 64-bit fallback and signed corner cases.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:open",
      "kind": "description",
      "text": "This investigation has no exact algorithm or source patch.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:open",
      "kind": "description",
      "text": "This observation does not establish a defect in LLVM.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-F:steps",
      "kind": "procedure",
      "text": "Create a producer-free exact-division test.",
      "words": 5,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-F:steps",
      "kind": "procedure",
      "text": "Separate denominator work from numerator correction.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-F:steps",
      "kind": "procedure",
      "text": "Compare SASS dependencies and register use.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-G:computation",
      "kind": "description",
      "text": "Softmax uses maximum, sum and output scans.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:computation",
      "kind": "description",
      "text": "Eight quotients use one row denominator.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:observation",
      "kind": "description",
      "text": "Eight PTX divisions use the same denominator.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:observation",
      "kind": "description",
      "text": "Offline SASS has eight reciprocal operations on R39.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:hypothesis",
      "kind": "description",
      "text": "A source implementation can share denominator setup.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:hypothesis",
      "kind": "description",
      "text": "Each quotient must keep its own rounding and error correction.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:conditions",
      "kind": "description",
      "text": "Reciprocal multiplication can change exact division results.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:conditions",
      "kind": "description",
      "text": "Zero, subnormal, NaN and infinity cases need the original behavior.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:open",
      "kind": "description",
      "text": "The exp recomputation boundary remains unknown.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:open",
      "kind": "description",
      "text": "The frozen common Linalg decomposition shares one exp tensor.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-G:steps",
      "kind": "procedure",
      "text": "Create a strict same-denominator division test.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-G:steps",
      "kind": "procedure",
      "text": "Do exact-output tests for exceptional values.",
      "words": 6,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-G:steps",
      "kind": "procedure",
      "text": "Find the decomposition and fusion steps before the repeated exp calculations.",
      "words": 11,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-H:computation",
      "kind": "description",
      "text": "The tile loop has step 32.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:computation",
      "kind": "description",
      "text": "Its upper bound is the smaller of remaining and 32.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:observation",
      "kind": "description",
      "text": "The backedge remains in O3 and SASS.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:observation",
      "kind": "description",
      "text": "Signed truncation prevents an unconditional zero-or-one iteration claim.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:hypothesis",
      "kind": "description",
      "text": "A valid range proof can remove the backedge.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:hypothesis",
      "kind": "description",
      "text": "The responsible common transform remains unknown.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:conditions",
      "kind": "description",
      "text": "The proof must follow the signed range through i64-to-i32 truncation.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:conditions",
      "kind": "description",
      "text": "It must also cover the outer loop bounds.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:open",
      "kind": "description",
      "text": "The SCF-to-CF snapshot is missing.",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:open",
      "kind": "description",
      "text": "A producer-only loop change would not qualify.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "Q-H:steps",
      "kind": "procedure",
      "text": "Collect the SCF-to-CF boundary.",
      "words": 4,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-H:steps",
      "kind": "procedure",
      "text": "Show the signed range before and after truncation.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "Q-H:steps",
      "kind": "procedure",
      "text": "Locate the first loss of the loop-bound relationship.",
      "words": 8,
      "limit": 20,
      "pass": true
    },
    {
      "location": "glossary:IR",
      "kind": "description",
      "text": "Intermediate representation.",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:IR",
      "kind": "description",
      "text": "A compiler uses this form of a program.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:dispatch",
      "kind": "description",
      "text": "One compiled entry.",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:dispatch",
      "kind": "description",
      "text": "A model can call the same entry more than once.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:producer",
      "kind": "description",
      "text": "The model compiler that creates the initial computation and memory organization.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:common MLIR",
      "kind": "description",
      "text": "Upstream MLIR operations and transforms that do not require a producer-specific dialect.",
      "words": 12,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:lowering",
      "kind": "description",
      "text": "A compiler conversion from one representation to another representation.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:NVPTX",
      "kind": "description",
      "text": "The LLVM backend that produces PTX for NVIDIA GPUs.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:PTX",
      "kind": "description",
      "text": "The virtual instruction form that the NVIDIA toolchain accepts.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:ptxas",
      "kind": "description",
      "text": "The NVIDIA tool that converts PTX into machine code.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:SASS",
      "kind": "description",
      "text": "NVIDIA machine instructions.",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:SASS",
      "kind": "description",
      "text": "This guide uses offline ptxas output.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:driver JIT",
      "kind": "description",
      "text": "The compiler in the GPU driver.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:driver JIT",
      "kind": "description",
      "text": "This guide does not verify its loaded machine code.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:half / f32",
      "kind": "description",
      "text": "A 16-bit floating-point value / a 32-bit floating-point value.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:align N",
      "kind": "description",
      "text": "An IR contract that the address is a multiple of N bytes.",
      "words": 12,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:gather",
      "kind": "description",
      "text": "A vector memory operation that reads addresses from an index vector.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:mask / pass-through",
      "kind": "description",
      "text": "Active-lane selection / the value for an inactive load lane.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:GEP",
      "kind": "description",
      "text": "The LLVM getelementptr instruction.",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:GEP",
      "kind": "description",
      "text": "It calculates an address.",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:KnownBits",
      "kind": "description",
      "text": "LLVM analysis that identifies known zero or one bits.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:assume",
      "kind": "description",
      "text": "An IR statement that gives facts which the optimizer can use.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:instruction sinking",
      "kind": "description",
      "text": "A transform that moves an instruction toward its use.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:droppable use",
      "kind": "description",
      "text": "An IR use that a transform can remove without a change to required program results.",
      "words": 15,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:freeze / poison / undef",
      "kind": "description",
      "text": "LLVM terms for indeterminate values.",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:freeze / poison / undef",
      "kind": "description",
      "text": "Their distinct rules restrict valid transforms.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:relinearization",
      "kind": "description",
      "text": "The calculation that rebuilds a flat address from separate coordinates.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:backedge",
      "kind": "description",
      "text": "The control-flow edge that returns to a loop body.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:invariant",
      "kind": "description",
      "text": "A value that does not change during the specified loop.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:LICM",
      "kind": "description",
      "text": "Loop Invariant Code Motion.",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:LICM",
      "kind": "description",
      "text": "This LLVM transform moves eligible work outside a loop.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:reciprocal / RCP",
      "kind": "description",
      "text": "The inverse of a number / a reciprocal machine instruction.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:RN",
      "kind": "description",
      "text": "Round to nearest, ties to even.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:RN",
      "kind": "description",
      "text": "Each exact quotient must keep this rule.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:subnormal",
      "kind": "description",
      "text": "A floating-point value with a magnitude below the normal range.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:NaN",
      "kind": "description",
      "text": "Not a Number.",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:NaN",
      "kind": "description",
      "text": "A special floating-point value.",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:GQA / KV",
      "kind": "description",
      "text": "Grouped Query Attention / key and value tensors.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:CTA / warp / tid",
      "kind": "description",
      "text": "GPU thread block / a group of 32 threads / the thread identifier.",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:technical verbs",
      "kind": "description",
      "text": "This guide uses compile, truncate, decompose, expose and share as software-process verbs.",
      "words": 12,
      "limit": 25,
      "pass": true
    },
    {
      "location": "glossary:technical symbols",
      "kind": "description",
      "text": "Code names, formulas and instruction mnemonics keep their original spelling.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Figure 1. Compiler boundaries",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Model compiler",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Producer policy",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Common MLIR",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Vector, Arith, SCF",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "LLVM IR",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Passes + analysis",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "NVPTX backend",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "PTX instructions",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "CUDA ptxas",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Offline SASS",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Q-A: MLIR   |   Q-B/C/E: LLVM   |   Q-D/H: boundary open   |   Q-F/G: NVPTX hypothesis",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "01-boundaries",
      "kind": "label",
      "text": "Offline SASS is not verified driver JIT SASS.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "Figure 2. Evidence and status",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "37 compiled entries",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "35 decoder + 2 embedding",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "Q-A to Q-H",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "Static investigation IDs",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "Whole-model speedup",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "No measurements",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "02-evidence",
      "kind": "label",
      "text": "Instruction counts do not establish execution cost.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "Figure 3. Q-A: The gather path",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "Eight adjacent half values",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "start + [0..7]",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "vector.gather",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "llvm.masked.gather.v8f16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "Eight U16 loads",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "PRMT then wide store",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "03-a-path",
      "kind": "label",
      "text": "7B dispatch 0 / 4B embedding dispatch 0.",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "Figure 4. Q-A: Addresses and the proposed recognition",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "Byte offset",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "0",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "2",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "4",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "6",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "8",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "10",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "12",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "14",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "U16",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "Observed",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "04-a-memory",
      "kind": "label",
      "text": "Hypothesis: recognize the shifted contiguous sequence.",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "Figure 5. Q-B: The row address changes form",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "Before O3",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "(x / 3584) * 3584",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "After O3",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "x - urem(x, 3584)",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "Four scalar A loads",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "align 4 / 4 x 32-bit",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "05-b-path",
      "kind": "label",
      "text": "The A base keeps align 64. The lost relationship differs from Q-C.",
      "words": 12,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "Figure 6. Q-B: The alignment relationship",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "Row start",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "3584 = 7 * 512",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "Byte offset",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "4 * (row + 4 * tid)",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "16-byte alignment",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "Base alignment: 64 bytes",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "06-b-proof",
      "kind": "label",
      "text": "Hypothesis: KnownBits can use the relationship between x and its remainder.",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "Figure 7. Q-C: The alignment fact disappears",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "Before O3",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "A pointer + align 64",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "After O3",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "A GEP moves / assume gone",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "A loads",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "4 half / align 2",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "07-c-path",
      "kind": "label",
      "text": "Dispatch 15, 37, 38 and 743. This is a recurrence of the G01 investigation.",
      "words": 14,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "Figure 8. Q-C: Source behavior and the open trace",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "InstCombine source",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "tryToSinkInstruction",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "Droppable uses",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "dropDroppableUses",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "Exact Qwen sink step",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "Pass trace not collected",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "08-c-source",
      "kind": "label",
      "text": "Historical HS014 patch exists. Its Qwen effect is not verified.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "Figure 9. Q-D: Split and rebuild the address",
      "words": 8,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "Split x",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "q = x / 14",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "r = x % 14",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "Cast and OR",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "(r << 8) OR (tid << 3)",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "Rebuild the index",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "q * 3584 + inner",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "09-d-path",
      "kind": "label",
      "text": "SASS keeps quotient work in the loop. Wide load and store already exist.",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "Figure 10. Q-D: The same address with fewer terms",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "Range conditions",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "r < 14",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "0 <= tid < 32",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "Non-overlapping fields",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "inner = r * 256 + tid * 8",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "Equivalent index",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "x * 256 + tid * 8",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "10-d-proof",
      "kind": "label",
      "text": "The implementation must keep cast, wrap, poison and memory semantics.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "Figure 11. Q-E: One copy has different load and store widths",
      "words": 11,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "Input",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "4 half / load align 8",
      "words": 6,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "GQA copy",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "Copy the same four values",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "Output",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "store align 2",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "11-e-memory",
      "kind": "label",
      "text": "SASS: one LDG64 at 0a50 / four STG.U16 at 0b80, 0ba0, 0bb0 and 0bc0.",
      "words": 14,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "Figure 12. Q-E: Static path toward the extent facts",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d0",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%83",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d1",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%82",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d2",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%81",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d3",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%79",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d4",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%38",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d5",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%23",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "d6",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "%20/%22",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "Depth limit: 6. The diagram follows a source-based query hypothesis.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "12-e-depth",
      "kind": "label",
      "text": "Hypothesis only: the actual query stack is not verified.",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "Figure 13. Q-F: The denominator work becomes visible late",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "LLVM IR",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "udiv with one denominator",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "NVPTX backend",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "PTX division instruction",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "ptxas expansion",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "RCP + exact correction",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "13-f-boundary",
      "kind": "label",
      "text": "Regular LICM does not see the ptxas expansion. The 64-bit fallback remains necessary.",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Figure 14. Q-F: A possible separation of exact division",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Repeated loop work",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "denominator + numerator",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Denominator setup",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Once outside the loop",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Numerator correction",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "Inside the loop",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "14-f-sharing",
      "kind": "label",
      "text": "This investigation has no source implementation or exact arithmetic proof.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Figure 15. Q-G: Softmax has three scans",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Scan 1",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Find the row maximum",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Scan 2",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "exp + sum reduction",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Scan 3",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "exp + exact division",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "15-g-structure",
      "kind": "label",
      "text": "Scores and mask are read again. Four barriers order reduction and buffer reuse.",
      "words": 13,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Figure 16. Q-G: Eight quotients use the same denominator",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Row denominator",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "%r17 / R39",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Quotients 1, 2",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "2 x RCP",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Quotients 3, 4",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "2 x RCP",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Quotients 5, 6",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "2 x RCP",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Quotients 7, 8",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "2 x RCP",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "16-g-denominator",
      "kind": "label",
      "text": "Hypothesis: one denominator setup, exact quotient corrections.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "Figure 17. Q-H: The small loop still has a backedge",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "Inner loop",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "step = 32",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "Bound",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "min(remaining, 32)",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "OBSERVED",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "O3 and SASS",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "Backedge remains",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "17-h-loop",
      "kind": "label",
      "text": "Dispatch 1, 3 and 7 are examples.",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "Figure 18. Q-H: The missing range proof",
      "words": 7,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "ARITHMETIC RELATION",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "Required range",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "0 <= bound <= 32",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "Signed truncation",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "i64 to i32: range open",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "HYPOTHESIS",
      "words": 1,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "Zero or one iteration",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "Not a verified transform",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "18-h-range",
      "kind": "label",
      "text": "The SCF-to-CF snapshot and the first lost relationship remain open.",
      "words": 10,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Figure 19. From a static hypothesis to a contribution",
      "words": 9,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Generic IR + source fix",
      "words": 5,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Focused regression test",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Equivalent outputs",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "SASS + full-model timing",
      "words": 4,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "NOT VERIFIED",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Independent corpus",
      "words": 2,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "Upstream duplicate check",
      "words": 3,
      "limit": 25,
      "pass": true
    },
    {
      "location": "19-gates",
      "kind": "label",
      "text": "No Qwen item has passed these gates. A pass-only change does not qualify.",
      "words": 13,
      "limit": 25,
      "pass": true
    }
  ],
  "failed": []
}