# AREPO Downstream Admission Contract

Target AREPO evaluates the candidate operand independently. It requires payload/schema/hash, source and mediation provenance, declared loss, target identity and expected operand type, authority envelope, branch/return scope, current target TENET and ROTAS evidence, and a new invocation epoch for target OPERA.

Reject or suspend on type mismatch, unknown source/target/branch, stale evidence, authority ambiguity, hidden loss, unresolved effective ROTA, missing return target, or stricter stack-specific rule failure.

Rejection does not mutate the upstream operatum, payload record, graph topology, or prior state. Admission is scoped to the exact target and epoch and cannot be reused by another OPERA.