dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to wai/create at Transaction-Science/open-standards 2026-10-26 18:51:20 -04:00
64df2fb23b wai-ui e2e: each run starts from an empty results directory (the room service's keygen refuses a key file a previous run left)
749dc3fdea joule-ui/docs/create.md: the export as built (relay.toml, vendor/, .wai-dev/, README and AGENTS.md, one writer) and WAI's rules on a pending statement
2fb4be7605 wai-ui e2e: the visitor's own model (a stand-in chat/completions server on loopback; the key goes to that endpoint alone and is stored nowhere) and the coding agent (wai-ui mcp over stdio,…
9e2d4562c8 wai-ui: the room frame is marked noindex (a frame of a page, not a page)
72646f52db wai-ui e2e: the exported project's build refuses a project without its room configuration, with one not its app's, with a runtime file changed, or with a refused line
Compare 9 commits »
dcharlot created branch wai/create in Transaction-Science/open-standards 2026-10-26 18:51:20 -04:00
dcharlot created pull request Transaction-Science/open-standards#500 2026-10-26 18:24:44 -04:00
WAI for coding agents: wai mcp, the room service's API in OpenAPI 3.1 held to the code, wai setup-agent
dcharlot pushed to wai/dx-agent-mcp at Transaction-Science/open-standards 2026-10-26 18:24:27 -04:00
2b09b960e0 CI and docs: the commands for coding agents
cca79ed50e joule-moq-room: a development room, the API described in OpenAPI 3.1, held to the code
0ed57b7d94 wai mcp and wai setup-agent: WAI's abilities as tools for a coding agent
Compare 3 commits »
dcharlot created branch wai/dx-agent-mcp in Transaction-Science/open-standards 2026-10-26 18:24:27 -04:00
dcharlot released wai-quantum 0.1.4 at Transaction-Science/open-standards 2026-10-26 18:03:08 -04:00
dcharlot pushed tag wai-quantum-cli-v0.1.4 to Transaction-Science/open-standards 2026-10-26 18:02:11 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-26 18:00:43 -04:00
f1a34c0687 Merge pull request 'wai-quantum: rewrites, convergence, and the 0.6.16 / 0.1.4 release' (#498) from wai/quantum-converge into main
defc8c6f8d wai-web: the wasm test of a wide equivalence expects the rewrite proof
7309053e46 wai-quantum 0.6.16 and wai-quantum-cli 0.1.4: the person's rules, what is new, taste, rewrites and convergence
94fabb574d wai-quantum: whether designs converge on a model's, and a while on one's own
c979c300ff wai-quantum: rewrites, each checked, and equivalence proved by them at any width
Compare 5 commits »
dcharlot merged pull request Transaction-Science/open-standards#498 2026-10-26 18:00:43 -04:00
wai-quantum: rewrites, convergence, and the 0.6.16 / 0.1.4 release
dcharlot created pull request Transaction-Science/open-standards#499 2026-10-26 17:15:44 -04:00
wai merge train E: twenty-five PRs onto main, the relay's upstream window bounded, and three fixes the merged tree needed
dcharlot pushed to train/wai-e at Transaction-Science/open-standards 2026-10-26 17:15:27 -04:00
5b79d1550d Merge origin/main (907c46889): #497, a person's taste in wai-quantum
dcharlot created branch train/wai-e in Transaction-Science/open-standards 2026-10-26 17:15:27 -04:00
dcharlot pushed to wai/quantum-converge at Transaction-Science/open-standards 2026-10-26 17:06:23 -04:00
defc8c6f8d wai-web: the wasm test of a wide equivalence expects the rewrite proof
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-26 16:41:33 -04:00
907c46889f Merge pull request 'wai-quantum: a person's taste, learned from their own choices between equals' (#497) from wai/quantum-taste-r2 into main
dcb5391f90 wai-quantum: a person's taste, learned from their own choices between equals
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#497 2026-10-26 16:41:32 -04:00
wai-quantum: a person's taste, learned from their own choices between equals
dcharlot created pull request Transaction-Science/open-standards#498 2026-10-26 16:11:37 -04:00
wai-quantum: rewrites, convergence, and the 0.6.16 / 0.1.4 release
dcharlot pushed to wai/quantum-converge at Transaction-Science/open-standards 2026-10-26 16:11:26 -04:00
7309053e46 wai-quantum 0.6.16 and wai-quantum-cli 0.1.4: the person's rules, what is new, taste, rewrites and convergence
94fabb574d wai-quantum: whether designs converge on a model's, and a while on one's own
c979c300ff wai-quantum: rewrites, each checked, and equivalence proved by them at any width
Compare 3 commits »
dcharlot created branch wai/quantum-converge in Transaction-Science/open-standards 2026-10-26 16:11:25 -04:00
dcharlot closed pull request Transaction-Science/open-standards#496 2026-10-26 15:50:18 -04:00
wai-quantum: a person's taste, learned from their own choices between equals
dcharlot created pull request Transaction-Science/open-standards#497 2026-10-26 15:50:04 -04:00
wai-quantum: a person's taste, learned from their own choices between equals