{
  "schema_version": "1.0",
  "updated_at": "2026-09-16",
  "purpose": "Public resumable HOLD registry for human or future generative-AI verification work.",
  "state_model": [
    "target",
    "actual",
    "residual",
    "missing_evidence",
    "next_probe",
    "pass_condition"
  ],
  "resume_rule": "Re-observe the current Actual before continuing. Do not assume recorded runtime state is still current.",
  "cases": [
    {
      "id": "cae-calculix-public-repro-20260916",
      "title": "CalculiX public reproducible evidence package",
      "domain": "FEA",
      "status": "HOLD_EVIDENCE_PENDING",
      "scope": "M_AND_T_VERIFICATION_STATUS",
      "resume_actor": [
        "human",
        "future_generative_ai"
      ],
      "target": "Verify a public reproducible path from Cubit model/mesh through analysis input, CalculiX execution, result extraction and visualization, with validation evidence.",
      "actual": "The workflow is a verification target, but a complete public-safe package containing geometry, material, boundary conditions, mesh, solver conditions, result figures and validation evidence has not yet been assembled.",
      "residual": "A complete reproducible public evidence package is missing.",
      "missing_evidence": [
        "public-safe geometry",
        "material properties",
        "boundary conditions",
        "mesh definition and quality evidence",
        "solver conditions",
        "result figures",
        "validation or comparison evidence"
      ],
      "next_probe": "Select one minimal public-safe case and reacquire the full evidence chain from input through result and validation under fixed conditions.",
      "pass_condition": "A third party or future AI can rerun from the published evidence and compare the result against declared acceptance tolerances.",
      "product_issue_claim": false,
      "source_page": "/resources/cae-ai-automation/#hold-cases"
    },
    {
      "id": "cae-specfem3d-t-split-node-20260916",
      "title": "SPECFEM3D complex fault / T-branch split-node verification",
      "domain": "wave propagation / spectral element method",
      "status": "HOLD_RESEARCH_CONTINUES",
      "scope": "M_AND_T_VERIFICATION_STATUS",
      "resume_actor": [
        "human",
        "future_generative_ai"
      ],
      "target": "Verify an external Cubit Hex mesh plus fault/split-node workflow including semantic surface identity, branching or T-type topology, and consistency between analysis conditions and results.",
      "actual": "Verification is ongoing. Decisive evidence for complex branching/T-type split-node behavior, surface re-identification and result consistency is not yet complete.",
      "residual": "Geometry, mesh, fault identity and solver results are not yet connected by one complete comparison contract.",
      "missing_evidence": [
        "minimal T-type benchmark geometry",
        "reproducible Cubit journal and mesh",
        "split-node evidence",
        "solver run evidence",
        "cross-section result visualization",
        "surface/fault re-identification evidence",
        "same-domain/boundary comparison evidence"
      ],
      "next_probe": "Use one minimal T-type geometry and collect Cubit journal, mesh, split nodes, solver output, cross-section results and re-identification evidence under the same comparison conditions.",
      "pass_condition": "The compared domain, geometry, material properties, governing equations and boundary conditions are aligned, and fault identity plus result residuals are verified against explicit acceptance criteria.",
      "product_issue_claim": false,
      "source_page": "/resources/cae-ai-automation/#hold-cases"
    }
  ]
}