Hybrid semantic portfolio
A portfolio of exact specialized representations can cover more contexts than one global grammar.
Diagnostic work, exact algebra and local capabilities are not treated as end-to-end mining advantage.
What was tested?
A portfolio of exact specialized representations can cover more contexts than one global grammar.
Why the test is meaningful
A capability portfolio is a union of separately scoped exact representations. Scientific validity requires that a dispatcher never apply a capability outside its proven domain and that failed candidates remain in the audit trail. V5 therefore treats invalidation as data rather than silently optimizing it away.
P = {(Cⱼ,Dⱼ)} where Cⱼ is the certified domaindispatch(x)=j only if x∈Cⱼsoundness ⇔ ∀x∈Cⱼ: Dⱼ(x)=D_baseline(x)How it was tested
Test candidate capability types, invalidate the original V5A where its bounded premise failed, rerun the corrected V5A-R1, and compile only exact survivors.
What happened
The family completed after a bounded invalidation and repaired rerun. The invalid result is retained in the provenance rather than erased.
Exactness and statistical controls
The original V5A failure was bounded, recorded and replaced by the corrected V5A-R1; independent variants then checked only surviving capabilities. This guards against survivorship bias and post-hoc deletion of a negative branch.
What the result means
The experiment supports disciplined capability composition and demonstrates why invalidated exploratory branches must remain visible.
Limitations
- Portfolio coverage may remain sparse.
- Dispatcher and certificate checks count toward runtime.
- Repairing one invalid premise does not validate untested capability families.
Evidence trail
Includes original V5A, corrected V5A-R1 and independent validation variants.
Canonical variants
SUBENGINE-V5ASUBENGINE-V5A-R1SUBENGINE-V5BSUBENGINE-V5CSUBENGINE-V5DSUBENGINE-V5ESUBENGINE-V5FSource: internally audited canonical reports. Local filesystem structure, private headers and operational identifiers are excluded from publication.