{
  "specification": {
    "id": "GEARM",
    "version": "0.1"
  },
  "artifactStage": "GEARM-A13",
  "reconciliationVersion": "0.1.0-draft",
  "purpose": "Cross-artifact reconciliation across GEARM-A1 through GEARM-A12.",
  "normativeBoundary": "A13 checks consistency among machine artifacts and their normative source. A reconciliation PASS does not replace semantic assessment or establish complete GEARM conformance.",
  "summary": {
    "checkCount": 51,
    "passCount": 51,
    "warningCount": 0,
    "failCount": 0,
    "status": "PASS"
  },
  "checks": [
    {
      "id": "A13-001",
      "category": "package",
      "status": "PASS",
      "summary": "A1-A8 core artifact files are present"
    },
    {
      "id": "A13-002",
      "category": "package",
      "status": "PASS",
      "summary": "Core artifacts agree on GEARM specification version",
      "detail": [
        "0.1"
      ]
    },
    {
      "id": "A13-010",
      "category": "A1",
      "status": "PASS",
      "summary": "A1 concept count matches declared statistics",
      "detail": 176
    },
    {
      "id": "A13-011",
      "category": "A1",
      "status": "PASS",
      "summary": "A1 concept IDs, IRIs, QNames and local names are unique"
    },
    {
      "id": "A13-012",
      "category": "A1",
      "status": "PASS",
      "summary": "A1 concept QName/IRI/local-name identities are internally coherent"
    },
    {
      "id": "A13-013",
      "category": "A1",
      "status": "PASS",
      "summary": "A1 concept family and RM-domain references resolve",
      "detail": []
    },
    {
      "id": "A13-014",
      "category": "A1",
      "status": "PASS",
      "summary": "A1 external and boundary reference counts reconcile"
    },
    {
      "id": "A13-020",
      "category": "A2",
      "status": "PASS",
      "summary": "A2 relationship count matches declared statistics",
      "detail": 74
    },
    {
      "id": "A13-021",
      "category": "A2",
      "status": "PASS",
      "summary": "A2 relationship IDs, IRIs and QNames are unique"
    },
    {
      "id": "A13-022",
      "category": "A2",
      "status": "PASS",
      "summary": "A2 relationship QName/IRI/local-name identities are internally coherent"
    },
    {
      "id": "A13-023",
      "category": "A2",
      "status": "PASS",
      "summary": "A2 concept and semantic-counterpart references resolve against A1/A2",
      "detail": []
    },
    {
      "id": "A13-024",
      "category": "A2",
      "status": "PASS",
      "summary": "A2 relationship-family references resolve",
      "detail": []
    },
    {
      "id": "A13-030",
      "category": "A3",
      "status": "PASS",
      "summary": "A3 invariant count and uniqueness statistics reconcile",
      "detail": 180
    },
    {
      "id": "A13-031",
      "category": "A3",
      "status": "PASS",
      "summary": "A3 canonical and legacy invariant IDs map one-to-one"
    },
    {
      "id": "A13-032",
      "category": "A3",
      "status": "PASS",
      "summary": "A3 concept and relationship links resolve against A1/A2",
      "detail": {
        "concept": [],
        "relationship": []
      }
    },
    {
      "id": "A13-033",
      "category": "A3",
      "status": "PASS",
      "summary": "A3 class, validation-class and requirement-level statistics reconcile",
      "detail": {
        "classes": {
          "distinction": 108,
          "constraint": 13,
          "specialization": 5,
          "boundary": 47,
          "non-inheritance": 6,
          "subset": 1
        },
        "validation": {
          "hybrid": 120,
          "semantic-assessment": 60
        },
        "requirements": {
          "SHALL": 178,
          "SHOULD": 2
        }
      }
    },
    {
      "id": "A13-034",
      "category": "A3",
      "status": "PASS",
      "summary": "Normative specification exposes exactly the A3 invariant ID set",
      "detail": {
        "spec": 180,
        "catalogue": 180
      }
    },
    {
      "id": "A13-036",
      "category": "A3/specification",
      "status": "PASS",
      "summary": "A3 invariant statements exactly match the normative M9 table",
      "detail": []
    },
    {
      "id": "A13-035",
      "category": "A3/A6",
      "status": "PASS",
      "summary": "A3 machine-constraint status is reconciled with established A6 coverage",
      "detail": {
        "staleCount": 0
      }
    },
    {
      "id": "A13-040",
      "category": "A4",
      "status": "PASS",
      "summary": "A4 represents every A1 GEARM-owned concept as owl:Class",
      "detail": []
    },
    {
      "id": "A13-041",
      "category": "A4",
      "status": "PASS",
      "summary": "A4 represents every A2 relationship as an RDF property",
      "detail": []
    },
    {
      "id": "A13-042",
      "category": "A4",
      "status": "PASS",
      "summary": "A4 represents every A3 invariant as a first-class RDF resource",
      "detail": []
    },
    {
      "id": "A13-043",
      "category": "A4",
      "status": "PASS",
      "summary": "A4 preserves every explicit A1 specialization as rdfs:subClassOf",
      "detail": []
    },
    {
      "id": "A13-044",
      "category": "A4",
      "status": "PASS",
      "summary": "A4 conservative-formalization guardrails remain intact",
      "detail": []
    },
    {
      "id": "A13-045",
      "category": "A3/A4",
      "status": "PASS",
      "summary": "A4 invariant metadata mirrors A3 catalogue metadata",
      "detail": []
    },
    {
      "id": "A13-050",
      "category": "A5",
      "status": "PASS",
      "summary": "A5 has no default @vocab and maps every A1 concept to its canonical IRI",
      "detail": []
    },
    {
      "id": "A13-051",
      "category": "A5",
      "status": "PASS",
      "summary": "A5 maps every A2 relationship as an IRI-valued JSON-LD term",
      "detail": []
    },
    {
      "id": "A13-052",
      "category": "A4/A5",
      "status": "PASS",
      "summary": "A5 namespace prefixes align with A4 namespaces",
      "detail": []
    },
    {
      "id": "A13-060",
      "category": "A6",
      "status": "PASS",
      "summary": "A6 coverage and executable-shape counts match established baseline",
      "detail": {
        "coverage": 180,
        "shapes": 85
      }
    },
    {
      "id": "A13-061",
      "category": "A3/A6",
      "status": "PASS",
      "summary": "A6 has exactly one coverage record for every A3 invariant",
      "detail": {
        "bad": [],
        "unique": 180
      }
    },
    {
      "id": "A13-062",
      "category": "A6",
      "status": "PASS",
      "summary": "A6 coverage-status counts reconcile",
      "detail": {
        "PartialExecutable": 85,
        "HybridAssessmentRequired": 35,
        "AssessmentOnly": 60
      }
    },
    {
      "id": "A13-063",
      "category": "A3/A6",
      "status": "PASS",
      "summary": "Every executable A6 shape maps to an A3 Hybrid invariant",
      "detail": []
    },
    {
      "id": "A13-064",
      "category": "A3/A6",
      "status": "PASS",
      "summary": "A3 machineConstraintStatus agrees with A6 coverage classification",
      "detail": {
        "mismatchCount": 0,
        "sample": []
      }
    },
    {
      "id": "A13-070",
      "category": "A7",
      "status": "PASS",
      "summary": "A7 is valid Draft 2020-12 JSON Schema"
    },
    {
      "id": "A13-071",
      "category": "A1/A7",
      "status": "PASS",
      "summary": "A7 TypeReference covers every A1 concept in local/QName/IRI forms",
      "detail": []
    },
    {
      "id": "A13-072",
      "category": "A1/A7",
      "status": "PASS",
      "summary": "A7 ConceptReference covers every A1 registry ID",
      "detail": []
    },
    {
      "id": "A13-073",
      "category": "A2/A7",
      "status": "PASS",
      "summary": "A7 RelationshipReference covers every A2 relationship in four canonical forms",
      "detail": []
    },
    {
      "id": "A13-074",
      "category": "A3/A7",
      "status": "PASS",
      "summary": "A7 InvariantReference exactly matches A3 invariant identifiers",
      "detail": {
        "schema": 180,
        "A3": 180
      }
    },
    {
      "id": "A13-080",
      "category": "A8",
      "status": "PASS",
      "summary": "A8 is valid Draft 2020-12 JSON Schema"
    },
    {
      "id": "A13-081",
      "category": "A1/A8",
      "status": "PASS",
      "summary": "A8 canonical concept references reconcile with A1",
      "detail": {
        "count": 704,
        "missing": []
      }
    },
    {
      "id": "A13-082",
      "category": "A2/A8",
      "status": "PASS",
      "summary": "A8 canonical relationship references reconcile with A2",
      "detail": {
        "count": 296,
        "missing": []
      }
    },
    {
      "id": "A13-083",
      "category": "A3/A8",
      "status": "PASS",
      "summary": "A8 invariant and tightenable-invariant sets derive correctly from A3",
      "detail": {
        "all": 180,
        "tightenable": [
          "GEARM-INV-152",
          "GEARM-INV-191"
        ]
      }
    },
    {
      "id": "A13-084",
      "category": "A8",
      "status": "PASS",
      "summary": "A8 rejects reuse of the canonical GEARM namespace for Profile extensions"
    },
    {
      "id": "A13-090",
      "category": "A9",
      "status": "PASS",
      "summary": "All eight A9 canonical examples validate against their applicable A7/A8 schema",
      "detail": {
        "files": 8,
        "bad": []
      }
    },
    {
      "id": "A13-100",
      "category": "A10/A11",
      "status": "PASS",
      "summary": "A10/A11 manifest contains 46 unique testcase identities",
      "detail": 46
    },
    {
      "id": "A13-101",
      "category": "A3/A10/A11",
      "status": "PASS",
      "summary": "All testcase invariant references resolve to A3",
      "detail": []
    },
    {
      "id": "A13-102",
      "category": "A10/A11",
      "status": "PASS",
      "summary": "All testcase files/artifacts referenced by manifest exist",
      "detail": []
    },
    {
      "id": "A13-103",
      "category": "A10/A11",
      "status": "PASS",
      "summary": "A10/A11 testcase band counts reconcile",
      "detail": {
        "positive": 14,
        "structural-invalid": 10,
        "semantic-invalid": 10,
        "profile-invalid": 12
      }
    },
    {
      "id": "A13-110",
      "category": "A12",
      "status": "PASS",
      "summary": "A12 runner is present"
    },
    {
      "id": "A13-111",
      "category": "A12",
      "status": "PASS",
      "summary": "A12 full suite executes with no expectation mismatch",
      "detail": {
        "exit": 0,
        "summary": {
          "testcases": 46,
          "expectationsMatched": 46,
          "expectationMismatches": 0,
          "semanticAssessmentRequired": 23,
          "machineRegression": "PASS",
          "completeConformance": "NOT_CLAIMED"
        }
      }
    },
    {
      "id": "A13-120",
      "category": "documentation",
      "status": "PASS",
      "summary": "Normative GEARM specification references all established A1-A13 primary artifacts",
      "detail": []
    }
  ]
}