Files of Moments of the positive-part Brownian bridge area

back to table · edit · history · where entries came from · files

As of the current version, 2026-10-26 21:52, “preserve readback verification and clean audit evidence”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2483 bytes 2026-10-26
audit-final.json 118 bytes 2026-10-26 — in this version
build-handoff.md 4769 bytes 2026-10-26 — in this version
check.py 17709 bytes 2026-10-26
checks.py 9198 bytes 2026-10-26
derivation.md 2699 bytes 2026-10-26
generate.py 3327 bytes 2026-10-26
numerical-evidence.json 5874 bytes 2026-10-26
readback-evidence.json 5925 bytes 2026-10-26 — in this version
skill-manifest.json 439 bytes 2026-10-26
skill-read-evidence.json 1062 bytes 2026-10-26
source-evidence.json 324 bytes 2026-10-26 — in this version

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.