Skip to content

Error and Troubleshooting Reference ​

Start with status, then classify the stable ordered reasonCodes. Do not classify by exception text, and do not report INCOMPLETE as a business failure.

Diagnose by stage ​

StageTypical reason codesLikely causeFirst action
Project configurationCONFIG_MISSING, CONFIG_AMBIGUOUS, CONFIG_PARSE_FAILEDMissing or multiple root configs; YAML/JSON binding failureKeep one .blogeverify.yaml and validate it against the schema
Scenario / PolicySCENARIO_*, POLICY_*, REQUIRED_CASE_MISSING, REQUIRED_EXPECTATION_MISSINGInvalid references, inventory, Requirement, or limitFix the document before rerunning runtime code
DSL / graphDSL_*, GRAPH_*, STREAM_DURABLE_UNSUPPORTEDParse/compile error, disabled Preview feature, unsupported combinationLint the DSL and confirm the selected entry-point boundary
Fixture / controlFIXTURE_*, CONTROL_*, UNDECLARED_EFFECT_*No matching rule, wrong consumption, undeclared effect, incompatible doubleCompare call site, input, port descriptor, and consumption
Business contractEXPECTATION_*, CONTRACT_*_UNMET, METAMORPHIC_RELATION_VIOLATEDExecution completed but observed facts do not matchInspect the Case observation, assertion ID, and counterexample
Assurance / governanceVERIFICATION_DEPTH_UNMET, REPLAY_*, GOVERNANCE_*, ORACLE_*A Policy obligation or independent evidence requirement is missingAdd the required evidence; do not silently lower Policy
DurableDURABLE_*, TEMPORAL_*, STREAM_DURABLE_UNSUPPORTEDInvalid action transition, session, clock, checkpoint, or temporal contractStart at the first incomplete action and suspended-node set
Property / shrinkPROPERTY_PLAN_INVALID, PROPERTY_INPUT_DRIFT, PROPERTY_SHRINK_INCOMPLETEInvalid generator/cohort or a failure cannot be reproduced under the shrink contractCheck finite domain, seed, original reason order, and budget
Resource / harnessRESOURCE_LIMIT_EXCEEDED, HARNESS_TIMEOUTDocument, candidate, artifact, or runtime limit exceededReduce the bounded input or evidence; Policy cannot exceed platform hard limits
Source bindingSOURCE_BINDING_*, *_IDENTITY_MISMATCH, *_DRIFTGit, input, operator, classpath, profile, or output path changedReturn to the original clean worktree and receipt
Evidence / publicationEVIDENCE_*, *_PROJECTION_MISMATCH, *_INCOMPLETEMissing files, inconsistent seal/receipt, or atomic publication failurePreserve diagnostics; regenerate from a clean output directory
Comparison / toolchainCOMPARISON_*, TOOLCHAIN_*Multiple change axes, untrusted child/protocol, or classpath driftFreeze common inputs and retain one intended change axis
ReactorREACTOR_*, ROOT_COORDINATE_*Root POM, module inventory, child receipt, or coordinate mismatchRecheck the direct-module inventory and Maven root coordinates

Retry decision ​

ConditionRetry?
FAILNo blind retry. Fix the business implementation or declared contract first.
Document/configuration INVALIDRerun only after changing the invalid input.
HARNESS_TIMEOUTConfirm customer code stopped; create a new runner if the previous instance is poisoned.
RESOURCE_LIMIT_EXCEEDEDReduce documents, samples, candidates, or evidence. Policy may lower a limit but cannot raise a platform hard limit.
Publication/persistence INCOMPLETERepair storage or atomic-move capability, clear the failed output, then rerun.
Source-binding driftDo not mint a new receipt to hide the change; freeze the new source state and execute a complete new run.

Preserve these facts ​

  • Top-level status and ordered reasonCodes.
  • The first non-passing Case, action, sample, or comparison child.
  • runId, Suite/Case IDs, and artifact directory.
  • The externally retained receipt.
  • Git commit and git status --short.
  • Java and Maven versions.
  • Whether customer bootstrap executed and whether publication began.

Digested artifacts do not store raw context, Fixture responses, or expected payloads by default. Keep sensitive values in the caller's governed logs; do not change the evidence wire merely to make troubleshooting more verbose.

For lifecycle and boundary context, continue with the User guide. For format mismatches, use Evidence versions.