SHADOWS → CONSTRAINTS → FORM

One more dimension.
One more degree of freedom.

Specify projections. Recover the largest 4D solid consistent with them. Inspect what the shadows leave undetermined.

A 3D slice at W = 0Drag to orbit · cyan → violet encodes W · dots are grid cells
−1W coverage · drag the bars or slider+1

FORWARD CHECK

Do the reconstructed shadows agree?

● matched● missing target● extra, inactive view