Implementation Limit Classification v1

Source schema: doc/schemas/limit-classification.v1.schema.json

Reviewed classification and evidence record for one compiled implementation limit.

Governing Basis

• doc/project/40-proposals/085-operator-sovereign-extensibility-and-experiment-packages.md

Project Lineage

Fields

Field	Required	Shape	Description
schema	yes	const: limit-classification.v1
schema/v	yes	const: 1
classification/ref	yes	string
limit/id	yes	string
implementation/symbol	yes	string
implementation/source	yes	string
current/value	yes	integer
current/unit	yes	string
class	yes	enum: normative, boundary-safety, federated, operational, unclassified
owner	yes	string
merge/direction	yes	enum: none, min, max, intersect, domain
operator/override	yes	enum: forbidden, tighten-only, bounded
evidence	yes	object
review	yes	object

Conditional Rules

Rule 1

When:

{
  "properties": {
    "class": {
      "const": "normative"
    }
  },
  "required": [
    "class"
  ]
}

Then:

{
  "properties": {
    "merge/direction": {
      "const": "none"
    },
    "operator/override": {
      "const": "forbidden"
    },
    "evidence": {
      "properties": {
        "status": {
          "const": "not-required"
        },
        "test/refs": {
          "maxItems": 0
        }
      },
      "not": {
        "anyOf": [
          {
            "required": [
              "threatened/resource"
            ]
          },
          {
            "required": [
              "refusal/layer"
            ]
          }
        ]
      }
    }
  }
}

Rule 2

When:

{
  "properties": {
    "class": {
      "const": "boundary-safety"
    }
  },
  "required": [
    "class"
  ]
}

Then:

{
  "properties": {
    "merge/direction": {
      "enum": [
        "min",
        "max",
        "intersect",
        "domain"
      ]
    },
    "operator/override": {
      "const": "tighten-only"
    },
    "evidence": {
      "required": [
        "threatened/resource",
        "refusal/layer"
      ],
      "properties": {
        "status": {
          "const": "proven"
        },
        "refusal/layer": {
          "const": "pre-policy"
        },
        "test/refs": {
          "minItems": 1
        }
      }
    }
  }
}

Rule 3

When:

{
  "properties": {
    "class": {
      "enum": [
        "federated",
        "operational"
      ]
    }
  },
  "required": [
    "class"
  ]
}

Then:

{
  "properties": {
    "merge/direction": {
      "enum": [
        "min",
        "max",
        "intersect",
        "domain"
      ]
    },
    "operator/override": {
      "enum": [
        "tighten-only",
        "bounded"
      ]
    },
    "evidence": {
      "properties": {
        "status": {
          "const": "not-required"
        },
        "test/refs": {
          "maxItems": 0
        }
      },
      "not": {
        "anyOf": [
          {
            "required": [
              "threatened/resource"
            ]
          },
          {
            "required": [
              "refusal/layer"
            ]
          }
        ]
      }
    }
  }
}

Rule 4

When:

{
  "properties": {
    "class": {
      "const": "unclassified"
    }
  },
  "required": [
    "class"
  ]
}

Then:

{
  "properties": {
    "merge/direction": {
      "const": "none"
    },
    "operator/override": {
      "const": "forbidden"
    },
    "evidence": {
      "required": [
        "threatened/resource"
      ],
      "properties": {
        "status": {
          "const": "pending"
        },
        "test/refs": {
          "maxItems": 0
        }
      },
      "not": {
        "required": [
          "refusal/layer"
        ]
      }
    }
  }
}

Field Semantics

schema

• Required: yes
• Shape: const: limit-classification.v1

schema/v

• Required: yes
• Shape: const: 1

classification/ref

• Required: yes
• Shape: string

limit/id

• Required: yes
• Shape: string

implementation/symbol

• Required: yes
• Shape: string

implementation/source

• Required: yes
• Shape: string

current/value

• Required: yes
• Shape: integer

current/unit

• Required: yes
• Shape: string

class

• Required: yes
• Shape: enum: normative, boundary-safety, federated, operational, unclassified

owner

• Required: yes
• Shape: string

merge/direction

• Required: yes
• Shape: enum: none, min, max, intersect, domain

operator/override

• Required: yes
• Shape: enum: forbidden, tighten-only, bounded

evidence

• Required: yes
• Shape: object

review

• Required: yes
• Shape: object