You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
resolve DQ2 with an explicit native delivery selector
retire the rendered-screen-only assumption for maintained native harnesses
keep legacy ding behavior unchanged and require new binaries to validate transport values and mutual exclusion
state the true pre-change behavior: a valid deliver-only agent gets no delivery instead of the wrong transport
require Doctor to report active agents that declare no transport
preserve the durable inbox and fail-closed retry boundary across transports
Validation
git diff --check
nix flake check --print-build-logs could not run because Nix is not installed on this host
local cargo fmt --all --check and strict Clippy expose pre-existing current-main toolchain drift in unchanged Rust files
local cargo test --all-features --locked reaches a pre-existing catalog_diff failure in unchanged code; all preceding suites pass
This PR contains only the standalone VRS closure. Parser, Doctor, and harness implementations follow in separate PRs. No merge is requested before Nathan reviews the exact head.
Implementation discovery found a compatibility blocker in this draft contract: current main and the retained predecessor both ignore unknown agent child nodes, so they silently ignore deliver instead of rejecting it. The PR remains draft while CoS chooses the migration boundary. Do not review the old-binary rejection sentence as settled yet.
Compatibility correction is now pushed at exact head 5e52199. The VRS no longer claims that pre-change binaries reject deliver. It states the verified behavior: those binaries ignore the new child, so a valid deliver-only declaration has no delivery rather than legacy screen delivery. The contract now requires new-binary validation plus a Doctor report for missing transport.
Final VRS alignment is now at exact head 2db8a8c: the ontology defines DING as a delivery signal rather than only terminal input, and the Agent Spec implementation map records the mutually exclusive ding / deliver selectors. The compatibility correction remains unchanged.
Folded into the reviewable specification replacement #242 at exact head b5debb736b5fd416eac7294849ed816242bd5625. The replacement preserves this draft’s relevant history and has exact-head hosted Nix green. Closing this superseded draft; its branch is intentionally retained.
schickling
added
area:ding
DING delivery: inbox notice into a running agent · Set: manual
area:driver
Harness drivers: launch, MCP, app-server, native delivery · Set: manual
area:vrs
VRS documentation system (vision/requirements/spec) · Set: manual
origin:agent
Filed or primarily produced by an AI agent · Set: manual
type:docs
Documentation-only change or documentation task · Set: manual
labels
Aug 18, 2026
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
area:dingDING delivery: inbox notice into a running agent · Set: manualarea:driverHarness drivers: launch, MCP, app-server, native delivery · Set: manualarea:vrsVRS documentation system (vision/requirements/spec) · Set: manualorigin:agentFiled or primarily produced by an AI agent · Set: manualtype:docsDocumentation-only change or documentation task · Set: manual
2 participants
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
dingbehavior unchanged and require new binaries to validate transport values and mutual exclusiondeliver-only agent gets no delivery instead of the wrong transportValidation
git diff --checknix flake check --print-build-logscould not run because Nix is not installed on this hostcargo fmt --all --checkand strict Clippy expose pre-existing current-main toolchain drift in unchanged Rust filescargo test --all-features --lockedreaches a pre-existingcatalog_difffailure in unchanged code; all preceding suites passThis PR contains only the standalone VRS closure. Parser, Doctor, and harness implementations follow in separate PRs. No merge is requested before Nathan reviews the exact head.