Frostyverse Reference Simulator v1.0 — Verification Report
==========================================================
simulator version: 1.0.0-reference
test-suite version: 1.0.0-reference
generated:          2026-08-10T06:29:43
python:             3.13.5
platform:           Linux-6.18.35-x86_64-with-glibc2.41

MODEL RULES UNDER TEST
  * Free FQ: one completed handoff per universal update; exact FrostVector persists.
  * One selected FrostCell; seven candidate Frostnodes per free-FQ handoff.
  * Shore conserves the exact FrostVector ensemble moment.
  * Ambient vacuum energy shapes the FQ smear but does not independently enter a node.
  * Saturated matter: FULL -> TRANSITION -> FULL threshold/lockout.
  * Saturated transfer is axis-confined; snowplow vacuum pressure changes spacing only.
  * Face-loop / multi-path FrostSegment tension supplies 3-D shape rigidity.
  * Lorentz gamma/contraction are comparison references only, evaluated after solving.

DEFAULT CONFIGURATION
  seed=7; substeps=96; rotation=16x5000
  sphere=64x2500; bound-rays=96; boost-rays=256
  saturation=1.000000; relaxation-gain=0.350000

ISOTROPY / ROTATION REGRESSION
-------------------------------
  rotation angle mean/max = 0.35148 / 0.85120 deg
  sphere angle mean/max   = 0.54079 / 1.48100 deg
  sphere radius mean/std  = 1.000545 / 0.006337
  status: PASS

FROSTCELL BOUNDARY REGRESSION
-----------------------------
  target separation = 1.920858277557e-08
  Shore separation  = 1.920858266891e-08
  continuity ratio  = 0.999999994
  status: PASS

SATURATED-NODE / SNOWPLOW DIRECTIONAL-STRAIN TEST
-------------------------------------------------
LOCKOUT / CONSERVATION AUDIT
  max packet-energy conservation error = 0.000e+00
  blocked relaunch attempts in transition = 128
  premature relaunches allowed             = 0
  relaunch allowed only after FULL          = True

  Candidate solver receives only c-limited moving-target geometry, saturation,
  lockout, and the sign of snowplow pressure from under/over-fill.
  Lorentz references are calculated only after relaxation finishes.

  beta   clock slowdown  gamma ref   snowplow scale  1/gamma ref  initial fill  steps
  0.001     1.0000005   1.0000005     0.9999995    0.9999995      0.999999     32
  0.010     1.0000500   1.0000500     0.9999500    0.9999500      0.999950     43
  0.100     1.0050378   1.0050378     0.9949874    0.9949874      0.994987     53
  0.300     1.0482848   1.0482848     0.9539392    0.9539392      0.953939     59
  0.500     1.1547005   1.1547005     0.8660254    0.8660254      0.866025     61
  0.800     1.6666667   1.6666667     0.6000000    0.6000000      0.600000     65
  0.950     3.2025631   3.2025631     0.3122499    0.3122499      0.312250     68

THRESHOLD / PARAMETER ROBUSTNESS
  absolute saturation threshold and relaxation gain were swept after the main run.
  max equilibrium-scale spread across sweeps = 1.088e-11
  (threshold sets FULL/TRANSITION state; it is not tuned to produce contraction.)

ARBITRARY-ORIENTATION SATURATION CHECK
  beta=0.10: max bound saturation mismatch=9.299e-13; local two-way c=1.000000000..1.000000000
  beta=0.30: max bound saturation mismatch=6.799e-13; local two-way c=1.000000000..1.000000000
  beta=0.50: max bound saturation mismatch=9.444e-13; local two-way c=1.000000000..1.000000000
  beta=0.80: max bound saturation mismatch=7.980e-13; local two-way c=1.000000000..1.000000000
  beta=0.95: max bound saturation mismatch=8.493e-13; local two-way c=1.000000000..1.000000000

LOCAL LIGHT / SYNCHRONIZATION CHECK
  beta=0.10: sync offset/rest-length=-0.100000000; local one-way c=1.000000000..1.000000000
  beta=0.30: sync offset/rest-length=-0.300000000; local one-way c=1.000000000..1.000000000
  beta=0.50: sync offset/rest-length=-0.500000000; local one-way c=1.000000000..1.000000000
  beta=0.80: sync offset/rest-length=-0.800000000; local one-way c=1.000000000..1.000000000
  beta=0.95: sync offset/rest-length=-0.950000000; local one-way c=1.000000000..1.000000000

CANDIDATE RESULT
  max clock-slowdown error vs gamma reference       = 4.441e-16
  max snowplow-strain error vs 1/gamma reference    = 9.377e-13
  max final normalized saturation error             = 9.570e-13
  max arbitrary-orientation saturation mismatch     = 9.444e-13
  max local two-way light-speed error                = 9.444e-13
  max synchronized local one-way light-speed error   = 9.533e-13

INTERPRETATION
  * Saturation supplies a concrete completion/stopping condition for matter handoffs.
  * Lockout prevents a transitioning saturated packet from launching another move.
  * Vacuum snowplow energy is used only as pressure; it never becomes packet energy.
  * A longitudinal transfer that is underfilled when the shared node should become FULL
    generates inward pressure and shortens the bound spacing until the deficit vanishes.
  * The old abstract phase-lock result is therefore reproduced as a saturation equilibrium,
    rather than being inserted as the stopping rule itself.
  * Remaining microscopic question: does real saturated Frostyverse matter create this
    specific underfill -> snowplow-pressure response from first principles?
  * Matter-orientation caveat: this is a local/coarse-grained bound-relation test,
    not yet a full multi-node saturated-matter lattice automaton.

CURRENT VERDICT
  isotropic free-FQ transport:                         PROVISIONAL PASS
  rotational invariance of free-FQ transport:         PROVISIONAL PASS
  saturated matter threshold / transition lockout:    CONSISTENT CANDIDATE
  snowplow threshold -> Lorentz directional strain:   PASS IN CANDIDATE
  ideal rod/clock preferred-frame test:                PASS IN CANDIDATE
  microscopic vacuum-pressure law for saturated matter: STILL POSTULATED
  full multi-node matter rotational/Lorentz dynamics:  TESTED BELOW

COMPOSITE CLUSTER LADDER TEST
-----------------------------
  This section asks how little saturated matter we need before the local
  threshold/lockout/snowplow rule behaves like a real bound object.
  We test tiny, medium, and larger clusters under the same local rule.

  family        beta   nodes/relations   network scale   clock scale   shape RMS      max local-c
  triangle-3    0.30      3/3             0.95393920    0.95393920   6.189e-10   9.438e-10
  triangle-3    0.80      3/3             0.60000000    0.60000000   5.538e-10   9.475e-10
  tetra-4       0.30      4/6             0.95393920    0.95393920   2.072e-09   9.835e-10
  tetra-4       0.80      4/6             0.60000000    0.60000000   1.840e-09   9.750e-10
  cube-8        0.30      8/28            0.95393920    0.95393920   7.258e-10   9.981e-10
  cube-8        0.80      8/28            0.60000000    0.60000000   6.086e-10   9.793e-10
  scaffold-27   0.30     27/158           0.95393920    0.95393920   4.014e-10   9.905e-10
  scaffold-27   0.80     27/158           0.60000000    0.60000000   4.065e-10   9.914e-10

CLUSTER LADDER INTERPRETATION
  * triangle-3 is the smallest composite toy object; it can move coherently but
    does not yet test full 3-D rigidity.
  * tetra-4 is the smallest genuinely 3-D closed cluster; it is the first useful
    microscopic proxy for a quark-like bound composite.
  * cube-8 and scaffold-27 show that the same local rule scales upward without
    changing the recovered contraction or local light measurements.
  * If these all agree, we do NOT need Earth-sized matter to test the candidate.

CLUSTER LADDER RESULT
  max cluster network-vs-clock scale error = 7.479e-10
  max cluster recovered-shape RMS          = 2.072e-09
  max cluster local saturation mismatch    = 9.998e-10
  max cluster local two-way c residual     = 9.998e-10

CLUSTER LADDER VERDICT
  tiny composite saturated cluster:         PASS IN CANDIDATE
  smallest 3-D closed cluster (tetra-4):    PASS IN CANDIDATE
  medium/large cluster scaling:             PASS IN CANDIDATE
  remaining role of explicit shear law:     TESTED BELOW

MULTI-NODE SATURATED-MATTER STRUCTURE TEST
------------------------------------------
  This section is the reference-suite multi-node test: many saturated Frostnodes share local
  relations simultaneously.  The starting structure is intentionally jittered.
  No gamma or Lorentz contraction enters the relaxation loop.

  primary scaffold: 27 saturated nodes / 158 local braced relations
  orientations x boosts: 4 x 5; initial coordinate jitter: +/-2%

  beta   network scale   clock scale   Lorentz ref   max saturation error   max local-c error
  0.10     0.99498744    0.99498744    0.99498744       9.873e-10        9.873e-10
  0.30     0.95393920    0.95393920    0.95393920       9.984e-10        9.984e-10
  0.50     0.86602540    0.86602540    0.86602540       9.834e-10        9.834e-10
  0.80     0.60000000    0.60000000    0.60000000       9.996e-10        9.996e-10
  0.95     0.31224990    0.31224990    0.31224990       9.816e-10        9.816e-10

SIZE / TOPOLOGY STRESS AT beta=0.80
  (2, 2, 2): nodes/relations=8/28, network scale=0.600000000, shape RMS=7.224e-10, steps=528
  (3, 3, 3): nodes/relations=27/158, network scale=0.600000000, shape RMS=4.183e-10, steps=849
  (4, 3, 2): nodes/relations=24/128, network scale=0.600000000, shape RMS=7.681e-10, steps=2073

MULTI-NODE PARAMETER / PERTURBATION ROBUSTNESS AT beta=0.80
  saturation/gain/jitter cases = 6
  network-scale spread         = 1.333e-11
  worst recovered-shape RMS    = 4.887e-10

AXIS-ONLY FLOPPY-STRUCTURE NEGATIVE CONTROL
  axis-only relations=54; all local cycles still saturate to 9.798e-10
  but recovered proper-shape RMS=2.268e-02
  and inferred longitudinal scale=0.600741 vs clock scale=0.600000
  interpretation: saturation timing alone does not provide shear rigidity.

MULTI-NODE RESULT
  max network-scale error vs independently derived moving-clock scale = 1.446e-11
  max network-scale error vs Lorentz reference (comparison afterward) = 1.446e-11
  max final local saturation mismatch                                  = 9.996e-10
  max recovered proper-shape pair RMS / max                            = 7.681e-10 / 2.436e-09
  max local two-way light-speed residual across bound relations        = 9.996e-10
  not-FULL nodes at end (worst run)                                    = 0
  blocked relaunch/READY attempts during transition                    = 663538
  premature relaunches actually allowed                                = 0
  maximum relaxation steps                                             = 2073

INTERPRETATION
  * Shared saturated nodes can satisfy many simultaneous local relations; the
    one-bond snowplow rule does not become mutually inconsistent in this scaffold.
  * The relaxed network itself reveals the same longitudinal scale independently
    obtained from its moving internal clock, before the Lorentz reference is checked.
  * Undoing that derived strain restores every pair distance of the proper structure,
    so the network remains locally rigid rather than hiding a shear/collapse solution.
  * All nodes remain locked while any required relation is in transition and return
    to FULL together at equilibrium.
  * The axis-only negative control shears even though every local cycle saturates;
    therefore a real Frostyverse matter model must supply 3-D shear/shape constraints
    through tension/twist/curl, multi-path binding, or an equivalent mechanism.
  * This is still a specified candidate automaton: software can show sufficiency and
    internal consistency, not that the microscopic snowplow law exists in nature.

MULTI-NODE VERDICT
  multi-node saturated structure consistency:          PASS IN CANDIDATE
  network-derived Lorentz directional strain:          PASS IN CANDIDATE
  moving multi-node rod/clock preferred-frame test:    PASS IN CANDIDATE
  axis-only saturation without shear rigidity:         FAIL (NEGATIVE CONTROL)
  required additional matter ingredient:               3-D shear/shape constraint
  remaining software target from V3.4: addressed by reference-suite sections below

EXPLICIT 3-D SHEAR / MULTI-PATH TENSION TEST
--------------------------------------------
  Matter translation still occurs through axis-confined saturated handoffs.
  Face braces below are shape/tension constraints from alternate FrostSegment
  paths around a cell face; they are NOT diagonal matter travel directions.
  This asks whether face-loop tension is enough, without twist/curl or body braces.

  axis-only       relations= 54  shape-RMS=2.776e-01  scale-error=1.028e-01  local-c=9.955e-10
  axis+face       relations=126  shape-RMS=7.593e-10  scale-error=7.477e-12  local-c=9.927e-10
  axis+face+body  relations=158  shape-RMS=4.604e-10  scale-error=4.347e-12  local-c=9.991e-10

SHEAR-LAW VERDICT
  axis-only structure preserves shape:        NO (EXPECTED NEGATIVE CONTROL)
  face-loop / multi-path tension sufficient: PASS IN CANDIDATE
  body-cell braces additionally required:    NO
  twist/curl required by this Lorentz test:  NO EVIDENCE THEY ARE NEEDED

ACCELERATION / DECELERATION HISTORY TEST
----------------------------------------
  The object is carried through a speed ladder and each new state starts from
  the contraction left by the previous speed.  No Lorentz scale is supplied.
  This is a relaxation/history test, not yet a detailed force/inertia model.

  beta   local scale   network scale   clock scale   network steps
  0.00    1.00000000    1.00000000    1.00000000     422
  0.10    0.99498744    0.99498744    0.99498744     406
  0.30    0.95393920    0.95393920    0.95393920     401
  0.50    0.86602540    0.86602540    0.86602540     407
  0.80    0.60000000    0.60000000    0.60000000     338
  0.95    0.31224990    0.31224990    0.31224990     321
  0.80    0.60000000    0.60000000    0.60000000     338
  0.50    0.86602540    0.86602540    0.86602540     373
  0.30    0.95393920    0.95393920    0.95393920     411
  0.10    0.99498744    0.99498744    0.99498744     422
  0.00    1.00000000    1.00000000    1.00000000     413

ACCELERATION/HISTORY RESULT
  max local equilibrium error      = 9.377e-13
  max network-vs-clock error       = 6.366e-13
  max recovered-shape RMS         = 7.089e-10
  acceleration/deceleration hysteresis = 8.538e-13
  return-to-rest scale error       = 1.006e-13
  status: PASS IN CANDIDATE

ADVERSARIAL RANDOMIZED VERIFICATION SUITE
-----------------------------------------
  Random boosts, boost axes, orientations, structure sizes, saturation
  thresholds, relaxation gains, jitter levels, and seeds are combined.
  The minimal axis+face multi-path tension topology is used throughout.

  case 01: beta=0.542 dims=(2, 2, 2) rel= 24 scaleErr=2.66e-13 shape=7.37e-09 sat=1.16e-08
  case 02: beta=0.062 dims=(4, 3, 2) rel=104 scaleErr=2.22e-13 shape=1.07e-08 sat=1.20e-08
  case 03: beta=0.504 dims=(4, 3, 2) rel=104 scaleErr=1.11e-13 shape=1.17e-08 sat=1.20e-08
  case 04: beta=0.077 dims=(4, 3, 2) rel=104 scaleErr=1.83e-13 shape=9.27e-09 sat=1.20e-08
  case 05: beta=0.673 dims=(4, 3, 2) rel=104 scaleErr=1.43e-13 shape=9.31e-09 sat=1.19e-08
  case 06: beta=0.248 dims=(4, 3, 2) rel=104 scaleErr=5.90e-13 shape=1.17e-08 sat=1.20e-08
  case 07: beta=0.597 dims=(2, 2, 2) rel= 24 scaleErr=1.41e-13 shape=7.95e-09 sat=1.18e-08
  case 08: beta=0.942 dims=(4, 3, 2) rel=104 scaleErr=3.05e-14 shape=9.73e-09 sat=1.20e-08
  case 09: beta=0.697 dims=(3, 3, 3) rel=126 scaleErr=1.89e-10 shape=9.09e-09 sat=1.20e-08
  case 10: beta=0.774 dims=(4, 3, 2) rel=104 scaleErr=2.88e-13 shape=1.13e-08 sat=1.19e-08

ADVERSARIAL RESULT
  max network-vs-clock scale error = 1.894e-10
  max network-vs-Lorentz comparison = 1.894e-10
  max recovered-shape RMS          = 1.172e-08
  max saturation mismatch          = 1.199e-08
  max local-c residual             = 1.199e-08
  premature relaunch events        = 0
  wrong-pressure-sign error growth = 4.000e-01 -> 9.743e-01 (NEGATIVE CONTROL REJECTED)
  status: PASS IN CANDIDATE

REFERENCE SIMULATOR VERDICT
---------------------------
  free-FQ isotropy / rotation              PASS
  FrostCell boundary continuity            PASS
  saturated-node Lorentz candidate         PASS
  composite cluster scaling                PASS
  multi-node saturated matter              PASS
  3-D face-loop shear rigidity             PASS
  acceleration / deceleration history      PASS
  randomized adversarial verification      PASS

  RESULT: ALL REFERENCE VERIFICATION TESTS PASSED.
  The implemented candidate rules are computationally sufficient for the tested
  cubic-grid isotropy / rotational / Lorentz consistency claim.
  This is model verification, not experimental validation of nature.

END OF REPORT
