TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-WHOLE-WORD-PRODUCER.json
Original file SHA-256: 648bcf33f0e870cea107420f402a9077de506ae3cf4d01c1a8f62da9e44b9903
Inclusive original lines: 1-65
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "result": "PASS",
000003 |   "checks": 57,
000004 |   "checks_detail": [
000005 |     "unchanged original U6",
000006 |     "original cosine polynomial",
000007 |     "all splits of fixed length0",
000008 |     "all splits of fixed length1",
000009 |     "all splits of fixed length2",
000010 |     "all splits of fixed length3",
000011 |     "all splits of fixed length4",
000012 |     "all splits of fixed length5",
000013 |     "all splits of fixed length6",
000014 |     "all splits of fixed length7",
000015 |     "all splits of fixed length8",
000016 |     "all splits of fixed length9",
000017 |     "all splits of fixed length10",
000018 |     "full native endpoint sum length1",
000019 |     "all based closed words length1",
000020 |     "full native endpoint sum length2",
000021 |     "all based closed words length2",
000022 |     "full native endpoint sum length3",
000023 |     "all based closed words length3",
000024 |     "full native endpoint sum length4",
000025 |     "all based closed words length4",
000026 |     "full native endpoint sum length5",
000027 |     "all based closed words length5",
000028 |     "full native endpoint sum length6",
000029 |     "all based closed words length6",
000030 |     "full native endpoint sum length7",
000031 |     "all based closed words length7",
000032 |     "full native endpoint sum length8",
000033 |     "all based closed words length8",
000034 |     "ordered word visits marked edge",
000035 |     "same endpoint different ordered word",
000036 |     "absolute row derivative retains amplitude",
000037 |     "normalized source score mean0",
000038 |     "wordwise normalized and absolute derivative relation",
000039 |     "native edge Gram first derivative ordered correctly",
000040 |     "negative log determinant series sign",
000041 |     "original cusp1.0 whole half-word series with tail",
000042 |     "original cusp1.0 normalized length mass",
000043 |     "whole absolute delta word derivative matches source operator",
000044 |     "old whole square-root interpolation independently agrees",
000045 |     "old cubic Green agrees at actual cusp",
000046 |     "two original square-root factors sew to Green",
000047 |     "same original determinant closes all loops with1/n",
000048 |     "original cusp0.3333333333333333333333333333333333333333333333333333333 whole half-word series with tail",
000049 |     "original cusp0.3333333333333333333333333333333333333333333333333333333 normalized length mass",
000050 |     "whole absolute delta word derivative matches source operator",
000051 |     "old whole square-root interpolation independently agrees",
000052 |     "old cubic Green agrees at actual cusp",
000053 |     "two original square-root factors sew to Green",
000054 |     "same original determinant closes all loops with1/n",
000055 |     "original cusp0.6666666666666666666666666666666666666666666666666666667 whole half-word series with tail",
000056 |     "original cusp0.6666666666666666666666666666666666666666666666666666667 normalized length mass",
000057 |     "whole absolute delta word derivative matches source operator",
000058 |     "old whole square-root interpolation independently agrees",
000059 |     "old cubic Green agrees at actual cusp",
000060 |     "two original square-root factors sew to Green",
000061 |     "same original determinant closes all loops with1/n"
000062 |   ],
000063 |   "native_builder": "verification/v17_hexagonal_resolvent.py:U6_power",
000064 |   "original_cusps": [
000065 |     {