{"ok":true,"service":"telemetry.thomas.md","backend":"postgresql","segregated_store":true,"store_dir":"/srv/telemetry-hub","streams":{"turbo-lean":177,"lean-native":265,"certified-research":856},"namespaces":{"community":160,"th0rgal":1138},"blobs_count":1086,"research_telemetry_count":856,"research_priors_count":318,"recent":{"lean-native":[{"decl":{"name":"slot_type_regression","features":{"n_instr":6,"n_loops":0,"n_blocks":1,"max_loop_depth":0,"width_histogram":{"u64":1,"bool":0,"u256":1}},"lnir_raw_blob":"blake3:4b10237b9e88e476387998596bdd1cda9cf600ba9acc4a6200808f190a64a4f7","structural_hash":"5376bf037883d97b","lnir_canonical_debruijn_blob":"blake3:d6b594270e11eb5a739e3674336e1d719e2d9b4d02956773bd0bc93b87a944d3"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"slot_type_regression","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Forwards projTuple through SSA mkTuple alias map and eliminates dead tuple allocations"},"step_idx":0,"pass_history":[],"pass_or_rule":"builtin:unbox-tuple-sroa","after_ir_blob":"blake3:26819ec48c0c65354076e2ea0fa08c94346486b8f482a36d72ceff86746cd9b4","before_ir_blob":"blake3:4b10237b9e88e476387998596bdd1cda9cf600ba9acc4a6200808f190a64a4f7","theorem_or_rule":"LeanNative.Proofs.LoopOptProofs.unboxTupleProj_sound","after_debruijn_blob":"blake3:9eb246ec0993f2a33d841868db5c2b14582f081ef40309d2659d6e228dc2adc7"},"event_id":"f1875f3c60508aba83597bcf15b7c901","namespace":"community","cost_model":{"cost_after":0,"cost_before":0},"machine_id":"ca2aee0b86061f7e","project_id":"5af17fd15e9c0acb","rl_outcome":{"rejection_stage":null,"reward_components":{"tv_passed":1.0,"cost_delta":0,"kernel_verified":1.0},"accepted_into_pipeline":true},"session_id":"sess-b2082993451e","validation":{"symbolic_tv":{"status":"passed","samples":64,"samples_ok":64,"ub_refines":true,"domain_equiv":true,"unroll_bound":4,"sym_ret_equiv":true,"poison_refines":true,"mem_writes_equiv":true},"kernel_check":{"status":"accepted","sorry_count":0,"theorem_ref":"LeanNative.Proofs.LoopOptProofs.unboxTupleProj_sound","evidence_kind":"reflective"}},"received_at":"2026-10-23T20:11:57.678389+00:00","timestamp_ns":3116917276788,"namespace_verified":false},{"decl":{"name":"slot_type_regression","features":{"n_instr":5,"n_loops":0,"n_blocks":1,"max_loop_depth":0,"width_histogram":{"u64":1,"bool":0,"u256":1}},"lnir_raw_blob":"blake3:26819ec48c0c65354076e2ea0fa08c94346486b8f482a36d72ceff86746cd9b4","structural_hash":"f7dc6c09a53fe91a","lnir_canonical_debruijn_blob":"blake3:9eb246ec0993f2a33d841868db5c2b14582f081ef40309d2659d6e228dc2adc7"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"slot_type_regression","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Analyzed and annotated 0 SIMD/data-parallel loop/borrow regions (!llvm.loop.vectorize.enable)"},"step_idx":1,"pass_history":["builtin:unbox-tuple-sroa"],"pass_or_rule":"builtin:loop-vectorize","after_ir_blob":"blake3:576c81e49c26f0f150c3192784113bd275b23e04f41b44d249d0ef1361c67559","before_ir_blob":"blake3:26819ec48c0c65354076e2ea0fa08c94346486b8f482a36d72ceff86746cd9b4","theorem_or_rule":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","after_debruijn_blob":"blake3:6a88ae7d280fb4e806a6c41bc264d781a6a78db8396a5491addf3e11b6b63f97"},"event_id":"9695f9c6a083f99e38bee9fe48d9ac61","namespace":"community","cost_model":{"cost_after":0,"cost_before":0},"machine_id":"ca2aee0b86061f7e","project_id":"5af17fd15e9c0acb","rl_outcome":{"rejection_stage":null,"reward_components":{"tv_passed":1.0,"cost_delta":0,"kernel_verified":1.0},"accepted_into_pipeline":true},"session_id":"sess-b2082993451e","validation":{"symbolic_tv":{"status":"passed","samples":64,"samples_ok":64,"ub_refines":true,"domain_equiv":true,"unroll_bound":4,"sym_ret_equiv":true,"poison_refines":true,"mem_writes_equiv":true},"kernel_check":{"status":"accepted","sorry_count":0,"theorem_ref":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","evidence_kind":"reflective"}},"received_at":"2026-10-23T20:11:57.425409+00:00","timestamp_ns":3116917276788,"namespace_verified":false},{"decl":{"name":"l_List_forIn_x27_loop___at___00main_spec__1___redArg","features":{"n_instr":126,"n_loops":1,"n_blocks":36,"max_loop_depth":1,"width_histogram":{"u64":23,"bool":11,"u256":0}},"lnir_raw_blob":"blake3:eae9eccd59a6be8ecee8b72321789173cd81d805a38bfbc83e689185f7ff9d91","structural_hash":"18021c97abef4e48","lnir_canonical_debruijn_blob":"blake3:773698e3d90e364ea51f3acf26329c8e2f2866f2080520f2e5fd7e6defb30eb0"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"Main","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Analyzed and annotated 1 SIMD/data-parallel loop/borrow regions (!llvm.loop.vectorize.enable)"},"step_idx":2,"pass_history":["builtin:algebraic-peephole","builtin:unbox-tuple-sroa"],"pass_or_rule":"builtin:loop-vectorize","after_ir_blob":"blake3:b777b687f407260d9a966a31fde45646812dcd629bedc89a331bb09bf31bde28","before_ir_blob":"blake3:eae9eccd59a6be8ecee8b72321789173cd81d805a38bfbc83e689185f7ff9d91","theorem_or_rule":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","after_debruijn_blob":"blake3:a9058edee111813b47eac24f15d4b05ed4b58df7b86a3aa880eb078b18e951fd"},"event_id":"8bd2ccc42cd0da3a1dd601cb50b07703","namespace":"th0rgal","cost_model":{"cost_after":60,"cost_before":60},"machine_id":"c8f5e898f0991e24","project_id":"c3b52d33ecf9b8e8","rl_outcome":{"rejection_stage":null,"reward_components":{"tv_passed":1.0,"cost_delta":0,"kernel_verified":1.0},"accepted_into_pipeline":true},"session_id":"sess-5127ccf1fec2","validation":{"symbolic_tv":{"status":"passed","samples":64,"samples_ok":64,"ub_refines":true,"domain_equiv":true,"unroll_bound":4,"sym_ret_equiv":true,"poison_refines":true,"mem_writes_equiv":true},"kernel_check":{"status":"accepted","sorry_count":0,"theorem_ref":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","evidence_kind":"reflective"}},"received_at":"2026-10-23T18:16:26.446867+00:00","timestamp_ns":108377883892114,"namespace_verified":true}],"turbo-lean":[{"schema":"turbo-lean.telemetry.v1","status":"cache_hit","command":"build","accepted":true,"event_id":"395a85c7a66220110c67a6e202620111","cache_hit":true,"decl_name":"lean","namespace":"community","tool_name":"build","action_key":"5273ea38f3b9ea6da0b07d838ff49eebb51909060b375c390ed2cadb8deed2c3","elapsed_ms":0,"machine_id":"cb4ef41907979dab","project_id":"9ae8420aeaeca6d7","session_id":"sess-3475","received_at":"2026-10-23T20:33:10.318982+00:00","shards_seeded":0,"interface_hash":"5562360ceaa2a60be8c64bdd43264ebe9ff173cfdc4692e09e1e8f2ba384d359","materialized_files":24,"namespace_verified":false,"coalesced_singleflight":false},{"schema":"turbo-lean.telemetry.v1","status":"cache_hit","command":"build","accepted":true,"event_id":"e51203a89efb82cf32ac04fae97e0b18","cache_hit":true,"decl_name":"lean","namespace":"community","tool_name":"build","action_key":"5273ea38f3b9ea6da0b07d838ff49eebb51909060b375c390ed2cadb8deed2c3","elapsed_ms":4,"machine_id":"cb4ef41907979dab","project_id":"9ae8420aeaeca6d7","session_id":"sess-3432","received_at":"2026-10-23T20:33:10.215825+00:00","shards_seeded":0,"interface_hash":"5562360ceaa2a60be8c64bdd43264ebe9ff173cfdc4692e09e1e8f2ba384d359","materialized_files":24,"namespace_verified":false,"coalesced_singleflight":false},{"schema":"turbo-lean.telemetry.v1","event_id":"cb36f093540bb9d076e745b7fa3889c7","cache_hit":false,"decl_name":null,"namespace":"community","tool_name":"turbo_audit_spec","elapsed_ms":2.759,"heartbeats":0,"machine_id":"c85c195cccd807f4","project_id":"603cc4e6ad99cd9e","session_id":"sess-677498","received_at":"2026-10-23T20:30:14.430324+00:00","stage1_tpu_ms":2.759,"zygote_verified":false,"accelerator_name":null,"raw_output_bytes":800,"stage2_zygote_ms":0.0,"stage1_tpu_reject":false,"namespace_verified":false,"accelerator_rewrite":false,"winning_tactic_hint":null,"compact_output_bytes":120}],"certified-research":[{"stage":"GRIND","domain":"gpu_kernel","schema":"certified-research.telemetry.v1","outcome":"PRUNED","event_id":"140cf9d83e214e9ead08abbed7ca16f2","slice_id":0,"task_key":"wave4-ssim-tune-restored","namespace":"th0rgal","goal_class":"transcode-4k","machine_id":"c8f5e898f0991e24","mission_id":"e9e27628-66ad-4877-bee4-d96c0591d46f","project_id":"11e027b279edabbe","session_id":"sess-33ccb188ea40443b","checkpoints":[{"survived":true,"dyadic_budget":256},{"survived":true,"dyadic_budget":512},{"survived":true,"dyadic_budget":1024},{"survived":true,"dyadic_budget":2048},{"survived":true,"dyadic_budget":4096},{"survived":true,"dyadic_budget":8192},{"survived":true,"dyadic_budget":16384},{"survived":true,"dyadic_budget":32768},{"survived":true,"dyadic_budget":65536}],"received_at":"2026-10-23T20:32:02.658176+00:00","final_metric":null,"solver_model":"builtin/smart","actual_tokens":2199413,"router_action":"","predicted_axes":{"p":0.75,"impact":0.6,"effort_p50":800.0,"effort_p90":2200.0},"right_censored":false,"goal_shape_hash":"transcode-4k","parent_task_key":null,"static_features":{"auto_healed":["actual_tokens:0->2199413","wall_sec:0.0->1033819.0"],"branch_type":"OPTIMIZE"},"decomposer_model":"gemini-4-argon","actual_elapsed_ms":1033819000.0,"actual_heartbeats":0,"survival_permille":0,"tested_heartbeats":0,"namespace_verified":true,"tested_token_budget":0,"counterexample_found":false},{"stage":"GRIND","domain":"gpu_kernel","schema":"certified-research.telemetry.v1","outcome":"PRUNED","event_id":"e5ad80b6070743cf9c20b1b889c86288","slice_id":0,"task_key":"wave4-encoder-two-threads","namespace":"th0rgal","goal_class":"transcode-4k","machine_id":"c8f5e898f0991e24","mission_id":"e9e27628-66ad-4877-bee4-d96c0591d46f","project_id":"11e027b279edabbe","session_id":"sess-3e7a914034c544d7","checkpoints":[{"survived":true,"dyadic_budget":256},{"survived":true,"dyadic_budget":512},{"survived":true,"dyadic_budget":1024},{"survived":true,"dyadic_budget":2048},{"survived":true,"dyadic_budget":4096},{"survived":true,"dyadic_budget":8192},{"survived":true,"dyadic_budget":16384},{"survived":true,"dyadic_budget":32768},{"survived":true,"dyadic_budget":65536}],"received_at":"2026-10-23T20:30:45.037044+00:00","final_metric":null,"solver_model":"builtin/smart","actual_tokens":2199413,"router_action":"","predicted_axes":{"p":0.3,"impact":0.3,"effort_p50":600.0,"effort_p90":1800.0},"right_censored":false,"goal_shape_hash":"transcode-4k","parent_task_key":null,"static_features":{"auto_healed":["actual_tokens:0->2199413","wall_sec:0.0->1033819.0"],"branch_type":"OPTIMIZE"},"decomposer_model":"gemini-4-argon","actual_elapsed_ms":1033819000.0,"actual_heartbeats":0,"survival_permille":0,"tested_heartbeats":0,"namespace_verified":true,"tested_token_budget":0,"counterexample_found":false},{"stage":"GRIND","domain":"gpu_kernel","schema":"certified-research.telemetry.v1","outcome":"PRUNED","event_id":"ca06d6772bfc46608048da4cef3174f0","slice_id":0,"task_key":"wave4-eight-slots","namespace":"th0rgal","goal_class":"transcode-4k","machine_id":"c8f5e898f0991e24","mission_id":"e9e27628-66ad-4877-bee4-d96c0591d46f","project_id":"11e027b279edabbe","session_id":"sess-59740281ec8940a4","checkpoints":[{"survived":true,"dyadic_budget":256},{"survived":true,"dyadic_budget":512},{"survived":true,"dyadic_budget":1024},{"survived":true,"dyadic_budget":2048},{"survived":true,"dyadic_budget":4096},{"survived":true,"dyadic_budget":8192},{"survived":true,"dyadic_budget":16384},{"survived":true,"dyadic_budget":32768},{"survived":true,"dyadic_budget":65536}],"received_at":"2026-10-23T20:29:06.326749+00:00","final_metric":null,"solver_model":"builtin/smart","actual_tokens":2199413,"router_action":"","predicted_axes":{"p":0.8,"impact":0.55,"effort_p50":900.0,"effort_p90":2500.0},"right_censored":false,"goal_shape_hash":"transcode-4k","parent_task_key":null,"static_features":{"auto_healed":["actual_tokens:0->2199413","wall_sec:0.0->1033819.0"],"branch_type":"OPTIMIZE"},"decomposer_model":"gemini-4-argon","actual_elapsed_ms":1033819000.0,"actual_heartbeats":0,"survival_permille":0,"tested_heartbeats":0,"namespace_verified":true,"tested_token_budget":0,"counterexample_found":false}]}}