diff --git a/doc/OFT-Ideas-and-Proposals.pdf b/doc/OFT-Ideas-and-Proposals.pdf
deleted file mode 100644
index f556eeaa5..000000000
Binary files a/doc/OFT-Ideas-and-Proposals.pdf and /dev/null differ
diff --git a/doc/aspec.xsd b/doc/schemas/aspec.xsd
similarity index 99%
rename from doc/aspec.xsd
rename to doc/schemas/aspec.xsd
index 214da1ad0..1b5b3e51f 100644
--- a/doc/aspec.xsd
+++ b/doc/schemas/aspec.xsd
@@ -65,7 +65,6 @@
             <xs:element
                     name="specobject"
                     type="specobject"
-                    minOccurs="1"
                     maxOccurs="unbounded" />
         </xs:sequence>
         <xs:attribute
diff --git a/doc/schemas/example.oftr.json b/doc/schemas/example.oftr.json
new file mode 100644
index 000000000..1289102b9
--- /dev/null
+++ b/doc/schemas/example.oftr.json
@@ -0,0 +1,112 @@
+{
+  "header": {
+    "formatVersion": "1.0",
+    "oftVersion": "4.10.0",
+    "format": "report",
+    "reproducible": true,
+    "parameters": {
+      "inputs": [
+        {
+          "type": "directory", "path": "doc"
+        },
+        {
+          "type": "directory", "path": "src/main/java"
+        },
+        {
+          "type": "directory", "path": "src/test/java"
+        },
+        {
+          "type": "file", "path": "pom.xml"
+        }
+      ],
+      "output": {
+        "format": "oftReport",
+        "showOrigin": true,
+        "newline": "unix"
+      },
+      "filters": {
+        "artifactTypes": ["feat", "req", "dsn"],
+        "tags": ["import", "export", "report"],
+        "statuses": ["approved", "proposed"],
+        "includeUntagged": true
+      }
+    }
+  },
+  "traceSummary": {
+    "totalItems": 2,
+    "passedItems": 0,
+    "completionPercent": 0,
+    "directDefects": 1,
+    "transitiveDefects": 1
+  },
+  "specificationItems": [
+    {
+      "id": "feat~oft.json-based-export~1",
+      "title": "JSON-based export",
+      "description": "Export artifacts in JSON format",
+      "rationale": "This feature allows exporting artifacts in JSON format for better compatibility and integration with other systems.",
+      "comment": "Deprecates OSPEC format",
+      "tags": ["export"],
+      "status": "approved",
+      "needs": ["req"],
+      "source": {
+        "file": "doc/spec/system_requirements.md",
+        "item": {
+          "start": {"line": 15, "column": 1},
+          "end": {"line": 20, "column": 44}
+        },
+        "id": {
+          "range": {
+            "start": {"line": 15, "column": 1},
+            "end": {"line": 15, "column": 29}
+          },
+          "artifactType": {
+            "start": {"line": 15, "column": 1},
+            "end": {"line": 15, "column": 5}
+          },
+          "name": {
+            "start": {"line": 15, "column": 6},
+            "end": {"line": 15, "column": 27}
+          },
+          "revision": {
+            "start": {"line": 15, "column": 28},
+            "end": {"line": 15, "column": 29}
+          }
+        }
+      },
+      "trace": {
+        "defect": "transitive",
+        "deepCoverage": "uncovered",
+        "coveredArtifactTypes": ["req"],
+        "incomingLinks": [
+          {
+            "id": "req~oft.oft-json-header~1",
+            "status": "coveredShallow"
+          }
+        ]
+      }
+    },
+    {
+      "id": "req~oft.oft-json-header~1",
+      "title": "OFT JSON header",
+      "description": "Shared header for OFTX and OFTR formats",
+      "rationale": "Information about how the document was generated and processed.",
+      "tags": ["export", "report"],
+      "needs": ["dsn"],
+      "covers": [
+        "feat~oft.json-based-export~1"
+      ],
+      "trace": {
+        "defect": "direct",
+        "deepCoverage": "uncovered",
+        "uncoveredArtifactTypes": ["dsn"],
+        "outgoingLinks": [
+          {
+            "id": "feat~oft.json-based-export~1",
+            "status": "covers"
+          }
+        ]
+      }
+    }
+  ]
+}
diff --git a/doc/schemas/example.oftx.json b/doc/schemas/example.oftx.json
new file mode 100644
index 000000000..ade9a9851
--- /dev/null
+++ b/doc/schemas/example.oftx.json
@@ -0,0 +1,83 @@
+{
+  "header": {
+    "formatVersion": "1.0",
+    "oftVersion": "4.10.0",
+    "format": "exchange",
+    "reproducible": true,
+    "parameters": {
+      "inputs": [
+        {
+          "type": "directory", "path": "doc"
+        },
+        {
+          "type": "directory", "path": "src/main/java"
+        },
+        {
+          "type": "directory", "path": "src/test/java"
+        },
+        {
+          "type": "file", "path": "pom.xml"
+        }
+      ],
+      "output": {
+        "format": "oftExchange",
+        "showOrigin": true,
+        "newline": "unix"
+      },
+      "filters": {
+        "artifactTypes": ["feat", "req", "dsn"],
+        "tags": ["import", "export", "report"],
+        "statuses": ["approved", "proposed"],
+        "includeUntagged": true
+      }
+    }
+  },
+  "specificationItems": [
+    {
+      "id": "feat~oft.json-based-export~1",
+      "title": "JSON-based export",
+      "description": "Export artifacts in JSON format",
+      "rationale": "This feature allows exporting artifacts in JSON format for better compatibility and integration with other systems.",
+      "comment": "Deprecates OSPEC format",
+      "tags": ["export"],
+      "status": "approved",
+      "needs": ["req"],
+      "source": {
+        "file": "doc/spec/system_requirements.md",
+        "item": {
+          "start": {"line": 15, "column": 1},
+          "end": {"line": 20, "column": 44}
+        },
+        "id": {
+          "range": {
+            "start": {"line": 15, "column": 1},
+            "end": {"line": 15, "column": 29}
+          },
+          "artifactType": {
+            "start": {"line": 15, "column": 1},
+            "end": {"line": 15, "column": 5}
+          },
+          "name": {
+            "start": {"line": 15, "column": 6},
+            "end": {"line": 15, "column": 27}
+          },
+          "revision": {
+            "start": {"line": 15, "column": 28},
+            "end": {"line": 15, "column": 29}
+          }
+        }
+      }
+    },
+    {
+      "id": "req~oft.oft-json-header~1",
+      "title": "OFT JSON header",
+      "description": "Shared header for OFTX and OFTR formats",
+      "rationale": "Information about how the document was generated and processed.",
+      "tags": ["export", "report"],
+      "needs": ["dsn"],
+      "covers": [
+        "feat~oft.json-based-export~1"
+      ]
+    }
+  ]
+}
diff --git a/doc/schemas/openfasttrace.schema.json b/doc/schemas/openfasttrace.schema.json
new file mode 100644
index 000000000..051f9a8a5
--- /dev/null
+++ b/doc/schemas/openfasttrace.schema.json
@@ -0,0 +1,587 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/itsallcode/openfasttrace/blob/main/doc/schemas/openfasttrace.schema.json",
+  "title": "OpenFastTrace JSON formats",
+  "description": "Schema for OpenFastTrace exchange (OFTX) and report (OFTR) documents. Properties whose value equals the declared default are omitted from serialized documents.",
+  "type": "object",
+  "required": [
+    "header"
+  ],
+  "properties": {
+    "header": {
+      "$ref": "#/$defs/header"
+    },
+    "specificationItems": {
+      "type": "array",
+      "default": [],
+      "items": {
+        "$ref": "#/$defs/item"
+      }
+    },
+    "traceSummary": {
+      "$ref": "#/$defs/traceSummary"
+    }
+  },
+  "additionalProperties": false,
+  "oneOf": [
+    {
+      "title": "OFTX exchange document",
+      "properties": {
+        "header": {
+          "$ref": "#/$defs/exchangeHeader"
+        },
+        "specificationItems": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/exchangeItem"
+          }
+        },
+        "traceSummary": false
+      }
+    },
+    {
+      "title": "OFTR report document",
+      "required": [
+        "traceSummary"
+      ],
+      "properties": {
+        "header": {
+          "$ref": "#/$defs/reportHeader"
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "header": {
+      "type": "object",
+      "required": [
+        "formatVersion",
+        "oftVersion"
+      ],
+      "properties": {
+        "formatVersion": {
+          "type": "string",
+          "description": "Version of the OFT JSON format."
+        },
+        "oftVersion": {
+          "type": "string",
+          "description": "Version of OpenFastTrace that created the document."
+        },
+        "format": {
+          "enum": [
+            "exchange",
+            "report"
+          ]
+        },
+        "reproducible": {
+          "type": "boolean",
+          "default": false,
+          "description": "Whether running OFT again with the recorded parameters can reproduce the document bit-identically."
+        },
+        "timestamp": {
+          "type": "string",
+          "format": "date-time",
+          "description": "Creation timestamp of the document (ISO 8601). Only allowed if reproducible is false."
+        },
+        "parameters": {
+          "$ref": "#/$defs/parameters",
+          "default": {}
+        }
+      },
+      "additionalProperties": false,
+      "if": {
+        "properties": {
+          "reproducible": {
+            "const": true
+          }
+        },
+        "required": [
+          "reproducible"
+        ]
+      },
+      "then": {
+        "properties": {
+          "timestamp": false
+        }
+      }
+    },
+    "exchangeHeader": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/header"
+        },
+        {
+          "properties": {
+            "format": {
+              "const": "exchange"
+            },
+            "parameters": {
+              "$ref": "#/$defs/exchangeParameters"
+            }
+          }
+        }
+      ]
+    },
+    "reportHeader": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/header"
+        },
+        {
+          "properties": {
+            "format": {
+              "const": "report"
+            },
+            "parameters": {
+              "$ref": "#/$defs/reportParameters"
+            }
+          }
+        }
+      ]
+    },
+    "parameters": {
+      "type": "object",
+      "properties": {
+        "inputs": {
+          "type": "array",
+          "default": [],
+          "items": {
+            "$ref": "#/$defs/input"
+          }
+        },
+        "output": {
+          "$ref": "#/$defs/output",
+          "default": {}
+        },
+        "filters": {
+          "$ref": "#/$defs/filters",
+          "default": {}
+        }
+      },
+      "additionalProperties": false
+    },
+    "exchangeParameters": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/parameters"
+        },
+        {
+          "properties": {
+            "output": {
+              "$ref": "#/$defs/exchangeOutput"
+            }
+          }
+        }
+      ]
+    },
+    "reportParameters": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/parameters"
+        },
+        {
+          "properties": {
+            "output": {
+              "$ref": "#/$defs/reportOutput"
+            }
+          }
+        }
+      ]
+    },
+    "input": {
+      "type": "object",
+      "required": [
+        "type",
+        "path"
+      ],
+      "properties": {
+        "type": {
+          "enum": [
+            "file",
+            "directory"
+          ]
+        },
+        "path": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "output": {
+      "type": "object",
+      "properties": {
+        "format": {
+          "enum": [
+            "oftExchange",
+            "oftReport"
+          ]
+        },
+        "showOrigin": {
+          "type": "boolean",
+          "default": false
+        },
+        "newline": {
+          "description": "Explicit newline format. If omitted, the platform newline is used.",
+          "enum": [
+            "unix",
+            "windows",
+            "oldmac"
+          ]
+        }
+      },
+      "additionalProperties": false
+    },
+    "exchangeOutput": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/output"
+        },
+        {
+          "properties": {
+            "format": {
+              "const": "oftExchange"
+            }
+          }
+        }
+      ]
+    },
+    "reportOutput": {
+      "allOf": [
+        {
+          "$ref": "#/$defs/output"
+        },
+        {
+          "properties": {
+            "format": {
+              "const": "oftReport"
+            }
+          }
+        }
+      ]
+    },
+    "filters": {
+      "type": "object",
+      "properties": {
+        "artifactTypes": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "tags": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "statuses": {
+          "$ref": "#/$defs/statuses",
+          "default": []
+        },
+        "includeUntagged": {
+          "type": "boolean",
+          "default": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "item": {
+      "type": "object",
+      "required": [
+        "id"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "title": {
+          "type": "string",
+          "default": ""
+        },
+        "description": {
+          "type": "string",
+          "default": ""
+        },
+        "rationale": {
+          "type": "string",
+          "default": ""
+        },
+        "comment": {
+          "type": "string",
+          "default": ""
+        },
+        "tags": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "status": {
+          "$ref": "#/$defs/status",
+          "default": "approved"
+        },
+        "needs": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "covers": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "depends": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "forwards": {
+          "type": "boolean",
+          "default": false
+        },
+        "source": {
+          "$ref": "#/$defs/source"
+        },
+        "trace": {
+          "$ref": "#/$defs/trace"
+        }
+      },
+      "additionalProperties": false
+    },
+    "exchangeItem": {
+      "$ref": "#/$defs/item",
+      "properties": {
+        "trace": false
+      }
+    },
+    "traceSummary": {
+      "type": "object",
+      "required": [
+        "totalItems",
+        "passedItems",
+        "completionPercent",
+        "directDefects",
+        "transitiveDefects"
+      ],
+      "properties": {
+        "totalItems": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "passedItems": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "completionPercent": {
+          "type": "integer",
+          "minimum": 0,
+          "maximum": 100
+        },
+        "directDefects": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "transitiveDefects": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "trace": {
+      "type": "object",
+      "properties": {
+        "defect": {
+          "enum": [
+            "direct",
+            "transitive"
+          ]
+        },
+        "deepCoverage": {
+          "enum": [
+            "covered",
+            "uncovered",
+            "cycle"
+          ],
+          "default": "covered"
+        },
+        "coveredArtifactTypes": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "uncoveredArtifactTypes": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "overCoveredArtifactTypes": {
+          "$ref": "#/$defs/uniqueStrings",
+          "default": []
+        },
+        "incomingLinks": {
+          "type": "array",
+          "default": [],
+          "items": {
+            "$ref": "#/$defs/incomingLink"
+          }
+        },
+        "outgoingLinks": {
+          "type": "array",
+          "default": [],
+          "items": {
+            "$ref": "#/$defs/outgoingLink"
+          }
+        },
+        "duplicateLinks": {
+          "type": "array",
+          "default": [],
+          "items": {
+            "$ref": "#/$defs/duplicateLink"
+          }
+        }
+      },
+      "additionalProperties": false
+    },
+    "link": {
+      "type": "object",
+      "required": [
+        "id",
+        "status"
+      ],
+      "properties": {
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "status": {
+          "type": "string"
+        }
+      },
+      "additionalProperties": false
+    },
+    "incomingLink": {
+      "$ref": "#/$defs/link",
+      "properties": {
+        "status": {
+          "enum": [
+            "coveredShallow",
+            "coveredUnwanted",
+            "coveredPredated",
+            "coveredOutdated"
+          ]
+        }
+      }
+    },
+    "outgoingLink": {
+      "$ref": "#/$defs/link",
+      "properties": {
+        "status": {
+          "enum": [
+            "covers",
+            "predated",
+            "outdated",
+            "ambiguous",
+            "unwanted",
+            "orphaned"
+          ]
+        }
+      }
+    },
+    "duplicateLink": {
+      "$ref": "#/$defs/link",
+      "properties": {
+        "status": {
+          "const": "duplicate"
+        }
+      }
+    },
+    "source": {
+      "type": "object",
+      "required": [
+        "file"
+      ],
+      "properties": {
+        "file": {
+          "type": "string",
+          "minLength": 1
+        },
+        "item": {
+          "$ref": "#/$defs/range"
+        },
+        "id": {
+          "$ref": "#/$defs/locatedId"
+        }
+      },
+      "additionalProperties": false
+    },
+    "locatedId": {
+      "type": "object",
+      "required": [
+        "range"
+      ],
+      "properties": {
+        "range": {
+          "$ref": "#/$defs/range"
+        },
+        "artifactType": {
+          "$ref": "#/$defs/range"
+        },
+        "name": {
+          "$ref": "#/$defs/range"
+        },
+        "revision": {
+          "$ref": "#/$defs/range"
+        }
+      },
+      "additionalProperties": false
+    },
+    "range": {
+      "type": "object",
+      "required": [
+        "start",
+        "end"
+      ],
+      "properties": {
+        "start": {
+          "$ref": "#/$defs/position"
+        },
+        "end": {
+          "$ref": "#/$defs/position"
+        }
+      },
+      "additionalProperties": false
+    },
+    "position": {
+      "type": "object",
+      "required": [
+        "line",
+        "column"
+      ],
+      "properties": {
+        "line": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "column": {
+          "type": "integer",
+          "minimum": 0
+        }
+      },
+      "additionalProperties": false
+    },
+    "uniqueStrings": {
+      "type": "array",
+      "items": {
+        "type": "string"
+      },
+      "uniqueItems": true
+    },
+    "status": {
+      "enum": [
+        "approved",
+        "proposed",
+        "draft",
+        "rejected"
+      ]
+    },
+    "statuses": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/status"
+      },
+      "uniqueItems": true
+    }
+  }
+}