goalui.py 44 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828
  1. """The goalui bundle (moved verbatim from the pre-split web_stack_test.py;
  2. see test/harness.py for the shared machinery and the runner)."""
  3. from harness import * # noqa: F401,F403 — the shared wire helpers
  4. def run(ctx):
  5. """Plan 14 workstream B + plan 15 C1: the goal supervision surface.
  6. B1 — goal-run control parity (Retry supervision / Requeue-to-resume
  7. on the status head, the /tasks/<goal-run-id> redirect, no
  8. notify-me toggle), B2 — the plan-review remarks queue, B4 —
  9. sessions.resume_notice on the task page's session rows + the
  10. plan-17 event log page, B5 —
  11. page order, effective rules and per-task capability badges, B6 —
  12. narrative footnote weights. C1 — the single-row block world: the
  13. goal's blocks ARE the run task's rows (answered from every
  14. surface through one path; no dual rows, no stragglers, at most
  15. one review-kind block per verdict path). C4 — the goal page
  16. batch: one muted head activity line, plan between attention and
  17. tasks, answered blocks behind an expander, footnote comments.
  18. C5 — the dashboard deep-link closure: goal pile cards link the
  19. goal page, every surface settles the single row, and no
  20. goal-side store exists to hold stragglers.
  21. """
  22. auth, fake, fake_id, fake_token = ctx.auth, ctx.fake, ctx.fake_id, ctx.fake_token
  23. def run_task_of(goal_id):
  24. conn = db()
  25. try:
  26. return int(conn.execute(
  27. "select id from tasks where goal_id = ? and kind = 'goal_run'",
  28. (goal_id,)).fetchone()[0])
  29. finally:
  30. conn.close()
  31. def wait_run(status, timeout=60, what="run status"):
  32. return wait_for(lambda: task_state(auth, run_task_of(goal))["status"] == status
  33. or False, timeout=timeout, what=what)
  34. def pile_questions():
  35. return [b.get("question") for b in
  36. slot_public(auth, "/", "dashboard")["pinned"]
  37. if b.get("item_type") == "goal"]
  38. def plant_live_worker(goal_id, title="Goalui live worker"):
  39. """Goal 27 refinements — the parking guard: the goal agent parks
  40. only while its goal owns a task that could still fire a
  41. terminal transition. The scenes that script it to park plant a
  42. BLOCKED live worker first (wakeable, never dispatched)."""
  43. conn = db()
  44. conn.execute("insert into tasks (project_id, goal_id, kind, title,"
  45. " status, priority, mode, creator, created_at)"
  46. " values (1, ?, 'task', ?, 'blocked', 5, 'implement',"
  47. " 'goal', strftime('%s','now'))", (goal_id, title))
  48. conn.commit()
  49. conn.close()
  50. def open_session(task_id):
  51. """The task's newest session row (plan 16 D4: a parked round's
  52. row is closed 'parked' — still the record the CLI callbacks,
  53. the telemetry pushes and the page surfaces key on)."""
  54. conn = db()
  55. try:
  56. row = conn.execute(
  57. "select max(id) from sessions where task_id = ?",
  58. (task_id,)).fetchone()
  59. return int(row[0]) if row and row[0] else None
  60. finally:
  61. conn.close()
  62. print("== B1: the goal-run task page redirects to the goal ==")
  63. fake.goal_script = [("plan", "# Remarks plan\n\n## Steps\n\n1. First move")]
  64. act(auth, slot_public(auth, "/goals", "goals")["create"], {
  65. "project_id": "1", "title": "Goalui goal",
  66. "brief": "Drive the plan-14 goal surface end to end.",
  67. "branch_name": "goal/goalui"})
  68. conn = db()
  69. goal = conn.execute("select id from goals where title = 'Goalui goal'"
  70. ).fetchone()[0]
  71. conn.close()
  72. act(auth, goal_state(goal)["start"], {})
  73. wait_run("blocked", what="goalui goal agent parks on its plan") # plan review parks blocked
  74. run_task = run_task_of(goal)
  75. frames = directives("/tasks/%d" % run_task, auth)
  76. navigations = [d for d in frames if d.get("type") == "navigate"]
  77. check(any(d.get("uri") == "/goals/%d" % goal for d in navigations),
  78. "the goal-run task page redirects to /goals/<id> (navigate directive)")
  79. check(slot_public(auth, "/tasks/%d" % run_task, "task")["id"] == run_task,
  80. "the redirect still hydrates the task slot (sealed refresh + API readers)")
  81. status, page = http("GET", "/tasks/%d" % run_task, headers={
  82. "X-Statum-Slot": "key=%s; as_at=%s" % (auth["key"], auth["as_at"])}, timeout=15)
  83. check(status == 200, "the compiled goal-run page serves")
  84. act(auth, slot_public(auth, "/tasks", "tasks")["create"], {
  85. "project_id": "1", "title": "Goalui worker", "priority": "4",
  86. "description": "A plain worker under no goal."})
  87. conn = db()
  88. worker = conn.execute("select id from tasks where title = 'Goalui worker'"
  89. ).fetchone()[0]
  90. conn.close()
  91. check(not [d for d in directives("/tasks/%d" % worker, auth)
  92. if d.get("type") == "navigate"],
  93. "worker task pages render normally (no redirect)")
  94. state = goal_state(goal)
  95. check("toggle_notify" not in state and state.get("notify") is None,
  96. "no notify-me toggle on the goal (goals notify unconditionally)")
  97. goal_page = http_get_page(auth, "/goals/%d" % goal)
  98. check("Notify me" not in goal_page and "toggle-notify" not in goal_page,
  99. "the goal page template ships no notify control")
  100. check(state["branch_name"] == "goal/goalui" and state["base_branch"] == "main"
  101. and isinstance(state["push_branches"], list)
  102. and state["priority"] == 3
  103. and len(state["started_display"]) > 0
  104. and len(state["agent_saddle"]) > 0,
  105. "the status head carries the full field set (branch pair, chips list,"
  106. " priority, timestamps, agent saddle)")
  107. check("Retry supervision" in goal_page and "Requeue to resume" in goal_page,
  108. "the status head ships the run-control parity buttons")
  109. check("status-corner" not in goal_page and "goal complete" not in goal_page
  110. and "badge-yeehaw" not in goal_page,
  111. "no yeehaw badge remains anywhere (the feature died with the entry stream)")
  112. check(goal_state(goal)["current_activity"] == "parked awaiting the plan review",
  113. "the head line reads 'parked awaiting the plan review' while one is open")
  114. goal_page = http_get_page(auth, "/goals/%d" % goal)
  115. check(goal_page.index("Goal agent blocks") < goal_page.index("<h3>Plan</h3>")
  116. < goal_page.index("<h3>Tasks</h3>"),
  117. "the plan section sits between attention and tasks")
  118. check("data-plan-review" in goal_page and "Approved plan &amp; revisions" in goal_page,
  119. "an open review renders expanded beside the collapsed approved-plan expander")
  120. print("== B2: the plan-review remarks queue ==")
  121. check(goal_state(goal)["status"] == "plan_review"
  122. and goal_state(goal)["plan_pending_block"] is not None,
  123. "the goal sits in plan review with a pending block")
  124. goal_page = http_get_page(auth, "/goals/%d" % goal)
  125. review_at = goal_page.index("data-plan-review")
  126. check(review_at > 0, "the plan review region is marked for the remarks queue")
  127. check(goal_page.index('data-block-id="goal.plan_pending_block.id"') > 0,
  128. "the queue keys on the pending goal block id")
  129. body_at = goal_page.index('data-plan-body')
  130. remarks_at = goal_page.index("data-plan-remarks")
  131. check(body_at < remarks_at,
  132. "the remarks queue renders at the bottom of the plan body")
  133. for marker in ("data-plan-accept", "data-plan-toggle", "data-plan-submit"):
  134. check(marker in goal_page, "the remarks queue ships %s" % marker)
  135. # The queue ENGINE moved out of the inline page script into the
  136. # shared app.js (main.html's <script pstm-res-src="app.js">, the
  137. # theming commits): the page keeps the review markup and the
  138. # wiring, the engine keeps the machinery. The engine is asserted
  139. # on the SERVED bundle the page loads (the pages.py statum.js
  140. # pattern); main.html ships it ahead of the page's own script,
  141. # so the wiring below cannot run before the engine exists.
  142. status, app_js = http("GET", "/_statum/resource/app.js", timeout=15)
  143. check(status == 200 and "window.initPlanReviews" in app_js,
  144. "the served app.js ships the shared initPlanReviews engine")
  145. check("window.initPlanReviews" in goal_page,
  146. "the goal page references the shared engine (its review rides it)")
  147. for marker in ("data-plan-remove", "plan-popover", "remarksByBlock"):
  148. check(marker in app_js, "the remarks queue ships %s" % marker)
  149. check("(index + 1) + '. '" in app_js,
  150. "the rejection payload numbers every queued remark")
  151. check("rejectOpenByBlock" in app_js and "statum.afterEvaluate(syncPlanRemarks)" in app_js,
  152. "the queue survives pulse refreshes (maps outside statum re-renders)")
  153. # The rejection payload exactly as the client composes it: the
  154. # stable verdict wording, then each remark NUMBERED in queue order
  155. # with its quote prefixed like a comment.
  156. payload = ("Plan feedback received:\n\n"
  157. "> ## Steps\n\n1. First move\n\n"
  158. "1. Add a rollback step\n\n"
  159. "2. Name the owner of the migration")
  160. act(auth, goal_state(goal)["plan_pending_block"]["answer_action"],
  161. {"answer": payload})
  162. state = goal_state(goal)
  163. check(state["status"] == "planning",
  164. "the remarks rejection returns the agent to planning")
  165. rejected = [r for r in state["plan_revisions"] if r.get("answered")]
  166. check(any(r["answer"] == payload for r in rejected),
  167. "the rejection carries the remarks verbatim, in order")
  168. check(payload.index("1. Add a rollback step") < payload.index("2. Name the owner"),
  169. "the numbering is queue-ordered")
  170. print("== B4: resume_notice lands on the resumed session row ==")
  171. fake.goal_script = [("question", "Which datastore?", ["SQLite", "Redis"])]
  172. check(wait_for(lambda: goal_state(goal)["status"] == "planning" or False,
  173. timeout=30, what="rejection observed") is not None,
  174. "the agent revises")
  175. # The parked plan agent resumes with the verdict; the next round
  176. # raises the scripted question.
  177. check(wait_for(lambda: any(b["question"] == "Which datastore?"
  178. and not b.get("answered")
  179. for b in goal_state(goal)["blocks"]) or False,
  180. timeout=60, what="question raised") is not None,
  181. "the resumed agent raises its question")
  182. conn = db()
  183. notices = dict(conn.execute(
  184. "select id, resume_notice from sessions where task_id = ?", (run_task,)
  185. ).fetchall())
  186. conn.close()
  187. resumed_ids = [i for i, text in notices.items() if text]
  188. fresh_ids = [i for i, text in notices.items() if not text]
  189. check(len(resumed_ids) >= 1 and any("Plan feedback received" in notices[i]
  190. for i in resumed_ids),
  191. "the resumed session stores the notice it was allocated")
  192. check(min(notices) in fresh_ids,
  193. "session 1 (the fresh opening round) carries no resume notice")
  194. print("== C1: the single run-task row IS the goal's block ==")
  195. check("Which datastore?" in pile_questions(),
  196. "the open goal question pins onto the dashboard pile")
  197. goal_rows = [b for b in goal_state(goal)["blocks"]
  198. if b["question"] == "Which datastore?"]
  199. run_rows = [b for b in task_state(auth, run_task)["blocks"]
  200. if b["question"] == "Which datastore?"]
  201. check(len(run_rows) == 1 and len(goal_rows) == 1
  202. and int(run_rows[0]["id"]) == int(goal_rows[0]["id"]),
  203. "the goal page and the run task read the SAME single row")
  204. pile_card = [b for b in slot_public(auth, "/", "dashboard")["pinned"]
  205. if b.get("question") == "Which datastore?"][0]
  206. check(pile_card.get("item_type") == "goal"
  207. and int(pile_card.get("goal_id") or 0) == goal
  208. and int(pile_card.get("id") or 0) == int(run_rows[0]["id"])
  209. and pile_card.get("goal_title") == "Goalui goal",
  210. "the pile card is the run-task row styled as a goal item")
  211. act(auth, [b for b in goal_state(goal)["blocks"]
  212. if b["question"] == "Which datastore?" and not b.get("answered")]
  213. [0]["answer_action"], {"option": "SQLite"})
  214. conn = db()
  215. unanswered = conn.execute(
  216. "select count(*) from task_blocks where question = 'Which datastore?'"
  217. " and answer is null").fetchone()[0]
  218. conn.close()
  219. check(unanswered == 0, "answering from the goal page closes the single row")
  220. check("Which datastore?" not in pile_questions(),
  221. "the answered row no longer pins the dashboard pile")
  222. # The task-page deep link (the AnswerBlockAction API surface)
  223. # answers the SAME row through the one goal path — there is no
  224. # second row to sweep and no stale copy can survive.
  225. conn = db()
  226. conn.execute("insert into task_blocks (task_id, type, question, created_at)"
  227. " values (?, 'question', 'Deep link probe?',"
  228. " strftime('%s','now'))", (run_task,))
  229. conn.commit()
  230. conn.close()
  231. check("Deep link probe?" in pile_questions(),
  232. "the fixture row pins like any goal question")
  233. deep_block = [b for b in task_state(auth, run_task)["blocks"]
  234. if b["question"] == "Deep link probe?" and not b.get("answered")][0]
  235. act(auth, deep_block["answer_action"], {"answer": "Answered via the deep link"})
  236. conn = db()
  237. answered_row = conn.execute(
  238. "select answer from task_blocks where question = 'Deep link probe?'"
  239. ).fetchone()[0]
  240. tables = {r[0] for r in conn.execute(
  241. "select name from sqlite_master where type = 'table'").fetchall()}
  242. conn.close()
  243. check(answered_row == "Answered via the deep link",
  244. "the task-page deep link answers the same single row (the API path)")
  245. check("Deep link probe?" not in pile_questions(),
  246. "the deep-link answer closes the pile card too")
  247. check("goal_blocks" not in tables,
  248. "the goal_blocks table is gone (run-task blocks are canonical)")
  249. print("== C5: deep-link closure on the single-row world ==")
  250. # The pile card's goal item deep-links the goal page (the answer
  251. # surface); answering from either surface settled THE row above.
  252. home_markup = http_get_page(auth, "/")
  253. check("'/goals/' + blockview.goal_id" in home_markup,
  254. "the pile card deep-links the goal page for goal items")
  255. conn = db()
  256. dupes = conn.execute(
  257. "select count(*) from (select question from task_blocks where task_id = ?"
  258. " group by question having count(*) > 1)", (run_task,)).fetchone()[0]
  259. stragglers = conn.execute(
  260. "select count(*) from task_blocks where task_id = ? and answer is null",
  261. (run_task,)).fetchone()[0]
  262. goal_side_tables = [r[0] for r in conn.execute(
  263. "select name from sqlite_master where type = 'table'"
  264. " and name in ('goal_blocks','goal_comments','goal_events')").fetchall()]
  265. conn.close()
  266. check(dupes == 0 and stragglers == 0,
  267. "one row per question on the run task, none left unanswered")
  268. check(not goal_side_tables,
  269. "no goal-side store exists — historical stragglers are impossible")
  270. print("== B4: resume notices on the session rows + the event log page ==")
  271. plant_live_worker(goal)
  272. fake.goal_script = [("suspend",)]
  273. check(wait_for(lambda: task_state(auth, run_task)["status"] == "suspended"
  274. or False, timeout=60, what="agent parks suspended") is not None,
  275. "the agent parks suspended for the requeue scenario")
  276. sessions = task_state(auth, run_task)["sessions"]
  277. ids = [int(s["id"]) for s in sessions]
  278. check(ids == sorted(ids, reverse=True),
  279. "the task page's session history lists newest-first")
  280. # Recompute at the check point: the C1 answers above each
  281. # resumed the agent too, so the earlier snapshot would go stale.
  282. conn = db()
  283. resumed_ids = [int(i) for (i, text) in conn.execute(
  284. "select id, resume_notice from sessions where task_id = ?",
  285. (run_task,)).fetchall() if text]
  286. conn.close()
  287. notices_by_id = {int(s["id"]): s.get("notice") or "" for s in sessions}
  288. check(set(i for i in ids if notices_by_id[i]) == set(resumed_ids),
  289. "the session rows' notice column rides exactly the notice-carrying sessions")
  290. check(any("Plan feedback received" in notices_by_id[i] for i in resumed_ids),
  291. "a resumed session's row shows the stored resume notice")
  292. log_state = slot_public(auth, "/tasks/%d/log" % run_task, "task_log")
  293. check(log_state.get("exists") is True and int(log_state["task_id"]) == run_task
  294. and log_state["task_url"] == "/tasks/%d" % run_task,
  295. "the event log page hydrates the run-task header")
  296. log_page = http_get_page(auth, "/tasks/%d/log" % run_task)
  297. # The SSE client ships as the compiled task_log.js resource (plan 17
  298. # b3+): the page references it and the resource carries the code.
  299. status, log_js = http("GET", "/_statum/resource/task_log.js", timeout=15)
  300. check(status == 200 and "task_log.js" in log_page
  301. and "EventSource" in log_js and "events/stream" in log_js
  302. and "data-log-feed" in log_page,
  303. "the log page subscribes to the ledger's SSE stream")
  304. check(goal_state(goal)["runs"][0]["terminal_url"] == "/tasks/%d/log" % run_task,
  305. "the goal runs table links the event log")
  306. print("== B1: requeue-to-resume from the goal head ==")
  307. conn = db()
  308. conn.execute("update saddles set status = 'offline' where id = ?", (fake_id,))
  309. conn.commit()
  310. conn.close()
  311. def requeue_offered():
  312. # Act on the SAME state that satisfied the wait: a second read
  313. # once raced the scripted daemon's ask reviving the saddle row,
  314. # and the conditionally-authored action vanished between the
  315. # two reads (KeyError on act).
  316. offered = goal_state(goal)
  317. return offered if offered.get("requeue_run") is not None else False
  318. state = wait_for(requeue_offered, timeout=30, what="requeue offered")
  319. check(state is not None,
  320. "a parked run on a dead saddle offers Requeue-to-resume")
  321. check(state.get("retry_run") is None,
  322. "an active goal offers no Retry supervision")
  323. conn = db()
  324. before_requeue = conn.execute(
  325. "select id, outcome from sessions where task_id = ?"
  326. " order by id desc limit 1", (run_task,)).fetchone()
  327. conn.close()
  328. check(tuple(before_requeue) == (open_session(run_task), "parked"),
  329. "the parked round's newest session row closed 'parked' (D4)")
  330. def parked_session_ended():
  331. # D4: the parked row is ALREADY closed at its park — the pin
  332. # keeps guarding the restore-on-dispatch successor shape (the
  333. # requeue may not resurrect the OLD row; a fresh round opens
  334. # its own).
  335. conn = db()
  336. try:
  337. return conn.execute(
  338. "select ended_at is not null from sessions where id = ?",
  339. (before_requeue[0],)).fetchone()[0] == 1
  340. finally:
  341. conn.close()
  342. act(auth, state["requeue_run"], {})
  343. check(task_state(auth, run_task)["status"] == "queued",
  344. "the requeue returns the run to the queue")
  345. # The parked round's own row must stay closed (the
  346. # restore-on-dispatch successor opens a FRESH session row — the
  347. # check keys the old row, never the task's transient open window).
  348. check(wait_for(parked_session_ended, timeout=60,
  349. what="parked session closed") is not None,
  350. "the requeue leaves the parked session row closed (fresh round, fresh row)")
  351. conn = db()
  352. conn.execute("update saddles set status = 'idle' where id = ?", (fake_id,))
  353. conn.commit()
  354. conn.close()
  355. fake.goal_script = [("suspend",)]
  356. plant_live_worker(goal, "Goalui live worker two")
  357. check(wait_for(lambda: task_state(auth, run_task)["status"] == "suspended"
  358. or False, timeout=60, what="requeued run re-dispatches") is not None,
  359. "the requeued run re-dispatches and re-parks")
  360. fresh_session = open_session(run_task)
  361. conn = db()
  362. fresh_notice = conn.execute(
  363. "select resume_notice from sessions where id = ?", (fresh_session,)
  364. ).fetchone()[0]
  365. conn.close()
  366. check(fresh_notice is None,
  367. "a requeue's fresh session carries no resume notice (empty panel state)")
  368. print("== B1: Retry supervision revives a failed goal ==")
  369. fake.push_results("failed", summary="the supervision collapsed (scripted)")
  370. check(wait_for(lambda: goal_state(goal)["status"] == "failed" or False,
  371. timeout=30, what="goal fails") is not None,
  372. "the run's failure fails the goal")
  373. check(wait_for(lambda: goal_state(goal).get("retry_run") is not None
  374. or False, timeout=30, what="retry offered") is not None,
  375. "a failed goal offers Retry supervision")
  376. fake.goal_script = [("suspend",)]
  377. plant_live_worker(goal, "Goalui live worker three")
  378. act(auth, goal_state(goal)["retry_run"], {})
  379. state = goal_state(goal)
  380. check(state["status"] == "active",
  381. "the retry revives supervision (goal back to active)")
  382. check(task_state(auth, run_task)["status"] in ("queued", "assigned", "working",
  383. "suspended", "blocked"),
  384. "the retry re-offered the run task")
  385. check(wait_for(lambda: task_state(auth, run_task)["status"] == "suspended"
  386. or False, timeout=60, what="retried supervision parks") is not None,
  387. "the retried supervision dispatches and parks again")
  388. state = goal_state(goal)
  389. check(any(e["kind"] == "system" and "Supervision retried" in e["text"]
  390. for e in state["events"]),
  391. "the narrative records the supervision retry (a system row)")
  392. print("== B5 + C4: order, effective rules, capability badges ==")
  393. goal_page = http_get_page(auth, "/goals/%d" % goal)
  394. markers = [
  395. ('class="card goal-head"', "status head"),
  396. ("Agent progress", "progress"),
  397. ("Goal agent blocks", "attention blocks"),
  398. ("<h3>Plan</h3>", "plan"),
  399. ("<h3>Tasks</h3>", "tasks"),
  400. ("Initial brief", "brief"),
  401. ("Involved projects", "projects"),
  402. ("<h3>Rules</h3>", "rules"),
  403. ("Supervision narrative", "narrative"),
  404. ("<h3>Comments</h3>", "comments"),
  405. ("Goal agent runs", "runs"),
  406. ]
  407. positions = []
  408. for marker, _ in markers:
  409. check(marker in goal_page, "the goal page ships the %s section" % _)
  410. positions.append(goal_page.index(marker))
  411. check(positions == sorted(positions),
  412. "the page reads status → progress → attention → plan → tasks → brief →"
  413. " rules → narrative → comments → runs (in order)")
  414. check("goal.current_activity" in goal_page and "Current activity" not in goal_page,
  415. "the activity lives as ONE muted head line (the card is gone)")
  416. check(".goal-page .card" in open(os.path.join(REPO, "src/pages/app.css")).read(),
  417. "the stylesheet restores the goal page's card rhythm (padding regression)")
  418. rules_state = slot_public(auth, "/rules", "rules")
  419. act(auth, rules_state["create"], {"name": "goalui-primary", "body": "Primary rule"})
  420. act(auth, rules_state["create"], {"name": "goalui-codev", "body": "Co-dev rule"})
  421. act(auth, rules_state["create"], {"name": "goalui-ref", "body": "Reference rule"})
  422. conn = db()
  423. rule_ids = {name: int(conn.execute("select id from rules where name = ?",
  424. (name,)).fetchone()[0])
  425. for name in ("goalui-primary", "goalui-codev", "goalui-ref")}
  426. conn.execute("insert into rule_projects (rule_id, project_id, created_at)"
  427. " values (?, 1, strftime('%s','now'))", (rule_ids["goalui-primary"],))
  428. conn.execute("insert into projects (name, git_url, default_branch, created_at)"
  429. " values ('goalui-codev-project', 'https://example.com/g.git',"
  430. " 'main', strftime('%s','now'))")
  431. codev_project = conn.execute(
  432. "select id from projects where name = 'goalui-codev-project'").fetchone()[0]
  433. conn.execute("insert into projects (name, git_url, default_branch, created_at)"
  434. " values ('goalui-ref-project', 'https://example.com/r.git',"
  435. " 'main', strftime('%s','now'))")
  436. ref_project = conn.execute(
  437. "select id from projects where name = 'goalui-ref-project'").fetchone()[0]
  438. conn.execute("insert into rule_projects (rule_id, project_id, created_at)"
  439. " values (?, ?, strftime('%s','now'))",
  440. (rule_ids["goalui-codev"], codev_project))
  441. conn.execute("insert into rule_projects (rule_id, project_id, created_at)"
  442. " values (?, ?, strftime('%s','now'))",
  443. (rule_ids["goalui-ref"], ref_project))
  444. conn.commit()
  445. conn.close()
  446. act(auth, goal_state(goal)["add_link"], {"linked_project_id": str(codev_project),
  447. "relationship": "co-developed"})
  448. act(auth, goal_state(goal)["add_link"], {"linked_project_id": str(ref_project),
  449. "relationship": "reference"})
  450. rule_names = [r["name"] for r in goal_state(goal)["rules"]]
  451. check(rule_names == ["goalui-primary", "goalui-codev"],
  452. "the Rules section lists the goal's effective set (primary then"
  453. " co-developed; reference contributes nothing)")
  454. act(auth, slot_public(auth, "/saddles", "saddles")["create_capability"],
  455. {"name": "goalui-capability"})
  456. conn = db()
  457. capability = conn.execute(
  458. "select id from capabilities where name = 'goalui-capability'"
  459. ).fetchone()[0]
  460. # The early redirect-fixture worker joins the goal (a fanned
  461. # worker's shape) so its row carries the badge too.
  462. conn.execute("update tasks set goal_id = ? where id = ?", (goal, worker))
  463. conn.execute("insert into task_capabilities (task_id, capability_id)"
  464. " values (?, ?)", (worker, capability))
  465. conn.commit()
  466. conn.close()
  467. goal_worker = {"id": worker, "caps": None}
  468. act(auth, slot_public(auth, "/tasks", "tasks")["create"], {
  469. "project_id": "1", "title": "Goalui fanned worker", "priority": "4",
  470. "description": "A worker the agent fanned out."})
  471. conn = db()
  472. fanned = conn.execute(
  473. "select id from tasks where title = 'Goalui fanned worker'").fetchone()[0]
  474. conn.execute("update tasks set goal_id = ? where id = ?", (goal, fanned))
  475. conn.execute("insert into task_capabilities (task_id, capability_id)"
  476. " values (?, ?)", (fanned, capability))
  477. conn.commit()
  478. conn.close()
  479. rows = {int(t["id"]): t for t in goal_state(goal)["goal_tasks"]}
  480. check(rows[fanned].get("capabilities") == ["goalui-capability"]
  481. and rows[worker].get("capabilities") == ["goalui-capability"],
  482. "task rows carry their required capability tags")
  483. goal_page = http_get_page(auth, "/goals/%d" % goal)
  484. check('stm-for-capability-in="goal_task.capabilities"' in goal_page
  485. and "badge-capability" in goal_page,
  486. "the task rows render capability badges")
  487. print("== B6: narrative weights — events full, comments footnote ==")
  488. # An AGENT remark rides the ledger as a comment event (human
  489. # comments only thread) — pushed through the events channel while
  490. # parked, so the suspended state stays put.
  491. fake.push_events([{"kind": "comment", "actor": "model",
  492. "payload": {"author": "agent",
  493. "body": "An agent aside."}}])
  494. check(wait_for(lambda: any(e["kind"] == "comment"
  495. for e in goal_state(goal)["events"]) or False,
  496. timeout=15, what="comment event lands") is not None,
  497. "an agent comment lands as a narrative event")
  498. goal_page = http_get_page(auth, "/goals/%d" % goal)
  499. check("stm-attribute.class=\"'goal-event' + (event.kind == 'comment'"
  500. " ? ' footnote' : '')\"" in goal_page.replace("\n", " ").replace(" ", " ")
  501. or "'goal-event' + (event.kind == 'comment' ? ' footnote' : '')" in goal_page,
  502. "the WHOLE comment event row carries .footnote (badge included)")
  503. check("'badge badge-goal-' + event.kind" in goal_page,
  504. "non-comment events keep their full-weight kind badges")
  505. css = open(os.path.join(REPO, "src/pages/app.css")).read()
  506. check(".goal-event.footnote" in css and ".footnote {" in css,
  507. "the stylesheet ships the footnote row weight beside the utility")
  508. print("== C2: system rows render distinctly on the ONE thread ==")
  509. run_comments = task_state(auth, run_task)["comments"]
  510. system_rows = [c for c in run_comments if c.get("is_system")]
  511. check(system_rows and all(c["author"] == "system" for c in system_rows)
  512. and not any(c.get("from_agent") for c in system_rows),
  513. "the harness bookkeeping rows are authored 'system' (never agent)")
  514. goal_thread = goal_state(goal)["comments"]
  515. check(any(c.get("is_system") for c in goal_thread),
  516. "the goal page reads the same thread (the system rows included)")
  517. css = open(os.path.join(REPO, "src/pages/app.css")).read()
  518. check(".comment.system" in css and ".system-label" in css,
  519. "the stylesheet ships the distinct system-event styling")
  520. page = http_get_page(auth, "/goals/%d" % goal)
  521. check("comment.is_system" in page and "system-label" in page,
  522. "the goal page renders system rows with the labelled muted style")
  523. task_page = http_get_page(auth, "/tasks/%d" % worker)
  524. check("comment.is_system" in task_page and "system-label" in task_page,
  525. "the task page renders system rows with the same style")
  526. print("== S5 U2: mechanical rows filtered from user-facing timelines ==")
  527. # The daemon's mechanical system remarks (the park notice, the
  528. # restore footnote) ride the ledger as harness comment events: the
  529. # event row STORES, but no comment row, narrative event or
  530. # dashboard timeline row renders for them.
  531. open_run = open_session(run_task)
  532. mechanical = [
  533. {"seq": 9501, "kind": "comment", "actor": "harness",
  534. "payload": {"author": "system",
  535. "body": "goal agent parked until an owned task"
  536. " completes or fails"}},
  537. {"seq": 9502, "kind": "comment", "actor": "harness",
  538. "payload": {"author": "system",
  539. "body": "[harness] session context restored — task resumed"}},
  540. ]
  541. status, body = saddle_api("POST", "/api/saddle/chunks", fake_token,
  542. {"session_id": open_run, "events": mechanical})
  543. check(status == 200 and int(body.get("stored") or 0) == 2,
  544. "the mechanical harness remarks store on the ledger")
  545. check(all("parked until" not in c["body"]
  546. and "session context restored" not in c["body"]
  547. for c in task_state(auth, run_task)["comments"]),
  548. "no mechanical comment row lands on the thread (U2)")
  549. check(all("parked until" not in e["text"]
  550. and "session context restored" not in e["text"]
  551. for e in goal_state(goal)["events"]),
  552. "no mechanical narrative event lands on the goal page (U2)")
  553. dash_events = slot_public(auth, "/", "dashboard")["activity"]
  554. check(all("parked until" not in e["text"]
  555. and "session context restored" not in e["text"]
  556. for e in dash_events),
  557. "no mechanical row lands on the dashboard timeline (U2)")
  558. print("== C4: head line, answered-blocks expander, footnote comments ==")
  559. state = goal_state(goal)
  560. # (Goal 27 refinements: the parking guard can hand the run a
  561. # refusal resume between rounds — the parked head line is the
  562. # settled state, not a transient working blip.)
  563. check(wait_for(lambda: goal_state(goal)["current_activity"]
  564. == "parked awaiting its tasks' terminal transitions"
  565. or False, timeout=60, what="run settles parked")
  566. is not None,
  567. "a suspended run folds into the one muted head line")
  568. check(len(state.get("answered_blocks") or []) >= 2
  569. and len(state.get("open_blocks") or []) == 0,
  570. "the historic answered blocks expose as their own vector (open ones empty)")
  571. goal_page = http_get_page(auth, "/goals/%d" % goal)
  572. check("Answered blocks (" in goal_page and "comment-meta" in goal_page,
  573. "the answered blocks and the footnote comment meta ship in the markup")
  574. check("timeless note for a future reader" in goal_page,
  575. "the composer hint states the timeless-comment rule")
  576. css = open(os.path.join(REPO, "src/pages/app.css")).read()
  577. check(".goal-page .card { margin-bottom" in css and ".comment-meta" in css,
  578. "the stylesheet ships the card rhythm and the comment footnote meta")
  579. print("== C1: one review block per verdict path (F6) ==")
  580. # The daemon's honest round pushes the ENTRY and the STATE
  581. # together — the done pair must raise exactly ONE completion
  582. # block, and a redelivered pair nothing more.
  583. fake.goal_script = [("done", "# Completion\n\nOne block only.")]
  584. conn = db()
  585. conn.execute("insert into tasks (project_id, goal_id, kind, title, status,"
  586. " priority, completed_at, created_at) values (1, ?, 'task',"
  587. " 'Warmup', 'done', 5,"
  588. " strftime('%s','now'),"
  589. " strftime('%s','now','-30 seconds'))", (goal,))
  590. conn.commit()
  591. conn.close()
  592. check(wait_for(lambda: goal_state(goal)["status"] == "completion_review" or False,
  593. timeout=60, what="goalui completion review opens") is not None,
  594. "the scripted done round enters completion review")
  595. def completion_block_count():
  596. conn = db()
  597. try:
  598. return conn.execute(
  599. "select count(*) from task_blocks where task_id = ?"
  600. " and type = 'completion'", (run_task,)).fetchone()[0]
  601. finally:
  602. conn.close()
  603. check(completion_block_count() == 1,
  604. "the done state raises exactly ONE completion block")
  605. # Plan 16 S5 (U1): the verdict-shaped block renders the rich review
  606. # form — explicit accept/reject affordances with the free-text
  607. # feedback path, never a free-text-only verdict.
  608. goal_page = http_get_page(auth, "/goals/%d" % goal)
  609. check("Accept goal" in goal_page and "Reject with feedback" in goal_page
  610. and 'name="feedback"' in goal_page,
  611. "the completion review presents explicit accept/reject + free-text feedback (U1)")
  612. # The burst shape: the done STATE redelivered under the run's
  613. # newest session (the entries channel is gone — the report rides
  614. # the summary) — the pending-report idempotency leaves the one
  615. # row alone.
  616. conn = db()
  617. burst_session = conn.execute(
  618. "select max(id) from sessions where task_id = ?",
  619. (run_task,)).fetchone()[0]
  620. conn.close()
  621. status, _ = saddle_api("POST", "/api/saddle/results", fake_token,
  622. {"session_id": burst_session, "state": "done",
  623. "summary": "# Completion\n\nOne block only."})
  624. check(status == 200 and completion_block_count() == 1,
  625. "a redelivered done push raises nothing more (one block, ever)")
  626. state = goal_state(goal)
  627. act(auth, state["completion_pending_block"]["answer_action"],
  628. {"verdict": "accept"})
  629. check(wait_for(lambda: goal_state(goal)["status"] == "complete" or False,
  630. timeout=30, what="goalui goal completes") is not None,
  631. "accepting the completion completes the goal")
  632. check(completion_block_count() == 1,
  633. "the accept path leaves exactly one review-kind block behind")
  634. conn = db()
  635. stragglers = conn.execute(
  636. "select count(*) from task_blocks where task_id = ? and answer is null",
  637. (run_task,)).fetchone()[0]
  638. conn.close()
  639. check(stragglers == 0,
  640. "no unanswered straggler rows survive the completion")
  641. print("== S2: server-owned verdicts + the container-resolved reject ==")
  642. # A fresh goal drives the verdict paths the goal page's forms now
  643. # use: verdict markers for accept, raw `feedback` for reject, and
  644. # the block resolution living in the review CONTAINER (not
  645. # goal.plan_pending_block — the diagnosed completion-review bug).
  646. fake.goal_script = [("plan", "# S2 plan\n\nOne step")]
  647. act(auth, slot_public(auth, "/goals", "goals")["create"], {
  648. "project_id": "1", "title": "S2 verdict goal",
  649. "brief": "Covers the plan-16 S2 verdict paths.",
  650. "branch_name": "goal/s2-verdicts"})
  651. conn = db()
  652. s2_goal = int(conn.execute(
  653. "select id from goals where title = 'S2 verdict goal'").fetchone()[0])
  654. conn.close()
  655. act(auth, goal_state(s2_goal)["start"], {})
  656. check(wait_for(lambda: goal_state(s2_goal)["status"] == "plan_review" or False,
  657. timeout=90, what="S2 goal enters plan review") is not None,
  658. "the S2 goal enters plan review")
  659. s2_state = goal_state(s2_goal)
  660. s2_pending = s2_state["plan_pending_block"]
  661. # (1) A remark-less, text-less rejection is refused: the action
  662. # errors and the block keeps waiting.
  663. refusal = act(auth, s2_pending["answer_action"], {"feedback": " "})
  664. check(any(d.get("type") == "notify" and d.get("kind") == "error"
  665. and "answer is required" in (d.get("message") or "").lower()
  666. for d in refusal),
  667. "a remark-less, text-less rejection is refused with an error")
  668. conn = db()
  669. s2_still_open = conn.execute(
  670. "select answer from task_blocks where id = ?",
  671. (s2_pending["id"],)).fetchone()[0]
  672. conn.close()
  673. check(s2_still_open is None,
  674. "the refused rejection leaves the block unanswered")
  675. # (3) The goal page template ships no verdict constants and its
  676. # script resolves the review block from ANY [data-plan-review]
  677. # container via the open-blocks list (the completion-review fix);
  678. # the reject flow itself lives in the shared app.js engine
  679. # (app_js fetched in B2 above).
  680. # Fetched while the review is open so the accept form renders.
  681. s2_page = http_get_page(auth, "/goals/%d" % s2_goal)
  682. check("Plan approved. Proceed with implementation." not in s2_page
  683. and "Review approved. Continue with the task." not in s2_page,
  684. "the goal page ships no verdict constants (server-owned wording)")
  685. check('name="verdict" value="accept"' in s2_page,
  686. "the goal page's accept forms post the verdict marker")
  687. check("resolveReviewBlock" in s2_page and "goal.open_blocks" in s2_page,
  688. "the reject flow resolves its block from the open-blocks list (container-keyed)")
  689. check("statum.act(block.answer_action, { feedback: feedback })" in app_js,
  690. "the reject flow posts raw feedback (the server wraps the prefix)")
  691. check("extraText.length === 0" in app_js,
  692. "a remark-less rejection with textarea content is allowed (S2)")
  693. # (2) The goal page's reject rides `feedback` (the client composes
  694. # the numbered-remarks body) and the SERVER wraps it with the plan
  695. # prefix — byte-identical to the historical client-built answer.
  696. act(auth, s2_pending["answer_action"],
  697. {"feedback": "> ## One step\n\n1. Tighten it\n\n2. Name the owner"})
  698. conn = db()
  699. s2_wrapped = conn.execute(
  700. "select answer from task_blocks where id = ?",
  701. (s2_pending["id"],)).fetchone()[0]
  702. conn.close()
  703. check(s2_wrapped
  704. == "Plan feedback received:\n\n"
  705. "> ## One step\n\n1. Tighten it\n\n2. Name the owner",
  706. "the plan rejection wraps the client-shaped body with the stable prefix (%r)"
  707. % s2_wrapped)
  708. check(goal_state(s2_goal)["status"] == "planning",
  709. "the feedback rejection returns the agent to planning")
  710. # =====================================================================
  711. # Task 12 (goal half): the draft brief-card editor.
  712. # =====================================================================
  713. print("== task 12: the draft goal brief editor ==")
  714. # A fresh DRAFT goal (the fixtures above are all started): the
  715. # brief card carries the in-place editor with title/brief/priority
  716. # prefilled from state, goal.update saves through the sealed
  717. # action, and START removes the editor (the brief locks).
  718. act(auth, slot_public(auth, "/goals", "goals")["create"], {
  719. "project_id": "1", "title": "Editable draft goal",
  720. "brief": "The original brief.",
  721. "branch_name": "goal/editable-draft"})
  722. conn = db()
  723. edit_goal = conn.execute(
  724. "select id from goals where title = 'Editable draft goal'"
  725. ).fetchone()[0]
  726. conn.close()
  727. draft = goal_state(edit_goal)
  728. check("update" in draft,
  729. "a draft goal's state carries the update action (the editor's save)")
  730. goal_page = http_get_page(auth, "/goals/%d" % edit_goal)
  731. check('stm-if="goal.update != null"' in goal_page
  732. and 'data-lf-toggle>Edit</button>' in goal_page,
  733. "the brief card renders the draft-only Edit button")
  734. check('data-lf-src="goal.brief"' in goal_page
  735. and 'data-lf-src="goal.title"' in goal_page
  736. and 'data-lf-src="goal.priority"' in goal_page,
  737. "the editor prefills title, brief and priority from state"
  738. " (stm-attribute.value cannot carry a textarea)")
  739. act(auth, draft["update"], {"title": "Editable draft goal (edited)",
  740. "brief": "The edited brief.",
  741. "priority": "7"})
  742. saved = goal_state(edit_goal)
  743. check(saved["title"] == "Editable draft goal (edited)"
  744. and saved["brief"] == "The edited brief."
  745. and saved["priority"] == 7,
  746. "the draft edit round-trips title, brief and priority"
  747. " (draft priority is finally changeable)")
  748. # The draft-only guard is server-side: start the goal, then the
  749. # update action is gone from state (the editor with it).
  750. act(auth, saved["start"], {})
  751. check(wait_for(lambda: goal_state(edit_goal)["status"] != "draft"
  752. or False, what="editable draft goal starts"),
  753. "the edited draft goal starts")
  754. check("update" not in goal_state(edit_goal),
  755. "a started goal's state carries no update action (the brief locked)")
  756. # The server-side guard: replaying the (still-valid) sealed
  757. # update action against the now-started goal must refuse — the
  758. # editor's disappearance is UI, the refusal is enforcement.
  759. replay = act(auth, draft["update"], {"brief": "Sneaked brief."})
  760. check(any(d.get("type") == "notify" and d.get("kind") == "error"
  761. for d in replay),
  762. "the draft-only guard refuses an edit replay against a started goal")
  763. check(goal_state(edit_goal)["brief"] == "The edited brief.",
  764. "the refused replay left the brief unchanged")
  765. print("== goal 4 t1: force-wake action stays unoffered unless parked ==")
  766. # The page template ships the gated button markup statically (the
  767. # stm-if hides it client-side), so absence is asserted on the SLOT
  768. # STATE: the action is not AUTHORED. The offered pair (parked run)
  769. # is covered by the goals bundle, which owns a parked run.
  770. check(goal_state(edit_goal).get("force_wake") is None,
  771. "a non-parked (planning) goal state offers no force-wake action")
  772. conn = db()
  773. any_goal = conn.execute(
  774. "select id from goals where status = 'draft' order by id limit 1").fetchone()
  775. plain = conn.execute(
  776. "select id from tasks where status != 'suspended'"
  777. " and kind = 'task' order by id limit 1").fetchone()
  778. conn.close()
  779. if any_goal:
  780. check(goal_state(int(any_goal[0])).get("force_wake") is None,
  781. "a draft goal state offers no force-wake action")
  782. if plain:
  783. check(task_state(auth, int(plain[0])).get("force_wake") is None,
  784. "a non-suspended task state offers no force-wake action")