π docs: worklog β record merge, deploy and production verification - #194
Merged
Conversation
The worklog still said "Not pushed. Three commits sit locally" while the work was merged (PR #192) and running in production. A change record that is wrong is worse than none, so this brings it to ground truth. - Header: status is now shipped + verified, with the merge SHA and the deployed revision; test line records CI green, not just the local run. - Stage 4 added: the branch had no CI at all until `fix/**` was added to ci.yml's prefix allowlist, with the self-test that proved it. - Stage 5 added: deployment of both sides (local via copy-to-common, cloud as revision --0000024), config verified intact across the image update, and the scale-to-zero verification β replicas held at 0 across six consecutive checks with no traffic. Recorded as positive evidence: under the old binary the keep-warm fallback made reaching 0 at ten minutes impossible. - Build note: two az acr build runs failed at the identical step with "layer does not exist" on a byte-identical Dockerfile; a local docker build succeeded. Root cause is the ACR Tasks agent, not this repo. - Follow-ups: dropped the stale "not pushed" item; the production check is now a 24h Log Analytics sample rather than "unverified"; added the ACR Tasks failure as a blocker for any automated cloud deploy. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
flupkede
pushed a commit
that referenced
this pull request
Aug 5, 2026
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.
What
Brings
docs/federated-silent-poll/worklog.mdto ground truth. It still said "Not pushed. Three commits sit locally" while the work was merged (#192) and running in production. A change record that is wrong is worse than none.Changes
b6cb48f) and the deployed revision (codesearch-serve--0000024); the test line records CI green rather than only the local run.fix/**was added toci.yml's prefix allowlist, including the self-test that proved it (08276deβ CodeQL only;4add0d1β CI + CodeQL).most_recent_tool_call()would have beenNone, fallen back to the process start time, and self-pinged every 120 s for the full 30-minute idle window, so reaching 0 at ten minutes was not possible.CODESEARCH_IDLE_SUSPEND_SECS=1800. Registry size 160,647,888 B vs 160,629,714 B previously β 18 KB apart, so no size regression.az acr buildruns failed at the identical step (COPY --from=builder /models.tar.gz) withfailed to export image: ... layer does not exist. Layer digests differed between runs so it was not a poisoned cache, and the Dockerfile is byte-identical to the one that built the previously deployed image. Root cause is the ACR Tasks build agent, not this repo; a localdocker build+docker pushsucceeded first time.Follow-ups adjusted
Docs-only, so the pre-push QC gate correctly skipped.