{
  "schema": "intrikata.onboard-short-circuit/v1",
  "cycle": "inv-54c4ed43-intrikata-codex-onboarding-short-circuit",
  "generated_at": "2026-07-18T18:47:58Z",
  "harness": "openai-codex",
  "surface": "intrikata.com",
  "verdict": "converged",
  "short_circuit": {
    "eligible": true,
    "bridge_class": "onboarding-short-circuit",
    "rule": "voting",
    "predicate": "registry resolves skill plus orientation-only intent implies one briefing and stop",
    "full_cost_when": [
      "user requests Metamegapraxis audit, swarm, traps, or bridges",
      "user requests graph-backed coverage or provisioning",
      "skill registration cannot be verified",
      "a blocking trap affects the current project"
    ]
  },
  "swarm_invocation": {
    "id": "54c4ed43",
    "full_id_retained_in_graph": true,
    "name": "SwarmInvocation::54c4ed43::source=megapraxis+metamethodology::class=onboarding-short-circuit::harness=openai-codex::surface=intrikata.com::verdict=converged-modulo-restart::rule=voting",
    "verdict": "converged-modulo-restart",
    "coordinator": "feature-dev:code-architect",
    "members": [
      "feature-dev:code-explorer",
      "omniscient-advisor",
      "pharosiraptor:metamethodology-convergence-agent"
    ],
    "evidence": [
      "validate.py plus Python, inline JavaScript, Functions JavaScript, JSON, and XML checks passed",
      "isolated direct target installed two strict-YAML skills",
      "candidate 31ed65e5 and both production aliases returned distinct correctly typed Codex bodies with security headers",
      "fresh production clone resolved marketplace praxis-stack, plugin praxis 1.4.0, and two skills",
      "Grok playbook and certificate remained byte-identical after deployment",
      "code explorer, strategic advisor, and metaconvergence cast unanimous PASS votes"
    ]
  },
  "runtime_closure": {
    "closed_at": "2026-07-18T18:47:58Z",
    "residual": "app-restart/runtime-registry",
    "restart": {
      "previous_pid": 21732,
      "current_pid": 37152,
      "state_file_verified": true,
      "old_pid_stopped": true,
      "new_pid_observed": true
    },
    "registry": {
      "plugin": "praxis@praxis-stack",
      "plugin_version": "1.4.0",
      "skill": "praxis:megapraxis",
      "resolved_from_installed_plugin_root": true
    },
    "fresh_project_witnesses": [
      {
        "project": "intrikata",
        "mode": "active-project",
        "registry_resolved": true,
        "briefing_count": 1,
        "swarm_dispatch_count": 0,
        "file_write_count": 0
      },
      {
        "project": "voidcrawler",
        "mode": "active-project",
        "registry_resolved": true,
        "briefing_count": 1,
        "swarm_dispatch_count": 0,
        "file_write_count": 0
      }
    ],
    "predicate_satisfied": true
  },
  "paths": {
    "playbook": "https://intrikata.com/onboard-codex.md",
    "certificate": "https://intrikata.com/data/codex-onboard.json",
    "console": "https://intrikata.com/",
    "cli": "https://intrikata.com/cli/intrikata.py",
    "praxis_playbook": "https://praxis-stack.pages.dev/onboard-codex.md",
    "praxis_certificate": "https://praxis-stack.pages.dev/demo/codex-onboard.json",
    "praxis_marketplace": "https://praxis-stack.pages.dev/git/praxis-stack.git"
  },
  "install": {
    "commands": [
      "codex plugin marketplace add https://praxis-stack.pages.dev/git/praxis-stack.git",
      "codex plugin add praxis@praxis-stack"
    ],
    "invoke_plugin": "$praxis:megapraxis",
    "direct_fallback": "install.py --harness codex",
    "direct_target": "~/.codex/skills",
    "invoke_direct": "$megapraxis",
    "rollback": [
      "codex plugin remove praxis@praxis-stack",
      "codex plugin marketplace remove praxis-stack"
    ]
  },
  "capabilities": {
    "skills": 2,
    "plugin_version": "1.4.0",
    "bundles_mcp": false,
    "bundles_hooks": false,
    "bundles_connector": false,
    "bundles_project_writer": false,
    "marketplace_authentication_policy": "ON_INSTALL",
    "plugin_authentication_implementation": false
  },
  "provisioning": {
    "optional": true,
    "installs_skills": false,
    "imports_backend_automatically": false,
    "output": "namespaced minimum-graph JSON bundle for manual import"
  },
  "tarski": {
    "decidable": "current static routes, manifests, package, and isolated installation can be validated",
    "closed_residual": "the observed app restart and two fresh-project registry resolutions are runtime-verified",
    "undecidable": "future Codex process starts remain oracle-required under the state-validity horizon",
    "invariant": "verify the running task registry; never infer runtime availability from disk"
  }
}