{"server":"dsouflis/z3-solver-mcp-server","snapshot_id":"trustsnap_35ef99198cc719d9","history":{"points":[{"timestamp":"2026-07-02T16:23:27.454725+00:00","score":47.41,"status":"failing","latency_ms":2294.19,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-04T01:32:32.072752+00:00","score":47.41,"status":"failing","latency_ms":2175.21,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-05T03:34:07.063155+00:00","score":47.42,"status":"failing","latency_ms":1814.9,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-06T08:55:46.899864+00:00","score":47.42,"status":"failing","latency_ms":2569.75,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-07T15:26:48.395940+00:00","score":47.42,"status":"failing","latency_ms":750.13,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-08T19:11:34.630127+00:00","score":47.42,"status":"failing","latency_ms":1933.84,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-09T23:22:52.305131+00:00","score":47.42,"status":"failing","latency_ms":1029.86,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-11T00:27:11.825003+00:00","score":47.42,"status":"failing","latency_ms":801.12,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-12T03:09:36.065978+00:00","score":47.42,"status":"failing","latency_ms":5375.28,"tool_count":0,"prompt_count":0,"resource_count":0},{"timestamp":"2026-07-13T03:54:53.227271+00:00","score":47.49,"status":"failing","latency_ms":706.83,"tool_count":0,"prompt_count":0,"resource_count":0}],"status_counts":{"failing":10},"score_delta_7d":0.07,"score_delta_30d":null,"avg_latency_ms":1945.11,"healthy_ratio_recent":0.0,"freshness_hours":9.2,"latest_status":"failing"},"validation_timeline":[{"timestamp":"2026-07-13T03:54:53.227271+00:00","summary_status":"failing","score":47.49,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":true,"change_flags":[]},{"timestamp":"2026-07-12T03:09:36.065978+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-11T00:27:11.825003+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-09T23:22:52.305131+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-08T19:11:34.630127+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-07T15:26:48.395940+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-06T08:55:46.899864+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-05T03:34:07.063155+00:00","summary_status":"failing","score":47.42,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-04T01:32:32.072752+00:00","summary_status":"failing","score":47.41,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]},{"timestamp":"2026-07-02T16:23:27.454725+00:00","summary_status":"failing","score":47.41,"protocol_version":null,"auth_mode":"unknown","tool_count":0,"prompt_count":0,"resource_count":0,"high_risk_tools":0,"safe_to_publish":false,"change_flags":[]}],"validation_diff":{"latest_score":47.49,"previous_score":47.42,"score_delta":0.07,"latest_summary":"failing","previous_summary":"failing","summary_changed":false,"tool_count_delta":0,"prompt_count_delta":0,"resource_count_delta":0,"component_deltas":[{"key":"slo_health_score","latest":0.23,"previous":0.1,"delta":0.13}],"regressed_checks":["connector_publishability_probe","initialize","oauth_protected_resource","server_card","tools_list","transport_compliance_probe"],"improved_checks":["action_safety_probe","probe_noise_resilience","provenance_divergence_probe"],"tool_snapshot_diff":null,"auth_mode_changed":false,"latest_auth_mode":"unknown","previous_auth_mode":"unknown","write_action_surface_expanded":false,"latest_high_risk_tools":0,"previous_high_risk_tools":0,"protocol_regressed":false,"latest_protocol_version":null,"previous_protocol_version":null,"registry_drift_changed":false,"latest_registry_drift":[],"previous_registry_drift":[],"connector_refresh_breaking":false,"previous_connector_refresh_breaking":false,"request_association_violation":false,"previous_request_association_violation":false},"incident_feed":[{"type":"validation_snapshot","timestamp":"2026-07-13T03:54:53.227271+00:00","title":"Latest validation: failing","message":"Score 47.5 with status failing."},{"type":"score_change","timestamp":"2026-07-13T03:54:53.227271+00:00","title":"Score changed","message":"Score delta +0.1 versus the previous run."}]}