tkersey/dotfiles

Mine Codex sessions JSONL (`~/.codex/sessions`) and file-based memories (`~/.codex/memories`) for explicit `$seq` and artifact-forensics questions, preferring `artifact-search`, then specialized follow-ups, then `query-diagnose`, and generic `query` only when needed. Opencode mining is explicit-only and requires a literal `opencode` cue in the request.

Source-agnostic work selector: emit an OrchPlan (waves + delegation) plus PLANS/SLICES pipelines. Plan-only; no writeback; orchestration-agnostic.

Create a ghost-library repo from an existing library git repo by extracting a strict SPEC.md, exhaustive tests.yaml, INSTALL.md, README.md, VERIFY.md, and preserving upstream LICENSE files. Use only when a user explicitly asks to ghostify/spec-ify a repo, extract language-agnostic specs/tests, or invokes $ghost / "ghost" / "ghost library" / "spec package" for a codebase.

Software surgery: contract → invariants → creative search → inevitable incision; minimal diff, compositional core, proof signal.

Jujutsu (jj) Git-compatible VCS. Use for any version-control work (status/diff/commit/branch/rebase/merge/etc.).

PR autopilot: create/manage PRs, enforce CI gates, apply surgical fixes, and squash-merge via `gh`.

Unified shipping + TRACE self-review protocol (beads, proof, PR). Explicit-only.

Surgeon’s Principle: invariants-first, no scope creep, evidence-before-abstraction, and Algebra-Driven Design with executable laws.