Directory listing for /task-12-independent-verification-r7/static/type-narrowing/

• focused-delta-report.json
• home/
• pycache/
• r6-rejected-basedpyright.json
• r6-rejected-basedpyright.returncode
• r6-rejected-basedpyright.stderr
• r6-rejected-ty.log
• r6-rejected-ty.returncode
• r6-to-r7.diff
• r7-candidate-basedpyright.json
• r7-candidate-basedpyright.returncode
• r7-candidate-basedpyright.stderr
• r7-candidate-ty.log
• r7-candidate-ty.returncode
• report.json