Skip to content

Site expansion for 0.2.0; W-1 rule printed once; GUESS_WHILE_LOADING in the ref - #56

Merged
ryansolid merged 3 commits into
mainfrom
claude/project-thread-s86axm
Nov 13, 2026
Merged

ryansolid merged 3 commits into
mainfrom
claude/project-thread-s86axm

Conversation

@ryansolid

@ryansolid ryansolid commented Nov 13, 2026 •

Copy link
Copy Markdown
Member

Requested by Ryan · project thread

Site (reactivescript.dev, 0.2.0)

  • A like button, the first time you write it: a naive guess like button and the three errors rx-tsc gives it (UNHANDLED_FAILURE, UNCAUGHT_ACTION_FAILURE, GUESS_WHILE_LOADING), then the fixed version, which checks clean.
  • Races, refused: HELD_WRITE (the "Saving…" that never shows) and STALE_WRITE_BACK (read, await, write back).
  • Every word is a Solid primitive: .rx form → Solid 2.0 primitive, from spec/11's lowering table.
  • Install: rx-tsc for CI is back (language-server 0.2.0 ships it); status reads 0.2.
  • Error blocks are rx-tsc 0.2.0 output on the program shown, except W-1, which shows the rule once as fixed below. Wording says the checker refuses, since Vite compiles .rx unchecked.

Two checker fixes found while writing it

  • W-1 / O-4 printed their rule twice. WRITE_TO_NON_SOURCE's message text ended in (W-1) (and the context form in (O-4)), and rx-tsc appends the rule, giving (W-1) (W-1); ref printed [W-1] … (W-1). Dropped from the message in compiler/src/check.rs and ref/src/check.ts; README line updated.
  • GUESS_WHILE_LOADING (AC-3a) was crate-only. Ported guess_while_loading to ref/src/check.ts (handlers recorded per element; the actions a click calls; inputs outside writes/guesses; covered by a loading region reading the target, disabled on it, or all of a form's submit buttons disabled). New rejected variant in scenarios/S-guess-equation.md; spec/99 row cites it.

Checks

  • node ref/run.ts: 126 PASS, 0 FAIL
  • node ref/crate.ts: 353/353 programs, crate agrees with ref (diagnostics included)
  • cargo test --release in compiler/: pass
  • The crate's AC-3a unit-test program gives the same lines (27, 32) in the ref.

🤖 Generated with Claude Code

https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf

Expands the landing page for 0.2.0. Every error shown is rx-tsc 0.2.0
output on the program shown, and the fixed like button checks clean.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
@ryansolid ryansolid self-assigned this Nov 13, 2026
WRITE_TO_NON_SOURCE's messages ended in their own rule, so rx-tsc, which
appends the rule, printed `(W-1) (W-1)`, and ref/check.ts printed
`[W-1] … (W-1)`. Drop it from the message text in the crate and the ref.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
Ports the crate's guess_while_loading to ref/src/check.ts, so ref and crate
agree on it, and adds a rejected variant to S-guess-equation. ref/run.ts:
126 pass; ref/crate.ts: 353/353 programs agree; the crate's unit-test
program gives the same lines (27, 32) in the ref.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
@ryansolid ryansolid changed the title Site: like button with guess, races refused, Solid mapping, rx-tsc Site expansion for 0.2.0; W-1 rule printed once; GUESS_WHILE_LOADING in the ref Nov 13, 2026
@cloudflare-workers-and-pages

Copy link
Copy Markdown

🚀 Deploying Preview to Cloudflare 🚀

Preview Deployments by commit

Status Deployment URL Commit Updated (UTC) See this deployment's details
  • Build: Failed ❌

View logs ↗
d4ea7bb 2026-11-13T03:06:20.438Z View logs ↗

@ryansolid
ryansolid merged commit 129f318 into main Nov 13, 2026
17 of 18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants