Ryth Azhur
45bde51166
Adds first-class Rust-backed Mizan to sit alongside mizan-django and
mizan-fastapi. A Rust dev writes:
#[derive(Mizan, Serialize, Deserialize)]
pub struct ProfileOutput { pub user_id: i64, pub name: String }
#[mizan::context("user")]
pub struct UserCtx;
#[mizan::client(context = UserCtx)]
pub async fn user_profile(_req: &RequestHandle<'_>, user_id: i64) -> ProfileOutput { ... }
…and gets byte-identical KDL to the Python emitters, served over the
same wire protocol the React / Rust / Vue / Svelte kernels speak.
New crates:
- cores/mizan-rust/ (Cargo: mizan-core) — IR types, KDL emitter, traits, registry,
runtime (compute_invalidation / compute_merges
ported from mizan-fastapi), graph_check with
structural type-matching
- cores/mizan-rust-macros/ (Cargo: mizan-macros) — #[derive(Mizan)], #[mizan::context],
#[mizan::client] proc macros
- backends/mizan-rust-axum/ (Cargo: mizan-axum) — axum HTTP adapter: /session/, /call/, /ctx/:name/
- tests/afi/rust_app/ — AFI fixture port + server / export-ir binaries
Substrate-shape moves required by cross-language equivalence:
- IR canonicalization: functions / contexts / context-members / shared-by
now sort alphabetically in both Python and Rust emitters. The IR is a
contract; linkme doesn't preserve declaration order, so canonical sort
is the only stable mapping. afi_ir.kdl + per-target baselines regenerated.
- MizanType::TYPE_NAME is a const (with a default type_name() reader) so
it's usable in linkme TypeEntry static initializers.
- Tree-shaken type registry: #[derive(Mizan)] only emits the trait impl;
the #[mizan::client] macro registers canonical-named entries from
fn signatures, including Vec<T> element types for ref resolution.
- Merge resolution is structural (NamedType shape comparison) rather than
by name — matches the Python types_match_for_merge semantics.
Three-way forcing functions:
- tests/afi/test_codegen_parity.py — Django ≡ FastAPI ≡ Rust on KDL bytes (3 pass)
- tests/rust/run_wire_parity.py — 12/12 probes against FastAPI + Rust (EXIT=0)
Incidental fixes surfaced by the new tests:
- Stale `from .registry import validate_registry` import removed from
mizan-django/setup/discovery.py (referenced a function that no longer
exists; was masking codegen-parity).
- BASE_DIR added to tests/afi/django_app/project/settings.py.
- /session/ endpoint added to mizan-fastapi for protocol-shaped readiness
probe parity (wire-parity harness now polls /api/mizan/session/ on both
backends rather than FastAPI's /openapi.json).
- Root .gitignore picks up Rust target/ across the tree so new crates
don't need per-crate gitignore.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
68 lines
2.6 KiB
Python
68 lines
2.6 KiB
Python
# AUTO-GENERATED by mizan — do not edit
|
|
|
|
from __future__ import annotations
|
|
|
|
from collections.abc import Callable
|
|
from typing import Any
|
|
|
|
# Built from frontends/mizan-rust with `maturin develop --features pyo3`.
|
|
from mizan_rust import PyMizanClient, PyContextSubscription
|
|
|
|
from .types import * # noqa: F401, F403
|
|
from .types import BaseModel # re-import for the synthesized ContextData classes
|
|
|
|
|
|
class MizanClient:
|
|
"""Typed Python facade over the PyO3 mizan-rust kernel."""
|
|
|
|
def __init__(self, base_url: str, *, session: bool = False,
|
|
csrf_cookie_name: str = "csrftoken",
|
|
csrf_header_name: str = "X-CSRFToken") -> None:
|
|
self._inner = PyMizanClient(
|
|
base_url,
|
|
session=session,
|
|
csrf_cookie_name=csrf_cookie_name,
|
|
csrf_header_name=csrf_header_name,
|
|
)
|
|
|
|
def fetch_user_context(self, user_id: int) -> "UserContextData":
|
|
raw = self._inner.fetch_context("user", {"user_id": user_id})
|
|
return UserContextData(**raw)
|
|
def subscribe_user_context(self, user_id: int,
|
|
callback: Callable[[dict[str, Any]], None]) -> PyContextSubscription:
|
|
return self._inner.subscribe_context("user", {"user_id": user_id}, callback)
|
|
|
|
def call_echo(self, args: EchoInput) -> EchoOutput:
|
|
raw = self._inner.call("echo", args.model_dump())
|
|
return EchoOutput(**raw)
|
|
|
|
def call_find_user(self, args: FindUserInput) -> FindUserOutput | None:
|
|
raw = self._inner.call("find_user", args.model_dump())
|
|
return FindUserOutput(**raw) if raw is not None else None
|
|
|
|
def call_rename_user(self, args: RenameUserInput) -> RenameUserOutput:
|
|
raw = self._inner.call("rename_user", args.model_dump())
|
|
return RenameUserOutput(**raw)
|
|
|
|
def call_update_profile(self, args: UpdateProfileInput) -> UpdateProfileOutput:
|
|
raw = self._inner.call("update_profile", args.model_dump())
|
|
return UpdateProfileOutput(**raw)
|
|
|
|
def call_whoami(self) -> WhoamiOutput:
|
|
raw = self._inner.call("whoami", {})
|
|
return WhoamiOutput(**raw)
|
|
|
|
def invalidate(self, context: str) -> None:
|
|
self._inner.invalidate(context)
|
|
|
|
def invalidate_scoped(self, context: str, params: dict[str, Any]) -> None:
|
|
self._inner.invalidate_scoped(context, params)
|
|
|
|
|
|
# ── Context data shapes (per-context bundle) ──────────────────────────────
|
|
|
|
class UserContextData(BaseModel):
|
|
"""Bundled return of fetch_user_context."""
|
|
user_orders: UserOrdersOutput
|
|
user_profile: UserProfileOutput
|