Skip to content

feat(installer): add read-only forge doctor - #69

Merged
kricha-lab-dev-worker[bot] merged 1 commit into
mainfrom
feat/43-forge-doctor
Aug 30, 2026
Merged

feat(installer): add read-only forge doctor#69
kricha-lab-dev-worker[bot] merged 1 commit into
mainfrom
feat/43-forge-doctor

Conversation

@kricha-lab-dev-worker

Copy link
Copy Markdown
Contributor

Summary

  • add a strictly read-only forge doctor for installed Linux Gate/Worker deployments
  • report deterministic receipt, identity, path, service, readiness, and schema checks with distinct unhealthy exit status
  • bind Gate readiness to the exact release version and commit under the owner-secret HMAC
  • preserve exact canonical v0.1.3 v1-proof compatibility only for rollback recovery
  • fix rollback readiness to re-prove the previous release identity rather than the candidate identity
  • run the installed candidate doctor in the existing privileged v0.1.3 → candidate acceptance

Safety invariants

  • doctor never rewrites files, opens SQLite for migration, changes services, acquires transaction locks, or rotates credentials
  • output contains only stable check IDs; no tokens, config contents, HMAC material, DB contents, or repository credentials
  • systemd probes are observational (is-enabled / is-active)
  • mutable and immutable path checks fail closed on unsafe metadata, ownership, modes, symlinks, or hardlinks
  • current releases require v2 exact-release Gate proofs; legacy v1 is accepted only for canonical v0.1.3 at dfa09f5fd82a01b79c977cae20299db79ede9bdc
  • auth-provider and remote repository checks remain explicitly deferred because no canonical read-only runtime contract exists yet

Verification

  • strict RED→GREEN unit development on dev-worker-01
  • go test -count=1 ./... — passed
  • touched-package go test -race -count=1 — passed
  • go vet ./... — passed
  • go build ./... — passed
  • sh -n scripts/*.sh — passed
  • git diff --check — passed
  • exact privileged installed-candidate doctor proof runs in PR CI

Part of #43

@kricha-lab-dev-worker
kricha-lab-dev-worker Bot merged commit ef81cc0 into main Aug 30, 2026
2 checks passed
@kricha-lab-dev-worker
kricha-lab-dev-worker Bot deleted the feat/43-forge-doctor branch August 30, 2026 20:33
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