Archetype based overrides & defaults (#9209)

### Related

* Fixes #9059

### What

Defaults and overrides can now be set using archetypes. This not only
leads to a much more ergonomic API with working auto-complete for
archetype fields, but also paves the way for handling tagging in
blueprint overrides/defaults which in the future will allow more fine
grained defaults/overrides using the archetype "context information".



### Examples

Setting default & override for radius

Before:
```py
rrb.Spatial2DView(
    name="Rect 1",
    origin="/",
    contents=["/**"],
    defaults=[rr.components.Radius(2)],
    overrides={"rect/0": [rr.components.Radius(1)]},
)
```
After:
```py
rrb.Spatial2DView(
    name="Rect 1",
    origin="/",
    contents=["/**"],
    defaults=[rr.Boxes2D.from_fields(radii=1)],
    overrides={"rect/0": rr.Boxes2D.from_fields(radii=2)},
)
```

Setting up styles for a plot.

Before:
```py
rrb.TimeSeriesView(
    name="Trig",
    origin="/trig",
    overrides={
        "/trig/sin": [rr.components.Color([255, 0, 0]), rr.components.Name("sin(0.01t)")],
        "/trig/cos": [rr.components.Color([0, 255, 0]), rr.components.Name("cos(0.01t)")],
    },
),
rrb.TimeSeriesView(
    name="Classification",
    origin="/classification",
    overrides={
        "classification/line": [rr.components.Color([255, 255, 0]), rr.components.StrokeWidth(3.0)],
        "classification/samples": [rrb.VisualizerOverrides("SeriesPoint")], # This ensures that the `SeriesPoint` visualizers is used for this entity.
    },
),
```
After:
```py
rrb.TimeSeriesView(
    name="Trig",
    origin="/trig",
    overrides={
        "/trig/sin": rr.SeriesLine.from_fields(color=[255, 0, 0], name="sin(0.01t)"),
        "/trig/cos": rr.SeriesLine.from_fields(color=[0, 255, 0], name="cos(0.01t)"),
    },
),
rrb.TimeSeriesView(
    name="Classification",
    origin="/classification",
    overrides={
        "classification/line": rr.SeriesLine.from_fields(color=[255, 255, 0], width=3.0),
        "classification/samples": rrb.VisualizerOverrides("SeriesPoint"), # This ensures that the `SeriesPoint` visualizers is used for this entity.
    },
),
```

---

### Technical notes on corner cases

There's two special cases that were loose component so far:
* `VisualizerOverrides`
* the former component becomes an archetype with a list of
VisualizerOverride components each being a rerun.datatypes.Utf8.
rerun.datatypes.Utf8List which was previously used goes away
* `VisualTimeRange`
* we _already_ have an archetype for this, it's called
`VisualTimeRanges`. There's a bit of an ergonomic issue with this since
`VisualTimeRanges` has to be constructed from one or more
`VisualTimeRange`. But decided to enforce the archetype here. To avoid
accidentally using the component instead of the datatype with the same
name, I moved the component out and the datatype in to the rrb namespace


---

* [x] go through override/default docs & associated snippets

---------

Co-authored-by: Antoine Beyeler <[email protected]>

Author: Wumpf

crates/build/re_types_builder/src/codegen/python/views.rs

@@ -58,8 +58,8 @@ fn init_method(reporter: &Reporter, objects: &Objects, obj: &Object) -> String {
     contents: ViewContentsLike = "$origin/**",
     name: Utf8Like | None = None,
     visible: datatypes.BoolLike | None = None,
-    defaults: list[Union[AsComponents, ComponentBatchLike]] | None = None,
-    overrides: dict[EntityPathLike, list[ComponentBatchLike]] | None = None,
+    defaults: list[AsComponents | Iterable[DescribedComponentBatch]] | None = None,
+    overrides: dict[EntityPathLike, AsComponents | Iterable[DescribedComponentBatch | AsComponents | Iterable[DescribedComponentBatch]]] | None = None,
     "#
     .to_owned();
 
@@ -130,18 +130,24 @@ Defaults to true if not specified."
         ),
         (
             "defaults",
-            "List of default components or component batches to add to the view. When an archetype
-in the view is missing a component included in this set, the value of default will be used
-instead of the normal fallback for the visualizer.".to_owned(),
+            "List of archetypes or (described) component batches to add to the view.
+When an archetype in the view is missing a component included in this set,
+the value of default will be used instead of the normal fallback for the visualizer.
+
+Note that an archetype's required components typically don't have any effect.
+It is recommended to use the archetype's `from_fields` method instead and only specify the fields that you need.".to_owned(),
         ),
         (
             "overrides",
             "Dictionary of overrides to apply to the view. The key is the path to the entity where the override
-should be applied. The value is a list of component or component batches to apply to the entity.
+should be applied. The value is a list of archetypes or (described) component batches to apply to the entity.
+
+It is recommended to use the archetype's `from_fields` method instead and only specify the fields that you need.
 
 Important note: the path must be a fully qualified entity path starting at the root. The override paths
 do not yet support `$origin` relative paths or glob expressions.
-This will be addressed in <https://github.com/rerun-io/rerun/issues/6673>.".to_owned(),)
+This will be addressed in <https://github.com/rerun-io/rerun/issues/6673>.
+".to_owned(),)
     ];
     for field in &obj.fields {
         let doc_content = field.docs.lines_for(reporter, objects, Target::Python);

crates/store/re_types/definitions/rerun/blueprint/archetypes.fbs

@@ -0,0 +1,19 @@
+namespace rerun.blueprint.archetypes;
+
+/// Override the visualizers for an entity.
+///
+/// This archetype is a stop-gap mechanism based on the current implementation details
+/// of the visualizer system. It is not intended to be a long-term solution, but provides
+/// enough utility to be useful in the short term.
+///
+/// The long-term solution is likely to be based off: <https://github.com/rerun-io/rerun/issues/6626>
+///
+/// This can only be used as part of blueprints. It will have no effect if used
+/// in a regular entity.
+table VisualizerOverrides (
+    "attr.rerun.scope": "blueprint",
+    "attr.python.aliases": "str, Sequence[str]"
+) {
+   /// Names of the visualizers that should be active.
+   ranges: [rerun.blueprint.components.VisualizerOverride] ("attr.rerun.component_required", order: 1000);
+}

crates/store/re_types/definitions/rerun/blueprint/archetypes/visualizer_overrides.fbs

@@ -1,24 +1,15 @@
 namespace rerun.blueprint.components;
 
-// ---
-
-/// Override the visualizers for an entity.
-///
-/// This component is a stop-gap mechanism based on the current implementation details
-/// of the visualizer system. It is not intended to be a long-term solution, but provides
-/// enough utility to be useful in the short term.
-///
-/// The long-term solution is likely to be based off: <https://github.com/rerun-io/rerun/issues/6626>
+/// Single visualizer override the visualizers for an entity.
 ///
-/// This can only be used as part of blueprints. It will have no effect if used
-/// in a regular entity.
-table VisualizerOverrides (
+/// For details see [archetypes.VisualizerOverrides].
+table VisualizerOverride (
     "attr.python.aliases": "str, list[str]",
     "attr.python.array_aliases": "str",
     "attr.rerun.scope": "blueprint",
     "attr.rust.derive": "PartialEq, Eq, PartialOrd, Ord, Default",
     "attr.rust.repr": "transparent"
 ) {
-    /// Names of the visualizers that should be active.
-    visualizers: rerun.blueprint.datatypes.Utf8List (order: 100);
+    /// Names of a visualizer that should be active.
+    visualizer: rerun.datatypes.Utf8 (order: 100);
 }

crates/store/re_types/definitions/rerun/blueprint/components/visualizer_overrides.fbs

@@ -1,8 +1,8 @@
 namespace rerun.components;
 
-/// Like `Visible`, but for time series.
+/// Like [components.Visible], but for time series.
 ///
-/// TODO(#6889): This is a temporary workaround. Right now we can't use `Visible` since it would conflict with the entity-wide visibility state.
+/// TODO(#6889): This is a temporary workaround. Right now we can't use [components.Visible] since it would conflict with the entity-wide visibility state.
 struct SeriesVisible (
     "attr.docs.unreleased", // this component got moved, links changed.
     "attr.arrow.transparent",