PackageRegistry: Publish and Resolve Algorithms

from b01t import PackageMeta, PackageRegistry, DEFAULT_REGISTRY

from b01t import PackageMeta
from b01t import Effect

meta = PackageMeta(
    name="grover-oracle",
    effect="coherent",
    safe=True,
    tags=["search", "oracle"],
    docs="Grover phase oracle for 3-bit target.",
    inputs=[("ctrl", 3), ("tgt", 1)],
    version="1.0.0",
    depends_on=["hadamard-layer"],
)

registry.publish(meta: PackageMeta) -> None

registry.get(name: str) -> Optional[PackageMeta]

registry.find_by_tag(tag: str) -> list[PackageMeta]

registry.all() -> list[PackageMeta]

registry.save(path: str | Path) -> None

registry.load(path: str | Path) -> None

registry.resolve(name: str) -> list[PackageMeta]

order = registry.resolve("my-algorithm")
for pkg in order:
    print(pkg.name)
# prints dependencies in load order, then "my-algorithm"

registry.dependency_graph_dot() -> str

dot = registry.dependency_graph_dot()
print(dot)
# digraph packages {
#   rankdir=BT;
#   "grover" [label="grover\n[coherent]"];
#   "grover" -> "oracle";
#   ...
# }

from b01t import DEFAULT_REGISTRY, PackageMeta

DEFAULT_REGISTRY.publish(PackageMeta(
    name="my-oracle",
    effect="coherent",
    safe=True,
))

pkg = DEFAULT_REGISTRY.get("my-oracle")

from b01t import (
    coherent, QReg, h, cx,
    PackageMeta, PackageRegistry,
    exact_program_to_dict,
)

@coherent
def bell(a: QReg, b: QReg) -> None:
    h(a[0])
    cx(a[0], b[0])

prog = bell.build_exact(("a", 1), ("b", 1))

registry = PackageRegistry()
registry.publish(PackageMeta(
    name="bell-pair",
    effect="coherent",
    safe=True,
    tags=["entanglement", "two-qubit"],
    docs="Prepares a Bell state from |00⟩.",
    inputs=[("a", 1), ("b", 1)],
    version="1.0.0",
    exact_program=prog,
))

# Save to disk
registry.save("registry.json")

# Load into a fresh registry
fresh = PackageRegistry()
fresh.load("registry.json")

loaded = fresh.get("bell-pair")
print(loaded.exact_program.certification)  # Certification.SAFE