{
  "tool_id": "art-399-lint-x12-claim-records",
  "kernel_id": "art-399-lint-x12-claim-records",
  "display_name": "X12 837/835 Healthcare-Claim Records Lint",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Lints X12 837 (health-care claim) and 835 (claim payment/remittance advice) ENVELOPE control-number continuity (ISA13/IEA02, GS06/GE02, ST02/SE02) and 835 payment-amount balancing (total paid ties to the sum of claim-level payments, pure arithmetic). FORMAT-ONLY and structurally PHI-IMPOSSIBLE: the schema defines only envelope control numbers, claim/payment identifiers, and monetary amounts -- no patient name, DOB, diagnosis, or clinical field exists. Derived from public CMS companion-guide summaries, not the licensed X12 implementation guide. Part of the record-integrity family alongside lint_metro2_record (art-398), check_official_statement_completeness (art-400), and validate_form5500_schedules (art-401).",
  "control_description": "Lints X12 837 (health-care claim) and 835 (claim payment/remittance advice) ENVELOPE control-number continuity (ISA13/IEA02, GS06/GE02, ST02/SE02) and 835 payment-amount balancing (total paid ties to the sum of claim-level payments, pure arithmetic). FORMAT-ONLY and structurally PHI-IMPOSSIBLE: the schema defines only envelope control numbers, claim/payment identifiers, and monetary amounts -- no patient name, DOB, diagnosis, or clinical field exists. Derived from public CMS companion-guide summaries, not the licensed X12 implementation guide. Part of the record-integrity family alongside lint_metro2_record (art-398), check_official_statement_completeness (art-400), and validate_form5500_schedules (art-401).",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:b3acb2f4a9c067913ed0abcc7a47a783f033fbb08a6c467341233bae5def2a1f",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 47,
  "source_url": "https://ainumbers.co/chaingraph/art-399-lint-x12-claim-records.html",
  "generated_at": "2026-08-15T11:12:17.704Z"
}