Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=contradiction
rollback_focus=eval_conflict_preserve
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Current evidence negates an active claim and the contradiction edge must remain visible during rollback.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
evidence_conflict=explicit
conflict_edge=preserve
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=retrieved_receipt_conflict
dominant_cause_signal=evidence_contradiction
required_rewrite_scope=local_conflict_preserving_revision
forbidden_rewrite_scope=silent_conflict_erasure
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=contradiction
rollback_focus=eval_conflict_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A validator-visible contradiction has appeared and local conflict-preserving revision is required.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
claim_status=locally_demote
conflict_visibility=required
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=conflicting_ground_truth_edges
dominant_cause_signal=evidence_contradiction
required_rewrite_scope=preserve_conflict_then_revise_locally
forbidden_rewrite_scope=broad_regeneration
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=contradiction
rollback_focus=eval_conflict_preserve
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Current evidence negates an active claim and the contradiction edge must remain visible during rollback.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
evidence_conflict=explicit
conflict_edge=preserve
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=retrieved_receipt_conflict
dominant_cause_signal=evidence_contradiction
required_rewrite_scope=local_conflict_preserving_revision
forbidden_rewrite_scope=silent_conflict_erasure
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=contradiction
rollback_focus=eval_conflict_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A validator-visible contradiction has appeared and local conflict-preserving revision is required.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
claim_status=locally_demote
conflict_visibility=required
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=conflicting_ground_truth_edges
dominant_cause_signal=evidence_contradiction
required_rewrite_scope=preserve_conflict_then_revise_locally
forbidden_rewrite_scope=broad_regeneration
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=contradiction
rollback_focus=eval_conflict_preserve
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Current evidence negates an active claim and the contradiction edge must remain visible during rollback.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
evidence_conflict=explicit
conflict_edge=preserve
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=retrieved_receipt_conflict
dominant_cause_signal=evidence_contradiction
required_rewrite_scope=local_conflict_preserving_revision
forbidden_rewrite_scope=silent_conflict_erasure
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=execution_failure
rollback_focus=eval_exec_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded execution trace invalidated one branch and rollback should remain local to the failed path.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
execution_trace=failed
repair_scope=failed_branch_only
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=sandbox_execution_failure
dominant_cause_signal=execution_negation
required_rewrite_scope=local_patch_only
forbidden_rewrite_scope=full_repo_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=execution_failure
rollback_focus=eval_exec_patch
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The latest patch failed during sandbox execution while neighboring validated work should be retained.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
sandbox_status=nonzero
repair_path=local_patch
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=bounded_test_failure
dominant_cause_signal=execution_negation
required_rewrite_scope=failed_branch_local_repair
forbidden_rewrite_scope=rewrite_validated_regions
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=execution_failure
rollback_focus=eval_exec_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded execution trace invalidated one branch and rollback should remain local to the failed path.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
execution_trace=failed
repair_scope=failed_branch_only
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=sandbox_execution_failure
dominant_cause_signal=execution_negation
required_rewrite_scope=local_patch_only
forbidden_rewrite_scope=full_repo_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=execution_failure
rollback_focus=eval_exec_patch
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The latest patch failed during sandbox execution while neighboring validated work should be retained.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
sandbox_status=nonzero
repair_path=local_patch
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=bounded_test_failure
dominant_cause_signal=execution_negation
required_rewrite_scope=failed_branch_local_repair
forbidden_rewrite_scope=rewrite_validated_regions
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=execution_failure
rollback_focus=eval_exec_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded execution trace invalidated one branch and rollback should remain local to the failed path.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
execution_trace=failed
repair_scope=failed_branch_only
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=sandbox_execution_failure
dominant_cause_signal=execution_negation
required_rewrite_scope=local_patch_only
forbidden_rewrite_scope=full_repo_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validator_rejection
rollback_focus=eval_validator_scope
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Validator receipts reject the current submission and the correction must stay validator-scoped.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=reject
receipt_alignment=broken
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_receipt_rejection
dominant_cause_signal=validator_rejection
required_rewrite_scope=validator_scoped_revision
forbidden_rewrite_scope=receipt_agnostic_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validator_rejection
rollback_focus=eval_validator_receipt
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Acceptance criteria failed under validator review even though the patch looks superficially plausible.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
acceptance_criteria=failed
validator_scope=authoritative
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=acceptance_gate_reject
dominant_cause_signal=validator_rejection
required_rewrite_scope=validator_bound_local_revision
forbidden_rewrite_scope=bypass_validator_scope
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validator_rejection
rollback_focus=eval_validator_scope
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Validator receipts reject the current submission and the correction must stay validator-scoped.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=reject
receipt_alignment=broken
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_receipt_rejection
dominant_cause_signal=validator_rejection
required_rewrite_scope=validator_scoped_revision
forbidden_rewrite_scope=receipt_agnostic_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validator_rejection
rollback_focus=eval_validator_receipt
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Acceptance criteria failed under validator review even though the patch looks superficially plausible.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
acceptance_criteria=failed
validator_scope=authoritative
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=acceptance_gate_reject
dominant_cause_signal=validator_rejection
required_rewrite_scope=validator_bound_local_revision
forbidden_rewrite_scope=bypass_validator_scope
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validator_rejection
rollback_focus=eval_validator_scope
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Validator receipts reject the current submission and the correction must stay validator-scoped.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=reject
receipt_alignment=broken
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_receipt_rejection
dominant_cause_signal=validator_rejection
required_rewrite_scope=validator_scoped_revision
forbidden_rewrite_scope=receipt_agnostic_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=patch_regression
rollback_focus=eval_patch_smallest
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
One small region regressed after the newest patch and only that region should be revised.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
regression_scope=localized
minimal_diff=required
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=patch_regression_observed
dominant_cause_signal=patch_regression
required_rewrite_scope=minimum_diff_patch
forbidden_rewrite_scope=wide_area_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=patch_regression
rollback_focus=eval_patch_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A local regression appeared in the edited diff while previously validated segments remain good.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
patch_lineage=mostly_valid
rollback_scope=single_region
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=recent_diff_regressed
dominant_cause_signal=patch_regression
required_rewrite_scope=single_region_patch_repair
forbidden_rewrite_scope=discard_valid_neighbors
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=patch_regression
rollback_focus=eval_patch_smallest
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
One small region regressed after the newest patch and only that region should be revised.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
regression_scope=localized
minimal_diff=required
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=patch_regression_observed
dominant_cause_signal=patch_regression
required_rewrite_scope=minimum_diff_patch
forbidden_rewrite_scope=wide_area_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=patch_regression
rollback_focus=eval_patch_local
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A local regression appeared in the edited diff while previously validated segments remain good.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
patch_lineage=mostly_valid
rollback_scope=single_region
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=recent_diff_regressed
dominant_cause_signal=patch_regression
required_rewrite_scope=single_region_patch_repair
forbidden_rewrite_scope=discard_valid_neighbors
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=patch_regression
rollback_focus=eval_patch_smallest
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
One small region regressed after the newest patch and only that region should be revised.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
regression_scope=localized
minimal_diff=required
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=patch_regression_observed
dominant_cause_signal=patch_regression
required_rewrite_scope=minimum_diff_patch
forbidden_rewrite_scope=wide_area_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=worktree_conflict
rollback_focus=eval_worktree_snapshot
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
worktree_state=conflicted
overwrite_policy=forbidden
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=live_worktree_conflict
dominant_cause_signal=worktree_conflict
required_rewrite_scope=do_not_overwrite_worktree_state
forbidden_rewrite_scope=overwrite_workspace_state
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=worktree_conflict
rollback_focus=eval_worktree_preserve
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Workspace lineage drift is present, so rollback must preserve current worktree context.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
workspace_snapshot=lineage_mismatch
rollback_scope=preserve_worktree
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=snapshot_lineage_mismatch
dominant_cause_signal=worktree_conflict
required_rewrite_scope=preserve_worktree_then_reconcile
forbidden_rewrite_scope=destructive_checkout_style_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=worktree_conflict
rollback_focus=eval_worktree_snapshot
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
worktree_state=conflicted
overwrite_policy=forbidden
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=live_worktree_conflict
dominant_cause_signal=worktree_conflict
required_rewrite_scope=do_not_overwrite_worktree_state
forbidden_rewrite_scope=overwrite_workspace_state
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=worktree_conflict
rollback_focus=eval_worktree_preserve
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Workspace lineage drift is present, so rollback must preserve current worktree context.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
workspace_snapshot=lineage_mismatch
rollback_scope=preserve_worktree
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=snapshot_lineage_mismatch
dominant_cause_signal=worktree_conflict
required_rewrite_scope=preserve_worktree_then_reconcile
forbidden_rewrite_scope=destructive_checkout_style_rewrite
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=worktree_conflict
rollback_focus=eval_worktree_snapshot
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The rollback candidate conflicts with the live worktree snapshot and should not overwrite workspace state.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
worktree_state=conflicted
overwrite_policy=forbidden
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=live_worktree_conflict
dominant_cause_signal=worktree_conflict
required_rewrite_scope=do_not_overwrite_worktree_state
forbidden_rewrite_scope=overwrite_workspace_state
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=high_risk_unsupported
rollback_focus=eval_fail_closed
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A high-risk branch lacks evidence and must fail closed instead of continuing.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
risk_band=high
support_state=insufficient
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=high_risk_without_support
dominant_cause_signal=high_risk_unsupported
required_rewrite_scope=fail_closed
forbidden_rewrite_scope=continue_as_validated
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=high_risk_unsupported
rollback_focus=eval_high_risk_retract
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Unsupported high-risk output is present and should be retracted under rollback discipline.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
policy_mode=fail_closed
unsupported_claims=retract
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=unsafe_claim_without_receipts
dominant_cause_signal=high_risk_unsupported
required_rewrite_scope=retract_and_fail_closed
forbidden_rewrite_scope=speculative_completion
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=high_risk_unsupported
rollback_focus=eval_fail_closed
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A high-risk branch lacks evidence and must fail closed instead of continuing.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
risk_band=high
support_state=insufficient
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=high_risk_without_support
dominant_cause_signal=high_risk_unsupported
required_rewrite_scope=fail_closed
forbidden_rewrite_scope=continue_as_validated
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=high_risk_unsupported
rollback_focus=eval_high_risk_retract
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Unsupported high-risk output is present and should be retracted under rollback discipline.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
policy_mode=fail_closed
unsupported_claims=retract
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=unsafe_claim_without_receipts
dominant_cause_signal=high_risk_unsupported
required_rewrite_scope=retract_and_fail_closed
forbidden_rewrite_scope=speculative_completion
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=high_risk_unsupported
rollback_focus=eval_fail_closed
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A high-risk branch lacks evidence and must fail closed instead of continuing.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
risk_band=high
support_state=insufficient
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=high_risk_without_support
dominant_cause_signal=high_risk_unsupported
required_rewrite_scope=fail_closed
forbidden_rewrite_scope=continue_as_validated
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=tool_selfcheck_repair
rollback_focus=eval_selfcheck_loop
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded self-check failed and the system should repair via a narrow self-check loop.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
selfcheck_status=failed
repair_loop=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=tool_selfcheck_negative
dominant_cause_signal=tool_selfcheck_failure
required_rewrite_scope=repair_via_bounded_selfcheck_loop
forbidden_rewrite_scope=broad_rewrite_without_selfcheck
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=tool_selfcheck_repair
rollback_focus=eval_selfcheck_patch
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Tool validation rejected the patch and another local self-check repair cycle is warranted.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
tool_validation=negative
repair_scope=narrow
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=compiler_or_unit_gate_failed
dominant_cause_signal=tool_selfcheck_failure
required_rewrite_scope=narrow_selfcheck_repair_cycle
forbidden_rewrite_scope=skip_repair_loop
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=tool_selfcheck_repair
rollback_focus=eval_selfcheck_loop
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded self-check failed and the system should repair via a narrow self-check loop.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
selfcheck_status=failed
repair_loop=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=tool_selfcheck_negative
dominant_cause_signal=tool_selfcheck_failure
required_rewrite_scope=repair_via_bounded_selfcheck_loop
forbidden_rewrite_scope=broad_rewrite_without_selfcheck
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=tool_selfcheck_repair
rollback_focus=eval_selfcheck_patch
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Tool validation rejected the patch and another local self-check repair cycle is warranted.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
tool_validation=negative
repair_scope=narrow
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=compiler_or_unit_gate_failed
dominant_cause_signal=tool_selfcheck_failure
required_rewrite_scope=narrow_selfcheck_repair_cycle
forbidden_rewrite_scope=skip_repair_loop
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=tool_selfcheck_repair
rollback_focus=eval_selfcheck_loop
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
A bounded self-check failed and the system should repair via a narrow self-check loop.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
selfcheck_status=failed
repair_loop=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=tool_selfcheck_negative
dominant_cause_signal=tool_selfcheck_failure
required_rewrite_scope=repair_via_bounded_selfcheck_loop
forbidden_rewrite_scope=broad_rewrite_without_selfcheck
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=reverse_engineering_drift
rollback_focus=eval_reverse_observe
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Reverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
analysis_mode=reverse_engineering
observation_policy=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=speculative_reverse_engineering
dominant_cause_signal=reverse_engineering_speculation
required_rewrite_scope=bounded_observation_first
forbidden_rewrite_scope=invent_hidden_internals
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=reverse_engineering_drift
rollback_focus=eval_reverse_grounded
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Speculative internals appeared during repository analysis and should be rolled back to evidence-grounded structure only.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
speculation_state=too_high
grounding_requirement=observed_only
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=observed_artifacts_insufficient
dominant_cause_signal=reverse_engineering_speculation
required_rewrite_scope=evidence_grounded_reverse_revision
forbidden_rewrite_scope=unbounded_architecture_guessing
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=reverse_engineering_drift
rollback_focus=eval_reverse_observe
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Reverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
analysis_mode=reverse_engineering
observation_policy=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=speculative_reverse_engineering
dominant_cause_signal=reverse_engineering_speculation
required_rewrite_scope=bounded_observation_first
forbidden_rewrite_scope=invent_hidden_internals
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=reverse_engineering_drift
rollback_focus=eval_reverse_grounded
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Speculative internals appeared during repository analysis and should be rolled back to evidence-grounded structure only.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
speculation_state=too_high
grounding_requirement=observed_only
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=observed_artifacts_insufficient
dominant_cause_signal=reverse_engineering_speculation
required_rewrite_scope=evidence_grounded_reverse_revision
forbidden_rewrite_scope=unbounded_architecture_guessing
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=reverse_engineering_drift
rollback_focus=eval_reverse_observe
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Reverse-engineering inference is drifting beyond observed artifacts and must be pulled back to bounded observation.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
analysis_mode=reverse_engineering
observation_policy=bounded
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=speculative_reverse_engineering
dominant_cause_signal=reverse_engineering_speculation
required_rewrite_scope=bounded_observation_first
forbidden_rewrite_scope=invent_hidden_internals
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validated_stable
rollback_focus=eval_no_rollback
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Receipts and validator outputs agree, so rollback should remain inactive.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=pass
rollback_need=none
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_and_receipts_clean
dominant_cause_signal=none
required_rewrite_scope=do_not_rollback
forbidden_rewrite_scope=gratuitous_revision
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validated_stable
rollback_focus=eval_keep_stable
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The worktree is stable and validator-clean, so the current revision should be kept.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
receipt_alignment=clean
workspace_state=stable
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=stable_worktree_and_passed_checks
dominant_cause_signal=none
required_rewrite_scope=keep_current_revision
forbidden_rewrite_scope=needless_repair_loop
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validated_stable
rollback_focus=eval_no_rollback
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Receipts and validator outputs agree, so rollback should remain inactive.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=pass
rollback_need=none
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_and_receipts_clean
dominant_cause_signal=none
required_rewrite_scope=do_not_rollback
forbidden_rewrite_scope=gratuitous_revision
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validated_stable
rollback_focus=eval_keep_stable
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
The worktree is stable and validator-clean, so the current revision should be kept.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=minimal
workspace_delta=preserved
rollback_budget=guarded
receipt_alignment=clean
workspace_state=stable
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=stable_worktree_and_passed_checks
dominant_cause_signal=none
required_rewrite_scope=keep_current_revision
forbidden_rewrite_scope=needless_repair_loop
[/ROLLBACK_DECISION_FACTORS]


Prompt:
[HARNESS_ROLLBACK_ENVELOPE]
product_line=veriloop_coder
planner_enabled=true
validator_enabled=true
runtime_protocol=true
session_continuity=true
worktree_discipline=true
patch_alignment=true
sandbox_validation=true
tool_selfcheck_loop=true
reverse_engineering_mode=bounded
rule=Prefer minimal-diff rollback over broad regeneration.
rule=Preserve explicit conflicts rather than silently washing them out.
rule=Validator feedback, failure routes, patch state, workspace deltas, and rollback receipts are first-class rollback inputs.
rule=If code was executed and failed validator checks, prefer bounded self-check repair before broad rewrite.
rule=If reverse engineering is requested, preserve observed structure and receipts instead of inventing hidden internals.
rollback_mode=validated_stable
rollback_focus=eval_no_rollback
[/HARNESS_ROLLBACK_ENVELOPE]

[USER_QUERY]
Receipts and validator outputs agree, so rollback should remain inactive.
[/USER_QUERY]

[ROLLBACK_CONTEXT]
validator_receipt_state=current
patch_scope=bounded
workspace_delta=tracked
rollback_budget=tight
validator_gate=pass
rollback_need=none
[/ROLLBACK_CONTEXT]

[ROLLBACK_DECISION_FACTORS]
observed_failure_channel=validator_and_receipts_clean
dominant_cause_signal=none
required_rewrite_scope=do_not_rollback
forbidden_rewrite_scope=gratuitous_revision
[/ROLLBACK_DECISION_FACTORS]