This repository was archived by the owner on Apr 7, 2026. It is now read-only.

Commits

Commits on Apr 6, 2026

feat: contract enforcement — 5 postconditions for layernorm, rope, swiglu (Refs PMAT-495)

noahgift
and
claude
committed
feat: contract enforcement — 23 postconditions for E2 upgrade (Refs PMAT-495)

noahgift
and
claude
committed
chore: bump to 0.7.13 — contract macro stubs fix crates.io build (PMAT-517)

noahgift
and
claude
committed
fix: PMAT-517 publish safety gate — contract macro stubs + cargo install verification

noahgift
and
claude
committed
fix: add allow(unused_macros) for cfg-gated contract stubs (Refs PMAT-495)

noahgift
and
claude
committed
fix: allow unused contract macro for cfg-gated wgpu path (Refs PMAT-495)

noahgift
and
claude
committed
feat: contract enforcement — 57 call sites for sovereign Grade A push (Refs PMAT-495)

noahgift
and
claude
committed
feat: contract enforcement — 42 call sites for kernel Grade B (Refs PMAT-495)

noahgift
and
claude
committed
chore: bump version to 0.7.12 for PMAT-512 loss emission fix

noahgift
and
claude
committed
fix: emit per-epoch loss to stderr for canary parser (PMAT-512)

noahgift
and
claude
committed
chore: regenerate contract codegen — 290 contracts, 657 preconditions (Refs PMAT-495)

noahgift
and
claude
committed
revert: remove PMAT-511 per-layer backward (dead end, wrong-direction gradient)

noahgift
and
claude
committed
feat: inject 8 contract call sites — attention, rmsnorm, embedding, matmul, activations (Refs PMAT-490)

noahgift
and
claude
committed
fix: PMAT-511v2 residual mixing ratio alpha=0.1 — replace broken 1/sqrt(dim)

noahgift
and
claude
committed
perf: cache transposed backward weights — eliminate 56 transposes/step

noahgift
and
claude
committed
fix: PMAT-511 variance-preserving gradient scale — prevent explosion through 28 layers

noahgift
and
claude
committed
feat: inject 5 contract call sites — optimizer, checkpoint, quantize, loss (Refs PMAT-489)

noahgift
and
claude
committed
chore: bump version to 0.7.9 for PMAT-510 backward gradient fix

noahgift
and
claude
committed
fix: PMAT-510 per-layer backward gradient propagation

noahgift
and
claude
committed
chore: regenerate macros — softmax >= 0.0 IEEE 754 fix (Refs PMAT-487)

noahgift
and
claude
committed
diag: PMAT-509 per-layer hidden state check (layers 0, 1, 27)

noahgift
and
claude
committed
diag: PMAT-509 embed[264] comparison vs PyTorch

noahgift
and
claude
committed
diag: PMAT-509 logit diagnostics — argmax, target logit, zeros

noahgift
and
claude
committed
diag: PMAT-509 forward path diagnostics — embed norm + post-layer hidden state

noahgift
and
claude
committed

Branch selector

User selector

Commit History

Commits on Apr 6, 2026

Commits on Apr 5, 2026

Commits on Apr 4, 2026