Weksa/docs/targets
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Weksa 3d851bf0e1 lowerer-first-cut: lower(&LoweringInput,&Inventory) by a fixed English table keyed by inventory ids; weksa lower, score, packet proof, inventory proof; inventory rev 2 and the nibu-proof-001 packet
Measured against the proof lowering: item:nibu:1 chrF 23.12 cosine 0.6313,
item:nibu:2 chrF 25.98 cosine 0.7245, item:brokkr:1 chrF 19.42 cosine 0.4516.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-01 08:29:38 +00:00
..
interlingua-lowering-map.md lowerer-first-cut: lower(&LoweringInput,&Inventory) by a fixed English table keyed by inventory ids; weksa lower, score, packet proof, inventory proof; inventory rev 2 and the nibu-proof-001 packet 2026-11-01 08:29:38 +00:00
interlingua-lowering.md Target: no-surface-leak with no free-text packet field and no scorer mask (leak-owned-by-flow-and-scorer-3) 2026-10-29 15:47:51 +01:00