Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
f745e7a
docs(spec): APR-EMBED-001 EmbeddingGemma 2 support, verbatim; mint EG…
noahgift Oct 7, 2026
89f4644
feat(embed): EG-0 f+g forward contract, pre-registered corpus, probe …
noahgift Oct 7, 2026
1a2727c
feat(embed): EG-0 a,b,d,e — probe receipt, M9 resolved, verb totality…
noahgift Oct 7, 2026
3207b35
Merge main (0.70.2 tree, 87021c9962) into feat/apr-embed-001-eg0
noahgift Oct 7, 2026
b78619a
fix(embed): EG-0 forward contract passes the ontology gates
noahgift Oct 7, 2026
e143f89
feat(embed): EG-1 slice 1 — ModelKind, per-layer KV heads and layer k…
noahgift Oct 8, 2026
d53fc9f
feat(embed): EG-1 slice 2 — config reads head_count_kv per layer, nev…
noahgift Oct 8, 2026
2dd924d
feat(embed): EG-1 slice 3 — chat and serve refuse an embedding model …
noahgift Oct 8, 2026
391318a
feat(embed): EG-1 slice 4 — SPM-style BPE tokenizer for gemma4 vocabu…
noahgift Oct 8, 2026
54c969f
docs(embed): EG-1 tokenizer parity receipt, 1120/1120 against a provi…
noahgift Oct 8, 2026
765a03f
chore(embed): EG-1 regenerate README contract count and roadmap aggre…
noahgift Oct 8, 2026
85ac2d1
feat(embed): EG-1 slice 5 — apr flow draws an embedding model by kind
noahgift Oct 9, 2026
2a42c3d
fix(gguf): EG-1 read BF16 tensors as F32, exactly
noahgift Oct 9, 2026
de03bbb
test(gguf): EG-1 BF16 fixture check as trailing_zeros (clippy verbose…
noahgift Oct 9, 2026
f112cf6
docs(embed): EG-1 verb sweep receipt, 84/84 on 6 of 6 files
noahgift Oct 9, 2026
6cf1880
feat(embed): EG-2 EmbeddingGemma 2 forward and `apr embed` on GGUF
noahgift Oct 10, 2026
e7cc8b9
Merge origin/main into feat/apr-embed-001-eg1 (README count and roadm…
noahgift Oct 10, 2026
acea845
fix(contracts): EG contracts pass the Σ and strict test-binding gates
noahgift Oct 10, 2026
1e225d3
chore(contracts): regenerate the ONT witness for the EG contract ids
noahgift Oct 10, 2026
54f7403
fix(contracts): serve refuses the embedding kind; bind four EG-2 forw…
noahgift Oct 11, 2026
ef02507
Merge origin/main into feat/apr-embed-001-eg1 (conflicts resolved, RE…
noahgift Oct 12, 2026
1f86738
chore(contracts): regenerate the ONT witness after the main merge
noahgift Oct 12, 2026
a931ca1
fix(audit): re-audit the surface ledger rows whose cited lines this b…
noahgift Oct 12, 2026
84578e7
fix(embed): refuse '..' in the embed script paths; rustfmt matmul_fus…
noahgift Oct 12, 2026
7bc2ae7
Merge origin/main into feat/apr-embed-001-eg1 (surface ledger conflic…
noahgift Oct 12, 2026
63276c0
Merge origin/main into feat/apr-embed-001-eg1 (deny.toml RUSTSEC-2024…
noahgift Oct 12, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,7 @@ publishing — all backed by YAML provable contracts that fail CI on drift.
| Metric | Count | Source of truth |
|-------:|------:|---|
| Workspace crates | **81** workspace crates | `cargo metadata --no-deps` (NOT `ls crates/` — 4 are `exclude`d, 1 has no Cargo.toml) |
| Provable contracts | **<!-- CONTRACT_COUNT_START -->1903<!-- CONTRACT_COUNT_END -->** provable contracts | `contracts/census.json` `.n_files` — the set `pv lint` walks (`pv census`, ONT-001 ONT-1; regenerated by `make contracts`, written by `make readme-sync`, guarded by `scripts/check_readme_claims.sh`) |
| Provable contracts | **<!-- CONTRACT_COUNT_START -->1905<!-- CONTRACT_COUNT_END -->** provable contracts | `contracts/census.json` `.n_files` — the set `pv lint` walks (`pv census`, ONT-001 ONT-1; regenerated by `make contracts`, written by `make readme-sync`, guarded by `scripts/check_readme_claims.sh`) |
| CLI commands | **113** CLI commands | `contracts/apr-cli-commands-v1.yaml` §`commands` (parse the list; `apr --help` also lists `help` itself, and `grep -c '^ - name:'` gives 119 — other same-indent `name:` keys exist in the file) |
| Book CLI chapters | **114** chapters | `ls book/src/cli/*.md` |
| Book lib chapters | **73** chapters | `ls book/src/lib/*.md` (parity with `pub mod`) |
Expand Down Expand Up @@ -403,7 +403,7 @@ falsification_tests:
prediction: apr validate bad-model.apr exits non-zero
```

The tree carries <!-- CONTRACT_COUNT_START -->1903<!-- CONTRACT_COUNT_END --> contracts across inference, training, quantization, attention, FFN,
The tree carries <!-- CONTRACT_COUNT_START -->1905<!-- CONTRACT_COUNT_END --> contracts across inference, training, quantization, attention, FFN,
tokenization, model formats, CLI safety — and this README itself.

## Migration from old crates
Expand Down
2 changes: 1 addition & 1 deletion book/src/cli/embed.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

# apr embed

Produce sentence embeddings from a BERT bi-encoder (GH-326 Phase 6).
Produce sentence embeddings from a BERT APR file (GH-326 Phase 6) or an EmbeddingGemma 2 GGUF file (APR-EMBED-001).

**Category**: Other

Expand Down
Loading