CurieWeissIsing — model index
Generated by docs/atlas/generate.jl — a pure VIEW over the *_registry.jl claims + the static test/INVENTORY.jsonl AST scan. No test is executed and no src is run; test/INVENTORY.jsonl is regenerated in-place (idempotently) from that static scan; fetch/@register untouched. Assurance labels are PROVISIONAL: residuals / confidence are not shown yet (RES not wired). Badges reflect the committed test AST, not the latest CI run — a hub can read green while its @test is red between regenerations. @sweep = a graceful regime-resolution gap, not card omission.
All (Quantity, BC) hubs src claims for CurieWeissIsing. Cells link to the per-hub card; — = not yet implemented at that BC. The shape of the matrix is the gap visualisation: empty cells are where physics could be added next.
Convention
| Field | Value |
|---|---|
| Hamiltonian | -(J/N)Σ σσ - hΣ σ (FM convention, h ≥ 0 → m* ≥ 0) |
| Observable | Spin-1/2 (σ ∈ {±1}) |
| Reference | docs/src/conventions.md §Spin convention |
Coverage
| Level | Count |
|---|---|
| 🟣 universality-corroborated | 0 |
| 🟢 corroborated-at-p | 3 |
| 🔵 coherent | 3 |
| ⚪ cited-only | 0 |
| 🟠 uncorroborated-but-feasible | 2 |
| total claimed hubs | 8 |
Methods (from @register, derived): analytic, delegation
References (aggregated):
- Landau 1937 | Stanley 1971
- Landau-Lifshitz §149
Quantity × BC matrix
| Quantity | Infinite |
|---|---|
CriticalExponents | 🟠 hub |
CriticalTemperature | 🟢 hub |
Energy | 🟠 hub |
FreeEnergy | 🔵 hub |
SpecificHeat | 🔵 hub |
SpontaneousMagnetization | 🟢 hub |
SusceptibilityZZ | 🟢 hub |
ThermalEntropy | 🔵 hub |