Skip to content

Use real rule names and add checkpoint provenance stamping - #34

Merged
sp25-bai-047-wq merged 2 commits into
QuantumLogicsLabs:mainfrom
Momin0000:main
Aug 12, 2026
Merged

Use real rule names and add checkpoint provenance stamping#34
sp25-bai-047-wq merged 2 commits into
QuantumLogicsLabs:mainfrom
Momin0000:main

Conversation

@Momin0000

Copy link
Copy Markdown
Contributor

…venance stamping

model/transformer.py now uses real rule names from vocab.json's rule_tokens when provided, raising loudly on a count mismatch instead of silently mislabeling. Regression test included (3/3 passing). checkpoint_provenance.py stamps every saved checkpoint with git commit hash, config hash, and checkpoint hash, auto-called from train.py after saving -- the exact provenance gap that made the original 43.3%/66.7% numbers and the config/epoch mismatch impossible to trace. Verified: train.py imports cleanly and correctly resolves to the real model/transformer.py implementation (not the LSTM fallback stub in solver_model.py). Does not affect model weights, loss, or the currently-running training job on another machine.

…venance stamping

model/transformer.py now uses real rule names from vocab.json's rule_tokens when provided, raising loudly on a count mismatch instead of silently mislabeling. Regression test included (3/3 passing). checkpoint_provenance.py stamps every saved checkpoint with git commit hash, config hash, and checkpoint hash, auto-called from train.py after saving -- the exact provenance gap that made the original 43.3%/66.7% numbers and the config/epoch mismatch impossible to trace. Verified: train.py imports cleanly and correctly resolves to the real model/transformer.py implementation (not the LSTM fallback stub in solver_model.py). Does not affect model weights, loss, or the currently-running training job on another machine.
@vercel

vercel Bot commented Aug 12, 2026

Copy link
Copy Markdown

@Momin0000 is attempting to deploy a commit to the seno-quantum-coder's projects Team on Vercel.

A member of the Team first needs to authorize it.

@sp25-bai-047-wq
sp25-bai-047-wq merged commit e7d9b08 into QuantumLogicsLabs:main Aug 12, 2026
1 of 5 checks passed
Momin0000 added a commit to Momin0000/CalculusSolver that referenced this pull request Aug 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants