feat: Cobham characterization of FP - #23

Open

BoltonBailey wants to merge 9 commits into

SamuelSchlesinger:devfrom

BoltonBailey:feat/cobham-fp

Commits on Jul 27, 2026

some error with this run
BoltonBailey
committed
9a501f5

Commits on Jul 31, 2026

Merge branch 'origin/dev' into feat/bitstring-encoding

BoltonBailey
and
claude
committed
85de300

Commits on Aug 1, 2026

progress on cobham
BoltonBailey
committed
f958844

Commits on Aug 2, 2026

progress
BoltonBailey
committed
83a379c

Commits on Aug 3, 2026

fp in cobham
BoltonBailey
committed
59741f2

Commits on Aug 6, 2026

complete proof
BoltonBailey
committed
f1b8a45
refactor
BoltonBailey
committed
fa08e78
revert encoding stuff
BoltonBailey
committed
60118c9
reduce surface
BoltonBailey
committed
8044692