{"ok":true,"service":"telemetry.thomas.md","backend":"postgresql","segregated_store":true,"store_dir":"/srv/telemetry-hub","streams":{"turbo-lean":19,"lean-native":12,"certified-research":574},"namespaces":{"th0rgal":605},"blobs_count":60,"research_telemetry_count":574,"research_priors_count":148,"recent":{"lean-native":[{"decl":{"name":"flac_lpc_autocorr_dot_simd","features":{"n_instr":5,"n_loops":1,"n_blocks":2,"max_loop_depth":1,"width_histogram":{"u64":2,"bool":0,"u256":0}},"lnir_raw_blob":"blake3:7905d556164e3479f97717b887993095ccc1655105a946ccd4931e0bb0dc081a","structural_hash":"be9d22b544b068da","lnir_canonical_debruijn_blob":"blake3:94fc0304be375f7d14f755ba50b9f9fb00b2be40873110d709a8f4ef3de16517"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"LeanAV.DSP.Kernels","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Analyzed and annotated 2 SIMD/data-parallel loop/borrow regions (!llvm.loop.vectorize.enable)"},"step_idx":0,"pass_history":[],"pass_or_rule":"builtin:loop-vectorize","after_ir_blob":"blake3:acb1a4bfa3f5af6f276fa146c6c719a54e335a429d5d5e25e0d1d50fe024fea6","before_ir_blob":"blake3:7905d556164e3479f97717b887993095ccc1655105a946ccd4931e0bb0dc081a","theorem_or_rule":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","after_debruijn_blob":"blake3:b4ca5e69a52434e6d636f80df23d42f755e760e27dc8e6cc35cc542585afb16b"},"event_id":"1f2dfb86203acae77c293af15021244b","namespace":"th0rgal","cost_model":{"cost_after":0,"cost_before":0},"machine_id":"c8f5e898f0991e24","project_id":"d2ff477171f858de","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-fbb2eedd9c86","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-22T12:55:13.393600+00:00","timestamp_ns":17311554074807,"namespace_verified":true},{"decl":{"name":"h264_idct_tuple_accum_sroa","features":{"n_instr":10,"n_loops":1,"n_blocks":3,"max_loop_depth":1,"width_histogram":{"u64":7,"bool":0,"u256":0}},"lnir_raw_blob":"blake3:3930efd692af9fbf1cb4333d42983e62dc23f103bc439f84a0172e9dd42a3ca3","structural_hash":"ad14feff24173443","lnir_canonical_debruijn_blob":"blake3:3eec107c1bf68c7fc718441c48062165ae408f823aa3f95eb8781ad5bc95c07f"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"LeanAV.DSP.Kernels","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Strength reduction (*2^k -> <<<k, /2^k -> >>>k, %2^k -> &&&(2^k-1)), identity folding, constant branch elimination, and EVM SSTORE->SLOAD forwarding (storageStore_load_same_sound)"},"step_idx":0,"pass_history":[],"pass_or_rule":"builtin:algebraic-peephole","after_ir_blob":"blake3:bfc7344f397e6f2e7d00246df74b0590193ee5d4467b8455be033ac7ac4bb2ec","before_ir_blob":"blake3:3930efd692af9fbf1cb4333d42983e62dc23f103bc439f84a0172e9dd42a3ca3","theorem_or_rule":"LeanNative.Proofs.PeepholeProofs.rewriteScalarPeephole_sound","after_debruijn_blob":"blake3:ce122d2cbbc22b7806df297dd935ba98776f9b7a670af24d992403879c507d59"},"event_id":"d6b6196dc43ce185507f63f5d3ab175e","namespace":"th0rgal","cost_model":{"cost_after":3,"cost_before":6},"machine_id":"c8f5e898f0991e24","project_id":"d2ff477171f858de","rl_outcome":{"rejection_stage":null,"reward_components":{"tv_passed":1.0,"cost_delta":3,"kernel_verified":1.0},"accepted_into_pipeline":true},"session_id":"sess-fbb2eedd9c86","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.PeepholeProofs.rewriteScalarPeephole_sound","evidence_kind":"reflective"}},"received_at":"2026-10-22T12:55:13.393600+00:00","timestamp_ns":17311554074807,"namespace_verified":true},{"decl":{"name":"swscale_luma_gain_bias_simd","features":{"n_instr":9,"n_loops":1,"n_blocks":3,"max_loop_depth":1,"width_histogram":{"u64":4,"bool":0,"u256":0}},"lnir_raw_blob":"blake3:b7522c14d70d8c64152f5260750039f67acb29c47876cc9a2e65e675f57920b6","structural_hash":"82aff6c0b6605d96","lnir_canonical_debruijn_blob":"blake3:0dda081645070cab7b3434a7d63ecba87227753afbe894f23b87c95b1e107554"},"schema":"lean-native.telemetry.v1","context":{"target":"x86_64","module_name":"LeanAV.DSP.Kernels","lean_native_version":"0.5.0"},"decision":{"proposer":{"kind":"builtin_verified","notes":"Hoists sarrayEnsureExclusive and sarrayDataPtr before seqFor loops and rewrites inside-loop sarrayGet/sarraySet to rawLoad/rawStore"},"step_idx":0,"pass_history":[],"pass_or_rule":"builtin:hoist-exclusivity","after_ir_blob":"blake3:ac5068996aab4da248613fed61d60b05a3477c7cd2d4f5b59f30e2ecf9409c3a","before_ir_blob":"blake3:b7522c14d70d8c64152f5260750039f67acb29c47876cc9a2e65e675f57920b6","theorem_or_rule":"LeanNative.Proofs.LoopOptProofs.hoistExclusivity_sound","after_debruijn_blob":"blake3:6d7b1f859b052ac29a46d82c516b5df298e05ec2e8e0cfce66b8b3c412d14642"},"event_id":"770cc4ac8aacf17d8be34a00bb3e963e","namespace":"th0rgal","cost_model":{"cost_after":3,"cost_before":3},"machine_id":"c8f5e898f0991e24","project_id":"d2ff477171f858de","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-fbb2eedd9c86","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-22T12:55:13.393600+00:00","timestamp_ns":17311554074807,"namespace_verified":true}],"turbo-lean":[{"schema":"turbo-lean.telemetry.v1","event_id":"2708dc342e9fa581c1c3a8a1c918a23f","cache_hit":false,"decl_name":null,"namespace":"th0rgal","tool_name":"turbo_audit_spec","elapsed_ms":2.318,"heartbeats":0,"machine_id":"c85c195cccd807f4","project_id":"603cc4e6ad99cd9e","session_id":"sess-75289","received_at":"2026-10-22T13:09:11.719793+00:00","stage1_tpu_ms":2.318,"zygote_verified":false,"accelerator_name":null,"raw_output_bytes":800,"stage2_zygote_ms":0.0,"stage1_tpu_reject":false,"namespace_verified":true,"accelerator_rewrite":false,"winning_tactic_hint":null,"compact_output_bytes":120},{"schema":"turbo-lean.telemetry.v1","event_id":"522eb992751c7c0fc4f1c5824b6738a1","cache_hit":false,"decl_name":null,"namespace":"th0rgal","tool_name":"turbo_audit_spec","elapsed_ms":2.299,"heartbeats":0,"machine_id":"c85c195cccd807f4","project_id":"603cc4e6ad99cd9e","session_id":"sess-71754","received_at":"2026-10-22T12:57:10.789576+00:00","stage1_tpu_ms":2.299,"zygote_verified":false,"accelerator_name":null,"raw_output_bytes":800,"stage2_zygote_ms":0.0,"stage1_tpu_reject":false,"namespace_verified":true,"accelerator_rewrite":false,"winning_tactic_hint":null,"compact_output_bytes":120},{"schema":"turbo-lean.telemetry.v1","event_id":"993a57be157aee3ff8cf9e6e3fa74f0c","cache_hit":false,"decl_name":null,"namespace":"th0rgal","tool_name":"turbo_audit_spec","elapsed_ms":2.709,"heartbeats":0,"machine_id":"c8f5e898f0991e24","project_id":"0f44e9e7d5e4d600","session_id":"sess-373946","received_at":"2026-10-22T12:49:30.976242+00:00","stage1_tpu_ms":2.709,"zygote_verified":false,"accelerator_name":null,"raw_output_bytes":800,"stage2_zygote_ms":0.0,"stage1_tpu_reject":false,"namespace_verified":true,"accelerator_rewrite":false,"winning_tactic_hint":null,"compact_output_bytes":120}],"certified-research":[{"tags":["campaign:universal_matryoshka_v3_1","wave:54","tier_aware_router:true","direct_int8_q8:true"],"domain":"gpu_kernel","schema":"certified-research.telemetry.v1","metrics":{"epochs":10,"wave_idx":54,"s0_recall12":0.9149,"s1_recall12":0.9163,"s3_recall12":0.9227,"s4_recall12":0.9227,"cost_log_us_mae":0.6476,"survival_accuracy":null,"premise_recall_at_12":0.9227,"premise_recall_at_24":0.951,"tactic_skeleton_top1_acc":0.7476},"outcome":"SOLVED","event_id":"maxwell-wave-sess-maxwell-v31-continuous-w54-trm","task_key":"wave_54_ofa_block16_q8_nvfp4","namespace":"th0rgal","timestamp":"2026-10-22T14:28:23.534285+00:00","goal_class":"universal_matryoshka_forest_speculation_v3_1","machine_id":"c85c195cccd807f4","mission_id":"sess-maxwell-v31-continuous","project_id":"689ca8bc836c5dff","session_id":"sess-maxwell-v31-continuous","received_at":"2026-10-22T14:28:23.823407+00:00","solver_model":"builtin/smart","actual_tokens":4200,"boss_verified":true,"predicted_axes":{"effort_p50":4500,"effort_p90":9000,"prob_permille":900,"impact_permille":950},"actual_elapsed_ms":59509,"actual_heartbeats":1850,"namespace_verified":true},{"tags":["campaign:universal_matryoshka_v3_1","wave:53","tier_aware_router:true","direct_int8_q8:true"],"domain":"gpu_kernel","schema":"certified-research.telemetry.v1","metrics":{"epochs":10,"wave_idx":53,"s0_recall12":0.9149,"s1_recall12":0.9163,"s3_recall12":0.9227,"s4_recall12":0.9227,"cost_log_us_mae":0.6476,"survival_accuracy":null,"premise_recall_at_12":0.9227,"premise_recall_at_24":0.951,"tactic_skeleton_top1_acc":0.7476},"outcome":"SOLVED","event_id":"maxwell-wave-sess-maxwell-v31-continuous-w53-trm","task_key":"wave_53_ofa_block16_q8_nvfp4","namespace":"th0rgal","timestamp":"2026-10-22T14:26:58.084726+00:00","goal_class":"universal_matryoshka_forest_speculation_v3_1","machine_id":"c85c195cccd807f4","mission_id":"sess-maxwell-v31-continuous","project_id":"689ca8bc836c5dff","session_id":"sess-maxwell-v31-continuous","received_at":"2026-10-22T14:26:58.378524+00:00","solver_model":"builtin/smart","actual_tokens":4200,"boss_verified":true,"predicted_axes":{"effort_p50":4500,"effort_p90":9000,"prob_permille":900,"impact_permille":950},"actual_elapsed_ms":59006,"actual_heartbeats":1850,"namespace_verified":true},{"tags":["campaign:universal_matryoshka_v3_1","wave:52","tier_aware_router:true","direct_int8_q8:true"],"domain":"gpu_kernel","schema":"certified-research.telemetry.v1","metrics":{"epochs":10,"wave_idx":52,"s0_recall12":0.9149,"s1_recall12":0.9163,"s3_recall12":0.9227,"s4_recall12":0.9227,"cost_log_us_mae":0.6476,"survival_accuracy":null,"premise_recall_at_12":0.9227,"premise_recall_at_24":0.951,"tactic_skeleton_top1_acc":0.7476},"outcome":"SOLVED","event_id":"maxwell-wave-sess-maxwell-v31-continuous-w52-trm","task_key":"wave_52_ofa_block16_q8_nvfp4","namespace":"th0rgal","timestamp":"2026-10-22T14:25:33.177229+00:00","goal_class":"universal_matryoshka_forest_speculation_v3_1","machine_id":"c85c195cccd807f4","mission_id":"sess-maxwell-v31-continuous","project_id":"689ca8bc836c5dff","session_id":"sess-maxwell-v31-continuous","received_at":"2026-10-22T14:25:33.446135+00:00","solver_model":"builtin/smart","actual_tokens":4200,"boss_verified":true,"predicted_axes":{"effort_p50":4500,"effort_p90":9000,"prob_permille":900,"impact_permille":950},"actual_elapsed_ms":58520,"actual_heartbeats":1850,"namespace_verified":true}]}}