CodeSampleX

Exemple

onnxruntime 1.28.0: GraphOptimizationLevel

Échantillon vérifié pour pypi onnxruntime 1.28.0: GraphOptimizationLevel. Le contrat s'est exécuté sur python 3.12 · linux debian/x64 · docker et a réussi.

sha256:46c189ea7ec4a549a1026f83945f6c94e4e0cb7abd0b7cb8b29f04aaa2ff2304

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
1
Clés de signature qui l’ont compilé
1
Environnement déclaré linux 24 · ubuntu · glibc 2.39 x64 pip

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
python 3.12 · linux debian/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1python:3.12-slim@sha256:09f7da3bc104…
2026-09-07

Cas

HOW
Objectif
verify onnxruntime.GraphOptimizationLevel in pkg:pypi/onnxruntime@1.28.0
Paquets
Symboles
  • onnxruntime.GraphOptimizationLevel
Créé
2026-09-07T04:09:01Z

Contrat

  1. assert onnxruntime.GraphOptimizationLevel defines ORT_DISABLE_ALL, ORT_ENABLE_BASIC, ORT_ENABLE_EXTENDED, and ORT_ENABLE_ALL enum constants with values 0, 1, 2, 99
  2. assert GraphOptimizationLevel enum members can be resolved by name and integer value
  3. assert SessionOptions.graph_optimization_level accepts and stores GraphOptimizationLevel enum values

Fichiers

  • PROMPT.md
  • csx.json
  • pyproject.toml
  • requirements.txt
  • spec.json
  • test/contract.py

Télécharger l’artefact source (tar.gz)

Code source

PROMPT.md
Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify onnxruntime.GraphOptimizationLevel in pkg:pypi/onnxruntime@1.28.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:pypi/onnxruntime@1.28.0
Demonstrate these symbols/APIs:
  - onnxruntime.GraphOptimizationLevel

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.
csx.json
{"case":{"caseId":"case:sha256:b45357ff5333b83a746c58c792de2b563f7cfecb9bba9b044289c2028c804e8d","contract":["assert onnxruntime.GraphOptimizationLevel defines ORT_DISABLE_ALL, ORT_ENABLE_BASIC, ORT_ENABLE_EXTENDED, and ORT_ENABLE_ALL enum constants with values 0, 1, 2, 99","assert GraphOptimizationLevel enum members can be resolved by name and integer value","assert SessionOptions.graph_optimization_level accepts and stores GraphOptimizationLevel enum values"],"goal":"verify onnxruntime.GraphOptimizationLevel in pkg:pypi/onnxruntime@1.28.0","kind":"HOW","packages":["pkg:pypi/onnxruntime@1.28.0"],"schemaVersion":1,"symbols":["onnxruntime.GraphOptimizationLevel"]},"contractCommand":["python3","test/contract.py"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"pypi","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"pip","schemaVersion":1},"license":"MIT-0","packages":["pkg:pypi/onnxruntime@1.28.0"],"schemaVersion":1,"subject":"pkg:pypi/onnxruntime@1.28.0","symbols":["onnxruntime.GraphOptimizationLevel"],"verifierAdapter":"python@1"}
pyproject.toml
[project]
name = "verify-onnxruntime-graph-optimization-level"
version = "0.1.0"
dependencies = [
    "onnxruntime==1.28.0",
]
requirements.txt
onnxruntime==1.28.0
spec.json
{
  "schemaVersion": 1,
  "goal": "verify onnxruntime.GraphOptimizationLevel in pkg:pypi/onnxruntime@1.28.0",
  "kind": "HOW",
  "packages": [
    "pkg:pypi/onnxruntime@1.28.0"
  ],
  "symbols": [
    "onnxruntime.GraphOptimizationLevel"
  ]
}
test/contract.py
import onnxruntime
from onnxruntime import GraphOptimizationLevel, SessionOptions


def test_graph_optimization_level_constants():
    assert hasattr(onnxruntime, "GraphOptimizationLevel")
    assert GraphOptimizationLevel.ORT_DISABLE_ALL == 0
    assert GraphOptimizationLevel.ORT_ENABLE_BASIC == 1
    assert GraphOptimizationLevel.ORT_ENABLE_EXTENDED == 2
    assert GraphOptimizationLevel.ORT_ENABLE_ALL == 99


def test_graph_optimization_level_enum_properties():
    assert GraphOptimizationLevel.ORT_DISABLE_ALL.name == "ORT_DISABLE_ALL"
    assert GraphOptimizationLevel.ORT_ENABLE_BASIC.name == "ORT_ENABLE_BASIC"
    assert GraphOptimizationLevel.ORT_ENABLE_EXTENDED.name == "ORT_ENABLE_EXTENDED"
    assert GraphOptimizationLevel.ORT_ENABLE_ALL.name == "ORT_ENABLE_ALL"

    assert GraphOptimizationLevel(0) == GraphOptimizationLevel.ORT_DISABLE_ALL
    assert GraphOptimizationLevel(1) == GraphOptimizationLevel.ORT_ENABLE_BASIC
    assert GraphOptimizationLevel(2) == GraphOptimizationLevel.ORT_ENABLE_EXTENDED
    assert GraphOptimizationLevel(99) == GraphOptimizationLevel.ORT_ENABLE_ALL


def test_session_options_graph_optimization_level():
    options = SessionOptions()
    assert hasattr(options, "graph_optimization_level")

    options.graph_optimization_level = GraphOptimizationLevel.ORT_DISABLE_ALL
    assert options.graph_optimization_level == GraphOptimizationLevel.ORT_DISABLE_ALL

    options.graph_optimization_level = GraphOptimizationLevel.ORT_ENABLE_BASIC
    assert options.graph_optimization_level == GraphOptimizationLevel.ORT_ENABLE_BASIC

    options.graph_optimization_level = GraphOptimizationLevel.ORT_ENABLE_EXTENDED
    assert options.graph_optimization_level == GraphOptimizationLevel.ORT_ENABLE_EXTENDED

    options.graph_optimization_level = GraphOptimizationLevel.ORT_ENABLE_ALL
    assert options.graph_optimization_level == GraphOptimizationLevel.ORT_ENABLE_ALL


def main():
    test_graph_optimization_level_constants()
    test_graph_optimization_level_enum_properties()
    test_session_options_graph_optimization_level()
    print("All onnxruntime.GraphOptimizationLevel contract assertions passed.")


if __name__ == "__main__":
    main()

Seeder d'origine

anonyme