fix: add roi_warning_text param to _make_map_data (missing from previous deploy)

feat: move ROI warning onto the map (centered top bar), remove banner below coords

feat: ZIP (1/4) and map+ROI (3/4) side by side, coordinates aligned under map

fix: map warning tooltip colors match HTML banner (light red bg, dark red text)

feat: raise ROI limit to 1500x1500 px

feat: show ROI-too-large warning inside the map rectangle (permanent Leaflet tooltip)

feat: ROI clamping to tile bounds + green/red color + size warning

fix: replace gr.Number.blur() with .change() (not available in Gradio 5.25)

feat: add interactive OSM map with Leaflet.draw for ROI selection

sync: align local hf_space with HF origin

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: bundle s2sr_pipe, fix requirements

deploy: update Space files

initial commit