Breach-centered sampling of IBL classroom culture

Breach-centered sampling of IBL classroom culture

Definitions and mathematical statement

Shared notation.

Standard number systems are $\mathbb N,\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$. Specialized notation and index ranges follow the cited source and the definitions below.

Inquiry-based learning (IBL) engages students in mathematical investigation and justification. A real-analysis course studies topics such as limits, continuity, and proofs from definitions. A classroom culture consists of expectations and practices for participation, explanation, feedback, and responsibility. A qualitative study analyzes observations and interviews to describe classroom practices and participants' interpretations. A case study examines a bounded classroom or course context; a comparison requires consistent categories and evidence collection across cases.

Record scope and qualifications.

The catalogue title is retained as metadata. Named certificates, contracts, bounds or frameworks in that title are not asserted as results of the original source extract. The extract includes proposed studies and appended discussion. Its empirical hypotheses are not established mathematical theorems, and no fixed causal identification model or validated coding scheme is supplied.

Catalogue screening limitation: Empirical education study and classroom-culture questions, rather than a mathematical statement.

The source snapshot labels this record partially solved; this is catalogue metadata rather than independent verification of a mathematical result or the current completion of a project. The source text below is rendered literally where necessary; damaged formulas and composite extracts are not silently repaired into a new mathematical claim.

Statement recorded in the supplied source.

$1$ What strategies do IBL instructors use to create and sustain an appropriate classroom culture in IBL real analysis courses? $2$ What are the essential aspects of appropriate classroom culture that faculty make explicit moves to establish and maintain, regardless of classroom structure or strategy for doing so?

Abstract: Because IBL instruction departs from the traditional (lecture-style) mathemat-ics classroom contract between teacher and students (and among peers), we anticipate that all IBL instructors use various strategies for creating and maintaining a classroom culture conducive to the expectations and goals of IBL pedagogy. While discussion and self-report of experienced IBL instructors suggests that these strategies are diverse, we hypothesize that the diverse strategies are used to accomplish a more universal set of goals. We pro-pose a study of these teaching moves, their purposes, and their efficacy through qualitative observation of IBL classrooms. We anticipate doing so by identifying key points in which faculty make explicit moves to create and sustain a desirable classroom culture before con-ducting faculty and student interviews around video clips of such events. Eliciting student interpretation of such events and how they arise to breaches of the intended classroom ex-pectations, we anticipate being able to learn about students understanding and adoption of these expectations for learning.

• Video record early classes and then a sampling later in the semester.

• Attend to initial solicitation for buy in to IBL and then to breaches of classroom contract that are negotiated. 3

• Conduct member check interviews for instructor and student interpretations of class-room expectations and the justification for/sources of such expectations. It was proposed to measure student perceptions twice per semester, possibly after 4 and 12 weeks (based upon IBL instructors experiences of the recurrent progression of students affective responses in such courses).

• Possible student questioning strategy: If you could choose how classroom time is spent in the mathematics course you are taking, what percentage of the time would you spend on: professor lecture, student presentations, group work on challenging problems, etc?

• We assume many students will come into an IBL real analysis course with a baseline set of expectations informed by traditional mathematics instruction in which students attempt tasks after receiving relevant direct instruction, students are assessed on private work without publishing student work to other students, and the professor and textbook are the primary sources of new mathematics in the class. IBL is taken to entail the expectation that students attempt proof tasks for which they have not received direct instruction, students present their own work to the class for evaluation, and that students author new mathematical content into the classroom.

• Relevant categories we anticipate may arise in the study:

- Legitimizing failure (or linking success to hard work and repeated attempts)

- Soliciting buy in to the alternative classroom expectations

- Negotiating classroom expectations (of students and teacher)

- Endorsing standards for acceptable proof

- Curtailing undesirable mathematical practices

• We anticipate observing IBL instructors of various levels of experience. Novice in-structors might provide more opportunity to identify breaches and difficulties that require intervention. Observing experienced IBL instructors will aide in identifying successful strategies, since documenting and publishing such strategies is an impor-tant research product.

Learning through proof presentations. The overarching goal of this investigation is to under-stand what students learn in IBL courses when listening to peer proof presentations. Two relevant hypotheses were identified:

Hypothesis 1: Students learn more from proof presentations in an IBL course because they have already attempted the proof tasks before seeing the completed solution.

Hypothesis 2: Students learn more from proof presentations in an IBL course because they pay closer attention to find and identify mistakes, which may depend upon how student listening is guided by the instructor. We propose two possibly independent studies for these two hypotheses.

Research Questions: [S2]

Source status.

The supplied catalogue labels this source record partially solved; that metadata was checked against the supplied snapshot on 2026-10-11. The label is preserved for provenance and is not an independent verification of present open status or mathematical correctness.

Short English statement

Study how IBL instructors establish classroom culture and how students experience it.

Sources

• S1 Ulam AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 20002204 (AIM-INFRASTRUCTURE-0104). Catalogue curation and metadata: CC BY 4.0. The source extract is retained; definitions, English summaries and qualifications are editorial additions. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 AIM Workshop Problem Lists, source linked by catalogue record AIM-INFRASTRUCTURE-0104. http://aimath.org/pastworkshops/iblanalysisrep.pdf.

Preparation and review.

The original source and UnsolvedMath contributors retain attribution for the source extract. Codex (GPT-6; exact serving revision not exposed) assisted with definitions, English summaries, scope notes and formatting. No new human mathematical authorship or independently verified solution is asserted. Permanent source ID 20002204 and code AIM-INFRASTRUCTURE-0104 checked against the complete supplied registry and current repository. Distinct upstream records, including repeated questions and broad or damaged extracts, are retained for complete coverage of the source CS category. A repeated record is not a new independent conjecture. Complete mathematical-equivalence and current-literature review has not been performed. Preparation and final review follow contribution prompts C and D, with source gaps disclosed. Structural and rendering checks do not establish a new theorem or open status.

Research attempt

Literature, source context and scope

The complete catalogue body above retains the original agenda, source status, and historical preparation. The complete primary IBL workshop report was read. Its adjacent study fragments remain in the reproduced source body; this attempt does not silently discard them. The catalogue's earlier proposed frameworks and research summaries are context, not established solutions credited to this attempt. The following is an explicitly limited investigation of one route; it neither substitutes a formalized toy model for the entire source agenda nor claims empirical or deployed-software results. Elementary auxiliary facts are not new original-target progress.

Testing whether selected classroom clips estimate prevalence

The report proposes selecting breaches of classroom expectations for interviews. Such selection can be appropriate for interpretation, but the frequency of a coded move in those clips need not estimate its frequency in all class time. Consider a fixed finite population of $N$ equal-duration windows, with fixed binary code $Y_j$, inclusion indicator $I_j$, and known inclusion probability $\pi_j>0$. No independence between different inclusion indicators is required for the following calculation. The attempted inference from breach-centered clip frequency to ordinary classroom prevalence therefore fails. The weighted repair requires a defined window population and known positive inclusion probabilities; retrospective subjective selection generally supplies neither. It also presupposes a meaningful, consistently measured code. It cannot identify an instructor's intention, a student's interpretation, the causal effect of a teaching move, or universally essential classroom norms.

Verification and remaining gaps

All four possible selections of the two zero windows were enumerated with exact rational arithmetic, reproducing $17/24$ and $1/2$. No classroom videos or interviews were collected. The original qualitative questions and the appended beginning of a proof-learning study remain unanswered. This is the standard inverse-inclusion calculation and a worked selection obstruction, not a new empirical finding.

References and source attribution

Primary source: https://aimath.org/pastworkshops/iblanalysisrep.pdf. Read complete primary ten-page workshop report, including the classroom culture, proof-learning, and Modified Moore Method study proposals and appended material.

All retrievals were checked on 11 October 2026. Original contributor and catalogue attribution remains in the preserved Sources section. The elementary arguments below are self-contained; their exposition is not a claim of first discovery.

Integration review.

Codex (GPT-6; exact serving revision not exposed) reviewed the written arguments and expanded layout and source-reference wrappers. Repository metadata and the production web renderer were checked using Python 3.13 and JavaScript with MathJax 3.2.2. This model-assisted review is not independent human proof verification; no PDF compilation or formal proof checking is asserted.

Completion Estimate

COMPLETION: 0% No substantiated new progress toward the entire original target is claimed. The worked results and failed route are delimited above; a known result, illustrative model, or auxiliary obstruction is not counted as original-target completion.

Final status and attribution

Attempt status: unresolved. This describes this research attempt, not a new ruling on the source catalogue's status or on external literature claims. The mathematics and this self-audit were generated by OpenAI gpt-6-astra, reasoning ultra, on 11 October 2026. Codex (GPT-6; exact serving revision not exposed) orchestrated the batch and contributed formatting/repository review. No human mathematical authorship, independent human proof checking, or formal verification is claimed. The historical preparation paragraphs in the reproduced catalogue body concern that body only.

Contribution prompt A was applied to the complete definition and supplied source record, followed by the adversarial checks of prompt B. Local reproduction files are batch013/checks.py, computations.json, and the per-ID audit JSON. They were not public links at preparation time. Numerical checks are finite and do not prove unrestricted results. No LaTeX engine was found locally; compilation was not performed by this research agent.