Goal run completed:
Status: not_ready
Phase:  proof
State:
Proof:
Narrative:
manual integration acceptance
