Amendment 20: keyed draw streams (SeedSource.KEYED, keyed_uniform, fit.qrf uniform-driven draws) - #912

Merged

MaxGhenis merged 32 commits into

mainfrom

amend-keyed-seed-and-uniform-draws

Sep 12, 2026

Commits on Sep 11, 2026

Start the amendment 20 lane journal (keyed draw streams)

MaxGhenis
and
claude
committed
b469555
Red: keyed draw streams and SeedSource.KEYED have no implementation yet

MaxGhenis
and
claude
committed
8d55f81
Green: SeedSource.KEYED and keyed_uniform; relock kernel.py

MaxGhenis
and
claude
committed
e75bd6b
Red: FittedRegimeGatedQRF has no predict_from_uniforms yet

MaxGhenis
and
claude
committed
2c4dc34
Green: QRF draws from caller-supplied per-row uniforms

MaxGhenis
and
claude
committed
82e1111

Commits on Sep 12, 2026

Add a re-pin path that keeps every pinned H1 platform, and check them all

MaxGhenis
and
claude
committed
80c41e0
Re-pin the fit.qrf H1 fixture; direct.csv is byte-identical

MaxGhenis
and
claude
committed
c96a3f4
Amendment 20: keyed draw streams; changelog fragment

MaxGhenis
and
claude
committed
77b7daa
Bring the lane journal up to the landed state

MaxGhenis
and
claude
committed
2d0681c
Red: the re-pin derives foreign keys without checking the environment

MaxGhenis
and
claude
committed
457b369
Green: a re-pin checks the environment it derives foreign keys from

MaxGhenis
and
claude
committed
8b284c5
Pin the final-bin closure the amendment claims

MaxGhenis
and
claude
committed
1263777
Make the keyed-kernel contract test assert the half it only asserted in prose

MaxGhenis
and
claude
committed
3beca70
Assert the authoring pin against the fixture, not against the helper

MaxGhenis
and
claude
committed
6ea2917
Say precisely which node keys amendment 20 moves, and why

MaxGhenis
and
claude
committed
8fb9739
Bring the lane journal up to the reviewed state

MaxGhenis
and
claude
committed
74abdbb
Commit the lane receipts where they survive the worktree

MaxGhenis
and
claude
committed
74e42f8
Record the authoritative suite figure in the lane receipts

MaxGhenis
and
claude
committed
393deda
Stack amendment 20 on amendment 19 and re-pin the seed identities its QRF change moves

MaxGhenis
and
claude
committed
3a7e8af
Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws
MaxGhenis
committed
2b951c2
Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws
MaxGhenis
committed
a871bcf
Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws
MaxGhenis
committed
5065d49
Merge remote-tracking branch 'origin/main' into amend-keyed-seed-and-uniform-draws
MaxGhenis
committed
6480010
Move the pool-tool spec_sha256 pin with amendment 20's seed protocol

MaxGhenis
and
claude
committed
aaf4f1b
Normalise signed zero in keyed draw coordinates

MaxGhenis
and
claude
committed
cbf31ef
Skip the fit.qrf repin tests on a platform that carries no pin

MaxGhenis
and
claude
committed
4dfff46
Historicize the amendment 20 lane journals

MaxGhenis
and
claude
committed
dcaf929
Re-pin the AM, BE and UK country-bundle spec digests

MaxGhenis
and
claude
committed
23ba247
Re-pin the minimal-spec loader golden vector with amendment 20's seed protocol

MaxGhenis
and
claude
committed
9c77d75
Guard the repin ordering test on a platform with no fit.qrf pin

MaxGhenis
and
claude
committed
4e8a104
Reject lossy keyed-draw inputs and inconsistent parity authoring pins
MaxGhenis
committed
6391b80
Select non-authoring foreign pins in parity refusal tests
MaxGhenis
committed
5e33d69

Navigation Menu

Uh oh!

Amendment 20: keyed draw streams (SeedSource.KEYED, keyed_uniform, fit.qrf uniform-driven draws) - #912

Amendment 20: keyed draw streams (SeedSource.KEYED, keyed_uniform, fit.qrf uniform-driven draws)#912
MaxGhenis merged 32 commits into
mainfrom
amend-keyed-seed-and-uniform-draws

Commits on Sep 11, 2026

Start the amendment 20 lane journal (keyed draw streams)

Red: keyed draw streams and SeedSource.KEYED have no implementation yet

Green: SeedSource.KEYED and keyed_uniform; relock kernel.py

Red: FittedRegimeGatedQRF has no predict_from_uniforms yet

Green: QRF draws from caller-supplied per-row uniforms

Commits on Sep 12, 2026

Add a re-pin path that keeps every pinned H1 platform, and check them all

Re-pin the fit.qrf H1 fixture; direct.csv is byte-identical

Amendment 20: keyed draw streams; changelog fragment

Bring the lane journal up to the landed state

Red: the re-pin derives foreign keys without checking the environment

Green: a re-pin checks the environment it derives foreign keys from

Pin the final-bin closure the amendment claims

Make the keyed-kernel contract test assert the half it only asserted in prose

Assert the authoring pin against the fixture, not against the helper

Say precisely which node keys amendment 20 moves, and why

Bring the lane journal up to the reviewed state

Commit the lane receipts where they survive the worktree

Record the authoritative suite figure in the lane receipts

Stack amendment 20 on amendment 19 and re-pin the seed identities its QRF change moves

Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws

Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws

Merge branch 'amend-typed-artifacts' into amend-keyed-seed-and-uniform-draws

Merge remote-tracking branch 'origin/main' into amend-keyed-seed-and-uniform-draws

Move the pool-tool spec_sha256 pin with amendment 20's seed protocol

Normalise signed zero in keyed draw coordinates

Skip the fit.qrf repin tests on a platform that carries no pin

Historicize the amendment 20 lane journals

Re-pin the AM, BE and UK country-bundle spec digests

Re-pin the minimal-spec loader golden vector with amendment 20's seed protocol

Guard the repin ordering test on a platform with no fit.qrf pin

Reject lossy keyed-draw inputs and inconsistent parity authoring pins

Select non-authoring foreign pins in parity refusal tests