process_qualification.v1.json (2935B)
1 { 2 "schema": "radroots.myc.process-qualification.v1", 3 "contract_version": 1, 4 "step": 161, 5 "service": "myc", 6 "binary": "myc", 7 "source_lock": { 8 "schema": "radroots.service.source-lock.v2", 9 "lib_revision": "053d0c750bf9cd683c6ea37cefe7e79617ba629f" 10 }, 11 "bounds": { 12 "process_deadline_ms": 30000, 13 "poll_interval_ms": 2, 14 "parallel_inspection_processes": 8, 15 "soak_iterations": 32, 16 "crash_fixture_bytes": 67108864, 17 "maximum_captured_output_bytes": 8192 18 }, 19 "actual_process_corpus": [ 20 "offline_state_and_diagnostics", 21 "parallel_inspection_saturation", 22 "bounded_reopen_soak", 23 "backup_copy_sigkill_collision", 24 "pre_marker_restore_sigkill_refusal", 25 "durable_restore_recovery", 26 "required_dependency_outage", 27 "secret_and_path_redaction" 28 ], 29 "component_corpus": { 30 "myc_atomicity": [ 31 "request_admission_is_atomic_idempotent_conflict_aware_and_restart_stable", 32 "delivery_jobs_are_config_bound_idempotent_restart_safe_and_unknown_aware", 33 "backup_integrity_and_offline_restore_obey_one_exact_myc_authority" 34 ], 35 "backlog_and_saturation": [ 36 "concurrent_identical_admission_creates_one_request_and_bounded_replay_evidence", 37 "configured_denial_precedes_saturated_unknown_client_rate_windows", 38 "challenge_creation_and_authorization_use_distinct_durable_rate_budgets" 39 ], 40 "recovery_and_crash": [ 41 "restart_recovery_is_bounded_jittered_and_idempotent", 42 "terminal_unknown_is_not_relabelled_as_failure_and_sql_guards_preserve_evidence", 43 "early_success_and_panic_are_fatal_and_join_their_cancelled_peer" 44 ], 45 "property_and_adversarial": [ 46 "duplicate_replay_conflict_and_distinct_relations_are_total", 47 "event_object_is_closed_duplicate_free_nonnull_and_exactly_consumed", 48 "exact_open_rejects_migration_history_drift_without_repair" 49 ] 50 }, 51 "source_locked_shared_sqlite_corpus": [ 52 "every_initialization_durability_edge_fails_once_and_rolls_back", 53 "transaction_durability_edges_preserve_exact_commit_semantics", 54 "backup_durability_edges_fail_once_clean_exact_stage_and_recover", 55 "close_durability_edges_are_once_only_retryable_or_terminal", 56 "every_marker_and_restore_durability_edge_is_wired_once", 57 "sigkill_restore_boundaries_recover_exact_topologies_and_preserve_permissions" 58 ], 59 "invariants": { 60 "actual_executable_required": true, 61 "production_failpoint_surface": false, 62 "test_environment_selector": false, 63 "detached_test_worker": false, 64 "live_database_unchanged_by_failed_backup": true, 65 "orphan_restore_evidence_fails_closed": true, 66 "durable_restore_evidence_reconciled_on_writable_reopen": true, 67 "captured_output_bounded": true, 68 "diagnostics_path_secret_free": true 69 }, 70 "deferred": [ 71 "rcld_promotion", 72 "parent_pin_alignment", 73 "nix", 74 "oci", 75 "signing", 76 "publication", 77 "deployment" 78 ] 79 }