Module polydat_kernel 

Bridge between the algebra-layer KernelScope surface and polydat’s PolydatKernel scope-binding primitives.

Implements KernelScope for a PolydatKernelScope wrapper that holds a (canonical, parent) PolydatKernel pair. Each scope(coords) call delegates to PolydatKernel::for_iteration — the established polydat primitive for “materialize a fresh per-iteration child of parent based on canonical with these bindings.”

This is the load-bearing bridge for the PR 9 migration: once KernelScope for PolydatKernelScope exists, the algebra- layer ScopedKernelStream<PolydatKernelScope> can replace the legacy ComprehensionIter everywhere nb-activity drives comprehension dispatch.

Structs

PolydatKernelScope

Wrapper around a (canonical, parent) PolydatKernel pair that implements KernelScope.

Functions

polydat_value_to_tuple_value

Reverse conversion — polydat Value to algebra-layer TupleValue. Only the subset of Value variants that have a corresponding TupleValue are converted; richer Value variants (Bytes, Json, Ext, Handle, Vec*, etc.) return None so the caller can handle the unsupported case explicitly.

tuple_value_to_polydat_value

Convert an algebra-layer TupleValue to a polydat Value.