fed8ra — English pilot evidence presentation index.html: resource sharing and multilateral netting demonstration. proof.html: English reading aid for the signed snapshot. proof.json and original-proof.zip: unchanged original signed records. Croatian text within signed records is deliberately retained. public-keys.json: public synthetic pilot keys, not independent identity assurance. offline-verification.json: recorded offline check, not a bank or NEO receipt. allocation.cob: original allocation rule. No executable is distributed. The browser verifies payload and document signatures against keys pinned in app.js, checks linked delivery and agreement hashes, and recomputes netting using integers. It does not run COBOL or the full authority-bundle verifier. The site, script and demo keys have the same publisher. Full offline verification in the trusted installed TRU-wallet/1GUARD environment: python -m tru_wallet.neo_cobol.proof original-proof.zip --keys TRUSTED-PUBLIC-KEYS.json --engine TRUSTED-ENGINE-DIRECTORY Obtain keys and the original pinned engine through a separately trusted channel. No payment or network request is made by that verifier. Synthetic example: 300m CLU gross; 220m CLU offset; 80m CLU net. Illustrative conversion 1 CLU = EUR 0.50; EUR 40m net allocation. Four simulator settlements. No bank transfer. NEO: NOT_SUBMITTED. No private keys or runtime databases are included.