“¿Por qué me tratas tan mal? ¿Por qué te escapas? ¿Por qué no ves Que si me matas tal vez entre las sombras renaceré? No pensés en eso, yo estoy bien Solamente los espejos quieren mi reflejo esconder” — Charly García
Vampiro
Vampiro is a cross-language Rust CLI (current release: release status) that asks one question at every call boundary: does this edge compose validly in the category it claims to compose in?
It detects four classes of seam defect:
| Axis | Question |
|---|---|
| Composition | Does the produced structural shape match what the caller accepts? |
| Modularity | Does the edge respect the target module’s declared interface? |
| Optionality | Are structurally interchangeable implementations lawfully interchangeable? |
| Robustness | Are effects, retries, fallbacks, and resource obligations handled completely? |
Current status
Current release — Production-precision CLI with frontends for 4 languages (Rust,
Python, Clojure, Julia): per-slot composition seam analysis with data-flow
edges, struct-field registry, and success-channel Result unification — 0
foreign composition/redundancy false positives on the 8-repo dogfood
corpus (docs/verification/dogfood-5.md). EARS specification v1.3.0
approved. OpenSpec backlog is clear.
Start here
- Read the authoritative EARS specification.
- Review the implementation roadmap.
- See the project context for architecture and testing constraints.
- Read contributing before changing requirements or starting implementation.
Documentation provenance
The Pages site is assembled directly from vampiro-ears-spec.md and
openspec/changes/ during CI. The rendered copies are generated artifacts;
the repository source files remain authoritative.