feat(runtime): evaluate the unbounded value `*` and `elem.metadata` - #113

Merged

HuiJun merged 11 commits into

mainfrom

feature/infinity-and-metadata-values

Sep 8, 2026

Commits on Sep 8, 2026

feat(runtime): evaluate the unbounded value `*` and `elem.metadata`

devin-ai-integration[bot]
and
HuiJun
committed
5f0ace0
fix(semantics): reach an `about` annotation from a re-indexed element

devin-ai-integration[bot]
and
HuiJun
committed
8dfe9b4
fix(runtime): make a metadata access atomic and refuse a false infinity arm

devin-ai-integration[bot]
and
HuiJun
committed
db403f9
fix(runtime): abandon the behaviors a failed metadata access started

devin-ai-integration[bot]
and
HuiJun
committed
f43ba47
fix(runtime): scope metadata bindings, nest them, and type the unbounded value

devin-ai-integration[bot]
and
HuiJun
committed
2645ab7
style(clients): satisfy eslint and rustfmt on the infinity arm check

devin-ai-integration[bot]
and
HuiJun
committed
0b78ad5
fix(semantics): bind metadata body values through renamed redefinitions

devin-ai-integration[bot]
and
HuiJun
committed
347a8fa
fix(runtime): read one object per metadata annotation, journaling the access

devin-ai-integration[bot]
and
HuiJun
committed
291d18a
fix(runtime): keep the object an annotation denotes through a reanalysis

devin-ai-integration[bot]
and
HuiJun
committed
2ccefd3
fix(runtime): carry an annotation's object only while it reads as it read

devin-ai-integration[bot]
and
HuiJun
committed
8542b2f
fix(runtime): digest an annotation from the document stating it

devin-ai-integration[bot]
and
HuiJun
committed
e9f5a7d