Witness, Relation, And Hidden Runtime Roles¶

Canonical Witness Layer¶

canonical_witness_v1.ts defines the serialized witness shape used by the runtime lane, including:

source note set (bounded to at most two in current lane)
policy/actor/state/transport context
committed-value witness fields

Relation Witness Decoding¶

stark_rq_relation_witness_v1.ts maps canonical witness bytes into the relation witness structure and lane mask baseline required by the runtime evaluator.

Relation Evaluation¶

stark_rq_relation_v1.ts evaluates bounded-lane checks, including:

note ownership/inclusion/nullifier baseline lanes
committed-value conservation lane
transition-consistency lane
relation hash construction over expected roots and outputs

Hidden Runtime Projection¶

hidden_runtime_projection_v1.ts constructs the hidden-runtime prove request from canonical witness and relation-prover witness decoding.

This layer provides:

explicit separation of public projection inputs vs hidden witness material
bounded source count handling (1 or 2)
committed-value field projection for the current lane

Precision Rule¶

Use precise wording in publication:

"bounded proof-enforced" for enforced runtime semantics in this lane
"artifact-described only" for wallet/report semantics outside proof enforcement
avoid arbitrary-N or full-system zero-knowledge language