pure/docs/design/015-boundary-meaning.md, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-09-30T15:38:06ZPin an i64's meaning on every path (015)2026-09-30T15:38:06Zeunhhunecpition205@gmail.com2026-09-30T15:38:06Zurn:sha1:481642fbdc94db37ae42ded7244674054b6377c3
server_meaning gives every value an i64 field, 13 values from 0 and -0
to both ends of the range and just inside them, in over JSON, rows and
a query, over the link (where B takes id, a u32, as an i64) and HTTP,
and out at all seven exits with every digit. 32 more refusals, each
with its reason on JSON, a query and rows; an i64 view's text at both
ends and an i64 argument that counts exactly and refuses the rest.
Check a bool view's text and a bool argument over HTTP2026-09-30T14:29:36Zeunhhunecpition205@gmail.com2026-09-30T14:29:36Zurn:sha1:999439fcb5eeaec6fa5c3d20290e9edf18d70c66
server_meaning's origin gains a bool view and a view with a bool
argument: GET /views/any_ok answers true as text, with_ok?want=true and
?want=false count the kept values each way, and 1, True or nothing for
the argument is 400 invalid.
Pin a bool's meaning on every path (015)2026-09-30T14:25:02Zeunhhunecpition205@gmail.com2026-09-30T14:25:02Zurn:sha1:ccfd73d6a30e841f40f94bd199fe3ae72fbbad6c
server_meaning gives each of its 67 values a bool field, true or false:
in as JSON, a query, a message's rows; over the link to B (taking it by
name among reordered fields) and over HTTP to C; out through A's view and
query, B's and C's views, a restart, a restart after a checkpoint and B
with its module replaced. A bool must come out as true or false, never 1
or 0. Refused on every way in, with the reason checked: 1, 0, "true",
null or an array as json_type, True as json (no JSON at all), a query's
1, 0, True, TRUE, "true " or nothing as query, a row's 1 as json_type:
52 refusals, 39 before. 015 says what a bool is at each boundary.
This check found the stored outbox refusing bool fields (a node could not
start again with a bool send waiting), fixed in the commit before.
Say what the screen showed of a value, and what Vega now keeps from acting (015, 108)2026-09-30T12:19:30Zeunhhunecpition205@gmail.com2026-09-30T12:19:30Zurn:sha1:8757aede13d79edd272f518d6aad03567389ad9eSay what a value means at each boundary, and what checking it found (015, 108)2026-09-30T12:06:41Zeunhhunecpition205@gmail.com2026-09-30T12:06:41Zurn:sha1:49978a22102d748468d3203a1ce0becf27404511