JP Journal · bounded offline evidence lab

LoRA merge parity lab

Recompute ΔW=(alpha/r)BA, compare active-adapter and merged-weight outputs on a vector suite, reject unsafe values, and bind the evidence to exact source identities.

Merge contract

Base identityAdapter identityBase W · JSON out×inFactor A · JSON rank×inFactor B · JSON out×rankAlphaToleranceMerge rounding

Dimensions: 1–8. Rank: 1–4. All numbers finite. Vector suite includes zero, every basis vector, mixed signs, and fractions.

Receipt summary

Proof contract

Shapes, rank, alpha, tolerance, and identities validate before work.
A separately written loop agrees on every delta cell.
Active and merged outputs agree across the complete vector suite.
All matrices and outputs are finite; canonical hashes include source identities and arithmetic policy.
JSON and CSV exports are reparsed and recalculated.