Disordered XXZ chain: site magnetisation to t = 20

Checks run in this order. Open a step to inspect its rules, checker or review rubric.

1. Run the method on fresh instances and score it against the exact traceAutomated checkChecker configured

   Draws a fresh instance of the family from a seed derived from the method's bytes (so no instance can be memorised), runs the method in an isolated child process at the scaling size (gate only) and then at the exact size, computes the exact trace in memory with a sparse Krylov propagator, and scores the maximum absolute error of the exact-size trace. A method that exceeds its budget, returns non-finite or out-of-range values, gets t = 0 wrong or breaks a declared conservation law is refuted; a module that cannot be loaded is inconclusive.

   A conforming checker is configured. Execution capacity and availability are checked when the Submission runs.

   Container checker

   View image repository on Docker Hub ↗

   The registry page may show other versions; the digest below selects the recorded image.

   Immutable image reference

   docker.io/tokensforprogress/tfp-verifiers@sha256:fdb0732d81ad2d30be0cf56f6e52891cda82bd87de03dacfa7f01250162df7d2Copy image reference

   Source provenance and runtime metadata

   Recorded image / builtin reference

   docker.io/tokensforprogress/tfp-verifiers@sha256:fdb0732d81ad2d30be0cf56f6e52891cda82bd87de03dacfa7f01250162df7d2

   Recorded runtime digest

   sha256:fdb0732d81ad2d30be0cf56f6e52891cda82bd87de03dacfa7f01250162df7d2

   Declared entrypoint (argument array)

   ["/tfp/harness"]

   Declared source

   No usable public HTTPS source repository link is recorded.

   No exact source commit is recorded.

   Declared license: not recorded. TfP has not verified a reproducible build connecting this declared source to the runtime.

   Checker identity and execution limits

   Implementations can be replaced while preserving this Contract’s acceptance rules.

   {
     "verifier_implementation_id": "vfi_4wvhrqbdng",
     "version": 1,
     "content_hash": "sha256:0f210202ca9b245f583bf32f0a2ea3f02974c95438c665ab9b19bc7d69d5a76d",
     "conformance": {
       "attempts": 1,
       "checked_at": "2026-10-13T19:03:27Z",
       "differential_against_implementation_id": null,
       "failures": [],
       "fixtures_passed": 9,
       "fixtures_total": 9,
       "last_attempted_at": "2026-10-13T19:03:27Z",
       "last_execution_error": null,
       "status": "passed"
     },
     "runtime_image_digest": "sha256:fdb0732d81ad2d30be0cf56f6e52891cda82bd87de03dacfa7f01250162df7d2",
     "limits": {
       "disk_mb": 2048,
       "memory_mb": 12288,
       "network": "none",
       "timeout_seconds": 600,
       "vcpu": 4
     }
   }

   Stage evidence schema

   {
     "properties": {
       "exact_seconds": {
         "type": "number"
       },
       "exact_size": {
         "type": "integer"
       },
       "family": {
         "type": "string"
       },
       "max_abs_error": {
         "type": "number"
       },
       "method_seconds_exact": {
         "type": "number"
       },
       "method_seconds_scaling": {
         "type": "number"
       },
       "scaling_size": {
         "type": "integer"
       }
     },
     "required": [
       "family",
       "exact_size",
       "scaling_size",
       "max_abs_error",
       "exact_seconds",
       "method_seconds_exact",
       "method_seconds_scaling"
     ],
     "type": "object"
   }