Problem IR¶

Contract¶

This page records the current public Python authoring contract and canonical lowering; it does not redefine solver physics.

Governing equations¶

This API page introduces no independent governing equation. Physical equations belong to interaction and solver-lane pages.

Symbols and SI units¶

Every owned input has its SI unit below; \(1\) denotes dimensionless data.

Assumptions and validity¶

Constructor checks run immediately. Lowering and planning additionally check mesh cardinality, capability, and backend legality.

Python API¶

No constructor parameters are owned by this conceptual page.

# %% Complete stage-first study plus object-level lowering fragments
import fullmag as fm

nm = 1.0e-9

study = fm.study("ir_inspection_study")
study.engine("fdm")
study.device("cpu", precision="double")
study.mode("strict")

study.objects.mesh.defaults(cell_size=(2 * nm, 2 * nm, 5 * nm))
film = study.geometry(fm.Box(100 * nm, 50 * nm, 10 * nm), name="film")
film.Ms = 800.0e3
film.Aex = 13.0e-12
film.alpha = 0.02
film.m = fm.init.UniformMagnetization((1.0, 0.0, 0.0))
study.exchange()
study.stages.add_run(stage_id="run", until=1.0e-12)

# Object-level lowering fragments used by the canonical ProblemIR build:
geometry_ir = fm.Box(100 * nm, 50 * nm, 10 * nm).to_ir()
state_ir = fm.init.UniformMagnetization((1.0, 0.0, 0.0)).to_ir()
assert geometry_ir["kind"] == "box"
assert state_ir["kind"] == "uniform"

ProblemIR¶

The final column gives the serialized destination owned by the current lowering implementation.

Round-trip and failure semantics¶

Requested intent is preserved in Python and IR. Resolved execution is selected by the planner. Validation errors reject malformed values; unsupported combinations fail capability checks without silent fallback.

Discrete realization¶

This page owns authoring and lowering only; numerical realization belongs to solver-lane documentation.

Implementation mapping¶

The adjacent map anchors claims to packages/fullmag-py/src/fullmag/model/problem.py and class Problem.

Validation¶

Tests compare this inventory with live signatures and validate its source map.

Limitations¶

Representability does not prove every backend combination executable; planner capabilities are authoritative.

Scientific bibliography¶

No physical model is introduced. Primary references belong to consuming interaction pages.

Control Room crosswalk¶

Status: The Control Room authors a study and lowers it to ProblemIR; direct Problem/IR editing is not exposed.

frontend support is not implemented for standalone Problem/ProblemIR authoring. See Control Room capability register for the support matrix and not implemented policy. Frontend source owner: apps/control-room/src/modules/inspector/panels/StudyInspectorPanel.tsx (StudyInspectorPanel).

Source-code index¶