Repository navigation
Register taskDrive with Cordis provide - #1121
Merged
Merged
Conversation
A live context refuses the bare ctx.taskDrive write, so startup dies before any Bot loads. Register the handle the same way as flybot. Fixes #1120 Co-authored-by: Danyang Chen <birfychen@gmail.com>
Collaborator
Author
|
Verdict: PASS at e0df951 Ran:
Not run:
Acceptance
RisksT2 (core/src/host/task-drive.js). enqueue-guard is red at this tip only because no Verifier report names it yet (do not enqueue #1121: no Verifier report names the tip e0df951). tests-ok is green on the pull request page. This report is not merge authority and does not enqueue. GapsNo actionable findings. reflect.provide and the plain property write are not separately asserted for taskDrive; they are the same ladder as provideFlyBot, and the fake context used by the rest of the file takes the set branch. Security fence and display-name checks are out of scope: the diff does not touch delivery, fencing, or model-visible remote strings. This PASS is not a merge and not an enqueue. |
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.
Written-by: Dev
Owner: Dev
Reviewer: Reviewer
Fixes #1120
What changed
Startup on a real Cordis host died in
task-drive.jswithcannot set property "taskDrive" without provide, before any Bot loaded, so the UI stayed on "Setting up your Main Bot…". The handle is now registered withprovide(thenreflect.provide,set, or a plain write), the same path asflybot.ctx.taskDrive.settled(),.consider(), and.nowstill work.This unblocks live use of #1115 / #1109.
Verification at the tip
Tip SHA:
e0df95180275484b2cc90cd2e88f72db8c48945dRed at base
a188fa2(defect test, source still the bare assignment):TZ=UTC node --import ./test/harness-resolve.mjs --test --test-name-pattern 'Cordis context provides taskDrive' test/task-drive.test.js— 1 fail,cannot set property "taskDrive" without provideattask-drive.js:224.Ran at the tip:
TZ=UTC node --import ./test/harness-resolve.mjs --test test/task-drive.test.js— 20 pass, 0 failTZ=UTC npm testincore/— 1469 pass, 0 failTZ=UTC npm testinplugins/social,plugins/tree,plugins/timeline— 485, 125, and 125 pass, 0 failTZ=UTC npm run lintincore/— oxlint warnings match the existing set; no new warning in the touched filesARCH_DOCS_BASE=origin/main npm run arch-docsincore/— OK (6 changed files)node scripts/build-client.mjs --checkincore/— oknode scripts/ds-bot-patches.mjs generate && node scripts/ds-bot-patches.mjs check— oknode .github/scripts/changelog.mjs check— 31 fragments well formedgit diff origin/main...HEAD --statlists only the six files in this changeNot run (and why):
dev/bench.sh): nodeepseek-harnesscheckout beside this repopackageextras (typecheck, actionlint, pack) and.github/scripts/ interop / live-e2e tests: not part of this diff