back to table · edit · history · where entries came from · files · download
2481 bytes, as of the version from 2026-10-26 19:49 (current). Recorded here, not run.
# Argument selection for T525
The sole free parameter is the positive integer moment order n, declared with type Z and domain n >= 1. It is a discrete index of one named quantity: E[(integral_0^1 |B(t)| dt)^n]. It is not a continuous argument disguised as an index. Every positive integer order is a coefficient, up to (-1)^n/n!, of the area's Laplace transform at zero. The first orders give the mean and determine the variance and higher distributional summaries. Janson, Section 21, equations (181), (189)–(190), and Table 3 discuss this exact moment sequence, in the normalization used here: https://arxiv.org/abs/0704.2289.
Enumerate precisely n = 1,...,12 in increasing order, as family #214 specifies. Twelve is an editorial truncation of a genuine discrete sequence, not an intrinsically distinguished order or a storage target. It provides an initial run of low-order moments and their Laplace coefficients; no gaps are introduced. The final size measurement is retained in numerical-evidence.json. The zeroth moment is the exact normalization 1 and is tested but not stored. The completeness note must state the first twelve positive raw moments, why moment order is relevant, and that the cutoff is editorial. The parameter domain remains all n >= 1.
All process choices are fixed: B(0)=0, mean zero, covariance min(s,t), diffusion generator (1/2)d^2/dx^2, and duration 1. Absolute value is inside the integral. These are the standard Brownian conventions of Janson's introduction and Section 21. Unit time removes the deterministic Brownian scaling factor T^(3n/2) from the moments, so duration supplies no independent data. Drift, diffusion scale, start height, endpoint, conditioning and coupling are not additional arguments. This table does not mix a bridge, excursion or meander with Brownian motion.
No sampled probabilities, quantiles, percentiles or critical values are present. The six even moments are rational by the integer Gamma arguments in (181); the six odd moments are rational multiples of sqrt(2/pi) by its half-integer Gamma arguments. Precision changes those enclosures, not the selection.
Instruction evidence: ../20261026T193829Z-build-skills/manifest.json, copied as skill-manifest.json on the table. Both archived skills and the freshly fetched live skill have SHA-256 b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18. This builder's justification awaits an independent critique; it is not an argument-review acceptance.