在刑事诉讼中，免证事实是指那些无需通过证据证明，即可直接被认定的事实。这些事实通常基于法律规定、常识、逻辑或经验法则，被视为不言自明或无需额外证明的。以下是对刑事诉讼中免证事实的详细解释：
一、免证事实的种类
众所周知的事实：
- 这些事实是在一定范围内为公众所普遍知晓的，如历史事件、地理常识、科学原理等。在刑事诉讼中，如果某一事实属于众所周知，那么无需通过证据来证明其真实性。
自然规律及定理：
- 自然规律和定理是科学上的基本原理，如万有引力定律、能量守恒定律等。这些规律和定理在刑事诉讼中可以直接作为认定事实的依据，无需额外证明。
推定的事实：
- 推定是指根据已知的事实，通过逻辑推理或经验法则，推断出另一事实的存在。在刑事诉讼中，某些事实可以通过推定来认定，如根据被告人的行为、言辞等推断其主观意图。但需要注意的是，推定并非绝对，如果存在相反证据，推定的事实可能被推翻。
已为人民法院发生法律效力的裁判所确认的事实：
- 如果某一事实已经被人民法院在之前的裁判中确认，那么在后续的刑事诉讼中，该事实无需再次证明。这是基于司法裁判的既判力和权威性。
已为仲裁机构的生效裁决所确认的事实：
- 与人民法院的裁判类似，如果某一事实已经被仲裁机构在生效裁决中确认，那么在刑事诉讼中也可以直接作为认定事实的依据。
已为有效公证文书所证明的事实：
- 公证文书是由公证机构出具的，具有法律效力的证明文件。如果某一事实已经被有效公证文书所证明，那么在刑事诉讼中无需额外证明其真实性。
二、免证事实在刑事诉讼中的应用
提高诉讼效率：
- 免证事实的应用可以大大减少刑事诉讼中的证明环节，从而提高诉讼效率。对于众所周知的事实、自然规律及定理等，无需花费时间和精力去收集证据和进行证明，可以直接作为认定事实的依据。
保障司法公正：
- 免证事实的应用也有助于保障司法公正。对于已经为人民法院发生法律效力的裁判所确认的事实、已为仲裁机构的生效裁决所确认的事实等，直接作为认定事实的依据可以避免重复证明和可能的矛盾判决。
注意免证事实的例外：
- 虽然免证事实在刑事诉讼中具有重要作用，但也需要注意其例外情况。例如，如果存在相反证据足以推翻免证事实，或者免证事实与案件的其他事实存在矛盾等，那么免证事实可能不被采纳。
三、实际案例说明
假设在一起刑事案件中，被告人被指控犯有盗窃罪。在庭审过程中，公诉机关指控被告人曾在某商场盗窃了一部手机。为了证明这一事实，公诉机关提供了商场的监控录像作为证据。然而，在庭审过程中，被告人提出异议，称监控录像中的时间与实际时间不符。此时，如果商场的监控录像时间已经被有效公证文书所证明，且没有相反证据推翻这一公证事实，那么监控录像中的时间就可以作为免证事实被直接采纳，无需额外证明其真实性。
如有任何关于刑事诉讼中免证事实或其他法律问题的疑问，可以直接向我咨询。我会结合你的具体情况，为你提供全面、准确的法律解答。