Repository navigation
Today: remove Morning brief, Needs you, Running and Agents until each is proven - #622
Conversation
…Today (eve#615) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…jection-refused's Today half, add today-trimmed (eve#615) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ted journeys (eve#615) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ur Today parts' specs (eve#615) Board, drop-in, exit and launch specs read the same AgentBoard on the Project page. Brief, Needs you and Running specs are skipped with the reason and eve#615, since no surface shows those parts now. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ure map names the re-add issues (eve#615) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
|
Verified: 7d740de · repo-suite: 836 passed, 33 skipped · devboxverify: pass=47 fail=0 blocked=1 notrun=10 (blocked: outside-adopt-codex, no codex daemon on the test machine; notrun: screen journeys) · real-app: today-trimmed, terminal-on-request, agent-board-states, agent-drop-in, agent-drop-in-pi PASS on the stack · log: /tmp/eve615-verify-stack.log, /tmp/eve615-verify-suite.log |
|
Review: no blocking findings (round 2, default model; round 1 had one blocking finding, G6.25.r1, fixed in 7d740de and confirmed by a broken mountBadge going red 3/3) |
|
merge-check: merged. approved, target, verified, contract, evidence, owner, weakening |
|
Merged by merge-check: approved, target, verified, contract, evidence, owner, weakening PASS; ci NA. |
Closes #615
Today no longer registers four parts: Morning brief, Needs you, Running and Agents (
public/home-screen.js). Their files and script tags stay; re-registering one brings it back. Re-add issues: #618 (Needs you), #619 (Running), #620 (Agents), #621 (Morning brief). The phone Today badge stays (#617). TheMorning brieftask in relayScheduler is not touched.Harness changes (devboxverify)
Each retarget reads the same
AgentBoard(same groups, rows, dots, buttons) on the acme Project page, with the same bounds and assertions. None is a weakening, except the brief half below.terminal-on-request: the board row, its last line and the tap now go through the Project page after the reload. The 15 s bound is unchanged; it starts once the page opens.agent-board-states: the phone watches the Project page. It checks Working with ring within 2 s, then Done with no animation. The badge is compared with the Project page's Needs you rows, and the tap opens the thread.agent-drop-inandagent-drop-in-pi: Drop in is read under the Project page's Needs you or Idle group. Same 2 s and 15 s bounds.brief-injection-refused: the Today half is removed, as the issue asks. That half checked the readable brief, no markup and the injection mail listed. No surface shows the brief now. The run verdict and relay's gate half are unchanged.today-trimmed: Today in Work and Home holds summary, ask, start, continue, routines and projects, and none of the four parts.test/static/frozen.jsongainstoday-trimmed. The four retargeted journeys gain theprojectsarea (contract amendment on Remove Morning brief, Needs you, Running and Agents from Today until each is proven #615).Hermetic specs
/ws, which is the fault that makes the board say "Can't reach relay.".check:coverageandcheck:staticpass.Fix attempts: 1 review round with one blocking finding: G6.25.r1 lost its badge-loaded signal. It was fixed and confirmed by a broken
mountBadgegoing red 3/3.Review: clean (round 2, default model)
Journey: today-trimmed PASS; terminal-on-request, agent-board-states, agent-drop-in, agent-drop-in-pi, brief-injection-refused PASS on a devbox stack at 374d376
Harness weakening: brief-injection-refused loses its Today half (issue criterion); all other journey and spec changes are retargets with unchanged assertions and bounds
Break-and-restore: re-registering AgentsPart made today-trimmed FAIL ("today-part-agents is on Today in Work"); restored byte for byte
Real-app check: today-trimmed and the four retargeted journeys on a devbox stack (real eve and relay, browser-driven)
Weakening reviewed: test.skip on the Morning brief, Needs you and Running specs: the parts are not on Today and no other surface shows them (#615 criterion; return with #618, #619, #621)
🤖 Generated with Claude Code