WEBVTT

00:00:02.335 --> 00:00:07.120
Welcome to G H U Lab. This revised
walkthrough covers every menu section,

00:00:07.120 --> 00:00:10.720
the three Simulator modes and the embedded
research experiments.

00:00:10.720 --> 00:00:15.605
It now demonstrates the S U seven
certificates, approximation errors,
uncertainty

00:00:15.605 --> 00:00:19.670
budget, thermal solver comparison and named
collider references.

00:00:19.670 --> 00:00:21.975
Choose a chapter to revisit a topic.

00:00:23.268 --> 00:00:25.813
Start with a named model or reference.

00:00:25.813 --> 00:00:30.233
Change one assumption at a time, and read
the result with its units and scope.

00:00:30.233 --> 00:00:35.223
Theorem, verified, measured and unknown
describe different kinds of evidence.

00:00:35.223 --> 00:00:39.393
A computed scenario value is not
automatically an experimental measurement.

00:00:42.535 --> 00:00:47.110
Open Hierarchy. For a bulk content of the S
U seven model, inspect the

00:00:47.110 --> 00:00:51.135
compactification scale and Higgs mass under
the displayed conventions.

00:00:51.135 --> 00:00:54.780
The ceiling belongs to the stated small-
angle moment approximation.

00:00:56.068 --> 00:00:59.588
Change the diagnostic gauge coupling to
zero point seven.

00:00:59.588 --> 00:01:03.013
The response plots separate a change of
model convention from propagation

00:01:03.013 --> 00:01:06.323
of the measured W input and from winding
convergence.

00:01:06.323 --> 00:01:08.988
Read the axes and the central values
together.

00:01:10.335 --> 00:01:13.820
The calculated phase does not reproduce the
printed phase.

00:01:13.820 --> 00:01:17.640
The mismatch varies between rows, and an
overall multiplication of the potential

00:01:17.640 --> 00:01:20.110
cannot move its stationary points.

00:01:20.110 --> 00:01:23.970
Absolute scales remain conditional on
resolving this discrepancy.

00:01:23.970 --> 00:01:26.770
The arithmetic identities are separate
statements.

00:01:28.068 --> 00:01:30.493
Load the first certified benchmark.

00:01:30.493 --> 00:01:34.338
The table encloses two different stationary
points: the quartic logarithmic

00:01:34.338 --> 00:01:37.028
approximation and the full Fourier minimum.

00:01:37.028 --> 00:01:41.108
Phase, Higgs mass and compactification
scale have separate absolute and relative

00:01:41.108 --> 00:01:45.358
error intervals. They apply to the
displayed matter content, gauge choice

00:01:45.358 --> 00:01:47.118
and fixed mass inputs.

00:01:48.468 --> 00:01:50.348
What limits the precision?

00:01:50.348 --> 00:01:54.388
Read approximation bias, root-location
bounds and the Fourier remainder separately

00:01:54.388 --> 00:01:57.258
from the propagated W-mass uncertainty.

00:01:57.258 --> 00:02:01.018
The ten percent coupling variation is a
chosen scenario, without an assigned

00:02:01.018 --> 00:02:05.658
probability. Physical theory uncertainty is
explicitly not quantified;

00:02:05.658 --> 00:02:08.083
there is no combined physical error bar.

00:02:09.402 --> 00:02:11.422
Save the error certificate.

00:02:11.422 --> 00:02:15.482
The download keeps the rational enclosures,
numerical budget, W input and

00:02:15.482 --> 00:02:20.317
attribution. The full mass enclosure
already includes root and Fourier errors;

00:02:20.317 --> 00:02:22.487
do not add its half-width again.

00:02:22.487 --> 00:02:25.627
A different matter content or mass
convention needs a matching certificate

00:02:25.627 --> 00:02:26.687
of its own.

00:02:28.002 --> 00:02:32.237
The ATLAS and C M S rows are separate
published Higgs-mass references.

00:02:32.237 --> 00:02:36.362
Compare the certified curvature mass with
each stated channel and error band.

00:02:36.362 --> 00:02:39.547
The listed difference is not an exclusion
significance.

00:02:39.547 --> 00:02:42.817
Connecting a one-loop curvature mass to a
measured pole mass still requires

00:02:42.817 --> 00:02:45.237
matching and higher-order uncertainties.

00:02:46.535 --> 00:02:49.995
The dataset links explain the route to a
fuller comparison.

00:02:49.995 --> 00:02:52.820
Channels have not been combined into a
likelihood.

00:02:52.820 --> 00:02:57.065
C E R N hosts the experiments and is not a
third independent measurement.

00:02:57.065 --> 00:03:01.420
Archive the inputs and sources beside the
result; a certified numerical calculation

00:03:01.420 --> 00:03:04.125
alone does not establish agreement with
nature.

00:03:07.268 --> 00:03:11.993
Open Design a scale. The map run backwards:
name a compactification scale

00:03:11.993 --> 00:03:15.523
and a Higgs-mass window, and get a bulk
content that lands there — or a named

00:03:15.523 --> 00:03:17.513
certificate that none exists.

00:03:18.802 --> 00:03:22.412
Enter a target compactification scale of
two teraelectronvolts and run the

00:03:22.412 --> 00:03:26.707
design. Inspect the returned content or the
named certificate.

00:03:26.707 --> 00:03:31.267
A search budget is a stopping condition,
not evidence that no solution exists.

00:03:32.602 --> 00:03:36.517
budget means the search stopped, not that
the rung is empty; the page keeps

00:03:36.517 --> 00:03:40.727
the two apart on purpose. The reachable-set
panel resolves each cluster into

00:03:40.727 --> 00:03:43.147
the finite set of points it really is.

00:03:46.268 --> 00:03:51.523
Open Count a rung. How many bulk contents
sit on a rung — counted, not built.

00:03:52.868 --> 00:03:56.048
The counting graph is generated when the
section opens.

00:03:56.048 --> 00:03:59.093
Click a different horizontal position to
move the moment probe and compare

00:03:59.093 --> 00:04:03.983
counts across the rungs. These are counts
of contents, not a list of experimentally

00:04:03.983 --> 00:04:05.398
viable models.

00:04:06.735 --> 00:04:10.485
The four published-seed totals reproduce an
independent enumeration of 69

00:04:10.485 --> 00:04:15.105
022 464 contents. The candidate uses even

00:04:15.105 --> 00:04:19.375
rungs and half-integral A₄; its counts are
computed separately, without transferring

00:04:19.375 --> 00:04:21.385
the published measured-mass fibre.

00:04:24.535 --> 00:04:29.140
Open Atlas. Every bulk content of at most
five multiplets — 1

00:04:29.140 --> 00:04:32.140
286 of them — with its potential drawn as
one tile.

00:04:33.468 --> 00:04:37.298
Draw the lattice of one thousand two
hundred and eighty-six contents.

00:04:37.298 --> 00:04:39.628
Each tile is a different potential.

00:04:39.628 --> 00:04:44.323
Inspect its colour and shape; a flat or
blank potential is itself a result.

00:04:44.323 --> 00:04:47.168
Clicking a tile transfers that content to
the model.

00:04:48.468 --> 00:04:52.953
One tile is green in the Higgs window, and
it is the published row (2).

00:04:52.953 --> 00:04:56.648
A blank tile is a content whose potential
is flat, and the harness predicts

00:04:56.648 --> 00:04:59.013
which tiles blank before they are drawn.

00:05:02.135 --> 00:05:06.940
Open Same potential?. Whether two bulk
contents are the same one-loop potential,

00:05:06.940 --> 00:05:09.060
by Part VII's Theorem 3.

00:05:10.402 --> 00:05:14.182
Copy the first content and construct its
canonical representative.

00:05:14.182 --> 00:05:17.322
Compare the potential curves and the five
coordinates.

00:05:17.322 --> 00:05:20.552
Different lists of matter can produce
exactly the same one-loop potential

00:05:20.552 --> 00:05:22.207
under the stated theorem.

00:05:23.535 --> 00:05:26.920
Same five coordinates ⟺ identically the
same potential.

00:05:26.920 --> 00:05:31.705
The dashed curve riding exactly on the
solid one is the theorem, not a
coincidence.

00:05:33.002 --> 00:05:36.502
Load the equal-moment example and inspect
the local range.

00:05:36.502 --> 00:05:40.352
These two contents have exactly the same D,
A four and G through their integer

00:05:40.352 --> 00:05:44.122
coordinates, while their endpoint
coordinate differs.

00:05:44.122 --> 00:05:47.082
Matching the small-angle expansion is a
weaker condition than matching the

00:05:47.082 --> 00:05:48.597
complete potential.

00:05:49.935 --> 00:05:52.165
Switch to the full phase interval.

00:05:52.165 --> 00:05:56.115
The plotted full potentials separate even
though the local expansions match.

00:05:56.115 --> 00:06:00.080
These curves illustrate finite Fourier
sums; the exact coordinate statement

00:06:00.080 --> 00:06:02.755
and the interval proof are recorded
separately.

00:06:02.755 --> 00:06:05.730
Use the full potential when judging a
global vacuum.

00:06:07.068 --> 00:06:11.178
For content B, the endpoint at alpha equal
to one has certified energy below

00:06:11.178 --> 00:06:15.423
its local minimum. This rules out that
local minimum as global.

00:06:15.423 --> 00:06:18.558
It does not prove that the endpoint itself
is global.

00:06:18.558 --> 00:06:22.158
Save the comparison to retain the exact
inputs and the scope of this mathematical

00:06:22.158 --> 00:06:23.223
example.

00:06:26.335 --> 00:06:30.925
Open Anomalies & proton. What each
multiplet contributes to the anomaly bill,

00:06:30.925 --> 00:06:34.100
in eighths, and what the proton-decay
escape costs.

00:06:35.402 --> 00:06:39.097
Read the signed contributions to the
anomaly bill and the rung ladder.

00:06:39.097 --> 00:06:43.687
A nonzero bulk bill does not, by itself,
make the theory inconsistent:

00:06:43.687 --> 00:06:46.702
possible brane matter must be considered
separately.

00:06:46.702 --> 00:06:50.312
The research card later in this section
studies a different warped model.

00:06:51.602 --> 00:06:55.537
A non-zero bill is not an inconsistency:
brane fermions pay into the same

00:06:55.537 --> 00:06:57.657
channels with the opposite sign.

00:06:57.657 --> 00:07:00.572
What the ladder forbids is a rung, not a
model.

00:07:03.668 --> 00:07:05.963
Open Escape from proton decay.

00:07:05.963 --> 00:07:10.133
The escape from proton decay, constructed:
type a brane content and watch

00:07:10.133 --> 00:07:13.983
the six channels, the assignments and the
selection rule recompute.

00:07:15.268 --> 00:07:19.158
Choose the scalar charge associated with
the eighty-four representation.

00:07:19.158 --> 00:07:22.953
The rational anomaly channels and charge
assignments update together.

00:07:22.953 --> 00:07:26.363
Inspect which assignments meet the
displayed proton-protection rule; the

00:07:26.363 --> 00:07:29.763
calculation does not supply a measured
proton lifetime.

00:07:31.068 --> 00:07:34.568
Every assignment that protects the proton
can also cancel all six channels —

00:07:34.568 --> 00:07:37.003
protection never costs an anomaly.

00:07:37.003 --> 00:07:39.723
That is an enumeration, not an argument.

00:07:42.868 --> 00:07:45.223
Open Multiplets & parities.

00:07:45.223 --> 00:07:49.168
The layer under the term tables: every
representation broken into multiplets

00:07:49.168 --> 00:07:50.963
with their three Z₂ parities.

00:07:52.268 --> 00:07:56.208
Select the eighty-four representation and
change its parity assignment.

00:07:56.208 --> 00:08:00.438
The decomposition and parity picture update
from the representation data.

00:08:00.438 --> 00:08:03.733
Use the table to connect a surviving zero
mode with the sign of its potential

00:08:03.733 --> 00:08:05.058
contribution.

00:08:06.402 --> 00:08:09.492
The term tables here are DERIVED and then
checked against the ones the rest

00:08:09.492 --> 00:08:11.417
of the page computes with.

00:08:11.417 --> 00:08:14.947
If the two ever disagreed, this panel is
where it would show.

00:08:18.068 --> 00:08:22.593
Open Screen a table. Arithmetic screens for
a published row, with conditional

00:08:22.593 --> 00:08:26.048
rung certificates and independent full-
potential witness checks.

00:08:27.335 --> 00:08:31.210
Enter a candidate resonance at four
thousand gigaelectronvolts.

00:08:31.210 --> 00:08:34.435
The comb samples nearby teeth for the
displayed rungs.

00:08:34.435 --> 00:08:38.375
Its filters, spacing table and download now
use the same conditional-bound

00:08:38.375 --> 00:08:40.490
check for the chosen inputs.

00:08:40.490 --> 00:08:44.035
A surviving tooth is not proof of an
attainable physical vacuum.

00:08:45.335 --> 00:08:49.345
The moment ceilings remain conditional on
the small-angle approximation.

00:08:49.345 --> 00:08:52.700
The five printed phase rounding intervals
contain no stationary point for

00:08:52.700 --> 00:08:54.670
the implemented potential.

00:08:54.670 --> 00:08:59.090
All eight fermion coefficient tables now
agree with an independent reconstruction.

00:08:59.090 --> 00:09:02.420
The physical gauge determinant and the
origin of the printed numerical mismatch

00:09:02.420 --> 00:09:03.630
remain open.

00:09:04.935 --> 00:09:07.990
Expand Certified S U seven benchmarks.

00:09:07.990 --> 00:09:12.135
Twenty-six Lean theorems verify finite
algebraic identities.

00:09:12.135 --> 00:09:15.535
Separate interval proofs certify ten global
minima on the stated one-phase

00:09:15.535 --> 00:09:19.950
domain: five reference contents under each
of two gauge prescriptions.

00:09:19.950 --> 00:09:23.305
These statements do not certify an
arbitrary edited model.

00:09:24.602 --> 00:09:26.807
Download the certificate bundle.

00:09:26.807 --> 00:09:31.512
It contains rational enclosures, continuum
partitions, checksums and reproduction

00:09:31.512 --> 00:09:35.727
records. The infinite Fourier analysis is
computer-assisted and has not been

00:09:35.727 --> 00:09:40.127
formalized in Lean. A global-minimum
certificate is conditional on its potential

00:09:40.127 --> 00:09:43.852
and assumptions; it is not a certificate of
physical viability.

00:09:45.202 --> 00:09:49.567
The English dossier assigns the model to
Komori and Maru, the expansion antecedents

00:09:49.567 --> 00:09:54.167
to Haba, Takenaga and Yamashita and to
Sakamoto and Takenaga, and the S U

00:09:54.167 --> 00:09:57.382
seven application in Part Seven to Carles
Marín.

00:09:57.382 --> 00:10:00.452
Verification does not establish
originality.

00:10:00.452 --> 00:10:03.842
The dossier keeps the remaining physical
questions explicit.

00:10:06.935 --> 00:10:11.495
Open Collider. Which state a dijet search
bounds, plus a separate Higgs-rate

00:10:11.495 --> 00:10:14.635
scenario checked against pinned
experimental datasets.

00:10:15.935 --> 00:10:18.885
Move the dijet mass probe to five point
two.

00:10:18.885 --> 00:10:22.545
Read the selected state, mass scale and
published comparison under its colour

00:10:22.545 --> 00:10:27.110
hypothesis. The separate Higgs experiment
below uses another explicitly supplied

00:10:27.110 --> 00:10:28.595
scalar scenario.

00:10:29.935 --> 00:10:33.500
The dijet delta chi  squared  values are
quoted from the published record;

00:10:33.500 --> 00:10:36.400
the Higgs experiment computes its own
comparison.

00:10:36.400 --> 00:10:41.220
Its 159 HiggsSignals observables are not
159 independent degrees

00:10:41.220 --> 00:10:45.645
of freedom. Coupling and width assumptions
can compensate in visible rates,

00:10:45.645 --> 00:10:49.135
so this scalar comparison is not a complete
G H U fit.

00:10:50.468 --> 00:10:54.648
The displayed recast table belongs to the
earlier archived calculation.

00:10:54.648 --> 00:10:59.043
Separately, the dossier now records the C M
S angular dataset at one hundred

00:10:59.043 --> 00:11:04.013
thirty-eight inverse femtobarns: seven
distributions and seventy-seven bins.

00:11:04.013 --> 00:11:07.013
Integrity checks validate the imported
tables.

00:11:07.013 --> 00:11:10.063
Importing them has not produced a new G H U
fit.

00:11:11.402 --> 00:11:15.242
The released correlation matrix describes
fitted signal strengths.

00:11:15.242 --> 00:11:18.672
It cannot automatically be used as the
covariance of the normalized unfolded

00:11:18.672 --> 00:11:23.857
distributions. A new reinterpretation
requires the G H U signal, selections

00:11:23.857 --> 00:11:27.767
and nuisance parameters, with a justified
statistical model.

00:11:27.767 --> 00:11:32.217
The dossier distinguishes reviewed
resources from analyses actually executed.

00:11:35.335 --> 00:11:39.730
Open Selection rule. Which alpha -domain a
search may legally use, and which

00:11:39.730 --> 00:11:43.155
S U 4 representations can hold a quark
generation.

00:11:44.468 --> 00:11:48.963
Select the representation with Dynkin
labels one, zero, one.

00:11:48.963 --> 00:11:52.188
The centre-charge and chiral-projection
results determine which search domain

00:11:52.188 --> 00:11:55.193
is permitted and which content can host a
generation.

00:11:55.193 --> 00:11:59.513
The domain is computed from the
representation, not chosen for convenience.

00:12:00.802 --> 00:12:04.262
The centre-charge gate is classical and is
credited as such.

00:12:04.262 --> 00:12:07.642
What is ours is the chiral projection that
gives the closed count.

00:12:10.735 --> 00:12:15.390
Open Model calculator. A matter content in,
the Higgs out — the AHMN

00:12:15.390 --> 00:12:17.590
model recomputed in front of you.

00:12:18.935 --> 00:12:21.675
Load the named A H M N reference model.

00:12:21.675 --> 00:12:26.525
Its terms, potential and derived quantities
are recalculated by the browser.

00:12:26.525 --> 00:12:29.945
Start with this anchored content before
changing multiplicities or boundary

00:12:29.945 --> 00:12:34.540
signs, and retain the stated normalization
caveat for absolute scales.

00:12:35.868 --> 00:12:39.468
The mass ratio carries no normalisation and
no caveat.

00:12:39.468 --> 00:12:41.118
Absolute scales do.

00:12:44.268 --> 00:12:48.548
Open eta-meter. What the boundary sign eta
does to a multiplet's contribution —

00:12:48.548 --> 00:12:51.198
in closed form, from one integer.

00:12:52.535 --> 00:12:56.220
Load the supplied example made from a blind
multiplet, then flip every eta

00:12:56.220 --> 00:13:00.840
sign. In this example the potential is
insensitive to that change.

00:13:00.840 --> 00:13:04.380
The eta-difference view exposes the
cancellation; it is not evidence that

00:13:04.380 --> 00:13:06.340
boundary signs never matter.

00:13:07.668 --> 00:13:10.878
In difference mode every blind multiplet
goes blank.

00:13:10.878 --> 00:13:13.953
That is Part V's theorem seen without
reading a number.

00:13:17.068 --> 00:13:21.838
Open Five dimensions. Haba–Yamashita's own
5D S U 3 model,

00:13:21.838 --> 00:13:24.233
with the vacuum their paper leaves undone.

00:13:25.535 --> 00:13:28.850
Compare the pure-gauge case with the
supplied marginal trio.

00:13:28.850 --> 00:13:31.315
Read the potential and vacuum together.

00:13:31.315 --> 00:13:35.220
This panel uses the five-dimensional S U
three reference, so its arithmetic

00:13:35.220 --> 00:13:39.465
and assumptions must not be borrowed from
the six-dimensional S U seven benchmark.

00:13:40.802 --> 00:13:44.492
Pure gauge never breaks the symmetry (D =
−9).

00:13:44.492 --> 00:13:48.887
In this whole 5D class 8D is even: the odd
rung the S U 7 ceiling stands

00:13:48.887 --> 00:13:50.832
on needs the sixth dimension.

00:13:53.935 --> 00:13:58.515
Open the S U N builder. Boundary conditions
and supported bulk representations

00:13:58.515 --> 00:14:02.790
define the implemented one-loop Wilson-line
potential in five dimensions.

00:14:02.790 --> 00:14:04.460
The model is the input.

00:14:05.802 --> 00:14:08.752
Load section four point three of the source
paper.

00:14:08.752 --> 00:14:11.987
This pure-gauge example prefers the
endpoint at one.

00:14:11.987 --> 00:14:15.667
Read the surviving group from the joint
commutant: being at an endpoint does

00:14:15.667 --> 00:14:18.542
not prove that the generators at zero
survive.

00:14:18.542 --> 00:14:22.982
The potential plot and the reported minimum
now use the same V over C normalization.

00:14:24.268 --> 00:14:28.088
The four worked examples are checked
against the implemented formulas.

00:14:28.088 --> 00:14:32.698
With one Wilson phase, the cosine terms
admit the same moment construction.

00:14:32.698 --> 00:14:36.453
Its closed stationary branch is a small-
angle approximation.

00:14:36.453 --> 00:14:40.083
The numerical Fourier minimum is a separate
calculation, and a finite grid

00:14:40.083 --> 00:14:42.463
is not a certificate of the global minimum.

00:14:45.602 --> 00:14:50.132
Open Paper models. Four models somebody
else published, taken off their

00:14:50.132 --> 00:14:52.702
pages and run through this instrument's
engine.

00:14:54.002 --> 00:14:58.142
Change the triplet Dirac-fermion count to
five in the supported reference.

00:14:58.142 --> 00:15:02.662
Inspect which outputs are actually computed
and which remain structural statements.

00:15:02.662 --> 00:15:06.322
Where offered, the load button transfers
the supported content into the general

00:15:06.322 --> 00:15:07.267
builder.

00:15:08.602 --> 00:15:11.987
Three of the four are supersymmetric and
this engine's potential is not,

00:15:11.987 --> 00:15:15.747
so their rows are boundary-condition and
zero-mode statements only.

00:15:15.747 --> 00:15:19.852
An amber row disagrees with one printed
equation, not with a paper, and names

00:15:19.852 --> 00:15:22.667
which of that paper's own equations agrees
with which.

00:15:25.802 --> 00:15:30.447
Open 4D spectrum. What the model on the
builder CONTAINS: the four-dimensional

00:15:30.447 --> 00:15:32.812
fields and their Kaluza–Klein towers.

00:15:34.135 --> 00:15:37.675
Load the S U six example and move the
Wilson-line probe.

00:15:37.675 --> 00:15:41.065
Compare the potential families with the
exact low-lying tower.

00:15:41.065 --> 00:15:43.955
The lowest levels can require a different
reading from the families used

00:15:43.955 --> 00:15:45.700
to construct the potential.

00:15:47.002 --> 00:15:51.102
The cosine families reconstruct the
potential, but do not by themselves
determine

00:15:51.102 --> 00:15:53.642
every lowest level of the exact tower.

00:15:53.642 --> 00:15:57.802
The moved probe is a chosen phase, not
necessarily a vacuum.

00:15:57.802 --> 00:16:01.452
Read its surviving group separately; a
boundary coordinate alone does not

00:16:01.452 --> 00:16:03.317
determine symmetry breaking.

00:16:06.402 --> 00:16:10.977
Open Anomalies. What that content owes:
every anomaly channel of the unbroken

00:16:10.977 --> 00:16:13.292
group, in exact rationals.

00:16:14.602 --> 00:16:18.947
Load the S U six example. The ledger
evaluates each anomaly channel of the

00:16:18.947 --> 00:16:21.947
unbroken group in exact rational
arithmetic.

00:16:21.947 --> 00:16:26.257
Distinguish a vanishing bill from a case
with no massless fermions to test.

00:16:26.257 --> 00:16:29.012
Brane cancellation is a separate
calculation.

00:16:30.335 --> 00:16:34.565
A non-zero row is a BILL, not an
inconsistency: the brane fermions such a

00:16:34.565 --> 00:16:38.045
model needs pay into the same channels with
the opposite sign.

00:16:38.045 --> 00:16:41.095
And a model with no massless fermion has
nothing to cancel — that is no

00:16:41.095 --> 00:16:43.315
subject, not cancels.

00:16:46.402 --> 00:16:50.972
Open Brane matter. Who pays that bill, and
what it costs: matter on the

00:16:50.972 --> 00:16:55.172
two fixed points, held at once to the
anomaly ledger and to Part I's boundary-
mass

00:16:55.172 --> 00:16:56.067
gate.

00:16:57.402 --> 00:17:01.127
Load the supplied S U five brane example
and solve its supported linear charge

00:17:01.127 --> 00:17:05.842
channels. Compare the anomaly ledger with
the surviving massless fields.

00:17:05.842 --> 00:17:09.502
Paying an anomaly bill and giving a field a
mass are different requirements.

00:17:10.802 --> 00:17:15.387
Two verdicts, kept apart on purpose: the
bill before and after, and the massless

00:17:15.387 --> 00:17:19.932
count before and after. The same field can
pay one and not the other, because

00:17:19.932 --> 00:17:23.222
the charge that cancels an anomaly is not
in general the charge a mass term

00:17:23.222 --> 00:17:27.352
needs. The surviving count is a lower bound
— the rank test assumes generic

00:17:27.352 --> 00:17:28.527
couplings.

00:17:31.668 --> 00:17:35.938
Open Scan. Walk the displayed finite space
of boundary conditions and matter

00:17:35.938 --> 00:17:38.413
contents through the selected filters.

00:17:38.413 --> 00:17:42.043
The breaking filter tests which generators
at phase zero survive at the numerically

00:17:42.043 --> 00:17:43.408
located minimum.

00:17:44.735 --> 00:17:46.975
Run the displayed finite sweep.

00:17:46.975 --> 00:17:50.945
Read the denominator, each filter in the
funnel, the survivors and the unresolved

00:17:50.945 --> 00:17:55.960
cases. The interface counts boundary
conditions and equivalence classes
separately,

00:17:55.960 --> 00:17:59.305
so surviving rows are not automatically
distinct theories.

00:18:00.602 --> 00:18:04.572
Surviving boundary conditions are not
surviving theories: [p,q,r,s] ~ [p−

00:18:04.572 --> 00:18:10.252
1,q+1,r+1,s−1] is the same theory, so the
headline is a pair of numbers.

00:18:10.252 --> 00:18:13.172
An undecided vacuum is counted apart from a
no.

00:18:16.268 --> 00:18:18.833
Open One model, every verdict.

00:18:18.833 --> 00:18:21.988
Which of the instrument's answers about
this model are about the THEORY,

00:18:21.988 --> 00:18:24.663
and which only about the frame you are
standing in.

00:18:26.002 --> 00:18:29.452
Start the built-in example, then choose its
displayed equivalent boundary

00:18:29.452 --> 00:18:33.797
condition. Compare the tags identifying
properties of the theory and properties

00:18:33.797 --> 00:18:37.887
of the chosen frame. A changed coordinate
description can move a displayed

00:18:37.887 --> 00:18:40.427
quantity without changing the physical
theory.

00:18:41.735 --> 00:18:45.065
The tags compare quantities in the
evaluated frames.

00:18:45.065 --> 00:18:48.695
Read boundary coordinates and the surviving
symmetry separately.

00:18:48.695 --> 00:18:51.825
Reported energies share the potential
normalization.

00:18:51.825 --> 00:18:55.845
Numerical agreement between the located
minima is evidence for these evaluations,

00:18:55.845 --> 00:18:58.425
not an exhaustive global-minimum
certificate.

00:19:01.535 --> 00:19:06.230
Open Simulator. Choose builder predictions,
a top-Kaluza Klein Higgs-rate

00:19:06.230 --> 00:19:10.235
reference or the neutrino ring; compare
calculated responses with their explicitly

00:19:10.235 --> 00:19:12.465
scoped experimental references.

00:19:13.802 --> 00:19:17.452
Load the published builder example and set
the gauge coupling to one.

00:19:17.452 --> 00:19:21.397
Higgs masses now use analytic Fourier
second derivatives, with an explicit

00:19:21.397 --> 00:19:26.067
truncation error bound. The export retains
the actual coupling and phase,

00:19:26.067 --> 00:19:29.652
and distinguishes a chosen probe from a
numerically located minimum.

00:19:31.002 --> 00:19:34.277
The thermal history belongs to a separate S
U three benchmark and the stated

00:19:34.277 --> 00:19:38.257
supported regime. It is not a detector
forecast or the thermal history of

00:19:38.257 --> 00:19:42.697
this builder. At commuting endpoints, the
present mass dictionary does not

00:19:42.697 --> 00:19:46.087
identify a shifted W candidate to set the
scale.

00:19:46.087 --> 00:19:50.152
That limitation does not imply that the
phase-zero gauge group survives.

00:19:53.268 --> 00:19:57.608
Open Boundary conditions. Which boundary
conditions are the same theory,

00:19:57.608 --> 00:20:00.328
walked as orbits rather than quoted as a
theorem.

00:20:01.668 --> 00:20:05.613
Switch from the interval orbifold to the
two-dimensional Z three example.

00:20:05.613 --> 00:20:09.953
The orbit structure and class count change
with the specified boundary problem.

00:20:09.953 --> 00:20:14.488
Equivalence classes identify descriptions
connected by the allowed transformations.

00:20:15.802 --> 00:20:20.482
The counts come out (N+1) squared  at every
N on S¹/

00:20:20.482 --> 00:20:24.677
Z₂, which is Haba–Hosotani–Kawamura's
theorem as a measurement.

00:20:24.677 --> 00:20:27.722
Press T squared /Z₃ and the answer changes.

00:20:30.868 --> 00:20:33.128
Open Classify an orbifold.

00:20:33.128 --> 00:20:36.843
The alphabet of an orbifold, derived from
its rotation matrix and nothing

00:20:36.843 --> 00:20:37.798
else.

00:20:39.135 --> 00:20:42.805
Select the two-dimensional Z four rotation
and classify it.

00:20:42.805 --> 00:20:46.120
The group-theoretic alphabet is derived
from the matrix.

00:20:46.120 --> 00:20:50.175
You can enter another supported matrix, but
an invalid finite-order hypothesis

00:20:50.175 --> 00:20:53.060
must be refused rather than silently
classified.

00:20:54.402 --> 00:20:56.702
Nothing is entered but the matrix.

00:20:56.702 --> 00:21:00.597
A matrix of infinite order, or one whose
characteristic polynomial is not

00:21:00.597 --> 00:21:05.472
a power of the m-th cyclotomic, comes back
REFUSED rather than classified.

00:21:08.602 --> 00:21:12.677
Open Name the relations. Which equivalence
relation on boundary conditions

00:21:12.677 --> 00:21:17.197
the literature already owns, and whether a
proposed move set connects a class.

00:21:18.535 --> 00:21:22.805
Switch to the Z four boundary problem and
judge the displayed proposed move.

00:21:22.805 --> 00:21:26.500
Read the local and global qualifications
and the source attribution.

00:21:26.500 --> 00:21:30.260
A useful move in one boundary problem is
not automatically a complete equivalence

00:21:30.260 --> 00:21:31.705
relation in another.

00:21:33.002 --> 00:21:36.742
The local/global distinction is the one
that gets misquoted, and the page

00:21:36.742 --> 00:21:38.387
carries it explicitly.

00:21:41.535 --> 00:21:44.065
Open Conjugate boundary conditions.

00:21:44.065 --> 00:21:48.455
How many inequivalent CONJUGATE boundary
conditions there are on S¹/Z₂ —

00:21:48.455 --> 00:21:52.635
and, because that count rests on a
hypothesis nobody has settled, what each

00:21:52.635 --> 00:21:54.350
of the two answers would be.

00:21:55.668 --> 00:21:59.833
Increase the group rank and compare the two
hypotheses printed in the table.

00:21:59.833 --> 00:22:02.778
Conjugate twists transform by congruence.

00:22:02.778 --> 00:22:06.173
Independent boundary transformations and
one linked transformation lead to

00:22:06.173 --> 00:22:10.818
different classification questions, so the
hypothesis travels with the count.

00:22:12.135 --> 00:22:15.715
What the panel puts on screen is the
disagreement, not a number, and that

00:22:15.715 --> 00:22:20.090
is the point: the twists move by congruence
rather than similarity, and independence

00:22:20.090 --> 00:22:24.120
decides between four classes flat in N and
no finite count at all.

00:22:24.120 --> 00:22:27.095
What the label leaves unbroken is not a
property of the label — the same

00:22:27.095 --> 00:22:30.060
verdict the ordinary panel reaches by
another route.

00:22:30.060 --> 00:22:33.945
The exported card carries the hypothesis
beside the count, so a number never

00:22:33.945 --> 00:22:36.405
travels without the condition it rests on.

00:22:39.535 --> 00:22:43.670
Open Brane kinetic terms. What happens to
the tower when brane-localised

00:22:43.670 --> 00:22:46.955
kinetic terms make the masses stop being
n/R.

00:22:48.268 --> 00:22:51.243
Increase the brane kinetic coefficient to
twelve.

00:22:51.243 --> 00:22:55.533
The spectrum responds because the roots are
no longer a simple integer tower.

00:22:55.533 --> 00:22:59.673
Compare the root conditions and
normalization, then use the separate
warped-unification

00:22:59.673 --> 00:23:01.893
card for coupling-running questions.

00:23:03.202 --> 00:23:06.427
The special functions are checked against
mpmath at forty digits, and the

00:23:06.427 --> 00:23:10.022
c  to  0 limit is computed in closed form
by code that shares nothing with

00:23:10.022 --> 00:23:13.592
the solver. That limit found three real
defects.

00:23:16.735 --> 00:23:21.300
Open Gravity–gauge · 3D. Which physical
information a complete tower of masses

00:23:21.300 --> 00:23:24.430
leaves undetermined in a controlled
gravity-gauge example.

00:23:25.735 --> 00:23:29.700
Select eta equal to minus zero point nine,
then display the gauge kinetic

00:23:29.700 --> 00:23:34.655
function. The paired masses and the source
response carry different information.

00:23:34.655 --> 00:23:39.385
The Wilson quantity here is a kinetic
normalization, not a Higgs-mass prediction.

00:23:40.735 --> 00:23:44.120
The positive paired tensor NN and vector DD
masses are protected by their

00:23:44.120 --> 00:23:46.210
common canonical operator.

00:23:46.210 --> 00:23:49.620
The gauge NN control has different
boundaries and moves.

00:23:49.620 --> 00:23:53.695
The source position is in the extra
dimension, not a laboratory location;

00:23:53.695 --> 00:23:56.665
the Wilson kinetic scale is not a Higgs
mass.

00:23:56.665 --> 00:24:01.235
For p=1.1 a canonical bulk scalar realizes
the family, with stability

00:24:01.235 --> 00:24:02.895
and cutoff still open.

00:24:06.002 --> 00:24:10.207
Open The literature. The reading list
behind the series: what each paper

00:24:10.207 --> 00:24:13.597
publishes, and which ones a person has
actually read.

00:24:14.935 --> 00:24:18.065
Filter the reading list to the complete-
triple selection.

00:24:18.065 --> 00:24:21.975
Inspect the recorded sources and what each
paper actually supplies.

00:24:21.975 --> 00:24:25.955
Keyword signals help navigate this corpus;
they are not proofs, and this

00:24:25.955 --> 00:24:28.750
reading list is not an exhaustive map of
the field.

00:24:30.068 --> 00:24:34.938
A signal is a keyword, and a keyword sweep
misses whatever is phrased differently.

00:24:34.938 --> 00:24:38.408
Nothing is asserted from a signal alone,
and the corpus is our reading list

00:24:38.408 --> 00:24:39.798
rather than the field.

00:24:42.935 --> 00:24:47.360
The second Simulator mode is the top Kaluza
Klein Higgs-production reference.

00:24:47.360 --> 00:24:51.265
Its leading rate, finite tower and resummed
comparison answer one specified

00:24:51.265 --> 00:24:52.630
model question.

00:24:53.935 --> 00:24:58.090
Move the Kaluza Klein scale to fifteen
hundred gigaelectronvolts.

00:24:58.090 --> 00:25:01.305
Inspect the rate curve and the separate
convergence display.

00:25:01.305 --> 00:25:05.385
The chosen comparison window is
conditional, and a custom window is a user-
supplied

00:25:05.385 --> 00:25:06.495
scenario.

00:25:09.602 --> 00:25:12.227
Select the four-dimensional neutrino ring.

00:25:12.227 --> 00:25:15.552
Calibration can hold the light mass and
active-current deficit fixed while

00:25:15.552 --> 00:25:18.127
the required couplings are reconstructed.

00:25:18.127 --> 00:25:20.702
Six heavy pairs belong to this base model.

00:25:22.002 --> 00:25:26.267
Compare mu B equal to zero with five
thousand kilo electron volts.

00:25:26.267 --> 00:25:30.262
The leading light mass and the heavy pair
splittings carry different information.

00:25:30.262 --> 00:25:33.597
Read the approximation indicators alongside
the spectrum.

00:25:36.735 --> 00:25:40.145
The C M S comparison uses published
observed and expected curves with their

00:25:40.145 --> 00:25:44.905
bands. The overlay keeps the selected
flavour and Dirac or Majorana hypothesis

00:25:44.905 --> 00:25:45.905
visible.

00:25:47.202 --> 00:25:50.242
Choose muon flavour and the Majorana
reference.

00:25:50.242 --> 00:25:54.647
Inspect the per-component convention, mass
domain and reference ratios.

00:25:54.647 --> 00:25:58.342
The ring overlay is not a likelihood that
includes its complete flavour structure,

00:25:58.342 --> 00:26:01.322
decay acceptance and multi-state
interference.

00:26:04.468 --> 00:26:07.523
The decay card starts from the weak-channel
scenario.

00:26:07.523 --> 00:26:11.043
Select a heavy pair and inspect where its
width goes, its lifetime and the

00:26:11.043 --> 00:26:12.948
fixed-boost flight estimate.

00:26:14.268 --> 00:26:17.043
Include the calculated Majoron channels.

00:26:17.043 --> 00:26:20.023
The width and the derived lifetime respond
together.

00:26:20.023 --> 00:26:23.068
An extra width is a separate user
hypothesis.

00:26:23.068 --> 00:26:26.968
Read the isolated-pair and overlap
diagnostics before interpreting the same-
sign

00:26:26.968 --> 00:26:28.843
over opposite-sign ratio.

00:26:30.135 --> 00:26:33.415
Change the fixed boost to ten and inspect
the flight curve.

00:26:33.415 --> 00:26:36.895
This illustrates the supplied kinematic
scenario; it does not integrate a

00:26:36.895 --> 00:26:39.640
detector acceptance or a production
spectrum.

00:26:42.735 --> 00:26:47.365
Three sterile copies reconstruct the chosen
light masses and mixing orientation.

00:26:47.365 --> 00:26:51.285
The mass ordering, phases and active
deficits are inputs.

00:26:51.285 --> 00:26:54.530
The card also displays eighteen heavy-pair
flavour weights.

00:26:55.868 --> 00:26:58.678
Change the Dirac phase to ninety degrees.

00:26:58.678 --> 00:27:02.388
Compare neutrino and antineutrino
appearance in the unitary vacuum limit,

00:27:02.388 --> 00:27:04.728
then inspect the flavour fractions.

00:27:04.728 --> 00:27:08.413
Majorana phases cancel from these
oscillation curves but can affect the
displayed

00:27:08.413 --> 00:27:10.503
light-sector double-beta quantity.

00:27:13.602 --> 00:27:17.167
This experiment holds the chosen light
masses and mixing orientation fixed

00:27:17.167 --> 00:27:19.737
while reconstructing a parameter path.

00:27:19.737 --> 00:27:22.227
The green strip tells you what is fixed.

00:27:22.227 --> 00:27:26.727
The five figures separate heavy masses,
splitting, current factors, small

00:27:26.727 --> 00:27:28.722
differences and reference data.

00:27:30.068 --> 00:27:33.233
Move the selected position from one tenth
to eight tenths along the mu B

00:27:33.233 --> 00:27:37.518
path. The mass stays fixed while the pair
splitting changes.

00:27:37.518 --> 00:27:40.258
The open circle tracks the selected point.

00:27:40.258 --> 00:27:44.323
Equal light inputs therefore do not
determine every heavy-sector response.

00:27:45.668 --> 00:27:49.098
Now choose the common active deficit and
its upper endpoint.

00:27:49.098 --> 00:27:53.268
The raw vacuum current factor is
suppressed, but the specified near
normalization

00:27:53.268 --> 00:27:55.328
cancels the common factor.

00:27:55.328 --> 00:27:58.558
The difference figure labels numerical
coincidence rather than amplifying

00:27:58.558 --> 00:27:59.653
roundoff.

00:28:01.002 --> 00:28:03.232
Choose deficit direction three.

00:28:03.232 --> 00:28:06.147
Unequal deficits can leave a shape
response.

00:28:06.147 --> 00:28:09.307
The fourth graph magnifies an absolute
difference that is difficult to see

00:28:09.307 --> 00:28:11.297
in the overlapping curves.

00:28:11.297 --> 00:28:15.797
Its scale is explicit, and the exported
samples retain their original precision.

00:28:17.135 --> 00:28:20.540
The DeepCore map uses the archived twenty-
eighteen standard-three-neutrino

00:28:20.540 --> 00:28:24.965
tables. The cross stays fixed along the
ring path because these light inputs

00:28:24.965 --> 00:28:29.080
stay fixed. The map is not a nonunitary
ring likelihood and is not added

00:28:29.080 --> 00:28:30.465
to NuFIT.

00:28:31.802 --> 00:28:35.297
To move the cross, change sine squared
theta twenty-three in the flavour

00:28:35.297 --> 00:28:38.857
card. Here it is set to zero point six.

00:28:38.857 --> 00:28:41.512
The reference updates for the new light
input.

00:28:41.512 --> 00:28:45.887
Outside its published grid the laboratory
withholds a value instead of extrapolating.

00:28:49.002 --> 00:28:53.537
This paper-model experiment reconstructs
the stated flat S U six potential.

00:28:53.537 --> 00:28:57.162
Matter content and the winding cutoff are
explicit controls.

00:28:57.162 --> 00:29:00.402
A small Wilson minimum must be read with
its convergence check.

00:29:01.735 --> 00:29:05.830
Set the winding cutoff to ten and inspect
the shifted minimum and comparison.

00:29:05.830 --> 00:29:09.090
A finite truncation can change the apparent
result.

00:29:09.090 --> 00:29:12.450
The supported potential can be transferred
to the builder; this does not

00:29:12.450 --> 00:29:14.695
certify a complete flavour model.

00:29:17.802 --> 00:29:20.847
The warped-unification card compares
differential gauge running under the

00:29:20.847 --> 00:29:22.867
selected matter assignment.

00:29:22.867 --> 00:29:26.307
Required ultraviolet boundary terms and
their residuals are outputs of that

00:29:26.307 --> 00:29:28.007
stated approximation.

00:29:29.335 --> 00:29:31.870
Switch the matter assignment to C two.

00:29:31.870 --> 00:29:35.420
The running differences and required
boundary terms respond.

00:29:35.420 --> 00:29:38.770
The naive-dimensional-analysis reference is
a scale estimate.

00:29:38.770 --> 00:29:43.085
The separate localization probe is not a
complete fermion-spectrum calculation.

00:29:46.202 --> 00:29:49.147
The thermal card is its own S U three
benchmark.

00:29:49.147 --> 00:29:52.957
It uses named paper cases and compares
potential cutoffs.

00:29:52.957 --> 00:29:56.342
A stored matching PhaseTracer result is
available offline for the recorded

00:29:56.342 --> 00:29:57.442
inputs.

00:29:58.735 --> 00:30:02.265
Load paper case two and compare the
potential and phase flow.

00:30:02.265 --> 00:30:05.930
Coexistence and a nucleation proxy are
different questions.

00:30:05.930 --> 00:30:09.565
A new point needs a matching bounce
calculation; changing the builder model

00:30:09.565 --> 00:30:12.575
does not turn this benchmark into its
thermal history.

00:30:13.868 --> 00:30:17.558
The new comparison runs PhaseTracer and
CosmoTransitions on the same S U

00:30:17.558 --> 00:30:19.953
three potential and canonical field.

00:30:19.953 --> 00:30:22.988
Nine matched temperatures compare the
bounce action.

00:30:22.988 --> 00:30:26.663
The programs share shooting-method
ancestry, so agreement is a numerical

00:30:26.663 --> 00:30:31.203
cross-check, not an independent interval
proof or an experimental validation.

00:30:32.535 --> 00:30:36.305
The table changes the spatial and thermal
Fourier cutoffs together.

00:30:36.305 --> 00:30:40.245
T one-forty solves S three over T equal to
one hundred forty.

00:30:40.245 --> 00:30:45.165
It is a proxy, separate from the integrated
nucleation and percolation results.

00:30:45.165 --> 00:30:48.785
The older displayed proxy used a looser
shooting tolerance; compare like

00:30:48.785 --> 00:30:51.175
settings before interpreting a difference.

00:30:52.468 --> 00:30:54.833
Open the numerical diagnostics.

00:30:54.833 --> 00:30:58.498
Tolerance shifts, profile sampling and the
virial residual test different

00:30:58.498 --> 00:31:00.633
aspects of the calculation.

00:31:00.633 --> 00:31:04.663
The targets are numerical criteria, not
confidence levels.

00:31:04.663 --> 00:31:09.533
Higher loops, thermal resummation and
plasma dynamics remain unquantified.

00:31:09.533 --> 00:31:13.783
These S U three examples are separate from
the S U seven mass certificates.

00:31:15.068 --> 00:31:17.703
Change the coupling away from the
reference.

00:31:17.703 --> 00:31:21.203
The archived solver comparison disappears
because all thermal inputs must

00:31:21.203 --> 00:31:25.553
match. A stale certificate must not follow
an edited point.

00:31:25.553 --> 00:31:29.118
Load a named paper case again to recover
its evidence; a new point needs

00:31:29.118 --> 00:31:30.653
a new calculation.

00:31:32.002 --> 00:31:35.317
Reload case two and save the experiment
JSON.

00:31:35.317 --> 00:31:39.847
It retains both solver versions,
tolerances, cutoffs and sources.

00:31:39.847 --> 00:31:43.752
The thermal potential is credited to Hirose
and Shibuya, CosmoTransitions

00:31:43.752 --> 00:31:47.942
to Carroll Wainwright, and PhaseTracer to
Athron and collaborators.

00:31:47.942 --> 00:31:50.647
Keep this provenance with every exported
result.

00:31:53.735 --> 00:31:57.355
Integrated transition history uses refined
action tables.

00:31:57.355 --> 00:32:00.985
Read nucleation, percolation and completion
separately.

00:32:00.985 --> 00:32:04.520
The false-vacuum fraction and physical-
volume condition make those distinctions

00:32:04.520 --> 00:32:05.515
visible.

00:32:06.802 --> 00:32:10.067
Set the assumed wall speed to zero point
eight and the fluid efficiency to

00:32:10.067 --> 00:32:14.857
zero point one. Compare the history and
conditional acoustic spectrum.

00:32:14.857 --> 00:32:18.662
Wall friction, plasma evolution and
detector significance are not calculated

00:32:18.662 --> 00:32:20.192
by these controls.

00:32:23.335 --> 00:32:27.270
This warped-model experiment separates
ultraviolet and infrared anomaly factors,

00:32:27.270 --> 00:32:30.530
gauge cancellation and the baryon-current
matrix.

00:32:30.530 --> 00:32:34.570
Its sources and approximation are distinct
from the base S U seven ledger.

00:32:35.868 --> 00:32:39.358
Remove the lepton generations in this test
configuration.

00:32:39.358 --> 00:32:42.818
The imbalance exposes a gauge anomaly that
needs completion.

00:32:42.818 --> 00:32:46.793
A nonzero baryon-current anomaly is a
separate statement; it is not a computed

00:32:46.793 --> 00:32:49.563
proton lifetime or baryogenesis yield.

00:32:52.668 --> 00:32:56.058
Begin with the stored Standard Model-like
scalar reference.

00:32:56.058 --> 00:32:59.658
Local couplings determine production rates,
partial widths and branching

00:32:59.658 --> 00:33:03.878
fractions. Matching HiggsBounds and
HiggsSignals calculations use pinned

00:33:03.878 --> 00:33:05.753
experimental datasets.

00:33:07.068 --> 00:33:10.108
Add one mega electron volt of invisible
width.

00:33:10.108 --> 00:33:13.768
The local predictions update, and the old
experimental result is withdrawn

00:33:13.768 --> 00:33:16.323
because its inputs no longer match.

00:33:16.323 --> 00:33:19.528
Run the optional engine or import a
matching result before assigning a new

00:33:19.528 --> 00:33:21.168
experimental verdict.

00:33:24.268 --> 00:33:27.528
Use a comparison snapshot before changing a
point.

00:33:27.528 --> 00:33:32.918
Save the experiment JSON to retain the
inputs, calculated arrays, assumptions,

00:33:32.918 --> 00:33:35.503
provenance and optional saved reference.

00:33:35.503 --> 00:33:38.953
The global result card and LaTeX exports
provide another view of the selected

00:33:38.953 --> 00:33:40.263
calculation.

00:33:41.602 --> 00:33:44.397
Choose a figure and save its vector SVG.

00:33:44.397 --> 00:33:48.577
The new neutrino figures carry sampled data
and provenance in their metadata.

00:33:48.577 --> 00:33:52.267
The link button preserves controls in the
address; archive external results

00:33:52.267 --> 00:33:54.847
and comparisons in JSON as well.

00:33:56.135 --> 00:33:59.830
The browser calculations and stored
references run offline.

00:33:59.830 --> 00:34:03.855
New HiggsTools and PhaseTracer points use
the optional local engine.

00:34:03.855 --> 00:34:07.860
The source repository contains the
reproduction commands, independent checks

00:34:07.860 --> 00:34:12.440
and archived studies. Return to a chapter,
vary one assumption, and

00:34:12.440 --> 00:34:14.695
keep the scope beside every result.