rounds: install-update reads the daemon's whole /health (r276's harness block) #45

Open
caoer115 wants to merge 0 commits from agent/b44d758c-health-read into main
Owner

Harness-only, off main 4d7609b (ruling (p)); merges with #44 at the leader's window after r277 and r278 pass.

  • rounds/round-host.sh wrote the install-update row's daemon line as curl …/health | head -c 300, and the check at :442 greps that line for the core's sha or tag. cccd v1.12.156's /health is 389 bytes with "version" at byte 318, so r276 (the v4 proof, P) scored install-update/zitao2 (fail): daemon-not-9dc3f100. zitao2's daemon served v1.12.156 (9dc3f100), and every other check of the row held. Record: results/rounds/r276.md in the sessions root.
  • The line now carries the whole /health. The other /health | head -c reads (round-host.sh, steps.d/90-u8.sh) are receipts only, with no check on them.
  • r278 re-runs P on the same candidate daa264d, with harness daa264d plus this commit.
Harness-only, off main 4d7609b (ruling (p)); merges with #44 at the leader's window after r277 and r278 pass. - `rounds/round-host.sh` wrote the install-update row's daemon line as `curl …/health | head -c 300`, and the check at :442 greps that line for the core's sha or tag. cccd v1.12.156's `/health` is 389 bytes with `"version"` at byte 318, so r276 (the v4 proof, P) scored `install-update/zitao2 (fail): daemon-not-9dc3f100`. zitao2's daemon served `v1.12.156 (9dc3f100)`, and every other check of the row held. Record: `results/rounds/r276.md` in the sessions root. - The line now carries the whole `/health`. The other `/health | head -c` reads (round-host.sh, steps.d/90-u8.sh) are receipts only, with no check on them. - r278 re-runs P on the same candidate daa264d, with harness daa264d plus this commit.
The landed-state read cut /health at 300 bytes, and the row's daemon check
greps that line for the core's sha or tag. cccd v1.12.156's /health is 389
bytes with its version field at byte 318, so r276 (the v4 proof, P) failed
install-update/zitao2 with daemon-not-9dc3f100 while zitao2's daemon served
v1.12.156 (9dc3f100) and every other check of the row held
(results/rounds/r276.md). The line now carries the whole /health.
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin agent/b44d758c-health-read:agent/b44d758c-health-read
git switch agent/b44d758c-health-read

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff agent/b44d758c-health-read
git switch agent/b44d758c-health-read
git rebase main
git switch main
git merge --ff-only agent/b44d758c-health-read
git switch agent/b44d758c-health-read
git rebase main
git switch main
git merge --no-ff agent/b44d758c-health-read
git switch main
git merge --squash agent/b44d758c-health-read
git switch main
git merge --ff-only agent/b44d758c-health-read
git switch main
git merge agent/b44d758c-health-read
git push origin main
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
caoer115/ucc!45
No description provided.