Skip to content

verify: A5's texts start and read the local router by its image Id and container - #131

Merged
rappdw merged 1 commit into
m1/c-8a515c10from
m1vm/a5-remedy-image-on-157f3bda
Oct 31, 2026
Merged

rappdw merged 1 commit into
m1/c-8a515c10from
m1vm/a5-remedy-image-on-157f3bda

Conversation

@rappdw

@rappdw rappdw commented Oct 31, 2026

Copy link
Copy Markdown
Member

Three texts an operator meets at A5 name docker/run.sh or verify without an image. Each starts or reads whatever image carries run.sh's default name, not the one A4 started.

  • The binding remedy (hub_keys). It is reached from verify's host-setup section and from hub_keys.checks.
    • It now names the host-setup document's router section: --image <digest> --name <container> --detach, through run_sh_start.
    • Both production callers pass spec.router.
    • Without a router section, the text is unchanged.
  • The absent-container remedy (router_health). It now names verify's own --image, beside the --name it already gave.
  • A5's printed verify line, and the runbook's final A5 step. They now pass --image <router.image.digest> --container <router.container>, because verify's --container also defaults to run.sh's name.

Tests:

  • Each text is pinned by a test that varies only the router section, or only verify's --image, and requires the printed value to follow it.
  • The two call sites are pinned by tests that read what reaches the binding.

This follows #127, which fixed A4's own line.

Based on m1/c-8a515c10, not main. Held as a draft. Merge is the operator's own decision.

🤖 Generated with Claude Code

…d container

Three texts an operator meets at A5 named docker/run.sh or verify
without an image, so they started or read whatever image carries
run.sh's default name, not the one A4 started:

- hub_keys' binding remedy ("start the local router with docker/run.sh
  --config ..."), reached from verify's host-setup section and from
  hub_keys.checks. It now names the host-setup document's router
  section by --image <digest> --name <container> --detach
  (run_sh_start); both callers pass spec.router. Without a router
  section it is unchanged.
- router_health's absent-container remedy, which now names verify's own
  --image beside the --name it already gave.
- A5's printed verify line (activation_sequence) and the runbook's final
  A5 step, which now pass --image <router.image.digest> --container
  <router.container>, since verify's --container also defaults to
  run.sh's name.

Each is pinned by a test that varies only the router section, or only
verify's --image, and requires the printed value to follow it; the
call sites are pinned by tests that read what reaches the binding.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@rappdw
rappdw marked this pull request as ready for review October 31, 2026 14:55
@rappdw
rappdw merged commit e37b647 into m1/c-8a515c10 Oct 31, 2026
6 checks passed
@rappdw
rappdw deleted the m1vm/a5-remedy-image-on-157f3bda branch October 31, 2026 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant