DSA-1 CO4 | Week 7 Lecture 1 | Part 3/6 | Binary-search contracts and insertion points

DSA-1 (26SC1203E) - revised two-weeks-per-CO sequence. CO4: teaching Weeks 7-8. Week 7, Lecture 1: Binary-search contracts and insertion points. Part 3 of 6; slides 7-8. Watch the numbered parts in order. Local SvaraCraft M1 narration, timed yellow/cyan annotations and English captions. Follow the guided pauses and write your own predictions, tests and reasoning. Student-lab solutions and private answer keys are excluded. Narration uses an AI-generated voice. Teaching materials: https://chaitanyakumar.in/dsa1 University SLM: https://y26btech.klef.in/slm/26SC1203... Original SLM week numbers identify source readings; the revised teaching plan governs delivery. Chapters 00:00 Slide 7 / Repeated halving to logarithmic probes 00:24 Slide 7 / n=1 to 1 probe; n=8 to 4 probes 00:41 Slide 7 / 1024 to 11 probes / 1,000,000 to 20 00:59 Slide 7 / Exact counts belong to this equality-search loop 02:53 Slide 8 / Two minutes: trace 2, -1, 12 and empty input 05:16 Slide 8 / Target 2: [0,5] to [0,1] to [1,1] to empty 05:36 Slide 8 / First element to 0 / last element to 5 05:55 Slide 8 / Empty input: loop condition prevents every probe