Requirement evidence

Odexa v1.2 consolidated review edition 1. This is reference evidence, not candidate approval. The statements are rendered into the consolidated specification. Schema passes, test-source existence and recorded passes are checked separately from substantive review judgments.

Requirement	Applicable capability classes	Exact evidence
CORE-01	all	FreeContractsTests.test_closed_keys_and_strict_wire_numbers; FreeContractsTests.test_no_legacy_envelope_or_global_version_mutation; JSONContractTests.test_lexical_invalid_json; CurrentRuntimeTests.test_raw_request_target_aliases_rejected_before_dispatch
CORE-02	all	FreeContractsTests.test_context_exact_bytes_and_semantics; FreeContractsTests.test_resigned_same_acceptance_payload_has_same_receipt_binding; AuthorityHistoryTests.test_same_revision_whitespace_conflict_is_not_canonicalized_away
POL-01	policy	EvaluatorTests.test_all_examples_validate; EvaluatorTests.test_no_implicit_storage; EvaluatorTests.test_no_implicit_training; EvaluatorTests.test_action_purpose_cartesian_product
POL-02	policy	EvaluatorTests.test_global_prohibit_dominates_narrow_permission; EvaluatorTests.test_no_grant_dominates_agreement_for_combined_request; EvaluatorTests.test_known_unsupported_duty_never_permits; EvaluatorTests.test_supported_duty_remains_unverified
POL-03	policy	EvaluatorTests.test_duties_accumulate_deduplicate_and_tighten; EvaluatorTests.test_rule_order_does_not_change_output
AUTH-01	authority	DelegationProfileTests.test_external_requires_named_grant_and_remote_observation; DelegationProfileTests.test_no_union_of_partial_delegations; DelegationProfileTests.test_provider_tenant_endpoint_issuer_key_substitution; DelegationProfileTests.test_unknown_capability_subdelegation_and_scope_rejected; ClientAuthorityTests.test_every_authenticated_operation_denies_withdrawn_delegation_before_setup; ClientAuthorityTests.test_narrowed_scope_denies_all_operations_before_setup; ClientAuthorityTests.test_delegation_capability_removed_for_every_operation
AUTH-02	authority	TransportTests.test_real_two_origin_fetch_exact_bytes_and_authority_evaluation; TransportTests.test_untrusted_ca_and_wrong_hostname_fail; TransportTests.test_redirect_never_contacts_other_origin; TransportTests.test_no_stale_fallback_after_prior_success_and_second_document_failure
AUTH-03	authority	TransportTests.test_combined_fetch_budget_and_start_time; TransportTests.test_no_store_and_age_requirements; NetworkPaymentTests.test_pretransmission_wait_cannot_send_context_using_expired_authority; IndependentAssetNodeTests.test_slow_or_cached_origin_observation_cannot_be_minted_as_fresh; ClientAuthorityTests.test_expired_observation_during_setup_prevents_emission_for_all_routes; ClientAuthorityTests.test_response_after_withdrawal_is_not_returned
AUTH-04	authority	TransportTests.test_scoped_post_jose_no_ambient_credentials_or_proxy; TransportTests.test_before_send_denial_after_tls_emits_no_http_or_credential; PaymentAdapterTests.test_write_lock_wait_rechecks_stale_authority; NetworkPaymentTests.test_withdrawal_during_provider_reply_blocks_commit; ClientAuthorityTLS.test_actual_tls_setup_guard_denies_without_provider_http
AUTH-05	authority	AuthorityHistoryTests.test_both_revision_rollbacks_rejected_after_restart; AuthorityHistoryTests.test_policy_lineage_switch_is_not_a_revision_reset; AuthorityHistoryTests.test_key_material_validity_uses_and_issuer_redefinitions_rejected; AuthorityHistoryTests.test_history_does_not_reactivate_expired_snapshot
AUTH-06	authority	AuthorityHistoryTests.test_key_rotation_retirement_then_revocation_keeps_original_receipts; AuthorityHistoryTests.test_revoked_material_cannot_return_under_new_kid_after_removal_and_restart; AuthorityHistoryTests.test_removed_key_is_withdrawn_even_if_original_metadata_calls_it_active; ClientAuthorityTests.test_current_key_retirement_prevents_offer_and_current_signature_use
FREE-01	free	FreeServiceTests.test_provider_absent_same_origin_same_contract; FreeGatewayTests.test_independent_node_direct_exchange_without_provider; FreeGatewayTests.test_independent_node_two_origin_exchange_with_real_delivery_and_report; CurrentRuntimeTests.test_free_initialisation_imports_no_paid_runtime
FREE-02	free	FreeContractsTests.test_context_exact_bytes_and_semantics; FreeContractsTests.test_assent_binds_exact_offer_principal_nonce_and_window; FreeServiceTests.test_wrong_tenant_issuer_key_principal_and_scope
FREE-03	free	FreeStoreTests.test_duplicate_offer_nonce_and_one_agreement_per_offer; FreeStoreTests.test_concurrent_exact_acceptance_retries_have_single_receipt; FreeStoreTests.test_idempotency_key_conflict_compares_exact_request_bytes; FreeServiceTests.test_exact_acceptance_restart_after_commit_and_conflict
FREE-04	free	FreeContractsTests.test_receipt_binds_decoded_acceptance_bytes_and_exact_windows; FreeServiceTests.test_withdrawal_blocks_new_access_but_original_receipt_survives; PaidServiceTests.test_original_paid_receipt_available_after_origin_outage
FREE-05	free, gateway	FreeContractsTests.test_token_expiry_bound_to_clock_and_agreement; FreeContractsTests.test_introspection_allows_no_token_echo_and_requires_both_booleans; FreeContractsTests.test_introspection_request_principal_scope_and_expiry_correlation; FreeServiceTests.test_scope_expansion_wrong_role_and_duplicate_admission_denied
FREE-06	free	DelegationProfileTests.test_status_and_revoke_are_exact_agreement_bound_zero_duration_operations; FreeContractsTests.test_status_is_bound_current_observation_without_access_extension; FreeStoreTests.test_status_update_needs_new_version_and_terminal_state_never_reactivates; FreeStoreTests.test_exact_command_retry_returns_original_response_and_is_route_scoped
GW-01	gateway	FreeGatewayTests.test_admission_delivery_and_unresolved_restart_are_distinct; FreeGatewayTests.test_withdrawal_outage_expiry_and_cached_body_cannot_reuse_admission; FreeGatewayTests.test_completion_cannot_claim_invalid_time_or_byte_count
GW-02	gateway	GatewayReportJournalTests.test_signer_or_sql_failure_rolls_back_terminal_and_outbox_together; GatewayReportJournalTests.test_process_exit_after_outbox_insert_before_terminal_commit_recovers_unresolved; GatewayReportTLSTests.test_lost_ack_exact_retry_after_restart_retains_original_receipt
REPORT-01	collector, gateway	FreeContractsTests.test_report_roles_and_intake_cannot_promote_claims; FreeContractsTests.test_delivery_report_matches_admission_and_preserves_http_semantics; FreeServiceTests.test_gateway_report_is_bound_to_admission_and_retained_on_exact_retry
REPORT-02	collector	FreeStoreTests.test_records_are_idempotent_by_reporter_and_exact_event_bytes; FreeContractsTests.test_report_roles_and_intake_cannot_promote_claims; GatewayReportTLSTests.test_signed_wrong_report_or_bad_signature_never_acknowledges
PAY-01	paid	PaymentProfileTests.test_valid_quote_fee_and_sum; PaymentProfileTests.test_amounts_reject_negative_float_exponent_bool_overflow; PaymentProfileTests.test_resource_line_required_but_may_be_free; PaymentProfileTests.test_exact_free_bypass
PAY-02	paid	PaidContractsTests.test_full_paid_context_validates_without_changing_free_or_crypto; PaidContractsTests.test_receipt_must_preserve_exact_access_and_use_durations; PaidContractsTests.test_paid_and_free_receipts_cannot_be_interchanged; IndependentPaidNodeTests.test_authorised_signature_cannot_turn_paid_receipt_into_access_grant
PAY-03	paid	PaymentProfileTests.test_acceptance_is_not_mandate; PaymentProfileTests.test_wrong_payer_and_exact_mandate_bindings; PaidServiceTests.test_assent_alone_and_agent_credential_cannot_authorize_payment; IndependentPaidNodeTests.test_valid_but_unapproved_price_and_payee_are_rejected_before_assent
PAY-04	paid	PaymentAdapterTests.test_wrong_signer_key_role_and_exact_bytes_fail_without_commit; PaymentAdapterTests.test_signed_wrong_amount_or_check_is_not_authorized_settlement; NetworkPaymentTests.test_wrong_tenant_is_denied_before_provider_contact; NetworkPaymentTests.test_withdrawal_during_provider_reply_blocks_commit
PAY-05	paid	PaymentProfileTests.test_response_time_and_sequence; PaymentProfileTests.test_confirmation_and_duplicate_no_charge_action; PaymentProfileTests.test_failed_then_confirmed_reference_fixed; PaidServiceTests.test_exact_verification_retry_never_reactivates_after_reversal
PAY-06	paid	PaidServiceTests.test_actual_paid_pending_confirmed_delivery_reversed_denial; PaidServiceTests.test_late_financial_confirmation_cannot_extend_expired_access; PaymentProfileTests.test_reversal_terminal_old_retry_no_resurrection
PAY-07	paid	PaidServiceTests.test_paid_acceptance_and_payment_state_share_atomic_commit; PaymentAdapterTests.test_write_lock_wait_rechecks_key_expiry_within_freshness_window; PaymentAdapterTests.test_write_lock_wait_applies_access_expiry_before_confirmation
ASSET-01	asset	AssetEvidenceTests.test_closed_version_signature_and_byte_substitution; AssetEvidenceTests.test_origin_scope_issuer_key_use_and_endpoint_substitution; AssetRuntimeTests.test_direct_versions_coding_relocation_and_closed_archive
ASSET-02	asset	AssetEvidenceTests.test_untrusted_bundle_cannot_bootstrap_origin_history; AssetEvidenceTests.test_removed_compromised_key_remains_rejected_by_pinned_history; AssetEvidenceTests.test_same_key_identity_cannot_be_rebound; IndependentAssetNodeTests.test_cross_origin_parent_requires_both_independent_current_origins
ASSET-03	asset	AssetEvidenceTests.test_missing_extra_duplicate_context_and_unreachable_manifest_rejected; AssetEvidenceTests.test_exact_copy_derivation_closes_and_changed_copy_is_rejected; AssetEvidenceTests.test_depth_bound_and_same_version_conflicts_are_closed; AssetEvidenceTests.test_duplicate_root_or_edge_cannot_hide_behind_object_member_order
ASSET-04	asset, measurement	AssetEvidenceTests.test_signed_digest_claim_is_not_proof_of_client_receipt_or_model_use; AssetEvidenceTests.test_coded_variant_and_decoded_representation_are_separate_checks; AssetEvidenceTests.test_ranges_head_missing_metadata_and_upstream_hops_never_become_full_delivery
ASSET-05	asset	AssetCatalogTests.test_same_version_cannot_change_after_restart; AssetCatalogTests.test_late_current_authority_failure_rolls_back_all_material; IndependentAssetNodeTests.test_redefined_immutable_version_is_rejected_after_process_restart
STORE-01	storage	SelectedStorageContractsTests.test_exact_free_and_paid_selection_chain; SelectedStorageContractsTests.test_selection_is_closed_and_never_inferred; SelectedStorageContractsTests.test_exact_wire_digest_not_projected_base_digest
STORE-02	storage	StorageSessionTests.test_complete_write_many_reports_one_action; StorageSessionTests.test_copy_inherits_time_and_resolves_parent_exactly; StorageSessionTests.test_wrong_claimed_retention_deadline_invalid_and_original_use_expiry_caps; StorageEvidenceTests.test_copy_parent_outside_snapshot_cannot_be_silently_dropped
STORE-03	storage, measurement	StorageSessionTests.test_exact_retry_not_new_action_session_or_checkpoint; StorageSessionTests.test_late_wake_does_not_backfill_previous_indices; StorageSessionTests.test_failed_cleanup_does_not_fabricate_cessation_or_drop_expected_checks; StorageSessionTests.test_all_conflict_variants_and_exact_retries_are_order_independent
AGENT-01	agent	StorageRuntimeTests.test_provider_independent_agent_storage_and_signed_reporting; StorageRuntimeTests.test_two_origin_agent_storage_and_signed_reporting; unsupported duties and irreversible or model uses are refused; attribution output preserves all required distinct names and source links; pending outbox survives reopen with identical bytes, IDs and original deadline; safe cancelled acquisition does not block a separately permitted new acquisition or fabricate events; cancellation persistence failure remains uncertain and restart never invents completion
EVID-01	archive	PortableEvidenceTests.test_missing_extra_duplicate_and_changed_blobs_rejected; PortableEvidenceTests.test_exporter_keys_cannot_bootstrap_external_client_trust; AssetRuntimeTests.test_importer_rejects_authorized_exporter_asset_omission_and_untrusted_origin; PaidEvidenceTests.test_independent_payer_pin_is_required_and_known_compromise_is_not_hidden
EVID-02	archive	PortableEvidenceTests.test_indexed_lifecycle_cannot_invent_unattested_revocation_or_versions; PaidEvidenceTests.test_audit_missing_reordered_changed_state_or_cut_fails_after_exporter_resigns; PaidEvidenceTests.test_signed_provider_proof_and_authority_are_both_required; PaidEvidenceTests.test_late_confirmation_and_lazy_expiry_never_restore_access
EVID-03	archive	PaidEvidenceTests.test_selected_paid_storage_has_signed_copy_parent_closure; PaidEvidenceTests.test_paid_asset_graph_and_actual_delivery_archive; PaidEvidenceTests.test_paid_asset_storage_graph_archive; StorageEvidenceTests.test_ordinary_exporter_never_infers_selected_storage
EVID-04	archive	PortableEvidenceTests.test_archive_import_restart_and_exact_retry_are_inert; PortableEvidenceTests.test_no_credential_tables_or_token_plaintext_exported; PortableEvidenceTests.test_archive_cannot_be_constructed_over_live_service_database; PaidEvidenceTests.test_source_restart_preserves_exact_payment_proofs_without_credentials
MIG-01	handover	ProviderHandoverTests.test_real_cutover_preserves_exact_evidence_and_requires_fresh_assent; ProviderHandoverTests.test_successor_staging_cannot_self_appoint_or_receive_old_credentials; ProviderHandoverTests.test_outage_and_rollback_after_cutover_never_fall_back_to_old_provider; ProviderHandoverTests.test_paid_rights_stay_original_and_new_provider_requires_new_quote_and_mandate
MIG-02	handover	ProviderHandoverTests.test_old_collector_can_drain_selected_storage_without_future_access_authority; ProviderHandoverTests.test_live_key_rotation_retains_old_receipt_and_blocks_retired_signer
METRIC-01	measurement	CoverageTests.test_closed_registry_exact_policy_scope_time_and_no_secret_fields; CoverageTests.test_history_restart_rollback_same_revision_conflict_and_repeated_read_clock; CoverageTLSTests.test_static_registry_fetch_needs_no_service_payment_or_credential; CoverageTests.test_registry_acquisition_age_covers_both_requests
METRIC-02	measurement	CoverageTests.test_static_publication_has_unknown_traffic_and_null_not_zero_percent; CoverageTests.test_zero_expectations_is_unknown_ratio_and_unexpected_reports_are_not_a_denominator; CoverageTests.test_collector_receipt_uses_exact_payload_and_is_not_another_use
METRIC-03	measurement	CoverageTests.test_known_cohort_separates_timely_late_missing_and_pending; CoverageTests.test_expectation_conflicts_never_shrink_or_rewrite_the_denominator; CoverageTests.test_another_agreement_or_selected_profile_cannot_fill_a_known_gap; CoverageTests.test_as_of_does_not_backfill_a_missing_report_with_future_receipt
REF-01	reference_distribution	CurrentRuntimeTests.test_free_initialisation_imports_no_paid_runtime; CurrentRuntimeTests.test_private_configuration_and_no_synthetic_public_verifier; CurrentRuntimeTests.test_static_only_allowlist_no_secrets_or_unprotected_asset; CurrentRuntimeTests.test_client_verifies_public_authority_without_reading_service_private_key; Installed command flow