Workflow sandbox re-imports annotated_types, so pydantic silently drops constraints
Maintainer antworten meist innerhalb von 1 Tag
Bewertung
- Schwierigkeit
- 2/5
- Geschätzter Aufwand
- 1-3 Stunden
- Anfängerfreundlichkeit
- 84/100
Rechercherichtung
Beginne in temporalio/worker/workflow_sandbox/_restrictions.py bei passthrough_modules_with_temporal und prüfe anschließend die Importer-Muster in tests/worker/workflow_sandbox/test_importer.py. Verwende die bereitgestellte pydantic- und annotated_types-Reproduktion, um einen Regressionstest hinzuzufügen; fertig ist es, wenn die Einschränkung sowohl im host-first- als auch im sandbox-first-Fall ohne die Sandbox-Importwarnung weiterhin durchgesetzt wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
Summary
SandboxRestrictions.passthrough_modules_with_temporal passes pydantic and, since 1.33.0 (#1834), pydantic_core through, but not annotated_types. pydantic imports annotated_types inside functions, so each sandbox gets its own copy, and pydantic's lru_cached class → constraint map (_get_at_to_constraint_map) only knows the copy that filled it first. A constraint built from the other copy falls through to "ignore any other unknown metadata", with no error:
- The host builds a constrained model first: a workflow's
Annotated[int, annotated_types.Ge(1)]is not enforced. - A workflow builds one first: host-side
Field(ge=0)andconint(ge=0)are not enforced for the rest of the process, activities included.
Each sandbox also pays a fresh import: a median 4.7 ms here, against 0.003 ms passed through. When that import happens during an activation, the sandbox warns Module annotated_types was imported after initial workflow load.
Repro
temporalio 1.33.0, pydantic 2.13.4, annotated-types 0.7.0, Python 3.12.3, macOS 26 arm64. It drives the sandbox's Importer the way tests/worker/workflow_sandbox/test_importer.py does.
"""pydantic drops constraints built from the sandbox's annotated_types copy, or the host's."""
import subprocess
import sys
import tempfile
from pathlib import Path
MODELS = """
from typing import Annotated
import annotated_types
from pydantic import BaseModel
class Positive(BaseModel):
x: Annotated[int, annotated_types.Ge(1)]
"""
def case(first, passthrough):
from pydantic import BaseModel, Field, ValidationError
from temporalio.worker.workflow_sandbox import SandboxRestrictions
from temporalio.worker.workflow_sandbox._importer import Importer
from temporalio.worker.workflow_sandbox._restrictions import RestrictionContext
restrictions = SandboxRestrictions.default
if passthrough:
restrictions = restrictions.with_passthrough_modules("annotated_types")
def in_sandbox():
with Importer(restrictions, RestrictionContext()).applied():
import sandboxed_models
return sandboxed_models.Positive
def on_host():
class Host(BaseModel):
n: int = Field(ge=0)
return Host
if first == "host":
host, sandboxed = on_host(), in_sandbox()
else:
sandboxed, host = in_sandbox(), on_host()
def result(model, **values):
try:
model(**values)
except ValidationError:
return "enforced"
return "DROPPED"
return f"sandbox Ge(1): {result(sandboxed, x=0)}, host ge=0: {result(host, n=-1)}"
if __name__ == "__main__":
if len(sys.argv) == 4: # one case per fresh process: pydantic's cache is process-wide
sys.path.insert(0, sys.argv[3])
print(case(sys.argv[1], sys.argv[2] == "passthrough"))
else:
models = tempfile.mkdtemp()
Path(models, "sandboxed_models.py").write_text(MODELS)
for first in ("host", "sandbox"):
for mode in ("default", "passthrough"):
out = subprocess.run(
[sys.executable, __file__, first, mode, models],
capture_output=True,
text=True,
check=True,
).stdout.strip()
print(f"{first + ' first,':<14} {mode + ':':<13} {out}")
host first, default: sandbox Ge(1): DROPPED, host ge=0: enforced
host first, passthrough: sandbox Ge(1): enforced, host ge=0: enforced
sandbox first, default: sandbox Ge(1): enforced, host ge=0: DROPPED
sandbox first, passthrough: sandbox Ge(1): enforced, host ge=0: enforced
Proposal
Add "annotated_types" next to "pydantic" and "pydantic_core" in passthrough_modules_with_temporal. It is a pure-Python module of constraint dataclasses that imports only the standard library and typing_extensions, with no I/O, time or randomness. temporalio's own StrandsPlugin and GoogleGenAIPlugin already pass it through; other users need a runner override such as SandboxRestrictions.default.with_passthrough_modules("annotated_types").
I can open the PR: the one-line change, a CHANGELOG entry, and a regression test in tests/worker/workflow_sandbox/test_importer.py built from the repro.
- Vorherrschende Sprache
- Python
- Sterne
- 1.2k
- Forks
- 269
- Ø Merge
- 2 T. 7 Std.
- Gemergte PRs (30 T.)
- 55
Entwicklungsumgebung
- Kein Dockerfile und keine Docker-Compose-Datei
- Keine Pull-Request-Vorlage
- Beitragsleitfaden lesen
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus temporalio/sdk-python
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
temporalio/sdk-python#496 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 8/100
temporalio/sdk-python#1976 · 2 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag
-
Proposal: handle SIGTERM by default to initiate graceful worker shutdownEvtl. vergeben @eamsden hat das vor 9 Tagen übernommen. Offen
temporalio/sdk-python#1948 · 1 zugewiesene Person ·
Maintainer antworten meist innerhalb von 1 Tag
-
Cloud CI Skips Nexus TestsEvtl. wieder frei @tconley1428 hat das vor 67 Tagen übernommen, und es ist kein Pull Request offen. Offen
temporalio/sdk-python#1704 · 1 zugewiesene Person ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
temporalio/sdk-python#1592 · 8 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag
Alle Issues in temporalio/sdk-python
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100
Maintainer antworten meist innerhalb von 1 Tag
-
infrastructure qa
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 84/100
khuisman/mcp-gee-sweet#1068 ·
Maintainer antworten meist innerhalb von 1 Tag
-
The book has a Nix install section that chelis.ch lacks, and it names two of the three systemsOffenarea:ecosystem documentation
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
Chelis-Lang/chelis#3866 ·
Maintainer antworten meist innerhalb von 1 Tag
-
`lvm_compact` has no self-hosted twin, and `docs/158` §5 says every language-face component mustOffenbug sev-3 vm
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
-
issue: Picking a prompt from the / menu in a channel inserts a command chip instead of the promptOffenbug confirmed issue
Schwierigkeit 2/5 Ein halber Tag Anfängerfreundlichkeit 78/100
open-webui/open-webui#32712 · 2 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag