[BUG] Divisions: allow both is_land and is_territorial to be true

[Alex Iannicelli (atiannicelli)]

Summary

Replaces the @radio_group constraint (exactly one must be true) with a new @require_any_true constraint (at least one must be true) on DivisionArea and DivisionBoundary models. This allows both is_land and is_territorial to be true simultaneously.

Changes

• New @require_any_true constraint in overture-schema-system — validates that at least one field in a group of bool fields is True, generating anyOf in JSON Schema (vs oneOf from @radio_group)
• Updated DivisionArea and DivisionBoundary to use @require_any_true("is_land", "is_territorial")
• Updated hand-written YAML schema (division_boundary.yaml) from oneOf → anyOf
• Removed bad-not-both counterexamples (now valid) and added both_land_territorial positive examples
• Updated codegen model_constraints.py to handle the new constraint type

Closes #542

[github-actions]

🗺️ Schema reference docs preview is live!

🌍 Preview	https://staging.overturemaps.org/schema/pr/546/schema/index.html
🕐 Updated	Jul 06, 2026 12:31 UTC
📝 Commit	b6836cf
🔧 env SCHEMA_PREVIEW	true

Note

♻️ This preview updates automatically with each push to this PR.

[Copilot]

Pull request overview

This PR updates the divisions schema to allow is_land and is_territorial to both be true by replacing the “exactly one true” constraint (@radio_group / oneOf) with an “at least one true” constraint (@require_any_true / anyOf) across the Pydantic models and the hand-written YAML schema.

Changes:

• Add a new @require_any_true model constraint in overture-schema-system and export it.
• Update DivisionArea / DivisionBoundary to use @require_any_true("is_land", "is_territorial").
• Update the YAML + baseline JSON schemas and examples/counterexamples to reflect anyOf behavior and allow both flags to be true.

Reviewed changes

Copilot reviewed 11 out of 12 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
schema/divisions/division_boundary.yaml	Switches oneOf → anyOf for land/territorial flags in the YAML schema.
packages/overture-schema-system/src/overture/schema/system/model_constraint/require_any_true.py	Introduces the new model constraint and JSON Schema generation hook.
packages/overture-schema-system/src/overture/schema/system/model_constraint/init.py	Exports require_any_true / RequireAnyTrueConstraint.
packages/overture-schema-divisions-theme/src/overture/schema/divisions/division_boundary.py	Replaces @radio_group with @require_any_true.
packages/overture-schema-divisions-theme/src/overture/schema/divisions/division_area.py	Replaces @radio_group with @require_any_true.
packages/overture-schema-codegen/src/overture/schema/codegen/extraction/model_constraints.py	Adds description + field-affecting logic for the new constraint type.
packages/overture-schema-divisions-theme/tests/division_boundary_baseline_schema.json	Updates generated baseline schema to use anyOf.
packages/overture-schema-divisions-theme/tests/division_area_baseline_schema.json	Updates generated baseline schema to use anyOf.
examples/divisions/division_boundary/both_land_territorial.yaml	Makes the “both true” example valid (removes expected-error, adjusts fields).
examples/divisions/division_area/both_land_territorial.yaml	Adds a new valid “both true” example for division areas.
counterexamples/divisions/division_boundary/bad-not-both.yaml	Removes a counterexample that is now valid under anyOf.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Victor Schappert (vcschapp)]

Two comments:

1. It might be useful to generalize require_any_true.
2. The Python code doesn't use examples/ and counterexamples/ it uses reference/examples/ and reference/counterexamples/ - apologies for this inconsistency but could these be updated also?