<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/docs/research/108-one-value-every-path.md, branch master</title>
<subtitle>Verified execution runtime unifying state, persistence, and replication.
</subtitle>
<id>http://git.yeowoo.org/pure/atom?h=master</id>
<link rel='self' href='http://git.yeowoo.org/pure/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/'/>
<updated>2026-09-30T12:19:30Z</updated>
<entry>
<title>Say what the screen showed of a value, and what Vega now keeps from acting (015, 108)</title>
<updated>2026-09-30T12:19:30Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-09-30T12:19:30Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=8757aede13d79edd272f518d6aad03567389ad9e'/>
<id>urn:sha1:8757aede13d79edd272f518d6aad03567389ad9e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Say what a value means at each boundary, and what checking it found (015, 108)</title>
<updated>2026-09-30T12:06:41Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-09-30T12:06:41Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=49978a22102d748468d3203a1ce0becf27404511'/>
<id>urn:sha1:49978a22102d748468d3203a1ce0becf27404511</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Say what pinning a value across every boundary checks, before writing the check (108)</title>
<updated>2026-09-30T11:52:39Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-09-30T11:52:39Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=d9b02855dad6369c63479b24238f05acfd2312fb'/>
<id>urn:sha1:d9b02855dad6369c63479b24238f05acfd2312fb</id>
<content type='text'>
</content>
</entry>
</feed>
