Repository navigation
Course 3: GoldenFloat -- 27 modules, widget and spec per lesson #1469
Description
Third course: GoldenFloat -- the phi-split float family from arXiv:2606.05017. Route #/goldenfloat, share path learn/goldenfloat/. Built from the recipe in AGENTS.md "New course to open a topic" (PR #1465) as a test of whether that recipe is self-sufficient.
27 modules, one lesson each. Every lesson has its own widget and one lesson spec. A lesson whose honest spec is not clean yet is marked pending (a cast placeholder), never faked.
| # | Lesson | Widget | Lesson spec | State |
|---|---|---|---|---|
| 1 | A float cut by phi | golden-split |
specs/numeric/goldenfloat_family.t27 |
done |
| 2 | Phi as a ratio | golden-phi-ratio |
specs/numeric/goldenfloat_family.t27 |
pending: specs/numeric/phi_ratio.t27 not clean |
| 3 | Lucas numbers stay whole | golden-lucas |
specs/numeric/lucas_accumulator.t27 |
done |
| 4 | Why the split is phi | golden-split-optimality |
specs/numeric/goldenfloat_family.t27 |
pending: specs/math/phi_split_optimality.t27 not clean |
| 5 | Why base three | golden-radix-economy |
specs/numeric/goldenfloat_family.t27 |
pending: specs/math/radix_economy.t27 not clean |
| 6 | Phi in sixteen bits | golden-phi-in-gf16 |
specs/numeric/gf_competitive.t27 |
done |
| 7 | GF4: four bits | golden-gf4 |
specs/numeric/gf4.t27 |
done |
| 8 | GF6: six bits | golden-gf6 |
specs/numeric/gf6.t27 |
done |
| 9 | GF8: one byte | golden-gf8 |
specs/numeric/goldenfloat_family.t27 |
pending: specs/numeric/gf8.t27 not clean |
| 10 | GF10: ten bits | golden-gf10 |
specs/numeric/gf10.t27 |
done |
| 11 | GF12: twelve bits | golden-gf12 |
specs/numeric/goldenfloat_family.t27 |
pending: specs/numeric/gf12.t27 not clean |
| 12 | GF14: fourteen bits | golden-gf14 |
specs/numeric/gf14.t27 |
done |
| 13 | GF16: the primary format | golden-gf16 |
specs/numeric/gf16.t27 |
done |
| 14 | Two products, one sum | golden-dot-two |
specs/ternary/gft_dot2.t27 |
done |
| 15 | GF20 and GF24 | golden-gf24 |
specs/numeric/goldenfloat_family.t27 |
pending: specs/numeric/gf24.t27 not clean |
| 16 | GF32: a single | golden-gf32 |
specs/numeric/goldenfloat_family.t27 |
pending: specs/numeric/gf32.t27 not clean |
| 17 | GF48: forty-eight bits | golden-gf48 |
specs/numeric/gf48.t27 |
done |
| 18 | GF64: a double | golden-gf64 |
specs/numeric/gf64.t27 |
done |
| 19 | GF96: ninety-six bits | golden-gf96 |
specs/numeric/gf96.t27 |
done |
| 20 | GF128: a quad | golden-gf128 |
specs/numeric/gf128.t27 |
done |
| 21 | GF256: two hundred fifty-six bits | golden-gf256 |
specs/numeric/gf256.t27 |
done |
| 22 | GF512: five hundred twelve bits | golden-gf512 |
specs/numeric/gf512.t27 |
done |
| 23 | GF1024: one kilobit | golden-gf1024 |
specs/numeric/gf1024.t27 |
done |
| 24 | GF-T8: an exponent in trits | golden-gft8 |
specs/numeric/gft8.t27 |
done |
| 25 | GF-T16: six trits | golden-gft16 |
specs/numeric/gft16.t27 |
done |
| 26 | GF-T32: twelve trits | golden-gft32 |
specs/numeric/gft32.t27 |
done |
| 27 | Decode in one step | golden-decode |
specs/math/gf_competitive.t27 |
done |
Done when: course spec + RU twin registered in courses.t27, gallery carries all 27 widgets, every generator and gate in apps/website holds.
Activity