# Grok Build — praxis short-circuit onboard

**Audience:** future Grok Build sessions and agents spinning up a **new project** with the
praxis stack (megapraxis + metamegapraxis).  
**Live site:** https://praxis-stack.pages.dev  
**Purpose:** skip cold rediscovery. First-session cost should be **install + one filesystem
megapraxis brief**, not a 150K-token self-audit swarm or MCP archaeology.

This page is the **bridge::fixed-point-short-circuit** analogue for *onboarding*, not for
re-auditing megapraxis itself. Novel audits still pay full price (Tarski residual).

---

## MetaMethodology / SwarmInvocation certificate

Name-encoded record (same dialect as ASEC `SwarmInvocation::` rows; schema-free):

```
SwarmInvocation::inv-mmgp-20260718-grok-onboard-short-circuit
  ::source=metamegapraxis
  ::class=onboarding-short-circuit
  ::harness=grok-build
  ::verdict=converged-modulo-harness
  ::rule=cascade
  ::predicate=first-hit-stops
  ::members=none
  ::backend=tier-0-filesystem-fallback
  ::mcp=not-required
  ::swarm=deferred-until-explicit-dispatch
  ::traps_for_onboard=4,5→N/A-unless-graph-requested
  ::install_targets=~/.grok/skills|~/.claude/skills
  ::saturation_ref=https://praxis-stack.pages.dev/demo/grok-onboard.json
  ::sibling_operant=https://intrikata.com/data/operant-bootstrap.json
  ::started=2026-07-18
  ::notes=origin-session-proved-filesystem-fallback-on-Grok-with-HTTP-GraphDoc-optional
```

Coordinator (human+metamegapraxis, 2026-07-18): Grok Build sessions that lack the
pharosiraptor MCP still run megapraxis correctly via filesystem-fallback. Treating MCP
absence as OPEN traps #4/#5 on pure onboard is a false escalation — those traps are
**N/A for this harness** until graph features are in scope.

---

## 60-second path (agents — follow in order)

| Step | Action | Stop if |
|---|---|---|
| 0 | Read **this page** (you are here) | — |
| 1 | `GET /demo/grok-onboard.json` — if `short_circuit.eligible` and skills already on disk | emit mini-brief; **done** |
| 2 | Install skills if missing (see below) | — |
| 3 | Execute megapraxis **filesystem-fallback only** | briefing emitted |
| 4 | **Optional graph operant (Cloudflare):** https://intrikata.com — `instance new <handle>` → `bootstrap` → `operant` (minimal Pharosiraptor on D1; not required for a valid briefing) | skip unless user wants graph isolation |
| 5 | Do **not** auto-run metamegapraxis swarm or MCP recovery | unless user asks |

### Install (one-time per machine)

```text
# zip
curl -sL https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip -o praxis.zip
# Windows PowerShell:
# iwr https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip -OutFile praxis.zip
# Expand-Archive praxis.zip praxis-stack

# prefer Grok skill root
py install.py --target "%USERPROFILE%\.grok\skills"   # Windows
python3 install.py --target ~/.grok/skills            # POSIX

# shared with Claude Code on the same machine (optional)
py install.py --target "%USERPROFILE%\.claude\skills"
```

Or: `git clone https://praxis-stack.pages.dev/git/praxis-stack.git` then same `install.py`.

### Invoke

In Grok: say `/megapraxis` or "bootstrap" / "orient me". The agent reads
`megapraxis/SKILL.md` and executes it. Expect `_via: filesystem_` unless a backend is up.

---

## What you must NOT do on first Grok onboard

1. **Do not** treat missing `mcp__*pharosiraptor*` tools as a ship blocker.
2. **Do not** auto-start a multi-agent `megapraxis-self-audit` (~150K tokens).
3. **Do not** require `localhost:8080` for a valid briefing.
4. **Do not** invent skill/plugin counts — compute or print `count-skipped`.
5. **Do not** re-derive the 23-trap catalog from scratch — it lives on the System tab and in
   the skill bodies; use live State only when auditing.

## When to leave short-circuit (pay full price)

- User says `/metamegapraxis`, `audit`, `swarm`, `trap N`, `bridges`
- User wants graph coverage grids / ASEC / SwarmExecutor
- An OPEN trap **blocks the user's actual task** (not merely absent MCP)
- Skills missing and install failed

Then follow HARNESS.md + full skill bodies; optional BACKEND.md for Tier 1/2.

---

## Related surfaces

| URL | Role |
|---|---|
| https://praxis-stack.pages.dev/ | System + Live State + Proven Cycle |
| https://praxis-stack.pages.dev/install.md | all harnesses |
| https://praxis-stack.pages.dev/harness.md | primitive map |
| https://praxis-stack.pages.dev/backend.md | optional graph backend |
| https://praxis-stack.pages.dev/demo/grok-onboard.json | machine-readable short-circuit cert |
| https://praxis-stack.pages.dev/adapters/GROK.md | drop-in adapter text (in package) |
| https://praxis-stack.pages.dev/llms.txt | agent discovery index |
| https://praxis-stack.pages.dev/api/snapshots/latest | scrubbed live audit snapshot |
| https://intrikata.com/ | per-user provisioning console + **CF D1 minimal operant** |
| https://intrikata.com/onboard-grok.md | Grok short-circuit with bootstrap/operant steps |
| https://intrikata.com/data/operant-bootstrap.json | CF operant SwarmInvocation cert |

---

## Tarski residual (named, not absorbed)

Whether a future Grok product surface will natively register pharosiraptor MCP is
**oracle-required** / product-side — this short-circuit does not claim it will. It claims
only: **filesystem-fallback onboard is sufficient and preferred for new Grok projects today.**