parseman 0.60.2 → 0.60.3

package/src/table/program.ts

@@ -531,6 +531,8 @@ type RuntimeTableProgram = TableProgram & {
     readonly choiceRollbackMasks?: ReadonlyMap<number, number>
     readonly nonCommittingChoiceSites?: ReadonlySet<number>
     readonly failureRollbackCleanSites?: ReadonlySet<number>
+    readonly choiceLogRollbackMasks?: ReadonlyMap<number, number>
+    readonly failureLogRollbackSites?: ReadonlySet<number>
   }
 }
 
@@ -542,6 +544,8 @@ export function ownTableProgram(
     readonly choiceRollbackMasks?: ReadonlyMap<number, number>
     readonly failureRollbackCleanSites?: ReadonlySet<number>
     readonly nonCommittingChoiceSites?: ReadonlySet<number>
+    readonly choiceLogRollbackMasks?: ReadonlyMap<number, number>
+    readonly failureLogRollbackSites?: ReadonlySet<number>
   } = {},
 ): TableProgram {
   const runtime = (prog as RuntimeTableProgram)[TABLE_RUNTIME]
@@ -552,6 +556,8 @@ export function ownTableProgram(
       choiceRollbackMasks: caches.choiceRollbackMasks ?? runtime?.choiceRollbackMasks,
       nonCommittingChoiceSites: caches.nonCommittingChoiceSites ?? runtime?.nonCommittingChoiceSites,
       failureRollbackCleanSites: caches.failureRollbackCleanSites ?? runtime?.failureRollbackCleanSites,
+      choiceLogRollbackMasks: caches.choiceLogRollbackMasks ?? runtime?.choiceLogRollbackMasks,
+      failureLogRollbackSites: caches.failureLogRollbackSites ?? runtime?.failureLogRollbackSites,
     },
   } as RuntimeTableProgram
 }
@@ -575,6 +581,19 @@ export function failureRollbackClean(prog: TableProgram, ip: number): boolean {
   return (prog as RuntimeTableProgram)[TABLE_RUNTIME]?.failureRollbackCleanSites?.has(ip) === true
 }
 
+/** The arms of the choice at `ip` the census counts as clean whose failure can
+ * still leave trivia-log rows: a node they reach fails after recording trivia
+ * (`encode.ts` `choiceLogRollbackMasks`). Zero without that authority. */
+export function choiceLogRollbackMask(prog: TableProgram, ip: number): number {
+  return (prog as RuntimeTableProgram)[TABLE_RUNTIME]?.choiceLogRollbackMasks?.get(ip) ?? 0
+}
+
+/** An `optional()` or `attempt()` row `failureRollbackClean` admits whose failed
+ * child can still leave trivia-log rows, for the same reason. */
+export function failureLogRollback(prog: TableProgram, ip: number): boolean {
+  return (prog as RuntimeTableProgram)[TABLE_RUNTIME]?.failureLogRollbackSites?.has(ip) === true
+}
+
 /** A compiled entry, shaped exactly like a codegen rule function. */
 export type TableRule = (input: string, pos: number, ctx: ParseContext) => ParseResult<unknown>
 

package/src/version.ts

@@ -13,4 +13,4 @@
  * Kept in sync with `package.json` by `test/unit/version-sync.test.ts`, which fails
  * the build if this constant drifts from the published version.
  */
-export const PARSEMAN_VERSION = '0.60.2'
+export const PARSEMAN_VERSION = '0.60.3'