> Codex users: prefer the install-once native plugin in `ONBOARD-CODEX.md`. Once the running > Codex task resolves `$praxis:megapraxis`, future projects do not need this file copied in. ## intrikata-stack skills (session bootstrap + self-audit) Four executable skill procedures are installed under `praxis/skills/` (see `HARNESS.md` alongside them for how their Claude-Code-specific primitives map to this harness). You only need the first one to get value; the rest are for auditing the stack itself. - **When a session starts, or the user says "orient me", "catch me up", "what's the status", "where were we", "bootstrap", or similar:** read `praxis/skills/megapraxis/SKILL.md` and execute it. It emits a short, disk-verified briefing (mode-detected from the working directory). Use its filesystem-fallback path unless a praxis backend is running (BACKEND.md). **This is the only one you need on a first visit.** - **When the user says "audit the bootstrap", "audit megapraxis", "trap roll-call", or asks whether the intrikata stack itself is healthy:** read `praxis/skills/metamegapraxis/SKILL.md` and execute it in audit mode. It rolls the operational trap catalog (size published in `release.json` — read it rather than trusting a number in prose) and checks bridge integrity. - **When the user asks what drifted since the last audit, or you have just finished one:** read `praxis/skills/megametapraxis/SKILL.md`. It persists a validated envelope and measures drift *from* it. Distance *to* the Tarski limit is UNDECIDABLE and must never be rendered as a number. - **When installing across harnesses or operating systems:** `praxis/skills/praxis-local-realize/SKILL.md` materializes the stack into Claude / Codex / Grok roots in one pass. Core contract for all four, and the part most worth honoring if you honor nothing else: - Every emitted claim must correspond to a truth on disk. Drop unverifiable lines; do not guess. - Uncomputed counts render as `count-skipped`, never as a hedged estimate. - Numbers carry units. LINES, OCCURRENCES, FILES, BOOLEAN, DISTINCT and PATHS are six different measurements and are never interchangeable. - Undecidable items are named explicitly, never absorbed into "all clear". - A skill appearing in a listing is not permission to invoke it. Disk presence is not registration either — if your harness does not list a skill, the harness wins.