Skip to content

docs(provider): record guest package verification for Node and Docker CLI - #94

Merged
wstein merged 1 commit into
mainfrom
docs/89-guest-package-verification
Oct 16, 2026
Merged

wstein merged 1 commit into
mainfrom
docs/89-guest-package-verification

Conversation

@wstein

@wstein wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner

Records owner decision H50:b in the provider contract: Node and the Docker CLI are verified by exact version plus guest package verification, not by a host-agent binary hash. Node digests in tool-pins.json are noted as release-archive digests.

Refs #89. The criterion "names where that verification happens" stays open (H52:a); #90 writes the procedure.

Review: CLEAR (Opus 5.5) on 678fab0, carried to this rebased head by an identical range-diff. Stacked on the pilot PR (H51:b).

🤖 Generated with Claude Code

@wstein
wstein force-pushed the docs/89-guest-package-verification branch from 2cbfa97 to cb1f7ab Compare October 16, 2026 10:35
@wstein

wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Review CLEAR on 678fab0 (Opus 5.5). Restacked onto pilot 75526bb (CI boundary fix); git range-diff shows every commit identical, so the review carries over. make check on this head: pending.

@wstein
wstein force-pushed the pilot/installable-pilot-pr branch from 75526bb to 7656115 Compare October 16, 2026 10:42
@wstein
wstein force-pushed the docs/89-guest-package-verification branch from cb1f7ab to c6f3c9d Compare October 16, 2026 10:42
@wstein

wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Rebased onto main 54a002f after #95 merged; git range-diff shows every patch identical (for #83 only one context line in docs/index.md differs), so the review carries to c6f3c9d. make check on this head: pending.

@wstein
wstein marked this pull request as ready for review October 16, 2026 10:55
@wstein

wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Ready per owner: review CLEAR on this head; local make check replaced by one final check on main after the stack merges (owner rule).

@wstein
wstein force-pushed the pilot/installable-pilot-pr branch from 7656115 to 866e46c Compare October 16, 2026 11:19
@wstein
wstein force-pushed the docs/89-guest-package-verification branch from c6f3c9d to 21b9d6d Compare October 16, 2026 11:19
@wstein

wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Restacked onto pilot 866e46c; git range-diff identical, review carries to this head.

@wstein
wstein force-pushed the pilot/installable-pilot-pr branch from 866e46c to 2235c20 Compare October 16, 2026 11:31
Base automatically changed from pilot/installable-pilot-pr to main October 16, 2026 11:31
@wstein
wstein force-pushed the docs/89-guest-package-verification branch from 21b9d6d to be73ceb Compare October 16, 2026 11:32
@wstein

wstein commented Oct 16, 2026

Copy link
Copy Markdown
Owner Author

Restacked onto main e82167b after #96/#91 merged; range-diff identical, review carries to be73ceb.

… CLI

Owner decision H50:b: the host agent does not hash-pin the Node or Docker CLI
binaries. The contract required an installed hash the code never checks, and
the Node digests in tool-pins.json cover release archives, not the binary.
State version plus guest package verification and label the digests.

Refs: #89

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@wstein
wstein force-pushed the docs/89-guest-package-verification branch from be73ceb to 43f492e Compare October 16, 2026 11:53
@wstein
wstein merged commit 7d1eb0c into main Oct 16, 2026
2 checks passed
@wstein
wstein deleted the docs/89-guest-package-verification branch October 16, 2026 11:59
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