fix: ground spatial norm extraction and check plans

[LeonDeTur]

Problem and behavior

The uploaded spatial test document produced reversed presence checks, an invented floor limit from a section number, split distance bands, and metric names in place of entities. Add source-grounded compilation for explicit supported spatial formulations before the LLM path. Twelve clauses now produce twelve complete plans across all five CheckPlan templates.

• Preserve quantified objects, floor attributes, neighbor counts and all distance bands; normalize only exact known aliases.
• Require polygon geometry when the source says contours, use all functional zones explicitly, and report missing floor values as unchecked.
• Reject ungrounded LLM quotations/quantities without replacing a previous complete extraction. Keep unrecognized qualifiers, exceptions and geometry semantics outside automatic execution.
• Document the bounded grammar and recovery procedure. Existing split restrictions require document re-extraction with replace=true; missing-plan backfill alone will not repair them.

Validation

• 244 unit/contract tests passed; pre-commit passed.
• Read the actual uploaded document from dev IDU_DVD and re-ran local extraction with the configured dev LLM fallback: 12 restrictions / 12 plans, no header restrictions.
• Local updated consumer against live scenario 772 data: distance violations 17 / 15, floor-limit violations 18 (11 houses lack floor data), area-ratio violations 14. Four contour-dependent checks correctly remain unverifiable because school/sports services have Point geometry. Independent geometry calculations agree for executed checks.

No dev data has been rewritten by this PR. Consumer deduplication: IDUclub/gMART#203.