Supply-Chain
2026.07.04
infra
CI for dotfiles, Too — Verifying a Destructive Installer's Idempotency in Both an Ubuntu and a Kali Role
The Day My Dev Environment Stops Being Reproducible I keep my development environment in a single script. Shell configuration, prompt, terminal …
2171 文字
|
11 分で読了
2026.07.04
infra
dotfiles にも CI を — 破壊的インストーラの冪等性を Ubuntu と Kali の二役で検証する
自分の開発環境が、ある日再現できなくなる 開発環境を1本のスクリプトにまとめている。シェル設定・プロンプト・ターミナルマルチプレクサ・言語ランタイム・クラウドCLIを、./setup_env.sh 一発で入れる。最終的に 1,358 行になった。新しいマシンでも、OS を入れ直した後でも、同じ環境が …
673 文字
|
4 分で読了
2026.06.15
devops
「秘密が漏れない」を Lean で証明して CI ゲートにした Rust CLI のリリースパイプライン
「テストが緑」で満足できなかった理由 エージェントに本物の API キーを渡さずに動かす CLI ツールを開発している。守りたい性質はシンプルで、子プロセスに本物の鍵を渡さないこと。ここが崩れれば、このツールを使う意味はない。 ただ、テストが通っているだけでは確認として物足りなかった。テストが言える …
362 文字
|
2 分で読了
2026.06.15
devops
A Rust CLI Release Pipeline That Proves "Secrets Don't Leak" in Lean and Turns It Into a CI Gate
Why “Tests Are Green” Wasn’t Enough I’m building a CLI tool that runs agents without ever handing them a real API key. The …
1384 文字
|
7 分で読了