Skip to content

Commit 23e37db

Browse files
committed
chore(devbox): clean infisical contract drift
1 parent 010f710 commit 23e37db

6 files changed

Lines changed: 14 additions & 12 deletions

File tree

AGENTS.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ For personal security drift:
128128
- Use Conventional Commits.
129129
- Keep `Brewfile` shared and profile-neutral.
130130
- Put laptop-only apps in `Brewfile.personal`.
131-
- Put shared Mac mini and devbox tools in `Brewfile.devbox`.
131+
- Put shared agent-host and devbox tools in `Brewfile.devbox`.
132132
- Keep Codex setup install-only here; agent rule links belong to
133133
[uinaf/agents](https://github.com/uinaf/agents).
134134
- Edit dotfiles in `chezmoi/`, not generated files in `$HOME`. Follow

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ machine-local.
1616
| --- | --- | --- |
1717
| Shared | Base tools every uinaf Mac should have. | `Brewfile` |
1818
| Personal | A human-operated laptop or desktop. | `Brewfile` + `Brewfile.personal` |
19-
| Devbox | A shared Mac mini or SSH-first agent host. | `Brewfile` + `Brewfile.devbox` |
19+
| Devbox | A shared SSH-first agent host. | `Brewfile` + `Brewfile.devbox` |
2020

2121
Most users want `personal`. Always-on agent hosts use `devbox`.
2222

@@ -139,7 +139,7 @@ audit, and macOS Security Compliance Project flow.
139139
| Need | Read |
140140
| --- | --- |
141141
| Install or update a Mac | [Bootstrap guide](docs/bootstrap.md) |
142-
| Operate a shared agent Mac mini | [Devbox setup](docs/devbox.md) |
142+
| Operate a shared agent host | [Devbox setup](docs/devbox.md) |
143143
| Understand dotfile source state | [Chezmoi source state](docs/chezmoi.md) |
144144
| Understand mise tasks and runtime pins | [Mise tasks](docs/mise.md) |
145145
| Help as an AI agent | [Agent guide](AGENTS.md) |

SECURITY.md

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,15 @@ problems, or anything that could help compromise a machine.
1212
Environment variables are process state, not secure storage. Any program run in
1313
that environment can read them and pass them to child processes.
1414

15-
Do not place long-lived service tokens in shell startup files, launchd plists,
16-
process-compose YAML, or tracked dotenv files. Store them in machine-local
17-
secret storage, such as a root-owned token file on a headless devbox, and fetch
18-
them inside the smallest wrapper that needs them. Generated secret files must be
19-
owner-only, usually a `0711` root-owned directory and `0400` service-user-owned
20-
file when another Unix user has to read them.
15+
Do not place long-lived service tokens, Infisical access tokens, or machine
16+
identity credentials in shell startup files, launchd plists, process-compose
17+
YAML, tracked dotenv files, or generated runtime env files.
18+
19+
Human-operated machines may use human secret-manager sessions. Agent devboxes
20+
use Infisical machine identity auth through the devbox contract in
21+
[Devbox setup](docs/devbox.md): persistent Universal Auth client credentials
22+
live only in owner-only local config, and short-lived access tokens are minted
23+
for the smallest command boundary that needs them.
2124

2225
## Local Audits
2326

docs/devbox.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -288,7 +288,7 @@ Run the normal bootstrap check for each user:
288288
./scripts/verify/bootstrap.sh --profile devbox
289289
```
290290

291-
Devbox Git config includes `/opt/homebrew` as a safe directory so both admin
291+
Devbox Git config includes `/opt/homebrew` as a safe directory so local admin
292292
users can operate on the shared Homebrew prefix without Git dubious-ownership
293293
failures.
294294

scripts/secrets/configure-infisical-devbox.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -167,7 +167,7 @@ chmod 700 "$config_dir"
167167
mkdir -p "$machine_config_dir"
168168
chmod 700 "$machine_config_dir"
169169

170-
tmp_config="$(mktemp "${TMPDIR:-/tmp}/uinaf-devbox-env.XXXXXX")"
170+
tmp_config="$(mktemp "${TMPDIR:-/tmp}/uinaf-devbox-config.XXXXXX")"
171171
tmp_machine="$(mktemp "${TMPDIR:-/tmp}/uinaf-infisical-machine.XXXXXX")"
172172
trap 'rm -f "$tmp_config" "$tmp_machine"; unset infisical_client_secret' EXIT
173173

scripts/verify/devbox-services.sh

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -98,7 +98,6 @@ check_config() {
9898
infisical_domain="${INFISICAL_DOMAIN:-$infisical_domain}"
9999
infisical_project_id="${INFISICAL_PROJECT_ID:-$infisical_project_id}"
100100
infisical_env="${INFISICAL_ENV:-$infisical_env}"
101-
infisical_secret_path="${INFISICAL_SECRET_PATH:-$infisical_secret_path}"
102101
else
103102
if [ "$machine_auth_required" = "1" ]; then
104103
fail "missing $config_path"

0 commit comments

Comments
 (0)