<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/prototypes/connections/test-async.c, 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-10-01T15:40:11Z</updated>
<entry>
<title>Look at a wake write's result in the prototype, as fortified builds ask</title>
<updated>2026-10-01T15:40:11Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-01T15:40:11Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=1fdf72444cdcf5041022c75ed616a1dcd458175b'/>
<id>urn:sha1:1fdf72444cdcf5041022c75ed616a1dcd458175b</id>
<content type='text'>
Ubuntu's gcc defines _FORTIFY_SOURCE, which marks write's result as one
to use, and a (void) cast does not quiet it: the prototype did not
build there (research 029). Debian's does not define it; the Pi gives
the same error with -D_FORTIFY_SOURCE=3.
</content>
</entry>
<entry>
<title>Charge lent answers to the payload budget</title>
<updated>2026-09-26T09:46:30Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-09-26T09:46:30Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=d58e1d29cc3cbd5f1c9b271c0b7e25b9962fad4f'/>
<id>urn:sha1:d58e1d29cc3cbd5f1c9b271c0b7e25b9962fad4f</id>
<content type='text'>
A read answered with extents of the store mapping was charged nothing,
so clients that stopped reading could keep any number of old file
versions mapped. The runtime core now takes resources a host sends in
pieces: body.data is NULL, body.size is charged like any other resource,
the outcome has no body to read and cannot be forwarded. pure-serve hands
the mapping reference over as such a resource, so a lent answer holds its
bytes of budget until it is in the socket and its ticket releases the
mapping; past the budget a read gets 503 payload_budget, as a copied one
would. The async core grows 52 bytes (5,776 of its 6,144).

</content>
</entry>
<entry>
<title>Establish native micro runtime checkpoint</title>
<updated>2026-09-24T16:14:54Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-09-24T16:14:54Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=b1ce1927022d374198441afafeb27199fc8a052a'/>
<id>urn:sha1:b1ce1927022d374198441afafeb27199fc8a052a</id>
<content type='text'>
</content>
</entry>
</feed>
