MerminGHZBound — quantity 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 (Model, BC) hubs src claims for the MerminGHZBound observable. Empty cells = this model doesn't yet have a MerminGHZBound registered at that BC — i.e. where this quantity could be added to other models.
Definition
The Mermin 3-party Bell-type bound — the maximum of the Mermin operator |⟨M₃⟩| admissible in a given theory. A status=:bound quantity (Mermin 1990); fetched against a $Bound$ domain with scheme= choosing the theory regime (:classical → 2 local-realistic, :quantum → 4 quantum, saturated by the GHZ state).
(extracted from src/core/quantities.jl docstring.)
Coverage
- Models with this quantity registered: 1
- Total hubs (Model, BC pairs): 1
- Methods (derived from
@register):analytic - Universality classes (where applicable): —
Top references (by hub count):
- Mermin1990 — 1 hub
Model × BC matrix
| Model | Infinite |
|---|---|
Bound | 🟠 hub |