Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=validator_negation
binding_focus=validator_negation:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Fresh validator feedback negates the old claim and forces rebinding. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.82 | conflict=false | Old supporting evidence from previous turn.
- e2 | source=validator | reliability=0.96 | conflict=true | Fresh validator receipt explicitly rejects the claim.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=fresh_validator_negation
dominant_binding_signal=validator_overrides_stale
required_next_action=validator_review
forbidden_binding_behavior=ignore_fresh_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=evidence_gap
binding_focus=evidence_gap:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The evidence bundle is too weak to bind the claim. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=memory | reliability=0.33 | conflict=false | Indirect memory mention without stable provenance.
- e2 | source=document | reliability=0.41 | conflict=false | Stale document note without direct linkage.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=weak_provenance
dominant_binding_signal=insufficient_support
required_next_action=validator_review
forbidden_binding_behavior=hallucinated_support
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:10
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:10]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:4
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:4]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=worktree_conflict
binding_focus=worktree_conflict:train:8
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The worktree is conflicted and no clean repository-state claim should be emitted. [train:8]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=receipt | reliability=0.84 | conflict=false | Receipt claims the patch was written.
- e2 | source=workspace | reliability=0.95 | conflict=true | Worktree conflict marker shows unresolved state.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=worktree_conflict
dominant_binding_signal=workspace_unresolved
required_next_action=worktree_reconcile
forbidden_binding_behavior=clean_binding_over_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_bindable
binding_focus=reverse_engineering_bindable:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The reverse-engineering hypothesis is bindable because artifacts and runtime corroboration align. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.88 | conflict=false | Recovered symbol points to the target feature boundary.
- e2 | source=tool_receipt | reliability=0.94 | conflict=false | Sandbox reproduction aligns with the extracted artifact behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=artifact_plus_runtime
dominant_binding_signal=observation_grounded
required_next_action=none
forbidden_binding_behavior=artifact_without_runtime_ignore
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:9
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:9]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_bindable
binding_focus=reverse_engineering_bindable:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The reverse-engineering hypothesis is bindable because artifacts and runtime corroboration align. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.88 | conflict=false | Recovered symbol points to the target feature boundary.
- e2 | source=tool_receipt | reliability=0.94 | conflict=false | Sandbox reproduction aligns with the extracted artifact behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=artifact_plus_runtime
dominant_binding_signal=observation_grounded
required_next_action=none
forbidden_binding_behavior=artifact_without_runtime_ignore
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_bindable
binding_focus=reverse_engineering_bindable:train:11
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The reverse-engineering hypothesis is bindable because artifacts and runtime corroboration align. [train:11]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.88 | conflict=false | Recovered symbol points to the target feature boundary.
- e2 | source=tool_receipt | reliability=0.94 | conflict=false | Sandbox reproduction aligns with the extracted artifact behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=artifact_plus_runtime
dominant_binding_signal=observation_grounded
required_next_action=none
forbidden_binding_behavior=artifact_without_runtime_ignore
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=patch_regression
binding_focus=patch_regression:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Patch evidence is not enough when a fresh regression receipt appeared. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.78 | conflict=false | Patch diff claims to fix the issue.
- e2 | source=receipt | reliability=0.93 | conflict=true | Fresh regression receipt shows another test now fails.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch_vs_regression_receipt
dominant_binding_signal=regression_conflict
required_next_action=selfcheck_exec
forbidden_binding_behavior=patch_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:4
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:4]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_confirmed
binding_focus=tool_selfcheck_confirmed:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A positive tool self-check receipt supports the generated code claim. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.82 | conflict=false | Patch diff introduces the candidate fix.
- e2 | source=tool_receipt | reliability=0.97 | conflict=false | Tool self-check receipt confirms expected behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_ok
dominant_binding_signal=selfcheck_confirms
required_next_action=none
forbidden_binding_behavior=ignore_tool_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:11
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:11]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=validator_negation
binding_focus=validator_negation:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Fresh validator feedback negates the old claim and forces rebinding. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.82 | conflict=false | Old supporting evidence from previous turn.
- e2 | source=validator | reliability=0.96 | conflict=true | Fresh validator receipt explicitly rejects the claim.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=fresh_validator_negation
dominant_binding_signal=validator_overrides_stale
required_next_action=validator_review
forbidden_binding_behavior=ignore_fresh_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:8
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:8]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:10
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:10]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_bindable
binding_focus=reverse_engineering_bindable:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The reverse-engineering hypothesis is bindable because artifacts and runtime corroboration align. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.88 | conflict=false | Recovered symbol points to the target feature boundary.
- e2 | source=tool_receipt | reliability=0.94 | conflict=false | Sandbox reproduction aligns with the extracted artifact behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=artifact_plus_runtime
dominant_binding_signal=observation_grounded
required_next_action=none
forbidden_binding_behavior=artifact_without_runtime_ignore
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:9
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:9]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_gap
binding_focus=reverse_engineering_gap:train:10
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Sparse reverse-engineering hints are not enough to bind the hypothesis. [train:10]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.42 | conflict=false | Single weak string occurrence with unclear provenance.
- e2 | source=tool_receipt | reliability=0.10 | conflict=false | No runtime corroboration has been produced yet.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=sparse_artifacts
dominant_binding_signal=bounded_observation
required_next_action=bounded_observation
forbidden_binding_behavior=speculative_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_gap
binding_focus=reverse_engineering_gap:train:5
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Sparse reverse-engineering hints are not enough to bind the hypothesis. [train:5]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.42 | conflict=false | Single weak string occurrence with unclear provenance.
- e2 | source=tool_receipt | reliability=0.10 | conflict=false | No runtime corroboration has been produced yet.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=sparse_artifacts
dominant_binding_signal=bounded_observation
required_next_action=bounded_observation
forbidden_binding_behavior=speculative_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_confirmed
binding_focus=tool_selfcheck_confirmed:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A positive tool self-check receipt supports the generated code claim. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.82 | conflict=false | Patch diff introduces the candidate fix.
- e2 | source=tool_receipt | reliability=0.97 | conflict=false | Tool self-check receipt confirms expected behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_ok
dominant_binding_signal=selfcheck_confirms
required_next_action=none
forbidden_binding_behavior=ignore_tool_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=evidence_gap
binding_focus=evidence_gap:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The evidence bundle is too weak to bind the claim. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=memory | reliability=0.33 | conflict=false | Indirect memory mention without stable provenance.
- e2 | source=document | reliability=0.41 | conflict=false | Stale document note without direct linkage.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=weak_provenance
dominant_binding_signal=insufficient_support
required_next_action=validator_review
forbidden_binding_behavior=hallucinated_support
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=evidence_gap
binding_focus=evidence_gap:train:1
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The evidence bundle is too weak to bind the claim. [train:1]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=memory | reliability=0.33 | conflict=false | Indirect memory mention without stable provenance.
- e2 | source=document | reliability=0.41 | conflict=false | Stale document note without direct linkage.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=weak_provenance
dominant_binding_signal=insufficient_support
required_next_action=validator_review
forbidden_binding_behavior=hallucinated_support
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_bindable
binding_focus=reverse_engineering_bindable:train:10
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The reverse-engineering hypothesis is bindable because artifacts and runtime corroboration align. [train:10]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.88 | conflict=false | Recovered symbol points to the target feature boundary.
- e2 | source=tool_receipt | reliability=0.94 | conflict=false | Sandbox reproduction aligns with the extracted artifact behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=artifact_plus_runtime
dominant_binding_signal=observation_grounded
required_next_action=none
forbidden_binding_behavior=artifact_without_runtime_ignore
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=worktree_conflict
binding_focus=worktree_conflict:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The worktree is conflicted and no clean repository-state claim should be emitted. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=receipt | reliability=0.84 | conflict=false | Receipt claims the patch was written.
- e2 | source=workspace | reliability=0.95 | conflict=true | Worktree conflict marker shows unresolved state.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=worktree_conflict
dominant_binding_signal=workspace_unresolved
required_next_action=worktree_reconcile
forbidden_binding_behavior=clean_binding_over_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:11
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:11]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=patch_regression
binding_focus=patch_regression:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Patch evidence is not enough when a fresh regression receipt appeared. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.78 | conflict=false | Patch diff claims to fix the issue.
- e2 | source=receipt | reliability=0.93 | conflict=true | Fresh regression receipt shows another test now fails.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch_vs_regression_receipt
dominant_binding_signal=regression_conflict
required_next_action=selfcheck_exec
forbidden_binding_behavior=patch_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=worktree_conflict
binding_focus=worktree_conflict:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The worktree is conflicted and no clean repository-state claim should be emitted. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=receipt | reliability=0.84 | conflict=false | Receipt claims the patch was written.
- e2 | source=workspace | reliability=0.95 | conflict=true | Worktree conflict marker shows unresolved state.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=worktree_conflict
dominant_binding_signal=workspace_unresolved
required_next_action=worktree_reconcile
forbidden_binding_behavior=clean_binding_over_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:1
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:1]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_confirmed
binding_focus=tool_selfcheck_confirmed:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A positive tool self-check receipt supports the generated code claim. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.82 | conflict=false | Patch diff introduces the candidate fix.
- e2 | source=tool_receipt | reliability=0.97 | conflict=false | Tool self-check receipt confirms expected behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_ok
dominant_binding_signal=selfcheck_confirms
required_next_action=none
forbidden_binding_behavior=ignore_tool_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:0
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:0]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_confirmed
binding_focus=tool_selfcheck_confirmed:train:11
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A positive tool self-check receipt supports the generated code claim. [train:11]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.82 | conflict=false | Patch diff introduces the candidate fix.
- e2 | source=tool_receipt | reliability=0.97 | conflict=false | Tool self-check receipt confirms expected behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_ok
dominant_binding_signal=selfcheck_confirms
required_next_action=none
forbidden_binding_behavior=ignore_tool_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:11
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:11]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_negated
binding_focus=tool_selfcheck_negated:train:1
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A failed tool self-check receipt negates the generated code claim. [train:1]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.75 | conflict=false | Patch diff suggests the fix may work.
- e2 | source=tool_receipt | reliability=0.98 | conflict=true | Tool self-check receipt shows target regression remains.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_fail
dominant_binding_signal=selfcheck_negates
required_next_action=selfcheck_exec
forbidden_binding_behavior=optimistic_patch_narration
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=worktree_conflict
binding_focus=worktree_conflict:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The worktree is conflicted and no clean repository-state claim should be emitted. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=receipt | reliability=0.84 | conflict=false | Receipt claims the patch was written.
- e2 | source=workspace | reliability=0.95 | conflict=true | Worktree conflict marker shows unresolved state.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=worktree_conflict
dominant_binding_signal=workspace_unresolved
required_next_action=worktree_reconcile
forbidden_binding_behavior=clean_binding_over_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_gap
binding_focus=reverse_engineering_gap:train:1
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Sparse reverse-engineering hints are not enough to bind the hypothesis. [train:1]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.42 | conflict=false | Single weak string occurrence with unclear provenance.
- e2 | source=tool_receipt | reliability=0.10 | conflict=false | No runtime corroboration has been produced yet.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=sparse_artifacts
dominant_binding_signal=bounded_observation
required_next_action=bounded_observation
forbidden_binding_behavior=speculative_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:4
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:4]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:5
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:5]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=validator_negation
binding_focus=validator_negation:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Fresh validator feedback negates the old claim and forces rebinding. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.82 | conflict=false | Old supporting evidence from previous turn.
- e2 | source=validator | reliability=0.96 | conflict=true | Fresh validator receipt explicitly rejects the claim.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=fresh_validator_negation
dominant_binding_signal=validator_overrides_stale
required_next_action=validator_review
forbidden_binding_behavior=ignore_fresh_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_gap
binding_focus=reverse_engineering_gap:train:8
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Sparse reverse-engineering hints are not enough to bind the hypothesis. [train:8]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.42 | conflict=false | Single weak string occurrence with unclear provenance.
- e2 | source=tool_receipt | reliability=0.10 | conflict=false | No runtime corroboration has been produced yet.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=sparse_artifacts
dominant_binding_signal=bounded_observation
required_next_action=bounded_observation
forbidden_binding_behavior=speculative_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:10
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:10]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:7
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:7]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:2
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:2]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:9
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:9]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=evidence_gap
binding_focus=evidence_gap:train:13
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The evidence bundle is too weak to bind the claim. [train:13]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=memory | reliability=0.33 | conflict=false | Indirect memory mention without stable provenance.
- e2 | source=document | reliability=0.41 | conflict=false | Stale document note without direct linkage.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=weak_provenance
dominant_binding_signal=insufficient_support
required_next_action=validator_review
forbidden_binding_behavior=hallucinated_support
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:5
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:5]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=conflict_visible
binding_focus=conflict_visible:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The current evidence bundle is conflicted and contradiction must remain visible. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.87 | conflict=false | Static trace supports branch A.
- e2 | source=validator | reliability=0.89 | conflict=true | Validator receipt implicates branch B instead.
- e3 | source=memory | reliability=0.45 | conflict=false | Weak memory note should not break the tie.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=support_vs_negation
dominant_binding_signal=contradiction
required_next_action=validator_review
forbidden_binding_behavior=collapse_conflict
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=validator_negation
binding_focus=validator_negation:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Fresh validator feedback negates the old claim and forces rebinding. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.82 | conflict=false | Old supporting evidence from previous turn.
- e2 | source=validator | reliability=0.96 | conflict=true | Fresh validator receipt explicitly rejects the claim.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=fresh_validator_negation
dominant_binding_signal=validator_overrides_stale
required_next_action=validator_review
forbidden_binding_behavior=ignore_fresh_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=high_risk_unbound
binding_focus=high_risk_unbound:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A high-risk unsupported claim must remain unbound. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.28 | conflict=false | Weak stale report with incomplete provenance.
- e2 | source=memory | reliability=0.31 | conflict=false | Indirect memory note is topical but not evidentiary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=high_risk_low_support
dominant_binding_signal=fail_closed
required_next_action=fail_closed
forbidden_binding_behavior=unsupported_high_risk_claim
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=direct_support
binding_focus=direct_support:train:6
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The claim is directly supported by traceback and validator receipt. [train:6]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=trace | reliability=0.94 | conflict=false | Traceback points to the failing function.
- e2 | source=receipt | reliability=0.91 | conflict=false | Validator receipt confirms the same boundary.
- e3 | source=memory | reliability=0.56 | conflict=false | Background memory is related but indirect.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=traceback+validator_receipt
dominant_binding_signal=direct_support
required_next_action=none
forbidden_binding_behavior=memory_only_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=execution_needed
binding_focus=execution_needed:train:1
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Execution is needed before the claim can cross the evidence gate. [train:1]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=document | reliability=0.62 | conflict=false | Static evidence is suggestive but not decisive.
- e2 | source=execution | reliability=0.22 | conflict=false | Execution receipt is still missing.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=missing_exec_receipt
dominant_binding_signal=execution_pending
required_next_action=sandbox_exec
forbidden_binding_behavior=premature_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=multi_support
binding_focus=multi_support:train:3
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
The patch claim is supported only when patch evidence and validation receipts are jointly bound. [train:3]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.90 | conflict=false | Patch diff removes the failing branch.
- e2 | source=receipt | reliability=0.92 | conflict=false | CI receipt shows the failing test now passes.
- e3 | source=memory | reliability=0.51 | conflict=false | Historical note is related but secondary.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=patch+ci_receipt
dominant_binding_signal=joint_support
required_next_action=none
forbidden_binding_behavior=singleton_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=fresh
binding_budget=guarded
runtime_state=tracked
provenance_audit=strict
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=reverse_engineering_gap
binding_focus=reverse_engineering_gap:train:12
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
Sparse reverse-engineering hints are not enough to bind the hypothesis. [train:12]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=reverse_engineering | reliability=0.42 | conflict=false | Single weak string occurrence with unclear provenance.
- e2 | source=tool_receipt | reliability=0.10 | conflict=false | No runtime corroboration has been produced yet.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=sparse_artifacts
dominant_binding_signal=bounded_observation
required_next_action=bounded_observation
forbidden_binding_behavior=speculative_binding
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]


Prompt:
[HARNESS_EVIDENCE_BINDING]
product_line=veriloop_coder
validator_enabled=true
rollback_visible=true
proof_carrying_hints=true
tool_selfcheck_enabled=true
reverse_engineering_ready=true
citation_binding=true
rule=Only bind evidence that directly supports or contradicts the claim.
rule=Keep contradiction visible and preserve provenance edges.
rule=Prefer validator receipts and tool receipts over unsupported narrative confidence.
rule=If execution is required to adjudicate the claim, surface execution_needed instead of faking support.
mode=tool_selfcheck_confirmed
binding_focus=tool_selfcheck_confirmed:train:4
[/HARNESS_EVIDENCE_BINDING]

[CLAIM]
A positive tool self-check receipt supports the generated code claim. [train:4]
[/CLAIM]

[EVIDENCE_BUNDLE]
- e1 | source=patch | reliability=0.82 | conflict=false | Patch diff introduces the candidate fix.
- e2 | source=tool_receipt | reliability=0.97 | conflict=false | Tool self-check receipt confirms expected behavior.
[/EVIDENCE_BUNDLE]

[BINDING_DECISION_FACTORS]
observed_failure_channel=tool_receipt_ok
dominant_binding_signal=selfcheck_confirms
required_next_action=none
forbidden_binding_behavior=ignore_tool_receipt
[/BINDING_DECISION_FACTORS]

[EVIDENCE_BINDING_CONTEXT]
receipt_visibility=explicit
binding_budget=tight
runtime_state=active
provenance_audit=enabled
[/EVIDENCE_BINDING_CONTEXT]