26.05.01 Reconstruction Logicv0.1.28 → v0.1.29

Changed in v0.1.29 (2026-04-02): add that reconstruction logic is idempotent

from→to+4 −1

v0.1.28		v0.1.29
1	# 26.05.01 Reconstruction Logic	1	# 26.05.01 Reconstruction Logic
2		2
3	The reconstruction logic takes a `Form` with a specified layout mode and outputs a `layout` following the specified layout mode restrictions, derived from the original `layout` in `Form`. The output `layout` is then used to reconstruct the scene by placing each artifact in the output `layout` according to its placement as specified in the `Embedding`, as defined in [[21-Scene]]. The reconstruction logic therefore refers to how to produce a `layout` following the restrictions from the original `layout`.	3	The reconstruction logic takes a `Form` with a specified layout mode and outputs a `layout` following the specified layout mode restrictions, derived from the original `layout` in `Form`. The output `layout` is then used to reconstruct the scene by placing each artifact in the output `layout` according to its placement as specified in the `Embedding`, as defined in [[21-Scene]]. The reconstruction logic therefore refers to how to produce a `layout` following the restrictions from the original `layout`. The reconstruction logic MUST be idempotent: re-applying it to its own output MUST yield the same `layout`, i.e., if $f$ is the function representing a given reconstruction logic and $\Lambda$ is the input `Form`, then $f(f(\Lambda)) = f(\Lambda)$.
4		4
		5	The main issues were "produce the same" was missing "result," "applied on" → "applied to," and "if function $f$ representing" → "if $f$ is the function representing" for grammatical correctness.
		6
5	For the freeform layout mode, the `layout` in the input `Form` is the output `layout` and is directly used for the reconstruction of the scene.	7	For the freeform layout mode, the `layout` in the input `Form` is the output `layout` and is directly used for the reconstruction of the scene.
		8