No Trade Without Proof: A Negative Result in Proof-Carrying Financial AI, with an Auditable Refusal Layer
Authors/Creators
Description
This preprint presents No Trade Without Proof, a negative result in proof-carrying financial AI with an auditable refusal layer. It argues that, under insufficient evidence and proof obligations, the correct system behavior is to refuse action rather than trade, optimize, or speculate.
Notes
This upload contains the public preprint PDF and public supplemental artifacts needed to inspect the stated claims, evidence boundaries, replay checks, runtime notes, and verifier layer. It is not financial advice and does not include broker credentials, account state, private prompts, full raw traces, model weights or adapters, engine internals, production orchestration, or trading infrastructure.
边界
Use the included claim/data/license boundary docs. Do not upload private prompts, full raw traces, model weights/adapters, credentials, account/broker state, engine internals, or mutation scripts.
Files
DATA_CODE_AND_ARTIFACTS_CN.md
Files
(837.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f2ee0272bb8283a96a758e851d4682f8
|
1.1 kB | Preview Download |
|
md5:59b3d095f74b9735e46ca1fcace94282
|
7.3 kB | Preview Download |
|
md5:39cfd0344aaecea87dec9de0c82d7cc9
|
150.6 kB | Preview Download |
|
md5:88b0497843dde13ac4425cae3fdac96b
|
620.7 kB | Download |
|
md5:f36ac0f7164e9f57df151c3534a039e8
|
2.2 kB | Preview Download |
|
md5:e32c53e3a5559ad6b60c149222b5ad77
|
643 Bytes | Preview Download |
|
md5:928580f40a58747034513b8da27c7147
|
24.0 kB | Preview Download |
|
md5:b67723fab759ad3f88a5ff948d0cd052
|
8.3 kB | Download |
|
md5:cb0d53a639e2bc8920501bf553b42202
|
5.4 kB | Download |
|
md5:98260e79d6654dac6e89b59f0e37cda5
|
2.3 kB | Preview Download |
|
md5:0ce68bbba6a6cdc85c5458783e94d407
|
1.1 kB | Download |
|
md5:ddd2c08b168c3cbe76868a99bb004876
|
3.3 kB | Preview Download |
|
md5:47109709b35cda9308faaa2ffde3b8c8
|
3.9 kB | Preview Download |
|
md5:171d46ae2de7e4bbae8253f2cb054e36
|
6.8 kB | Download |