SH2-1: complete RD recognizer for shape AST addon.

Add alt/altlit/sameLine/suppress plus arbitrary-body star/opt/sep/not
with transaction rollback, expand toy coverage, and clear RD fail-fast
entries from typescript+SH0.

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: johnsoncodehk

src/shape-machine.ts

@@ -56,13 +56,15 @@ export type ShapeTransaction<H = unknown> = {
  * Transaction contract:
  * - append-only arrays roll back by restoring their checkpointed lengths;
  * - overwrites must be recorded in `undo`, or staged and applied only on commit;
- * - parser position and every mutable Pratt/control flag join the same transaction;
+ * - parser position and every mutable Pratt/control flag (`_suppressNext` /
+ *   `_suppressCur` / capped) join the same transaction;
  * - function-local `left`/`opText` values need no log when assigned only after success.
  */
 export const SHAPE_TRANSACTION_CONTRACT = {
   appendOnly: 'restore-lengths',
   overwrite: 'undo-log-or-commit-on-success',
   prattLocals: 'commit-on-success',
+  controlFlags: 'restore-with-checkpoint',
 } as const;
 
 /** Local custom context (SH2-0). Full AltPathPart form is deferred. */

src/shape-validate.ts

@@ -256,7 +256,10 @@ function checkNodeAgainstSlots(
       }
     }
   }
-  if (hasListSlot(v) && !sawListBind && !node.fields.some((f) => f.bind !== 'opText' && typeof f.bind === 'object' && 'from' in f.bind && f.bind.from === 'list')) {
+  // A list nested inside opt/alt is one packed visible slot, not a direct list
+  // channel. Only direct star/sep slots require a list binding.
+  const hasDirectList = v.some((s) => s.k === 'star' || s.k === 'sep');
+  if (hasDirectList && !sawListBind && !node.fields.some((f) => f.bind !== 'opText' && typeof f.bind === 'object' && 'from' in f.bind && f.bind.from === 'list')) {
     diags.push({
       level: 'error', rule: ruleName, code: 'star-needs-list',
       message: `${where}: visible stream has star/sep (${summarizeSlots(v)}) but no list-binding field`,