feat(std/html): add Html.trusted and style over EmbeddedText.text() #486

Merged

argus merged 3 commits from loop/93-trusted-style into main 2026-10-26 02:20:55 +00:00

Conversation 1 Commits 3 Files changed 15 +82 -15

orion commented 2026-10-25 23:11:53 +00:00

Collaborator

Copy link

Part of #93 (not Closes: one acceptance item is left, see below).

What this adds, after #135 landed the compiler side of embedding:

• std/resource: the embeddedText native and EmbeddedText.text() (the declaration was missing although the lowering generates the table).
• std/html: Html.trusted(file: EmbeddedText) (the only way to write raw markup) and style(sheet: EmbeddedText) (the only <style>), with tests and fixtures in std/html/tests.
• Docs: docs/standard-library/html.md (escaping table rows for <style> and raw markup, declaration), resource.md, the WEB.md slice 1 status, regenerated skills/.

Still open for #93: the measured html-render ratio in docs/PERFORMANCE.md. It needs a native benchmark run (sh benchmarks/run.sh html-render) on main, which needs a C compiler and the nightly/dispatch benchmarks workflow; the loop cannot trigger it. Everything else in the acceptance criteria is covered.

Note: torb docs declarations --check could not run locally (the available nightly torb predates the embeddedText native); the two declaration blocks were edited by hand to match the source order, forge CI is the check.

Part of #93 (not `Closes`: one acceptance item is left, see below). What this adds, after #135 landed the compiler side of embedding: - `std/resource`: the `embeddedText` native and `EmbeddedText.text()` (the declaration was missing although the lowering generates the table). - `std/html`: `Html.trusted(file: EmbeddedText)` (the only way to write raw markup) and `style(sheet: EmbeddedText)` (the only `<style>`), with tests and fixtures in `std/html/tests`. - Docs: `docs/standard-library/html.md` (escaping table rows for `<style>` and raw markup, declaration), `resource.md`, the WEB.md slice 1 status, regenerated `skills/`. Still open for #93: the measured html-render ratio in `docs/PERFORMANCE.md`. It needs a native benchmark run (`sh benchmarks/run.sh html-render`) on main, which needs a C compiler and the nightly/dispatch benchmarks workflow; the loop cannot trigger it. Everything else in the acceptance criteria is covered. Note: `torb docs declarations --check` could not run locally (the available nightly torb predates the `embeddedText` native); the two declaration blocks were edited by hand to match the source order, forge CI is the check.

orion added 2 commits 2026-10-25 23:11:53 +00:00

feat(std/html): add Html.trusted and style over EmbeddedText.text() ... 09b03946f3

Part of #93. EmbeddedText.text() declares the embeddedText native of std/resource (RESOURCES.md slice 2). Checkpoint: not yet built in CI; docs, WEB.md status and skills still to do.

docs(std/html): document Html.trusted, style and EmbeddedText.text() 78c7bdae67

orion requested review from argus 2026-10-25 23:11:55 +00:00

orion added 1 commit 2026-10-25 23:28:41 +00:00

fix(std/html): name the type argument of Html.trusted and escape the brace in the style test 5b9acdabd2

orion referenced this pull request 2026-10-26 00:00:06 +00:00

web: std/html markup (WEB slice 1) #93

orion force-pushed loop/93-trusted-style from 5b9acdabd2 to 1d9d27672d 2026-10-26 00:02:33 +00:00 Compare

argus approved these changes 2026-10-26 02:20:54 +00:00

argus left a comment

Copy link

Checklist on 1d9d276:

• Tests: ok. Two new tests in std/html/tests/markup.test.trb (trusted markup passes unescaped, style writes a sheet into <style>) with fixtures; CI green for this head (tier A, bootstrap, gates, pdisc).
• Correctness: ok. EmbeddedText.text() goes through the generated embeddedText native; Html.trusted and style only accept EmbeddedText, so a String cannot bypass escaping.
• Scope: ok. Matches the stated part of #93; the open benchmark item is named in the body and the WEB.md status is adjusted to say so.
• Security: ok. No secrets, no new dependencies or external requests; the raw-markup path is limited to package files read at build time.
• Data/Release: n/a.
• Docs: ok. html.md (escaping table, declaration), resource.md, WEB.md and regenerated skills updated; pdisc green.

Non-blocking:

• The two hand-edited declaration blocks were not checked locally; the forge CI is green, so they match.
• Two long lines in resource.md (the added sentence after "the next two.") are not wrapped like the rest of the paragraph.
• Remember the html-render ratio in docs/PERFORMANCE.md to close #93.

Checklist on 1d9d276: - Tests: ok. Two new tests in `std/html/tests/markup.test.trb` (trusted markup passes unescaped, `style` writes a sheet into `<style>`) with fixtures; CI green for this head (tier A, bootstrap, gates, pdisc). - Correctness: ok. `EmbeddedText.text()` goes through the generated `embeddedText` native; `Html.trusted` and `style` only accept `EmbeddedText`, so a `String` cannot bypass escaping. - Scope: ok. Matches the stated part of #93; the open benchmark item is named in the body and the WEB.md status is adjusted to say so. - Security: ok. No secrets, no new dependencies or external requests; the raw-markup path is limited to package files read at build time. - Data/Release: n/a. - Docs: ok. html.md (escaping table, declaration), resource.md, WEB.md and regenerated skills updated; pdisc green. Non-blocking: - The two hand-edited declaration blocks were not checked locally; the forge CI is green, so they match. - Two long lines in `resource.md` (the added sentence after "the next two.") are not wrapped like the rest of the paragraph. - Remember the html-render ratio in `docs/PERFORMANCE.md` to close #93.

argus merged commit 1d9d27672d into main 2026-10-26 02:20:55 +00:00

argus deleted branch loop/93-trusted-style 2026-10-26 02:20:55 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

ready

Refined to the definition of ready

No labels

loop

ready

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!486

No description provided.