{
  "tool_id": "art-674-eba-im-model-validation-tracker",
  "kernel_id": "art-674-eba-im-model-validation-tracker",
  "display_name": "EBA IM-Model Validation Tracker",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Deterministic roll-up arithmetic over a caller-declared internal-model inventory. Counts the declared inventory by status (submitted, approved, rejected), lists pending submission ids in declared order, ages each pending submission in whole days from its declared submitted date to the declared as_of date, and issues an overall verdict under a named aging rule: TRACKING_EMPTY when no submitted or approved models are declared, TRACKING_AGED when any pending submission is older than 180 days at as_of, TRACKING_CURRENT otherwise. No register, no SSR tape, no cutoff feed, no network, no clock: every id, status, date, and the as_of snapshot are caller-declared inputs, never fetched or inferred. This is a tracker of declared-inventory arithmetic, NOT a regulatory determination, NOT advice on any application, and NOT a check of any supervisor register -- the not_proven discipline applies. An absent or invalid as_of, model entry, id, status, or submitted date resolves to a fail-closed payload naming each rejected input, never a silently repaired inventory. Settled arithmetic (counting and calendar-day aging); it cites no external standard.",
  "control_description": "Deterministic roll-up arithmetic over a caller-declared internal-model inventory. Counts the declared inventory by status (submitted, approved, rejected), lists pending submission ids in declared order, ages each pending submission in whole days from its declared submitted date to the declared as_of date, and issues an overall verdict under a named aging rule: TRACKING_EMPTY when no submitted or approved models are declared, TRACKING_AGED when any pending submission is older than 180 days at as_of, TRACKING_CURRENT otherwise. No register, no SSR tape, no cutoff feed, no network, no clock: every id, status, date, and the as_of snapshot are caller-declared inputs, never fetched or inferred. This is a tracker of declared-inventory arithmetic, NOT a regulatory determination, NOT advice on any application, and NOT a check of any supervisor register -- the not_proven discipline applies. An absent or invalid as_of, model entry, id, status, or submitted date resolves to a fail-closed payload naming each rejected input, never a silently repaired inventory. Settled arithmetic (counting and calendar-day aging); it cites no external standard.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:9521fc1f815df0bdd6252148037398a0d0eb75111936058c17e74a864b8ee999",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-09-04",
  "last_validated": "2026-09-04",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 114,
  "source_url": "https://ainumbers.co/tools/674-eba-im-model-validation-tracker.html",
  "generated_at": "2026-09-04T13:43:31.640Z"
}