Troubleshooting

One page per common diagnostic — the cause and the fix. Search for the error code you saw.

• bynk.refine.literal_violates — a literal didn’t satisfy a refined type’s predicate.
• bynk.agents.non_zeroable_state_field — an agent state field can’t be zero-initialised.
• bynk.val.* errors — outside_test, needs_pin, and related Val[T] fabrication and property errors.
• bynk.contract.* errors — requires/ensures contract clauses: result_in_requires, not_bool, impure_predicate, duplicate_name, restated_by_test.
• bynk.transition.* errors — step invariants (transition over old/new): not_bool, impure_predicate, no_step_reference, duplicate_name, cross_agent_reference.
• bynk.observe.* errors — observation (expect Cap.op called …, trace): not_a_seam, unknown_op, with_not_bool, impure_with, outside_case, trace_outside_test, bad_count.
• bynk.tier.* and bynk.stub.* errors — the tier dial (as <tier>) and stub test doubles: tier.property_has_tier, tier.system_needs_wire, stub.not_a_seam, stub.unknown_op, stub.rhs_type, stub.bad_sequence.
• bynk.history.* errors — history properties (for all run: History[Agent]): not_an_agent, not_generable, outside_property, restates_invariant.

For the complete list of codes, see the diagnostic index.