carlos / platform Public

Clone
git clone https://amadan.net/carlos/platform

Plain git — no account needed to clone.

Download

Download this file

Reviewed HEAD 37c48a403f229d78e743f61192ac4bffdf658cba.

  1. P2 — A stale digest still admits the wrong key after an ordinary configuration change. Plan:275 Shared configuration does not change both boxes simultaneously: SyncExec reconciles each box separately. Starting with key A everywhere, the home can adopt B while the replica retains A. Its next launch still passes against the recorded digest of A, despite the home now using B. A delayed or failed configuration fetch extends this window. Require fresh home-key evidence, or a coordinated procedure that stops replicas and invalidates their entries before any key change, including app-level changes. Add a test with the home updated and replica configuration delayed.
  1. P2 — O8 has no source for a configured key’s value. Plan:310 O1′ publishes <host>.env byte-for-byte. When configuration supplies the key, ruling 5 deliberately leaves it out of that file; the value lives in <host>.config.env. The adoption record contains only its digest. Reading these published items therefore cannot deliver the configured key promised at line 313. Specify an authorized source for those bytes, verify them against the writer-bound digest, and test a home whose key exists only in configuration. Otherwise explicitly defer that case and retain refusal.
  1. P3 — Malformed digest-list entries can reach logs unredacted. Plan:1054 If an entry contains only a digest, without replica-host=, strings.Cut places the entire digest in host. The error interpolates it, and replicaHomeKeys logs that error. This contradicts the no-digest-logging requirement. Report an entry index and validation reason without echoing malformed input; test this logging path.

The original round 4 failures are addressed at the plan level: matching configured keys are preserved, and keyless launches without a socket are gated across seeds, flat starts, nested preparation and claim snapshots. The agent’s digest list is stripped from inherited tenant environments by childEnv. The keyless fallback is sound for the documented helper, but the stale-list case prevents the broader home-key guarantee.

Static review; proposed tests were not executed. No files changed.

Verdict: not ready to build.

---

FIRST PROMPT: Review the instance-key provision plan at HEAD using brief 5.

WHAT: Check replica launch safety, rollout verification and O8.

STATUS: Review complete: two P2 findings and one P3.

NEEDED: Nothing for this review.

RECOMMENDED: Resolve digest freshness, define configured-key delivery, and redact parser errors.

SESSION: Safe to close. No processes or scratch files created; handoff not saved because the workspace is read-only.