{"id":"W7113480626","doi":"","title":"Advancing File System Model Checking: Coverage, Framework, and Scalability","year":2025,"lang":"","type":"article","venue":"Academic Commons (Stony Brook University)","topic":"Advanced Data Storage Technologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"File system; Scalability; Fork (system call); Correctness; File system fragmentation; Consistency (knowledge bases); Device file; Distributed File System; Container (type theory)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science","research_integrity"],"consensus_categories":["research_integrity"],"category_scores_codex":[0.0005911874,0.0007803246,0.001012495,0.001380569,0.001218576,0.0001661009,0.004715595,0.001532437,0.00004716254],"category_scores_gemma":[0.001249985,0.0009951241,0.0002128556,0.003622674,0.001305885,0.002727526,0.009188643,0.004181587,0.00003533592],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002332898,"about_ca_system_score_gemma":0.0007501958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007493067,"about_ca_topic_score_gemma":0.00004386902,"domain_scores_codex":[0.995078,0.0003158312,0.0007730994,0.002024986,0.0005047795,0.001303358],"domain_scores_gemma":[0.9941483,0.001807455,0.0005293712,0.002896873,0.0002536805,0.0003643445],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001409665,0.0001432151,0.00471411,0.0008542722,0.0001918637,0.0002549989,0.0008733272,0.01511194,0.0005321973,0.8371723,0.01554951,0.1244614],"study_design_scores_gemma":[0.001479707,0.0001447955,0.001365078,0.003931463,0.0003121748,0.00006895869,0.002256043,0.8180099,0.001155843,0.05962473,0.1099603,0.001691017],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01940085,0.002528717,0.9557,0.002022947,0.0005840264,0.0008144717,0.0007696997,0.001568547,0.01661071],"genre_scores_gemma":[0.9213799,0.001579105,0.06719752,0.0003627376,0.00004390844,0.000007865418,0.00003181571,0.00004130788,0.009355812],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9019791,"threshold_uncertainty_score":0.9997638,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01308180848292461,"score_gpt":0.245301132852997,"score_spread":0.2322193243700724,"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."}}