Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part D passed the visual check.
Negative facts:
- none

Target atom: has_supplier_note::Part D.
Target statement: Part D has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part D passed the visual check.
Negative facts:
- none

Target atom: has_supplier_note::Part D.
Target statement: Part D has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Part C has a supplier note.
Part B passed the visual check.

has_supplier_note::Part C
passed_visual_check::Part B

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part C has a supplier note.
- Part B passed the visual check.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_release_approval::Part B.
Target statement: Part B has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Part C has a supplier note.
Part B passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval.
Agent B open/incomplete predicates: has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part C has a supplier note.
- Part B passed the visual check.
Negative facts:
- none

Target atom: has_release_approval::Part B.
Target statement: Part B has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Part C has a supplier note.
Part B passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part C has a supplier note.
- Part B passed the visual check.
Negative facts:
- none

Target atom: has_release_approval::Part B.
Target statement: Part B has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Part A has release approval.
Part A passed the visual check.

has_release_approval::Part A
passed_visual_check::Part A

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part A has release approval.
- Part A passed the visual check.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_supplier_note::Part F.
Target statement: Part F has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Part A has release approval.
Part A passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part A has release approval.
Negative facts:
- none

Agent B report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- none

Target atom: has_supplier_note::Part F.
Target statement: Part F has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Part A has release approval.
Part A passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A has release approval.
- Part A passed the visual check.
Negative facts:
- none

Target atom: has_supplier_note::Part F.
Target statement: Part F has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

passed_visual_check::Part A
has_release_approval::Part A

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: may_ship::Part A.
Target statement: Part A may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- none

Target atom: may_ship::Part A.
Target statement: Part A may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- none

Target atom: may_ship::Part A.
Target statement: Part A may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: needs_engineer_review::Part E.
Target statement: Part E needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- none

Target atom: needs_engineer_review::Part E.
Target statement: Part E needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- none

Target atom: needs_engineer_review::Part E.
Target statement: Part E needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Part E has release approval.
Part E passed the visual check.

has_release_approval::Part E
passed_visual_check::Part E

passed_visual_check::Part E
has_release_approval::Part E

has_release_approval::Part E
may_ship::Part E
passed_visual_check::Part E

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- Part E has release approval.
- Part E passed the visual check.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: may_ship::Part E.
Target statement: Part E may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Part E has release approval.
Part E passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- Part E has release approval.
Negative facts:
- none

Agent B report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- none

Target atom: may_ship::Part E.
Target statement: Part E may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Part E has release approval.
Part E passed the visual check.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part passed the visual check and has release approval, then that part may ship to customers.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part E has release approval.
- Part E passed the visual check.
Negative facts:
- none

Target atom: may_ship::Part E.
Target statement: Part E may ship to customers.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

has_supplier_note::Part A
needs_engineer_review::Part A

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- Part A has a supplier note.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: needs_engineer_review::Part A.
Target statement: Part A needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A has a supplier note.
Negative facts:
- none

Target atom: needs_engineer_review::Part A.
Target statement: Part A needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A has a supplier note.
Negative facts:
- none

Target atom: needs_engineer_review::Part A.
Target statement: Part A needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

has_supplier_note::Part C
needs_engineer_review::Part C

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- Part C has a supplier note.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: needs_engineer_review::Part C.
Target statement: Part C needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part C has a supplier note.
Negative facts:
- none

Target atom: needs_engineer_review::Part C.
Target statement: Part C needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- If a part has a supplier note, then that part needs engineer review.

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part C has a supplier note.
Negative facts:
- none

Target atom: needs_engineer_review::Part C.
Target statement: Part C needs engineer review.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- Part E does not has release approval.

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_release_approval::Part E.
Target statement: Part E has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval.
Agent B open/incomplete predicates: has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- Part E does not has release approval.

Agent B report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- none

Target atom: has_release_approval::Part E.
Target statement: Part E has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part A passed the visual check.
Negative facts:
- Part E does not has release approval.

Target atom: has_release_approval::Part E.
Target statement: Part E has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part C passed the visual check.
Negative facts:
- Part A does not has release approval.

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_release_approval::Part A.
Target statement: Part A has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval.
Agent B open/incomplete predicates: has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- Part A does not has release approval.

Agent B report:
Positive facts:
- Part C passed the visual check.
Negative facts:
- none

Target atom: has_release_approval::Part A.
Target statement: Part A has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part C passed the visual check.
Negative facts:
- Part A does not has release approval.

Target atom: has_release_approval::Part A.
Target statement: Part A has release approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- Part C does not has a supplier note.

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_supplier_note::Part C.
Target statement: Part C has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_release_approval, may_ship.
Agent B open/incomplete predicates: has_supplier_note, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- Part C does not has a supplier note.

Target atom: has_supplier_note::Part C.
Target statement: Part C has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_release_approval, has_supplier_note, may_ship, needs_engineer_review, passed_visual_check.

Predicate glossary:
- has_release_approval: has release approval
- has_supplier_note: has a supplier note
- may_ship: may ship to customers
- needs_engineer_review: needs engineer review
- passed_visual_check: passed the visual check

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Part E passed the visual check.
Negative facts:
- Part C does not has a supplier note.

Target atom: has_supplier_note::Part C.
Target statement: Part C has a supplier note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Vendor E submitted a tax form.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_vendor_approval::Vendor E.
Target statement: Vendor E has vendor approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_vendor_approval.
Agent B open/incomplete predicates: has_risk_note, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor E submitted a tax form.
Negative facts:
- none

Target atom: has_vendor_approval::Vendor E.
Target statement: Vendor E has vendor approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor E submitted a tax form.
Negative facts:
- none

Target atom: has_vendor_approval::Vendor E.
Target statement: Vendor E has vendor approval.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Vendor F has vendor approval.
Vendor F submitted a tax form.

has_vendor_approval::Vendor F
submitted_tax_form::Vendor F

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Vendor F has vendor approval.
- Vendor F submitted a tax form.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_risk_note::Vendor E.
Target statement: Vendor E has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Vendor F has vendor approval.
Vendor F submitted a tax form.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_vendor_approval, may_receive_purchase_order.
Agent B open/incomplete predicates: has_risk_note, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Vendor F has vendor approval.
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor F submitted a tax form.
Negative facts:
- none

Target atom: has_risk_note::Vendor E.
Target statement: Vendor E has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Vendor F has vendor approval.
Vendor F submitted a tax form.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor F has vendor approval.
- Vendor F submitted a tax form.
Negative facts:
- none

Target atom: has_risk_note::Vendor E.
Target statement: Vendor E has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Closed-world assumption

Instruction: All predicates in the vocabulary are complete. After applying the rules, every unstated and underivable atom is false.

Vendor A has vendor approval.
Vendor A submitted a tax form.

has_vendor_approval::Vendor A
submitted_tax_form::Vendor A

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Vendor A has vendor approval.
- Vendor A submitted a tax form.
Negative facts:
- none

Agent B report:
Positive facts:
- none
Negative facts:
- none

Target atom: has_risk_note::Vendor F.
Target statement: Vendor F has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Locally closed-world assumption

Instruction: Only the predicates listed as complete are closed. After applying the rules, an unstated and underivable atom whose predicate is complete is false; an unstated and underivable atom whose predicate is not complete is unknown.

Vendor A has vendor approval.
Vendor A submitted a tax form.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: has_vendor_approval, may_receive_purchase_order.
Agent B open/incomplete predicates: has_risk_note, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Vendor A has vendor approval.
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor A submitted a tax form.
Negative facts:
- none

Target atom: has_risk_note::Vendor F.
Target statement: Vendor F has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.


Open-world assumption

Instruction: Predicates are open by default. A target atom that is not explicitly stated, explicitly negated, or derivable from the rules is unknown.

Vendor A has vendor approval.
Vendor A submitted a tax form.

Prompt:
You are the coordinator in a multi-agent workflow. Two source agents reported evidence from different systems. Your job is to answer the target statement while preserving source-scoped closure contracts.
Return exactly one JSON object with keys truth_value, source_used, closure_handling, and rationale.

Allowed values:
- truth_value: true, false, unknown.
- source_used: agent_a, agent_b, both, neither.
- closure_handling: entailed_or_explicit, explicit_negative, closed_absence, open_absence.

Source attribution rule:
- Use agent_a when an Agent A complete-source fact, negative fact, or closed absence determines the answer.
- Use agent_b when an Agent B open-source fact, negative fact, or open absence determines the answer.
- Use both when a rule-derived answer depends on facts from both source agents.
- Use neither only if no source report or source-scoped absence is relevant.

Source-scoped closure contract:
- Agent A is an authoritative system of record only for the listed complete predicates.
- For Agent A complete predicates, after applying rules, absence of a report means false.
- Agent B is an incomplete/open source. Absence from Agent B never means false by itself.
- Do not transfer Agent A completeness to Agent B-only/open predicates.
- Do not ignore Agent A completeness for predicates it explicitly covers.

Agent A complete predicates: none.
Agent B open/incomplete predicates: has_risk_note, has_vendor_approval, may_receive_purchase_order, needs_procurement_review, submitted_tax_form.

Predicate glossary:
- has_risk_note: has a risk note
- has_vendor_approval: has vendor approval
- may_receive_purchase_order: may receive a purchase order
- needs_procurement_review: needs procurement review
- submitted_tax_form: submitted a tax form

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- none

Agent B report:
Positive facts:
- Vendor A has vendor approval.
- Vendor A submitted a tax form.
Negative facts:
- none

Target atom: has_risk_note::Vendor F.
Target statement: Vendor F has a risk note.

Decide the truth value, identify which source justified the decision, and classify how closure was handled.