Accept a Stable Run of Input Samples in BBC Micro BASIC

A noisy sample should settle before it changes a game’s logical state. This routine waits for a run of identical bytes, then emits a change pulse once. The threshold is a count of samples, not a promise about elapsed time.

Include and initialise

Reserve S/P/C/R/X/T/O and lines 3000–3220. There are no arrays or private scratch variables. Combine routines.bas with the caller using build.py, with END, STOP or a jump before the helper. C64/BBC use GOSUB; Spectrum uses GO SUB.

Call 3000 at the intended reset boundary. It clears all public fields. Set threshold T afterwards. S is the accepted stable byte, C the current candidate and R the retained run length. Supply each raw sample in X.

Service one sample

Call 3100. A new candidate starts a run of one. A repeated candidate grows R up to 255. When the run reaches T, a value different from S replaces it and returns P=1. Repeated acceptance of the same stable value returns P=0.

Reusable numbered routines

3000 LET S=0: LET P=0: LET C=0: LET R=0: LET X=0: LET T=0: LET O=0: RETURN
3100 LET P=0: LET O=0
3110 IF S<0 OR S>255 OR S<>INT (S) THEN RETURN
3120 IF C<0 OR C>255 OR C<>INT (C) THEN RETURN
3130 IF R<0 OR R>255 OR R<>INT (R) THEN RETURN
3140 IF X<0 OR X>255 OR X<>INT (X) THEN RETURN
3150 IF T<0 OR T>255 OR T<>INT (T) THEN RETURN
3160 LET O=1
3170 IF T=0 THEN LET R=0: RETURN
3180 IF X<>C THEN LET C=X: LET R=1: GOTO 3210
3190 IF R<255 THEN LET R=R+1
3210 IF R>=T AND S<>C THEN LET S=C: LET P=1
3220 RETURN

All state and inputs must be integral bytes. Invalid input clears P/O and preserves S/C/R/X/T. T=0 is a valid disabled state: it clears R without accepting X and preserves S/C. O=1 reports valid service. T=1 accepts a new sample immediately. X/T survive each call.

Compare two thresholds

The caller feeds 1,0,1,1,1,1,0,0,0. Threshold three accepts the sustained one at index four and zero at eight. The custom threshold two accepts them at indices three and seven. Both produce two change pulses and finish with a run of three; the complete traces show their different timing.

Example calls from the maintained caller

70 GOSUB 3000: LET AA=0: LET BB=0
80 LET T=3: LET NN=0
90 LET X=1: GOSUB 3100: GOSUB 2000: LET NN=NN+P
100 LET X=0: GOSUB 3100: GOSUB 2000: LET NN=NN+P
110 LET X=1: GOSUB 3100: GOSUB 2000: LET NN=NN+P
120 LET X=1: GOSUB 3100: GOSUB 2000: LET NN=NN+P
130 LET X=1: GOSUB 3100: GOSUB 2000: LET NN=NN+P
140 LET X=1: GOSUB 3100: GOSUB 2000: LET NN=NN+P
150 LET X=0: GOSUB 3100: GOSUB 2000: LET NN=NN+P
160 LET X=0: GOSUB 3100: GOSUB 2000: LET NN=NN+P
170 LET X=0: GOSUB 3100: GOSUB 2000: LET NN=NN+P
180 IF NN=2 THEN LET AA=1
190 IF R=3 THEN LET BB=1
200 PRINT "STAB RESULTS";AA;BB
210 ?(MB+995)=AA: ?(MB+996)=BB: ?(MB+997)=GD: ?(MB+998)=WC-256*INT (WC/256): ?(MB+999)=INT (WC/256): ?(MB+1000)=239: STOP

Line 2000, AA/BB/NN/JJ (Z on Spectrum) and the mailbox are observations. A game obtains real samples, retains S/C/R and acts on P or the accepted S. This proof verifies the logical filter in each interpreter; it does not establish physical switch behaviour or a device sampling rate.

Choose the right granularity

This accepts a complete byte as one value. If one button bit chatters, the whole candidate byte changes. Independent per-button filtering needs separate histories or a bit-oriented filter. For already stable game controls, a simple press-edge detector can give a more responsive result.

Increasing T suppresses short runs but adds acceptance delay. Irregular service changes the physical delay. Changing T does not discard existing history; reset R deliberately, or use disabled service, when the policy requires a fresh run. A timed filter needs an explicit clock and elapsed-time rule.

Mistake and repair

The wrong caller clears R before every sample. Neither the normal threshold three nor custom threshold two can accumulate enough history, so no changes are accepted. Both saved pulse-count and final-run checks fail. Retain the run between samples. The final stable zero alone would hide the mistake because zero was also the initial value. Repaired source and loaded program match normal exactly.

Cost and Maths for Games

Each call uses fixed validation and a bounded state update, with no input read, wait or allocation. Run saturation prevents a long unchanged signal wrapping back to a short run. Filtering is a trade-off between suppression and latency, not an automatic improvement for every input source.

Maths for Games connects consecutive runs, thresholds and discrete time. The Craft connects stable state and input latency to responsive controls.

Global names and line numbers

BASIC numeric names, arrays and numbered lines are global. To combine helpers, rename public and private fields and renumber the helper together with every GO SUB/GO TO reference. Keep each state block under one owner. The maintained build.py rejects duplicate line numbers; it does not automatically namespace or renumber routines.

Machine and measured size

This helper uses scalar numeric fields and allocates no arrays. Its diagnostic uses MODE 7 and HIMEM=&6000 to separate program storage, mailbox and screen. The helper itself changes neither mode nor HIMEM.

The numbered helper occupies 363 tokenised program bytes on this interpreter, including line headers. This excludes the caller, test tables, numeric scalar/array storage, interpreter stacks and ROM. Tokenised size is not machine-code size or a hardware-cycle count. No real-time or whole-game performance budget is inferred from the diagnostic. The caller’s AA/BB, JJ and RAM mailbox are observation machinery, not required game state.

Execution evidence

Working, custom, deliberately wrong and exact repaired callers executed through BBC Micro’s stock BASIC interpreter under Emu198x 0.44.2. Build198x 0.2.9 tokenises C64 PRG and Spectrum TAP programs. C64 enters stock RUN, Spectrum uses ROM tape loading, and BBC enters every numbered source line through MOS/BASIC. Actual loaded program bytes, complete state packets, positive completion/count/guards and visible result pixels are checked. After the positive completion marker, the observer advances two complete display frames before capturing, so a partially scanned final character cannot masquerade as a finished picture. Firmware is not distributed.

An independent mathematical/order model checks the trace and rejects altered source, configuration, loaded program, state, completion and image evidence. Host exhaustive checks complement the native boundary/sequential examples; those host ranges are not claimed as natively exhaustive. The supplied diagnostic callers deliberately end with STOP; the interpreter report is expected. The wrong caller prints 0,0 and the normal/custom/repaired callers print 1,1.

Public CI checks retained evidence; it does not execute restricted firmware. Refresh with python3 scripts/verify-basic-decisions.py input-debounce bbc-micro --tools /path/to/extracted/releases and inspect with python3 scripts/check-basic-decisions.py input-debounce.

Explore further

Compare the assembly technique. The BASIC game-flow routine makes session boundaries explicit. Complete source and native evidence.