macro_rules! contract_pre_absolute_position_add {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract absolute_position_add: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_gelu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract gelu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract gelu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_relu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract relu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract relu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_silu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract silu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract silu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_entropy_score {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract entropy_score: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract entropy_score: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_margin_score {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract margin_score: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract margin_score: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_qbc_score {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract qbc_score: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract qbc_score: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_uncertainty_score {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract uncertainty_score: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract uncertainty_score: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_adam_moments {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract adam_moments: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_adam_variance {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract adam_variance: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_bias_correction {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract bias_correction: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_weight_update {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract weight_update: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_context_compaction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_context_compaction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_context_compaction {
($input:expr, $body:expr) => {{
contract_pre_context_compaction!($input);
let _contract_result = $body;
contract_post_context_compaction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_hook_ordering {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_loop_termination {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_loop_termination {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_loop_termination {
($input:expr, $body:expr) => {{
contract_pre_loop_termination!($input);
let _contract_result = $body;
contract_post_loop_termination!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_parallel_tool_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_sandbox_enforcement {
() => {{}};
($input:expr) => {{
let _pv_manifest = &$input;
}};
}
macro_rules! contract_post_sandbox_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_sandbox_enforcement {
($input:expr, $body:expr) => {{
contract_pre_sandbox_enforcement!($input);
let _contract_result = $body;
contract_post_sandbox_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_session_crash_recovery {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_post_state_machine {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_daemon_lifecycle {
() => {{}};
($input:expr) => {{
let _pv_config = &$input;
}};
}
macro_rules! contract_pre_error_classification {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_manager_registration {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_red_metrics {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_restart_policy {
() => {{}};
($input:expr) => {{
let _pv_BackoffConfig = &$input;
}};
}
macro_rules! contract_pre_signal_handling {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_brick_verification {
() => {{}};
($input:expr) => {{
let _pv_brick = &$input;
}};
}
macro_rules! contract_post_brick_verification {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_brick_verification {
($input:expr, $body:expr) => {{
contract_pre_brick_verification!($input);
let _contract_result = $body;
contract_post_brick_verification!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_contrast_accessibility {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_contrast_accessibility {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_contrast_accessibility {
($input:expr, $body:expr) => {{
contract_pre_contrast_accessibility!($input);
let _contract_result = $body;
contract_post_contrast_accessibility!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_cost_display_accuracy {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_frame_budget {
() => {{}};
($input:expr) => {{
let _pv_panels = &$input;
debug_assert!(
_pv_panels.len() > 0,
"Contract frame_budget: precondition violated — panels.len() > 0"
);
}};
}
macro_rules! contract_post_frame_budget {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_frame_budget {
($input:expr, $body:expr) => {{
contract_pre_frame_budget!($input);
let _contract_result = $body;
contract_post_frame_budget!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_layout_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_pixel_coverage {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_pixel_coverage {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pixel_coverage {
($input:expr, $body:expr) => {{
contract_pre_pixel_coverage!($input);
let _contract_result = $body;
contract_post_pixel_coverage!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_streaming_responsiveness {
() => {{}};
($input:expr) => {{
let _pv_provider = &$input;
}};
}
macro_rules! contract_post_streaming_responsiveness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_streaming_responsiveness {
($input:expr, $body:expr) => {{
contract_pre_streaming_responsiveness!($input);
let _contract_result = $body;
contract_post_streaming_responsiveness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_alibi_bias {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract alibi_bias: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_alibi_slopes {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract alibi_slopes: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_architecture_config_invariants {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_architecture_config_invariants {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_architecture_config_invariants {
($input:expr, $body:expr) => {{
contract_pre_architecture_config_invariants!($input);
let _contract_result = $body;
contract_post_architecture_config_invariants!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_attention_tensor_shapes {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_attention_tensor_shapes {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_attention_tensor_shapes {
($input:expr, $body:expr) => {{
contract_pre_attention_tensor_shapes!($input);
let _contract_result = $body;
contract_post_attention_tensor_shapes!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_embedding_tensor_shapes {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_embedding_tensor_shapes {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_embedding_tensor_shapes {
($input:expr, $body:expr) => {{
contract_pre_embedding_tensor_shapes!($input);
let _contract_result = $body;
contract_post_embedding_tensor_shapes!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_ffn_tensor_shapes {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_ffn_tensor_shapes {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_ffn_tensor_shapes {
($input:expr, $body:expr) => {{
contract_pre_ffn_tensor_shapes!($input);
let _contract_result = $body;
contract_post_ffn_tensor_shapes!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_normalization_tensor_shapes {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_normalization_tensor_shapes {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_normalization_tensor_shapes {
($input:expr, $body:expr) => {{
contract_pre_normalization_tensor_shapes!($input);
let _contract_result = $body;
contract_post_normalization_tensor_shapes!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_rope_position_encoding {
() => {{}};
($input:expr) => {{
let _pv_config = &$input;
}};
}
macro_rules! contract_post_rope_position_encoding {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_rope_position_encoding {
($input:expr, $body:expr) => {{
contract_pre_rope_position_encoding!($input);
let _contract_result = $body;
contract_post_rope_position_encoding!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_total_tensor_count {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_total_tensor_count {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_total_tensor_count {
($input:expr, $body:expr) => {{
contract_pre_total_tensor_count!($input);
let _contract_result = $body;
contract_post_total_tensor_count!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_chat_template_application {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_chat_template_application {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_chat_template_application {
($input:expr, $body:expr) => {{
contract_pre_chat_template_application!($input);
let _contract_result = $body;
contract_post_chat_template_application!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_kv_cache_management {
() => {{}};
($input:expr) => {{
let _pv_new_tokens = &$input;
debug_assert!(
_pv_new_tokens.len() > 0,
"Contract kv_cache_management: precondition violated — new_tokens.len() > 0"
);
}};
}
macro_rules! contract_post_kv_cache_management {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_kv_cache_management {
($input:expr, $body:expr) => {{
contract_pre_kv_cache_management!($input);
let _contract_result = $body;
contract_post_kv_cache_management!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_session_persistence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_session_persistence {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_session_persistence {
($input:expr, $body:expr) => {{
contract_pre_session_persistence!($input);
let _contract_result = $body;
contract_post_session_persistence!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_session_state_machine {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_session_state_machine {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_session_state_machine {
($input:expr, $body:expr) => {{
contract_pre_session_state_machine!($input);
let _contract_result = $body;
contract_post_session_state_machine!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_load_checkpoint {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_load_checkpoint {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_load_checkpoint {
($input:expr, $body:expr) => {{
contract_pre_load_checkpoint!($input);
let _contract_result = $body;
contract_post_load_checkpoint!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_save_checkpoint {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
!_pv_data.is_empty(),
"Contract save_checkpoint: precondition violated — !data.is_empty()"
);
}};
}
macro_rules! contract_post_save_checkpoint {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_save_checkpoint {
($input:expr, $body:expr) => {{
contract_pre_save_checkpoint!($input);
let _contract_result = $body;
contract_post_save_checkpoint!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_concurrent_model_access {
() => {{}};
($input:expr) => {{
let _pv_requests = &$input;
debug_assert!(
_pv_requests.len() > 0,
"Contract concurrent_model_access: precondition violated — requests.len() > 0"
);
}};
}
macro_rules! contract_post_concurrent_model_access {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_concurrent_model_access {
($input:expr, $body:expr) => {{
contract_pre_concurrent_model_access!($input);
let _contract_result = $body;
contract_post_concurrent_model_access!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_inference_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_inference_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_inference_determinism {
($input:expr, $body:expr) => {{
contract_pre_inference_determinism!($input);
let _contract_result = $body;
contract_post_inference_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_progress_reporting {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_progress_reporting {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_progress_reporting {
($input:expr, $body:expr) => {{
contract_pre_progress_reporting!($input);
let _contract_result = $body;
contract_post_progress_reporting!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_resource_cleanup {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_resource_cleanup {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_resource_cleanup {
($input:expr, $body:expr) => {{
contract_pre_resource_cleanup!($input);
let _contract_result = $body;
contract_post_resource_cleanup!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_side_effect_classification {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_side_effect_classification {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_side_effect_classification {
($input:expr, $body:expr) => {{
contract_pre_side_effect_classification!($input);
let _contract_result = $body;
contract_post_side_effect_classification!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tokenizer_consistency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tokenizer_consistency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tokenizer_consistency {
($input:expr, $body:expr) => {{
contract_pre_tokenizer_consistency!($input);
let _contract_result = $body;
contract_post_tokenizer_consistency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_command_parse_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_command_parse_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_command_parse_determinism {
($input:expr, $body:expr) => {{
contract_pre_command_parse_determinism!($input);
let _contract_result = $body;
contract_post_command_parse_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_contract_gate_enforcement {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_contract_gate_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_contract_gate_enforcement {
($input:expr, $body:expr) => {{
contract_pre_contract_gate_enforcement!($input);
let _contract_result = $body;
contract_post_contract_gate_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_model_path_resolution {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_model_path_resolution {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_model_path_resolution {
($input:expr, $body:expr) => {{
contract_pre_model_path_resolution!($input);
let _contract_result = $body;
contract_post_model_path_resolution!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_pipe_stdin_support {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_pipe_stdin_support {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pipe_stdin_support {
($input:expr, $body:expr) => {{
contract_pre_pipe_stdin_support!($input);
let _contract_result = $body;
contract_post_pipe_stdin_support!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tokenizer_training_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tokenizer_training_correctness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tokenizer_training_correctness {
($input:expr, $body:expr) => {{
contract_pre_tokenizer_training_correctness!($input);
let _contract_result = $body;
contract_post_tokenizer_training_correctness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_training_plan_apply_semantics {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_training_plan_apply_semantics {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_training_plan_apply_semantics {
($input:expr, $body:expr) => {{
contract_pre_training_plan_apply_semantics!($input);
let _contract_result = $body;
contract_post_training_plan_apply_semantics!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_apr_md_compliance {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_apr_md_compliance {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(violated_instructions.len() == 0, "Contract apr_md_compliance: postcondition violated — violated_instructions.len() == 0");
}};
}
macro_rules! contract_apr_md_compliance {
($input:expr, $body:expr) => {{
contract_pre_apr_md_compliance!($input);
let _contract_result = $body;
contract_post_apr_md_compliance!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_apr_model_validity {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_apr_model_validity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_apr_model_validity {
($input:expr, $body:expr) => {{
contract_pre_apr_model_validity!($input);
let _contract_result = $body;
contract_post_apr_model_validity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_no_model_error {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_session_integrity {
() => {{}};
($input:expr) => {{
let _pv_session = &$input;
}};
}
macro_rules! contract_post_session_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_session_integrity {
($input:expr, $body:expr) => {{
contract_pre_session_integrity!($input);
let _contract_result = $body;
contract_post_session_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_sovereignty_guarantee {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_sovereignty_guarantee {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_sovereignty_guarantee {
($input:expr, $body:expr) => {{
contract_pre_sovereignty_guarantee!($input);
let _contract_result = $body;
contract_post_sovereignty_guarantee!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_startup_latency {
() => {{}};
($input:expr) => {{
let _pv_project = &$input;
}};
}
macro_rules! contract_post_startup_latency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_startup_latency {
($input:expr, $body:expr) => {{
contract_pre_startup_latency!($input);
let _contract_result = $body;
contract_post_startup_latency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tool_safety {
() => {{}};
($input:expr) => {{
let _pv_session = &$input;
}};
}
macro_rules! contract_post_tool_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tool_safety {
($input:expr, $body:expr) => {{
contract_pre_tool_safety!($input);
let _contract_result = $body;
contract_post_tool_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_data_split_determinism {
() => {{}};
($input:expr) => {{
let _pv_ratios = &$input;
debug_assert!(
_pv_ratios.sum() == 1.0,
"Contract data_split_determinism: precondition violated — ratios.sum() == 1.0"
);
}};
}
macro_rules! contract_post_data_split_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_data_split_determinism {
($input:expr, $body:expr) => {{
contract_pre_data_split_determinism!($input);
let _contract_result = $body;
contract_post_data_split_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_data_validation {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_data_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_data_validation {
($input:expr, $body:expr) => {{
contract_pre_data_validation!($input);
let _contract_result = $body;
contract_post_data_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_preprocessing_idempotency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_preprocessing_idempotency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_preprocessing_idempotency {
($input:expr, $body:expr) => {{
contract_pre_preprocessing_idempotency!($input);
let _contract_result = $body;
contract_post_preprocessing_idempotency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_streaming_data_loader {
() => {{}};
($input:expr) => {{
let _pv_dataset = &$input;
debug_assert!(
_pv_dataset.len() > 0,
"Contract streaming_data_loader: precondition violated — dataset.len() > 0"
);
}};
}
macro_rules! contract_post_streaming_data_loader {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_streaming_data_loader {
($input:expr, $body:expr) => {{
contract_pre_streaming_data_loader!($input);
let _contract_result = $body;
contract_post_streaming_data_loader!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_alpha_rank_ratio {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_alpha_rank_ratio {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_alpha_rank_ratio {
($input:expr, $body:expr) => {{
contract_pre_alpha_rank_ratio!($input);
let _contract_result = $body;
contract_post_alpha_rank_ratio!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_checkpoint_metadata_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_checkpoint_metadata_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_checkpoint_metadata_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_checkpoint_metadata_roundtrip!($input);
let _contract_result = $body;
contract_post_checkpoint_metadata_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_merge_tensor_shape {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_merge_tensor_shape {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_merge_tensor_shape {
($input:expr, $body:expr) => {{
contract_pre_merge_tensor_shape!($input);
let _contract_result = $body;
contract_post_merge_tensor_shape!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_rank_bounds_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_rank_bounds_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_rank_bounds_safety {
($input:expr, $body:expr) => {{
contract_pre_rank_bounds_safety!($input);
let _contract_result = $body;
contract_post_rank_bounds_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_vram_feasibility {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_vram_feasibility {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_vram_feasibility {
($input:expr, $body:expr) => {{
contract_pre_vram_feasibility!($input);
let _contract_result = $body;
contract_post_vram_feasibility!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_detect_regression {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract detect_regression: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_format_report {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract format_report: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_parse_playbook {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract parse_playbook: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_serialize_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract serialize_roundtrip: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_validate_schema {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract validate_schema: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_dtype_coercion_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_dtype_coercion_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_dtype_coercion_safety {
($input:expr, $body:expr) => {{
contract_pre_dtype_coercion_safety!($input);
let _contract_result = $body;
contract_post_dtype_coercion_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_header_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_header_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_header_integrity {
($input:expr, $body:expr) => {{
contract_pre_header_integrity!($input);
let _contract_result = $body;
contract_post_header_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_magic_byte_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_magic_byte_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_magic_byte_validation {
($input:expr, $body:expr) => {{
contract_pre_magic_byte_validation!($input);
let _contract_result = $body;
contract_post_magic_byte_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_provenance_enforcement {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_provenance_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_provenance_enforcement {
($input:expr, $body:expr) => {{
contract_pre_provenance_enforcement!($input);
let _contract_result = $body;
contract_post_provenance_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_strict_import_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_strict_import_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_strict_import_validation {
($input:expr, $body:expr) => {{
contract_pre_strict_import_validation!($input);
let _contract_result = $body;
contract_post_strict_import_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_truncation_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_truncation_detection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_truncation_detection {
($input:expr, $body:expr) => {{
contract_pre_truncation_detection!($input);
let _contract_result = $body;
contract_post_truncation_detection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_architecture_extraction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_architecture_extraction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_architecture_extraction {
($input:expr, $body:expr) => {{
contract_pre_architecture_extraction!($input);
let _contract_result = $body;
contract_post_architecture_extraction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_jidoka_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_jidoka_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_jidoka_validation {
($input:expr, $body:expr) => {{
contract_pre_jidoka_validation!($input);
let _contract_result = $body;
contract_post_jidoka_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_no_model_ux {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_no_model_ux {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_no_model_ux {
($input:expr, $body:expr) => {{
contract_pre_no_model_ux!($input);
let _contract_result = $body;
contract_post_no_model_ux!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_search_order {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_search_order {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_search_order {
($input:expr, $body:expr) => {{
contract_pre_search_order!($input);
let _contract_result = $body;
contract_post_search_order!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_sort_priority {
() => {{}};
($input:expr) => {{
let _pv_candidates = &$input;
debug_assert!(
_pv_candidates.len() > 0,
"Contract sort_priority: precondition violated — candidates.len() > 0"
);
}};
}
macro_rules! contract_post_sort_priority {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_sort_priority {
($input:expr, $body:expr) => {{
contract_pre_sort_priority!($input);
let _contract_result = $body;
contract_post_sort_priority!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_export_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_model = &$input;
}};
}
macro_rules! contract_post_export_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_export_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_export_roundtrip!($input);
let _contract_result = $body;
contract_post_export_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_import_format_detection {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_import_format_detection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_import_format_detection {
($input:expr, $body:expr) => {{
contract_pre_import_format_detection!($input);
let _contract_result = $body;
contract_post_import_format_detection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_merge_weight_conservation {
() => {{}};
($input:expr) => {{
let _pv_models = &$input;
debug_assert!(
_pv_models.len() >= 2,
"Contract merge_weight_conservation: precondition violated — models.len() >= 2"
);
}};
}
macro_rules! contract_post_merge_weight_conservation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_merge_weight_conservation {
($input:expr, $body:expr) => {{
contract_pre_merge_weight_conservation!($input);
let _contract_result = $body;
contract_post_merge_weight_conservation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_pull_cache_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_pull_cache_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pull_cache_integrity {
($input:expr, $body:expr) => {{
contract_pre_pull_cache_integrity!($input);
let _contract_result = $body;
contract_post_pull_cache_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_quantize_precision_bound {
() => {{}};
($input:expr) => {{
let _pv_model = &$input;
}};
}
macro_rules! contract_post_quantize_precision_bound {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_quantize_precision_bound {
($input:expr, $body:expr) => {{
contract_pre_quantize_precision_bound!($input);
let _contract_result = $body;
contract_post_quantize_precision_bound!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_canary_regression_detection {
() => {{}};
($input:expr) => {{
let _pv_baseline = &$input;
}};
}
macro_rules! contract_post_canary_regression_detection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_canary_regression_detection {
($input:expr, $body:expr) => {{
contract_pre_canary_regression_detection!($input);
let _contract_result = $body;
contract_post_canary_regression_detection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_lint_model_conventions {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_lint_model_conventions {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lint_model_conventions {
($input:expr, $body:expr) => {{
contract_pre_lint_model_conventions!($input);
let _contract_result = $body;
contract_post_lint_model_conventions!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_model_integrity_check {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_model_integrity_check {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_model_integrity_check {
($input:expr, $body:expr) => {{
contract_pre_model_integrity_check!($input);
let _contract_result = $body;
contract_post_model_integrity_check!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_probar_property_tests {
() => {{}};
($input:expr) => {{
let _pv_properties = &$input;
debug_assert!(
_pv_properties.len() > 0,
"Contract probar_property_tests: precondition violated — properties.len() > 0"
);
}};
}
macro_rules! contract_post_probar_property_tests {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_probar_property_tests {
($input:expr, $body:expr) => {{
contract_pre_probar_property_tests!($input);
let _contract_result = $body;
contract_post_probar_property_tests!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_qa_gate_composition {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_qa_gate_composition {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_qa_gate_composition {
($input:expr, $body:expr) => {{
contract_pre_qa_gate_composition!($input);
let _contract_result = $body;
contract_post_qa_gate_composition!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_chat_template_dispatch {
() => {{}};
($input:expr) => {{
let _pv_state = &$input;
}};
}
macro_rules! contract_post_chat_template_dispatch {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_chat_template_dispatch {
($input:expr, $body:expr) => {{
contract_pre_chat_template_dispatch!($input);
let _contract_result = $body;
contract_post_chat_template_dispatch!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_concurrent_inference_isolation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_concurrent_inference_isolation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_concurrent_inference_isolation {
($input:expr, $body:expr) => {{
contract_pre_concurrent_inference_isolation!($input);
let _contract_result = $body;
contract_post_concurrent_inference_isolation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_format_detection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_detection {
($input:expr, $body:expr) => {{
contract_pre_format_detection!($input);
let _contract_result = $body;
contract_post_format_detection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_graceful_shutdown {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_graceful_shutdown {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_graceful_shutdown {
($input:expr, $body:expr) => {{
contract_pre_graceful_shutdown!($input);
let _contract_result = $body;
contract_post_graceful_shutdown!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_request_routing {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_request_routing {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_request_routing {
($input:expr, $body:expr) => {{
contract_pre_request_routing!($input);
let _contract_result = $body;
contract_post_request_routing!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_server_lifecycle {
() => {{}};
($input:expr) => {{
let _pv_config = &$input;
}};
}
macro_rules! contract_post_server_lifecycle {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_server_lifecycle {
($input:expr, $body:expr) => {{
contract_pre_server_lifecycle!($input);
let _contract_result = $body;
contract_post_server_lifecycle!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_gpu_utilization_gate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_parity_ratio {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_arch_constraint_lookup {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract arch_constraint_lookup: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_constraint_matrix_exhaustiveness {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract constraint_matrix_exhaustiveness: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_role_mapping {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract role_mapping: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_weight_completeness {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract weight_completeness: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_ar_forecast {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ar_forecast: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ar_forecast: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_differencing {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract differencing: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract differencing: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_forecast_finite {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract forecast_finite: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract forecast_finite: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_ma_filter {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ma_filter: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ma_filter: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_cancellation_safe {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_cancellation_safe {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_cancellation_safe {
($input:expr, $body:expr) => {{
contract_pre_cancellation_safe!($input);
let _contract_result = $body;
contract_post_cancellation_safe!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_channel_lossless {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_channel_lossless {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_channel_lossless {
($input:expr, $body:expr) => {{
contract_pre_channel_lossless!($input);
let _contract_result = $body;
contract_post_channel_lossless!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_structured_spawn {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_structured_spawn {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_structured_spawn {
($input:expr, $body:expr) => {{
contract_pre_structured_spawn!($input);
let _contract_result = $body;
contract_post_structured_spawn!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_extract_heads {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract extract_heads: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_post_extract_heads {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_extract_heads {
($input:expr, $body:expr) => {{
contract_pre_extract_heads!($input);
let _contract_result = $body;
contract_post_extract_heads!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_attention {
() => {{}};
($input:expr) => {{
let _pv_query = &$input;
debug_assert!(
_pv_query.len() > 0,
"Contract attention: precondition violated — query.len() > 0"
);
}};
}
macro_rules! contract_post_attention {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract attention: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_attention {
($input:expr, $body:expr) => {{
contract_pre_attention!($input);
let _contract_result = $body;
contract_post_attention!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_rmsnorm {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_rope_rotation {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() % 2 == 0,
"Contract rope_rotation: precondition violated — x.len() % 2 == 0"
);
}};
}
macro_rules! contract_pre_scaled_dot_product {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_attention_entropy {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract attention_entropy: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_numerical_stability {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract numerical_stability: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_scaled_dot_product {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract scaled_dot_product: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_score_bound_with_qknorm {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract score_bound_with_qknorm: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract score_bound_with_qknorm: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_softmax_saturation {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract softmax_saturation: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract softmax_saturation: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_variance_preservation {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract variance_preservation: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_dot_product {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract dot_product: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_fma_accumulation {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract fma_accumulation: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_garbage_oracle {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract garbage_oracle: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract garbage_oracle: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gpu_threshold {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract gpu_threshold: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract gpu_threshold: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_qk_norm_score_bound {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract qk_norm_score_bound: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract qk_norm_score_bound: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_simd_only_threshold {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract simd_only_threshold: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract simd_only_threshold: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_batch_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract batch_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_gradient_accumulation {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract gradient_accumulation: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_gradient_clipping {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract gradient_clipping: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_batched_beam_projection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract batched_beam_projection: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_beam_selection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract beam_selection: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_sequential_beam_projection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract sequential_beam_projection: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_termination {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract termination: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_batchnorm_eval {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract batchnorm_eval: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract batchnorm_eval: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_batchnorm_train {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract batchnorm_train: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract batchnorm_train: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_running_stats {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract running_stats: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract running_stats: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_blr_predict {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract blr_predict: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract blr_predict: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_conjugate_update {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract conjugate_update: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract conjugate_update: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_posterior_predictive {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract posterior_predictive: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract posterior_predictive: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_posterior_valid {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract posterior_valid: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract posterior_valid: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_bm25_ranking {
() => {{}};
($input:expr) => {{
let _pv_0 = &$input;
}};
}
macro_rules! contract_pre_index_insert_retrieve {
() => {{}};
($input:expr) => {{
let _pv_doc = &$input;
}};
}
macro_rules! contract_pre_robots_compliance {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_tokenize_normalization {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tokenize_normalization {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tokenize_normalization {
($input:expr, $body:expr) => {{
contract_pre_tokenize_normalization!($input);
let _contract_result = $body;
contract_post_tokenize_normalization!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_bias_add {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bias_add: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract bias_add: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_bidirectional_attention {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract bidirectional_attention: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_composite_hash {
() => {{}};
($input:expr) => {{
let _pv_parts = &$input;
debug_assert!(
_pv_parts.len() > 0,
"Contract composite_hash: precondition violated — parts.len() > 0"
);
}};
}
macro_rules! contract_pre_hash_file {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_hash_string {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
!_pv_input.is_empty(),
"Contract hash_string: precondition violated — !input.is_empty()"
);
debug_assert!(
_pv_input.len() <= 1_073_741_824,
"Contract hash_string: precondition violated — input.len() <= 1_073_741_824"
);
}};
}
macro_rules! contract_pre_decode {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract decode: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_encode {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract encode: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_merge_rule {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract merge_rule: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_builder_pattern {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_builder_pattern {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_builder_pattern {
($input:expr, $body:expr) => {{
contract_pre_builder_pattern!($input);
let _contract_result = $body;
contract_post_builder_pattern!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_build {
() => {{}};
($input:expr) => {{
let _pv_builder = &$input;
}};
}
macro_rules! contract_pre_expected_calibration_error {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract expected_calibration_error: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract expected_calibration_error: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_isotonic_regression {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract isotonic_regression: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract isotonic_regression: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_maximum_calibration_error {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract maximum_calibration_error: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract maximum_calibration_error: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_platt_scaling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract platt_scaling: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract platt_scaling: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_reliability_diagram {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract reliability_diagram: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract reliability_diagram: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_domain_loss {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_domain_throughput {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_schema_completeness {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_parity_gate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_throughput_gate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_vram_gate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_appstate_architecture_cache {
() => {{}};
($input:expr) => {{
let _pv_quantized_model = &$input;
}};
}
macro_rules! contract_post_appstate_architecture_cache {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_appstate_architecture_cache {
($input:expr, $body:expr) => {{
contract_pre_appstate_architecture_cache!($input);
let _contract_result = $body;
contract_post_appstate_architecture_cache!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_architecture_aware_selection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_architecture_aware_selection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_architecture_aware_selection {
($input:expr, $body:expr) => {{
contract_pre_architecture_aware_selection!($input);
let _contract_result = $body;
contract_post_architecture_aware_selection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_conversation_determinism {
() => {{}};
($input:expr) => {{
let _pv_messages = &$input;
debug_assert!(_pv_messages.len() >= 0,
"Contract format_conversation_determinism: precondition violated — messages.len() >= 0");
}};
}
macro_rules! contract_post_format_conversation_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_conversation_determinism {
($input:expr, $body:expr) => {{
contract_pre_format_conversation_determinism!($input);
let _contract_result = $body;
contract_post_format_conversation_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_thinking_block_suppression {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_thinking_block_suppression {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_thinking_block_suppression {
($input:expr, $body:expr) => {{
contract_pre_thinking_block_suppression!($input);
let _contract_result = $body;
contract_post_thinking_block_suppression!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_trait_completeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_trait_completeness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_trait_completeness {
($input:expr, $body:expr) => {{
contract_pre_trait_completeness!($input);
let _contract_result = $body;
contract_post_trait_completeness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_classifier_weight_shape {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract classifier_weight_shape: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_label_bounds {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract label_bounds: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_logit_shape {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract logit_shape: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_softmax_sum {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract softmax_sum: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract softmax_sum: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_embedding_extraction {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract embedding_extraction: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_evaluation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_linear_probe {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_duplicate_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_outlier_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_scan_completeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_dispatch_completeness {
() => {{}};
($input:expr) => {{
let _pv_args = &$input;
}};
}
macro_rules! contract_pre_exit_code_semantics {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_feature_gated_dispatch {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_feature_gated_dispatch {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_feature_gated_dispatch {
($input:expr, $body:expr) => {{
contract_pre_feature_gated_dispatch!($input);
let _contract_result = $body;
contract_post_feature_gated_dispatch!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_idempotent_inspection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_output_format_fidelity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_exit_code_semantics {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_exit_code_semantics {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_exit_code_semantics {
($input:expr, $body:expr) => {{
contract_pre_exit_code_semantics!($input);
let _contract_result = $body;
contract_post_exit_code_semantics!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_output_format_fidelity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_output_format_fidelity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_output_format_fidelity {
($input:expr, $body:expr) => {{
contract_pre_output_format_fidelity!($input);
let _contract_result = $body;
contract_post_output_format_fidelity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_result_cardinality {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_result_cardinality {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_result_cardinality {
($input:expr, $body:expr) => {{
contract_pre_result_cardinality!($input);
let _contract_result = $body;
contract_post_result_cardinality!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_timeout_honoring {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_timeout_honoring {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_timeout_honoring {
($input:expr, $body:expr) => {{
contract_pre_timeout_honoring!($input);
let _contract_result = $body;
contract_post_timeout_honoring!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_exit_code_dispatch {
() => {{}};
($input:expr) => {{
let _pv_args = &$input;
debug_assert!(
_pv_args.len() >= 2,
"Contract exit_code_dispatch: precondition violated — args.len() >= 2"
);
debug_assert!(
_pv_args[0] == "lint",
"Contract exit_code_dispatch: precondition violated — args[0] == \"lint\""
);
}};
}
macro_rules! contract_pre_finding_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_output_format_validity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_severity_ordering {
() => {{}};
($input:expr) => {{
let _pv_diagnostics = &$input;
debug_assert!(
_pv_diagnostics.len() >= 0,
"Contract severity_ordering: precondition violated — diagnostics.len() >= 0"
);
}};
}
macro_rules! contract_pre_dispatch_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_index_freshness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_rag_query_correctness {
() => {{}};
($input:expr) => {{
let _pv_query = &$input;
debug_assert!(
_pv_query.len() > 0,
"Contract rag_query_correctness: precondition violated — query.len() > 0"
);
}};
}
macro_rules! contract_pre_exit_code_dispatch {
() => {{}};
($input:expr) => {{
let _pv_args = &$input;
debug_assert!(
_pv_args.len() >= 2,
"Contract exit_code_dispatch: precondition violated — args.len() >= 2"
);
debug_assert!(
_pv_args[0] == "transpile",
"Contract exit_code_dispatch: precondition violated — args[0] == \"transpile\""
);
}};
}
macro_rules! contract_pre_input_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_output_validity {
() => {{}};
($input:expr) => {{
let _pv_rust_source = &$input;
debug_assert!(
!_pv_rust_source.is_empty(),
"Contract output_validity: precondition violated — !rust_source.is_empty()"
);
debug_assert!(
_pv_rust_source.len() <= 10_000_000,
"Contract output_validity: precondition violated — rust_source.len() <= 10_000_000"
);
}};
}
macro_rules! contract_pre_transpilation_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_covariance_update {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract covariance_update: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_mean_update {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract mean_update: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_sample {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract sample: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_tokenizer_adequacy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract tokenizer_adequacy: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_apply_script {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_check_script {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_state_query_script {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_insert_get_consistency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_query_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_wasm_parity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_aggregate_score {
() => {{}};
($input:expr) => {{
let _pv_checks = &$input;
debug_assert!(
_pv_checks.len() > 0,
"Contract aggregate_score: precondition violated — checks.len() > 0"
);
}};
}
macro_rules! contract_post_aggregate_score {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_aggregate_score {
($input:expr, $body:expr) => {{
contract_pre_aggregate_score!($input);
let _contract_result = $body;
contract_post_aggregate_score!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_run_checks {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_run_checks {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_run_checks {
($input:expr, $body:expr) => {{
contract_pre_run_checks!($input);
let _contract_result = $body;
contract_post_run_checks!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_batch_correctness {
() => {{}};
($input:expr) => {{
let _pv_B = &$input;
debug_assert!(
_pv_B.len() > 0,
"Contract batch_correctness: precondition violated — B.len() > 0"
);
}};
}
macro_rules! contract_pre_roundtrip_identity {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
!_pv_data.is_empty(),
"Contract roundtrip_identity: precondition violated — !data.is_empty()"
);
}};
}
macro_rules! contract_pre_simd_scalar_parity {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
_pv_data.len() > 0,
"Contract simd_scalar_parity: precondition violated — data.len() > 0"
);
}};
}
macro_rules! contract_pre_compression_ratio {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
_pv_data.len() > 0,
"Contract compression_ratio: precondition violated — data.len() > 0"
);
}};
}
macro_rules! contract_pre_page_state {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_roundtrip_identity {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
_pv_data.len() > 0,
"Contract roundtrip_identity: precondition violated — data.len() > 0"
);
}};
}
macro_rules! contract_pre_lz4_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_lz4_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lz4_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_lz4_roundtrip!($input);
let _contract_result = $body;
contract_post_lz4_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_sqlite_migration {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_sqlite_migration {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_sqlite_migration {
($input:expr, $body:expr) => {{
contract_pre_sqlite_migration!($input);
let _contract_result = $body;
contract_post_sqlite_migration!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_backend_dispatch_complete {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_backend_dispatch_complete {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_backend_dispatch_complete {
($input:expr, $body:expr) => {{
contract_pre_backend_dispatch_complete!($input);
let _contract_result = $body;
contract_post_backend_dispatch_complete!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_gpu_cpu_parity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_gpu_cpu_parity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_gpu_cpu_parity {
($input:expr, $body:expr) => {{
contract_pre_gpu_cpu_parity!($input);
let _contract_result = $body;
contract_post_gpu_cpu_parity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_simd_scalar_parity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_simd_scalar_parity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_simd_scalar_parity {
($input:expr, $body:expr) => {{
contract_pre_simd_scalar_parity!($input);
let _contract_result = $body;
contract_post_simd_scalar_parity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_channel_lossless {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_channel_lossless {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_channel_lossless {
($input:expr, $body:expr) => {{
contract_pre_channel_lossless!($input);
let _contract_result = $body;
contract_post_channel_lossless!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_parallel_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_parallel_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_parallel_determinism {
($input:expr, $body:expr) => {{
contract_pre_parallel_determinism!($input);
let _contract_result = $body;
contract_post_parallel_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_task_cancellation_cleanup {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_task_cancellation_cleanup {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_task_cancellation_cleanup {
($input:expr, $body:expr) => {{
contract_pre_task_cancellation_cleanup!($input);
let _contract_result = $body;
contract_post_task_cancellation_cleanup!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_threshold_invariants {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_threshold_invariants {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_threshold_invariants {
($input:expr, $body:expr) => {{
contract_pre_threshold_invariants!($input);
let _contract_result = $body;
contract_post_threshold_invariants!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_unknown_key_rejection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_unknown_key_rejection {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_unknown_key_rejection {
($input:expr, $body:expr) => {{
contract_pre_unknown_key_rejection!($input);
let _contract_result = $body;
contract_post_unknown_key_rejection!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_configuration {
() => {{}};
($input:expr) => {{
let _pv_path = &$input;
}};
}
macro_rules! contract_post_configuration {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_configuration {
($input:expr, $body:expr) => {{
contract_pre_configuration!($input);
let _contract_result = $body;
contract_post_configuration!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_bfs {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_connect {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_index {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_size {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_insert {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_query {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_config {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_generate_context {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_generate_context {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_generate_context {
($input:expr, $body:expr) => {{
contract_pre_generate_context!($input);
let _contract_result = $body;
contract_post_generate_context!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_index_persistence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_index_persistence {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_index_persistence {
($input:expr, $body:expr) => {{
contract_pre_index_persistence!($input);
let _contract_result = $body;
contract_post_index_persistence!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_chunked_prefill {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_correctness_under_batching {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_decode_degradation {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract decode_degradation: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_request_state {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_scheduling_fairness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_throughput_scaling {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_token_budget {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract token_budget: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_conv1d {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract conv1d: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_chatml_format {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract chatml_format: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_conversation_types {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract conversation_types: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_quality_gate {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract quality_gate: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_block_reuse {
() => {{}};
($input:expr) => {{
let _pv_old_idx = &$input;
}};
}
macro_rules! contract_pre_delta_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_identity_sync {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_transfer_minimality {
() => {{}};
($input:expr) => {{
let _pv_delta = &$input;
}};
}
macro_rules! contract_pre_class_to_struct {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_class_to_struct {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_class_to_struct {
($input:expr, $body:expr) => {{
contract_pre_class_to_struct!($input);
let _contract_result = $body;
contract_post_class_to_struct!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_inheritance_to_composition {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_inheritance_to_composition {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_inheritance_to_composition {
($input:expr, $body:expr) => {{
contract_pre_inheritance_to_composition!($input);
let _contract_result = $body;
contract_post_inheritance_to_composition!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_namespace_to_mod {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_namespace_to_mod {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_namespace_to_mod {
($input:expr, $body:expr) => {{
contract_pre_namespace_to_mod!($input);
let _contract_result = $body;
contract_post_namespace_to_mod!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_operator_to_trait {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_operator_to_trait {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_operator_to_trait {
($input:expr, $body:expr) => {{
contract_pre_operator_to_trait!($input);
let _contract_result = $body;
contract_post_operator_to_trait!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_current_path {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract current_path: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract current_path: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_speedup_bound {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract speedup_bound: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract speedup_bound: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_target_path {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract target_path: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract target_path: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_l1_tiling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract l1_tiling: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract l1_tiling: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_rayon_overhead {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract rayon_overhead: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract rayon_overhead: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_cross_entropy {
() => {{}};
($input:expr) => {{
let _pv_logits = &$input;
debug_assert!(
_pv_logits.len() > 0,
"Contract cross_entropy: precondition violated — logits.len() > 0"
);
debug_assert!(
_pv_logits.iter().all(|v| v.is_finite()),
"Contract cross_entropy: precondition violated — logits.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_cross_entropy {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.is_finite(),
"Contract cross_entropy: postcondition violated — result.is_finite()"
);
debug_assert!(
*_contract_result >= 0.0,
"Contract cross_entropy: postcondition violated — result >= 0.0"
);
}};
}
macro_rules! contract_cross_entropy {
($input:expr, $body:expr) => {{
contract_pre_cross_entropy!($input);
let _contract_result = $body;
contract_post_cross_entropy!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_log_softmax {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract log_softmax: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract log_softmax: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_device_dispatch {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_gpu_forward {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_weight_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_weights = &$input;
debug_assert!(
_pv_weights.len() > 0,
"Contract weight_roundtrip: precondition violated — weights.len() > 0"
);
}};
}
macro_rules! contract_pre_host_transpilation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_host_transpilation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_host_transpilation {
($input:expr, $body:expr) => {{
contract_pre_host_transpilation!($input);
let _contract_result = $body;
contract_post_host_transpilation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_kernel_ffi {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_kernel_ffi {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_kernel_ffi {
($input:expr, $body:expr) => {{
contract_pre_kernel_ffi!($input);
let _contract_result = $body;
contract_post_kernel_ffi!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_qualifier_preservation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_qualifier_preservation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_qualifier_preservation {
($input:expr, $body:expr) => {{
contract_pre_qualifier_preservation!($input);
let _contract_result = $body;
contract_post_qualifier_preservation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_kahn_sort {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_topological_sort {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_config_validity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_serialize_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_include_resolution {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_transpile_dispatch {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_type_preservation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_gini_impurity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract gini_impurity: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract gini_impurity: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gini_split {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract gini_split: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract gini_split: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_mse_split {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract mse_split: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract mse_split: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_prediction {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract prediction: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract prediction: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_delta_computation {
() => {{}};
($input:expr) => {{
let _pv_signature = &$input;
}};
}
macro_rules! contract_pre_patch_apply {
() => {{}};
($input:expr) => {{
let _pv_delta = &$input;
}};
}
macro_rules! contract_pre_rolling_checksum {
() => {{}};
($input:expr) => {{
let _pv_window = &$input;
}};
}
macro_rules! contract_pre_display_format {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_display_format {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_display_format {
($input:expr, $body:expr) => {{
contract_pre_display_format!($input);
let _contract_result = $body;
contract_post_display_format!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_render {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_render {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_render {
($input:expr, $body:expr) => {{
contract_pre_render!($input);
let _contract_result = $body;
contract_post_render!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_gradient_allreduce {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract gradient_allreduce: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_lora_gradient_size {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract lora_gradient_size: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract lora_gradient_size: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_sharding {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract sharding: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract sharding: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_swiglu_ffn {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_ffn: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract swiglu_ffn: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_weighted_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract weighted_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_build_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_distribution_delivery {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_dpo_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract dpo_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_implicit_reward {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract implicit_reward: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_log_ratio {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract log_ratio: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_classify_drift {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_min_samples_guard {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract min_samples_guard: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_performance_drift {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract performance_drift: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_univariate_drift {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract univariate_drift: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_dropout_eval {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract dropout_eval: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract dropout_eval: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_dropout_train {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract dropout_train: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract dropout_train: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_embedding_lookup {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract embedding_lookup: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_embedding_norm {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract embedding_norm: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract embedding_norm: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_logit_temperature {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract logit_temperature: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_tied_weights {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract tied_weights: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_unembedding_projection {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract unembedding_projection: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_vocabulary_bounds {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract vocabulary_bounds: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_embedding_lookup {
() => {{}};
($input:expr) => {{
let _pv_token_ids = &$input;
}};
}
macro_rules! contract_post_embedding_lookup {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(_contract_result.iter().all(|v| v.is_finite()), "Contract embedding_lookup: postcondition violated — result.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_embedding_lookup {
($input:expr, $body:expr) => {{
contract_pre_embedding_lookup!($input);
let _contract_result = $body;
contract_post_embedding_lookup!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_cls_pooling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract cls_pooling: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_encoder_layer {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract encoder_layer: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_emit_posix {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
debug_assert!(
!_contract_input.is_empty(),
"Contract emit_posix: precondition violated — !input.is_empty()"
);
}};
}
macro_rules! contract_pre_emit_purified {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
debug_assert!(
!_contract_input.is_empty(),
"Contract emit_purified: precondition violated — !input.is_empty()"
);
}};
}
macro_rules! contract_pre_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
debug_assert!(
!_contract_input.is_empty(),
"Contract roundtrip: precondition violated — !input.is_empty()"
);
}};
}
macro_rules! contract_pre_decode {
() => {{}};
($input:expr) => {{
let _pv_bitstream = &$input;
debug_assert!(
_pv_bitstream.len() > 0,
"Contract decode: precondition violated — bitstream.len() > 0"
);
}};
}
macro_rules! contract_pre_encode {
() => {{}};
($input:expr) => {{
let _pv_frame = &$input;
}};
}
macro_rules! contract_pre_encoder_resolution {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_send {
() => {{}};
($input:expr) => {{
let _pv_conn = &$input;
debug_assert!(
_pv_conn.is_active(),
"Contract send: precondition violated — conn.is_active()"
);
}};
}
macro_rules! contract_pre_send_error_propagation {
() => {{}};
($input:expr) => {{
let _pv_send_result = &$input;
debug_assert!(
_pv_send_result.is_err(),
"Contract send_error_propagation: precondition violated — send_result.is_err()"
);
}};
}
macro_rules! contract_pre_error_handling {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_error_handling {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_error_handling {
($input:expr, $body:expr) => {{
contract_pre_error_handling!($input);
let _contract_result = $body;
contract_post_error_handling!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_action_ordering {
() => {{}};
($input:expr) => {{
let _pv_rule = &$input;
}};
}
macro_rules! contract_pre_cooldown_deduplication {
() => {{}};
($input:expr) => {{
let _pv_rule = &$input;
}};
}
macro_rules! contract_pre_trigger_dispatch_completeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_atomic_write {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_jidoka_stop {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_f16_to_f32_bias {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract f16_to_f32_bias: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract roundtrip: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_flash_attention {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract flash_attention: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_element_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract element_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_identity_1d {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract identity_1d: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract identity_1d: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_name_bijection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract name_bijection: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_transpose_involution {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract transpose_involution: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_e4m3_encode {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract e4m3_encode: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_e5m2_encode {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract e5m2_encode: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract roundtrip: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_fused_qkv {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract fused_qkv: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_separate_qkv {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract separate_qkv: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_shared_q8_qkv {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract shared_q8_qkv: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_decay {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract decay: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract decay: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_delta {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract delta: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract delta: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_output {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract output: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract output: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_read {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract read: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract read: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_write {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract write: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract write: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gradient_boost {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract gradient_boost: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract gradient_boost: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_negative_gradient {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract negative_gradient: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract negative_gradient: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_predict {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract predict: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract predict: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_training_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract training_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_gelu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract gelu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract gelu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_gelu_tanh_approx {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract gelu_tanh_approx: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract gelu_tanh_approx: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_backward_a_gemm {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract backward_a_gemm: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_backward_b_gemm {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract backward_b_gemm: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_shared_memory_per_tile {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract shared_memory_per_tile: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_tiled_gemm_arithmetic_intensity {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract tiled_gemm_arithmetic_intensity: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_unrolled_instruction_ratio {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract unrolled_instruction_ratio: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_autoregressive_generation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_alignment_enforcement {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_alignment_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_alignment_enforcement {
($input:expr, $body:expr) => {{
contract_pre_alignment_enforcement!($input);
let _contract_result = $body;
contract_post_alignment_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_magic_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_magic_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_magic_validation {
($input:expr, $body:expr) => {{
contract_pre_magic_validation!($input);
let _contract_result = $body;
contract_post_magic_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_metadata_kv_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_metadata_kv_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_metadata_kv_safety {
($input:expr, $body:expr) => {{
contract_pre_metadata_kv_safety!($input);
let _contract_result = $body;
contract_post_metadata_kv_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tensor_metadata_integrity {
() => {{}};
($input:expr) => {{
let _pv_header = &$input;
}};
}
macro_rules! contract_post_tensor_metadata_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tensor_metadata_integrity {
($input:expr, $body:expr) => {{
contract_pre_tensor_metadata_integrity!($input);
let _contract_result = $body;
contract_post_tensor_metadata_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_version_compatibility {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_version_compatibility {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_version_compatibility {
($input:expr, $body:expr) => {{
contract_pre_version_compatibility!($input);
let _contract_result = $body;
contract_post_version_compatibility!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_binomial_link {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract binomial_link: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract binomial_link: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gamma_link {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract gamma_link: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract gamma_link: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_irls_fit {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract irls_fit: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract irls_fit: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_poisson_link {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract poisson_link: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract poisson_link: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gcn_aggregate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_global_max_pool {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_global_mean_pool {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_message_passing {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_adaptive_sampling {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_trace_capture {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_trace_validate {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_context_health {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract context_health: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_cuda_graph_guard {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_culink_skip {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract culink_skip: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_fp8_architecture_guard {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract fp8_architecture_guard: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_decode_audio {
() => {{}};
($input:expr) => {{
let _pv_packet = &$input;
}};
}
macro_rules! contract_pre_decode_video {
() => {{}};
($input:expr) => {{
let _pv_packet = &$input;
}};
}
macro_rules! contract_pre_brick_ordering {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract brick_ordering: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_graph_disable {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract graph_disable: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_report_completeness {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract report_completeness: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_report_denominator {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract report_denominator: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_report_fidelity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract report_fidelity: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_report_metadata {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract report_metadata: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_sync_verification {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract sync_verification: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_token_accounting {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract token_accounting: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_wall_coverage {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract wall_coverage: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_backend_priority {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract backend_priority: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_bandwidth_bound_theorem {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bandwidth_bound_theorem: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_jit_compilation_correctness {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract jit_compilation_correctness: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_multi_backend_parity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract multi_backend_parity: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_pcie_overhead {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract pcie_overhead: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_target {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_target: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_gqa {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract gqa: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_betweenness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_closeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_degree {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_eigenvector {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_harmonic {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_katz {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_bm25_scoring {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_bm25_scoring {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_bm25_scoring {
($input:expr, $body:expr) => {{
contract_pre_bm25_scoring!($input);
let _contract_result = $body;
contract_post_bm25_scoring!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_csr_construction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_csr_construction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_csr_construction {
($input:expr, $body:expr) => {{
contract_pre_csr_construction!($input);
let _contract_result = $body;
contract_post_csr_construction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_fts5_consistency {
() => {{}};
($input:expr) => {{
let _pv_doc = &$input;
}};
}
macro_rules! contract_post_fts5_consistency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_fts5_consistency {
($input:expr, $body:expr) => {{
contract_pre_fts5_consistency!($input);
let _contract_result = $body;
contract_post_fts5_consistency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_pagerank_convergence {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_pagerank_convergence {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pagerank_convergence {
($input:expr, $body:expr) => {{
contract_pre_pagerank_convergence!($input);
let _contract_result = $body;
contract_post_pagerank_convergence!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_sqlite_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_sqlite_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_sqlite_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_sqlite_roundtrip!($input);
let _contract_result = $body;
contract_post_sqlite_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_bfs_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_pagerank_convergence {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_cors_negotiation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_cors_negotiation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_cors_negotiation {
($input:expr, $body:expr) => {{
contract_pre_cors_negotiation!($input);
let _contract_result = $body;
contract_post_cors_negotiation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_error_envelope_preservation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_error_envelope_preservation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_error_envelope_preservation {
($input:expr, $body:expr) => {{
contract_pre_error_envelope_preservation!($input);
let _contract_result = $body;
contract_post_error_envelope_preservation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_request_response_schema {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_request_response_schema {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_request_response_schema {
($input:expr, $body:expr) => {{
contract_pre_request_response_schema!($input);
let _contract_result = $body;
contract_post_request_response_schema!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_timeout_honoring {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_timeout_honoring {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_timeout_honoring {
($input:expr, $body:expr) => {{
contract_pre_timeout_honoring!($input);
let _contract_result = $body;
contract_post_timeout_honoring!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_body_schema_compliance {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_body_schema_compliance {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_body_schema_compliance {
($input:expr, $body:expr) => {{
contract_pre_body_schema_compliance!($input);
let _contract_result = $body;
contract_post_body_schema_compliance!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_max_tokens_cap {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_max_tokens_cap {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_max_tokens_cap {
($input:expr, $body:expr) => {{
contract_pre_max_tokens_cap!($input);
let _contract_result = $body;
contract_post_max_tokens_cap!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_response_schema {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_response_schema {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_response_schema {
($input:expr, $body:expr) => {{
contract_pre_response_schema!($input);
let _contract_result = $body;
contract_post_response_schema!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_thinking_block_strip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_thinking_block_strip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_thinking_block_strip {
($input:expr, $body:expr) => {{
contract_pre_thinking_block_strip!($input);
let _contract_result = $body;
contract_post_thinking_block_strip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tool_format_fidelity {
() => {{}};
($input:expr) => {{
let _pv_tools = &$input;
debug_assert!(
_pv_tools.len() > 0,
"Contract tool_format_fidelity: precondition violated — tools.len() > 0"
);
}};
}
macro_rules! contract_post_tool_format_fidelity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tool_format_fidelity {
($input:expr, $body:expr) => {{
contract_pre_tool_format_fidelity!($input);
let _contract_result = $body;
contract_post_tool_format_fidelity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_error_propagation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_error_propagation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_error_propagation {
($input:expr, $body:expr) => {{
contract_pre_error_propagation!($input);
let _contract_result = $body;
contract_post_error_propagation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_lru_cache_eviction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_lru_cache_eviction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lru_cache_eviction {
($input:expr, $body:expr) => {{
contract_pre_lru_cache_eviction!($input);
let _contract_result = $body;
contract_post_lru_cache_eviction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_multi_tier_routing {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_multi_tier_routing {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_multi_tier_routing {
($input:expr, $body:expr) => {{
contract_pre_multi_tier_routing!($input);
let _contract_result = $body;
contract_post_multi_tier_routing!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_request_construction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_request_construction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_request_construction {
($input:expr, $body:expr) => {{
contract_pre_request_construction!($input);
let _contract_result = $body;
contract_post_request_construction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_response_parsing {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_response_parsing {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_response_parsing {
($input:expr, $body:expr) => {{
contract_pre_response_parsing!($input);
let _contract_result = $body;
contract_post_response_parsing!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_ssrf_prevention {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_ssrf_prevention {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_ssrf_prevention {
($input:expr, $body:expr) => {{
contract_pre_ssrf_prevention!($input);
let _contract_result = $body;
contract_post_ssrf_prevention!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_url_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_url_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_url_validation {
($input:expr, $body:expr) => {{
contract_pre_url_validation!($input);
let _contract_result = $body;
contract_post_url_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_conv1d_causal {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract conv1d_causal: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_head_grouping {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract head_grouping: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract head_grouping: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_hybrid_dispatch {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract hybrid_dispatch: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract hybrid_dispatch: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_linear_associativity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract linear_associativity: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract linear_associativity: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_linear_no_softmax {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract linear_no_softmax: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract linear_no_softmax: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_linear_shapes {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract linear_shapes: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract linear_shapes: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_fastica {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract fastica: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_mixing {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract mixing: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_unmixing {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract unmixing: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_decode_step {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract decode_step: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_hybrid_layer_schedule {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_kv_cache_growth {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract kv_cache_growth: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_layer_composition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract layer_composition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_prefill_phase {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_residual_stream {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_decode_step {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_prefill_phase {
() => {{}};
($input:expr) => {{
let _pv_tokens = &$input;
debug_assert!(
_pv_tokens.len() > 0,
"Contract prefill_phase: precondition violated — tokens.len() > 0"
);
}};
}
macro_rules! contract_pre_sampling_temperature {
() => {{}};
($input:expr) => {{
let _pv_logits = &$input;
}};
}
macro_rules! contract_pre_dequant_dot {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract dequant_dot: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_per_row_scale {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract per_row_scale: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_quantize {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract quantize: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_iterator {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract iterator: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_fusion_decision_registry {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_fusion_performance {
() => {{}};
($input:expr) => {{
let _pv_benchmark = &$input;
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract identity: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_bsum_budget {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bsum_budget: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_per_layer_decomposition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract per_layer_decomposition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_per_token_launches {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract per_token_launches: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_assignment {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract assignment: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract assignment: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_objective {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract objective: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract objective: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_update {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract update: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract update: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_batched_serial_equivalence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_fused_kernel {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_page_shape {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_prefill_incremental {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_bias_absence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_hybrid_accounting {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_per_token_per_layer {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract per_token_per_layer: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_total_kv_memory {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_zero_input_identity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_cosine_parity_gate {
() => {{}};
($input:expr) => {{
let _pv_cpu_logits = &$input;
debug_assert!(
_pv_cpu_logits.len() > 0,
"Contract cosine_parity_gate: precondition violated — cpu_logits.len() > 0"
);
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_layer_parity {
() => {{}};
($input:expr) => {{
let _pv_cpu_output = &$input;
}};
}
macro_rules! contract_pre_layernorm {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() > 0,
"Contract layernorm: precondition violated — x.len() > 0"
);
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract layernorm: precondition violated — x.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_layernorm {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract layernorm: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_layernorm {
($input:expr, $body:expr) => {{
contract_pre_layernorm!($input);
let _contract_result = $body;
contract_post_layernorm!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_statistics {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract statistics: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract statistics: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_line_search {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract line_search: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_secant_condition {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract secant_condition: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_two_loop_recursion {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract two_loop_recursion: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_position_embedding {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract position_embedding: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_logistic_predict_proba {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract logistic_predict_proba: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract logistic_predict_proba: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_ols_fit {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ols_fit: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ols_fit: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_ols_predict {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ols_predict: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ols_predict: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_r_squared_training {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract r_squared_training: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract r_squared_training: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_linear_probe {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract linear_probe: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_linear_forward {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract linear_forward: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_linear_no_bias {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract linear_no_bias: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_dare_unbiased {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract dare_unbiased: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract dare_unbiased: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_eckart_young {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract eckart_young: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract eckart_young: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_lora_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract lora_shape: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract lora_shape: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_shape_preservation {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract shape_preservation: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract shape_preservation: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_task_vector {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract task_vector: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract task_vector: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_lora_forward {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_lora_forward {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lora_forward {
($input:expr, $body:expr) => {{
contract_pre_lora_forward!($input);
let _contract_result = $body;
contract_post_lora_forward!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_bce {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract bce: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_huber {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract huber: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_l1_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract l1_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_mse_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract mse_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_nll {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract nll: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_smooth_l1 {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract smooth_l1: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_matmul {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
}};
}
macro_rules! contract_post_matmul {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract matmul: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_matmul {
($input:expr, $body:expr) => {{
contract_pre_matmul!($input);
let _contract_result = $body;
contract_post_matmul!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_quantized_dot {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract quantized_dot: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_batch_request_ordering {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_batch_request_ordering {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_batch_request_ordering {
($input:expr, $body:expr) => {{
contract_pre_batch_request_ordering!($input);
let _contract_result = $body;
contract_post_batch_request_ordering!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_cancellation_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_cancellation_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_cancellation_safety {
($input:expr, $body:expr) => {{
contract_pre_cancellation_safety!($input);
let _contract_result = $body;
contract_post_cancellation_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_error_code_mapping {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_error_code_mapping {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_error_code_mapping {
($input:expr, $body:expr) => {{
contract_pre_error_code_mapping!($input);
let _contract_result = $body;
contract_post_error_code_mapping!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_jsonrpc_framing {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_jsonrpc_framing {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_jsonrpc_framing {
($input:expr, $body:expr) => {{
contract_pre_jsonrpc_framing!($input);
let _contract_result = $body;
contract_post_jsonrpc_framing!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_payload_limits {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_payload_limits {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_payload_limits {
($input:expr, $body:expr) => {{
contract_pre_payload_limits!($input);
let _contract_result = $body;
contract_post_payload_limits!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_protocol_version_negotiation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_protocol_version_negotiation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_protocol_version_negotiation {
($input:expr, $body:expr) => {{
contract_pre_protocol_version_negotiation!($input);
let _contract_result = $body;
contract_post_protocol_version_negotiation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_session_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_session_lifecycle {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_session_lifecycle {
($input:expr, $body:expr) => {{
contract_pre_session_lifecycle!($input);
let _contract_result = $body;
contract_post_session_lifecycle!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tool_dispatch_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tool_dispatch_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tool_dispatch_integrity {
($input:expr, $body:expr) => {{
contract_pre_tool_dispatch_integrity!($input);
let _contract_result = $body;
contract_post_tool_dispatch_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_transport_abstraction {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_transport_abstraction {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_transport_abstraction {
($input:expr, $body:expr) => {{
contract_pre_transport_abstraction!($input);
let _contract_result = $body;
contract_post_transport_abstraction!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_error_mapping_lossless {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_error_mapping_lossless {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_error_mapping_lossless {
($input:expr, $body:expr) => {{
contract_pre_error_mapping_lossless!($input);
let _contract_result = $body;
contract_post_error_mapping_lossless!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_idempotency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_idempotency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_idempotency {
($input:expr, $body:expr) => {{
contract_pre_idempotency!($input);
let _contract_result = $body;
contract_post_idempotency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_session_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_session_lifecycle {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_session_lifecycle {
($input:expr, $body:expr) => {{
contract_pre_session_lifecycle!($input);
let _contract_result = $body;
contract_post_session_lifecycle!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tool_schema_fidelity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tool_schema_fidelity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tool_schema_fidelity {
($input:expr, $body:expr) => {{
contract_pre_tool_schema_fidelity!($input);
let _contract_result = $body;
contract_post_tool_schema_fidelity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_error_mapping {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_idempotency_classification {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_session_state_machine {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_tool_schema_fidelity {
() => {{}};
($input:expr) => {{
let _pv_tool = &$input;
}};
}
macro_rules! contract_pre_codec_dispatch {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_encode_decode_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_frame_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_bounds_safety {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bounds_safety: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_drop_safety {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract drop_safety: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_escape_analysis {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract escape_analysis: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_lifetime_safety {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract lifetime_safety: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_ownership_invariant {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ownership_invariant: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_use_after_move {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract use_after_move: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_arena_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_arena_lifecycle {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_arena_lifecycle {
($input:expr, $body:expr) => {{
contract_pre_arena_lifecycle!($input);
let _contract_result = $body;
contract_post_arena_lifecycle!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_index_memory_budget {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_index_memory_budget {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_index_memory_budget {
($input:expr, $body:expr) => {{
contract_pre_index_memory_budget!($input);
let _contract_result = $body;
contract_post_index_memory_budget!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_lru_eviction_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_lru_eviction_correctness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lru_eviction_correctness {
($input:expr, $body:expr) => {{
contract_pre_lru_eviction_correctness!($input);
let _contract_result = $body;
contract_post_lru_eviction_correctness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_best_monotone {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract best_monotone: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_ga_crossover {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract ga_crossover: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_pso_velocity {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract pso_velocity: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_sa_acceptance {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract sa_acceptance: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_accuracy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract accuracy: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract accuracy: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_confusion_matrix {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract confusion_matrix: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract confusion_matrix: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_f1_score {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract f1_score: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract f1_score: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_precision {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract precision: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract precision: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_recall {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract recall: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract recall: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_inertia {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_silhouette_coefficient {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_silhouette_score {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_hit_at_k {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract hit_at_k: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_mrr {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract mrr: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_ndcg_at_k {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ndcg_at_k: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_reciprocal_rank {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract reciprocal_rank: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_mae {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract mae: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_mse {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract mse: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract mse: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_r_squared {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract r_squared: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract r_squared: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_rmse {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract rmse: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract rmse: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_bounds {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bounds: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_cross_constraint {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract cross_constraint: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_divisibility {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract divisibility: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_non_degeneracy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract non_degeneracy: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_ordering {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ordering: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_apr_tokenizer_embedding {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_apr_tokenizer_embedding {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_apr_tokenizer_embedding {
($input:expr, $body:expr) => {{
contract_pre_apr_tokenizer_embedding!($input);
let _contract_result = $body;
contract_post_apr_tokenizer_embedding!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_export_fidelity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_export_fidelity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_export_fidelity {
($input:expr, $body:expr) => {{
contract_pre_export_fidelity!($input);
let _contract_result = $body;
contract_post_export_fidelity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_conversion_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_format_conversion_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_conversion_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_format_conversion_roundtrip!($input);
let _contract_result = $body;
contract_post_format_conversion_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_import_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_import_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_import_integrity {
($input:expr, $body:expr) => {{
contract_pre_import_integrity!($input);
let _contract_result = $body;
contract_post_import_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_merge_weight_algebra {
() => {{}};
($input:expr) => {{
let _pv_models = &$input;
debug_assert!(
_pv_models.len() >= 2,
"Contract merge_weight_algebra: precondition violated — models.len() >= 2"
);
}};
}
macro_rules! contract_post_merge_weight_algebra {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_merge_weight_algebra {
($input:expr, $body:expr) => {{
contract_pre_merge_weight_algebra!($input);
let _contract_result = $body;
contract_post_merge_weight_algebra!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_quantization_bounds {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_quantization_bounds {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_quantization_bounds {
($input:expr, $body:expr) => {{
contract_pre_quantization_bounds!($input);
let _contract_result = $body;
contract_post_quantization_bounds!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_config_bounds_check {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract config_bounds_check: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_grade_assignment {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_mqs_scoring {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_regression_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_cpu_utilization {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_history_persistence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_memory_usage {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_mqs_composite {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract mqs_composite: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract mqs_composite: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_mqs_deterministic {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract mqs_deterministic: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract mqs_deterministic: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_mqs_grade {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract mqs_grade: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract mqs_grade: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_mqs_pass_rate {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract mqs_pass_rate: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract mqs_pass_rate: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_mqs_composite {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_mqs_composite {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_mqs_composite {
($input:expr, $body:expr) => {{
contract_pre_mqs_composite!($input);
let _contract_result = $body;
contract_post_mqs_composite!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_mqs_deterministic {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_mqs_deterministic {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_mqs_deterministic {
($input:expr, $body:expr) => {{
contract_pre_mqs_deterministic!($input);
let _contract_result = $body;
contract_post_mqs_deterministic!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_mqs_grade {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_mqs_grade {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_mqs_grade {
($input:expr, $body:expr) => {{
contract_pre_mqs_grade!($input);
let _contract_result = $body;
contract_post_mqs_grade!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_class_prior {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract class_prior: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract class_prior: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_gaussian_likelihood {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract gaussian_likelihood: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract gaussian_likelihood: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_log_posterior {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract log_posterior: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract log_posterior: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_connect_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_send_isolation {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
_pv_data.len() > 0,
"Contract send_isolation: precondition violated — data.len() > 0"
);
}};
}
macro_rules! contract_pre_layer_cache_hit {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_layer_ordering {
() => {{}};
($input:expr) => {{
let _pv_layers = &$input;
debug_assert!(
_pv_layers.len() > 0,
"Contract layer_ordering: precondition violated — layers.len() > 0"
);
}};
}
macro_rules! contract_pre_manifest_digest_consistency {
() => {{}};
($input:expr) => {{
let _pv_manifest = &$input;
}};
}
macro_rules! contract_pre_reproducible_build {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_online_normalizer {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract online_normalizer: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract online_normalizer: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_standard_softmax {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract standard_softmax: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract standard_softmax: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_cg_minimize {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract cg_minimize: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_convergence {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract convergence: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_line_search {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract line_search: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_pull_resolve {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_registry_list {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_run_tracking {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_block_allocation {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract block_allocation: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_block_table_lookup {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract block_table_lookup: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_copy_on_write {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract copy_on_write: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_block_allocation {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract block_allocation: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_block_table_invariant {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract block_table_invariant: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_fragmentation_free {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract fragmentation_free: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_graph_compatibility {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_paged_contiguous_equivalence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_slot_mapping {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract slot_mapping: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_bfs {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_pagerank {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_pagerank {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_power_iteration {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_lex {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract lex: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_parse {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract parse: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_semantic_analyze {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract semantic_analyze: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_block_scoping {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_parse_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_transpile_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_explained_variance {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract explained_variance: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract explained_variance: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_pca_transform {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract pca_transform: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_reconstruction {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract reconstruction: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_concrete_instance {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract concrete_instance: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract concrete_instance: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_efficiency_grade {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract efficiency_grade: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract efficiency_grade: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_llamacpp_parity {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract llamacpp_parity: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract llamacpp_parity: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_ollama_parity {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract ollama_parity: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract ollama_parity: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_vllm_parity {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract vllm_parity: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract vllm_parity: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_lifecycle_state_machine {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_permission_scoping {
() => {{}};
($input:expr) => {{
let _pv_plugin = &$input;
}};
}
macro_rules! contract_pre_schema_validation {
() => {{}};
($input:expr) => {{
let _pv_schema = &$input;
}};
}
macro_rules! contract_pre_baseline_integrity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_baseline_integrity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_baseline_integrity {
($input:expr, $body:expr) => {{
contract_pre_baseline_integrity!($input);
let _contract_result = $body;
contract_post_baseline_integrity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_contract_immutability {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_contract_immutability {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_contract_immutability {
($input:expr, $body:expr) => {{
contract_pre_contract_immutability!($input);
let _contract_result = $body;
contract_post_contract_immutability!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_falsification_completeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_falsification_completeness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_falsification_completeness {
($input:expr, $body:expr) => {{
contract_pre_falsification_completeness!($input);
let _contract_result = $body;
contract_post_falsification_completeness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_monotonic_ledger {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_monotonic_ledger {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_monotonic_ledger {
($input:expr, $body:expr) => {{
contract_pre_monotonic_ledger!($input);
let _contract_result = $body;
contract_post_monotonic_ledger!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_profile_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_profile_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_profile_determinism {
($input:expr, $body:expr) => {{
contract_pre_profile_determinism!($input);
let _contract_result = $body;
contract_post_profile_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_rescue_bound {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_rescue_bound {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_rescue_bound {
($input:expr, $body:expr) => {{
contract_pre_rescue_bound!($input);
let _contract_result = $body;
contract_post_rescue_bound!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_subcontracting_soundness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_subcontracting_soundness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_subcontracting_soundness {
($input:expr, $body:expr) => {{
contract_pre_subcontracting_soundness!($input);
let _contract_result = $body;
contract_post_subcontracting_soundness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_minmax_scaler {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract minmax_scaler: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract minmax_scaler: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_robust_scaler {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract robust_scaler: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract robust_scaler: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_standard_scaler {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract standard_scaler: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract standard_scaler: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_assertion_evaluation {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_coverage_collection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_playbook_state_machine {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_retry_assertion {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_soft_assertion_collection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_test_result_reporting {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_backoff_jitter {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_cost_budget {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_failover_cascade {
() => {{}};
($input:expr) => {{
let _pv_providers = &$input;
debug_assert!(
_pv_providers.len() > 0,
"Contract failover_cascade: precondition violated — providers.len() > 0"
);
}};
}
macro_rules! contract_pre_privacy_enforcement {
() => {{}};
($input:expr) => {{
let _pv_request = &$input;
}};
}
macro_rules! contract_post_privacy_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_privacy_enforcement {
($input:expr, $body:expr) => {{
contract_pre_privacy_enforcement!($input);
let _contract_result = $body;
contract_post_privacy_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_jit_compilation_success {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract jit_compilation_success: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract jit_compilation_success: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_no_hardcoded_targets {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract no_hardcoded_targets: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract no_hardcoded_targets: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_target_parity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract target_parity: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract target_parity: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_bsum {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bsum: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_dequantization {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract dequantization: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_q4k_superblock {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q4k_superblock: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_q6k_superblock {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q6k_superblock: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_total_bytes {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract total_bytes: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_qk_norm_load {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract qk_norm_load: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract qk_norm_load: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_qk_rmsnorm {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract qk_rmsnorm: precondition violated — input.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_input.len() > 0,
"Contract qk_rmsnorm: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_effective_batch_size {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract effective_batch_size: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_epoch_count_imbalanced {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract epoch_count_imbalanced: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_gradient_clip_bound {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract gradient_clip_bound: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_learning_rate_scaling {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract learning_rate_scaling: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_lora_alpha_ratio {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract lora_alpha_ratio: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_seq_len_from_data {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract seq_len_from_data: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_warmup_fraction {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract warmup_fraction: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_gate_composition {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_index {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_size {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_alpha_scaling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract alpha_scaling: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_bytes_per_param {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bytes_per_param: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_dropout_expectation {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(_pv_x.iter().all(|v| v.is_finite()),
"Contract dropout_expectation: precondition violated — x.iter().all(|v| v.is_finite())");
debug_assert!(_pv_x.len() > 0,
"Contract dropout_expectation: precondition violated — x.len() > 0");
}};
}
macro_rules! contract_pre_size_ordering {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract size_ordering: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_bsum_decomposition {
() => {{}};
($input:expr) => {{
let _pv_activations = &$input;
}};
}
macro_rules! contract_pre_format_isolation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract identity: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_simd_scalar_equivalence {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
}};
}
macro_rules! contract_pre_contract_composition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract contract_composition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_flops_per_token {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract flops_per_token: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_memory_breakdown {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract memory_breakdown: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_model_parameter_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract model_parameter_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_model {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_model: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_verification_ladder {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract verification_ladder: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_head_dim_consistency {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract head_dim_consistency: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_kv_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract kv_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_o_projection_transpose {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract o_projection_transpose: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_q_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_rope_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract rope_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_swiglu_ratio {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_ratio: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_kv_projection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_q_projection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_swiglu_expansion {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_total_parameters {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_contract_composition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract contract_composition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_flops_per_token {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract flops_per_token: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_memory_breakdown {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract memory_breakdown: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_model_parameter_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract model_parameter_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_model {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_model: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_verification_ladder {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract verification_ladder: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_head_dim_consistency {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract head_dim_consistency: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_kv_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract kv_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_o_projection_transpose {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract o_projection_transpose: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_q_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_rope_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract rope_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_swiglu_ratio {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_ratio: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_contract_composition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract contract_composition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_flops_per_token {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract flops_per_token: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_memory_breakdown {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract memory_breakdown: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_model_parameter_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract model_parameter_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_model {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_model: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_verification_ladder {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract verification_ladder: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_activation_magnitude {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(_pv_x.iter().all(|v| v.is_finite()),
"Contract activation_magnitude: precondition violated — x.iter().all(|v| v.is_finite())");
debug_assert!(_pv_x.len() > 0,
"Contract activation_magnitude: precondition violated — x.len() > 0");
}};
}
macro_rules! contract_pre_attention_sublayer {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract attention_sublayer: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_ffn_sublayer {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ffn_sublayer: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_gdn_sublayer {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract gdn_sublayer: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_gradient_flow {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract gradient_flow: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract gradient_flow: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_hybrid_block {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract hybrid_block: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_kv_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract kv_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_o_projection_transpose {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract o_projection_transpose: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_q_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_rope_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract rope_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_swiglu_ratio {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_ratio: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_active_parameter_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract active_parameter_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_contract_composition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract contract_composition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_flops_per_token {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract flops_per_token: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_memory_breakdown {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract memory_breakdown: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_model_parameter_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract model_parameter_count: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_model {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_model: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_verification_ladder {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract verification_ladder: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_kv_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract kv_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_moe_expert_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract moe_expert_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_moe_router_shape {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract moe_router_shape: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_o_projection_transpose {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract o_projection_transpose: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_q_projection_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract q_projection_shape: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_rope_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract rope_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_swiglu_ratio {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_ratio: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_embed_insert {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_metric_correctness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_retrieve_rank {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_bootstrap_sample {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract bootstrap_sample: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_ensemble_size {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ensemble_size: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ensemble_size: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_majority_vote {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract majority_vote: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract majority_vote: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_predict {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract predict: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract predict: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_expand_recipe {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_input_type {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validate_inputs {
() => {{}};
($input:expr) => {{
let _pv_inputs = &$input;
debug_assert!(
_pv_inputs.len() > 0,
"Contract validate_inputs: precondition violated — inputs.len() > 0"
);
}};
}
macro_rules! contract_pre_format_iso_timestamp {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_format_iso_timestamp {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_iso_timestamp {
($input:expr, $body:expr) => {{
contract_pre_format_iso_timestamp!($input);
let _contract_result = $body;
contract_post_format_iso_timestamp!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_semver {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_format_semver {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_semver {
($input:expr, $body:expr) => {{
contract_pre_format_semver!($input);
let _contract_result = $body;
contract_post_format_semver!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_ticket_id {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_format_ticket_id {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_format_ticket_id {
($input:expr, $body:expr) => {{
contract_pre_format_ticket_id!($input);
let _contract_result = $body;
contract_post_format_ticket_id!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_pull_idempotency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_run_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_draw_bounds {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_layout_area_conservation {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_line_connectivity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_embedding_insert {
() => {{}};
($input:expr) => {{
let _pv_embedding = &$input;
}};
}
macro_rules! contract_pre_metric_bounds {
() => {{}};
($input:expr) => {{
let _pv_relevant = &$input;
}};
}
macro_rules! contract_pre_retrieval_ranking {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_rmsnorm {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() > 0,
"Contract rmsnorm: precondition violated — x.len() > 0"
);
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract rmsnorm: precondition violated — x.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_rmsnorm {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract rmsnorm: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_rmsnorm {
($input:expr, $body:expr) => {{
contract_pre_rmsnorm!($input);
let _contract_result = $body;
contract_post_rmsnorm!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_bandwidth_ceiling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract bandwidth_ceiling: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_compute_ceiling {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract compute_ceiling: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_model_bytes {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract model_bytes: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_throughput_bound {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract throughput_bound: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_base_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract base_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_linear_interpolation {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract linear_interpolation: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_ntk_scaled_base {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract ntk_scaled_base: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_rotation_matrix {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract rotation_matrix: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_yarn_mixed_frequency {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract yarn_mixed_frequency: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_yarn_ramp {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract yarn_ramp: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_rope {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() > 0,
"Contract rope: precondition violated — x.len() > 0"
);
debug_assert!(
_pv_x.len() % 2 == 0,
"Contract rope: precondition violated — x.len() % 2 == 0"
);
}};
}
macro_rules! contract_post_rope {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract rope: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_rope {
($input:expr, $body:expr) => {{
contract_pre_rope!($input);
let _contract_result = $body;
contract_post_rope!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_format_parity {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract format_parity: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_dtype_consistency {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_dtype_consistency {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_dtype_consistency {
($input:expr, $body:expr) => {{
contract_pre_dtype_consistency!($input);
let _contract_result = $body;
contract_post_dtype_consistency!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_header_size_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_header_size_validation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_header_size_validation {
($input:expr, $body:expr) => {{
contract_pre_header_size_validation!($input);
let _contract_result = $body;
contract_post_header_size_validation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_mmap_zero_copy {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_mmap_zero_copy {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_mmap_zero_copy {
($input:expr, $body:expr) => {{
contract_pre_mmap_zero_copy!($input);
let _contract_result = $body;
contract_post_mmap_zero_copy!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_no_overlap_invariant {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_no_overlap_invariant {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_no_overlap_invariant {
($input:expr, $body:expr) => {{
contract_pre_no_overlap_invariant!($input);
let _contract_result = $body;
contract_post_no_overlap_invariant!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tensor_offset_bounds {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_tensor_offset_bounds {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tensor_offset_bounds {
($input:expr, $body:expr) => {{
contract_pre_tensor_offset_bounds!($input);
let _contract_result = $body;
contract_post_tensor_offset_bounds!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_classify_filesystem {
() => {{}};
($input:expr) => {{
let _pv_source = &$input;
debug_assert!(
!_pv_source.is_empty(),
"Contract classify_filesystem: precondition violated — !source.is_empty()"
);
debug_assert!(
_pv_source.len() <= 1_000_000,
"Contract classify_filesystem: precondition violated — source.len() <= 1_000_000"
);
}};
}
macro_rules! contract_pre_classify_injection {
() => {{}};
($input:expr) => {{
let _pv_source = &$input;
debug_assert!(
!_pv_source.is_empty(),
"Contract classify_injection: precondition violated — !source.is_empty()"
);
debug_assert!(
_pv_source.len() <= 1_000_000,
"Contract classify_injection: precondition violated — source.len() <= 1_000_000"
);
}};
}
macro_rules! contract_pre_classify_secrets {
() => {{}};
($input:expr) => {{
let _pv_source = &$input;
debug_assert!(
!_pv_source.is_empty(),
"Contract classify_secrets: precondition violated — !source.is_empty()"
);
debug_assert!(
_pv_source.len() <= 1_000_000,
"Contract classify_secrets: precondition violated — source.len() <= 1_000_000"
);
}};
}
macro_rules! contract_pre_lint_shell {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_greedy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract greedy: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_temperature {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract temperature: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_top_k {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract top_k: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_top_p {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract top_p: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_filesystem_isolation {
() => {{}};
($input:expr) => {{
let _pv_config = &$input;
}};
}
macro_rules! contract_pre_network_isolation {
() => {{}};
($input:expr) => {{
let _pv_config = &$input;
}};
}
macro_rules! contract_pre_overlay_capture {
() => {{}};
($input:expr) => {{
let _pv_overlay = &$input;
}};
}
macro_rules! contract_pre_geometric_mean {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract geometric_mean: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract geometric_mean: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_geometric_mean {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
*_contract_result >= 0.0 && *_contract_result <= 100.0,
"Contract geometric_mean: postcondition violated — result >= 0.0 && result <= 100.0"
);
}};
}
macro_rules! contract_geometric_mean {
($input:expr, $body:expr) => {{
contract_pre_geometric_mean!($input);
let _contract_result = $body;
contract_post_geometric_mean!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_grade_from_score {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract grade_from_score: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract grade_from_score: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_post_grade_from_score {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_grade_from_score {
($input:expr, $body:expr) => {{
contract_pre_grade_from_score!($input);
let _contract_result = $body;
contract_post_grade_from_score!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_drift_detection {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_ephemeral_cleanup {
() => {{}};
($input:expr) => {{
let _pv_secret = &$input;
}};
}
macro_rules! contract_pre_provider_dispatch {
() => {{}};
($input:expr) => {{
let _pv_ref = &$input;
}};
}
macro_rules! contract_pre_comprehension_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract comprehension_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_control_flow_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract control_flow_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_expression_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract expression_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_observational_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract observational_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_statement_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract statement_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_deserialize {
() => {{}};
($input:expr) => {{
let _pv_bytes = &$input;
debug_assert!(
_pv_bytes.len() > 0,
"Contract deserialize: precondition violated — bytes.len() > 0"
);
}};
}
macro_rules! contract_pre_serialize {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_serialization {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract serialization: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract serialization: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_age_filter {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_age_filter {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_age_filter {
($input:expr, $body:expr) => {{
contract_pre_age_filter!($input);
let _contract_result = $body;
contract_post_age_filter!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_append_only {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_append_only {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_append_only {
($input:expr, $body:expr) => {{
contract_pre_append_only!($input);
let _contract_result = $body;
contract_post_append_only!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_jsonl_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_messages = &$input;
debug_assert!(
_pv_messages.len() > 0,
"Contract jsonl_roundtrip: precondition violated — messages.len() > 0"
);
}};
}
macro_rules! contract_post_jsonl_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_jsonl_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_jsonl_roundtrip!($input);
let _contract_result = $body;
contract_post_jsonl_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_manifest_serde {
() => {{}};
($input:expr) => {{
let _pv_manifest = &$input;
}};
}
macro_rules! contract_post_manifest_serde {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_manifest_serde {
($input:expr, $body:expr) => {{
contract_pre_manifest_serde!($input);
let _contract_result = $body;
contract_post_manifest_serde!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_entropy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract entropy: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract entropy: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_uniform_entropy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract uniform_entropy: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract uniform_entropy: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_config_validation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_parser_correctness {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() <= 1_048_576,
"Contract parser_correctness: precondition violated — input.len() <= 1_048_576"
);
}};
}
macro_rules! contract_pre_startup_budget {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_sigmoid {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract sigmoid: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract sigmoid: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_silu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract silu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract silu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_audit_trail {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_step_determinism {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_time_advancement {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_audit_completeness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_simulate_convergence {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
}};
}
macro_rules! contract_pre_step_monotonicity {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_attention_sparsity {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract attention_sparsity: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_causal_window_mask {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract causal_window_mask: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_effective_context {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract effective_context: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_multi_layer_receptive_field {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract multi_layer_receptive_field: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_window_mask {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract window_mask: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_softmax {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() > 0,
"Contract softmax: precondition violated — x.len() > 0"
);
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract softmax: precondition violated — x.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_softmax {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(_contract_result.iter().all(|v| *v > 0.0), "Contract softmax: postcondition violated — result.iter().all(|v| *v > 0.0)");
debug_assert!((_contract_result.iter().sum::<f32>() - 1.0).abs() < 1e-5, "Contract softmax: postcondition violated — (result.iter().sum::<f32>() - 1.0).abs() < 1e-5");
}};
}
macro_rules! contract_softmax {
($input:expr, $body:expr) => {{
contract_pre_softmax!($input);
let _contract_result = $body;
contract_post_softmax!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_token_bounds {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract token_bounds: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_acceptance_probability {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract acceptance_probability: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_output_equivalence {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract output_equivalence: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_token_acceptance {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract token_acceptance: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_selective_gate {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract selective_gate: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract selective_gate: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_ssm_discretize {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract ssm_discretize: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract ssm_discretize: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_ssm_scan {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract ssm_scan: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract ssm_scan: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_event_store_append_only {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_event_store_append_only {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_event_store_append_only {
($input:expr, $body:expr) => {{
contract_pre_event_store_append_only!($input);
let _contract_result = $body;
contract_post_event_store_append_only!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_refactor_transitions {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_refactor_transitions {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_refactor_transitions {
($input:expr, $body:expr) => {{
contract_pre_refactor_transitions!($input);
let _contract_result = $body;
contract_post_refactor_transitions!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_snapshot_recovery {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_snapshot_recovery {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_snapshot_recovery {
($input:expr, $body:expr) => {{
contract_pre_snapshot_recovery!($input);
let _contract_result = $body;
contract_post_snapshot_recovery!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_closure_completeness {
() => {{}};
($input:expr) => {{
let _pv_entry = &$input;
}};
}
macro_rules! contract_pre_derivation_determinism {
() => {{}};
($input:expr) => {{
let _pv_d = &$input;
}};
}
macro_rules! contract_pre_far_archive_roundtrip {
() => {{}};
($input:expr) => {{
let _pv_dir = &$input;
debug_assert!(
_pv_dir.is__pv_dir(),
"Contract far_archive_roundtrip: precondition violated — dir.is_dir()"
);
}};
}
macro_rules! contract_pre_gc_safety {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_purity_monotonicity {
() => {{}};
($input:expr) => {{
let _pv_d = &$input;
}};
}
macro_rules! contract_pre_tpot_definition {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract tpot_definition: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract tpot_definition: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_decision_function {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract decision_function: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract decision_function: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_hinge_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract hinge_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_margin {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract margin: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract margin: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_svm_predict {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract svm_predict: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract svm_predict: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_silu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract silu: precondition violated — x.iter().all(|v| v.is_finite())"
);
debug_assert!(
_pv_x.len() > 0,
"Contract silu: precondition violated — x.len() > 0"
);
}};
}
macro_rules! contract_pre_swiglu {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
debug_assert!(
_pv_x.len() > 0,
"Contract swiglu: precondition violated — x.len() > 0"
);
debug_assert!(
_pv_x.iter().all(|v| v.is_finite()),
"Contract swiglu: precondition violated — x.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_post_swiglu {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
_contract_result.iter().all(|v| v.is_finite()),
"Contract swiglu: postcondition violated — result.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_swiglu {
($input:expr, $body:expr) => {{
contract_pre_swiglu!($input);
let _contract_result = $body;
contract_post_swiglu!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_health_check_retry {
() => {{}};
($input:expr) => {{
let _pv_hc = &$input;
}};
}
macro_rules! contract_pre_pipeline_dag_execution {
() => {{}};
($input:expr) => {{
let _pv_stages = &$input;
debug_assert!(
_pv_stages.len() > 0,
"Contract pipeline_dag_execution: precondition violated — stages.len() > 0"
);
}};
}
macro_rules! contract_pre_quality_gate_enforcement {
() => {{}};
($input:expr) => {{
let _pv_gate = &$input;
}};
}
macro_rules! contract_pre_task_status_terminal {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_calculate_tdg {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_calculate_tdg {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(
*_contract_result >= 0.0 && *_contract_result <= 100.0,
"Contract calculate_tdg: postcondition violated — result >= 0.0 && result <= 100.0"
);
}};
}
macro_rules! contract_calculate_tdg {
($input:expr, $body:expr) => {{
contract_pre_calculate_tdg!($input);
let _contract_result = $body;
contract_post_calculate_tdg!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_letter_grade {
() => {{}};
($input:expr) => {{
let _pv_grad_output = &$input;
debug_assert!(_pv_grad_output.len() > 0,
"Contract letter_grade: precondition violated — grad_output.len() > 0");
debug_assert!(_pv_grad_output.iter().all(|v| v.is_finite()),
"Contract letter_grade: precondition violated — grad_output.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_post_letter_grade {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_letter_grade {
($input:expr, $body:expr) => {{
contract_pre_letter_grade!($input);
let _contract_result = $body;
contract_post_letter_grade!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_architecture_delta {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract architecture_delta: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract architecture_delta: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_parameter_decomposition {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract parameter_decomposition: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_quantization_bytes {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract quantization_bytes: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_tensor_count {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract tensor_count: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract tensor_count: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_tied_embeddings {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract tied_embeddings: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract identity: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_quant_dispatch_exhaustiveness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_transpose_invariant {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_validated_tensor_construction {
() => {{}};
($input:expr) => {{
let _pv_data = &$input;
debug_assert!(
_pv_data.len() > 0,
"Contract validated_tensor_construction: precondition violated — data.len() > 0"
);
}};
}
macro_rules! contract_pre_architecture_normalization {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract architecture_normalization: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract architecture_normalization: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_name_resolution {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract name_resolution: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract name_resolution: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract identity: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_gqa_grouping {
() => {{}};
($input:expr) => {{
let _pv_q = &$input;
debug_assert!(
_pv_q.len() > 0,
"Contract gqa_grouping: precondition violated — q.len() > 0"
);
}};
}
macro_rules! contract_pre_lm_head {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract lm_head: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract lm_head: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_qkv_projection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract qkv_projection: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract qkv_projection: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_residual {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract residual: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract residual: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_swiglu_shape {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract swiglu_shape: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract swiglu_shape: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_lock_order_invariant {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_lock_order_invariant {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_lock_order_invariant {
($input:expr, $body:expr) => {{
contract_pre_lock_order_invariant!($input);
let _contract_result = $body;
contract_post_lock_order_invariant!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_race_freedom {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_race_freedom {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_race_freedom {
($input:expr, $body:expr) => {{
contract_pre_race_freedom!($input);
let _contract_result = $body;
contract_post_race_freedom!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tied_lm_head {
() => {{}};
($input:expr) => {{
let _pv_indices = &$input;
debug_assert!(
_pv_indices.len() > 0,
"Contract tied_lm_head: precondition violated — indices.len() > 0"
);
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract identity: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_byte_encoder_coverage {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
debug_assert!(
!_contract_input.is_empty(),
"Contract identity: precondition violated — !input.is_empty()"
);
}};
}
macro_rules! contract_pre_roundtrip_encoding {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_deterministic_encode {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_deterministic_encode {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_deterministic_encode {
($input:expr, $body:expr) => {{
contract_pre_deterministic_encode!($input);
let _contract_result = $body;
contract_post_deterministic_encode!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_empty_input {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_empty_input {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_empty_input {
($input:expr, $body:expr) => {{
contract_pre_empty_input!($input);
let _contract_result = $body;
contract_post_empty_input!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_roundtrip {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_roundtrip {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_roundtrip {
($input:expr, $body:expr) => {{
contract_pre_roundtrip!($input);
let _contract_result = $body;
contract_post_roundtrip!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_thread_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_thread_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_thread_safety {
($input:expr, $body:expr) => {{
contract_pre_thread_safety!($input);
let _contract_result = $body;
contract_post_thread_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_vocab_size_bound {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_vocab_size_bound {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_vocab_size_bound {
($input:expr, $body:expr) => {{
contract_pre_vocab_size_bound!($input);
let _contract_result = $body;
contract_post_vocab_size_bound!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_otel_format {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_trace_capture {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_trace_comparison {
() => {{}};
($input:expr) => {{
let _pv_golden = &$input;
debug_assert!(
_pv_golden.len() > 0,
"Contract trace_comparison: precondition violated — golden.len() > 0"
);
}};
}
macro_rules! contract_pre_metric_monotonicity {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_metric_monotonicity {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_metric_monotonicity {
($input:expr, $body:expr) => {{
contract_pre_metric_monotonicity!($input);
let _contract_result = $body;
contract_post_metric_monotonicity!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_renacer_backward_compat {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_renacer_backward_compat {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_renacer_backward_compat {
($input:expr, $body:expr) => {{
contract_pre_renacer_backward_compat!($input);
let _contract_result = $body;
contract_post_renacer_backward_compat!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_span_parentage {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_span_parentage {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_span_parentage {
($input:expr, $body:expr) => {{
contract_pre_span_parentage!($input);
let _contract_result = $body;
contract_post_span_parentage!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_ema_loss {
() => {{}};
($input:expr) => {{
let _pv_predicted = &$input;
debug_assert!(
_pv_predicted.len() > 0,
"Contract ema_loss: precondition violated — predicted.len() > 0"
);
}};
}
macro_rules! contract_pre_val_split {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract val_split: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract val_split: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_warmup_lr {
() => {{}};
($input:expr) => {{
let _pv_params = &$input;
debug_assert!(
_pv_params.len() > 0,
"Contract warmup_lr: precondition violated — params.len() > 0"
);
}};
}
macro_rules! contract_pre_parse_soundness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_transpile_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_type_preservation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_ast_to_program {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_pipeline_composition {
() => {{}};
($input:expr) => {{
let _pv_stages = &$input;
debug_assert!(
_pv_stages.len() > 0,
"Contract pipeline_composition: precondition violated — stages.len() > 0"
);
}};
}
macro_rules! contract_pre_transpile_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_semantic_equivalence {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_semantic_equivalence {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_semantic_equivalence {
($input:expr, $body:expr) => {{
contract_pre_semantic_equivalence!($input);
let _contract_result = $body;
contract_post_semantic_equivalence!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_transpile_determinism {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_transpile_determinism {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_transpile_determinism {
($input:expr, $body:expr) => {{
contract_pre_transpile_determinism!($input);
let _contract_result = $body;
contract_post_transpile_determinism!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_type_preservation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_type_preservation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_type_preservation {
($input:expr, $body:expr) => {{
contract_pre_type_preservation!($input);
let _contract_result = $body;
contract_post_type_preservation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_transpose {
() => {{}};
($input:expr) => {{
let _pv_a = &$input;
debug_assert!(
_pv_a.len() > 0,
"Contract transpose: precondition violated — a.len() > 0"
);
}};
}
macro_rules! contract_pre_event_dispatch {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_render_cycle_correctness {
() => {{}};
($input:expr) => {{
let _pv_buffer = &$input;
}};
}
macro_rules! contract_pre_terminal_restore {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_widget_lifecycle {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_adaptive_degradation {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_adaptive_degradation {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_adaptive_degradation {
($input:expr, $body:expr) => {{
contract_pre_adaptive_degradation!($input);
let _contract_result = $body;
contract_post_adaptive_degradation!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_brick_budget_enforcement {
() => {{}};
($input:expr) => {{
let _pv_house = &$input;
}};
}
macro_rules! contract_post_brick_budget_enforcement {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_brick_budget_enforcement {
($input:expr, $body:expr) => {{
contract_pre_brick_budget_enforcement!($input);
let _contract_result = $body;
contract_post_brick_budget_enforcement!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_cost_display_invariants {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_panel_layout_nonoverlap {
() => {{}};
($input:expr) => {{
let _pv_panels = &$input;
debug_assert!(
_pv_panels.len() == 6,
"Contract panel_layout_nonoverlap: precondition violated — panels.len() == 6"
);
}};
}
macro_rules! contract_post_panel_layout_nonoverlap {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_panel_layout_nonoverlap {
($input:expr, $body:expr) => {{
contract_pre_panel_layout_nonoverlap!($input);
let _contract_result = $body;
contract_post_panel_layout_nonoverlap!(_contract_result);
_contract_result
}};
}
macro_rules! contract_post_sandbox_violation_visibility {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_post_statusbar_state_display {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_pre_streaming_token_ordering {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_streaming_token_ordering {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_streaming_token_ordering {
($input:expr, $body:expr) => {{
contract_pre_streaming_token_ordering!($input);
let _contract_result = $body;
contract_post_streaming_token_ordering!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_tool_progress_monotonic {
() => {{}};
($input:expr) => {{
let _pv_tool_calls = &$input;
debug_assert!(
_pv_tool_calls.len() > 0,
"Contract tool_progress_monotonic: precondition violated — tool_calls.len() > 0"
);
}};
}
macro_rules! contract_post_tool_progress_monotonic {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_tool_progress_monotonic {
($input:expr, $body:expr) => {{
contract_pre_tool_progress_monotonic!($input);
let _contract_result = $body;
contract_post_tool_progress_monotonic!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_cellbuffer_bounds {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_cellbuffer_bounds {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_cellbuffer_bounds {
($input:expr, $body:expr) => {{
contract_pre_cellbuffer_bounds!($input);
let _contract_result = $body;
contract_post_cellbuffer_bounds!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_color_mode_fallback {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_color_mode_fallback {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_color_mode_fallback {
($input:expr, $body:expr) => {{
contract_pre_color_mode_fallback!($input);
let _contract_result = $body;
contract_post_color_mode_fallback!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_diff_renderer_correctness {
() => {{}};
($input:expr) => {{
let _pv_prev = &$input;
}};
}
macro_rules! contract_post_diff_renderer_correctness {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_diff_renderer_correctness {
($input:expr, $body:expr) => {{
contract_pre_diff_renderer_correctness!($input);
let _contract_result = $body;
contract_post_diff_renderer_correctness!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_dirty_tracking {
() => {{}};
($input:expr) => {{
let _pv_dirty_mask = &$input;
}};
}
macro_rules! contract_post_dirty_tracking {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_dirty_tracking {
($input:expr, $body:expr) => {{
contract_pre_dirty_tracking!($input);
let _contract_result = $body;
contract_post_dirty_tracking!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_resize_safety {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_resize_safety {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_resize_safety {
($input:expr, $body:expr) => {{
contract_pre_resize_safety!($input);
let _contract_result = $body;
contract_post_resize_safety!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_unicode_width {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_unicode_width {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_unicode_width {
($input:expr, $body:expr) => {{
contract_pre_unicode_width!($input);
let _contract_result = $body;
contract_post_unicode_width!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_zero_alloc_render {
() => {{}};
($input:expr) => {{
let _pv_buffer = &$input;
}};
}
macro_rules! contract_post_zero_alloc_render {
($result:expr) => {{
let _contract_result = &$result;
debug_assert!(allocator_count_during_render == 0, "Contract zero_alloc_render: postcondition violated — allocator_count_during_render == 0");
}};
}
macro_rules! contract_zero_alloc_render {
($input:expr, $body:expr) => {{
contract_pre_zero_alloc_render!($input);
let _contract_result = $body;
contract_post_zero_alloc_render!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_container_preservation {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract container_preservation: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_copy_semantics {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract copy_semantics: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_numeric_semantics {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract numeric_semantics: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_type_inference {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract type_inference: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_type_map {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract type_map: precondition violated — input.len() > 0"
);
}};
}
macro_rules! contract_pre_density_gate {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(
_pv_input.len() > 0,
"Contract density_gate: precondition violated — input.len() > 0"
);
debug_assert!(
_pv_input.iter().all(|v| v.is_finite()),
"Contract density_gate: precondition violated — input.iter().all(|v| v.is_finite())"
);
}};
}
macro_rules! contract_pre_l2_norm_nondegeneracy {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract l2_norm_nondegeneracy: precondition violated — input.iter().all(|v| v.is_finite())");
debug_assert!(_pv_input.len() > 0,
"Contract l2_norm_nondegeneracy: precondition violated — input.len() > 0");
}};
}
macro_rules! contract_pre_nan_inf_rejection {
() => {{}};
($input:expr) => {{
let _pv_input = &$input;
debug_assert!(_pv_input.len() > 0,
"Contract nan_inf_rejection: precondition violated — input.len() > 0");
debug_assert!(_pv_input.iter().all(|v| v.is_finite()),
"Contract nan_inf_rejection: precondition violated — input.iter().all(|v| v.is_finite())");
}};
}
macro_rules! contract_pre_generator_coverage {
() => {{}};
($input:expr) => {{
let _pv_strategy = &$input;
}};
}
macro_rules! contract_pre_mutation_soundness {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_oracle_verdict {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_layout_treemap {
() => {{}};
($input:expr) => {{
let _pv_nodes = &$input;
debug_assert!(
_pv_nodes.len() > 0,
"Contract layout_treemap: precondition violated — nodes.len() > 0"
);
}};
}
macro_rules! contract_pre_primitive_bounds {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_render_output {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_pre_identity {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_pre_checkpoint_verification {
() => {{}};
($input:expr) => {{
let _pv_contract = &$input;
}};
}
macro_rules! contract_post_checkpoint_verification {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_checkpoint_verification {
($input:expr, $body:expr) => {{
contract_pre_checkpoint_verification!($input);
let _contract_result = $body;
contract_post_checkpoint_verification!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_contract_profile {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_contract_profile {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_contract_profile {
($input:expr, $body:expr) => {{
contract_pre_contract_profile!($input);
let _contract_result = $body;
contract_post_contract_profile!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_falsifiable_claim {
() => {{}};
($input:expr) => {{
let _pv_claim = &$input;
}};
}
macro_rules! contract_post_falsifiable_claim {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_falsifiable_claim {
($input:expr, $body:expr) => {{
contract_pre_falsifiable_claim!($input);
let _contract_result = $body;
contract_post_falsifiable_claim!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_meyer_triad {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_meyer_triad {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_meyer_triad {
($input:expr, $body:expr) => {{
contract_pre_meyer_triad!($input);
let _contract_result = $body;
contract_post_meyer_triad!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_override_accountability {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_override_accountability {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_override_accountability {
($input:expr, $body:expr) => {{
contract_pre_override_accountability!($input);
let _contract_result = $body;
contract_post_override_accountability!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_rescue_protocol {
() => {{}};
($input:expr) => {{
let _contract_input = &$input;
}};
}
macro_rules! contract_post_rescue_protocol {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_rescue_protocol {
($input:expr, $body:expr) => {{
contract_pre_rescue_protocol!($input);
let _contract_result = $body;
contract_post_rescue_protocol!(_contract_result);
_contract_result
}};
}
macro_rules! contract_pre_work_lifecycle {
() => {{}};
($input:expr) => {{
let _pv_x = &$input;
}};
}
macro_rules! contract_post_work_lifecycle {
($result:expr) => {{
let _contract_result = &$result;
}};
}
macro_rules! contract_work_lifecycle {
($input:expr, $body:expr) => {{
contract_pre_work_lifecycle!($input);
let _contract_result = $body;
contract_post_work_lifecycle!(_contract_result);
_contract_result
}};
}