{
  "schemaVersion": 1,
  "snapshotDate": "2026-10-11",
  "snapshotTimezone": "Asia/Shanghai",
  "evidenceScope": "Local Git commit objects, frozen generation/capability manifests, and five targeted GitHub commit availability checks. Remote-tracking references are explicitly cached observations.",
  "repositories": [
    {
      "id": "matrixspec",
      "name": "MatrixSpec",
      "authoritativeURL": "https://gitcode.com/OpenMatrix/MatrixSpec",
      "mirrorURL": "https://github.com/luobosibing2/MatrixSpec",
      "localMainSHA": "7290445e7cfab5427899f521ec263407426e44b6",
      "githubMainSnapshot": {
        "sha": "7290445e7cfab5427899f521ec263407426e44b6",
        "evidence": "Root agent fetched github/main during this publication task; this worker read the fetched ref.",
        "snapshotDate": "2026-10-11"
      },
      "role": "Base MatSpec runtime, CLI, workflow and templates."
    },
    {
      "id": "workflow-arena",
      "name": "Workflow Arena",
      "authoritativeURL": "https://github.com/kvenux/workflow-arena",
      "mirrorURL": "https://github.com/luobosibing2/workflow-arena",
      "localMainSHA": "ae3266db838646fc33ed4078b616a5810b3d7232",
      "cachedOriginMainSHA": "40c7baee163c54b66ad0b8f8091c330cf5ef6b6a",
      "remoteMainCurrentState": "not_verified",
      "role": "RSI experiment platform, generation/controller code, workflow overlays, evaluation versions and evidence."
    },
    {
      "id": "matrixspec-experimental-runtime",
      "name": "Experimental MatrixSpec runtime checkout",
      "authoritativeURL": null,
      "mirrorURL": null,
      "role": "Local independent runtime snapshots declared by frozen H1/H02/H03/H04 generation manifests. They must not be equated with the MatrixSpec main branch.",
      "identityBasis": "source.repository=local-independent-checkout and source.checkout=tools/matrixspec in generation manifests."
    }
  ],
  "commits": [
    {
      "id": "matrixspec-h0-runtime",
      "repositoryId": "matrixspec",
      "sha": "a93d0b8d804db4b7864159f8b04234a457c18f1e",
      "kind": "runtime-pin",
      "generation": "H0",
      "title": "docs: document history workflow experiment",
      "date": "2026-07-20T18:40:02+08:00",
      "committedAt": "2026-07-20T18:40:02+08:00",
      "parentSHAs": [
        "d4e212d5276ffbb7318428f470b62e0bd7adcc5a"
      ],
      "treeSHA": "8c26cd2b18c05cec0fd52dc90d745e11d10b4490",
      "relatedPaths": [
        "docs/manual-smoke.md"
      ],
      "note": "H0 frozen seven-stage runtime version; this commit records an experiment and is not the original seven-stage implementation.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": true,
        "workflow-arena": false
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/arena-v2-h5-core",
        "codex/publish-matrixspec-rsi-evolution",
        "codex/sdd-playbook-operator",
        "main",
        "github/main",
        "origin",
        "origin/main"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "matrixspec-backtracking-implementation",
      "repositoryId": "matrixspec",
      "sha": "58b71b774155f4b785f79effad10e08ca6958caf",
      "kind": "runtime-implementation",
      "generation": "H1-related",
      "title": "runtime: add formal verdict backtracking",
      "date": "2026-08-09T23:01:29+08:00",
      "committedAt": "2026-08-09T23:01:29+08:00",
      "parentSHAs": [
        "a93d0b8d804db4b7864159f8b04234a457c18f1e"
      ],
      "treeSHA": "d13c83476a58c0ee8d66fd152adca57761c7cb18",
      "relatedPaths": [
        "src/args.js",
        "src/cli.js",
        "src/stage-verdict.js",
        "src/state.js",
        "test/cli.test.js"
      ],
      "note": "Formal verdict/backtracking implementation on codex/arena-v2-h5-core. It must not substitute for H1 formal runtime pin 2291c4b5.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": true,
        "workflow-arena": false
      },
      "localMainContains": false,
      "cachedRefsContainingCommit": [
        "codex/arena-v2-h5-core"
      ],
      "remoteAvailability": {
        "status": "remote_unavailable",
        "httpStatus": 422,
        "url": null,
        "reason": "GitHub commit API returned No commit found for SHA in luobosibing2/MatrixSpec.",
        "checkedAt": "2026-10-11",
        "method": "GitHub REST commits API via gh api"
      }
    },
    {
      "id": "matrixspec-lean-runtime",
      "repositoryId": "matrixspec",
      "sha": "7290445e7cfab5427899f521ec263407426e44b6",
      "kind": "runtime-implementation-and-pin",
      "generation": "H052/H0601",
      "title": "feat: add lean spec-driven workflow",
      "date": "2026-08-03T16:45:31+08:00",
      "committedAt": "2026-08-03T16:45:31+08:00",
      "parentSHAs": [
        "f7c4911ecdc3892abfde216921e53d301c96f883"
      ],
      "treeSHA": "c09ea3204fff2fa8afadee15f2ec33ec6d662b6f",
      "relatedPaths": [
        ".gitignore",
        "README.md",
        "package.json",
        "scripts/codex-lean-smoke.ps1",
        "src/cli.js",
        "src/implement.js",
        "src/integrations.js",
        "src/project.js",
        "src/state.js",
        "src/validation.js",
        "src/workflow.js",
        "templates/delta/validation.md",
        "templates/en/delta/validation.md",
        "test/lean-profile.test.js",
        "test/light-gpt56-profile.test.js",
        "test/validation-semantics.test.js",
        "workflow-packs/matspec/commands/matspec.lean-implement.md",
        "workflow-packs/matspec/commands/matspec.lean-spec.md",
        "workflow-packs/matspec/commands/matspec.validation.md",
        "workflow-packs/matspec/pack.yaml",
        "workflow-packs/matspec/templates/delta/lean-spec.md",
        "workflow-packs/matspec/templates/delta/validation.md",
        "workflow-packs/matspec/workflow.lean.yaml",
        "workflow-packs/matspec/workflow.light-gpt56.yaml"
      ],
      "note": "Lean runtime implementation and the base runtime pinned by H052/H0601 capabilities; the experiment installs Workflow Arena overlays on top.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": true,
        "workflow-arena": false
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/publish-matrixspec-rsi-evolution",
        "main",
        "github/main",
        "origin",
        "origin/main"
      ],
      "remoteAvailability": {
        "status": "available",
        "url": "https://github.com/luobosibing2/MatrixSpec/commit/7290445e7cfab5427899f521ec263407426e44b6",
        "checkedAt": "2026-10-11",
        "method": "GitHub REST commits API via gh api"
      }
    },
    {
      "id": "arena-h0-replacement-summary",
      "repositoryId": "workflow-arena",
      "sha": "a083c4da577e6144a04e65dd96ab62f2c6cb48b2",
      "kind": "platform-implementation",
      "generation": "H0",
      "title": "engine: summarize replacement attempts safely",
      "date": "2026-08-09T12:30:02+08:00",
      "committedAt": "2026-08-09T12:48:05+08:00",
      "parentSHAs": [
        "447ee99830f52acd9b586bae6febdd3572c047eb"
      ],
      "treeSHA": "93c8942aa99f938fd6dd2ebb9863d04d36f2e38d",
      "relatedPaths": [
        "engine/drivers/matrixspec-evolution/harness.ps1",
        "engine/drivers/matrixspec-evolution/selftest.ps1"
      ],
      "note": "Replacement attempt aggregation behavior in the experiment platform.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h02-p01-readiness",
        "codex/h04-controller-evidence-bound-review",
        "codex/h05-p04-authority-conflict",
        "codex/h052-semi-fixed-change-spec",
        "codex/h052-weakness-mining",
        "codex/h0601-semantic-closure-evidence",
        "codex/h0601-semantic-closure-verification",
        "codex/matrixspec-h02-formal-execution",
        "codex/matrixspec-h02-rust-readiness",
        "codex/matrixspec-h02-six-stage",
        "codex/matrixspec-h02-smoke-execution",
        "codex/matrixspec-h1-empty-stage-events",
        "codex/matrixspec-h1-formal-execution",
        "codex/matrixspec-h1-remove-postaccept-checks",
        "codex/matrixspec-h5-control-plane",
        "codex/matrixspec-p4-integration",
        "codex/no-sdd-bare-baseline",
        "codex/workarena-python-matrixspec",
        "codex/workarena-python-r3-docs",
        "main",
        "fork/codex/h0601-semantic-closure-verification",
        "fork/codex/workarena-python-r3-docs"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "arena-h0-lifecycle-recovery",
      "repositoryId": "workflow-arena",
      "sha": "c217bce043a0356d9e2a16f94a85a0fa7a9040e7",
      "kind": "platform-implementation",
      "generation": "H0",
      "title": "engine: serialize experiment lifecycle recovery",
      "date": "2026-08-09T16:15:29+08:00",
      "committedAt": "2026-08-09T16:15:59+08:00",
      "parentSHAs": [
        "a083c4da577e6144a04e65dd96ab62f2c6cb48b2"
      ],
      "treeSHA": "946f9c65fb085c08ad23f38a671b8c32046ae75d",
      "relatedPaths": [
        "engine/drivers/matrixspec-evolution/harness.ps1",
        "engine/drivers/matrixspec-evolution/selftest.ps1",
        "engine/invoke-experiment.ps1",
        "engine/lib.ps1",
        "engine/selftest.ps1"
      ],
      "note": "Experiment lifecycle recovery serialization.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h02-p01-readiness",
        "codex/h04-controller-evidence-bound-review",
        "codex/h05-p04-authority-conflict",
        "codex/h052-semi-fixed-change-spec",
        "codex/h052-weakness-mining",
        "codex/h0601-semantic-closure-evidence",
        "codex/h0601-semantic-closure-verification",
        "codex/matrixspec-h02-formal-execution",
        "codex/matrixspec-h02-rust-readiness",
        "codex/matrixspec-h02-six-stage",
        "codex/matrixspec-h02-smoke-execution",
        "codex/matrixspec-h1-empty-stage-events",
        "codex/matrixspec-h1-formal-execution",
        "codex/matrixspec-h1-remove-postaccept-checks",
        "codex/matrixspec-h5-control-plane",
        "codex/matrixspec-p4-integration",
        "codex/no-sdd-bare-baseline",
        "codex/workarena-python-matrixspec",
        "codex/workarena-python-r3-docs",
        "main",
        "fork/codex/h0601-semantic-closure-verification",
        "fork/codex/workarena-python-r3-docs"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "arena-h0-terra-condition",
      "repositoryId": "workflow-arena",
      "sha": "d716d5cbef7ac7bd4913b148b8367c57cee36dfa",
      "kind": "execution-condition",
      "generation": "H0",
      "title": "matrixspec: add Terra high H0 condition",
      "date": "2026-08-09T20:30:20+08:00",
      "committedAt": "2026-08-09T20:30:20+08:00",
      "parentSHAs": [
        "c217bce043a0356d9e2a16f94a85a0fa7a9040e7"
      ],
      "treeSHA": "a334346ed88a43b08fb66e4d0a7c4c997513963f",
      "relatedPaths": [
        "engine/drivers/matrixspec-evolution/harness.ps1",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/controller.ps1",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/generation.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/selftest.ps1",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/axum-custom-executor/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/bat-sanitize/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/cli-item-list-fields/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/eslint-preserve-caught-error/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/prometheus-utf8-negotiation/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/pytest-addini-type-expressions/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/pytest-plugin-entry-points/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/conditions/terra-high/tasks/sqlmodel-field-constraints/experiment.json",
        "experiments/matrixspec-harness-evolution-h0/generation.ps1"
      ],
      "note": "Terra high H0 execution condition; not the MatrixSpec runtime SHA.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h02-p01-readiness",
        "codex/h04-controller-evidence-bound-review",
        "codex/h05-p04-authority-conflict",
        "codex/h052-semi-fixed-change-spec",
        "codex/h052-weakness-mining",
        "codex/h0601-semantic-closure-evidence",
        "codex/h0601-semantic-closure-verification",
        "codex/matrixspec-h02-formal-execution",
        "codex/matrixspec-h02-rust-readiness",
        "codex/matrixspec-h02-six-stage",
        "codex/matrixspec-h02-smoke-execution",
        "codex/matrixspec-h1-empty-stage-events",
        "codex/matrixspec-h1-formal-execution",
        "codex/matrixspec-h1-remove-postaccept-checks",
        "codex/matrixspec-h5-control-plane",
        "codex/matrixspec-p4-integration",
        "codex/workarena-python-matrixspec",
        "codex/workarena-python-r3-docs",
        "main",
        "fork/codex/h0601-semantic-closure-verification",
        "fork/codex/workarena-python-r3-docs"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "arena-h052-workflow",
      "repositoryId": "workflow-arena",
      "sha": "2537d05784f5fe524d94442cdbd678e3aa600353",
      "kind": "workflow-controller-and-overlays",
      "generation": "H052",
      "title": "engine: implement confirmed change spec workflow",
      "date": "2026-08-13T00:29:30+08:00",
      "committedAt": "2026-08-13T00:29:30+08:00",
      "parentSHAs": [
        "66e2b00153039b78cb0f630be1d9658e4dfdd073"
      ],
      "treeSHA": "83c5278d849b46f6c39ebb3f5eabc367e41de8c0",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/driver.ps1",
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1",
        "engine/drivers/matrixspec-profiled/harness.ps1",
        "packs/capabilities/matrixspec-lean-v1/capability.json",
        "packs/capabilities/matrixspec-lean-v1/install.ps1",
        "packs/capabilities/matrixspec-lean-v1/overlays/delta-spec.md",
        "packs/capabilities/matrixspec-lean-v1/overlays/workflow.lean.yaml"
      ],
      "note": "Implements exact confirmed Change Spec handoff to fresh implementation using controller code and runtime overlays.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h052-semi-fixed-change-spec",
        "codex/h052-weakness-mining",
        "codex/h0601-semantic-closure-evidence",
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "available",
        "url": "https://github.com/luobosibing2/workflow-arena/commit/2537d05784f5fe524d94442cdbd678e3aa600353",
        "checkedAt": "2026-10-11",
        "method": "GitHub REST commits API via gh api"
      }
    },
    {
      "id": "arena-h052-evaluation-version",
      "repositoryId": "workflow-arena",
      "sha": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "kind": "evaluation-version-and-replacement",
      "generation": "H052",
      "title": "experiments: rerun D8 with contract-aligned evaluator",
      "date": "2026-08-13T14:15:06+08:00",
      "committedAt": "2026-08-13T14:15:06+08:00",
      "parentSHAs": [
        "6ec8f7766224698c7e42ae09211484bc08970927"
      ],
      "treeSHA": "ad5cc9dd9e887117d2a1ed7d4e73ccebf97e9986",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/driver.ps1",
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1",
        "experiments/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1/experiment.json",
        "packs/tasks/prometheus-utf8-negotiation/ground-truth/sdd_utf8_negotiation_evaluator_fixed_v1_hidden.py",
        "packs/tasks/prometheus-utf8-negotiation/hooks/verify-evaluator-fixed-v1.ps1",
        "packs/tasks/prometheus-utf8-negotiation/task-evaluator-fixed-v1.json"
      ],
      "note": "H052 worktree/evaluation version after D8 contract-aligned evaluator replacement; not the first workflow implementation.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h052-semi-fixed-change-spec",
        "codex/h052-weakness-mining",
        "codex/h0601-semantic-closure-evidence",
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "arena-h0601-visible-evidence",
      "repositoryId": "workflow-arena",
      "sha": "a1057588597cedfd58c7d4e03328e9795e8f7209",
      "kind": "workflow-controller-and-overlays",
      "generation": "H0601",
      "title": "matrixspec-lean: bind visible verification to change specs",
      "date": "2026-08-13T17:50:50+08:00",
      "committedAt": "2026-08-13T17:51:31+08:00",
      "parentSHAs": [
        "a601aa86730c620e5a3ef777c32d535d59c82ece"
      ],
      "treeSHA": "08bccc43920114508541042de18dbeb12becc45b",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/driver.ps1",
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1",
        "engine/drivers/matrixspec-profiled/harness.ps1",
        "packs/capabilities/matrixspec-lean-v1/overlays/delta-spec.md",
        "packs/capabilities/matrixspec-lean-v1/overlays/workflow.lean.yaml"
      ],
      "note": "Binds structured Candidate-visible verification to the confirmed Change Spec.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "available",
        "url": "https://github.com/luobosibing2/workflow-arena/commit/a1057588597cedfd58c7d4e03328e9795e8f7209",
        "checkedAt": "2026-10-11",
        "method": "GitHub REST commits API via gh api"
      }
    },
    {
      "id": "arena-h0601-spec-selfcheck",
      "repositoryId": "workflow-arena",
      "sha": "2a5b1d094eade1835b433ed5e4aafb3e9dd09ed4",
      "kind": "workflow-controller-and-overlays",
      "generation": "H0601",
      "title": "matrixspec-lean: self-check change specs before confirmation",
      "date": "2026-08-13T19:54:06+08:00",
      "committedAt": "2026-08-13T19:54:06+08:00",
      "parentSHAs": [
        "b74f0eee81ab861f38ca0c21ee2d44c900006739"
      ],
      "treeSHA": "69d71de1311bcdeab0729b8070bb565316bc636d",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1",
        "packs/capabilities/matrixspec-lean-v1/capability.json",
        "packs/capabilities/matrixspec-lean-v1/install.ps1",
        "packs/capabilities/matrixspec-lean-v1/overlays/delta-spec.md",
        "packs/capabilities/matrixspec-lean-v1/overlays/validate-lean-change-spec.ps1",
        "packs/capabilities/matrixspec-lean-v1/overlays/workflow.lean.yaml"
      ],
      "note": "Moves Change Spec structure checking to the SDD-owned self-check before Operator confirmation.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "available",
        "url": "https://github.com/luobosibing2/workflow-arena/commit/2a5b1d094eade1835b433ed5e4aafb3e9dd09ed4",
        "checkedAt": "2026-10-11",
        "method": "GitHub REST commits API via gh api"
      }
    },
    {
      "id": "arena-h0601-go-condition",
      "repositoryId": "workflow-arena",
      "sha": "da2b42bd7f84d12f990c273a6485f84838f94d88",
      "kind": "verification-execution-condition",
      "generation": "H0601",
      "title": "matrixspec-lean: stabilize offline Go verification",
      "date": "2026-08-13T22:11:00+08:00",
      "committedAt": "2026-08-13T22:11:00+08:00",
      "parentSHAs": [
        "2a5b1d094eade1835b433ed5e4aafb3e9dd09ed4"
      ],
      "treeSHA": "3eb52b84d6d0301554dd37795ca74f3e68e570cc",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1"
      ],
      "note": "Offline Go verification environment stabilization; preserve separately from semantic closure implementation.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "arena-h0601-receipt-start-failures",
      "repositoryId": "workflow-arena",
      "sha": "afab51580435e8e71d1b80a52d22b72ecd774151",
      "kind": "verification-receipt-failure-handling",
      "generation": "H0601",
      "title": "matrixspec-lean: receipt verification start failures",
      "date": "2026-08-13T23:18:47+08:00",
      "committedAt": "2026-08-13T23:18:47+08:00",
      "parentSHAs": [
        "548c78e739cdb85147267de976c6a62e734f58fd"
      ],
      "treeSHA": "fb4480b1d75d34558869bd9fc2b73f0ce85afa02",
      "relatedPaths": [
        "engine/drivers/matrixspec-lean/harness.ps1",
        "engine/drivers/matrixspec-lean/selftest.ps1"
      ],
      "note": "Records verification process start failures in receipts; formal implementation branch tip, not a later Codex cleanup snapshot.",
      "objectVerified": true,
      "verificationStatus": "git-object-verified",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": true
      },
      "localMainContains": true,
      "cachedRefsContainingCommit": [
        "codex/h0601-semantic-closure-verification",
        "main",
        "fork/codex/h0601-semantic-closure-verification"
      ],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      }
    },
    {
      "id": "experimental-runtime-h1",
      "repositoryId": "matrixspec-experimental-runtime",
      "sha": "2291c4b5b119e00df751d841a81e12afdecac443",
      "kind": "formal-runtime-pin",
      "generation": "H1",
      "title": null,
      "date": null,
      "committedAt": null,
      "parentSHAs": null,
      "treeSHA": "dd37a8a1f8102bcb606776767cff68691e35616c",
      "relatedPaths": [
        "src/args.js",
        "src/cli.js",
        "src/state.js",
        "src/stage-verdict.js",
        "test/cli.test.js"
      ],
      "relatedPathsBasis": "manifest evolutionSurface.allowedPaths; not a verified commit diff",
      "generationParent": {
        "generationId": "H0",
        "commit": "a93d0b8d804db4b7864159f8b04234a457c18f1e",
        "tree": "8c26cd2b18c05cec0fd52dc90d745e11d10b4490"
      },
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": false
      },
      "localMainContains": null,
      "cachedRefsContainingCommit": [],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      },
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "id": "experimental-runtime-h02",
      "repositoryId": "matrixspec-experimental-runtime",
      "sha": "af038b14125bfc4d1c89a5dc1148ba1af28e35e5",
      "kind": "formal-runtime-pin",
      "generation": "H02",
      "title": null,
      "date": null,
      "committedAt": null,
      "parentSHAs": null,
      "treeSHA": "ab8987ac29443e2e058d0939a9ce7208addbb291",
      "relatedPaths": [
        "workflow-packs/matspec/workflow.yaml",
        "src/implement.js",
        "src/integrations.js",
        "src/state.js",
        "test/cli.test.js",
        "test/full-spec.test.js"
      ],
      "relatedPathsBasis": "manifest evolutionSurface.allowedPaths; not a verified commit diff",
      "generationParent": {
        "generationId": "H1",
        "commit": "2291c4b5b119e00df751d841a81e12afdecac443",
        "tree": "dd37a8a1f8102bcb606776767cff68691e35616c"
      },
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": false
      },
      "localMainContains": null,
      "cachedRefsContainingCommit": [],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      },
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "id": "experimental-runtime-h03",
      "repositoryId": "matrixspec-experimental-runtime",
      "sha": "6a5a17e9a137d5e253b7f427002bbd03bf193546",
      "kind": "formal-runtime-pin",
      "generation": "H03/H04",
      "title": null,
      "date": null,
      "committedAt": null,
      "parentSHAs": null,
      "treeSHA": "af7251e7b965458a5f61b95a612f6c2acdf91d45",
      "relatedPaths": [
        "workflow-packs/matspec/workflow.yaml",
        "src/integrations.js",
        "test/cli.test.js",
        "test/full-spec.test.js"
      ],
      "relatedPathsBasis": "manifest evolutionSurface.allowedPaths; not a verified commit diff",
      "generationParent": {
        "generationId": "H02",
        "commit": "af038b14125bfc4d1c89a5dc1148ba1af28e35e5",
        "tree": "ab8987ac29443e2e058d0939a9ce7208addbb291"
      },
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "objectPresenceByRepository": {
        "matrixspec": false,
        "workflow-arena": false
      },
      "localMainContains": null,
      "cachedRefsContainingCommit": [],
      "remoteAvailability": {
        "status": "not_checked",
        "url": null
      },
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    }
  ],
  "runtimePins": [
    {
      "generation": "H0",
      "repositoryId": "matrixspec",
      "sha": "a93d0b8d804db4b7864159f8b04234a457c18f1e",
      "basis": "packs/capabilities/matrixspec-a93d0b8/capability.json source.commit"
    },
    {
      "generation": "H1",
      "sha": "2291c4b5b119e00df751d841a81e12afdecac443",
      "treeSHA": "dd37a8a1f8102bcb606776767cff68691e35616c",
      "generationParent": {
        "generationId": "H0",
        "commit": "a93d0b8d804db4b7864159f8b04234a457c18f1e",
        "tree": "8c26cd2b18c05cec0fd52dc90d745e11d10b4490"
      },
      "sourceRepositoryDeclaration": "local-independent-checkout",
      "sourceCheckout": "tools/matrixspec",
      "manifestRepositoryId": "workflow-arena",
      "manifestRelativePath": "experiments/matrixspec-harness-evolution-h1/generations/H1.json",
      "manifestObservedAtVersion": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "declaredEvolutionPaths": [
        "src/args.js",
        "src/cli.js",
        "src/state.js",
        "src/stage-verdict.js",
        "test/cli.test.js"
      ],
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "localMainContains": null,
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "generation": "H02",
      "sha": "af038b14125bfc4d1c89a5dc1148ba1af28e35e5",
      "treeSHA": "ab8987ac29443e2e058d0939a9ce7208addbb291",
      "generationParent": {
        "generationId": "H1",
        "commit": "2291c4b5b119e00df751d841a81e12afdecac443",
        "tree": "dd37a8a1f8102bcb606776767cff68691e35616c"
      },
      "sourceRepositoryDeclaration": "local-independent-checkout",
      "sourceCheckout": "tools/matrixspec",
      "manifestRepositoryId": "workflow-arena",
      "manifestRelativePath": "experiments/matrixspec-harness-evolution-h02/generations/H02.json",
      "manifestObservedAtVersion": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "declaredEvolutionPaths": [
        "workflow-packs/matspec/workflow.yaml",
        "src/implement.js",
        "src/integrations.js",
        "src/state.js",
        "test/cli.test.js",
        "test/full-spec.test.js"
      ],
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "localMainContains": null,
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "generation": "H03",
      "sha": "6a5a17e9a137d5e253b7f427002bbd03bf193546",
      "treeSHA": "af7251e7b965458a5f61b95a612f6c2acdf91d45",
      "generationParent": {
        "generationId": "H02",
        "commit": "af038b14125bfc4d1c89a5dc1148ba1af28e35e5",
        "tree": "ab8987ac29443e2e058d0939a9ce7208addbb291"
      },
      "sourceRepositoryDeclaration": "local-independent-checkout",
      "sourceCheckout": "tools/matrixspec",
      "manifestRepositoryId": "workflow-arena",
      "manifestRelativePath": "experiments/matrixspec-harness-evolution-h03/generations/H03.json",
      "manifestObservedAtVersion": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "declaredEvolutionPaths": [
        "workflow-packs/matspec/workflow.yaml",
        "src/integrations.js",
        "test/cli.test.js",
        "test/full-spec.test.js"
      ],
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "localMainContains": null,
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "generation": "H04",
      "sha": "6a5a17e9a137d5e253b7f427002bbd03bf193546",
      "treeSHA": "af7251e7b965458a5f61b95a612f6c2acdf91d45",
      "generationParent": {
        "generationId": "H03",
        "commit": "6a5a17e9a137d5e253b7f427002bbd03bf193546",
        "tree": "af7251e7b965458a5f61b95a612f6c2acdf91d45"
      },
      "sourceRepositoryDeclaration": "local-independent-checkout",
      "sourceCheckout": "tools/matrixspec",
      "manifestRepositoryId": "workflow-arena",
      "manifestRelativePath": "experiments/matrixspec-harness-evolution-h04/generations/H04.json",
      "manifestObservedAtVersion": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "declaredEvolutionPaths": [
        "workflow-packs/matspec/workflow.yaml",
        "src/integrations.js",
        "test/cli.test.js",
        "test/full-spec.test.js"
      ],
      "objectVerified": false,
      "verificationStatus": "manifest-only",
      "localMainContains": null,
      "note": "The manifest declares a local independent runtime checkout. Commit objects are absent from the current MatrixSpec and Workflow Arena primary object stores; surviving experimental worktree Git pointers reference an unavailable former object store."
    },
    {
      "generation": "H052/H0601",
      "repositoryId": "matrixspec",
      "sha": "7290445e7cfab5427899f521ec263407426e44b6",
      "basis": "packs/capabilities/matrixspec-lean-v1/capability.json source.commit at H052/H0601 versions",
      "note": "The runtime pin stays at 7290445 while Workflow Arena installs generation-specific overlays and controller behavior."
    }
  ],
  "documentSource": {
    "repositoryName": "matrixspec-evolution-field-guide-site",
    "authoritativeURL": null,
    "mirrorURL": null,
    "sha": "5996577cd2da067e72b700239bd621d9cd7afa90",
    "title": "Update Site source",
    "date": "2026-10-02T20:59:58+08:00",
    "parentSHAs": [
      "da7f5ee698a18c53a0bc3ce73e3464c4cbe9cf05"
    ],
    "objectVerified": true,
    "sourceMainHtmlSha256": "cd7cb0deb48a3c899cb95ad8b72fde8c64d2bd747dd2189eb97fa0253a9b476c",
    "sourceMainHtmlHashBasis": "Root agent verified the selected latest page source.",
    "kind": "published-site-source-lineage",
    "note": "This is the source lineage for the migrated field-guide page, not an evaluation execution SHA or an SDD runtime pin."
  },
  "boundaries": [
    "Implementation commit, runtime pin, execution/evaluation version, evidence archive commit and current branch HEAD are separate identities.",
    "Git merge-base main containment is a fact about the local main branch at this snapshot. It does not prove a current remote main contains a commit.",
    "cachedRefsContainingCommit and cachedOriginMainSHA are local remote-tracking cache observations; they are not a live remote verification.",
    "Available remoteAvailability entries were checked through the GitHub commits API on 2026-10-11. Unchecked and remote_unavailable entries have no external commit URL.",
    "Runtime manifests prove selected runtime identities and declared evolution surfaces. For manifest-only objects, commit title/date/actual Git parents/diff are deliberately null or unverified.",
    "No credentials, raw trajectories, result run homes, or original machine absolute paths are included in this metadata artifact.",
    "githubMainSnapshot 7290445 records the base version before this document publication commit. Publication advances GitHub main; this JSON snapshot must not be treated as a live HEAD after the push."
  ],
  "snapshotStage": "before-document-publication"
}
