csharp-construct-inventory.json

[
  {
    "kind": "AccessorList",
    "nodeType": "AccessorListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "AddAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0052",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/EventDeclaration.cs",
    "notes": "The explicit add/remove accessor body of an event declaration (ADR-0052 \u00A72); translates like any other accessor body."
  },
  {
    "kind": "AddAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/AddAssignmentExpression.cs"
  },
  {
    "kind": "AddExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/AddExpression.cs"
  },
  {
    "kind": "AddressOfExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.30",
    "rationale": "None"
  },
  {
    "kind": "AliasQualifiedName",
    "nodeType": "AliasQualifiedNameSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None"
  },
  {
    "kind": "AllowsConstraintClause",
    "nodeType": "AllowsConstraintClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/AllowsConstraintClause.cs",
    "notes": "C#13 allows ref struct passes E2E (grid G08)."
  },
  {
    "kind": "AndAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/AndAssignmentExpression.cs"
  },
  {
    "kind": "AndPattern",
    "nodeType": "BinaryPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/AndPattern.cs"
  },
  {
    "kind": "AnonymousMethodExpression",
    "nodeType": "AnonymousMethodExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.20",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/AnonymousMethodExpression.cs"
  },
  {
    "kind": "AnonymousObjectCreationExpression",
    "nodeType": "AnonymousObjectCreationExpressionSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/AnonymousObjectCreationExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/2538",
    "notes": "Lowers to positional construction of a shape-deduplicated synthesized data class, preserving named members and remaining a direct expression in constructor delegation (issues #2282 and #2538)."
  },
  {
    "kind": "AnonymousObjectMemberDeclarator",
    "nodeType": "AnonymousObjectMemberDeclaratorSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/AnonymousObjectCreationExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/2538",
    "notes": "Each declarator supplies one positional synthesized-data-class constructor argument; the synthesized declaration preserves the projected member names (issues #2282 and #2538)."
  },
  {
    "kind": "ArgListExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NoGsharpConstruct",
    "fixture": "tools/cs2gs/Cs2Gs.Tests/Fixtures/Grid/Unsupported/ArgListExpression.cs",
    "notes": "Legacy TypedReference/varargs machinery (__makeref/__reftype/__refvalue/__arglist); no G# analog planned."
  },
  {
    "kind": "Argument",
    "nodeType": "ArgumentSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ArgumentList",
    "nodeType": "ArgumentListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ArrayCreationExpression",
    "nodeType": "ArrayCreationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ArrayCreationExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1893",
    "notes": "1-D/jagged green; rank\u003E1 (issue #1893) flat-lowers a tracked local\u0027s rectangular \u0060new T[d0, d1, ...]\u0060/\u0060new T[,]{{...}}\u0060 to a single backing array with hoisted per-dimension sizes, preserving every index (see ArrayCreationExpressionMultiDim.cs, parity-verified). An untracked rank\u003E1 shape (field/parameter/no-initializer) reports the CS2GS-GAP instead of silently collapsing to 1-D."
  },
  {
    "kind": "ArrayInitializerExpression",
    "nodeType": "InitializerExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ArrayInitializerExpression.cs"
  },
  {
    "kind": "ArrayRankSpecifier",
    "nodeType": "ArrayRankSpecifierSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None"
  },
  {
    "kind": "ArrayType",
    "nodeType": "ArrayTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None"
  },
  {
    "kind": "ArrowExpressionClause",
    "nodeType": "ArrowExpressionClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.5",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/ArrowExpressionClause.cs",
    "notes": "Expression-bodied members (ADR-0131)."
  },
  {
    "kind": "AsExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/AsExpression.cs"
  },
  {
    "kind": "AscendingOrdering",
    "nodeType": "OrderingSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/OrderByClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "Attribute",
    "nodeType": "AttributeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/AttributeList.cs",
    "notes": "User-defined attribute classes blocked by gsc GS0200 (issue #1921)."
  },
  {
    "kind": "AttributeArgument",
    "nodeType": "AttributeArgumentSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "AttributeArgumentList",
    "nodeType": "AttributeArgumentListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "AttributeList",
    "nodeType": "AttributeListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/AttributeList.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1913",
    "notes": "BCL attributes and user-defined attribute classes (issue #1921, fixed) green; parameter attributes silently dropped and generic attributes emit non-parsing G# (issue #1913)."
  },
  {
    "kind": "AttributeTargetSpecifier",
    "nodeType": "AttributeTargetSpecifierSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "AwaitExpression",
    "nodeType": "AwaitExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.23",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G10-Async-Console/Constructs/AwaitExpression.cs",
    "notes": "Task/Task\u003CT\u003E green incl. ConfigureAwait and await foreach; ValueTask blocked by gsc (issue #1918); async Main mislowers (issue #1904)."
  },
  {
    "kind": "BadDirectiveTrivia",
    "nodeType": "BadDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "BaseConstructorInitializer",
    "nodeType": "ConstructorInitializerSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.28",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/BaseConstructorInitializer.cs"
  },
  {
    "kind": "BaseExpression",
    "nodeType": "BaseExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "notes": "base.M() virtual calls (issue #986, resolved)."
  },
  {
    "kind": "BaseList",
    "nodeType": "BaseListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.6",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/BaseList.cs"
  },
  {
    "kind": "BitwiseAndExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/BitwiseAndExpression.cs"
  },
  {
    "kind": "BitwiseNotExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/BitwiseNotExpression.cs"
  },
  {
    "kind": "BitwiseOrExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/BitwiseOrExpression.cs"
  },
  {
    "kind": "Block",
    "nodeType": "BlockSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.2",
    "rationale": "None"
  },
  {
    "kind": "BracketedArgumentList",
    "nodeType": "BracketedArgumentListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "notes": "Issue #942 (resolved)."
  },
  {
    "kind": "BracketedParameterList",
    "nodeType": "BracketedParameterListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "notes": "User indexers (issue #944)."
  },
  {
    "kind": "BreakStatement",
    "nodeType": "BreakStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/BreakStatement.cs"
  },
  {
    "kind": "CasePatternSwitchLabel",
    "nodeType": "CasePatternSwitchLabelSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.33",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/CasePatternSwitchLabel.cs"
  },
  {
    "kind": "CaseSwitchLabel",
    "nodeType": "CaseSwitchLabelSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.33",
    "rationale": "None"
  },
  {
    "kind": "CastExpression",
    "nodeType": "CastExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.17",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/CastExpression.cs"
  },
  {
    "kind": "CatchClause",
    "nodeType": "CatchClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None"
  },
  {
    "kind": "CatchDeclaration",
    "nodeType": "CatchDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None"
  },
  {
    "kind": "CatchFilterClause",
    "nodeType": "CatchFilterClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/CatchFilterClause.cs",
    "notes": "A when-filter with an overlapping later sibling catch has no faithful lowering (issue #1724 area)."
  },
  {
    "kind": "CharacterLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/CharacterLiteralExpression.cs"
  },
  {
    "kind": "CheckedExpression",
    "nodeType": "CheckedExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/CheckedExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1881"
  },
  {
    "kind": "CheckedStatement",
    "nodeType": "CheckedStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/CheckedStatement.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1881",
    "notes": "gsc gained native checked/unchecked expression \u002B block support (issue #1881); overflow semantics preserved, including the overflow-in-try/catch(OverflowException) sub-case. Stdout parity verified (grid G03)."
  },
  {
    "kind": "ClassConstraint",
    "nodeType": "ClassOrStructConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/ClassConstraint.cs"
  },
  {
    "kind": "ClassDeclaration",
    "nodeType": "ClassDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/ClassDeclaration.cs",
    "notes": "C#12 primary ctors now map to native G# primary constructors (issue #1909, resolved); partial parts across multiple declarations/files now merge into one G# type declaration (issue #1910, resolved)."
  },
  {
    "kind": "CoalesceAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/CoalesceAssignmentExpression.cs",
    "notes": "Nullable value-type targets now emit verifiable IL (issue #1916, resolved); reference and value-type forms are both green."
  },
  {
    "kind": "CoalesceExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/CoalesceExpression.cs",
    "notes": "Binary ?? (issue #941, resolved)."
  },
  {
    "kind": "CollectionExpression",
    "nodeType": "CollectionExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.36",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/CollectionExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1897",
    "notes": "Array targets green; List\u003CT\u003E targets fail conversion; spread unsupported (issues #1897)."
  },
  {
    "kind": "CollectionInitializerExpression",
    "nodeType": "InitializerExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/CollectionInitializerExpression.cs"
  },
  {
    "kind": "CompilationUnit",
    "nodeType": "CompilationUnitSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.1",
    "rationale": "None"
  },
  {
    "kind": "ComplexElementInitializerExpression",
    "nodeType": "InitializerExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/CollectionInitializerExpression.cs"
  },
  {
    "kind": "ConditionalAccessExpression",
    "nodeType": "ConditionalAccessExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ConditionalAccessExpression.cs",
    "notes": "Null-conditional ?. / ?[."
  },
  {
    "kind": "ConditionalExpression",
    "nodeType": "ConditionalExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.26",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ConditionalExpression.cs"
  },
  {
    "kind": "ConstantPattern",
    "nodeType": "ConstantPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/ConstantPattern.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1923",
    "notes": "Boxed-object subjects fail in gsc (issue #1923); typed subjects green."
  },
  {
    "kind": "ConstructorConstraint",
    "nodeType": "ConstructorConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/ConstructorConstraint.cs",
    "notes": "new T() under new() works (past gap #988 resolved)."
  },
  {
    "kind": "ConstructorDeclaration",
    "nodeType": "ConstructorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.28",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/ConstructorDeclaration.cs"
  },
  {
    "kind": "ContinueStatement",
    "nodeType": "ContinueStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/ContinueStatement.cs"
  },
  {
    "kind": "ConversionOperatorDeclaration",
    "nodeType": "ConversionOperatorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.31",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/ConversionOperatorDeclaration.cs"
  },
  {
    "kind": "ConversionOperatorMemberCref",
    "nodeType": "ConversionOperatorMemberCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "CrefBracketedParameterList",
    "nodeType": "CrefBracketedParameterListSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "CrefParameter",
    "nodeType": "CrefParameterSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "CrefParameterList",
    "nodeType": "CrefParameterListSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "DeclarationExpression",
    "nodeType": "DeclarationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.30",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/DeclarationExpression.cs"
  },
  {
    "kind": "DeclarationPattern",
    "nodeType": "DeclarationPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/DeclarationPattern.cs",
    "notes": "x is T t binder (issue #993, resolved)."
  },
  {
    "kind": "DefaultConstraint",
    "nodeType": "DefaultConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/DefaultConstraint.cs",
    "notes": "Translates to an unconstrained G# [T]; gsc override/inference bug fixed (issue #1931)."
  },
  {
    "kind": "DefaultExpression",
    "nodeType": "DefaultExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/DefaultExpression.cs"
  },
  {
    "kind": "DefaultLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/DefaultLiteralExpression.cs"
  },
  {
    "kind": "DefaultSwitchLabel",
    "nodeType": "DefaultSwitchLabelSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.33",
    "rationale": "None"
  },
  {
    "kind": "DefineDirectiveTrivia",
    "nodeType": "DefineDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "DelegateDeclaration",
    "nodeType": "DelegateDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0059",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/DelegateDeclaration.cs",
    "notes": "Maps to the G# named delegate type alias \u0060type Name = delegate func(params) R\u0060 (ADR-0059), including a generic delegate\u0027s type-parameter list (any arity, with constraints) \u2014 \u0060type Name[T constraint] = delegate func(...) R\u0060 (issue #1960 item 1)."
  },
  {
    "kind": "DescendingOrdering",
    "nodeType": "OrderingSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/OrderByClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "DestructorDeclaration",
    "nodeType": "DestructorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/DestructorDeclaration.cs"
  },
  {
    "kind": "DiscardDesignation",
    "nodeType": "DiscardDesignationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.30",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/DeclarationExpression.cs"
  },
  {
    "kind": "DiscardPattern",
    "nodeType": "DiscardPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/DiscardPattern.cs"
  },
  {
    "kind": "DivideAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/DivideAssignmentExpression.cs"
  },
  {
    "kind": "DivideExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/DivideExpression.cs"
  },
  {
    "kind": "DoStatement",
    "nodeType": "DoStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/DoStatement.cs"
  },
  {
    "kind": "ElementAccessExpression",
    "nodeType": "ElementAccessExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "notes": "Issue #942 (resolved)."
  },
  {
    "kind": "ElementBindingExpression",
    "nodeType": "ElementBindingExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ElementBindingExpression.cs",
    "notes": "Null-conditional ?. / ?[."
  },
  {
    "kind": "ElifDirectiveTrivia",
    "nodeType": "ElifDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "ElseClause",
    "nodeType": "ElseClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ElseDirectiveTrivia",
    "nodeType": "ElseDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "EmptyStatement",
    "nodeType": "EmptyStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/EmptyStatement.cs"
  },
  {
    "kind": "EndIfDirectiveTrivia",
    "nodeType": "EndIfDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "EndRegionDirectiveTrivia",
    "nodeType": "EndRegionDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "EnumDeclaration",
    "nodeType": "EnumDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/EnumDeclaration.cs",
    "notes": "Member values (explicit or implicit) and [Flags] are preserved (issue #1912, fixed)."
  },
  {
    "kind": "EnumMemberDeclaration",
    "nodeType": "EnumMemberDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/EnumMemberDeclaration.cs",
    "notes": "Explicit/negative/[Flags] bit-shift-or/alias values resolve via the semantic model\u0027s IFieldSymbol.ConstantValue and are emitted as an explicit G# \u0060= value\u0060 (new language feature, issue #1912, fixed)."
  },
  {
    "kind": "EqualsExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/EqualsExpression.cs"
  },
  {
    "kind": "EqualsValueClause",
    "nodeType": "EqualsValueClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.3",
    "rationale": "None"
  },
  {
    "kind": "ErrorDirectiveTrivia",
    "nodeType": "ErrorDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "EventDeclaration",
    "nodeType": "EventDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0052",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/EventDeclaration.cs",
    "notes": "Explicit add/remove accessor event maps to the G# event declaration\u0027s explicit-accessor form (ADR-0052 \u00A72); a source-declared named delegate handler type keeps its name (issue #1960 item 3) instead of the anonymous arrow form."
  },
  {
    "kind": "EventFieldDeclaration",
    "nodeType": "EventFieldDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0052",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/EventFieldDeclaration.cs",
    "notes": "Field-like event maps to the G# field-like event declaration (ADR-0052 \u00A72); a source-declared named delegate handler type keeps its name (issue #1960 item 3) instead of the anonymous arrow form."
  },
  {
    "kind": "ExclusiveOrAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ExclusiveOrAssignmentExpression.cs"
  },
  {
    "kind": "ExclusiveOrExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ExclusiveOrExpression.cs"
  },
  {
    "kind": "ExplicitInterfaceSpecifier",
    "nodeType": "ExplicitInterfaceSpecifierSyntax",
    "status": "Lowered",
    "rule": "ADR-0091 / ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/ExplicitInterfaceSpecifier.cs",
    "notes": "G# has no explicit-interface-implementation surface (ADR-0091 rejected an \u0027IFoo.M(this)\u0027 spelling); a lone explicit impl lowers to a plain public method (fixes the prior ilverify miss, issue #1911). An explicit impl coexisting with a same-signature public method is dropped in favor of the public method (disclosed semantic-loss diagnostic, not covered by this fixture\u0027s stdout parity); two explicit impls of different interfaces with no public sibling de-duplicate to one surviving public method with no semantic loss."
  },
  {
    "kind": "ExpressionColon",
    "nodeType": "ExpressionColonSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/ExpressionColon.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1891",
    "notes": "is-form green; switch-expression arm form unsupported (issue #1891)."
  },
  {
    "kind": "ExpressionElement",
    "nodeType": "ExpressionElementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.36",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/CollectionExpression.cs"
  },
  {
    "kind": "ExpressionStatement",
    "nodeType": "ExpressionStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ExtensionBlockDeclaration",
    "nodeType": "ExtensionBlockDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.19",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G13-Extensions-Console/Constructs/ExtensionBlockDeclaration.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1879",
    "notes": "C# 14 \u0060extension(T x)\u0060/\u0060extension(T)\u0060 block members map onto the same target as a classic this-param extension method (ADR-0115 \u00A7B.19): an instance method/property lowers to a receiver-clause func (a property becomes a get-only func, since G#\u0027s prop grammar has no receiver clause, with call sites rewritten to a zero-arg call); a static member becomes a plain shared member of the declaring class, with call sites rewritten from the extended type\u0027s name to the real owner. An enum receiver and a settable instance extension property are each reported as an explicit gap (grid G13)."
  },
  {
    "kind": "ExtensionMemberCref",
    "nodeType": "ExtensionMemberCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "ExternAliasDirective",
    "nodeType": "ExternAliasDirectiveSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NoGsharpConstruct",
    "notes": "Extern aliases disambiguate identically-named assemblies \u2014 a project-system feature G# does not model."
  },
  {
    "kind": "FalseLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/FalseLiteralExpression.cs"
  },
  {
    "kind": "FieldDeclaration",
    "nodeType": "FieldDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.3",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/FieldDeclaration.cs"
  },
  {
    "kind": "FieldExpression",
    "nodeType": "FieldExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0051 \u00A72",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/FieldExpression.cs"
  },
  {
    "kind": "FileScopedNamespaceDeclaration",
    "nodeType": "FileScopedNamespaceDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.1",
    "rationale": "None"
  },
  {
    "kind": "FinallyClause",
    "nodeType": "FinallyClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None"
  },
  {
    "kind": "FixedStatement",
    "nodeType": "FixedStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FixedStatement.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1933",
    "notes": "Compiles end-to-end under the ilverify allow-unsafe policy (issue #1933); IL is unverifiable by design, not a gsc defect."
  },
  {
    "kind": "ForEachStatement",
    "nodeType": "ForEachStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/ForEachStatement.cs"
  },
  {
    "kind": "ForEachVariableStatement",
    "nodeType": "ForEachVariableStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/TupleExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1922",
    "notes": "Sync foreach tuple-deconstruction translates to first-class G# \u0060for (a, b) in xs\u0060; ValueTuple deconstruction now supported by gsc (issue #1922 fixed). await foreach still lowers via temp\u002Blet (no first-class async form)."
  },
  {
    "kind": "ForStatement",
    "nodeType": "ForStatementSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/ForStatement.cs",
    "notes": "Lowered to a while loop when clauses demand it (issue #1732 incrementor-on-continue fix)."
  },
  {
    "kind": "FromClause",
    "nodeType": "FromClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/FromClauseSelectMany.cs",
    "notes": "First from lowers to the source receiver; a second/subsequent from lowers to SelectMany with a transparent-identifier tuple result selector (issue #1902)."
  },
  {
    "kind": "FunctionPointerCallingConvention",
    "nodeType": "FunctionPointerCallingConventionSyntax",
    "status": "Translated",
    "rule": "ADR-0122 \u00A79 / ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906",
    "notes": "managed/\u0060managed\u0060/\u0060unmanaged[Cdecl|Stdcall|Thiscall|Fastcall]\u0060 translate; bare \u0060unmanaged\u0060 (platform-default ABI) and combined/custom conventions stay an Unsupported/ByDesign sub-case (no fixed G# CallingConvention equivalent)."
  },
  {
    "kind": "FunctionPointerParameter",
    "nodeType": "FunctionPointerParameterSyntax",
    "status": "Translated",
    "rule": "ADR-0122 \u00A79 / ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906"
  },
  {
    "kind": "FunctionPointerParameterList",
    "nodeType": "FunctionPointerParameterListSyntax",
    "status": "Translated",
    "rule": "ADR-0122 \u00A79 / ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906"
  },
  {
    "kind": "FunctionPointerType",
    "nodeType": "FunctionPointerTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0122 \u00A79 / ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906",
    "notes": "delegate*\u003C...\u003E/delegate* managed\u003C...\u003E map to G#\u0027s managed \u0060*func(T) R\u0060; delegate* unmanaged[Cdecl|Stdcall|Thiscall|Fastcall]\u003C...\u003E maps to G#\u0027s raw \u0060unmanaged[CC] (T) -\u003E R\u0060. Bare \u0060delegate* unmanaged\u003C...\u003E\u0060 and a combined/custom \u0060[CC]\u0060 list are an Unsupported/ByDesign sub-case (issue #1906)."
  },
  {
    "kind": "FunctionPointerUnmanagedCallingConvention",
    "nodeType": "FunctionPointerUnmanagedCallingConventionSyntax",
    "status": "Translated",
    "rule": "ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906"
  },
  {
    "kind": "FunctionPointerUnmanagedCallingConventionList",
    "nodeType": "FunctionPointerUnmanagedCallingConventionListSyntax",
    "status": "Translated",
    "rule": "ADR-0095",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FunctionPointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1906"
  },
  {
    "kind": "GenericName",
    "nodeType": "GenericNameSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/GenericName.cs"
  },
  {
    "kind": "GetAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "GlobalStatement",
    "nodeType": "GlobalStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "notes": "Entry-class hoisting (T3): top-level statements."
  },
  {
    "kind": "GotoCaseStatement",
    "nodeType": "GotoStatementSyntax",
    "status": "Lowered",
    "rule": "ADR-0139",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/GotoCaseStatement.cs",
    "notes": "Issue #1884: lowered to a plain \u0060goto\u0060 targeting a synthesized label placed at the top of the matching case\u0027s translated body (no switch re-evaluation, so C# fall-through/evaluation order is preserved)."
  },
  {
    "kind": "GotoDefaultStatement",
    "nodeType": "GotoStatementSyntax",
    "status": "Lowered",
    "rule": "ADR-0139",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/GotoDefaultStatement.cs",
    "notes": "Issue #1884: lowered like \u0060goto case\u0060 (see GotoCaseStatement), targeting a synthesized label at the top of the default section\u0027s translated body."
  },
  {
    "kind": "GotoStatement",
    "nodeType": "GotoStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0139",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/GotoStatement.cs"
  },
  {
    "kind": "GreaterThanExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/GreaterThanExpression.cs"
  },
  {
    "kind": "GreaterThanOrEqualExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/GreaterThanOrEqualExpression.cs"
  },
  {
    "kind": "GroupClause",
    "nodeType": "GroupClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/GroupClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn (GroupBy, with identity-projection elision matching \u0060select n\u0060)."
  },
  {
    "kind": "IdentifierName",
    "nodeType": "IdentifierNameSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None"
  },
  {
    "kind": "IfDirectiveTrivia",
    "nodeType": "IfDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "IfStatement",
    "nodeType": "IfStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/IfStatement.cs"
  },
  {
    "kind": "IgnoredDirectiveTrivia",
    "nodeType": "IgnoredDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "ImplicitArrayCreationExpression",
    "nodeType": "ImplicitArrayCreationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ImplicitArrayCreationExpression.cs"
  },
  {
    "kind": "ImplicitElementAccess",
    "nodeType": "ImplicitElementAccessSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1897"
  },
  {
    "kind": "ImplicitObjectCreationExpression",
    "nodeType": "ImplicitObjectCreationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.25",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ObjectCreationExpression.cs"
  },
  {
    "kind": "ImplicitStackAllocArrayCreationExpression",
    "nodeType": "ImplicitStackAllocArrayCreationExpressionSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1897",
    "notes": "ADR-0124 stackalloc surface."
  },
  {
    "kind": "IncompleteMember",
    "nodeType": "IncompleteMemberSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NotReachable",
    "notes": "Parser error-recovery artifact; never appears in well-formed C#."
  },
  {
    "kind": "IndexExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.36",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/IndexExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1894",
    "notes": "Inline ^i green; Index-typed locals mis-lower (issue #1894, runtime crash)."
  },
  {
    "kind": "IndexerDeclaration",
    "nodeType": "IndexerDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/IndexerDeclaration.cs",
    "notes": "User indexers (issue #944)."
  },
  {
    "kind": "IndexerMemberCref",
    "nodeType": "IndexerMemberCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "InitAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/InitAccessorDeclaration.cs"
  },
  {
    "kind": "InterfaceDeclaration",
    "nodeType": "InterfaceDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/InterfaceDeclaration.cs"
  },
  {
    "kind": "InterpolatedStringExpression",
    "nodeType": "InterpolatedStringExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.9",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G14-Strings-Console/Constructs/InterpolatedStringExpression.cs"
  },
  {
    "kind": "InterpolatedStringText",
    "nodeType": "InterpolatedStringTextSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.9",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G14-Strings-Console/Constructs/InterpolatedStringText.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1882",
    "notes": "Brace escapes {{ }} copied verbatim \u2014 parity-verified divergence (issue #1882)."
  },
  {
    "kind": "Interpolation",
    "nodeType": "InterpolationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.9",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G14-Strings-Console/Constructs/Interpolation.cs"
  },
  {
    "kind": "InterpolationAlignmentClause",
    "nodeType": "InterpolationAlignmentClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.9",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G14-Strings-Console/Constructs/InterpolationAlignmentClause.cs"
  },
  {
    "kind": "InterpolationFormatClause",
    "nodeType": "InterpolationFormatClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.9",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G14-Strings-Console/Constructs/InterpolationFormatClause.cs"
  },
  {
    "kind": "InvocationExpression",
    "nodeType": "InvocationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "IsExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/IsExpression.cs"
  },
  {
    "kind": "IsPatternExpression",
    "nodeType": "IsPatternExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.36",
    "rationale": "None"
  },
  {
    "kind": "JoinClause",
    "nodeType": "JoinClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/JoinClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn (Join with a transparent-identifier tuple result selector)."
  },
  {
    "kind": "JoinIntoClause",
    "nodeType": "JoinIntoClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/JoinIntoClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn (GroupJoin, with the \u0060into\u0060 group variable typed \u0060sequence[T]\u0060)."
  },
  {
    "kind": "LabeledStatement",
    "nodeType": "LabeledStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0139",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/LabeledStatement.cs"
  },
  {
    "kind": "LeftShiftAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LeftShiftAssignmentExpression.cs"
  },
  {
    "kind": "LeftShiftExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LeftShiftExpression.cs"
  },
  {
    "kind": "LessThanExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LessThanExpression.cs"
  },
  {
    "kind": "LessThanOrEqualExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LessThanOrEqualExpression.cs"
  },
  {
    "kind": "LetClause",
    "nodeType": "LetClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/LetClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn (Select widening the scope tuple with the let-bound value)."
  },
  {
    "kind": "LineDirectivePosition",
    "nodeType": "LineDirectivePositionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "LineDirectiveTrivia",
    "nodeType": "LineDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "LineSpanDirectiveTrivia",
    "nodeType": "LineSpanDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "ListPattern",
    "nodeType": "ListPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/ListPattern.cs",
    "notes": "is-test path lowers to a length test (\u0060==\u0060 exact / \u0060\u003E=\u0060 with a slice) ANDed with per-element index tests; switch-arm path emits a native G# \u0060ListPattern\u0060 (\u0060[1, .., 4]\u0060) since gsc has its own structural list-pattern matching (issue #1889, resolved). Element \u0060var\u0060 binders reuse the #1888 discard\u002Bsubstitution mechanism; \u0060int x\u0060 declaration-pattern elements map to native \u0060TypePattern\u0060. Deferral: gsc\u0027s \u0060BindListPattern\u0060 only accepts array/slice-typed discriminants (not e.g. \u0060List\u003CT\u003E\u0060), a pre-existing gsc scope boundary, not a cs2gs limitation."
  },
  {
    "kind": "LoadDirectiveTrivia",
    "nodeType": "LoadDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "LocalDeclarationStatement",
    "nodeType": "LocalDeclarationStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.3",
    "rationale": "None"
  },
  {
    "kind": "LocalFunctionStatement",
    "nodeType": "LocalFunctionStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/LocalFunctionStatement.cs",
    "notes": "Static local functions call through their \u0060let\u0060 binding directly; generic local functions translate to G#\u0027s \u0060let Name[T, ...] = func (...) ... { ... }\u0060 (issue #1886, fixed)."
  },
  {
    "kind": "LockStatement",
    "nodeType": "LockStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/LockStatement.cs"
  },
  {
    "kind": "LogicalAndExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LogicalAndExpression.cs"
  },
  {
    "kind": "LogicalNotExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LogicalNotExpression.cs"
  },
  {
    "kind": "LogicalOrExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/LogicalOrExpression.cs"
  },
  {
    "kind": "MakeRefExpression",
    "nodeType": "MakeRefExpressionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NoGsharpConstruct",
    "fixture": "tools/cs2gs/Cs2Gs.Tests/Fixtures/Grid/Unsupported/MakeRefExpression.cs",
    "notes": "Legacy TypedReference/varargs machinery (__makeref/__reftype/__refvalue/__arglist); no G# analog planned."
  },
  {
    "kind": "MemberBindingExpression",
    "nodeType": "MemberBindingExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/MemberBindingExpression.cs",
    "notes": "Null-conditional ?. / ?[."
  },
  {
    "kind": "MethodDeclaration",
    "nodeType": "MethodDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.5",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/MethodDeclaration.cs",
    "notes": "Receiver-clause functions now retain their G# extension semantics across compiled assembly references (issue #1929)."
  },
  {
    "kind": "ModuloAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ModuloAssignmentExpression.cs"
  },
  {
    "kind": "ModuloExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/ModuloExpression.cs"
  },
  {
    "kind": "MultiLineDocumentationCommentTrivia",
    "nodeType": "DocumentationCommentTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "MultiplyAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/MultiplyAssignmentExpression.cs"
  },
  {
    "kind": "MultiplyExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/MultiplyExpression.cs"
  },
  {
    "kind": "NameColon",
    "nodeType": "NameColonSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/NameColon.cs",
    "notes": "Named arguments use the G# name: value form (ADR-0080)."
  },
  {
    "kind": "NameEquals",
    "nodeType": "NameEqualsSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None"
  },
  {
    "kind": "NameMemberCref",
    "nodeType": "NameMemberCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "NamespaceDeclaration",
    "nodeType": "NamespaceDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.1",
    "rationale": "None"
  },
  {
    "kind": "NotEqualsExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/NotEqualsExpression.cs"
  },
  {
    "kind": "NotPattern",
    "nodeType": "UnaryPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/NotPattern.cs"
  },
  {
    "kind": "NullLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/NullLiteralExpression.cs"
  },
  {
    "kind": "NullableDirectiveTrivia",
    "nodeType": "NullableDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "NullableType",
    "nodeType": "NullableTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None",
    "notes": "T? maps to G# nullable spelling."
  },
  {
    "kind": "NumericLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/NumericLiteralExpression.cs"
  },
  {
    "kind": "ObjectCreationExpression",
    "nodeType": "ObjectCreationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.16",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ObjectCreationExpression.cs"
  },
  {
    "kind": "ObjectInitializerExpression",
    "nodeType": "InitializerExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/ObjectCreationExpression.cs"
  },
  {
    "kind": "OmittedArraySizeExpression",
    "nodeType": "OmittedArraySizeExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/OmittedArraySizeExpression.cs"
  },
  {
    "kind": "OmittedTypeArgument",
    "nodeType": "OmittedTypeArgumentSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/OmittedTypeArgument.cs",
    "notes": "nameof(List\u003C\u003E)/typeof(List\u003C\u003E) forms green (C#14); typeof of an unbound generic emits the bare generic-definition name (typeof(List)), which gsc\u0027s binder now resolves via arity-suffixed CLR lookup (issue #1915, fixed)."
  },
  {
    "kind": "OperatorDeclaration",
    "nodeType": "OperatorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.31",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/OperatorDeclaration.cs",
    "notes": "C#14 instance compound-assignment operators (op_AdditionAssignment and siblings) have no canonical G# form and are reported as a loud CS2GS-GAP instead of emitting invalid \u0060operator \u002B=\u0060 syntax (issue #1908, fixed; tracked as a known/open gap in tools/cs2gs/triage/gaps.json, grid app G07); Equals(object) is-pattern override fails ilverify (issue #1917)."
  },
  {
    "kind": "OperatorMemberCref",
    "nodeType": "OperatorMemberCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "OrAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/OrAssignmentExpression.cs"
  },
  {
    "kind": "OrPattern",
    "nodeType": "BinaryPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/OrPattern.cs"
  },
  {
    "kind": "OrderByClause",
    "nodeType": "OrderByClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/OrderByClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "Parameter",
    "nodeType": "ParameterSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.5",
    "rationale": "None"
  },
  {
    "kind": "ParameterList",
    "nodeType": "ParameterListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.5",
    "rationale": "None"
  },
  {
    "kind": "ParenthesizedExpression",
    "nodeType": "ParenthesizedExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ParenthesizedLambdaExpression",
    "nodeType": "ParenthesizedLambdaExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.20",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/ParenthesizedLambdaExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1901",
    "notes": "Lambda default parameters dropped (issue #1901); async lambdas blocked by gsc ICE (issue #1919)."
  },
  {
    "kind": "ParenthesizedPattern",
    "nodeType": "ParenthesizedPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/ParenthesizedPattern.cs"
  },
  {
    "kind": "ParenthesizedVariableDesignation",
    "nodeType": "ParenthesizedVariableDesignationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.30",
    "rationale": "None"
  },
  {
    "kind": "PointerIndirectionExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/FixedStatement.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1933",
    "notes": "Compiles; ilverify-by-design (issue #1933). *(p \u002B i) dereference of parenthesized pointer arithmetic, including as a compound-assignment target/RHS, fixed in gsc (issue #1925)."
  },
  {
    "kind": "PointerMemberAccessExpression",
    "nodeType": "MemberAccessExpressionSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1905",
    "notes": "p-\u003EX lowered to p.X; (*p).X compiles."
  },
  {
    "kind": "PointerType",
    "nodeType": "PointerTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/PointerType.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1933",
    "notes": "Compiles end-to-end under the ilverify allow-unsafe policy (issue #1933); pointer IL is unverifiable by design, not a gsc defect."
  },
  {
    "kind": "PositionalPatternClause",
    "nodeType": "PositionalPatternClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/PositionalPatternClause.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1887",
    "notes": "Fixed (was SILENT MISTRANSLATION, issue #1887): a positional subpattern lowers to the same member-access form a property subpattern uses (tuple Item1/Item2, or a record\u0027s property via its Deconstruct). Switch-expression bare positional patterns over a raw TUPLE are also supported: gsc\u0027s property-pattern binder/emitter/evaluator now accept a ValueTuple subject (previously GS0172)."
  },
  {
    "kind": "PostDecrementExpression",
    "nodeType": "PostfixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/PostDecrementExpression.cs"
  },
  {
    "kind": "PostIncrementExpression",
    "nodeType": "PostfixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/PostIncrementExpression.cs"
  },
  {
    "kind": "PragmaChecksumDirectiveTrivia",
    "nodeType": "PragmaChecksumDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "PragmaWarningDirectiveTrivia",
    "nodeType": "PragmaWarningDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "PreDecrementExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/PreDecrementExpression.cs"
  },
  {
    "kind": "PreIncrementExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/PreIncrementExpression.cs"
  },
  {
    "kind": "PredefinedType",
    "nodeType": "PredefinedTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None"
  },
  {
    "kind": "PrimaryConstructorBaseType",
    "nodeType": "PrimaryConstructorBaseTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0065 \u00A75",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/PrimaryConstructorBaseType.cs",
    "notes": "A derived primary-ctor class\u0027s \u0060: Base(arg)\u0060 forwarding call now maps to the G# base-call form \u0060class Derived(...) : Base(args) { ... }\u0060 (issue #1909, resolved)."
  },
  {
    "kind": "PropertyDeclaration",
    "nodeType": "PropertyDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/PropertyDeclaration.cs"
  },
  {
    "kind": "PropertyPatternClause",
    "nodeType": "PropertyPatternClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/RecursivePattern.cs",
    "notes": "Property sub-patterns; designator collisions fixed in issue #1839."
  },
  {
    "kind": "QualifiedCref",
    "nodeType": "QualifiedCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "QualifiedName",
    "nodeType": "QualifiedNameSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None"
  },
  {
    "kind": "QueryBody",
    "nodeType": "QueryBodySyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/QueryExpression.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "QueryContinuation",
    "nodeType": "QueryContinuationSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/QueryContinuation.cs",
    "notes": "Both select-into and group-into continuations re-scope the chain to the continuation variable (issue #1902)."
  },
  {
    "kind": "QueryExpression",
    "nodeType": "QueryExpressionSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/QueryExpression.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "RangeExpression",
    "nodeType": "RangeExpressionSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1896",
    "notes": "Lowers to .Slice(...) which gsc cannot resolve on arrays/strings."
  },
  {
    "kind": "RecordDeclaration",
    "nodeType": "RecordDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/RecordDeclaration.cs",
    "notes": "with-expressions blocked by initializer bug (issue #1892)."
  },
  {
    "kind": "RecordStructDeclaration",
    "nodeType": "RecordDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/RecordStructDeclaration.cs"
  },
  {
    "kind": "RecursivePattern",
    "nodeType": "RecursivePatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/RecursivePattern.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1923",
    "notes": "Shallow property patterns green; nested reference-member and boxed/nullable subjects blocked by gsc (issue #1923)."
  },
  {
    "kind": "RefExpression",
    "nodeType": "RefExpressionSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1900",
    "notes": "ref argument/return seam (\u0026x pass-by-address)."
  },
  {
    "kind": "RefStructConstraint",
    "nodeType": "RefStructConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/AllowsConstraintClause.cs"
  },
  {
    "kind": "RefType",
    "nodeType": "RefTypeSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1900"
  },
  {
    "kind": "RefTypeExpression",
    "nodeType": "RefTypeExpressionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NoGsharpConstruct",
    "fixture": "tools/cs2gs/Cs2Gs.Tests/Fixtures/Grid/Unsupported/RefTypeExpression.cs",
    "notes": "Legacy TypedReference/varargs machinery (__makeref/__reftype/__refvalue/__arglist); no G# analog planned."
  },
  {
    "kind": "RefValueExpression",
    "nodeType": "RefValueExpressionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NoGsharpConstruct",
    "fixture": "tools/cs2gs/Cs2Gs.Tests/Fixtures/Grid/Unsupported/RefValueExpression.cs",
    "notes": "Legacy TypedReference/varargs machinery (__makeref/__reftype/__refvalue/__arglist); no G# analog planned."
  },
  {
    "kind": "ReferenceDirectiveTrivia",
    "nodeType": "ReferenceDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "RegionDirectiveTrivia",
    "nodeType": "RegionDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "RelationalPattern",
    "nodeType": "RelationalPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/RelationalPattern.cs"
  },
  {
    "kind": "RemoveAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0052",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/EventDeclaration.cs",
    "notes": "The explicit add/remove accessor body of an event declaration (ADR-0052 \u00A72); translates like any other accessor body."
  },
  {
    "kind": "ReturnStatement",
    "nodeType": "ReturnStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/ReturnStatement.cs"
  },
  {
    "kind": "RightShiftAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/RightShiftAssignmentExpression.cs"
  },
  {
    "kind": "RightShiftExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/RightShiftExpression.cs"
  },
  {
    "kind": "ScopedType",
    "nodeType": "ScopedTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/ScopedType.cs",
    "notes": "scoped Span/scoped ref parameters translate and verify (grid G12)."
  },
  {
    "kind": "SelectClause",
    "nodeType": "SelectClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/QueryExpression.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "SetAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.11",
    "rationale": "None"
  },
  {
    "kind": "ShebangDirectiveTrivia",
    "nodeType": "ShebangDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "SimpleAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/SimpleAssignmentExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1895, https://github.com/DavidObando/gsharp/issues/1974",
    "notes": "Deconstruction-assignment into existing locals emits let bindings (issue #1895); generalized to expression position and nested targets (issue #1974)."
  },
  {
    "kind": "SimpleBaseType",
    "nodeType": "SimpleBaseTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.6",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/SimpleBaseType.cs"
  },
  {
    "kind": "SimpleLambdaExpression",
    "nodeType": "SimpleLambdaExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.20",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/SimpleLambdaExpression.cs"
  },
  {
    "kind": "SimpleMemberAccessExpression",
    "nodeType": "MemberAccessExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "SingleLineDocumentationCommentTrivia",
    "nodeType": "DocumentationCommentTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "SingleVariableDesignation",
    "nodeType": "SingleVariableDesignationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.30",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G09-Functions-Console/Constructs/DeclarationExpression.cs"
  },
  {
    "kind": "SizeOfExpression",
    "nodeType": "SizeOfExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/SizeOfExpression.cs"
  },
  {
    "kind": "SkippedTokensTrivia",
    "nodeType": "SkippedTokensTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "SlicePattern",
    "nodeType": "SlicePatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/ListPattern.cs",
    "notes": "is-test path materializes the slice-bound value via native G# range slicing (\u0060receiver[prefix..^suffix]\u0060, using new \u0060RangeIndexExpression\u0060/\u0060FromEndIndexExpression\u0060 CodeModel nodes) and binds it by substitution; switch-arm path emits a native G# \u0060SlicePattern\u0060 (\u0060..rest\u0060/\u0060..\u0060) since gsc has real runtime slice-capture support (issue #1889, resolved)."
  },
  {
    "kind": "SpreadElement",
    "nodeType": "SpreadElementSyntax",
    "status": "Gap",
    "rationale": "None",
    "issue": "https://github.com/DavidObando/gsharp/issues/1897"
  },
  {
    "kind": "StackAllocArrayCreationExpression",
    "nodeType": "StackAllocArrayCreationExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/StackAllocArrayCreationExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1933",
    "notes": "Compiles end-to-end under the ilverify allow-unsafe policy (issue #1933); stackalloc\u0027s localloc IL is unverifiable by design, not a gsc defect."
  },
  {
    "kind": "StringLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/StringLiteralExpression.cs"
  },
  {
    "kind": "StructConstraint",
    "nodeType": "ClassOrStructConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/StructConstraint.cs"
  },
  {
    "kind": "StructDeclaration",
    "nodeType": "StructDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/StructDeclaration.cs",
    "notes": "Generic-struct ctor zip now matches non-generic structs (issue #1915, fixed: comparisons keyed by parameter ordinal \u002B OriginalDefinition instead of constructed-type identity). Cross-assembly G# metadata now preserves imported data-struct / primary-constructor semantics (issue #1929)."
  },
  {
    "kind": "Subpattern",
    "nodeType": "SubpatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/RecursivePattern.cs",
    "notes": "Property sub-patterns; designator collisions fixed in issue #1839."
  },
  {
    "kind": "SubtractAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/SubtractAssignmentExpression.cs"
  },
  {
    "kind": "SubtractExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/SubtractExpression.cs"
  },
  {
    "kind": "SuppressNullableWarningExpression",
    "nodeType": "PostfixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/SuppressNullableWarningExpression.cs",
    "notes": "x! maps to the G# !! assertion."
  },
  {
    "kind": "SwitchExpression",
    "nodeType": "SwitchExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/SwitchExpression.cs"
  },
  {
    "kind": "SwitchExpressionArm",
    "nodeType": "SwitchExpressionArmSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None"
  },
  {
    "kind": "SwitchSection",
    "nodeType": "SwitchSectionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.33",
    "rationale": "None"
  },
  {
    "kind": "SwitchStatement",
    "nodeType": "SwitchStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.33",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/SwitchStatement.cs"
  },
  {
    "kind": "ThisConstructorInitializer",
    "nodeType": "ConstructorInitializerSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.28",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G07-Members-Console/Constructs/ThisConstructorInitializer.cs"
  },
  {
    "kind": "ThisExpression",
    "nodeType": "ThisExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None"
  },
  {
    "kind": "ThrowExpression",
    "nodeType": "ThrowExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None"
  },
  {
    "kind": "ThrowStatement",
    "nodeType": "ThrowStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/ThrowStatement.cs"
  },
  {
    "kind": "TrueLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/TrueLiteralExpression.cs"
  },
  {
    "kind": "TryStatement",
    "nodeType": "TryStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.27",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/TryStatement.cs"
  },
  {
    "kind": "TupleElement",
    "nodeType": "TupleElementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None",
    "notes": "G# tuple types (T1, T2)."
  },
  {
    "kind": "TupleExpression",
    "nodeType": "TupleExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G05-Collections-Console/Constructs/TupleExpression.cs"
  },
  {
    "kind": "TupleType",
    "nodeType": "TupleTypeSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.12",
    "rationale": "None",
    "notes": "G# tuple types (T1, T2)."
  },
  {
    "kind": "TypeArgumentList",
    "nodeType": "TypeArgumentListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/TypeArgumentList.cs"
  },
  {
    "kind": "TypeConstraint",
    "nodeType": "TypeConstraintSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/TypeConstraint.cs"
  },
  {
    "kind": "TypeCref",
    "nodeType": "TypeCrefSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "TypeOfExpression",
    "nodeType": "TypeOfExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/TypeOfExpression.cs"
  },
  {
    "kind": "TypeParameter",
    "nodeType": "TypeParameterSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/TypeParameter.cs",
    "notes": "Declaration-site variance (out/in) conversions: gsc issue #1927 (fixed)."
  },
  {
    "kind": "TypeParameterConstraintClause",
    "nodeType": "TypeParameterConstraintClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None"
  },
  {
    "kind": "TypeParameterList",
    "nodeType": "TypeParameterListSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.7",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G08-Generics-Console/Constructs/TypeParameterList.cs",
    "notes": "Generic class \u002B primary ctor ICEs gsc (issue #1920)."
  },
  {
    "kind": "TypePattern",
    "nodeType": "TypePatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/TypePattern.cs",
    "notes": "Bare-type switch-arm (\u0060int =\u003E\u0060, no binder \u2014 issue #1890, resolved): lowers to G#\u0027s own discard-designator type pattern \u0060_ is T\u0060 (\u0060PatternBinder.BindTypePattern\u0060\u0027s \u0060isDiscard\u0060 check), since gsc\u0027s own \u0060TypePattern\u0060 grammar always requires a designator token before \u0060is\u0060 but treats \u0060_\u0060 as a non-binding discard there. Roslyn parses a bare user-type name (e.g. \u0060Widget =\u003E\u0060) as a \u0060ConstantPatternSyntax\u0060 over an identifier rather than \u0060TypePatternSyntax\u0060; the switch-arm path now shares the boolean-test path\u0027s \u0060IsTypeReferencePattern\u0060 type-vs-constant disambiguation to still route it to \u0060_ is T\u0060."
  },
  {
    "kind": "UnaryMinusExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/UnaryMinusExpression.cs"
  },
  {
    "kind": "UnaryPlusExpression",
    "nodeType": "PrefixUnaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/UnaryPlusExpression.cs"
  },
  {
    "kind": "UncheckedExpression",
    "nodeType": "CheckedExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/UncheckedExpression.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1881"
  },
  {
    "kind": "UncheckedStatement",
    "nodeType": "CheckedStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/UncheckedStatement.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1881",
    "notes": "Wrap-around parity verified (grid G03)."
  },
  {
    "kind": "UndefDirectiveTrivia",
    "nodeType": "UndefDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "UnionDeclaration",
    "nodeType": "(not exported by Roslyn 5.6)",
    "status": "UnsupportedByDesign",
    "rationale": "NotReachable",
    "notes": "Post-C#14 preview syntax in Roslyn 5.6; not reachable at LangVersion latest."
  },
  {
    "kind": "UnknownAccessorDeclaration",
    "nodeType": "AccessorDeclarationSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NotReachable",
    "notes": "Parser error-recovery artifact; never appears in well-formed C#."
  },
  {
    "kind": "UnsafeStatement",
    "nodeType": "UnsafeStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G12-Unsafe-Console/Constructs/UnsafeStatement.cs"
  },
  {
    "kind": "UnsignedRightShiftAssignmentExpression",
    "nodeType": "AssignmentExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/UnsignedRightShiftAssignmentExpression.cs"
  },
  {
    "kind": "UnsignedRightShiftExpression",
    "nodeType": "BinaryExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G02-Operators-Console/Constructs/UnsignedRightShiftExpression.cs"
  },
  {
    "kind": "UsingDirective",
    "nodeType": "UsingDirectiveSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.1",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/TypeAliasDeclaration.cs",
    "issue": "https://github.com/DavidObando/gsharp/issues/1914",
    "notes": "Plain \u002B simple-alias green; alias-any-type (C#12) tuple-RHS green too (issue #1914; array/pointer/nullable-value-type RHS forms remain unexercised)."
  },
  {
    "kind": "UsingStatement",
    "nodeType": "UsingStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.29",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G10-Async-Console/Constructs/UsingStatement.cs",
    "notes": "await using preserves async-dispose semantics (fixed, issue #1903): lowers to G#\u0027s own await using let form, binding IAsyncDisposable.DisposeAsync instead of plain using let/Dispose."
  },
  {
    "kind": "Utf8StringLiteralExpression",
    "nodeType": "LiteralExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G01-Literals-Console/Constructs/Utf8StringLiteralExpression.cs",
    "notes": "C# 11 u8 literals translate and reach parity (grid G01)."
  },
  {
    "kind": "VarPattern",
    "nodeType": "VarPatternSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G04-Patterns-Console/Constructs/SwitchExpression.cs",
    "notes": "Always-matching bind (issue #1888, resolved): an is-pattern/loop-condition \u0060x is var v\u0060 lowers to the literal \u0060true\u0060 test with \u0060v\u0060 bound directly to the receiver; a switch/property-pattern \u0060var v\u0060 arm lowers to the G# discard \u0060_\u0060 (gsc\u0027s own total-arm check) with \u0060v\u0060 bound via translator-side substitution to the arm\u0027s discriminant/property receiver."
  },
  {
    "kind": "VariableDeclaration",
    "nodeType": "VariableDeclarationSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.3",
    "rationale": "None"
  },
  {
    "kind": "VariableDeclarator",
    "nodeType": "VariableDeclaratorSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.3",
    "rationale": "None"
  },
  {
    "kind": "WarningDirectiveTrivia",
    "nodeType": "WarningDirectiveTriviaSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "Preprocessor",
    "notes": "Resolved by Roslyn parse options before translation; inactive code is deliberately dropped."
  },
  {
    "kind": "WhenClause",
    "nodeType": "WhenClauseSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.22",
    "rationale": "None",
    "notes": "Pattern guards (issue #991, resolved)."
  },
  {
    "kind": "WhereClause",
    "nodeType": "WhereClauseSyntax",
    "status": "Lowered",
    "rule": "ADR-0115 \u00A7B.21",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G11-Linq-Console/Constructs/WhereClause.cs",
    "notes": "Query syntax lowered to the method-call chain, mirroring Roslyn."
  },
  {
    "kind": "WhileStatement",
    "nodeType": "WhileStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/WhileStatement.cs"
  },
  {
    "kind": "WithElement",
    "nodeType": "WithElementSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "NotReachable",
    "notes": "Collection-expression with-element is preview-only (CS8652) under LangVersion latest (C# 14)."
  },
  {
    "kind": "WithExpression",
    "nodeType": "WithExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/RecordDeclaration.cs"
  },
  {
    "kind": "WithInitializerExpression",
    "nodeType": "InitializerExpressionSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.4",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G06-Types-Console/Constructs/RecordDeclaration.cs"
  },
  {
    "kind": "XmlCDataSection",
    "nodeType": "XmlCDataSectionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlComment",
    "nodeType": "XmlCommentSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlCrefAttribute",
    "nodeType": "XmlCrefAttributeSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlElement",
    "nodeType": "XmlElementSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlElementEndTag",
    "nodeType": "XmlElementEndTagSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlElementStartTag",
    "nodeType": "XmlElementStartTagSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlEmptyElement",
    "nodeType": "XmlEmptyElementSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlName",
    "nodeType": "XmlNameSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlNameAttribute",
    "nodeType": "XmlNameAttributeSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlPrefix",
    "nodeType": "XmlPrefixSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlProcessingInstruction",
    "nodeType": "XmlProcessingInstructionSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlText",
    "nodeType": "XmlTextSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "XmlTextAttribute",
    "nodeType": "XmlTextAttributeSyntax",
    "status": "UnsupportedByDesign",
    "rationale": "ToolingScope",
    "notes": "Documentation/tooling structure, not program semantics; doc-comment mapping is ADR-0057 scope."
  },
  {
    "kind": "YieldBreakStatement",
    "nodeType": "YieldStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.34",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/YieldBreakStatement.cs",
    "notes": "Issue #994 (resolved)."
  },
  {
    "kind": "YieldReturnStatement",
    "nodeType": "YieldStatementSyntax",
    "status": "Translated",
    "rule": "ADR-0115 \u00A7B.34",
    "rationale": "None",
    "fixture": "tools/cs2gs/corpus/grid/G03-ControlFlow-Console/Constructs/YieldReturnStatement.cs"
  }
]