{
  "schema": "constellation.integration-qualification/v1",
  "suite_version": "0.1.0-alpha.1",
  "profile": "maude-plan-consultation/v1",
  "manifest_sha256": "fd374b3478bcda4fcaa7499eee752304f935cc68473c2acf55c3f33313773662",
  "result": "passed",
  "verified_date": "2026-09-13",
  "independent_newcomer": {
    "reviewer": "Codex gpt-5.6-sol, fresh context restricted to public instructions and their links",
    "result": "passed",
    "inputs": "Public guide at 0976a00c8a0803b20bc84a751a04e3906dd00bdd; unchanged pinned runtime and example kit",
    "observed": "Fresh public installation, user draft creation, available inspection, matching restart and recovery, mutator refusal exit 2, absent-store refusal without path creation, and unavailable program result.",
    "documentation_repairs": [
      "Retain full plan creation output in a private local file, separate from a redacted reader diagnostic.",
      "Use local pathname inspection for cleanup; partial-clone Git inspection can need network access and is not a prerequisite for offline plan reading.",
      "Show unavailable JSON including draft_id; callers parse documented fields."
    ]
  },
  "public_inputs": {
    "maude_commit": "7d196e2ab0e78cca46bd34af1ce6e9cbc9bf7fa6",
    "example_kit_commit": "013b05d0c5258ee1bc898a51b271e47d49c4f865"
  },
  "environment": {
    "os": "Ubuntu 24.04.4 LTS",
    "platform": "linux-x86_64",
    "python": "3.12.3",
    "pip": "24.0",
    "sqlite": "3.45.1",
    "provider_credentials": "none",
    "services": []
  },
  "cases": [
    {
      "id": "create-and-inspect",
      "result": "passed",
      "observed": "A user-created draft was returned through one read-only inspect with matching draft, revision and plan digests."
    },
    {
      "id": "caller-restart",
      "result": "passed",
      "observed": "A new reader process returned the same recorded revision and plan digests from the same store while writers were quiescent."
    },
    {
      "id": "absent-store-refusal",
      "result": "passed",
      "observed": "An absent store path remained absent; the untyped CLI refusal remained unavailable with reason command_refused, not inferred absence."
    },
    {
      "id": "program-unavailable",
      "result": "passed",
      "observed": "A missing configured CLI produced unavailable with reason program_unavailable."
    },
    {
      "id": "same-store-recovery",
      "result": "passed",
      "observed": "After restoring the valid CLI path, a new reader process recovered the same recorded revision without replacing the owner store."
    },
    {
      "id": "read-only-command-refusal",
      "result": "passed",
      "observed": "A mutating lock command with read-only mode refused before modifying the store."
    }
  ],
  "scope": {
    "established": [
      "clean public-source setup with hash-pinned Python dependencies",
      "user-owned local draft creation",
      "bounded external inspection through Maude read-only CLI",
      "refusal and unavailable result handling",
      "same-store inspection after caller restart"
    ],
    "not_established": [
      "external truth or present deployment state",
      "plan checking, locking, compilation, authorization or execution",
      "AG, Docket or connected-cache composition",
      "backup restoration, migration or rollback",
      "behavior with concurrent writers",
      "other operating systems, architectures or Python minor versions"
    ]
  }
}