Repository navigation
Move the Harness pin to 7147e709 and drop prompt titles - #2
Merged
Merged
Conversation
The Engine at `7147e709f603b81786fb2d702bf50c4d9a88d62b` makes every heading a section, so a `# ` line above the `## ` sections makes them its children, and a run never enters them. The four `runvil-harness` entries in `Cargo.toml` name that commit, and `chat.md` and the 17 prompts in the tests have no title line. - `Cargo.lock` changes only the 15 source lines of the crates that come from `runvil-harness`. - The paragraph at the top of `chat.md` has no Lua block, so the run reads it as commentary and enters `## Conversation` first. - `a_program_that_returns_frames_run_ended_and_a_later_message_is_refused` expects `"section": "echo"` on `run_ended`. That is the frontmatter `name`, where the event had the title `Echo`. - `a_completed_report_reports_nothing_and_ends_the_conversation` returns `finished` in place of `done`. A run with no text also ends as `done`, so the old value did not show that the Lua ran. - The fixture with the unclosed frontmatter in `conversation.rs` ends in `## Only`. It fails the parse on its frontmatter as before. - The comment on `gate_a_conversation_round_advertises_the_web_tools` names an offer above the heading, where it named the H1. - The pin moves across four commits of `runvil-harness`. The two before the heading rule change what a `return` ends and what `call` returns for a chain with no text, and no prompt or test here changed for them. - No Rust code outside the tests changes. The files outside the tests are `Cargo.toml`, `Cargo.lock`, and `chat.md`. Plan: runvil-harness/plan/2026-11-13-2-every-heading-is-a-section.plan.md
[Medium impact] The PR appears safe to merge, with no outstanding findings identified.
|
`cargo audit` fails on `quinn-udp` 0.5.15 since RUSTSEC-2026-0538 reached the advisory database, and the advisory names 0.5.16 as the fix. The lock entry of `quinn-udp` now has that version and its checksum. - Only the `version` and `checksum` lines of the entry change, and they were edited by hand. `cargo update -p quinn-udp --precise 0.5.16` gave the same two lines but also moved the `windows-sys` edge of 13 other crates to older versions. - The entry keeps its `windows-sys 0.61.2` edge, which the range of 0.5.16 allows, and `cargo metadata --locked` accepts the file. - `cargo tree --locked --workspace --all-features --target all -i quinn-udp` prints nothing, so no crate of this workspace builds `quinn-udp` and the build output is the same.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Moves the
runvil-harnesspin from5bca6f9fto7147e709and brings Workshop's prompts in line with the Engine's new heading rule.At
7147e709every heading starts a section, a prompt has no title, and the top level is the shallowest heading level in the file. A#line above##sections makes them its children, so a run never enters them. That is why the title lines have to go in the same change as the pin.What changed
runvil-harnessentries inCargo.tomlname7147e709f603b81786fb2d702bf50c4d9a88d62b.Cargo.lockchanges only the 15 source lines of the crates that come from that repository.chat.md. The# Chatline is gone. The paragraph at the top has no Lua block, so the run reads it as commentary and enters## Conversationfirst.lifecycle.rs. Therun_endedevent carries the frontmattername, so the test expects"section": "echo"where it had the titleEcho.conversation.rs. The completed-run fixture returnsfinishedin place ofdone. A run with no text also ends asdone, so the old value did not show that the Lua ran.No Rust code outside the tests changes.
Also in this pin move
The pin moves across four Harness commits. Besides the heading rule and a read-only
argv, the two earlier ones change what areturnends and whatcallreturns for a chain with no text. No prompt or test here needed a change for those.Second commit:
quinn-udp0.5.16cargo auditstarted to fail today, onmasteras well as here, when RUSTSEC-2026-0538 forquinn-udp0.5.15 reached the advisory database. The second commit changes theversionandchecksumlines of that one lock entry to 0.5.16. No crate of this workspace buildsquinn-udpfor any target, so the build output is the same. It is a separate commit so that it can be taken or dropped on its own.Verification
Run locally on Windows against the new pin, all passing:
cargo nextest run --locked -p workshop -p workshop-server -p workshop-server-api(347 tests)cargo nextest run --locked --workspace --exclude workshop --exclude workshop-server --exclude workshop-server-api --all-features(703 tests)cargo clippycommands withCARGO_BUILD_WARNINGS=denycargo fmt --all --checkcargo docwithRUSTDOCFLAGS="-D warnings"cargo dylint --allcargo test -p build-xtasknode --test crates/workshop/ui/test/docs-claims.mjscargo deny checkcargo audit, after the second commitNot done: the desktop app was not launched by hand. The built-in chat prompt is covered by the server's chat gate tests, which drive
chat.mdthrough model rounds.Plan:
runvil-harness/plan/2026-11-13-2-every-heading-is-a-section.plan.md