| Filename | Latest commit message | Latest commit date |
|---|---|---|
8a0f6073f7
joule-ui takes in OpenUI Lang 1.0 the way it takes in A2UI: a model writes a surface as a program, one widget a line, and joule-ui-lang builds a widget tree against the host's registry as the program streams. After every chunk a snapshot holds the tree as far as it can be built, each widget checked by joule-ui's own validate, and every error with its source line and reason code. State, queries, operators, conditionals, built-in functions and sequences of actions are parsed and refused not-declarative. A canonical writer turns a tree back into the language; it parses back to the same tree. - joule-ui-core: WidgetSchema::positional, the order a positional call passes props in (SPEC §3); absent from the wire form when undeclared. - joule-ui-interaction: begin_interaction and Pending::finish, the lifecycle's three phases in two steps for a host whose handler is asynchronous (SPEC §6); run_interaction is built on them and seals what it sealed before. - conformance/lang/v1: L1 statements, L2 ingest, L3 streaming, L4 the canonical form, L5 refusals, with an independent Python verifier written from §11. - docs/create.md: the design of Create. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| v1 | ||
| README.md | ||
joule-ui line language conformance — v1
The pack of SPEC §11.9: the line language (OpenUI Lang 1.0, taken in as joule-ui widget trees) against the pack's own library. Regenerate with:
cargo run -p joule-ui-lang --bin gen_lang_vectors
and verify, from the specification alone, with the independent verifier:
python3 -I conformance/lang_verify.py # every case recomputed and compared
python3 -I conformance/lang_verify.py --mutations # changed vectors are refused
cargo test -p joule-ui-lang --test pack checks that the committed files are exactly
what the reference implementation gives.
| File | Class | What a conforming ingest reproduces |
|---|---|---|
library.json |
— | the library: each widget's props, children rule and positional order (written out), and the root widget |
l1-statements.json |
L1 | each text's statements (name, source line, kind, complete) and whether it ended open |
l2-ingest.json |
L2 | each text's snapshot at the end of the stream: the tree, its nodes (key, line, statement), the errors (line, statement, code, widget, prop, warning), the unresolved names, the orphans, whether it ended open |
l3-stream.json |
L3 | each case's snapshot after every chunk and at the end; the end equals the batch parse of the joined chunks |
l4-write.json |
L4 | each tree's canonical text, which parses back to the tree |
l5-refusals.json |
L5 | negative controls: each refused with its code at its line, and its whole snapshot |
MANIFEST.json |
— | each file's SHA-256 |
The tree and its values are in joule-ui's wire form (§2): a widget is
{"name", "props", "children"} (children absent when empty); a prop value is
{"type": "text" | "number" | "bool" | "list" | "object", "value": ...}, {"type": "null"},
or {"type": "action", "value": {"id", "payload"}} with payload null or a prop value.
Errors carry no message: messages are for a person or a model, and not normative.