De motor · bewijsboek

Bewijsboek — wat live gezien is

Eén regel per keer dat iets op de live motor (r4m-franky.fly.dev) echt gebeurde, met datum, versie en de plek waar een derde het zelf kan narekenen. Een externe auditor hoeft dit niet opnieuw te testen: hij leest de regel en klikt de link. Geen bewijs zonder link; geen link zonder datum. Alles hier is testnet en testomgeving, en de motor zegt dat zelf in elke regel.

22-09-2026 versie 0.51.0 · twee units, één register

NIEUW 22-09-2026 Twee-units-register: één actieve deelname per mens over units heen, geen naam verlaat een unit motor v0.51.0 · PR #6, gemerged 22-09-2026 14:04 · repo r4m-engine

gezien 22-09-2026 15:16 Testsuite gedraaid na de merge, lokaal in de motor-map: npm test → 79 bestanden, 507 tests groen, 2 overgeslagen (vitest 4.1.9, 124 s). Het script staat in package.json: npm run demo:twee-units (scripts/demo-twee-units.ts): unit A meldt een mens aan, unit B wordt geweigerd, wash-out en verval = impliciet vrijgeven.

film nog niet geleverd De vier-minutenfilm (prioriteit 1 in de Jev-prioriteiten) is niet gemaakt; de demo is alleen als script en testsuite gezien, niet als opname en niet live op r4m-franky.fly.dev. Keten-toets: dit is bouwwerk (stap 1), geen case — K5/K6 blijven open tot een tweede unit met naam meedoet.

12-09-2026 versie 0.37.0 → 0.38.0 · na de externe audit "astra6"

NIEUW 12-09-2026 23:20 De cashback-keten, end-to-end, door Franky zelf Key Box · afnemer "Cashback test 12 Sept 26" · audience cashbacktest · telt als intern

gezien Recht → reservering → uitvoering, de hoogste bevinding van de audit, één keer volledig doorlopen op de live motor, met een echte itsme-stap en een echte uitbetaling op de keten.

  1. Pot gevuld: 20 testnet-USDC via faucet.circle.com rechtstreeks naar de schatkist van de motor; de motor controleerde de storting zelf op Base Sepolia. Storting 0x96d9560ba482b133e951086776aba86fd41def4b1c994f38bc28385691e83952
  2. Mens bewezen: itsme-testaccount via de Signicat-sandbox → attest att_sU-NMpjvDxIDD7oo, assurance high, 15 minuten geldig, geen naam.
  3. Plaats ingenomen: claim #1 in campagne sept-2026-dollar-test, besluit EERSTE, plaats 1.
  4. Gereserveerd: 5 USDC uit pot #1 (pot van 20 naar 15), vervaldatum 30 dagen.
  5. Uitbetaald: verplichting #2 (het kasboek zegt settles obligation #2; #1 was de kaartuitbetaling van 04-07) → binnen één seconde claim_paid, transactie 0x4238344b76507056e690f8953abf00ab48ebda5f762b95589bd43f355fb4cc33 op Base Sepolia, naar het adres van de tester.

Zelf narekenen: publiek kasboek (regels pool_funded, claim_payout_pending, claim_paid) · honest-math (claims.intern.settledUsd = 5, klanten = 0) · reconciliatie (ok) · de uitbetaling op de keten.

gezien 12-09-2026 23:45 De BOTSING live: dezelfde mens deed de itsme-stap drie keer opnieuw (attesten att_WKRufNoOIuRLpfqy en att_a_9oCcsJR3dD2bnn, telkens dezelfde code voor de afnemer 7d8164cacd198e2db9fd5330054a1fc5) en kreeg in dezelfde campagne telkens BOTSING · claim #1 · deze mens nam zijn plaats al in op 2026-09-12 20:43:02Z, zegel #e1538708309d. Geen tweede plaats, geen tweede uitbetaling. Staat verzegeld in het logboek van de afnemer; een verlopen attest (na 15 min) werd geweigerd met reden.

NIEUW 12-09-2026 23:20 Weg 2 — de klant betaalt zelf, R4M verzegelt v0.38.0 · beslist door Franky · geen geld bij R4M

gebouwd, live nog niet geklikt Een reservering zónder pot: R4M legt recht, bedrag en vervaldatum vast; de klant betaalt in zijn eigen systeem met het claim-nummer als kenmerk en meldt zijn betalingskenmerk terug. Zelfde kenmerk = idempotent, ander kenmerk = geweigerd, na verval = geweigerd. Dit is de weg zonder wallet, voor bedrijven als de Loterij. In de testsuite bewezen (413 tests groen); de eerste live doorloop staat nog uit.

Zelf narekenen (na de eerste doorloop): honest-math → claims.doorKlantUitgevoerd.

NIEUW 12-09-2026 23:20 Wat de audit vroeg en wat er sinds vanavond staat v0.37.0 · v0.37.1 · v0.37.2 · v0.38.0 op GitHub, tags

  1. gezien Alle tests gedraaid (de audit las ze alleen): 68 bestanden, 413 tests groen, lokaal, niets op het publieke kasboek.
  2. gezien Verplichting maken ziet alleen nog een echte dubbel als "bestaat al"; elke andere fout gaat door.
  3. gezien Dividendlus zet verplichting en boeking per ontvanger in één transactie.
  4. gezien Bewijs-hash berekent de motor nu zelf over de opgehaalde bytes; het dubbel-slot zegt eerlijk wat het voorkomt.
  5. gezien Ophaallink: de klant haalt zijn sleutel zelf op, één keer, 24 uur; Franky ziet hem nooit. Live op /ophaal.html.
  6. gezien itsme-sandbox-doorloop is gelopen: de live status telt 2 echte attestaties op 1 mens vóór vanavond, plus die van vanavond. status → attestations.realIssued.

NIEUW 13-09-2026 01:55 Weblock: een agent betaalde om binnen te mogen, het geld landde bij de site-eigenaar motor v0.39.1 · site turbeau2rock-2026.pages.dev

gezien Zonder betalen 402 · met x402-betaling 200 en de echte pagina · met kaartje opnieuw 200 zonder tweede betaling. Agent-wallet 20,00 → 19,85 USDC; Franky's Trust Wallet 5,00 → 5,15 USDC. Geen tussenstop bij R4M.

gezien 02:40 Tempo-regel: 70 snelle aanvragen als browser → 60 door, 10 × 402 verdacht. gezien 02:55 Mens met itsme-attest: gratis door, x-r4m-poort: mens; per klant een andere code (07f8… hier, 7d81… bij cashback). gezien 03:25 Weblock op het echte domein www.turbeau2rock.com: GPTBot 402, browser door, Googlebot door. Alles op het Weblock-blad.

gezien 05:55 Tempo-teller zichtbaar (motor v0.41.2): twee gewone GET's op www.turbeau2rock.com gaven x-r4m-tempo: 1/60 en 2/60 met x-r4m-poort: door. Astra (ronde 3) zag hier nog ?. Zelf nakijken: curl -s -o /dev/null -D - https://www.turbeau2rock.com/ | grep x-r4m.

gebouwd v0.42.0, verhard v0.43.0 (ronde 5) en v0.44.0 (ronde 7: houderbinding, pas-code, kaartje aan vingerafdruk, nonce, telsleutel, quota), live nog niet gezien Mandaat: een bewezen mens geeft zijn agent een bon (site, agentnaam, doel, verval, intrekbaar); de poort laat die agent gratis door als agent-mandaat. Op de motor getest (uitgeven, gebruiken, verkeerde agent, andere site, geknoei, intrekken; 424 tests groen). Live test door Franky: pas-stap → "Geef je agent een mandaat" → MANDAAT=m_… npm run demo:agent -- https://www.turbeau2rock.com/ → verwacht 200 en x-r4m-poort: agent-mandaat.

gezien 13-09-2026 15:30 Kaartje gebonden aan de bezoeker (motor v0.45, astra ronde 8 punt 4): de testagent betaalde 0,05 test-USDC op www.turbeau2rock.com (402 → 200 met kaartje). Hetzelfde kaartje zonder de sessiecookie van die browser → 402; mét de cookie → 200. Een gekopieerd kaartje is waardeloos. Ook gezien: een claim vanaf een vreemde site (Origin: kwaad.example) → 403. Zelf herhalen: npm run demo:agent -- https://www.turbeau2rock.com/ (stap 3b).

gezien 13-09-2026 14:30 Tellingen beveiligd (motor v0.44.0, astra ronde 7 punt 4): Franky zette in de Key Box "Tellingen beveiligen" aan voor turbeau2rock; de telsleutel staat in de middleware van beide sites. Gezien: POST /api/poort/turbeau2rock/telling zonder sleutel → 401, met sleutel → 200; gewone bezoeker op www.turbeau2rock.com → 200 met x-r4m-tempo: 1/60. Grens (astra ronde 8, punt 8; waarheidsronde 22-09): de telsleutel dekt /telling, niet /toegang, dat zelf bezoeken boekt; een rechtstreekse toegang-POST is niet uitgevoerd. "Niemand buiten de site kan de tellers vervuilen" is dus niet onderbouwd en staat hier niet meer als claim.

gezien 13-09-2026 ±14:00 Proef 152 (wedstrijd) en 31 (burgerbudget) op de live motor, v0.44.0: Franky deed de itsme-stap met het testaccount (attest att_cGtCwPI7iiRSOI5V) en klikte op beide proefpagina's "Check": ✔ geteld, teller 0 → 1 per case — en dat mét de nieuwe houderbinding (het cookie van de itsme-stap moest mee, anders 403). Nakijken: /api/proef/stand?case=wedstrijden-prijsvragen-een-inzending en …?case=burgerbegroting-een-stem-per-inwoner. Bewijsstand van beide cases: technisch = deel (de kern één-per-mens; het klantplatform en de volledige doorloop nog niet).

gezien 13-09-2026 07:40 Herkomstcontrole zoekmachines (motor v0.42.0, live op www.turbeau2rock.com): GET met User-Agent: Googlebot/2.1 vanaf een gewoon adres → HTTP 402, kop x-r4m-poort: nep-zoekmachine. Gewone browser daarna: 200, door. De motor vergeleek het IP met de gepubliceerde Google-reeksen en bewaarde het niet. Astra's scenario 3 uit ronde 3 ("een opgegeven naam volstond") is hiermee dicht. Zelf nakijken: curl -s -o /dev/null -D - -A "Googlebot/2.1" https://www.turbeau2rock.com/ | grep x-r4m.

Wallets en rollen vast blok · niets gissen · bijgewerkt 13-09-2026 00:20

Elke wallet die in een test of in de motor een rol speelt, staat hier met adres, rol, wie de sleutel heeft en sinds wanneer. Alles op Base Sepolia (testnet, geen waarde) tot de BV en Nele de echte rail openzetten. Sleutels staan nooit hier: alleen waar ze liggen. De saldi hieronder komen live van de keten (klik ⟳).
Testgeld bijmaken: USDC-faucet (Circle) — 20 per 2 uur ↗ ETH-faucet voor gas (Coinbase) ↗
Werkwijze: klik op een adres om het te kopiëren, plak het in de faucet, klik Send. Bij x402 betaalt de facilitator de gas: de agent-wallet heeft dan alleen USDC nodig. Een beetje ETH is alleen nodig als je vanuit die wallet zelf een gewone overschrijving doet (bijvoorbeeld testgeld terugsturen).

🏦 Schatkist van de motor rol: ontvangt stortingen van klanten, betaalt uit · sinds vóór 14-08-2026

Adres: 0x2301e56491129814a4F53a876d77473d37151B45 · op de keten

Sleutel: als geheim op Fly (TREASURY_PRIVATE_KEY) en in de lokale .env van de motor op MM4. Grenzen in de motor: 5.000 per uitbetaling, 25.000 per 24 uur. Gebruikt op 12-09-2026: ontving 20 USDC (pot #1 van "Cashback test 12 Sept 26"), betaalde 5 USDC uit.

🧑 De mens — Franky's Trust Wallet rol: de persoon die cashback ontvangt · sinds 12-09-2026

Adres: 0x033F8e9C88564Be37282b397D99306ecC360924b · op de keten

Sleutel: alleen in Trust Wallet op Franky's telefoon. Ontving op 12-09-2026 de eerste echte uitbetaling van de keten: 5 USDC, transactie 0x4238…cc33. Trust Wallet toont testnet-saldi niet; de keten wel.

🤖 De agent — testwallet voor de poort rol: een AI-agent die aan de poort x402 betaalt · aangemaakt 13-09-2026 00:05

Adres: 0x062d45A9694A46B3e38AD568C9df46f7B8A38fd9 · op de keten

Sleutel: alleen op MM4 in _SECRETS/r4m-agent-wallet-base-sepolia.env (BUYER_PRIVATE_KEY), nooit in een repo, nooit in een chat. Aangemaakt met het wallet-script van de motor, apart van elke persoonlijke wallet. Te vullen door Franky: 20 testnet-USDC (faucet.circle.com). Geen ETH nodig voor x402: de facilitator betaalt de gas; ETH alleen als je vanuit deze wallet zelf een gewone overschrijving doet. Doel: bewijzen dat een agent zonder mens-attest 402 krijgt, betaalt (0,05 dollar) en dan binnen mag.

🧾 Platform-inkomsten (creator) rol: ontvangt de platformfee van x402-verkopen · sinds 07-07-2026

Adres: 0x34e3B98c3f621aF45786EC8C28B0EbB14aaD8B0c · op de keten · staat op het publieke kasboek als creator:0x34e3….

Hoe dit boek groeit afspraak 12-09-2026

Elke live doorloop krijgt hier één regel met datum, versie, wat er gebeurde en de link om het na te rekenen. Wat alleen in de testsuite bewezen is, staat als "nog open" tot iemand het live klikte. Zo hoeft geen enkele audit een test over te doen die al gezien is.