{
  "tool_id": "art-495-avax-permissioning-control-classifier",
  "tool_version": "1.0.0",
  "display_name": "Evergreen Permissioning-Control Classifier",
  "mcp_name": "classify_avax_permissioning_controls",
  "mandate_type": "compliance_control",
  "wave": "AVAX-PERM-1",
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-495-avax-permissioning-control-classifier.html",
  "description": "Classifies six Evergreen supervisory controls -- transaction permissioning, contract deployment permissioning, native asset issuance, fee policy, reward distribution, and validator set membership -- as protocol-enforced, application-enforced, or absent, from caller-transcribed genesis precompile configuration and validator-manager mode. Distinct from the segregation-of-duties matrix checker: that tool asks who holds conflicting power, this asks where the control lives at all. An undeclared input never falls through to a silent guess -- it becomes a named judgment_required entry naming the undetermined fact, the input that resolves it, and who decides. Zero network, zero PII -- opaque control and precompile keys only.",
  "input_schema_ref": "chaingraph/art-495-avax-permissioning-control-classifier.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [
    {
      "system": "sha256-source",
      "image_id": "sha256:e2226e2a5e87529aafc4e91fc031b0238f9158ef93e1f8bfe0ffae3e57e692a0",
      "valid_from": "2026-07-10"
    },
    {
      "system": "risc0",
      "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
      "valid_from": "2026-07-31"
    }
  ],
  "compute_proof_ready": "ready",
  "export_capability": [
    "json"
  ],
  "compute_proof": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "BkkHxlPlHgfrO5izDhhQxjLw1kUOnwhXjQTAnZxIpJ8MtEfBjMWM58OTGoFavzX80jHh1LRAZ/zqibFquLEyNwdyonS1EqdB5O0wLQLS3da12BhC/kVuxs1bQOLaVQevKPwxSy5Hca3W6P4d1nXaC/uRdfTO1X/y7Mbojw5podceREzS8lFX+EsOSWUGpTd7wEGMAPP1iEbDNqto7q8pUSFziBNOEpI5fRpjD3SxiySicUmoKdiyoV/Hjw1alFDeHyz+g9l6q5WRogMSb05cFSn+jp//REhi0dWWy2ugMVkK8y9ewOz3oBc2N5jfoH7Rv3qMZ39sfgtymOODg281pw==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:e2226e2a5e87529aafc4e91fc031b0238f9158ef93e1f8bfe0ffae3e57e692a0",
      "output": {
        "absent_count": 2,
        "application_enforced_count": 2,
        "controls": [
          {
            "basis": "precompile_active_in_genesis",
            "control_id": "transaction_permissioning",
            "label": "Transaction submission (TX AllowList)",
            "precompile_key": "txallowlist",
            "status": "protocol_enforced"
          },
          {
            "basis": "precompile_active_in_genesis",
            "control_id": "contract_deployment_permissioning",
            "label": "Contract deployment (Contract Deployer AllowList)",
            "precompile_key": "deployerallowlist",
            "status": "protocol_enforced"
          },
          {
            "basis": "precompile_inactive_no_app_control",
            "control_id": "native_asset_issuance_control",
            "label": "Native asset issuance (Native Minter)",
            "precompile_key": "nativeminter",
            "status": "absent"
          },
          {
            "basis": "app_level_control_declared",
            "control_id": "fee_policy_control",
            "label": "Fee policy (Fee Manager)",
            "precompile_key": "feemanager",
            "status": "application_enforced"
          },
          {
            "basis": "precompile_inactive_no_app_control",
            "control_id": "reward_distribution_control",
            "label": "Reward distribution (Reward Manager)",
            "precompile_key": "rewardmanager",
            "status": "absent"
          },
          {
            "basis": "validator_manager_mode_poa",
            "control_id": "validator_set_membership_control",
            "label": "Validator set membership (validator-manager contract, ACP-77)",
            "precompile_key": null,
            "status": "application_enforced"
          }
        ],
        "controls_evaluated": 6,
        "gap_register": [
          {
            "control_id": "native_asset_issuance_control",
            "label": "Native asset issuance (Native Minter)",
            "reason": "precompile_inactive_no_app_control"
          },
          {
            "control_id": "reward_distribution_control",
            "label": "Reward distribution (Reward Manager)",
            "reason": "precompile_inactive_no_app_control"
          }
        ],
        "judgment_required": [],
        "judgment_required_count": 0,
        "protocol_enforced_count": 2
      }
    }
  }
}