{"id":"W4408691154","doi":"10.1016/j.tcs.2025.115192","title":"A theory of fine-grained lineage for functions on structured objects","year":2025,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Scientific Computing and Data Management","field":"Decision Sciences","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Computer science; Lineage (genetic); Mathematics; Theoretical computer science; Biology; Genetics; Gene","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007899488,0.000864691,0.0009199998,0.002856053,0.003282523,0.006145902,0.002654311,0.003193152,0.004420605],"category_scores_gemma":[0.01578863,0.001042677,0.002624415,0.003027343,0.01070607,0.01875589,0.004944273,0.003889978,0.0009009581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002985577,"about_ca_system_score_gemma":0.002345221,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002637154,"about_ca_topic_score_gemma":0.001767665,"domain_scores_codex":[0.9960224,0.001155858,0.0003967701,0.000821546,0.001199533,0.0004038143],"domain_scores_gemma":[0.9897653,0.005425591,0.0008203621,0.002713427,0.001007344,0.0002679971],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006850124,0.000005498798,0.0001598576,0.00003215535,0.000005797071,0.00004921198,0.0002648128,0.002739887,0.0003848868,0.9916741,0.000288422,0.004388457],"study_design_scores_gemma":[0.00001258167,0.00003286368,0.000150836,0.00004613382,0.00002091047,0.0001895327,0.0000786603,0.02686186,0.001135948,0.9515738,0.01987302,0.00002384522],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005049063,0.0004000746,0.9889652,0.0006019384,0.00005094485,0.00007114163,0.00008639737,0.0002002531,0.004575119],"genre_scores_gemma":[0.2118542,0.001201378,0.7760132,0.0009038344,0.0003786173,0.0007229061,0.0004664598,0.000334714,0.008124718],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007899488,"threshold_uncertainty_score":0.04177701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05169957440451233,"score_gpt":0.3617755050164918,"score_spread":0.3100759306119795,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}