IQT – Why space feels panoramic and time feels fleeting
This repo actually tries something rare: a crisp identity claim linking subjective experience to the algebra-state pair from algebraic QFT, plus concrete, pre-registered experimental protocols and a Lean formalization. It bundles a lay 'Gentle Introduction', rigorous math, CI checks, and a NotebookLM reading guide — an unusual combo of philosophy, hard physics, and reproducibility. It's bracingly technical and squarely for specialists; if you don't do AQFT or proof assistants, expect to skim the intro and admire the ambition.
