[{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"2b0bea6d43416286353bcb2bf30d05365bd901d98fbf898d80b069e97490b1dc","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":211,\"minimum_grade\":null,\"subjects\":[\"PHILOS\"],\"timing\":\"prior\"},\"evidence\":\"PHILOS 211\",\"id\":\"req-1\",\"kind\":\"course\"}],\"notes\":[],\"root\":\"req-1\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"2b0bea6d43416286353bcb2bf30d05365bd901d98fbf898d80b069e97490b1dc","section":"search_profile","status":"valid","value_json":"{\"activity_tags\":[],\"assumed_background\":[],\"search_phrases\":[\"propositional and predicate logic\",\"metatheory of classical logic\",\"independence of rules\",\"completeness theorems\",\"limitations of classical logic\",\"symbolic logic\",\"formal systems\",\"philosophical arguments\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"official_learning_outcomes\",\"outcome_index\":1,\"quote\":\"Symbolize and manipulate logical statements using formal systems.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Symbolize and manipulate logical statements using formal systems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Analyze, construct, and evaluate philosophical arguments.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Analyze, construct, and evaluate philosophical arguments.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"title\",\"quote\":\"SYMBOLIC LOGIC\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"},{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Symbolic Logic covers propositional and predicate logic, emphasizing metatheory, independence of rules, completeness theorems, and limitations of classical logic.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Propositional and predicate logic\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"emphasis on metatheory\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Metatheory\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Independence of rules and completeness theorems\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"technical and philosophical limitations of classical logic\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Technical and philosophical limitations of classical logic\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"2b0bea6d43416286353bcb2bf30d05365bd901d98fbf898d80b069e97490b1dc","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-49752a259f17fab0f49665b3","output_id":"2b0bea6d43416286353bcb2bf30d05365bd901d98fbf898d80b069e97490b1dc","section":"student_summary","status":"valid","value_json":"{\"context_hash\":\"a0617bfe52f0973efbf6b328edcc637c27b025f65a1de7ae2f433b48607fb523\",\"course_id\":\"PHILOS 511\",\"current_instructors\":[],\"difficulty_workload\":[],\"errors\":[],\"historical_context\":[],\"message\":\"No course-specific reviews available\",\"offered\":false,\"profile_hash\":\"3f5110430805ccdd533c0c072df62d68a8a5f5441c4530bbdb15d419a199a09c\",\"quick_take\":[{\"citations\":[{\"course_id\":\"PHILOS 511\",\"run_id\":\"20261014T203208-0851c9a1\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1212\",\"type\":\"grade\"},{\"course_id\":\"PHILOS 511\",\"run_id\":\"20261014T203208-0851c9a1\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1222\",\"type\":\"grade\"},{\"course_id\":\"PHILOS 511\",\"run_id\":\"20261014T203208-0851c9a1\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1232\",\"type\":\"grade\"}],\"text\":\"Recent recorded grades — Fall 2020: 3.75 GPA, 81.2% A/AB (n=16 letter grades); Fall 2021: 3.33 GPA, 66.7% A/AB (n=6 letter grades); Fall 2022: 3.83 GPA, 100.0% A/AB (n=9 letter grades).\"}],\"student_experience\":[],\"task_hash\":\"9dea82ef7f2113a5605c1c6030c4f9b19967eb742cc93a78268fb92357d29f5c\",\"teaching_history\":[],\"term_id\":\"1274\",\"term_name\":\"2027 Sprng\",\"version\":3}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":true},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5882ba5afbefac1ea48abc41dbb78430367aa0cdf53546d41e723a3843db8111","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":211,\"minimum_grade\":null,\"subjects\":[\"PHILOS\"],\"timing\":\"prior\"},\"evidence\":\"PHILOS 211\",\"id\":\"n0\",\"kind\":\"course\"}],\"notes\":[],\"root\":\"n0\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5882ba5afbefac1ea48abc41dbb78430367aa0cdf53546d41e723a3843db8111","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"PHILOS 211\",\"field\":\"description\",\"quote\":\"The formal characteristics of logical truth and inference.\"}],\"text\":\"Foundational understanding of logical truth and inference from elementary logic.\"}],\"search_phrases\":[\"symbolic logic metatheory\",\"propositional predicate logic PHILOS 511\",\"completeness theorems philosophy\",\"classical logic limitations\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"Analysis of propositional and predicate logic systems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Understanding independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"discussion of technical and philosophical limitations of classical logic\"}],\"text\":\"Discussion of technical and philosophical limitations of classical logic.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"title\",\"quote\":\"SYMBOLIC LOGIC\"},{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"PHILOS 511 SYMBOLIC LOGIC covers propositional and predicate logic with an emphasis on metatheory, independence of rules, and completeness theorems.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic\"}],\"text\":\"Propositional and predicate logic.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"metatheory\"}],\"text\":\"Metatheory.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"technical and philosophical limitations of classical logic\"}],\"text\":\"Technical and philosophical limitations of classical logic.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260906T231458-5fdd2fff","observed_at":"2026-09-06 23:14:58.172943+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5291a20b802b9bbbe22b24cb","output_id":"5882ba5afbefac1ea48abc41dbb78430367aa0cdf53546d41e723a3843db8111","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"e82fe48b1ae4e93c92c6b779b10f2eae426dbbbb73dfe03a9503b0d2815012e7","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":211,\"minimum_grade\":null,\"subjects\":[\"PHILOS\"],\"timing\":\"prior\"},\"evidence\":\"PHILOS 211\",\"id\":\"n0\",\"kind\":\"course\"}],\"notes\":[],\"root\":\"n0\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"e82fe48b1ae4e93c92c6b779b10f2eae426dbbbb73dfe03a9503b0d2815012e7","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"PHILOS 211\",\"field\":\"description\",\"quote\":\"The formal characteristics of logical truth and inference.\"}],\"text\":\"Foundational understanding of logical truth and inference from elementary logic.\"}],\"search_phrases\":[\"symbolic logic metatheory\",\"propositional predicate logic PHILOS 511\",\"completeness theorems philosophy\",\"classical logic limitations\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"Analysis of propositional and predicate logic systems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Understanding independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"discussion of technical and philosophical limitations of classical logic\"}],\"text\":\"Discussion of technical and philosophical limitations of classical logic.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"title\",\"quote\":\"SYMBOLIC LOGIC\"},{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"PHILOS 511 SYMBOLIC LOGIC covers propositional and predicate logic with an emphasis on metatheory, independence of rules, and completeness theorems.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic\"}],\"text\":\"Propositional and predicate logic.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"metatheory\"}],\"text\":\"Metatheory.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"technical and philosophical limitations of classical logic\"}],\"text\":\"Technical and philosophical limitations of classical logic.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-5590a4969e0a630fe46a86e8","output_id":"e82fe48b1ae4e93c92c6b779b10f2eae426dbbbb73dfe03a9503b0d2815012e7","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-6556a505c10f448d98d02466","output_id":"0e4937bcbb31b406d2eedd1ac52533a4e3d0341e0372e558db1d6ff0434a852b","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":211,\"minimum_grade\":null,\"subjects\":[\"PHILOS\"],\"timing\":\"prior\"},\"evidence\":\"PHILOS 211\",\"id\":\"req-1\",\"kind\":\"course\"}],\"notes\":[],\"root\":\"req-1\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-6556a505c10f448d98d02466","output_id":"0e4937bcbb31b406d2eedd1ac52533a4e3d0341e0372e558db1d6ff0434a852b","section":"search_profile","status":"valid","value_json":"{\"activity_tags\":[],\"assumed_background\":[],\"search_phrases\":[\"propositional and predicate logic\",\"metatheory of classical logic\",\"independence of rules\",\"completeness theorems\",\"limitations of classical logic\",\"symbolic logic\",\"formal systems\",\"philosophical arguments\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"official_learning_outcomes\",\"outcome_index\":1,\"quote\":\"Symbolize and manipulate logical statements using formal systems.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Symbolize and manipulate logical statements using formal systems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"official_learning_outcomes\",\"outcome_index\":2,\"quote\":\"Analyze, construct, and evaluate philosophical arguments.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Analyze, construct, and evaluate philosophical arguments.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"title\",\"quote\":\"SYMBOLIC LOGIC\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"},{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Symbolic Logic covers propositional and predicate logic, emphasizing metatheory, independence of rules, completeness theorems, and limitations of classical logic.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Propositional and predicate logic\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"emphasis on metatheory\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Metatheory\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Independence of rules and completeness theorems\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"technical and philosophical limitations of classical logic\",\"source_url\":\"https://guide.wisc.edu/courses/philos/\"}],\"text\":\"Technical and philosophical limitations of classical logic\"}]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":false},{"run_id":"20261014T203208-0851c9a1","observed_at":"2026-10-14 17:50:09.728220+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"e360e3a7265f10f09e48b8c6d73b582328cf5e738174bc1ad89d1f388b6636f5","record_version_id":"c24ab3957199e577bb24311dec6e37f6547e9026696544613012ddf30b445213","job_id":"enrich-6556a505c10f448d98d02466","output_id":"0e4937bcbb31b406d2eedd1ac52533a4e3d0341e0372e558db1d6ff0434a852b","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"Qwen/Qwen3.8-27B","model_revision":"1d4bf0f2ff6012fd82039f2fa52739d0dd7c60c0","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"9009aba27be04784243112e7d8b89c4cf7192f4d3f869beb672f1a6c98d813c4","section":"requirements","status":"valid","value_json":"{\"nodes\":[{\"children\":[],\"condition\":null,\"course\":{\"course_number\":211,\"minimum_grade\":null,\"subjects\":[\"PHILOS\"],\"timing\":\"prior\"},\"evidence\":\"PHILOS 211\",\"id\":\"n0\",\"kind\":\"course\"}],\"notes\":[],\"root\":\"n0\",\"status\":\"parsed\"}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"9009aba27be04784243112e7d8b89c4cf7192f4d3f869beb672f1a6c98d813c4","section":"search_profile","status":"valid","value_json":"{\"assumed_background\":[{\"evidence\":[{\"course_id\":\"PHILOS 211\",\"field\":\"description\",\"quote\":\"The formal characteristics of logical truth and inference.\"}],\"text\":\"Foundational understanding of logical truth and inference from elementary logic.\"}],\"search_phrases\":[\"symbolic logic metatheory\",\"propositional predicate logic PHILOS 511\",\"completeness theorems philosophy\",\"classical logic limitations\"],\"skills_taught\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"Analysis of propositional and predicate logic systems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Understanding independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"discussion of technical and philosophical limitations of classical logic\"}],\"text\":\"Discussion of technical and philosophical limitations of classical logic.\"}],\"summary\":{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"title\",\"quote\":\"SYMBOLIC LOGIC\"},{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic, with emphasis on metatheory\"}],\"text\":\"PHILOS 511 SYMBOLIC LOGIC covers propositional and predicate logic with an emphasis on metatheory, independence of rules, and completeness theorems.\"},\"topics\":[{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"Propositional and predicate logic\"}],\"text\":\"Propositional and predicate logic.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"metatheory\"}],\"text\":\"Metatheory.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"independence of rules and completeness theorems\"}],\"text\":\"Independence of rules and completeness theorems.\"},{\"evidence\":[{\"course_id\":\"PHILOS 511\",\"field\":\"description\",\"quote\":\"technical and philosophical limitations of classical logic\"}],\"text\":\"Technical and philosophical limitations of classical logic.\"}]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"9009aba27be04784243112e7d8b89c4cf7192f4d3f869beb672f1a6c98d813c4","section":"student_experience","status":"insufficient_evidence","value_json":"{\"status\":\"insufficient_evidence\",\"themes\":[]}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false},{"run_id":"20260907T155543-ce3781c4","observed_at":"2026-09-07 15:55:43.033547+00:00","course_uid":"course_707b76b8d8be8dc405a97238","course_id":"PHILOS 511","catalog_version_id":"55318339048d276d23a083433dce27173fccc90491cf024abc40b2c774b51e79","record_version_id":"d2bd4860e3ced93c3fcaa64679072990e8db6b904469f6aa9f127a3122f4401a","job_id":"enrich-8b774950c2b6adfdc46d1b82","output_id":"9009aba27be04784243112e7d8b89c4cf7192f4d3f869beb672f1a6c98d813c4","section":"student_summary","status":"valid","value_json":"{\"context_hash\":\"69f07d3f5e86f608a4694e2038ac633a4b577b27f777d8cc776ef2281141f0f9\",\"course_id\":\"PHILOS 511\",\"current_instructors\":[],\"difficulty_workload\":[],\"errors\":[],\"historical_context\":[],\"message\":\"No course-specific reviews available\",\"offered\":false,\"profile_hash\":\"5cb4dabf887cdbcd8c00d5a1312e10828b95c63f30bc3ea76aea199565390d02\",\"quick_take\":[{\"citations\":[{\"course_id\":\"PHILOS 511\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1212\",\"type\":\"grade\"},{\"course_id\":\"PHILOS 511\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1222\",\"type\":\"grade\"},{\"course_id\":\"PHILOS 511\",\"run_id\":\"20260907T155543-ce3781c4\",\"source_record\":{\"entity_id\":\"42000992-0ae8-38c3-82c3-d647318cec21\",\"file\":\"tables/observations.parquet\",\"kind\":\"grades\",\"source\":\"madgrades\"},\"table\":\"grades_latest\",\"term_id\":\"1232\",\"type\":\"grade\"}],\"text\":\"Recent recorded grades — Fall 2020: 3.75 GPA, 81.2% A/AB (n=16 letter grades); Fall 2021: 3.33 GPA, 66.7% A/AB (n=6 letter grades); Fall 2022: 3.83 GPA, 100.0% A/AB (n=9 letter grades).\"}],\"student_experience\":[],\"task_hash\":\"74fb0997943e888960bbc9e47db8c4fd12e4292d55c20509d8d89db6a9910f68\",\"teaching_history\":[],\"term_id\":\"1272\",\"term_name\":\"2026 Fall\",\"version\":2}","candidate_json":null,"error":null,"model":"nvidia/Qwen3.6-35B-A3B-NVFP4","model_revision":"1355db6a052410cfd62085d94b58866fd0f2c3c5","selected_for_release":false}]