{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://www.calculatorx.com/schemas/math.gcf.output.json",
  "title": "Greatest common factor — success output",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "status",
    "capability_id",
    "engine",
    "inputs",
    "result",
    "result_detail",
    "calculation_version",
    "verification"
  ],
  "properties": {
    "id": {
      "type": "string",
      "description": "Requested tool id"
    },
    "status": {
      "const": "success"
    },
    "capability_id": {
      "const": "math.gcf"
    },
    "tool": {
      "type": "string",
      "description": "Requested tool id"
    },
    "engine": {
      "type": "string"
    },
    "inputs": {
      "description": "Normalized calculation inputs (aliases resolved to canonical form)",
      "type": "object",
      "properties": {
        "values": {
          "type": "array",
          "minItems": 2,
          "maxItems": 32,
          "items": {
            "oneOf": [
              {
                "type": "integer",
                "minimum": -9007199254740991,
                "maximum": 9007199254740991
              },
              {
                "type": "string",
                "maxLength": 128,
                "pattern": "^\\s*[+-]?\\d{1,48}\\s*$"
              }
            ]
          }
        }
      },
      "required": [
        "values"
      ],
      "additionalProperties": false
    },
    "result": {
      "type": "object",
      "properties": {
        "values": {
          "type": "array",
          "minItems": 2,
          "maxItems": 32,
          "items": {
            "oneOf": [
              {
                "type": "integer",
                "minimum": -9007199254740991,
                "maximum": 9007199254740991
              },
              {
                "type": "string",
                "pattern": "^-?[1-9]\\d{0,47}$"
              }
            ]
          }
        },
        "value": {
          "oneOf": [
            {
              "type": "integer",
              "minimum": 1,
              "maximum": 9007199254740991
            },
            {
              "type": "string",
              "pattern": "^[1-9]\\d{0,47}$"
            }
          ]
        },
        "exact": {
          "type": "string",
          "pattern": "^[1-9]\\d{0,47}$"
        },
        "count": {
          "type": "integer",
          "minimum": 2,
          "maximum": 32
        },
        "formula": {
          "const": "GCF(a,b,c,…) = GCF(GCF(a,b),c,…)"
        },
        "binary_formula": {
          "const": "GCF(a,b)=GCF(b, a mod b)"
        },
        "methods": {
          "type": "object",
          "properties": {
            "factor": {
              "oneOf": [
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": false
                    },
                    "result": {
                      "type": "null"
                    }
                  },
                  "required": [
                    "available",
                    "result"
                  ],
                  "additionalProperties": false
                },
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": true
                    },
                    "result": {
                      "oneOf": [
                        {
                          "type": "integer",
                          "minimum": 1,
                          "maximum": 9007199254740991
                        },
                        {
                          "type": "string",
                          "pattern": "^[1-9]\\d{0,47}$"
                        }
                      ]
                    },
                    "matches": {
                      "const": true
                    }
                  },
                  "required": [
                    "available",
                    "result",
                    "matches"
                  ],
                  "additionalProperties": false
                }
              ]
            },
            "prime": {
              "oneOf": [
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": false
                    },
                    "result": {
                      "type": "null"
                    }
                  },
                  "required": [
                    "available",
                    "result"
                  ],
                  "additionalProperties": false
                },
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": true
                    },
                    "result": {
                      "oneOf": [
                        {
                          "type": "integer",
                          "minimum": 1,
                          "maximum": 9007199254740991
                        },
                        {
                          "type": "string",
                          "pattern": "^[1-9]\\d{0,47}$"
                        }
                      ]
                    },
                    "matches": {
                      "const": true
                    }
                  },
                  "required": [
                    "available",
                    "result",
                    "matches"
                  ],
                  "additionalProperties": false
                }
              ]
            },
            "euclidean": {
              "oneOf": [
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": false
                    },
                    "result": {
                      "type": "null"
                    }
                  },
                  "required": [
                    "available",
                    "result"
                  ],
                  "additionalProperties": false
                },
                {
                  "type": "object",
                  "properties": {
                    "available": {
                      "const": true
                    },
                    "result": {
                      "oneOf": [
                        {
                          "type": "integer",
                          "minimum": 1,
                          "maximum": 9007199254740991
                        },
                        {
                          "type": "string",
                          "pattern": "^[1-9]\\d{0,47}$"
                        }
                      ]
                    },
                    "matches": {
                      "const": true
                    }
                  },
                  "required": [
                    "available",
                    "result",
                    "matches"
                  ],
                  "additionalProperties": false
                }
              ]
            },
            "agree": {
              "const": true
            },
            "independent_count": {
              "type": "integer",
              "minimum": 1,
              "maximum": 3
            }
          },
          "required": [
            "factor",
            "prime",
            "euclidean",
            "agree",
            "independent_count"
          ],
          "additionalProperties": false
        },
        "work": {
          "type": "object",
          "properties": {
            "factors": {
              "type": "array",
              "items": {
                "type": "string",
                "minLength": 1
              },
              "maxItems": 10000
            },
            "primes": {
              "type": "array",
              "items": {
                "type": "string",
                "minLength": 1
              },
              "maxItems": 10000
            },
            "euclidean": {
              "type": "array",
              "items": {
                "type": "string",
                "minLength": 1
              },
              "maxItems": 10000,
              "minItems": 2
            }
          },
          "required": [
            "factors",
            "primes",
            "euclidean"
          ],
          "additionalProperties": false
        },
        "max_digits": {
          "const": 48
        }
      },
      "required": [
        "values",
        "value",
        "exact",
        "count",
        "formula",
        "binary_formula",
        "methods",
        "work",
        "max_digits"
      ],
      "additionalProperties": false
    },
    "result_detail": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "value",
        "unit",
        "formatted"
      ],
      "properties": {
        "value": {
          "type": "object",
          "properties": {
            "values": {
              "type": "array",
              "minItems": 2,
              "maxItems": 32,
              "items": {
                "oneOf": [
                  {
                    "type": "integer",
                    "minimum": -9007199254740991,
                    "maximum": 9007199254740991
                  },
                  {
                    "type": "string",
                    "pattern": "^-?[1-9]\\d{0,47}$"
                  }
                ]
              }
            },
            "value": {
              "oneOf": [
                {
                  "type": "integer",
                  "minimum": 1,
                  "maximum": 9007199254740991
                },
                {
                  "type": "string",
                  "pattern": "^[1-9]\\d{0,47}$"
                }
              ]
            },
            "exact": {
              "type": "string",
              "pattern": "^[1-9]\\d{0,47}$"
            },
            "count": {
              "type": "integer",
              "minimum": 2,
              "maximum": 32
            },
            "formula": {
              "const": "GCF(a,b,c,…) = GCF(GCF(a,b),c,…)"
            },
            "binary_formula": {
              "const": "GCF(a,b)=GCF(b, a mod b)"
            },
            "methods": {
              "type": "object",
              "properties": {
                "factor": {
                  "oneOf": [
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": false
                        },
                        "result": {
                          "type": "null"
                        }
                      },
                      "required": [
                        "available",
                        "result"
                      ],
                      "additionalProperties": false
                    },
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": true
                        },
                        "result": {
                          "oneOf": [
                            {
                              "type": "integer",
                              "minimum": 1,
                              "maximum": 9007199254740991
                            },
                            {
                              "type": "string",
                              "pattern": "^[1-9]\\d{0,47}$"
                            }
                          ]
                        },
                        "matches": {
                          "const": true
                        }
                      },
                      "required": [
                        "available",
                        "result",
                        "matches"
                      ],
                      "additionalProperties": false
                    }
                  ]
                },
                "prime": {
                  "oneOf": [
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": false
                        },
                        "result": {
                          "type": "null"
                        }
                      },
                      "required": [
                        "available",
                        "result"
                      ],
                      "additionalProperties": false
                    },
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": true
                        },
                        "result": {
                          "oneOf": [
                            {
                              "type": "integer",
                              "minimum": 1,
                              "maximum": 9007199254740991
                            },
                            {
                              "type": "string",
                              "pattern": "^[1-9]\\d{0,47}$"
                            }
                          ]
                        },
                        "matches": {
                          "const": true
                        }
                      },
                      "required": [
                        "available",
                        "result",
                        "matches"
                      ],
                      "additionalProperties": false
                    }
                  ]
                },
                "euclidean": {
                  "oneOf": [
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": false
                        },
                        "result": {
                          "type": "null"
                        }
                      },
                      "required": [
                        "available",
                        "result"
                      ],
                      "additionalProperties": false
                    },
                    {
                      "type": "object",
                      "properties": {
                        "available": {
                          "const": true
                        },
                        "result": {
                          "oneOf": [
                            {
                              "type": "integer",
                              "minimum": 1,
                              "maximum": 9007199254740991
                            },
                            {
                              "type": "string",
                              "pattern": "^[1-9]\\d{0,47}$"
                            }
                          ]
                        },
                        "matches": {
                          "const": true
                        }
                      },
                      "required": [
                        "available",
                        "result",
                        "matches"
                      ],
                      "additionalProperties": false
                    }
                  ]
                },
                "agree": {
                  "const": true
                },
                "independent_count": {
                  "type": "integer",
                  "minimum": 1,
                  "maximum": 3
                }
              },
              "required": [
                "factor",
                "prime",
                "euclidean",
                "agree",
                "independent_count"
              ],
              "additionalProperties": false
            },
            "work": {
              "type": "object",
              "properties": {
                "factors": {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "minLength": 1
                  },
                  "maxItems": 10000
                },
                "primes": {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "minLength": 1
                  },
                  "maxItems": 10000
                },
                "euclidean": {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "minLength": 1
                  },
                  "maxItems": 10000,
                  "minItems": 2
                }
              },
              "required": [
                "factors",
                "primes",
                "euclidean"
              ],
              "additionalProperties": false
            },
            "max_digits": {
              "const": 48
            }
          },
          "required": [
            "values",
            "value",
            "exact",
            "count",
            "formula",
            "binary_formula",
            "methods",
            "work",
            "max_digits"
          ],
          "additionalProperties": false
        },
        "unit": {
          "type": [
            "string",
            "null"
          ]
        },
        "formatted": {
          "type": [
            "string",
            "null"
          ]
        }
      }
    },
    "formula": {
      "anyOf": [
        {
          "type": "null"
        },
        {
          "type": "string"
        },
        {
          "type": "object",
          "additionalProperties": false,
          "properties": {
            "id": {
              "type": "string"
            },
            "expression": {
              "type": "string"
            },
            "label": {
              "type": "string"
            }
          }
        }
      ]
    },
    "assumptions": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "warnings": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "code"
        ],
        "properties": {
          "code": {
            "type": "string"
          },
          "severity": {
            "type": "string"
          },
          "detail": {
            "type": "string"
          },
          "suggestion": {
            "type": "string"
          }
        }
      }
    },
    "verification": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "tier",
        "engine_tested",
        "expert_reviewed",
        "source_checked",
        "reviewed_by",
        "reviewer_role",
        "last_reviewed",
        "verification_revision",
        "verified_scope",
        "evidence_digest"
      ],
      "properties": {
        "tier": {
          "type": "string",
          "enum": [
            "candidate",
            "engine_tested",
            "internally_reviewed",
            "expert_verified"
          ]
        },
        "engine_tested": {
          "type": "boolean"
        },
        "expert_reviewed": {
          "type": "boolean"
        },
        "internally_reviewed": {
          "type": "boolean"
        },
        "review_kind": {
          "type": [
            "string",
            "null"
          ]
        },
        "source_checked": {
          "type": "boolean"
        },
        "reviewed_by": {
          "type": [
            "string",
            "null"
          ]
        },
        "reviewer_role": {
          "type": [
            "string",
            "null"
          ]
        },
        "last_reviewed": {
          "type": [
            "string",
            "null"
          ]
        },
        "citation_kind": {
          "type": "string"
        },
        "expert_review": {
          "type": "string"
        },
        "domain_review": {
          "type": "string"
        },
        "calculation_version": {
          "type": "string"
        },
        "calc_tests": {
          "type": [
            "string",
            "null"
          ]
        },
        "tests_passed": {
          "type": [
            "integer",
            "null"
          ]
        },
        "tests_total": {
          "type": [
            "integer",
            "null"
          ]
        },
        "artifact_contract": {
          "type": [
            "string",
            "null"
          ]
        },
        "trust_peek": {
          "type": [
            "string",
            "null"
          ]
        },
        "verification_revision": {
          "type": "string"
        },
        "verified_scope": {
          "type": "string"
        },
        "evidence_digest": {
          "type": "string",
          "pattern": "^[a-f0-9]{64}$"
        }
      },
      "allOf": [
        {
          "if": {
            "properties": {
              "tier": {
                "const": "expert_verified"
              }
            },
            "required": [
              "tier"
            ]
          },
          "then": {
            "properties": {
              "engine_tested": {
                "const": true
              },
              "expert_reviewed": {
                "const": true
              },
              "source_checked": {
                "const": true
              },
              "reviewed_by": {
                "type": "string",
                "minLength": 1
              },
              "reviewer_role": {
                "type": "string",
                "minLength": 1
              },
              "last_reviewed": {
                "type": "string",
                "minLength": 1
              }
            }
          }
        },
        {
          "if": {
            "properties": {
              "tier": {
                "const": "internally_reviewed"
              }
            },
            "required": [
              "tier"
            ]
          },
          "then": {
            "properties": {
              "engine_tested": {
                "const": true
              },
              "internally_reviewed": {
                "const": true
              },
              "source_checked": {
                "const": true
              }
            }
          }
        },
        {
          "if": {
            "properties": {
              "tier": {
                "const": "engine_tested"
              }
            },
            "required": [
              "tier"
            ]
          },
          "then": {
            "properties": {
              "engine_tested": {
                "const": true
              }
            }
          }
        }
      ]
    },
    "calculation_version": {
      "type": "string",
      "const": "1.0.3"
    },
    "api_version": {
      "type": "string"
    },
    "api_contract_version": {
      "type": "string"
    },
    "spec_version": {
      "type": "string"
    },
    "page": {
      "type": [
        "string",
        "null"
      ],
      "description": "Canonical calculator page URL"
    },
    "links": {
      "type": "object",
      "additionalProperties": false,
      "properties": {
        "schema_input": {
          "type": "string",
          "format": "uri"
        },
        "schema_output": {
          "type": "string",
          "format": "uri"
        },
        "evidence": {
          "type": "string",
          "format": "uri"
        },
        "openapi": {
          "type": "string",
          "format": "uri"
        },
        "capabilities": {
          "type": "string",
          "format": "uri"
        },
        "mcp": {
          "type": "string",
          "format": "uri"
        }
      }
    }
  }
}