diff --git a/crates/conversion/typst2vec/src/pass/typst2vec.rs b/crates/conversion/typst2vec/src/pass/typst2vec.rs
index 7d40520bc..1a5a2be90 100644
--- a/crates/conversion/typst2vec/src/pass/typst2vec.rs
+++ b/crates/conversion/typst2vec/src/pass/typst2vec.rs
@@ -170,6 +170,11 @@ impl Typst2VecPass {
                     self.intern(m, &t.1);
                 }
             }
+            VecItem::Labelled(t) => {
+                if !self.items.contains_key(&t.1) {
+                    self.intern(m, &t.1);
+                }
+            }
             VecItem::Group(g) => {
                 for (_, id) in g.0.iter() {
                     if !self.items.contains_key(id) {
@@ -330,6 +335,11 @@ impl<const ENABLE_REF_CNT: bool> Typst2VecPassImpl<ENABLE_REF_CNT> {
                         )));
                     }
 
+                    if let Some(label) = group.label.as_ref() {
+                        let label = label.as_str().into();
+                        inner = self.store(VecItem::Labelled(LabelledRef(label, inner)));
+                    }
+
                     inner
                 }
                 FrameItem::Text(text) => {
@@ -427,6 +437,11 @@ impl<const ENABLE_REF_CNT: bool> Typst2VecPassImpl<ENABLE_REF_CNT> {
             }
         }
 
+        // pub label: Option<Label>,
+        //     if let Some(label) = group.label {
+        //         self.xml.write_attribute("data-typst-label", label.as_str());
+        //     }
+
         let g = self.store(VecItem::Group(GroupRef(
             items.into_iter().map(|(x, _, y)| (x, y)).collect(),
         )));
diff --git a/crates/conversion/vec2bbox/src/lib.rs b/crates/conversion/vec2bbox/src/lib.rs
index 9a58160d7..febf975bf 100644
--- a/crates/conversion/vec2bbox/src/lib.rs
+++ b/crates/conversion/vec2bbox/src/lib.rs
@@ -27,7 +27,12 @@ impl Vec2BBoxPass {
     fn bbox_of_(&mut self, module: &Module, v: Fingerprint, ts: Transform) -> Option<Rect> {
         let item = module.get_item(&v).unwrap();
         match item {
-            VecItem::Item(item) => self.bbox_of(module, item.1, item.0.clone().into()),
+            VecItem::Item(item) => {
+                let ts_group: Transform = item.0.clone().into();
+                let ts = ts.pre_concat(ts_group);
+                self.bbox_of(module, item.1, ts)
+            }
+            VecItem::Labelled(item) => self.bbox_of(module, item.1, ts),
             VecItem::Group(g) => {
                 let mut r = Rect::default();
                 for (p, f) in g.0.iter() {
diff --git a/crates/conversion/vec2dom/src/canvas_backend.rs b/crates/conversion/vec2dom/src/canvas_backend.rs
index e2ab34d32..59f833cad 100644
--- a/crates/conversion/vec2dom/src/canvas_backend.rs
+++ b/crates/conversion/vec2dom/src/canvas_backend.rs
@@ -90,6 +90,9 @@ impl TypstElem {
 
                 ch.child.attach_canvas(c.inner[0].1.clone());
             }
+            Label(ch) => {
+                ch.child.attach_canvas(g);
+            }
             Html(..) | Link(..) | Image(..) | Text(..) | Path(..) | ContentHint(..) => {}
         };
     }
diff --git a/crates/conversion/vec2dom/src/dom.rs b/crates/conversion/vec2dom/src/dom.rs
index e9f1cd7ac..787a9f0be 100644
--- a/crates/conversion/vec2dom/src/dom.rs
+++ b/crates/conversion/vec2dom/src/dom.rs
@@ -4,9 +4,9 @@ use std::{
     sync::{Arc, Mutex},
 };
 
-use reflexo::error::prelude::*;
 use reflexo::hash::Fingerprint;
 use reflexo::vector::ir::{self, Module, Page, Point, Scalar, Size, TextItem, TransformItem};
+use reflexo::{error::prelude::*, ImmutStr};
 use reflexo_vec2canvas::{CanvasElem, CanvasNode, CanvasOp, CanvasStateGuard};
 use web_sys::{
     js_sys::Reflect,
@@ -669,6 +669,7 @@ impl TypstPageElem {
 pub enum TypstDomExtra {
     Group(GroupElem),
     Item(TransformElem),
+    Label(LabelElem),
     Image(ImageElem),
     Text(TextElem),
     Path(PathElem),
@@ -719,6 +720,11 @@ pub struct TransformElem {
     pub child: Box<TypstElem>,
 }
 
+#[derive(Debug)]
+pub struct LabelElem {
+    pub label: ImmutStr,
+    pub child: Box<TypstElem>,
+}
 #[derive(Debug)]
 pub struct GroupElem {
     pub children: Vec<(Point, TypstElem)>,
diff --git a/crates/conversion/vec2dom/src/svg_backend.rs b/crates/conversion/vec2dom/src/svg_backend.rs
index 34dc84764..604e30b47 100644
--- a/crates/conversion/vec2dom/src/svg_backend.rs
+++ b/crates/conversion/vec2dom/src/svg_backend.rs
@@ -4,6 +4,7 @@ use reflexo::hash::Fingerprint;
 use reflexo::vector::ir::{self, Module, Page, TransformedRef, VecItem};
 use reflexo::vector::{incr::IncrDocClient, vm::RenderVm};
 use reflexo_vec2canvas::BBoxAt;
+use reflexo_vec2svg::ir::LabelledRef;
 use reflexo_vec2svg::{SvgExporter, SvgTask, SvgText};
 use web_sys::{wasm_bindgen::JsCast, Element, SvgGraphicsElement};
 
@@ -176,6 +177,52 @@ impl TypstPageElem {
                 }
                 TypstDomExtra::Group(GroupElem { children })
             }
+            VecItem::Labelled(LabelledRef(label, fg)) => {
+                let ch = g
+                    .last_element_child()
+                    .ok_or_else(|| {
+                        web_sys::console::log_2(
+                            &g,
+                            &format!("Invalid item reference: {item:?}").into(),
+                        );
+                        panic!("Invalid item reference: {}", fg.as_svg_id("g"));
+                    })
+                    .unwrap();
+
+                #[cfg(feature = "debug_attach")]
+                web_sys::console::log_3(
+                    &format!(
+                        "attach {a:?} -> {b:?} {c:?}",
+                        a = data.as_svg_id("g"),
+                        b = fg.as_svg_id("g"),
+                        c = label
+                    )
+                    .into(),
+                    &ch,
+                    &g,
+                );
+
+                let child = Self::attach_svg(
+                    ctx,
+                    ch.first_element_child()
+                        .ok_or_else(|| {
+                            web_sys::console::log_2(
+                                &g,
+                                &format!("Invalid item translate: {item:?}").into(),
+                            );
+                            panic!("Invalid item translate: {}", fg.as_svg_id("g"));
+                        })
+                        .unwrap()
+                        .dyn_into()
+                        .unwrap(),
+                    *fg,
+                );
+
+                TypstDomExtra::Label(LabelElem {
+                    label: label.clone(),
+                    child: Box::new(child),
+                })
+            }
             VecItem::Item(TransformedRef(trans, fg)) => {
                 let ch = g
                     .last_element_child()
diff --git a/crates/conversion/vec2sema/src/lib.rs b/crates/conversion/vec2sema/src/lib.rs
index 998539237..0d760573a 100644
--- a/crates/conversion/vec2sema/src/lib.rs
+++ b/crates/conversion/vec2sema/src/lib.rs
@@ -6,7 +6,7 @@ use std::{
 };
 
 use reflexo::{
-    escape::{self, AttributeEscapes, PcDataEscapes},
+    escape::{self, escape_str, AttributeEscapes, PcDataEscapes},
     hash::Fingerprint,
     vector::ir::{self, Module, Point, Rect, Scalar, VecItem},
 };
@@ -323,6 +323,15 @@ impl SemaTask {
                 self.render_semantics_walk(ctx, ts, t.1, fallbacks, output);
                 output.push(Cow::Borrowed("</span>"));
             }
+            Labelled(t) => {
+                output.push(Cow::Borrowed(r#""#));
+                output.push(Cow::Owned(format!(
+                    r#"<span class="typst-content-group" data-typst-label="{}" >"#,
+                    escape_str::<AttributeEscapes>(&t.0)
+                )));
+                self.render_semantics_walk(ctx, ts, t.1, fallbacks, output);
+                output.push(Cow::Borrowed("</span>"));
+            }
             Text(t) => {
                 let text_id = self.dfn_count;
                 self.dfn_count += 1;
diff --git a/crates/conversion/vec2svg/src/backend/mod.rs b/crates/conversion/vec2svg/src/backend/mod.rs
index 8307feb70..27500e1f6 100644
--- a/crates/conversion/vec2svg/src/backend/mod.rs
+++ b/crates/conversion/vec2svg/src/backend/mod.rs
@@ -545,6 +545,11 @@ impl<
         self.attributes.push(("data-reuse-from", v.as_svg_id("g")));
         self
     }
+
+    fn with_label(mut self, _ctx: &mut C, label: &str) -> Self {
+        self.attributes.push(("data-typst-label", label.into()));
+        self
+    }
 }
 
 /// See [`FlatGroupContext`].
diff --git a/crates/reflexo/src/vector/ir.rs b/crates/reflexo/src/vector/ir.rs
index 66031f79b..bb309e916 100644
--- a/crates/reflexo/src/vector/ir.rs
+++ b/crates/reflexo/src/vector/ir.rs
@@ -68,6 +68,7 @@ pub enum VecItem {
     ContentHint(char),
     ColorTransform(Arc<ColorTransform>),
     Html(HtmlItem),
+    Labelled(LabelledRef),
 }
 
 /// Module with page references, corresponding to a `typst::model::Document`.
diff --git a/crates/reflexo/src/vector/ir/compose.rs b/crates/reflexo/src/vector/ir/compose.rs
index 6f8c061dd..cae162041 100644
--- a/crates/reflexo/src/vector/ir/compose.rs
+++ b/crates/reflexo/src/vector/ir/compose.rs
@@ -32,6 +32,13 @@ impl fmt::Debug for Page {
 #[cfg_attr(feature = "rkyv-validation", archive(check_bytes))]
 pub struct TransformedRef(pub TransformItem, pub Fingerprint);
 
+/// References to a vec item with transform.
+/// Item representing an `<g/>` element applied with a [`TransformItem`].
+#[derive(Debug, Clone, Hash, PartialEq, Eq)]
+#[cfg_attr(feature = "rkyv", derive(Archive, rDeser, rSer))]
+#[cfg_attr(feature = "rkyv-validation", archive(check_bytes))]
+pub struct LabelledRef(pub ImmutStr, pub Fingerprint);
+
 /// References to a group of items with translates.
 /// Absolute positioning items at their corresponding points.
 #[derive(Debug, Clone, Hash, PartialEq, Eq)]
diff --git a/crates/reflexo/src/vector/vm.rs b/crates/reflexo/src/vector/vm.rs
index 9f1306ddf..4614c9e42 100644
--- a/crates/reflexo/src/vector/vm.rs
+++ b/crates/reflexo/src/vector/vm.rs
@@ -36,6 +36,9 @@ pub trait GroupContext<C>: Sized {
     fn with_text(self, _ctx: &mut C, _text: &ir::TextItem, _fill_key: &Fingerprint) -> Self {
         self
     }
+    fn with_label(self, _ctx: &mut C, _label: &str) -> Self {
+        self
+    }
 
     fn with_reuse(self, _ctx: &mut C, _v: &Fingerprint) -> Self {
         self
@@ -120,6 +123,7 @@ pub trait RenderVm<'m>: Sized + FontIndice<'m> {
         match &item {
             ir::VecItem::Group(group) => self.render_group(abs_ref, group),
             ir::VecItem::Item(transformed) => self.render_transformed_item(abs_ref, transformed),
+            ir::VecItem::Labelled(labelled) => self.render_labelled_item(abs_ref, labelled),
             ir::VecItem::Text(text) => {
                 let mut g = self.start_text(abs_ref, text);
                 g = self.render_text(g, abs_ref, text);
@@ -192,6 +196,20 @@ pub trait RenderVm<'m>: Sized + FontIndice<'m> {
         ts.into()
     }
 
+    /// Render a labelled frame into underlying context.
+    fn render_labelled_item(
+        &mut self,
+        abs_ref: &Fingerprint,
+        labelled: &ir::LabelledRef,
+    ) -> Self::Resultant {
+        let mut ts = self.start_group(abs_ref).with_label(self, &labelled.0);
+
+        let item_ref = &labelled.1;
+        // let item = self.get_item(&item_ref).unwrap();
+        ts.render_item(self, item_ref);
+        ts.into()
+    }
+
     /// Render a text into the underlying context.
     fn render_text(
         &mut self,
@@ -248,6 +266,13 @@ where
                 self.render_diff_transformed_item(&mut group_ctx, prev_item, transformed);
                 group_ctx
             }
+            ir::VecItem::Labelled(labelled) => {
+                let mut group_ctx = group_ctx
+                    .with_reuse(self, prev_abs_ref)
+                    .with_label(self, &labelled.0);
+                self.render_diff_labelled_item(&mut group_ctx, prev_item, labelled);
+                group_ctx
+            }
             ir::VecItem::Text(text) => {
                 let group_ctx = group_ctx.with_text(self, text, next_abs_ref);
                 self.render_diff_text(group_ctx, next_abs_ref, prev_abs_ref, text)
@@ -350,6 +375,25 @@ where
         // failed to reuse
     }
 
+    /// Render a labelled frame into underlying context.
+    fn render_diff_labelled_item(
+        &mut self,
+        ts: &mut Self::Group,
+        prev_item_: Option<&ir::VecItem>,
+        labelled: &ir::LabelledRef,
+    ) {
+        let child_ref = &labelled.1;
+        match prev_item_ {
+            // if both items are labelled, we can reuse the internal item with transforming it a
+            // bit.
+            Some(ir::VecItem::Labelled(ir::LabelledRef(_item, prev_ref))) => {
+                ts.render_diff_item_at(self, Point::default(), child_ref, prev_ref);
+            }
+            _ => ts.render_item(self, child_ref),
+        }
+        // failed to reuse
+    }
+
     /// Render a diff text into the underlying context.
     fn render_diff_text(
         &mut self,
diff --git a/fuzzers/corpora/meta/tag_00.typ b/fuzzers/corpora/meta/tag_00.typ
new file mode 100644
index 000000000..210cfd578
--- /dev/null
+++ b/fuzzers/corpora/meta/tag_00.typ
@@ -0,0 +1,21 @@
+
+#[] <group>
+
+#[
+  #path(fill: rgb("#000"))
+] <path>
+
+#[
+  #path(fill: rgb("#001"))
+  #path(fill: rgb("#002"))
+] <group2>
+
+#box[
+  #path(fill: rgb("#003"))
+  #path(fill: rgb("#004"))
+] <box-group>
+
+#block[
+  #path(fill: rgb("#005"))
+  #path(fill: rgb("#006"))
+] <block-group-group>