Phase 1 / Forge / Cross-platform determinism of forge_3d - #71

Merged

guysenpai merged 85 commits into

mainfrom

phase-1/forge/determinism

Aug 20, 2026

Commits on Aug 14, 2026

docs(brief): add m1.1.14 milestone brief
guysenpai
committed
172a4ce
docs(brief): confirm specs read for m1.1.14
guysenpai
committed
a35fd30
docs(brief): activate m1.1.14
guysenpai
committed
522c129
feat(math): add the deterministic cosine (ARCH-031 rule 4)
guysenpai
committed
accf8f0
feat(platform): install the engine float environment on each thread
guysenpai
committed
ff950b3
feat(forge): assert the float environment at the physics entry point
guysenpai
committed
ed16f7d
feat(forge): drop the libm cosine from the character controller
guysenpai
committed
81227fa
chore(ci): pin the CPU feature set on every cell
guysenpai
committed
b7915b3
docs(brief): journal update for m1.1.14 gate A
guysenpai
committed
86cfb7f
fix(tools): close two false negatives in the asm inventory
guysenpai
committed
a92f6d6
refactor(math): move float_env under the forge_3d dependency whitelist
guysenpai
committed
0d60025
docs(brief): journal the gate A review round
guysenpai
committed
35b34b7
fix(math): use the only MXCSR constraint pair both backends accept
guysenpai
committed
bba33f4
docs(brief): journal the first matrix run and its finding
guysenpai
committed
420ef53
docs(math): render the C1.1 citation in English with its pointer
guysenpai
committed
0088fea
fix(forge): prune the retained pair set on fat-AABB separation
guysenpai
committed
e893003
test(forge): add the canonical determinism scenario
guysenpai
committed
15b5a23
feat(forge): add the determinism instrument and its build step
guysenpai
committed
b5b54df
test(forge): pin the divergence threshold to the per-body scale
guysenpai
committed
042f149
chore(ci): add the determinism witness generation workflow
guysenpai
committed
95df2ba
docs(brief): journal the gate C provenance blocker
guysenpai
committed
d8ac0a4
chore(ci): gate witness generation on a commit trailer
guysenpai
committed
ec56be0
fix(ci): read the trailer from the PR head, not the merge commit
guysenpai
committed
80de9d9
chore(ci): retain both sides of the cross-mode measurement
guysenpai
committed
16b3b88
docs(brief): journal the gate C cross-mode blocker B2
guysenpai
committed
4e3551c

Commits on Aug 15, 2026

fix(math): fold float lane reductions in source, not via @reduce
guysenpai
committed
a61ea1c
test: sweep the dead tests before any witness is generated
guysenpai
committed
3ed5804
fix(render): own the pass resource slices in the config
guysenpai
committed
824a79d
fix(core): guard the shm_posix wire-in by target OS
guysenpai
committed
9389d0d
feat(lint): add the dead-test closure analyser, not yet wired
guysenpai
committed
761728b
fix(ci): pin the CPU axis in the Zig cache key
guysenpai
committed
d486d71
fix(ci): make the Zig cache save all-or-nothing
guysenpai
committed
9e8bd78
test(lint): restrict the dead-test fixpoint to live files
guysenpai
committed
a12984d
docs(brief): close out the session with the measured facts
guysenpai
committed
be11898
docs(lint): record the module-boundary edge for the resumption
guysenpai
committed
5b12ccb

Commits on Aug 16, 2026

Commits on Aug 17, 2026

fix(forge): regenerate witnesses on mismatch, install env at ten sites

guysenpai
and
claude
committed
2c29c7c
docs(math): state the install rule instead of enumerating its sites

guysenpai
and
claude
committed
dc22a72
fix(forge): give the determinism scenario a walk, a slope, an observer

guysenpai
and
claude
committed
e851ff0
feat(forge): re-baseline the determinism witnesses on the fixed scenario

guysenpai
and
claude
committed
840b523
test(math): pin the deterministic cosine to an oracle that is not @cos

guysenpai
and
claude
committed
6f4dc46
test(forge): make the fourth trace an oracle, refuse a bad window

guysenpai
and
claude
committed
d627b89
docs(brief): patch CLAUDE.md on the measured state, and audit the close

guysenpai
and
claude
committed
125bb89
docs(brief): record three CI infra causes and one wrong expectation

guysenpai
and
claude
committed
7909898
fix(lint): execute the dead-test conservation instead of printing it

guysenpai
and
claude
committed
7732fed
fix(ci): run the dead-test conservation on every cell, not one

guysenpai
and
claude
committed
3326202
test(ci): deliberate red — prove the passed total reaches the cell

guysenpai
and
claude
committed
d237f82
fix(ci): restore the honest total and declare the step shell

guysenpai
and
claude
committed
a4f6e82
docs(brief): record the final head, the red run and three identifiers

guysenpai
and
claude
committed
a6baad3
test(ci): deliberate red — prove the windows constant is confronted

guysenpai
and
claude
committed
8116831
fix(lint): restore the windows constant, second negative witness done

guysenpai
and
claude
committed
2cc1b49
docs(brief): record the prediction that did not match its observation

guysenpai
and
claude
committed
d02e4b7
fix(forge): survive a structural regen, and make the traces vary

guysenpai
and
claude
committed
944bee6
chore(forge): intermediate local witnesses, replaced by the next commit

guysenpai
and
claude
committed
3c78c8d
docs(brief): record the regeneration deadlock and re-carry the trailer

guysenpai
and
claude
committed
db34f86

Commits on Aug 18, 2026

feat(forge): authoritative witnesses, and the chain always measures

guysenpai
and
claude
committed
0db05fd
fix(forge): close the nine-element sweep, sensor and groups in scope

guysenpai
and
claude
committed
1d03885
fix(forge): sensor discriminations per set, groups by membership

guysenpai
and
claude
committed
47dfbec
fix(forge): assert the sensor record on the chain dump, not the helper

guysenpai
and
claude
committed
400a7b4
docs(forge): unattribute the coarse island probe, sweep element indices

guysenpai
and
claude
committed
28a598b
test(forge): observe the sleeper by identity, element 3 by membership
guysenpai
committed
5b05003
test(forge): bound the discrete observations to the compared window
guysenpai
committed
8e2f447

Commits on Aug 20, 2026

test(forge): read an identity per element, run the claimed span
guysenpai
committed
44a8953