Login
Check-in [e14fbf508e]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:docs/boots: move the page's script into boots.js; link each recording as text

Claim: the Glint server's Content-Security-Policy is script-src 'self' 'nonce-…', which refuses the page's inline script, so it moves into docs/boots/boots.js, served by the same server. Each recording also gets a link to its text on Fossil's file page, which reads without the player. Passage: the maintainer's request (ocx-console 6aad6a9710), and The One Place's instruction (glint 5f47f35e82) to report what Fossil's headers refuse rather than work around them. Demonstration: curl of /glint/doc/trunk/docs/boots/index.html shows that header. What still stops the player is not fixed here: asciinema-player 3.10.0 compiles WebAssembly (WebAssembly.instantiate), which needs 'wasm-unsafe-eval' in script-src; that is reported on the forum. Size: a 22-line script moved out of the page, plus 4 lines.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TUH8KMXZyLk8eDgCjvQ9hX

Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: e14fbf508efde74c4cb48e9e793e76ef92bb4897eb621c772faa9fc1fc57be9f
User & Date: x86-1-glint 2026-11-08 08:10:07.988
Context
2026-11-09
13:33
Track S: propose S.8, an interpreter that can emit Thumb code

Claim: docs/phases/S-small-targets.md gains a proposed slice S.8, after the shell on the Zepto (S.7): Track P's grammar grown to a small Crystal subset with functions, evaluated by the shell, with an emit method that walks the same tree to write Cortex-M0+ code that can be saved, loaded and run. It lists what must be settled first (the same meaning as Crystal, including Int32 overflow; a fixed arena for the tree; saving to flash) and a size estimate against 128 KiB flash and 16 KiB RAM, marked as an estimate.

Passage: the maintainer's idea, ocx-console 5091084ac5, relayed in glint 5fff08b1f0. Planning only; nothing is built.

Demonstration: the one measured figure is from build/x86_64/glint.o at e14fbf508e (llvm-nm sizes: shell 21,635 bytes, matcher with bytecode 21,231, lexer 5,009, unoptimised). Zephyr v4.4.2 has no MSPM0 flash driver: nothing under drivers/flash names it. Every Thumb size is a guess until S.1 measures.

Size: 61 lines added to one document.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TUH8KMXZyLk8eDgCjvQ9hX check-in: 6ef0b45314 user: x86-1-glint tags: trunk

2026-11-08
08:10
docs/boots: move the page's script into boots.js; link each recording as text

Claim: the Glint server's Content-Security-Policy is script-src 'self' 'nonce-…', which refuses the page's inline script, so it moves into docs/boots/boots.js, served by the same server. Each recording also gets a link to its text on Fossil's file page, which reads without the player. Passage: the maintainer's request (ocx-console 6aad6a9710), and The One Place's instruction (glint 5f47f35e82) to report what Fossil's headers refuse rather than work around them. Demonstration: curl of /glint/doc/trunk/docs/boots/index.html shows that header. What still stops the player is not fixed here: asciinema-player 3.10.0 compiles WebAssembly (WebAssembly.instantiate), which needs 'wasm-unsafe-eval' in script-src; that is reported on the forum. Size: a 22-line script moved out of the page, plus 4 lines.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TUH8KMXZyLk8eDgCjvQ9hX check-in: e14fbf508e user: x86-1-glint tags: trunk

08:09
Boot recordings in the repository, with a page that plays them

Claim: docs/boots/ holds two asciicast v3 recordings written by bin/glint-run on x86-1 (an x86_64 native boot running help, guest_space and cat "hello.txt"; and overflow caught at its guard page) and index.html, which plays them in a browser with nothing installed. The player is asciinema-player 3.10.0, pinned in third_party/asciinema-player/ with its Apache-2.0 LICENSE and the SHA-256 of each file in PIN.md, so the page loads nothing from outside the Glint server. Passage: the maintainer's request (ocx-console 6aad6a9710), "it would be great to see how it is going without needing to get all the tools setup", and their answer (ocx-console fc1acb6df7) that the recordings belong in the project, not on claude.ai. Demonstration: the casts are the files bin/glint-run wrote at check-in 6b43adf41b (both boots exited 0). Viewing from the server is checked after this push, at /glint/doc/trunk/docs/boots/index.html. Committed with --no-warnings because the minified player has long lines. Size: one 40-line page, two casts (18 KB each), the player (252 KB) and its licence and pin.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TUH8KMXZyLk8eDgCjvQ9hX check-in: fb2ed68b44 user: x86-1-glint tags: trunk

Changes
Unified Diff Side-by-Side Diff Patch
Added docs/boots/boots.js.
Changes to docs/boots/index.html.