{
 "by_directory": {
  "adversarial": {
   "error": 0,
   "failed": 0,
   "passed": 81,
   "skipped": 0
  },
  "formal": {
   "error": 0,
   "failed": 0,
   "passed": 45,
   "skipped": 0
  },
  "integration": {
   "error": 0,
   "failed": 0,
   "passed": 11,
   "skipped": 0
  },
  "recovery": {
   "error": 0,
   "failed": 0,
   "passed": 10,
   "skipped": 0
  },
  "runtime": {
   "error": 0,
   "failed": 0,
   "passed": 22,
   "skipped": 0
  },
  "unit": {
   "error": 0,
   "failed": 0,
   "passed": 132,
   "skipped": 0
  }
 },
 "cases": [
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A1_agent_signs_its_own_approval",
   "outcome": "passed",
   "seconds": 0.013
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A2_unenrolled_key_claims_enrolled_identity",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A3_valid_key_wrong_identity_claim",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A4_tampered_signature_and_body",
   "outcome": "passed",
   "seconds": 0.011
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A5_agent_cannot_enroll_itself",
   "outcome": "passed",
   "seconds": 0.007
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A6_enrollment_signed_by_untrusted_authority",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A7_key_substitution_for_existing_kid",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A8_revoked_verifier",
   "outcome": "passed",
   "seconds": 0.016
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A9_stale_status_list_blocks",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A10_low_assurance_authentication",
   "outcome": "passed",
   "seconds": 0.016
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A11_break_glass_operator_cannot_act_as_ordinary_verifier",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_B1_forged_biometric_metadata_does_not_help",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_B2_replayed_authentication_event_from_another_request",
   "outcome": "passed",
   "seconds": 0.029
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_B3_extra_unsigned_field_is_rejected",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_B4_transport_marks_agent_relayed_approval",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C1_instructions_in_action_are_data",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C2_approval_for_benign_text_cannot_run_injected_action",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C3_parameter_swap_after_approval[to-ACC-002]",
   "outcome": "passed",
   "seconds": 0.046
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C3_parameter_swap_after_approval[amount_minor-125001]",
   "outcome": "passed",
   "seconds": 0.039
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C3_parameter_swap_after_approval[currency-EUR]",
   "outcome": "passed",
   "seconds": 0.026
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_C4_approval_names_a_different_digest",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D1_permit_reuse",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D2_permit_moved_to_other_principal_resource_tenant",
   "outcome": "passed",
   "seconds": 0.026
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D3_concurrent_permit_consumption",
   "outcome": "passed",
   "seconds": 0.283
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D4_concurrent_duplicate_approvals",
   "outcome": "passed",
   "seconds": 0.245
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D4b_late_rejected_deliveries_do_not_revoke_an_issued_permit",
   "outcome": "passed",
   "seconds": 0.048
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D5_cancel_races_authorization",
   "outcome": "passed",
   "seconds": 0.354
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D6_old_challenge_after_completion",
   "outcome": "passed",
   "seconds": 0.026
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D7_wrong_nonce_does_not_burn_request_but_repeated_garbage_denies",
   "outcome": "passed",
   "seconds": 0.017
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D8_valid_signer_wrong_nonce",
   "outcome": "passed",
   "seconds": 0.026
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D9_cross_request_challenge_id",
   "outcome": "passed",
   "seconds": 0.013
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D10_approval_epoch_mismatch",
   "outcome": "passed",
   "seconds": 0.017
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E1_agents_cannot_approve_each_other",
   "outcome": "passed",
   "seconds": 0.02
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E2_agent_cannot_mint_capability_or_permit",
   "outcome": "passed",
   "seconds": 0.018
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E3_capability_for_another_agent_scope_audience",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E4_break_glass_needs_two_distinct_operators",
   "outcome": "passed",
   "seconds": 0.018
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E5_break_glass_happy_path_is_bound_and_logged",
   "outcome": "passed",
   "seconds": 0.029
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E6_break_glass_cannot_override_human_deny_or_notifier_failure",
   "outcome": "passed",
   "seconds": 0.015
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H1_unusable_solver_verdicts_block[verdict0]",
   "outcome": "passed",
   "seconds": 0.012
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H1_unusable_solver_verdicts_block[verdict1]",
   "outcome": "passed",
   "seconds": 0.013
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H1_unusable_solver_verdicts_block[verdict2]",
   "outcome": "passed",
   "seconds": 0.012
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H1_unusable_solver_verdicts_block[verdict3]",
   "outcome": "passed",
   "seconds": 0.012
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H2_solver_raises",
   "outcome": "passed",
   "seconds": 0.013
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H3_clock_failure_and_untrusted_time",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H4_clock_uncertainty_straddling_expiry",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[None]",
   "outcome": "passed",
   "seconds": 0.004
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[junk1]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[x]",
   "outcome": "passed",
   "seconds": 0.004
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[5]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[junk4]",
   "outcome": "passed",
   "seconds": 0.008
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H5_malformed_approvals[junk5]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6_wrongly_typed_signed_fields[over0]",
   "outcome": "passed",
   "seconds": 0.011
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6_wrongly_typed_signed_fields[over1]",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6_wrongly_typed_signed_fields[over2]",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6_wrongly_typed_signed_fields[over3]",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6_wrongly_typed_signed_fields[over4]",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6b_float_after_signing_is_rejected",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H6c_far_future_approval_expiry_is_capped_by_the_request",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H7_malformed_proposals[bad0]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H7_malformed_proposals[bad1]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H7_malformed_proposals[bad2]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H7_malformed_proposals[bad3]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H8_keystore_failure_blocks_permit",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_H9_unknown_status_with_authorizing_model_blocks",
   "outcome": "passed",
   "seconds": 0.004
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_D11_permit_for_one_enforcer_rejected_by_another",
   "outcome": "passed",
   "seconds": 0.022
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_E7_verifier_cannot_approve_a_request_made_under_its_own_identity",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.adversarial.test_attacks::test_A12_low_assurance_rejected_before_the_challenge_is_consumed",
   "outcome": "passed",
   "seconds": 0.025
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G1_modify_one_record",
   "outcome": "passed",
   "seconds": 0.091
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G2_modify_and_rehash_one_record_breaks_the_chain",
   "outcome": "passed",
   "seconds": 0.108
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G3_delete_record",
   "outcome": "passed",
   "seconds": 0.343
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G4_reorder_records",
   "outcome": "passed",
   "seconds": 0.106
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G5_duplicate_record",
   "outcome": "passed",
   "seconds": 0.13
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G6_replayed_approval_rewritten_consistently",
   "outcome": "passed",
   "seconds": 0.206
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G7_permit_without_evidence_rewritten_consistently",
   "outcome": "passed",
   "seconds": 0.098
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G8_full_rewrite_is_invisible_without_checkpoint_but_caught_with_one",
   "outcome": "passed",
   "seconds": 0.111
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G9_rollback_truncation",
   "outcome": "passed",
   "seconds": 0.112
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G10_forged_and_conflicting_checkpoints",
   "outcome": "passed",
   "seconds": 0.117
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G11_witness_refuses_conflict_and_rollback",
   "outcome": "passed",
   "seconds": 0.106
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G12_clock_regression_and_incomplete_execution",
   "outcome": "passed",
   "seconds": 0.104
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G13_torn_tail_detected_and_repaired_on_next_append",
   "outcome": "passed",
   "seconds": 0.123
  },
  {
   "id": "ihvrk.tests.adversarial.test_ledger_tamper::test_G14_export_is_deterministic",
   "outcome": "passed",
   "seconds": 0.137
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_control_case_is_reachable",
   "outcome": "passed",
   "seconds": 0.394
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I1]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I2]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I3]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I4]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I5]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I6]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I7]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I8]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I9]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I10]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I11]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I12]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I13]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I14]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_holds[I15]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I1]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I2]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I3]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I4]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I5]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I6]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I7]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I8]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I9]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I10]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I11]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I12]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I13]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I14]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_invariant_is_sensitive_to_its_guard[I15]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_all_fifteen_present",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_denied_request_is_sat_with_deny_not_unsat",
   "outcome": "passed",
   "seconds": 0.011
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_runtime_valid_case_authorizes",
   "outcome": "passed",
   "seconds": 0.007
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_solver_unknown_or_unexpected_result_blocks[UNKNOWN]",
   "outcome": "passed",
   "seconds": 0.004
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_solver_unknown_or_unexpected_result_blocks[UNSAT]",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_solver_exception_blocks",
   "outcome": "passed",
   "seconds": 0.006
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_inconsistent_model_blocks",
   "outcome": "passed",
   "seconds": 0.005
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_solver_policy_disagreement_blocks",
   "outcome": "passed",
   "seconds": 0.006
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_real_timeout_blocks",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_oversize_input_blocks",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_malformed_input_denies",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_serialization_is_deterministic",
   "outcome": "passed",
   "seconds": 0.015
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_differential_z3_vs_python",
   "outcome": "passed",
   "seconds": 3.894
  },
  {
   "id": "ihvrk.tests.formal.test_solver::test_authorize_implies_every_requirement",
   "outcome": "passed",
   "seconds": 0.742
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_happy_path_executes_exactly_once",
   "outcome": "passed",
   "seconds": 0.03
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_challenge_carries_service_signature_and_binding",
   "outcome": "passed",
   "seconds": 0.007
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_epochs_strictly_increase",
   "outcome": "passed",
   "seconds": 0.03
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_human_deny_is_final",
   "outcome": "passed",
   "seconds": 0.011
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_cancel_before_approval_blocks",
   "outcome": "passed",
   "seconds": 0.01
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_revoke_after_permit_before_execution_blocks",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_expiry_moves_pending_to_expired_and_blocks",
   "outcome": "passed",
   "seconds": 0.009
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_policy_version_bump_invalidates_pending_and_issued",
   "outcome": "passed",
   "seconds": 0.029
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_permit_expiry_blocks",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_attestation_required_and_checked",
   "outcome": "passed",
   "seconds": 0.074
  },
  {
   "id": "ihvrk.tests.integration.test_flow::test_enforcement_not_holding_blocks",
   "outcome": "passed",
   "seconds": 0.035
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I1_restart_mid_flow_never_proceeds",
   "outcome": "passed",
   "seconds": 0.033
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I2_lost_response_retry_cannot_double_issue",
   "outcome": "passed",
   "seconds": 0.023
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I3_ledger_unwritable_blocks_authorization",
   "outcome": "passed",
   "seconds": 0.008
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I4_ledger_fails_after_permit_consumption",
   "outcome": "passed",
   "seconds": 0.02
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I5_registry_unavailable_blocks",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I6_operation_raises_is_indeterminate_not_retried",
   "outcome": "passed",
   "seconds": 0.03
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I7_pending_limit_bounds_resource_use",
   "outcome": "passed",
   "seconds": 0.012
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I8_prune_keeps_epochs_monotone",
   "outcome": "passed",
   "seconds": 0.025
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I9_cross_process_permit_race",
   "outcome": "passed",
   "seconds": 0.392
  },
  {
   "id": "ihvrk.tests.recovery.test_recovery::test_I10_kill_9_during_execution_then_reconcile",
   "outcome": "passed",
   "seconds": 0.147
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F1_pending_freezes_and_authorize_releases",
   "outcome": "passed",
   "seconds": 2.79
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[DENY-10]",
   "outcome": "passed",
   "seconds": 1.051
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[EXPIRED-10]",
   "outcome": "passed",
   "seconds": 1.058
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[REVOKED-10]",
   "outcome": "passed",
   "seconds": 1.1
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[garbage-12]",
   "outcome": "passed",
   "seconds": 1.154
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[-12]",
   "outcome": "passed",
   "seconds": 1.219
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F2_everything_but_authorize_stays_frozen[AUTHORIZE_PLEASE-12]",
   "outcome": "passed",
   "seconds": 1.259
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F3_timeout_keeps_frozen",
   "outcome": "passed",
   "seconds": 0.871
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F4_descendants_are_frozen_too",
   "outcome": "passed",
   "seconds": 1.096
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F5_kill_on_deny",
   "outcome": "passed",
   "seconds": 0.709
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F6_gatekeeper_killed_leaves_cgroup_frozen",
   "outcome": "passed",
   "seconds": 0.903
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F7_pid_not_in_cgroup_refused",
   "outcome": "passed",
   "seconds": 0.096
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F8_process_replaced_while_pending_stays_frozen",
   "outcome": "passed",
   "seconds": 0.693
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[../user.slice]",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[/sys/fs/cgroup]",
   "outcome": "passed",
   "seconds": 0.134
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[a/../../x]",
   "outcome": "passed",
   "seconds": 0.024
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[x;rm -rf /]",
   "outcome": "passed",
   "seconds": 0.006
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[$(id)]",
   "outcome": "passed",
   "seconds": 0.006
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F9_path_and_injection_refused[]",
   "outcome": "passed",
   "seconds": 0.006
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F10_bad_root_and_relative_decision_cmd_refused",
   "outcome": "passed",
   "seconds": 0.072
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F11_every_transition_logged",
   "outcome": "passed",
   "seconds": 0.878
  },
  {
   "id": "ihvrk.tests.runtime.test_gatekeeper::test_F12_residual_escape_process_outside_cgroup_is_not_contained",
   "outcome": "passed",
   "seconds": 0.466
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_rfc8785_key_order_and_escaping",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_key_order_does_not_change_digest",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_any_parameter_change_changes_digest[to-y]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_any_parameter_change_changes_digest[amount_minor-6]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_any_parameter_change_changes_digest[extra-1]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[1.5]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[nan]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[9007199254740992]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[-9007199254740992]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[x]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[bad5]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[bad6]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[\\ud800]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_unrepresentable_values_are_rejected[bad8]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_bool_is_not_confused_with_int",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":1,\"a\":2}]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":1.0}]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":NaN}]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":1e2}]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[\\xff]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[{\"a\":9007199254740993}]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_strict_loads_rejects_ambiguous_input[\"\\ud800\"]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_oversize_rejected",
   "outcome": "passed",
   "seconds": 0.014
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_non_canonical_spelling_rejected[{\"b\":1,\"a\":2}]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_non_canonical_spelling_rejected[{\"a\": 1}]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_non_canonical_spelling_rejected[{\"a\":1}\\n]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_non_canonical_spelling_rejected[\"\\u0041\"]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_non_canonical_spelling_rejected[\"\\/\"]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_canonical::test_domain_separation",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_control_state_authorizes",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[hvt_signature-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[hvt_signature-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[hvt_issuer-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[hvt_issuer-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[verifier_status-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[verifier_status-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[verifier_independent-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[verifier_aal-1-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[human_decision-DENY-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[human_decision-ABSENT-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[approval_channel-AGENT_CLAIM-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[challenge-CONSUMED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[challenge-EXPIRED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[challenge-REVOKED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[challenge-UNKNOWN-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[nonce_match-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[approved_digest-8-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[approved_resource-4-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[tenant_match-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_signature-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_signature-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_issuer-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_issuer-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_subject_match-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_scope_covers-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_audience_match-False-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[revocation-REVOKED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[revocation-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[request_epoch-4-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[approval_epoch-6-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[current_epoch-6-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[policy_version-0-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[current_policy_version-2-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[env_trust-INVALID-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[env_trust-INDETERMINATE-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[time_trusted-False-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1102-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1101-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1100-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1099-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1098-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-1097-AUTHORIZE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-897-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-898-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-901-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[now-902-AUTHORIZE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_expires-998-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_expires-1000-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_expires-1002-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[cap_expires-1003-AUTHORIZE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[permit_state-ISSUED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[permit_state-CONSUMED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[enforcement_state-RELEASED-DENY]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[enforcement_state-UNKNOWN-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[solver_status-UNKNOWN-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_single_fault[solver_status-TIMEOUT-INDETERMINATE]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_deny_dominates_indeterminate",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over0]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over1]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over2]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over3]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over4]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_policy::test_malformed_state_denies[over5]",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_schemas::test_approval_schema_matches_code",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_schemas::test_permit_schema_matches_code",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_schemas::test_grant_schema_matches_code",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_schemas::test_challenge_and_record_schemas_match_produced_objects",
   "outcome": "passed",
   "seconds": 0.021
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_roundtrip",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_wrong_domain_rejected",
   "outcome": "passed",
   "seconds": 0.002
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_any_field_change_invalidates[n-2]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_any_field_change_invalidates[kid-k2]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_any_field_change_invalidates[type-permit]",
   "outcome": "passed",
   "seconds": 0.003
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_any_field_change_invalidates[added-1]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[none]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[ed25519]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[Ed25519ph]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[HS256]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[ML-DSA-65]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[None]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_algorithm_confusion_rejected[5]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_missing_alg_rejected",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[]",
   "outcome": "passed",
   "seconds": 0.007
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[AAAA]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[!!!!]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[None]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[7]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_malformed_signature_rejected[AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA==\\n]",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_wrong_key_and_bad_key_rejected",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_float_smuggled_into_signed_body_rejected",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_reserved_fields_cannot_be_presupplied",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_software_keystore_is_labelled_and_fails_closed",
   "outcome": "passed",
   "seconds": 0.001
  },
  {
   "id": "ihvrk.tests.unit.test_signatures::test_hardware_keystore_has_no_software_fallback",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_state_machine::test_all_specified_states_exist",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_state_machine::test_happy_path_is_the_only_forward_path",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_state_machine::test_terminal_states_have_no_exits",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_state_machine::test_executing_cannot_be_denied_or_cancelled_after_the_fact",
   "outcome": "passed",
   "seconds": 0.0
  },
  {
   "id": "ihvrk.tests.unit.test_state_machine::test_completed_reachable_only_from_executing",
   "outcome": "passed",
   "seconds": 0.001
  }
 ],
 "command": "python3 -m pytest -q -p no:cacheprovider ihvrk/tests",
 "exit_code": 0,
 "not_run_note": "runtime tests are skipped (not passed) on hosts without root + cgroup v2 + systemd-run",
 "schema": "ihvrk.test_results/1",
 "summary_line": "============================= 301 passed in 26.30s =============================",
 "total": 301,
 "totals": {
  "error": 0,
  "failed": 0,
  "passed": 301,
  "skipped": 0
 }
}