Skip to content

feat(contract): Vsa16kF32 switchboard carrier + 16K algebra#253

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/vsa16k-f32-carrier-type
Apr 24, 2026
Merged

feat(contract): Vsa16kF32 switchboard carrier + 16K algebra#253
AdaWorldAPI merged 1 commit into
mainfrom
claude/vsa16k-f32-carrier-type

Conversation

@AdaWorldAPI
Copy link
Copy Markdown
Owner

Summary

  • Ships CrystalFingerprint::Vsa16kF32(Box<[f32; 16_384]>) — the Click-native 64 KB switchboard carrier per CLAUDE.md §The Click and I-VSA-IDENTITIES iron rule.
  • Adds six 16K algebra primitives: vsa16k_zero, binary16k_to_vsa16k_bipolar, vsa16k_to_binary16k_threshold, vsa16k_bind, vsa16k_bundle, vsa16k_cosine.
  • Wires to_vsa10k_f32() and byte_size() for the new variant. Exports from crystal::mod.
  • Board-hygiene in same commit: LATEST_STATE.md + EPIPHANIES.md updated.

Context

This is expansion-list item #1 from the SoAReview sweep (PR #252 §6). The carrier type must exist before FingerprintColumns.cycle in cognitive-shader-driver::bindspace can migrate from Box<[u64]> (Binary16K) to the f32 carrier.

Inside-BBB only. Vsa16kF32 does NOT cross ExternalMembrane. The Arrow-scalar commit tier uses Binary16K (Index regime) or CAM-PQ scent (Argmax regime).

What changed

File Change
crystal/fingerprint.rs +1 enum variant, +6 algebra functions, +7 tests, +2 match arms (byte_size + to_vsa10k), updated module doc
crystal/mod.rs Re-export the 6 new public functions
.claude/board/LATEST_STATE.md crystal/ inventory updated with Vsa16kF32 + algebra
.claude/board/EPIPHANIES.md Prepended Vsa16kF32 FINDING entry

Test plan

  • cargo test -p lance-graph-contract --lib — 174 pass, 0 fail
  • cargo test -p lance-graph-callcenter --lib — 11 pass, 0 fail
  • binary16k_to_vsa16k_bipolar roundtrip is lossless (strict ±1 → threshold)
  • vsa16k_bind is self-inverse for bipolar keys
  • vsa16k_bundle then unbind recovers role-bound content above noise floor
  • vsa16k_to_vsa10k projection produces finite values

https://claude.ai/code/session_01SbYsmmbPf9YQuYbHZN52Zh


Generated by Claude Code

Ships the Click-native 16,384-D f32 VSA carrier as a first-class
CrystalFingerprint variant with six algebra primitives.

New in crystal/fingerprint.rs:
- CrystalFingerprint::Vsa16kF32(Box<[f32; 16_384]>) — 64 KB,
  inside-BBB only, 1:1 bit-addressable with Binary16K
- vsa16k_zero() — allocate zeroed carrier
- binary16k_to_vsa16k_bipolar() — bit → ±1.0 (lossless)
- vsa16k_to_binary16k_threshold() — >0 → bit set (inverse)
- vsa16k_bind() — element-wise multiply (role assignment)
- vsa16k_bundle() — element-wise add (CK-safe superposition)
- vsa16k_cosine() — similarity on the 16K carrier
- to_vsa10k_f32() arm for Vsa16kF32 → 10K downcast
- byte_size() arm (65_536 bytes)
- 7 new tests (16 total in module): byte_size, bipolar roundtrip,
  bipolar values, bind self-inverse, bundle similarity,
  bundle-then-unbind role recovery, 16K→10K projection finiteness

Exported from crystal::mod re-exports. All 174 contract tests pass,
11 callcenter tests pass. No regressions.

This is expansion-list item #1 from the SoAReview sweep (PR #252).
The type must exist before FingerprintColumns.cycle can migrate
from Box<[u64]> to the f32 carrier (PR B, next).

Board-hygiene (same commit):
- LATEST_STATE.md crystal/ inventory updated
- EPIPHANIES.md prepended with Vsa16kF32 FINDING entry

https://claude.ai/code/session_01SbYsmmbPf9YQuYbHZN52Zh
@AdaWorldAPI AdaWorldAPI merged commit ddb3017 into main Apr 24, 2026
0 of 5 checks passed
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