{
  "schema": "praxis-stack.onboard-short-circuit/v1",
  "cycle": "inv-psco-20260718-01-codex-onboarding-short-circuit",
  "generated_at": "2026-07-18T17:34:02Z",
  "harness": "openai-codex",
  "short_circuit": {
    "eligible": true,
    "bridge_class": "onboarding-short-circuit",
    "rule": "voting",
    "predicate": "registry-resolves-skill plus orientation-only implies one briefing and stop",
    "full_cost_when": [
      "user requests Metamegapraxis audit, swarm, trap, or bridges",
      "user requests graph-backed coverage",
      "plugin or direct-skill registration cannot be verified",
      "an open trap blocks the current project"
    ]
  },
  "swarm_invocation": {
    "id": "0e741694",
    "full_id_retained_in_graph": true,
    "name": "SwarmInvocation::inv-psco-20260718-01-codex-onboarding-short-circuit::source=megapraxis+metamethodology::class=onboarding-short-circuit::harness=openai-codex::verdict=converged-modulo-restart::bridge=runtime-semantics-gap",
    "verdict": "converged-modulo-restart",
    "rule": "voting",
    "members": [
      "code-explorer",
      "strategic-advisor",
      "metamethodology-convergence"
    ],
    "predicate": "unanimous quorum plus local package, isolated Codex, and live Pages verification",
    "evidence": [
      "strict Codex skill and plugin validation passed locally",
      "isolated CODEX_HOME installed praxis@praxis-stack 1.4.0",
      "direct installer placed two skills under an isolated ~/.codex/skills",
      "production marketplace fresh-cloned with praxis 1.4.0 and two skills",
      "preview and production typed routes returned 200 with security headers",
      "production ZIP SHA-256 3CFFC73FC31D795CDFC7F5EF0C12071C3294843DFAF5E14065C0C20A4836850C matched local"
    ]
  },
  "install": {
    "marketplace": "praxis-stack",
    "plugin": "praxis",
    "git": "https://praxis-stack.pages.dev/git/praxis-stack.git",
    "commands": [
      "codex plugin marketplace add https://praxis-stack.pages.dev/git/praxis-stack.git",
      "codex plugin add praxis@praxis-stack"
    ],
    "direct_skill_windows": "py install.py --harness codex",
    "direct_skill_posix": "python3 install.py --harness codex",
    "direct_skill_target": "~/.codex/skills"
  },
  "playbook": "https://praxis-stack.pages.dev/onboard-codex.md",
  "adapter": "https://praxis-stack.pages.dev/adapters/CODEX.md",
  "tarski": {
    "decidable": "current Codex marketplace and direct-skill paths can be validated",
    "undecidable": "future Codex registry and restart semantics may change (oracle-required)",
    "invariant": "verify the running task registry rather than inferring from disk"
  }
}