Small instant#817

Draft

hatoo wants to merge 13 commits intomasterfrom

Commits on Oct 30, 2025

wip
hatoo
committed
fix
hatoo
committed

Commits on Nov 1, 2025

Merge branch 'master' into minstant
hatoo
committed
h3
hatoo
committed
save
hatoo
committed

Commits on Nov 3, 2025

Commits on Nov 4, 2025

update test
hatoo
committed

Commits on Nov 9, 2025

feature gate
hatoo
committed