Infrastructure · Data Structures
AcceptSpec
Non-compensatory acceptance contract; consumer Verify yields Solution or FrameError
Definition
Mechanism
A strict, typed Spec defining non-compensatory Criteria and Constraints at solver boundaries. Each criterion is declared individually and carries a reframing hint for the FrameError emitted if it rejects. AcceptSpec is a Noun — it describes the contract. The active Verify surface of a Solver consumes the AcceptSpec, evaluates it against a Result, and yields either a Solution (on non-compensatory success) or a FrameError (on failure, carrying the specific rejecting gate and its reframing hint). A single AcceptSpec may be evaluated by multiple Verify surfaces. High quality in one dimension cannot compensate for failure in another.
Invariants
- Non-Compensatory: Score(A) = 0 if any(Criterion) == Fail
- Typed Output: Result must match schema, not free text
Risks
Failure modes
Over-constraining
Setting specs so tight that no solution can pass (Deadlock).
Spec Drift
The spec does not accurately reflect the true goal.
Relationships
Builds on
References
Non-negotiable boundary condition
Judgment standards
Rigorous requirement definition
Used by
References
Society
Standard patterns for multi-agent coordination
Society
Economically constrained task
Society
Ingest only what is strictly necessary
Signed, clause-specific rejection evidence
Mind
Typed failure signaling that lateral reframing, not retry, is required
Society
Interpret-Plan-Rollout Lifecycle
Society
Sequential LLM calls with validation gates
Society
Verification gate for signed, clause-specific rejection records
Mind
Lock requirements to prevent scope creep
Society
Protocol-level cognitive mode switching
Verifying inputs conform to expected schema
Society
Directed graph of operations
Accepts
Society
Supervised bypass of a failed acceptance gate, cryptographically logged
Society
Leader nomination → vote → succession with term and authority bounds
Society
Enable ad-hoc multi-party coordination
Yields
Mind
The active strategist that frames the problem
Reference
Parameters
criterion_barEnum, {Lenient, Normal, Strict}- How high each individual criterion's pass bar sits. Moves the bars; does not tolerate a failure once one is recorded, which the non-compensatory invariant forbids.
timeoutDuration, unspecified- How long evaluation may run before yielding.
Data schema
{
"type": "object",
"required": [
"criteria"
],
"properties": {
"criteria": {
"type": "array",
"items": {
"type": "object",
"properties": {
"name": {
"type": "string"
},
"threshold": {
"type": "number",
"minimum": 0,
"maximum": 1,
"description": "Minimum acceptable score for this criterion"
},
"comparator": {
"type": "string"
}
}
},
"description": "Non-compensatory acceptance criteria"
},
"timeout": {
"type": "string",
"description": "Max validation wait time"
}
}
}