Local Hartogs and mutual determination

The boundary grammar now becomes a local continuation principle. The bounded-lift operator BndLift_n certifies that, at each finite depth, refinement tails, spectral tails, ω-germs, boundary characters, and Hartogs continuation are mutually determined. Knowing any one of these data types fixes the others up to the admissible τ-holomorphic grammar. Boundary and interior therefore cease to be independent descriptions: they are two readouts of one stabilized continuation structure. This rigidity is what will later make physical localization non-arbitrary; the carrier cannot choose interior data freely once boundary data are fixed.