Module Glossary

Glossary Fit

flowchart TD
  directory["This directory"] --> glossary["Glossary"]
  glossary --> terms["Stable local terms"]
  terms --> reading["Reading and examples"]
  terms --> practice["Exercises and review"]
  terms --> proof["Capstone proof and discussion"]

flowchart TD
  pressure["Hit an unfamiliar term"] --> lookup["Open the glossary entry"]
  lookup --> confirm["Match the term to the local meaning"]
  confirm --> return["Return to the lesson or guide"]
  return --> reuse["Reuse the same wording in notes, code review, and proof"]

This glossary belongs to Module 08: Testing, Contracts, and Verification Depth in Python Object-Oriented Programming. It keeps the language of this directory stable so the same ideas keep the same names across reading, practice, review, and capstone proof.

How to use this glossary

Read the directory index first, then return here whenever a page, command, or review discussion starts to feel more vague than the course intends. The goal is stable language, not extra theory.

Terms in this directory

Term	Meaning in this directory
Behavior-First Tests for Domain Objects	the module's treatment of behavior-first tests for domain objects, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Contract Tests for Repositories and Adapters	the module's treatment of contract tests for repositories and adapters, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Fakes, Stubs, Spies, and When Mocks Hurt	the module's treatment of fakes, stubs, spies, and when mocks hurt, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Fixtures, Builders, and Test Data Ownership	the module's treatment of fixtures, builders, and test data ownership, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Golden Files, Snapshots, and Approval Boundaries	the module's treatment of golden files, snapshots, and approval boundaries, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Integration Suites and Confidence Ladders	the module's treatment of integration suites and confidence ladders, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Property-Based Testing for Object Models	the module's treatment of property-based testing for object models, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Refactor: Tests toward Contract-Driven Confidence	the module's treatment of refactor: tests toward contract-driven confidence, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Runtime Contracts, Assertions, and Defensive Checks	the module's treatment of runtime contracts, assertions, and defensive checks, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.
Stateful Testing and Transition Coverage	the module's treatment of stateful testing and transition coverage, used to make the module's main design claim concrete in design work, refactoring, and capstone evidence.