acceptance_observed

Term URI: https://w3id.org/agent-evidence/vocab/v1/acceptance_observed

Section: done_verification. Criticality: critical.

Whether the contract's acceptance commands pass when a separate verifier runs them on the agent's final tree. The agent's own report that its tests passed is not an input.

Registered values

• https://w3id.org/agent-evidence/vocab/v1/acceptance_observed#supported: The verifier rebuilt the agent's final tree, reset the protected paths from the contract, ran every acceptance command, and every command exited zero, under a contract that killed at least one mutant.
• https://w3id.org/agent-evidence/vocab/v1/acceptance_observed#contradicted: At least one acceptance command exited non-zero in the verifier, or the grade names another contract.
• https://w3id.org/agent-evidence/vocab/v1/acceptance_observed#not_established: The grade is absent, was run on another tree, is not independent of the observed party, or the contract killed no mutant and so cannot tell a fix from a no-op.