VSAVM

Fact identifier

This wiki entry defines a term used across VSAVM and explains why it matters in the architecture.

The diagram has a transparent background and highlights the operational meaning of the term inside VSAVM.

Related wiki pages: VM, event stream, VSA, bounded closure, consistency contract.

Definition

A fact identifier is the internal canonical key for an assertion.

Role in VSAVM

Fact identifiers enable reliable conflict detection: a contradiction is opposing polarity for the same identifier inside scope. They also provide stable handles for assumptions and trace references.

Mechanics and implications

Schemas and canonicalization map surface forms into internal structures. VSA can propose mappings by similarity, but the final mapping must be validated by execution and consistency constraints to preserve the contract.

Further reading

Canonicalization and normal forms underpin the engineering practice of making equivalence explicit. VSAVM depends on this to make correctness computable under paraphrase variation.

fact-id diagram
Canonical identifiers turn paraphrase variation into a stable unit for closure and contradiction checks.

References

Identifier (Wikipedia) Canonicalization (Wikipedia) Normal form (Wikipedia)