A.2.3:4.1.3 - Recommended acceptanceSpec mini-schema (informative, non-kernel)
Projects may express acceptanceSpec with the following small schema when downstream evaluation work requires replayable criteria and verdict semantics. Here SC denotes the promise-content episteme containing that acceptance specification:
AcceptanceSpec (recommended) ::= {
targetOutcomeSpecRef?: U.EpistemeRef, // resolves to OutcomeSpec; default is SC.promisedOutcomeSpecRef
criterionRefs: [U.EpistemeRef], // each resolves to one evaluation-criterion episteme
evaluationMethodRef: U.MethodRef, // resolves directly to the evaluation Method
evaluationMethodDescriptionRef?: U.EpistemeRef, // only when exact claims in one A.3.2-admitted edition are used
verdictScaleDescriptionRef: U.EpistemeRef, // resolves to one declared scale description
GammaTimePolicyRef?: U.EpistemeRef // resolves to the policy selecting the evaluation window
}
targetOutcomeSpecRefmakes explicit which promised outcome is being judged; if omitted, it is the containing promise content’spromisedOutcomeSpecRef.criterionRefsresolve to evaluation-criterion epistemes. Their predicates are evaluated over the same selected work facts and post-work state references used for the targetedOutcomeSpec; direct evidence relations separately support assertions about those facts and states.evaluationMethodRefresolves directly to the evaluation Method.evaluationMethodDescriptionRef, when present, cites one A.3.2-admitted episteme edition whose claims constrain or explain that Method; the description is neither the Method nor the evaluation Work.verdictScaleDescriptionRefresolves to one scale-description episteme governed by the characteristic and scale patterns. That description states the admitted verdict values and how non-delivery is represented. Informative examples include Booleanpass/fail, trichotomypass/partial/fail, or named graded values, with non-delivery represented asfail,N/A, orInconclusive; these values are examples, not defaults.GammaTimePolicyRefkeeps temporal selection explicit and non-retroactive (F.10 and F.12): it resolves to the policy stating whether judgement is per work occurrence, reporting window, or another named temporal selection. Population and locale remain inU.ClaimScope; they are not temporal-policy values.
This mini-schema is a recommendation only: it does not admit another U-kind. An acceptance-specification episteme may contain these declared schema fields by value or refer to their values through the declared RefKinds.