Skip to content

feat(doctor): add value-free env key strength diagnostic - #309

Merged
roodboi merged 58 commits into
nextfrom
wf/c4-keydiag-b7
Oct 12, 2026
Merged

roodboi merged 58 commits into
nextfrom
wf/c4-keydiag-b7

Conversation

@roodboi

@roodboi roodboi commented Oct 12, 2026 •

Copy link
Copy Markdown
Contributor

Summary

HACK-1127. hack doctor and hack doctor --json now include a read-only env key check. It reports whether the project env secret key material is acceptable and never shows the key.

Final behavior

  • Candidates follow the key resolution order: checkout-local .hack.secret.key, the shared key under the git common dir, and the primary checkout's key (linked worktrees only). When no key file exists, the check classifies HACK_ENV_SECRET_KEY instead.
  • Closed codes: env-key-ok, env-key-absent (ok); env-key-weak-permissions, env-key-wrong-owner, env-key-wrong-length, env-key-low-entropy (warn); env-key-symlink, env-key-not-regular, env-key-unreadable, env-key-tracked, env-key-public-path (error).
  • Strength: the AES-256-GCM key is SHA-256 of the key text. Generated keys (32 random bytes in base64url, 43 characters) pass. Shorter text is wrong-length. Long but repetitive text (fewer than 8 distinct characters, or an empirical Shannon estimate under 128 bits) is low-entropy.
  • Exposure: any mode bits set for group or others gives weak-permissions. A uid that is not the current user gives wrong-owner. The symlink check uses lstat and never follows the link. git ls-files ':(glob)**/.hack.secret.key' finds tracked copies at any depth. Copies under public/, static/, dist/, build/, out/, www/, _site/, .next/ and .output/ are reported.
  • Value-free output: subjects are project-relative paths or fixed labels (<git-common-dir>/…, <primary-checkout>/…, $HACK_ENV_SECRET_KEY). A tracked path with characters outside the portable set becomes <unprintable-path>/…. Key bytes and absolute paths are never emitted.
  • No automatic fixes. --fix does not act on this check. Each finding suggests the exact command to run from the project root, for example chmod 600 .hack.secret.key, git rm --cached -- <path>, or the rotation steps.
  • --json adds an envKey object (status, findings[{code,status,subject,remedy}]) to that check entry.

Dependabot inventory. The new scripts/dependabot-inventory.ts [--repo owner/name] [--json] lists open alerts (package, ecosystem, severity, manifest, fixed-in, sorted by severity). It sends a single paginated gh api --method GET request and writes nothing. Refusals are closed and never echo arguments or gh output. It is documented in docs/README.md → Contributing. No dependencies were bumped.

Validation

  • bun test tests/doctor-env-key.test.ts tests/dependabot-inventory.test.ts → 30 pass. Env key tests use temp dirs, an injected uid/env and a stubbed tracked-path lister. One test runs a real version-control init in a temp repo with a null global config and a temp HOME to check the glob pathspec. Inventory tests use a stubbed gh runner.
  • bun test on doctor-json, doctor-command, doctor-generated-files, doctor-worktree, cli-reference-docs, tests/integration-ownership.test.ts and tests/agent-plugin-generation.test.ts → 96 pass in total, including the two new files.
  • bun run --cwd packages/cli typecheck passes with 0 errors. Root tsc reports no errors in the changed files.
  • bun run --cwd packages/cli check → 0 errors (34 existing warnings, none in changed files). ultracite check on the changed scripts/tests is clean.
  • Smoke run: bun index.ts doctor --json against a temp project, with a temp HOME/HACK_HOME and a stub docker on PATH, gave env-key-absent, then weak-permissions + wrong-length for a 0644 short key, then env-key-symlink for a symlinked key. The env key output contained neither the key text nor the temp root.
  • Ran the inventory read-only against hack-dance/hack: it listed the 13 open alerts.
  • No CLI options or rendered guidance changed, so docs:cli-reference and generate:agent-plugins were not needed.

Negative controls

  • A 0644 key reports env-key-weak-permissions with chmod 600 .hack.secret.key (exact-equality assertion).
  • A symlinked key reports only env-key-symlink. Its target is deliberately weak, so following the link would have added a strength finding. A dangling symlink is also reported.
  • A short key, a whitespace-only key, a repetitive key, invalid UTF-8, a directory at the key path, a foreign uid, tracked copies, a public/ copy and a weak HACK_ENV_SECRET_KEY each produce their own code. Leak assertions confirm the key text and the temp root never appear in the message or the JSON.

Remaining gaps

  • Not run on a real multi-user host: the foreign-owner case is simulated by injecting a uid. Linked-worktree shared and primary candidates are covered by fixtures, not by a live linked worktree.
  • On non-POSIX platforms (no process.getuid), the permission and owner checks are skipped.
  • The existing "generated files" check still reports a tracked root key, and its --fix path is unchanged. The two checks overlap on purpose.
  • Hosted CI on this PR has not been checked yet.

🤖 Generated with Claude Code


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

roodboi and others added 30 commits October 11, 2026 21:28
Add a data-only matrix (src/agents/client-capabilities.ts) that classifies
packaging, skill discovery, hooks, plugin MCP, standalone MCP, rules and UI
for Codex, Claude Code, Cursor and standalone consumers. Each cell records
status, evidence class, evidence ref, observed client version, source SHA
and host label. The rendered reference doc carries companion-package layout
and model-policy ownership decisions.

Tests enforce that every cell is classified, verified cells cite an existing
fixture-strength test, manifest or listing evidence never verifies loading,
and manifest-declared components agree with the matrix. The plugin
generation test gains a negative-controlled scan of plugins/hack and
examples/basic for model, permission and output-style settings and
non-primer hooks, plus a skill inventory check against the generator and
docs/integrations.md, which now names all four shipped skills.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
hack.project.run built `run <flags> <service> <cmd...>`, so hack's own
parser consumed child flags: `node --version` printed hack's version and
`--branch other` retargeted the instance. Run now emits
`run <flags> -- <service> <cmd...>` and every option value is fused as
`--opt=value` across all tools.

- Validate service, services, branch, profiles, logs service and open
  target against a compose-identifier pattern (no leading '-', no empty
  value; branches may also contain '/').
- tail, maxEvents, maxMs and timeoutMs are positive integers with hard
  ceilings (provisional F27 settings); effective limits are echoed in
  data.limits.
- Every tool carries annotations (readOnly for list/status/logs/open,
  destructive for down/run/init, openWorld false).
- Refusals return error{code, message} with existing codes (E_USAGE,
  E_PROJECT_NOT_FOUND) and spawned:false. A typed tools/call dispatcher
  validates before any handler runs, so refused calls leave no argv
  entry and no audit line.
- Children spawn with HACK_NO_INTERACTIVE=1 on a copy of the frozen
  session env.

Refs HACK-1133, HACK-1134

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Legacy project env key reads (checkout-local, shared common-dir and
inherited primary keys) now use the same lstat, O_NOFOLLOW, size-bound and
stable-descriptor discipline as the native reader, extracted into
src/lib/private-file.ts. Key priority is unchanged. A symlinked, dangling,
oversized or non-regular key file is refused with a fixed message.

New key files are created with open(O_CREAT|O_EXCL|O_NOFOLLOW|O_WRONLY,
0600), fchmod 0600 and fsync, so an existing entry or dangling symlink is
never followed or replaced. A concurrent creator's key is adopted.

Encryption (env add --secret and the legacy migration) refuses a git-tracked
selected or inherited key with a fixed, value-free message before any key
copy. Decryption with a tracked key stays allowed for v4 compatibility.

Legacy v1 values and the encrypted_file store now require canonical base64,
a 12-byte IV, a 16-byte tag (authTagLength pinned) and a bounded ciphertext;
all parse, tamper and wrong-key failures use fixed redacted errors. The
envelope format, key derivation and v1 decryptability are unchanged.

Refs HACK-1127

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…nfig

Address verifier findings on the agent-client capability matrix:

- Move the matrix renderer into scripts/generate-agent-client-capabilities.ts
  and add `bun run docs:agent-client-capabilities` (with `--check`), which
  rewrites only the generated section. The test compares the committed
  section with the rendered one and covers marker failures with closed codes.
- Scope the model/permission policy scan to generated guidance surfaces
  (plugins/hack, .claude-plugin, .cursor-plugin, .agents through its skill
  symlinks, and the example agent configuration) instead of example compose
  files. Parse YAML and markdown frontmatter as YAML, fail closed on
  structured-config formats the scan cannot parse, and count a file as
  scanned only when it was parsed.
- Treat reasoning-effort keys (reasoning_effort, model_reasoning_effort,
  frontmatter `effort`, nested effort/reasoning keys) as forbidden model
  settings, with negative controls.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Every pre-spawn refusal now comes from a closed catalogue (MCP_REFUSALS):
error {code, reason, message} uses an existing code, a closed reason and a
fixed message, and stderr repeats that message. Project names, ids, paths
and registry values are no longer echoed. Schema refusals name only keys
of the tool's own input schema.

An unknown tool name returns the SDK's in-band isError text result again
instead of a JSON-RPC -32602 protocol error, with a fixed message that
omits the requested name.

A canary test drives every refusal reason and the unknown-tool path and
asserts the canary never appears in the result, with no spawn or audit line.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ting tests

Seal authentic envelopes with 8- and 16-byte IVs and with ciphertext one
byte over each parser bound, so only the parser guards can refuse them, and
assert through a createDecipheriv spy that structural refusals happen before
any decipher and that successful opens pass authTagLength 16. Covers the
legacy project env, encrypted_file store and native env value parsers, with
at-bound 12-byte-IV controls.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Interactive `hack init` now prints a non-mutating note that points at the
optional Hack plugin and `hack agent onboard`. Repository-local export of
Cursor rules, Claude hooks, Codex skills, AGENTS.md/CLAUDE.md sections and
project MCP config is a separate opt-in whose confirm defaults to no and
whose target list starts empty. The decision moves out of project.ts into
src/agents/init-agent-integrations.ts.

Doctor and the agent-prime freshness inventory now treat absent optional
integrations as current. Doctor flags a path only when it exists and lacks
the current revision marker (AGENTS.md/CLAUDE.md only when they carry a
Hack-managed section). integration-sync counts only stale or errored
checks; user-owned docs without a Hack section are not drift; retired
legacy artifacts still are.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
config plan and config validate only treated the literal "base" as the
base selection, so `--env default` (and DEFAULT/none) reached the native
compiler as an overlay named "default" while env get, env list and the
runtime commands selected base layers.

Every CLI command that accepts --env now resolves it through one shared
resolver (src/cli/env-selection.ts): omitted keeps the configured default
overlay, base/default/none in any case select base layers, other names are
normalized, and a non-empty value with no usable name characters is refused
with the fixed "Invalid --env value." usage error instead of silently
selecting base. Authored native dispatch uses the same resolver, and
session workspace names stay env-base.

docs/env.md gains a command and delivery matrix with one row per CLI_SPEC
command that accepts --env; tests/env-command-matrix.test.ts keeps the rows
and selector flags in sync with CLI_SPEC. The canonical agent guidance gains
an env-composition section linking to the matrix; the content revision,
plugin bundle, repository examples and CLI reference are regenerated.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Address the W10 verifier findings so integration sync and doctor agree:

- checkAgentDocs marks a doc `unmanaged` only when it has neither the
  Hack start nor end marker. A doc with exactly one marker is a corrupted
  managed section and now reports a malformed-marker error, which sync
  counts as drift. Doctor treats the same doc as stale.
- Add readOptionalTextFile, which uses lstat before reading so callers
  can tell "absent" from "present but unreadable". The Cursor rules,
  Codex skill, shared skill, hack-init skill and agent-doc checks now
  report an unreadable existing file as `error` (drift) instead of
  `missing` (optional, current). Doctor uses the same helper.
- Add regression tests for start-only and end-only docs, plus mode-000
  Hack-owned files and docs in fixture HOME/project roots, for both
  sync and doctor.

Default `hack init` still writes no repository files.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The env add --secret refusal tests asserted the refusal text on stderr, but
the default logger backend depends on the host: gum (stderr) when installed,
clack (stdout) otherwise. Hosted macOS runners have no gum, so the refusal
reached stdout and stderr was empty only in CI. Pin HACK_LOGGER=console in
the CLI helper, matching the other CLI-spawning tests, so the stderr
assertions hold on every host.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The project-name boundary suite still expected the old value-echoing
"Ambiguous project name/ID" stderr from MCP. Assert the closed
MCP_REFUSALS contract instead: exact code, reason and fixed message,
spawned: false, no argv, and none of the duplicated names, registry ids
or fixture root anywhere in the serialized result.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Temporary measurement only; reverted before the final commit. Writes closed
labels and durations per native command to a per-scenario JSONL file and
prints a summary in the docker-e2e job.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A storage-bearing saved exec ran three full witness proofs (nine helper
carriers) and a warm up/restart seven. Within one command and one mutation
lease, an adjacent repeat with only read-only checks between it and the
previous proof now reuses that completed kernel proof instead of three new
helper carriers:

- saved exec: the pre-spawn check reuses the preparation proof; the proof
  after the process stays fresh (3 -> 2 proofs);
- up/restart without build, routing or file material: the first pre-spawn
  guard reuses the enrollment proof (warm 7 -> 6, cold seed path 6 -> 5).

Reuse requires the same lease authority, engine, generation and reference
and a byte-identical opening material binding to the one that opened and
closed the recorded proof. Every host check (anchors, expectation,
completion, binding, carrier artifact and lifetime) still runs; any
verification consumes the record first, so a failure or binding change
forces a fresh proof. Ordinary verification always proves.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Reverts the hosted measurement commit (closed-label cost trace, phase-trace
routing, per-scenario summary step and artifact) now that the per-phase and
per-call attribution is recorded in the pull request.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The networks scenario took 3409 s on next with three proofs per storage exec
and ran 2275 s on the hosted engine with the coalesced proofs, so the 80 min
budget raise from the witness recovery change returns to 60 min. The budget
bounds a hung engine; no assertion or command deadline changes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Storage witness proofs keep every fence; three exact costs are cut:

- Engine-ID fences: for an explicit DOCKER_HOST=unix:///... selection, the
  first fence of a command under one exact binding (selection, docker
  executable, client config and socket identities) still uses `docker info`
  and must equal one direct GET /info on that socket; only then do later
  fences under that unchanged binding each make one fresh direct request
  instead of a CLI process that lists every client plugin. A refused
  admission keeps the CLI, a moved binding re-admits through the CLI, and an
  admitted direct failure refuses without fallback. Two exact back-to-back
  ID reads with nothing between them are collapsed (holder observation into
  carrier inspect; provision fence into the target observation).
- Recorded command executables: the content digest is cached for one command
  by canonical path and complete stat identity (dev, ino, size, mtime and
  ctime in ns, mode, uid); every identity check still runs, any change
  re-reads, and racily fresh files are never cached.
- Target observations: the witness's closing re-observation of a
  deferred-finish verify invocation is answered by the carrier's own closing
  observation of the same query when the rechecked material binding is
  unchanged and only reads ran between (one observation per proof).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Temporary measurement only; reverted before the final commit. Re-applies the
X01 closed-label trace (reverting eb9a678) and adds point events for direct
engine-ID reads and admissions, cached executable digests, target observations
and reused closing observations, plus a shard 1 identity fence benchmark.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
An admitted direct engine-ID read that fails because the caller cancelled or
its probe deadline expired now reports the CLI probe's existing closed
cancel/timeout classification; that probe refuses before spawning anything.
Every other admitted direct failure still refuses without CLI fallback.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Per command on the synthetic engine: 81 of 86 engine-ID fences and 20 of 21
  target observations per proof, with every proof kept; an admitted explicit
  Unix selection uses one CLI fence per command.
- A changed daemon ID between two admitted fences refuses before any helper,
  workload or state change; a refused admission keeps every fence on the CLI.
- A target change right after the verify carrier's closing observation is
  refused by the next remaining observation.
- Admission, re-admission, no-fallback and cancellation controls on a real
  Unix server; executable digest reuse, replacement, same-size tamper, mode,
  racy-fresh and mid-command replacement controls.
- Reference docs describe the three cuts and their limits.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Measurement is complete; the hosted trace run was 38211327829.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… catalogue

Plugin skills can now ship references at skills/<skill>/references/*.md from
a typed registry (src/agents/skill-references.ts). The generator writes each
reference with a recomputable content revision, removes stale ones, and links
them from the plugin SKILL.md. Standalone hack-cli installs ship no
references, so their render (and ownership fingerprint) is unchanged.

The first reference is the hack-cli pattern catalogue, rendered from the typed
register of all twelve HACK-P cards with dispositions, owners, missing
contracts and value-free provenance. Tests check completeness, CLI_SPEC
command resolution, a banned-recipe scan outside negative-example blocks, and
an offline link contract over every packaged skill markdown file. External
URLs in hack-install and hack-remote move under "Further reading".

docs/agent-guidance.md records the reference contract and the promote/defer
decision for the lifecycle, cleanup, checks, sessions, hack-run and
hack-feedback skill candidates.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Seed an isolated HOME with sentinel Claude, Codex, Cursor and shared-skill
config (including stale hack-cli copies) and two fixtures with customized
AGENTS.md, CLAUDE.md, rules, skill copies, settings.local.json and .mcp.json.
Run init --auto, init --auto --with codex, agent prime, agent prime --check,
agent onboard, agent patterns, doctor --json, doctor --fix --no-interactive
and setup sync --check twice each with HOME and HACK_HOME overridden, and
require byte-identical hashes, no new client entries, git status changes only
under .hack/, and each command's expected exit code. An explicit
setup agents --agents-md is the positive control and must change exactly
AGENTS.md.

Docker is pointed at a missing socket and Mutagen at a stub so doctor --fix
stays free of Docker and network effects; the hackd it starts is stopped.
The scenario is registered in ALL_SCENARIOS and shard.ts places it in
exactly one docker-e2e shard via the default duration hint.

Refs: HACK-1124, HACK-1132, HACK-1155

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
HACK-1211 needs a matched, bounded way to reproduce the intermittent Bun
crash and a repeatable record of crashes per hosted run. This adds the
instruments only; it changes no test, timeout, assertion or pin.

- bun-crash-experiment.yml runs only on workflow_dispatch or when the
  bun-crash-experiment label is added to a pull request. A labeled pull
  request runs the matched pair (1.3.9 baseline, 1.4.2 candidate) on its
  head; a dispatch runs one version at a chosen revision. It uses
  blacksmith-6vcpu-macos-15, contents: read, and timeout = budget + 15.
  The instrument comes from the workflow's commit, so older revisions
  can be measured.
- scripts/bun-crash-loop.ts alternates the native HTTPS owner test with
  the full bun test. It never starts an iteration whose estimate (its
  initial guess or longest observed run) ends past the budget, and
  records a run still going at the deadline as overrun, not a crash. It
  writes a closed summary and keeps logs plus bun*.ips reports for a
  7-day artifact. It never opens crash-report links.
- scripts/ci-bun-crash-census.ts reads every attempt's test job through
  the caller's gh, downloads only failed-job logs into an owned temp dir
  that it removes, and prints per-version counts and crashing ids only.
- Both use scripts/lib/bun-crash-classify.ts.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…tions

Storage-witness engine-ID admissions now resolve the Docker CLI's endpoint
selection the way the CLI does: a nonempty DOCKER_HOST, then DOCKER_CONTEXT,
then the client config's currentContext, then the default context at
unix:///var/run/docker.sock. A named context is read from its
contexts/meta/<sha256>/meta.json through a no-follow binding; only a plain
unix:/// docker endpoint with no TLS option, no unknown or duplicate field and
no entry at the context's TLS path is eligible. TLS material is checked for
absence by name and never opened. Missing, malformed, linked, TCP, SSH, TLS or
header-bearing contexts, and DOCKER_HOST with DOCKER_CONTEXT, keep the CLI.

Admission is unchanged: the first fence under a binding is the CLI read and
must equal one direct GET /info on the resolved socket. The binding now also
pins the context store entry and the absent TLS path, so a changed config,
context entry, socket or executable is admitted through the CLI again. The
ingress and VM-file observers, trusted without a CLI comparison, still accept
only an explicit Unix DOCKER_HOST.

Tests that run commands against a synthetic docker now pin an isolated client
config naming a missing context, so they never read the contributor's Docker
config or dial a real engine socket. A new opt-in test (HACK_TEST_DOCKER_CLI=1,
run on docker-e2e shard 4) runs the real Docker CLI against two fake Unix
engines for every selection.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Temporary measurement only; reverted before the final commit. Re-applies the
X03 closed-label trace (6a4e118) without its identity benchmark, labels each
engine-ID admission with its selection kind (host, default or context), counts
direct reads as trace leaves, and prints the runner's Docker client selection.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Measurement is complete; the hosted trace run was 38225752202.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
roodboi and others added 19 commits October 12, 2026 06:26
Conflicts resolved:
- src/agents/integration-revision.ts: both sides recomputed the content
  revision (PR c262dbc28ebc, next d4ad1423585c from #282). The merged
  INSTRUCTION_SECTIONS (next's #282 canonical corrections plus this PR's
  env-composition section, which merged cleanly) hash to 3cb1b0eabdea.
- .codex/skills/hack-cli/SKILL.md, .cursor/rules/hack.mdc,
  examples/basic/AGENTS.md, examples/basic/CLAUDE.md,
  plugins/hack/rules/hack.mdc, plugins/hack/skills/hack-cli/SKILL.md:
  only the "Content revision" line conflicted; set to 3cb1b0eabdea. All
  other lines from both sides are kept. generate:agent-plugins and
  docs:cli-reference produce no further changes; the codex skill and
  cursor rules match their renderer output.

Also: appended the merged render fingerprints to KNOWN_RENDER_FINGERPRINTS
(hack-cli-skill 6449442a8f230412d4e5f9e7, cursor-rules
cf0a31e197f9034485413674) as tests/integration-ownership.test.ts requires.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Conflicts resolved (import blocks only):
- src/agents/codex-skill.ts, src/agents/cursor.ts,
  src/agents/hack-init-skill.ts, src/agents/shared-skill.ts:
  next (#286) moved install/remove writes into integration-ownership.ts
  and reduced the fs import to readTextFile; this PR switched the check
  functions to readOptionalTextFile. Kept next's ownership-based
  install/remove bodies and the PR's unreadable-aware checks, so the
  fs import is now only readOptionalTextFile (ensureDir, pathExists and
  writeTextFileIfChanged are unused after #286; readTextFile is unused
  after this PR's check rewrite).

src/commands/doctor.ts auto-merged: next's #283 Caddy-root inventory and
this PR's inspectDoctorAgentIntegrations changes touch separate functions.
No regenerated plugin/CLI reference diff; no new ownership fingerprint.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Conflicts resolved: none (clean automatic merge).

Brings in next through 6e9b6d9, including #293, which records the
current hack-cli-skill renders in KNOWN_RENDER_FINGERPRINTS and clears the
hosted integration-ownership failure. No fingerprint append was needed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
.hack/.env and .hack/.env.<overlay> (materialize, legacy env set/unset and
the daemon env route) are now read without following a symlink and
replaced atomically: a 0600 O_EXCL|O_NOFOLLOW sibling in .hack/ is written,
fsynced and renamed over the target, then the directory is synced. A
symlinked (including dangling) or non-regular env file, or a symlinked
.hack directory, is refused with a fixed message that names no file,
overlay or value. An unchanged file with group/other bits is tightened.

The encrypted_file store (and the cloud shim that shares it) is replaced
the same way with mode 0600; a symlinked store path is refused for writes.
set/delete now serialize read-modify-write with a per-path in-process
queue plus the cooperative hard-link owner lock used by the projects
registry at <store>.lock, so concurrent writers, including separate
processes, no longer lose updates. Reads stay lock-free.

Adds v1 AES-GCM context-binding characterization tests for the store
envelope and legacy v1: values: SHA-256 key derivation, fixed field set,
no authenticated associated data, no path/scope/variable binding beyond
the scoped plaintext key. No envelope format change.

Refs HACK-1127

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The env-composition section linked the command and delivery matrix by a
bare GitHub URL. Packaged skills must work offline (#295), and that test
fails once both changes land. Point at docs/env.md in words instead,
bump the content revision, re-render the checked-in surfaces, and append
the new hack-cli-skill and cursor-rules render fingerprints.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
docs/env.md said Hack refuses to read or write a symlinked env file, but
only the write and update paths (env set/unset, materialize, the daemon
env route) use the no-follow reader; code that only reads an env file
still follows a symlink. Narrow the sentence accordingly.

Add a test that calls replacePrivateFileAtomic directly with a live and a
dangling symlink, so its own target check is covered instead of being
masked by the earlier O_NOFOLLOW read in the env-file callers.

Refs HACK-1127

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Merge origin/train/queue-preview (77da332) into the env-file branch.

Resolutions:
- No textual conflicts; the branch only touches env/secret-store files.
- src/agents/integration-revision.ts: taken from train; matches the
  revision tests/agent-instruction-source.test.ts computes.
- src/agents/integration-ownership.ts: KNOWN_RENDER_FINGERPRINTS is the
  union (train's appended fingerprints, nothing removed);
  tests/integration-ownership.test.ts asks for no further entries.
- Checked-in renders (.codex/skills/hack-cli, .cursor/rules/hack.mdc,
  examples/basic AGENTS.md/CLAUDE.md, plugins/hack) come from train;
  generate:agent-plugins produced no diff. No CLI surface change.

Verified: skill-references, integration-ownership, agent-plugin-generation,
agent-instruction-source, hack-init-skill, legacy-agent-artifacts,
private-env-file, secret-store-file-hygiene, aes-gcm-v1-context-binding
tests pass; packages/cli typecheck passes; packages/cli check 0 errors.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
`hack doctor` and `hack doctor --json` now run a read-only "env key" check
(HACK-1127). It audits the checkout-local, shared (git common dir) and
primary-checkout key files, or HACK_ENV_SECRET_KEY when no file exists, and
reports closed codes: env-key-ok, env-key-absent, env-key-weak-permissions,
env-key-wrong-owner, env-key-wrong-length, env-key-low-entropy,
env-key-symlink, env-key-not-regular, env-key-unreadable, env-key-tracked and
env-key-public-path. Findings carry project-relative subjects and the exact
command to run; key bytes and absolute paths are never emitted, symlinks are
never followed and --fix does not act on the check.

Also add scripts/dependabot-inventory.ts, a GET-only `gh api` inventory of
open Dependabot alerts (package, severity, manifest, fixed-in) that writes
nothing, documented in the docs contributor section.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The gum-backed logger passed the log message as a bare argument, so a
message starting with "-" or "--" (for example "--value-stdin requires
...") was parsed by gum's kong CLI as an unknown flag. gum printed its
usage and "gum: error: unknown flag" to stderr before the logger fell
back to clack.

Every gum call site in src/ui/gum.ts now places free text (log message
and structured fields, style/join text, confirm prompt, choose/filter
options, file path, pager content, format template, spin command,
version-check constraint) after "--", and binds valued flags such as
--header, --placeholder, --prompt, --value, --title and --affirmative
in single-token --flag=value form so a dash-leading value cannot be
read as an option.

gum invocations now go through a small GumRunner boundary so tests can
assert argv without gum installed or any process being spawned.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Re-parents onto next after the queued PRs squashed in; no content change.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@roodboi
roodboi changed the base branch from train/queue-preview to next October 12, 2026 14:10
roodboi and others added 4 commits October 12, 2026 10:10
Re-parents onto next after the queued PRs squashed in; no content change.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Re-parents onto next after the queued PRs squashed in. next's tree equals train/queue-preview 77da332, which this branch already contains, so the branch tree is kept unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Stack PR #302 on PR #311.

Conflicted files: none. The two change sets are disjoint (#302:
env-file and secret-store hygiene; #311: src/ui/gum.ts with its tests
and fixture), so git merged them cleanly. No generated files changed.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Conflicted files: none. Git auto-merged the only shared file:
- docs/env.md: kept both sides' text (the env key doctor notes from this
  branch and the private env file and encrypted_file store notes from
  wf/y3-envfile-b6).

No generated files changed: neither branch alters CLI options or rendered
agent guidance, so plugins, docs/reference/cli.md, integration-revision.ts
and KNOWN_RENDER_FINGERPRINTS needed no update.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@roodboi
roodboi changed the base branch from next to wf/y3-envfile-b6 October 12, 2026 14:23
Base automatically changed from wf/y3-envfile-b6 to next October 12, 2026 19:03
Re-parents onto next after the previous stacked PR squashed in; next's tree equals 989fcea, which this branch already contains, so the branch tree is unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@roodboi
roodboi marked this pull request as ready for review October 12, 2026 19:04
@roodboi
roodboi merged commit 1a02583 into next Oct 12, 2026
30 checks passed
@roodboi
roodboi deleted the wf/c4-keydiag-b7 branch October 12, 2026 19:04
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