{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01113213,0.0001455664,0.0002704529,0.0007413019,0.0005143805,0.0004531629,0.002412105,0.0000387112,0.0001459539],"category_scores_gemma":[0.006004647,0.00009608024,0.0001379762,0.003042193,0.00254208,0.0001536246,0.0009043062,0.0001089891,0.00004517681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003039692,"about_ca_system_score_gemma":0.0001535992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001078116,"about_ca_topic_score_gemma":0.000002056014,"domain_scores_codex":[0.9966308,0.0001876776,0.0005752821,0.001008941,0.001214828,0.0003823989],"domain_scores_gemma":[0.9928999,0.004752946,0.0001348702,0.00156874,0.0005237155,0.0001198441],"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.00007997713,0.00005521691,0.00002712403,0.000005315952,0.000006139815,5.996948e-7,0.0001472774,0.000898991,0.0002762846,0.8822212,0.003769789,0.1125121],"study_design_scores_gemma":[0.0004284765,0.0002564107,0.001852759,0.00004216483,0.00001459735,0.000001031105,0.0001119497,0.2633241,0.004135159,0.7273952,0.002314477,0.0001236311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04437831,0.00001037111,0.9401895,0.0006871935,0.002485831,0.0003274292,0.00003530734,0.00006545934,0.01182062],"genre_scores_gemma":[0.9701144,1.707527e-7,0.02828897,0.0005231209,0.00008442599,0.000008282625,0.000003734014,0.000003765247,0.0009731215],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9257361,"threshold_uncertainty_score":0.9366398,"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."}}