CHANGELOG.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
pyproject.toml
requirements.txt
keel_verifier/__init__.py
keel_verifier/__main__.py
keel_verifier/_release_manifest.json
keel_verifier/cli.py
keel_verifier/doctor.py
keel_verifier/install_diagnostics.py
keel_verifier/self_check.py
keel_verifier/semantics.py
keel_verifier/verdicts.py
keel_verifier/verifier.py
keel_verifier/verifier_output_render.py
keel_verifier.egg-info/PKG-INFO
keel_verifier.egg-info/SOURCES.txt
keel_verifier.egg-info/dependency_links.txt
keel_verifier.egg-info/entry_points.txt
keel_verifier.egg-info/requires.txt
keel_verifier.egg-info/top_level.txt
keel_verifier/canonical/__init__.py
keel_verifier/canonical/permit_binding.py
keel_verifier/capability/README.md
keel_verifier/capability/v1.json
keel_verifier/data/claim_registry_v0.json
keel_verifier/data/trust_root.json
keel_verifier/data/claim_registry/v0.json
keel_verifier/data/claim_registry/historical/v0-sha256-8da29094827fda581ee8fb3a1466934182e572a91b7940d2ef1cb3c28c1ec215.json
keel_verifier/data/claim_registry/historical/v0-sha256-b315ef722a8e4fafe3d3807bc7c8ccaafd601cab0e7d7985230da8248124337b.json
keel_verifier/data/claim_registry/historical/v0-sha256-c766e8d11c5e15925884a35727af90eaa28cac8b00caed7f409328041696453c.json
keel_verifier/data/claim_registry/historical/v0-sha256-d4ff07076f823d3f6a9bd7ce17f6096b035ca466b8ec71996d5417e4957ec7c8.json
keel_verifier/data/claim_registry/historical/v0-sha256-ee953bbdb67208d7e660eca9764d14bef4cbd4d28105614ec14c4e58cf502235.json
keel_verifier/data/comparator_registry/v0.json
keel_verifier/data/schemas/permit-revoked-event.schema.json
keel_verifier/data/semantics/checkpoint/composite_hash_v1.json
keel_verifier/data/semantics/checkpoint/signature_v1.json
keel_verifier/data/semantics/checkpoint/tsa_imprint_v1.json
keel_verifier/data/semantics/closure/digest_rules_v1.json
keel_verifier/data/semantics/closure/format_v1.json
keel_verifier/data/semantics/closure/format_v2.json
keel_verifier/data/semantics/export/scope_faithfulness_v1.json
keel_verifier/data/semantics/export_manifest/integrity_v1.json
keel_verifier/data/semantics/governance_chain/record_hash_v1.json
keel_verifier/data/semantics/governance_event/integrity_digest_v1.json
keel_verifier/data/semantics/incident/bundle_manifest_v2.json
keel_verifier/data/semantics/permit/decision_v1.json
keel_verifier/data/semantics/permit/dispatch_absence_after_revocation_v1.json
keel_verifier/data/semantics/permit/permit.audit_attestation.v1.json
keel_verifier/data/semantics/permit/permit.counter_signature.v1.json
keel_verifier/data/semantics/permit/permit.operator_approval.v1.json
keel_verifier/data/semantics/permit/revoked_event_v1.json
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-4fad85a1ab652b6ebc5dd15fd3264025eee400914478dcd4f726c480c34ce70c.json
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-7e5a8fcef4a51687ebf2de34cf2c47f37710b08063fc65941fe697a97dacda54.json
keel_verifier/data/semantics/permit/historical/decision_v1-sha256-f5cb80b8849f4d5e88a796cf76e2edf261a2bc47ca19cec68c6b3189242f44dd.json
keel_verifier/data/semantics/permit_binding/canonical_request_v1.json
keel_verifier/data/semantics/profiles/pre_pinning_default_v0.json
keel_verifier/data/semantics/scope_state/merkle_v1.json
keel_verifier/data/semantics/scope_state/sidecar_format_v1.json
keel_verifier/data/semantics/workflow/canonicalization_v1.json
keel_verifier/data/semantics/workflow_evidence/sibling_integrity_v1.json
keel_verifier/keys/keel_checkpoint.pub.json
sample/export.json
sample/tampered.json
sample/tsa_tampered.json
sample/voice_session_export.json
sample/voice_session_export_v3.json
tests/conftest.py
tests/scope_faithfulness_public.py
tests/step4_permit_helpers.py
tests/test_canonical_byte_identity.py
tests/test_canonical_json.py
tests/test_checkpoint_scope_state_v1.py
tests/test_claim_registry_parity.py
tests/test_cli_doctor.py
tests/test_cli_render_modes.py
tests/test_cli_self_check.py
tests/test_cross_event_killer_fixture.py
tests/test_doctor.py
tests/test_embedded_manifest_schema.py
tests/test_export_scope_faithfulness_v1.py
tests/test_golden_fixture_corpus.py
tests/test_installed_wheel_semantics.py
tests/test_jcs_drift_lock.py
tests/test_keel_api_emitter_byte_faithfulness.py
tests/test_key_manifest_active_window.py
tests/test_permit_chain_verifier.py
tests/test_permit_decision_v1.py
tests/test_permit_dispatch_absence_after_revocation_v1.py
tests/test_permit_revoked_v1.py
tests/test_permit_v2_signature_envelope.py
tests/test_refresh_keys.py
tests/test_release_manifest_generator.py
tests/test_released_artifact_parity.py
tests/test_replay_preserves_binding_version.py
tests/test_scope_faithfulness_corpus.py
tests/test_self_check_failures.py
tests/test_self_check_form_detection.py
tests/test_self_check_happy.py
tests/test_self_check_published_wheel.py
tests/test_semantics_pinning.py
tests/test_smoke.py
tests/test_step4_bridge_record_disproof.py
tests/test_structured_verdicts.py
tests/test_trust_root_bundled.py
tests/test_tsa_trust.py
tests/test_unsigned_manifest_strict.py
tests/test_verify_closure.py
tests/test_version_parity.py
tests/test_voice_attestation.py
tests/test_walk_events.py
tests/test_workflow_verification.py
tests/fixtures/permit_binding_public_keys.json
tests/fixtures/substrate_v6_resource_attributes_hash_vectors.json
tests/fixtures/permit_v2_signature_envelope/corpus.json
tests/fixtures/permit_v2_signature_envelope/generate.py
tests/fixtures/permit_v2_signature_envelope/audit_attestation_batch_unknown/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_batch_unknown/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_batch_unknown/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_key_revoked_after_signing/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_key_revoked_after_signing/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_key_revoked_after_signing/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_missing_key_registry/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_missing_key_registry/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_missing_key_registry/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_signed_at_outside_validity/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_signed_at_outside_validity/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_edge_signed_at_outside_validity/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_audit_batch_unknown/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_audit_batch_unknown/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_audit_batch_unknown/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_invalid_signature/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_invalid_signature/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_invalid_signature/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_type_mismatch/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_type_mismatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_payload_type_mismatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_signed_payload_hash_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_signed_payload_hash_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_signed_payload_hash_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_wrong_key/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_wrong_key/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_negative_wrong_key/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_01/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_01/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_01/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_02/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_02/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_02/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_03/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_03/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_03/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_04/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_04/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_04/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_05/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_05/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_05/manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_06/export.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_06/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/audit_attestation_positive_06/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_key_revoked_after_signing/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_key_revoked_after_signing/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_key_revoked_after_signing/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_missing_key_registry/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_missing_key_registry/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_missing_key_registry/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_signed_at_outside_validity/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_signed_at_outside_validity/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_edge_signed_at_outside_validity/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_counter_post_revocation/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_counter_post_revocation/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_counter_post_revocation/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_execution_intent_mismatch/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_execution_intent_mismatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_execution_intent_mismatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_invalid_signature/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_invalid_signature/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_invalid_signature/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_type_mismatch/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_type_mismatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_payload_type_mismatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_signed_payload_hash_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_signed_payload_hash_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_signed_payload_hash_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_wrong_key/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_wrong_key/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_negative_wrong_key/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_01/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_01/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_01/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_02/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_02/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_02/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_03/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_03/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_03/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_04/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_04/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_04/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_05/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_05/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_05/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_06/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_06/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_positive_06/manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_post_revocation_signed_at/export.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_post_revocation_signed_at/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/counter_signature_post_revocation_signed_at/manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_audit_attested/export.json
tests/fixtures/permit_v2_signature_envelope/happy_path_audit_attested/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_audit_attested/manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_counter_signed_pre_dispatch/export.json
tests/fixtures/permit_v2_signature_envelope/happy_path_counter_signed_pre_dispatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_counter_signed_pre_dispatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_operator_approved/export.json
tests/fixtures/permit_v2_signature_envelope/happy_path_operator_approved/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/happy_path_operator_approved/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_key_revoked_after_signing/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_key_revoked_after_signing/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_key_revoked_after_signing/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_missing_key_registry/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_missing_key_registry/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_missing_key_registry/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_signed_at_outside_validity/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_signed_at_outside_validity/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_edge_signed_at_outside_validity/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_invalid_signature/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_invalid_signature/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_invalid_signature/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_type_mismatch/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_type_mismatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_payload_type_mismatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_signed_payload_hash_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_signed_payload_hash_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_signed_payload_hash_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_wrong_key/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_wrong_key/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_negative_wrong_key/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_payload_type_mismatch/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_payload_type_mismatch/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_payload_type_mismatch/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_01/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_01/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_01/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_02/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_02/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_02/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_03/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_03/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_03/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_04/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_04/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_04/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_05/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_05/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_05/manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_06/export.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_06/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/operator_approval_positive_06/manifest.json
tests/fixtures/permit_v2_signature_envelope/signed_payload_hash_tampered/export.json
tests/fixtures/permit_v2_signature_envelope/signed_payload_hash_tampered/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/signed_payload_hash_tampered/manifest.json
tests/fixtures/permit_v2_signature_envelope/signer_id_unknown_in_registry/export.json
tests/fixtures/permit_v2_signature_envelope/signer_id_unknown_in_registry/key_manifest.json
tests/fixtures/permit_v2_signature_envelope/signer_id_unknown_in_registry/manifest.json
tests/fixtures/sigstore/v2.4.2-manifest.json
tools/check_bundled_key.py
tools/make_sample.py
tools/run_golden_corpus.py