pytest-obligation 0.8.0__py3-none-any.whl

due_work_harness/__init__.py

@@ -0,0 +1,70 @@
+"""Legacy imports, isolated from the canonical pytest_obligation implementation.
+
+Aliases resolve lazily so importing this package never eagerly imports optional
+framework adapters. Each old submodule points to the canonical module object:
+contexts, registries, monkeypatches and class identities cannot diverge.
+"""
+
+import importlib
+import importlib.abc
+import importlib.util
+import sys
+from collections.abc import Sequence
+from importlib.machinery import ModuleSpec
+from types import CodeType, ModuleType
+
+import pytest_obligation as _canonical
+from pytest_obligation import *  # noqa: F403
+from pytest_obligation import ObligationContract as DueWorkContract
+from pytest_obligation import ObligationContractDesignError as DueWorkContractDesignError
+from pytest_obligation import __version__ as __version__
+
+__all__ = [*_canonical.__all__, "DueWorkContract", "DueWorkContractDesignError"]
+
+
+class _AliasLoader(importlib.abc.Loader):
+    def __init__(self, canonical_name: str) -> None:
+        self.canonical_name = canonical_name
+        self.canonical_spec: ModuleSpec | None = None
+
+    def create_module(self, spec: ModuleSpec) -> ModuleType:
+        module = importlib.import_module(self.canonical_name)
+        self.canonical_spec = module.__spec__
+        # Old pickle/import paths resolve to actual renamed classes, not subclasses.
+        for legacy_name, canonical_name in (
+            ("DueWorkContract", "ObligationContract"),
+            ("DueWorkContractDesignError", "ObligationContractDesignError"),
+        ):
+            if canonical_name in module.__dict__:
+                module.__dict__[legacy_name] = module.__dict__[canonical_name]
+        return module
+
+    def exec_module(self, module: ModuleType) -> None:
+        # Import machinery overwrites __spec__ with the alias spec. Restore the
+        # canonical identity so relative imports, introspection and reload stay sound.
+        assert self.canonical_spec is not None
+        module.__spec__ = self.canonical_spec
+
+    def get_code(self, fullname: str) -> CodeType | None:
+        # Preserve `python -m due_work_harness.coverage.cli` as well as imports.
+        spec = importlib.util.find_spec(self.canonical_name)
+        assert spec is not None and isinstance(spec.loader, importlib.abc.InspectLoader)
+        return spec.loader.get_code(self.canonical_name)
+
+
+class _AliasFinder(importlib.abc.MetaPathFinder):
+    def find_spec(
+        self, fullname: str, path: Sequence[str] | None = None, target: ModuleType | None = None
+    ) -> ModuleSpec | None:
+        if not fullname.startswith("due_work_harness."):
+            return None
+        canonical_name = "pytest_obligation" + fullname.removeprefix("due_work_harness")
+        spec = importlib.util.find_spec(canonical_name)
+        if spec is None:
+            return None
+        return importlib.util.spec_from_loader(
+            fullname, _AliasLoader(canonical_name), is_package=spec.submodule_search_locations is not None
+        )
+
+
+sys.meta_path.insert(0, _AliasFinder())

due_work_harness/__init__.pyi

@@ -0,0 +1,2 @@
+from pytest_obligation import *  # noqa: F403
+from pytest_obligation import __version__ as __version__

due_work_harness/binding.pyi

@@ -0,0 +1 @@
+from pytest_obligation.binding import *  # noqa: F403

due_work_harness/coherence.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coherence import *  # noqa: F403

due_work_harness/contract.pyi

@@ -0,0 +1 @@
+from pytest_obligation.contract import *  # noqa: F403

due_work_harness/coverage/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage import *  # noqa: F403

due_work_harness/coverage/cli.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.cli import *  # noqa: F403

due_work_harness/coverage/config.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.config import *  # noqa: F403

due_work_harness/coverage/declarations.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.declarations import *  # noqa: F403

due_work_harness/coverage/handoffs.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.handoffs import *  # noqa: F403

due_work_harness/coverage/project.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.project import *  # noqa: F403

due_work_harness/coverage/report.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.report import *  # noqa: F403

due_work_harness/coverage/scan.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.scan import *  # noqa: F403

due_work_harness/coverage/sites.pyi

@@ -0,0 +1 @@
+from pytest_obligation.coverage.sites import *  # noqa: F403

due_work_harness/crash_histories.pyi

@@ -0,0 +1 @@
+from pytest_obligation.crash_histories import *  # noqa: F403

due_work_harness/evidence/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.evidence import *  # noqa: F403

due_work_harness/evidence/observation.pyi

@@ -0,0 +1 @@
+from pytest_obligation.evidence.observation import *  # noqa: F403

due_work_harness/evidence/observation_report.pyi

@@ -0,0 +1 @@
+from pytest_obligation.evidence.observation_report import *  # noqa: F403

due_work_harness/exemptions.pyi

@@ -0,0 +1 @@
+from pytest_obligation.exemptions import *  # noqa: F403

due_work_harness/faults.pyi

@@ -0,0 +1 @@
+from pytest_obligation.faults import *  # noqa: F403

due_work_harness/gap_probes.pyi

@@ -0,0 +1 @@
+from pytest_obligation.gap_probes import *  # noqa: F403

due_work_harness/helpers.pyi

@@ -0,0 +1 @@
+from pytest_obligation.helpers import *  # noqa: F403

due_work_harness/host.pyi

@@ -0,0 +1 @@
+from pytest_obligation.host import *  # noqa: F403

due_work_harness/integrations/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations import *  # noqa: F403

due_work_harness/integrations/aiokafka.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.aiokafka import *  # noqa: F403

due_work_harness/integrations/celery.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.celery import *  # noqa: F403

due_work_harness/integrations/celery_worker.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.celery_worker import *  # noqa: F403

due_work_harness/integrations/clocks.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.clocks import *  # noqa: F403

due_work_harness/integrations/dbos.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.dbos import *  # noqa: F403

due_work_harness/integrations/django/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django import *  # noqa: F403

due_work_harness/integrations/django/admission.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.admission import *  # noqa: F403

due_work_harness/integrations/django/callbacks.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.callbacks import *  # noqa: F403

due_work_harness/integrations/django/commands.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.commands import *  # noqa: F403

due_work_harness/integrations/django/commits.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.commits import *  # noqa: F403

due_work_harness/integrations/django/lifecycle_references.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.lifecycle_references import *  # noqa: F403

due_work_harness/integrations/django/lifecycle_states.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.lifecycle_states import *  # noqa: F403

due_work_harness/integrations/django/lock_order.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.lock_order import *  # noqa: F403

due_work_harness/integrations/django/receivers.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.receivers import *  # noqa: F403

due_work_harness/integrations/django/references.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.references import *  # noqa: F403

due_work_harness/integrations/django/selection.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.selection import *  # noqa: F403

due_work_harness/integrations/django/writes.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django.writes import *  # noqa: F403

due_work_harness/integrations/django_tasks.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.django_tasks import *  # noqa: F403

due_work_harness/integrations/mongodb.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.mongodb import *  # noqa: F403

due_work_harness/integrations/postgres_plans.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.postgres_plans import *  # noqa: F403

due_work_harness/integrations/prefect.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.prefect import *  # noqa: F403

due_work_harness/integrations/procrastinate.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.procrastinate import *  # noqa: F403

due_work_harness/integrations/redis.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.redis import *  # noqa: F403

due_work_harness/integrations/rq.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.rq import *  # noqa: F403

due_work_harness/integrations/task_queues.pyi

@@ -0,0 +1 @@
+from pytest_obligation.integrations.task_queues import *  # noqa: F403

due_work_harness/interleavings/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings import *  # noqa: F403

due_work_harness/interleavings/adapters/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.adapters import *  # noqa: F403

due_work_harness/interleavings/adapters/integration.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.adapters.integration import *  # noqa: F403

due_work_harness/interleavings/bindings.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.bindings import *  # noqa: F403

due_work_harness/interleavings/engine/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.engine import *  # noqa: F403

due_work_harness/interleavings/engine/catalog.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.engine.catalog import *  # noqa: F403

due_work_harness/interleavings/engine/causality.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.engine.causality import *  # noqa: F403

due_work_harness/interleavings/engine/provider.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.engine.provider import *  # noqa: F403

due_work_harness/interleavings/engine/runner.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.engine.runner import *  # noqa: F403

due_work_harness/interleavings/exploration/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.exploration import *  # noqa: F403

due_work_harness/interleavings/exploration/hypothesis.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.exploration.hypothesis import *  # noqa: F403

due_work_harness/interleavings/model.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.model import *  # noqa: F403

due_work_harness/interleavings/ports.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.ports import *  # noqa: F403

due_work_harness/interleavings/testing/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.testing import *  # noqa: F403

due_work_harness/interleavings/testing/reference.pyi

@@ -0,0 +1 @@
+from pytest_obligation.interleavings.testing.reference import *  # noqa: F403

due_work_harness/models.pyi

@@ -0,0 +1 @@
+from pytest_obligation.models import *  # noqa: F403

due_work_harness/process_histories.pyi

@@ -0,0 +1 @@
+from pytest_obligation.process_histories import *  # noqa: F403

due_work_harness/profiles/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles import *  # noqa: F403

due_work_harness/profiles/automatic_recovery.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.automatic_recovery import *  # noqa: F403

due_work_harness/profiles/bounded_ownership.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.bounded_ownership import *  # noqa: F403

due_work_harness/profiles/catalog.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.catalog import *  # noqa: F403

due_work_harness/profiles/coverage.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.coverage import *  # noqa: F403

due_work_harness/profiles/crash_ambiguity.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.crash_ambiguity import *  # noqa: F403

due_work_harness/profiles/durable_retention.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.durable_retention import *  # noqa: F403

due_work_harness/profiles/eventual_convergence.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.eventual_convergence import *  # noqa: F403

due_work_harness/profiles/fact_derived_obligations.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.fact_derived_obligations import *  # noqa: F403

due_work_harness/profiles/gated_execution.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.gated_execution import *  # noqa: F403

due_work_harness/profiles/harmless_replay.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.harmless_replay import *  # noqa: F403

due_work_harness/profiles/indivisible_admission.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.indivisible_admission import *  # noqa: F403

due_work_harness/profiles/job_retry_limits.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.job_retry_limits import *  # noqa: F403

due_work_harness/profiles/reporting.pyi

@@ -0,0 +1 @@
+from pytest_obligation.profiles.reporting import *  # noqa: F403

due_work_harness/py.typed

@@ -0,0 +1 @@
+

due_work_harness/pytest_plugin.pyi

@@ -0,0 +1 @@
+from pytest_obligation.pytest_plugin import *  # noqa: F403

due_work_harness/recording.pyi

@@ -0,0 +1 @@
+from pytest_obligation.recording import *  # noqa: F403

due_work_harness/references/__init__.pyi

@@ -0,0 +1 @@
+from pytest_obligation.references import *  # noqa: F403

due_work_harness/references/eligibility.pyi

@@ -0,0 +1 @@
+from pytest_obligation.references.eligibility import *  # noqa: F403

due_work_harness/references/in_memory.pyi

@@ -0,0 +1 @@
+from pytest_obligation.references.in_memory import *  # noqa: F403

due_work_harness/references/in_memory_handoffs.pyi

@@ -0,0 +1 @@
+from pytest_obligation.references.in_memory_handoffs import *  # noqa: F403

due_work_harness/worker_death.pyi

@@ -0,0 +1 @@
+from pytest_obligation.worker_death import *  # noqa: F403

pytest_obligation/__init__.py

@@ -0,0 +1,245 @@
+"""
+Conformance proofs for due work: work a program records now and a worker
+completes later.
+
+Due work can be delayed, retried, lost, duplicated or recovered. This package
+proves an application's real production code handles each of those histories
+without the application writing the proofs. An adopter declares a contract that
+binds its real selection, worker and state; the harness generates the proofs.
+The adopter never supplies an expected outcome.
+
+Start here:
+
+* :class:`ObligationContract` and :func:`due_work_contract_suite` — declare a
+  disposition (:class:`Claim`, :class:`Decline`, :class:`NotApplicable`,
+  :class:`KnownGap`) for every :class:`Profile` and get a pytest suite.
+* :class:`Host` and :func:`configure` — what a framework supplies to the
+  framework-free proofs; integrations under ``pytest_obligation.integrations``
+  build hosts for particular frameworks.
+* ``ARCHITECTURE.md`` for the layout and host contract, and
+  ``docs/what-a-green-result-means.md`` for what a pass does and does not mean.
+
+The core imports no framework. Everything re-exported here loads with only
+pytest installed.
+"""
+
+from importlib.metadata import PackageNotFoundError, version
+
+try:
+    __version__ = version("pytest-obligation")
+except PackageNotFoundError:  # running from a source tree that was never installed
+    __version__ = "0+unknown"
+
+
+from pytest_obligation.contract import (
+    Adoption,
+    Claim,
+    ContractCase,
+    ConvergenceFamily,
+    Decline,
+    DueWorkSource,
+    ExtraProof,
+    KnownGap,
+    NotApplicable,
+    NotAssessed,
+    ObligationContract,
+    ObligationContractDesignError,
+    Profile,
+    SafetyContract,
+    ScheduledSelection,
+    contract_cases,
+    contract_report,
+    due_work_contract_suite,
+    due_work_database,
+    safety_contract_cases,
+    safety_contract_suite,
+    scheduled_selection_cases,
+    scheduled_selection_suite,
+    suite_cases,
+)
+from pytest_obligation.crash_histories import (
+    CallableDelivery,
+    Delivery,
+    ExternalCall,
+    Findings,
+    HandoffHistory,
+    HistoriesDiverged,
+    HistoryRun,
+    assert_crash_at_every_commit_converges,
+    assert_histories_converge,
+    assert_pinned_outcomes,
+)
+from pytest_obligation.exemptions import exempt_due_work_suite
+from pytest_obligation.gap_probes import (
+    DisprovenCapability,
+    LossIsAbsorbedElsewhere,
+    MissingReclaim,
+    MissingScheduledConsumer,
+)
+from pytest_obligation.helpers import (
+    assert_provider_call_holds_no_transaction,
+    contract_params,
+    undeclared,
+)
+from pytest_obligation.host import (
+    Host,
+    SelectionInspector,
+    WorkerKiller,
+    configure,
+    current_host,
+    hosted,
+)
+from pytest_obligation.profiles.automatic_recovery import (
+    DUE_WORK_PROOFS,
+    SELECTION_PROOFS,
+    DueWorkSweep,
+    InFlightExecution,
+    OwedWorkVariant,
+    assert_due_work_recovery_contract,
+)
+from pytest_obligation.profiles.bounded_ownership import (
+    FENCED_OWNERSHIP_PROOFS,
+    FencedOwnership,
+    assert_fenced_ownership_contract,
+)
+from pytest_obligation.profiles.crash_ambiguity import (
+    AMBIGUITY_PROOFS,
+    AmbiguityAware,
+    assert_ambiguity_contract,
+)
+from pytest_obligation.profiles.durable_retention import (
+    RETENTION_PROOFS,
+    Retention,
+    assert_retention_contract,
+    assert_retention_preserves_non_terminal_work,
+)
+from pytest_obligation.profiles.eventual_convergence import (
+    CONVERGENT_WRITE_PROOFS,
+    SNAPSHOT_PROOFS,
+    ConvergentWrite,
+    SupersededSnapshot,
+    assert_convergent_write_contract,
+    assert_superseded_snapshot_contract,
+    assert_superseded_snapshot_does_not_write,
+)
+from pytest_obligation.profiles.fact_derived_obligations import (
+    STATE_DERIVED_PROOFS,
+    StateDerived,
+    assert_state_derived_contract,
+)
+from pytest_obligation.profiles.gated_execution import (
+    ELIGIBILITY_PROOFS,
+    ExecutionGate,
+)
+from pytest_obligation.profiles.harmless_replay import (
+    REPLAY_SAFETY_PROOFS,
+    ReplaySafeEffect,
+    assert_replay_safety_contract,
+)
+from pytest_obligation.profiles.indivisible_admission import AdmissionAtomicity, AdmissionPublication
+from pytest_obligation.profiles.job_retry_limits import (
+    BOUNDED_RETRY_PROOFS,
+    BoundedRetry,
+    assert_bounded_retry_contract,
+)
+
+__all__ = [
+    "AdmissionAtomicity",
+    "AdmissionPublication",
+    "__version__",
+    "exempt_due_work_suite",
+    # Contract layer.
+    "Adoption",
+    "Claim",
+    "ContractCase",
+    "Decline",
+    "ObligationContract",
+    "ObligationContractDesignError",
+    "DueWorkSource",
+    "ExtraProof",
+    "KnownGap",
+    "NotApplicable",
+    "Profile",
+    "SafetyContract",
+    "NotAssessed",
+    "ConvergenceFamily",
+    "ScheduledSelection",
+    "contract_cases",
+    "contract_report",
+    "due_work_contract_suite",
+    "due_work_database",
+    "safety_contract_cases",
+    "safety_contract_suite",
+    "scheduled_selection_cases",
+    "scheduled_selection_suite",
+    "suite_cases",
+    # Host.
+    "Host",
+    "SelectionInspector",
+    "WorkerKiller",
+    "configure",
+    "current_host",
+    "hosted",
+    # Helpers.
+    "assert_provider_call_holds_no_transaction",
+    "contract_params",
+    "undeclared",
+    # Gap probes.
+    "DisprovenCapability",
+    "LossIsAbsorbedElsewhere",
+    "MissingReclaim",
+    "MissingScheduledConsumer",
+    # Crash histories.
+    "CallableDelivery",
+    "Delivery",
+    "ExternalCall",
+    "Findings",
+    "HandoffHistory",
+    "HistoriesDiverged",
+    "HistoryRun",
+    "assert_crash_at_every_commit_converges",
+    "assert_histories_converge",
+    "assert_pinned_outcomes",
+    # Profile A: automatic recovery.
+    "DUE_WORK_PROOFS",
+    "SELECTION_PROOFS",
+    "DueWorkSweep",
+    "InFlightExecution",
+    "OwedWorkVariant",
+    "assert_due_work_recovery_contract",
+    # Profile B: bounded ownership.
+    "FENCED_OWNERSHIP_PROOFS",
+    "FencedOwnership",
+    "assert_fenced_ownership_contract",
+    # Profile C: crash ambiguity.
+    "AMBIGUITY_PROOFS",
+    "AmbiguityAware",
+    "assert_ambiguity_contract",
+    # Profile D: durable retention.
+    "RETENTION_PROOFS",
+    "Retention",
+    "assert_retention_contract",
+    "assert_retention_preserves_non_terminal_work",
+    # Profile E: eventual convergence.
+    "CONVERGENT_WRITE_PROOFS",
+    "SNAPSHOT_PROOFS",
+    "ConvergentWrite",
+    "SupersededSnapshot",
+    "assert_convergent_write_contract",
+    "assert_superseded_snapshot_contract",
+    "assert_superseded_snapshot_does_not_write",
+    # Execution eligibility: blocked work stays owed and is neither run early nor forgotten.
+    "ELIGIBILITY_PROOFS",
+    "ExecutionGate",
+    # Profile F: fact-derived obligations.
+    "STATE_DERIVED_PROOFS",
+    "StateDerived",
+    "assert_state_derived_contract",
+    # Execution safety.
+    "BOUNDED_RETRY_PROOFS",
+    "REPLAY_SAFETY_PROOFS",
+    "BoundedRetry",
+    "ReplaySafeEffect",
+    "assert_bounded_retry_contract",
+    "assert_replay_safety_contract",
+]