From 6d677df51faa120a91c44d5f069a0e51f4212727 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Tue, 13 Oct 2026 04:29:52 +0100 Subject: Research 140: a suite of eleven specs from different fields (DNS, SHA-256, inflate, JSON, UTF-8 and line breaking, relational queries and graphs, text editing, box layout, HTTP/1.1 by packets, retries and timeouts, constant-time crypto) with five criteria (written in aup and Pure alone, no workaround, lines against a Python reference, time against C, the spec's own vectors passing in Pure's checks on three machines); ten probes (044) show today's aup stops at a byte by position, bit operations, nesting, recursion, variants and reading a character; the core's minimal candidates and the rule against piling up (only what two specs need); SHA-256 and JSON first --- research/experiments/044-specs/probes/p2b-bits.aup | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 research/experiments/044-specs/probes/p2b-bits.aup (limited to 'research/experiments/044-specs/probes/p2b-bits.aup') diff --git a/research/experiments/044-specs/probes/p2b-bits.aup b/research/experiments/044-specs/probes/p2b-bits.aup new file mode 100644 index 0000000..e432668 --- /dev/null +++ b/research/experiments/044-specs/probes/p2b-bits.aup @@ -0,0 +1,5 @@ +state h: i64 = 0 +input word = message { w: i64 } +on word { + h = h & word.w +} -- cgit v1.2.3