{
  "schema": "praxis-stack.onboard-short-circuit/v1",
  "cycle": "inv-mmgp-20260718-grok-onboard-short-circuit",
  "generated_at": "2026-07-18T18:00:00Z",
  "harness": "grok-build",
  "short_circuit": {
    "eligible": true,
    "bridge_class": "onboarding-short-circuit",
    "analogue": "bridge::fixed-point-short-circuit",
    "rule": "cascade",
    "predicate": "first-hit-stops — skills-present AND orientation-only → mini-brief, no swarm",
    "cost_target_tokens": "low (install + one megapraxis filesystem pass)",
    "full_cost_when": [
      "user requests metamegapraxis audit/swarm/trap/bridges",
      "user requests graph-backed coverage",
      "install missing and cannot complete",
      "OPEN trap blocks the user's actual task"
    ]
  },
  "swarm_invocation": {
    "name": "SwarmInvocation::inv-mmgp-20260718-grok-onboard-short-circuit::source=metamegapraxis::class=onboarding-short-circuit::harness=grok-build::verdict=converged-modulo-harness::backend=tier-0-filesystem-fallback::mcp=not-required::swarm=deferred-until-explicit-dispatch",
    "verdict": "converged-modulo-harness",
    "members": [],
    "coordinator": "metamegapraxis+human",
    "evidence": [
      "2026-07-18 Grok session: /megapraxis filesystem-fallback briefing succeeded without pharosiraptor MCP",
      "2026-07-18 Grok session: /metamegapraxis audit completed with traps #4/#5 OPEN only when treating MCP absence as global; reclassified N/A for pure Grok onboard",
      "GraphDoc HTTP optional; stdio MCP registration is Claude Code process-local (trap #2/#5)"
    ]
  },
  "install": {
    "zip": "https://praxis-stack.pages.dev/pkg/praxis-stack-skills.zip",
    "git": "https://praxis-stack.pages.dev/git/praxis-stack.git",
    "preferred_targets": [
      "~/.grok/skills",
      "~/.claude/skills"
    ],
    "command_windows": "py install.py --target %USERPROFILE%\\.grok\\skills",
    "command_posix": "python3 install.py --target ~/.grok/skills"
  },
  "playbook": "https://praxis-stack.pages.dev/onboard-grok.md",
  "adapter": "adapters/GROK.md",
  "sibling": {
    "intrikata_console": "https://intrikata.com/",
    "operant_bootstrap_cert": "https://intrikata.com/data/operant-bootstrap.json",
    "intrikata_grok_playbook": "https://intrikata.com/onboard-grok.md",
    "role": "optional CF D1 minimal Pharosiraptor after skills install"
  },
  "tarski": {
    "decidable": "filesystem-fallback onboard is sufficient without MCP; optional graph-side orientation via intrikata bootstrap given skills on disk",
    "undecidable": "whether future Grok builds will natively host pharosiraptor MCP (oracle-required)"
  }
}