Rendered from experiments/artifact_first_mechanisms/README.md at build time without changing its status. The repository source controls if this presentation differs.
Experimental artifact-first mechanisms#
Acronyms: reduced instruction set computer (RISC); Verifier Standard (VSTD); zero-identity/zero-knowledge (ZIZK).
This directory does not make VSTD's ZIZK artifact-first architecture experimental. That governing orientation is normative in standard/LADDER.md section 1.1.
TRUST is mechanism-earned forward artifact support; ROT is typed, time-indexed degradation of current admissibility; and RUST is the inverse-TRUST diagnostic backtrace toward recorded ancestors. These are formal semantic names, not acronyms, actor ratings, serialized receipt values, scalar scores, or references to the Rust programming language.
Only the following unfinished mechanisms are experimental here:
- event serialization;
- bounded TRUST-transfer algebra;
- ROT derivation and propagation;
- RUST concentration and localization;
- complete hidden-witness trichotomy derivation; and
- specific optional proof backends while they remain unfinished.
The bounded identity-disclosure evaluator and tracked RISC Zero proof-carrying reference mechanism are under examples/zizk_artifact_first/. The experiment.json manifest records the mechanism studies and their remaining horizons without assigning experimental status to the governing architecture.