Counters are updated during #pause in touying

[Orbion-J]

The following code produces two pages with "Theorem 1. a" and "Theorem 2. a b" but it should be "Theorem 1" in both pages since it is the same theorem block, just on another page.

#import "@preview/touying:0.6.1": *
#import themes.metropolis: *
#import "@preview/great-theorems:0.1.2" : *

#show: metropolis-theme

#show: great-theorems-init
#let theorem = mathblock(
	blocktitle: "Theorem",
	counter: counter("math") 
)

== 

#theorem[ a #pause b ]

Using rich-counters does not help.

I don't know if this is more of a touying issue but there should be a way to make it work, right ?

[jbirnick]

This is a touying issue, though they can't really do anything about it because it's a fundamental limitation of Typst.
When you do #pause, in the end the theorem will simply be placed two (or more) times. So by default it is expected to get two different numbers. See this blog post:

https://laurmaedje.github.io/posts/frozen-state/

I think packages like ctheorems manually work around that. I could think about doing a similar workaround, either in great-theorems or in rich-counters. But I can't do that in the near future. And in the end, the "correct" solution is only when Typst will introduce freezing state or something similar, and I guess that will take a while.