Glossary
Every term used across these docs, with a short definition and the pages that use it.
Terms are defined once, in one data file, and shown in two places: here, and as a short definition when you hover, focus or tap a dotted-underlined word on any page. Each entry says where it is explained in full and lists the pages that use it.
Gate entries say what question a gate asks, not how it came out. Read the result on the gate page or in docs/GATES.md.
- Auctioneer console
The screen where the person running the auction opens and controls the lot, including the hammer.
Used on 2 pages
- Audit trail
The record of what happened in an auction, built on the ledger. A redacted public export of it can be checked with the verifier, so an edited entry shows up.
In the product the audit trail is the view of the ledger for a reviewer: a timeline of the accepted events, a summary and the ledger entries. Rejected bids are kept in the room log only, not in the ledger.
PayPal's promise to keep an amount available on a buyer's account for a seller. An authorization is a hold: nothing is charged until it is captured.
- Bid
A price offered within the bidder's ceiling. The engine accepts or rejects it and the ledger records an accepted bid. A bid is never a payment.
Used on 11 pages
- /docs/how-it-works
- /docs/how-it-works/auction-states
- /docs/how-it-works/bid-lifecycle
- /docs/how-it-works/engine-and-ledger
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/voice-and-confirm
- /docs/judges/sandbox-buyers
- /docs/reference/events
- /docs/start/beginner-path
- Capture
Taking money from an authorization. GAVEL captures only the winning price from the winner's hold, with final_capture, never the ceiling.
Capture is the one step where money moves, and in this project it only ever runs against the PayPal sandbox.
Used on 27 pages
- /docs/how-it-works
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/idempotency
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/demo-script
- /docs/judges/evidence-index
- /docs/judges/findings-that-mattered
- /docs/judges/real-vs-simulated
- /docs/judges/rubric-map
- /docs/judges/sandbox-buyers
- /docs/judges/trust-and-faq
- /docs/judges/two-minute-path
- /docs/proof/gate-g0
- /docs/proof/gate-g1
- /docs/proof/gate-g2
- /docs/proof/gate-g4
- /docs/proof/gates
- /docs/safety
- /docs/start
- /docs/start/beginner-path
- /docs/start/demo
- /docs/start/guided-tour
- Ceiling
The most a bidder may bid, and the amount PayPal holds for them. Bids above the ceiling are blocked.
Used on 15 pages
- /docs/builders/packages/engine
- /docs/builders/packages/shared
- /docs/how-it-works
- /docs/how-it-works/bid-lifecycle
- /docs/how-it-works/engine-and-ledger
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/system-architecture
- /docs/how-it-works/voice-and-confirm
- /docs/judges/demo-script
- /docs/judges/findings-that-mattered
- /docs/judges/sandbox-buyers
- /docs/safety/backup
- /docs/start/beginner-path
- /docs/start/demo
- Confirm prompt
A question put to a bidder before a spoken bid is placed, for example whether they meant 150 for paddle 12. A yes is checked again against the live price.
Spoken bids always go through a confirm prompt in the current setup: no code path auto-accepts a spoken bid.
- Engine
The deterministic auction core: three pure functions (decide, evolve and replay) with no Node built-ins, so the same events always give the same result.
Used on 20 pages
- /docs/builders
- /docs/builders/packages/e2e
- /docs/builders/packages/server
- /docs/builders/packages/voice
- /docs/builders/packages/web
- /docs/how-it-works
- /docs/how-it-works/auction-states
- /docs/how-it-works/bid-lifecycle
- /docs/how-it-works/money-flow
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/how-it-works/voice-and-confirm
- /docs/judges/findings-that-mattered
- /docs/judges/rubric-map
- /docs/judges/ten-minute-path
- /docs/proof/quality-checks
- /docs/reference/data-model
- /docs/reference/decisions
- /docs/start/concepts
- /docs/start/status
- Fake PayPal
The project's built-in test double for PayPal. What it shows is evidence about GAVEL's code, not about PayPal.
Used on 29 pages
- /docs/builders/packages/e2e
- /docs/builders/packages/payments
- /docs/builders/repo-layout
- /docs/builders/run-and-test
- /docs/how-it-works/honor-period
- /docs/how-it-works/idempotency
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/system-architecture
- /docs/judges/data-engineering
- /docs/judges/demo-script
- /docs/judges/open-data
- /docs/judges/rubric-map
- /docs/judges/ten-minute-path
- /docs/judges/tough-questions
- /docs/judges/trust-and-faq
- /docs/judges/two-minute-path
- /docs/proof
- /docs/proof/evidence-map
- /docs/proof/gate-g0
- /docs/proof/simulation
- /docs/reference/architecture
- /docs/run
- /docs/run/ci-pipeline
- /docs/run/gate-runbook
- /docs/run/operator-runbook
- /docs/start
- /docs/start/beginner-path
- /docs/start/demo
- /docs/start/status
- final_capture
A flag on a PayPal capture that says this is the last capture on the authorization. After it, gate G1 observed the authorization closed as CAPTURED.
- G0
Gate G0 asks: does the sandbox app authenticate, and can it create an AUTHORIZE order?
Used on 2 pages
- G1
Gate G1 asks: after authorizing 500.00 and capturing 350.00 with final_capture, is the 150.00 remainder released or still active?
- G2
Gate G2 asks: does an Orders v2 AUTHORIZE flow work for card and guest checkout buyers in the sandbox?
- G3
Gate G3 asks: how long does an authorization stay capturable, and does reauthorize extend it? Read its current status on the gate page.
Used on 14 pages
- /docs/builders/run-and-test
- /docs/how-it-works/honor-period
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/system-architecture
- /docs/judges
- /docs/judges/evidence-index
- /docs/judges/real-vs-simulated
- /docs/judges/rubric-map
- /docs/judges/two-minute-path
- /docs/proof/evidence-map
- /docs/proof/gates
- /docs/proof/simulation
- /docs/roadmap
- /docs/run/sandbox
- G4
Gate G4 asks: does signature verification against the sandbox webhook id accept real events and reject tampered ones?
Used on 3 pages
- G5
Gate G5 asks: is speech-to-text accuracy on noisy bid audio high enough to accept bids without manual confirmation?
- Gate
A run that answers one question about the real PayPal sandbox or the speech pipeline, numbered G0 to G5. A gate is closed only on PASS or FAIL with a recorded decision; PARTIAL stays open.
Each gate reads PASS, PARTIAL, FAIL or NOT RUN in docs/GATES.md, which is the record. The docs read the status from that file when the site is built.
- Hammer
The moment the lot closes and the winner and winning price are fixed. Settlement starts from the hammer.
Used on 27 pages
- /docs/builders
- /docs/builders/packages/engine
- /docs/builders/packages/server
- /docs/how-it-works
- /docs/how-it-works/auction-states
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/settlement-saga
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/demo-script
- /docs/judges/evidence-index
- /docs/judges/real-vs-simulated
- /docs/judges/sandbox-buyers
- /docs/judges/trust-and-faq
- /docs/proof/evidence-map
- /docs/proof/gate-g3
- /docs/proof/gates
- /docs/proof/latency
- /docs/reference/events
- /docs/reference/websocket-protocol
- /docs/roadmap
- /docs/run/gate-runbook
- /docs/run/sandbox
- /docs/start
- /docs/start/beginner-path
- /docs/start/guided-tour
- Hash chain
Each ledger entry carries a hash of the entry before it, so changing any entry breaks every link after it and the verifier reports the first bad one.
A chain on its own cannot show that its tail was cut off. A cut tail shows as not closed, and is proven only against a head hash published elsewhere.
- Hold
A PayPal authorization for the bidder's ceiling. A promise that the money is there, not a payment: nothing is charged until capture.
In the product the words paid, deposit and spent are never used for a hold. Held means authorized; charged means captured.
Used on 31 pages
- /docs/builders/packages/payments
- /docs/builders/packages/server
- /docs/builders/packages/shared
- /docs/builders/repo-layout
- /docs/how-it-works
- /docs/how-it-works/bid-lifecycle
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/idempotency
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/demo-script
- /docs/judges/findings-that-mattered
- /docs/judges/real-vs-simulated
- /docs/judges/sandbox-buyers
- /docs/judges/two-minute-path
- /docs/proof/gate-g3
- /docs/proof/latency
- /docs/reference/architecture
- /docs/reference/configuration
- /docs/run/incident-response
- /docs/safety/backup
- /docs/safety/threat-model
- /docs/safety/webhooks
- /docs/start/beginner-path
- /docs/start/concepts
- /docs/start/demo
- /docs/start/guided-tour
- Honor period
How long PayPal promises to honor a capture on an authorization. GAVEL's 3 day figure is an assumption of its fake PayPal, still unverified on the real sandbox (G3).
- Idempotency key
A deterministic request id sent with each PayPal call, so a repeat of the same call is answered once instead of acting twice.
Used on 2 pages
- Journal
The settlement saga's saved state, written before and after each PayPal call, so a restart can resume without charging twice.
Used on 16 pages
- /docs/builders/packages/payments
- /docs/how-it-works
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/idempotency
- /docs/how-it-works/settlement-saga
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/findings-that-mattered
- /docs/judges/rubric-map
- /docs/proof/latency
- /docs/proof/simulation
- /docs/reference/data-model
- /docs/reference/saga-states
- /docs/run/incident-response
- /docs/safety/backup
- Judge room
A key-less demo auction a judge can start from the /try page. It runs on the PayPal sandbox and needs the host flag JUDGE_ROOMS switched on.
Used on 1 page
- Ledger
The hash-chained record of an auction's accepted events, in order. It is what the audit trail and the replay are built from.
Used on 28 pages
- /docs/builders/packages/engine
- /docs/builders/repo-layout
- /docs/how-it-works
- /docs/how-it-works/auction-states
- /docs/how-it-works/engine-and-ledger
- /docs/how-it-works/honor-period
- /docs/how-it-works/money-flow
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/data-engineering
- /docs/judges/demo-script
- /docs/judges/open-data
- /docs/judges/rubric-map
- /docs/judges/ten-minute-path
- /docs/judges/tough-questions
- /docs/judges/trust-and-faq
- /docs/proof/gate-g3
- /docs/reference/architecture
- /docs/reference/data-model
- /docs/reference/decisions
- /docs/reference/events
- /docs/run/incident-response
- /docs/safety/backup
- /docs/safety/security-review
- /docs/safety/threat-model
- /docs/start
- /docs/start/concepts
- /docs/start/guided-tour
- Lot
One item up for bid. Lots open one at a time, in lot order, and move from pending to open, closing, settling and done.
- p50
The median: half of the measured runs were at or under this time.
- p95
The 95th percentile: 95 percent of measured runs were at or under this time. The docs quote p95 for latency, with the sample size next to it.
- Paddle
A bidder's number in the room, as in an auction paddle. A spoken bid names the paddle that was heard, and the bidder of a spoken bid comes from that paddle.
Asking PayPal to renew an authorization that has aged. Only useful for auctions that run for days; GAVEL ships with it off, pending gate G3.
- Receipt
The settlement document shown after the hammer. It carries a share link and QR code, has a print layout, and opens one read-only view for one bidder.
Used on 1 page
- Replay
Rebuilding an auction by running its recorded events back through the engine. The same events always give the same result.
- Room
One live auction as the server holds it: the bidders, the lot, the ledger and the screens for each role.
Used on 12 pages
- /docs/builders/packages/server
- /docs/how-it-works/auction-states
- /docs/how-it-works/bid-lifecycle
- /docs/how-it-works/engine-and-ledger
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/system-architecture
- /docs/how-it-works/voice-and-confirm
- /docs/judges/findings-that-mattered
- /docs/judges/trust-and-faq
- /docs/reference/data-model
- /docs/reference/websocket-protocol
- /docs/start/demo
- Sandbox
PayPal's test environment. Everything GAVEL does with PayPal runs here, and no real money moves.
Used on 38 pages
- /docs/builders/contributing
- /docs/builders/packages/e2e
- /docs/builders/packages/payments
- /docs/builders/packages/web
- /docs/builders/run-and-test
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/data-engineering
- /docs/judges/evidence-index
- /docs/judges/real-vs-simulated
- /docs/judges/ten-minute-path
- /docs/judges/tough-questions
- /docs/judges/trust-and-faq
- /docs/proof
- /docs/proof/evidence-map
- /docs/proof/gate-g0
- /docs/proof/gate-g1
- /docs/proof/gate-g2
- /docs/proof/gate-g3
- /docs/proof/gate-g4
- /docs/proof/gates
- /docs/proof/latency
- /docs/run/ci-pipeline
- /docs/run/deploy
- /docs/run/gate-runbook
- /docs/run/operator-runbook
- /docs/run/sandbox
- /docs/safety
- /docs/safety/security-review
- /docs/safety/threat-model
- /docs/start
- /docs/start/beginner-path
- /docs/start/demo
- /docs/start/status
- Scripted demo
A recorded room played back in your browser at /demo/scripted. It makes no server connection and no PayPal calls.
- Settlement
What happens after the hammer: the winner's price is captured and every other hold is voided, so only the winning price is ever charged.
Used on 13 pages
- /docs/how-it-works/auction-states
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/judges/open-data
- /docs/judges/real-vs-simulated
- /docs/proof
- /docs/proof/latency
- /docs/reference/data-model
- /docs/safety/webhooks
- /docs/start
- Settlement saga
The step-by-step job that settles a lot after the hammer: read the truth from PayPal, capture the winner, void the rest. Each step is journaled so a crash can resume.
Used on 24 pages
- /docs/builders
- /docs/builders/packages/e2e
- /docs/builders/packages/payments
- /docs/builders/packages/web
- /docs/builders/repo-layout
- /docs/how-it-works
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/honor-period
- /docs/how-it-works/idempotency
- /docs/how-it-works/money-flow
- /docs/how-it-works/retries-and-unknown-outcomes
- /docs/how-it-works/settlement-saga
- /docs/how-it-works/settlement-walkthrough
- /docs/how-it-works/system-architecture
- /docs/judges/findings-that-mattered
- /docs/judges/rubric-map
- /docs/judges/ten-minute-path
- /docs/proof/gate-g1
- /docs/proof/simulation
- /docs/reference/architecture
- /docs/reference/events
- /docs/run/incident-response
- /docs/start/concepts
- /docs/start/status
- Simulated
Run by GAVEL's code against a model of PayPal on a fake clock. A simulation is not a result from the real sandbox.
- Soft close
A rule that a bid placed near the end of a lot extends it, so the auction cannot end on a last-second bid. Extensions are capped.
- STT (speech to text)
Speech-to-text: turning spoken audio into a transcript. GAVEL reads spoken bids from a transcript with rules and always confirms them.
- Truth read
Asking PayPal what it knows about a hold before acting on it. The saga does this first on every run.
Used on 2 pages
- Verifier
The check that walks a ledger export and reports ok, or the first bad entry and why. verifyPublicExport runs in code; verify-ledger runs it from the command line.
Used on 2 pages
- Void
Releasing an authorization so it is never charged. Every hold except the winner's is voided at settlement.
Used on 18 pages
- /docs/how-it-works
- /docs/how-it-works/auction-states
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/money-flow
- /docs/how-it-works/registration-and-holds
- /docs/how-it-works/settlement-walkthrough
- /docs/judges/demo-script
- /docs/judges/two-minute-path
- /docs/proof/gate-g1
- /docs/proof/gate-g2
- /docs/proof/gate-g4
- /docs/proof/latency
- /docs/run/gate-runbook
- /docs/run/incident-response
- /docs/safety
- /docs/safety/backup
- /docs/safety/threat-model
- /docs/start/demo
- Webhook
A message PayPal sends to GAVEL when something happens, such as a capture completing. Its signature is verified before it is trusted.
Used on 17 pages
- /docs/builders/packages/payments
- /docs/builders/packages/server
- /docs/how-it-works/crash-recovery
- /docs/how-it-works/registration-and-holds
- /docs/judges/demo-script
- /docs/judges/evidence-index
- /docs/judges/findings-that-mattered
- /docs/judges/real-vs-simulated
- /docs/proof/gate-g1
- /docs/proof/gate-g4
- /docs/proof/latency
- /docs/proof/simulation
- /docs/reference/architecture
- /docs/run/operator-runbook
- /docs/safety/backup
- /docs/safety/security-review
- /docs/safety/webhooks
Last updated on