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.
Third course: GoldenFloat -- the phi-split float family from arXiv:2606.05017. Route
#/goldenfloat, share pathlearn/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.
golden-splitspecs/numeric/goldenfloat_family.t27golden-phi-ratiospecs/numeric/goldenfloat_family.t27specs/numeric/phi_ratio.t27not cleangolden-lucasspecs/numeric/lucas_accumulator.t27golden-split-optimalityspecs/numeric/goldenfloat_family.t27specs/math/phi_split_optimality.t27not cleangolden-radix-economyspecs/numeric/goldenfloat_family.t27specs/math/radix_economy.t27not cleangolden-phi-in-gf16specs/numeric/gf_competitive.t27golden-gf4specs/numeric/gf4.t27golden-gf6specs/numeric/gf6.t27golden-gf8specs/numeric/goldenfloat_family.t27specs/numeric/gf8.t27not cleangolden-gf10specs/numeric/gf10.t27golden-gf12specs/numeric/goldenfloat_family.t27specs/numeric/gf12.t27not cleangolden-gf14specs/numeric/gf14.t27golden-gf16specs/numeric/gf16.t27golden-dot-twospecs/ternary/gft_dot2.t27golden-gf24specs/numeric/goldenfloat_family.t27specs/numeric/gf24.t27not cleangolden-gf32specs/numeric/goldenfloat_family.t27specs/numeric/gf32.t27not cleangolden-gf48specs/numeric/gf48.t27golden-gf64specs/numeric/gf64.t27golden-gf96specs/numeric/gf96.t27golden-gf128specs/numeric/gf128.t27golden-gf256specs/numeric/gf256.t27golden-gf512specs/numeric/gf512.t27golden-gf1024specs/numeric/gf1024.t27golden-gft8specs/numeric/gft8.t27golden-gft16specs/numeric/gft16.t27golden-gft32specs/numeric/gft32.t27golden-decodespecs/math/gf_competitive.t27Done when: course spec + RU twin registered in
courses.t27, gallery carries all 27 widgets, every generator and gate in apps/website holds.