idle
Press Start
Trial —
mode —
RT —
⏱ —
Scoring
| Hits | Misses | False Alarms | Correct Rejects | Accuracy |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0% |
A “match” occurs when the resultant state vector of the current trial equals the vector from N trials ago after quantization. Surface strings are irrelevant.
Session
| Trial | Premise | Mode | IsMatch |
|---|
Mechanics
- Symbols A–Z have identity and state:
pos(x,y),level,polarity,intensity,phase. - Transforms are pure and deterministic. Only transforms update state; identity never changes.
- Two generators:
- GeomGen: rotation, reflection, scale, projection, midpoint, bisectors, orientation, lattice, etc. Output ≤ 7 words per premise line. Line names literal:
line U,V. - ArithGen: arithmetic expressions on letters using
+ − × ÷ √ ^ invertedwith optional scalar digits attached to letters (e.g., A2). Output ≤ 7 words.
- GeomGen: rotation, reflection, scale, projection, midpoint, bisectors, orientation, lattice, etc. Output ≤ 7 words per premise line. Line names literal:
- Scheduler picks generator with Bernoulli
qthen builds a non‑match by rejection or constructs an inverse composition to force a match.