Repository navigation

feat(language-1.2): tokenizers over the native text laws (LM-01..LM-03, LM-13; part of #30) - #82

Merged

afflom merged 29 commits into

mainfrom

issue-30-language-model

Oct 17, 2026

Merged

feat(language-1.2): tokenizers over the native text laws (LM-01..LM-03, LM-13; part of #30)#82
afflom merged 29 commits into
mainfrom
issue-30-language-model

Commits on Oct 14, 2026
- feat(language-1.2): register the text-component family per the design on #30
  humuhumu33
  committed
  25a7834
- feat(language-1.2): text-component declarations and their family module (IR slice of #30)
  humuhumu33
  committed
  e75e239
- chore(text-laws): one-time exporter for the tokenizer text laws (re-scratch)
  lexlean-slice-b
  committed
  54594e1
- chore(text-laws): remove the one-time exporter from the release tree
  lexlean-slice-b
  committed
  55ad6ec
- feat(language-1.2): the text laws as an embedded native library (slice B of #30)
  lexlean-slice-c
  committed
  b4be399
Commits on Oct 15, 2026
- Merge origin/main (26e4dea7) into issue-30-language-model
  
  humuhumu33
  and
  claude
  committed
  9e260b2
Commits on Oct 16, 2026
- wip(#30): tokenizer elaboration over the native text laws (LM-01..LM-03, uncompiled)
  
  humuhumu33
  and
  claude
  committed
  0cd55cd
- fix(#30): verify names the module-level lean_error helper
  
  humuhumu33
  and
  claude
  committed
  b48941a
- test(#30): wire LM-01..LM-03 over the models example
  
  humuhumu33
  and
  claude
  committed
  b113d60
- fix(#30): restore the LM-13 test body the merge truncated
  
  humuhumu33
  and
  claude
  committed
  529988b
- test(#30): a vocabulary reference is a member object
  
  humuhumu33
  and
  claude
  committed
  2af31bd
- feat(#30): the tokenizer elaboration moves the language-1.2 semantic_ir, lean_backend, and latex_backend versions
  
  humuhumu33
  and
  claude
  committed
  7356959
- fix(#30): restore the main changes the 9e260b2f merge dropped (#130 PX-13 and production-result/2, #135, #137, #143, #147, VERIFICATION): the tree is origin/main 26e4dea7 merged with the branch, 39…
  
  humuhumu33
  and
  claude
  committed
  8363b43
- docs(#30): changelog entry for the tokenizer elaboration and the text-laws library
  
  humuhumu33
  and
  claude
  committed
  e1e78a8
- Merge origin/main (32afe5da, #144 native runtimes) into issue-30-language-model; the register carries only the wired text rows LM-01..LM-03 and LM-13 (390 IDs)
  humuhumu33
  committed
  b6c4ba2
- chore(#30): regenerate CONFORMANCE.md for the 390-row register
  
  humuhumu33
  and
  claude
  committed
  d558408
- chore(#30): regenerate locks, goldens, calculus packages, fixtures, production export, and verification records for the new language-1.2 compiler-semantics ID
  
  humuhumu33
  and
  claude
  committed
  df9fb03
- Merge ../i30.bundle into claude/issue-30-language-model-components
  humuhumu33
  committed
  d54858f
- Merge origin/main (80331cb4: #152 Atlas shards, #156 runtime gates) into issue-30-language-model
  
  humuhumu33
  and
  claude
  committed
  c876764
- fix(#30): the text declarations have production rows, the laws library is in the notation, and the CI cases pass
  
  humuhumu33
  and
  claude
  committed
  7d34c15
- fix(#30): the text-laws records join the attestation through their own list
  
  humuhumu33
  and
  claude
  committed
  d1a103b
- chore(#30): regenerate every language-1.2 record for the merged tree's compiler-semantics ID
  
  humuhumu33
  and
  claude
  committed
  7b6cd68
- fix(#30): the four text declarations are not-runtime rows of the oracle's non-overlap table (OR-02)
  
  humuhumu33
  and
  claude
  committed
  2f9c1f1
- Merge origin/main (378628ec: #158 program equalities, PF-20..PF-23) into issue-30-language-model
  
  humuhumu33
  and
  claude
  committed
  3177b07
- chore(#30): regenerate every language-1.2 record for the tree merged with #158
  
  humuhumu33
  and
  claude
  committed
  7272673
- Merge origin/main (097b9b97: #146 certificate E as kernel-term data, SP-14) into issue-30-language-model
  
  humuhumu33
  and
  claude
  committed
  b09bb47
Commits on Oct 17, 2026
- chore(#30): regenerate the language-1.2 records for the tree merged with #146
  
  humuhumu33
  and
  claude
  committed
  8a71059
- Merge origin/main (c3905e7c: #159 bdd parts, #153 stdlib Text, SL-01) into issue-30-language-model
  
  humuhumu33
  and
  claude
  committed
  dc6d6ca
- chore(#30): regenerate the language-1.2 records for the tree merged with #159 and #153
  
  humuhumu33
  and
  claude
  committed
  85886c3

Commits

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 17, 2026