Closed-world assumption

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

Service F has an incident note.
Service E passed unit tests.

has_incident_note::Service F
passed_unit_tests::Service 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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Service F has an incident note.
- Service E passed unit tests.
Negative facts:
- none

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

Target atom: has_deployment_approval::Service E.
Target statement: Service E has deployment 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.

Service F has an incident note.
Service E passed unit tests.

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_deployment_approval.
Agent B open/incomplete predicates: has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Service F has an incident note.
- Service E passed unit tests.
Negative facts:
- none

Target atom: has_deployment_approval::Service E.
Target statement: Service E has deployment 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.

Service F has an incident note.
Service E passed unit tests.

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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Service F has an incident note.
- Service E passed unit tests.
Negative facts:
- none

Target atom: has_deployment_approval::Service E.
Target statement: Service E has deployment 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.

Service B has deployment approval.
Service B passed unit tests.

has_deployment_approval::Service B
passed_unit_tests::Service 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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Service B has deployment approval.
- Service B passed unit tests.
Negative facts:
- none

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

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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.

Service B has deployment approval.
Service B passed unit tests.

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_deployment_approval, may_deploy.
Agent B open/incomplete predicates: has_incident_note, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Service B has deployment approval.
Negative facts:
- none

Agent B report:
Positive facts:
- Service B passed unit tests.
Negative facts:
- none

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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.

Service B has deployment approval.
Service B passed unit tests.

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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Service B has deployment approval.
- Service B passed unit tests.
Negative facts:
- none

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Service C passed unit tests.
Negative facts:
- Service A does not has an incident note.

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

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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_deployment_approval, may_deploy.
Agent B open/incomplete predicates: has_incident_note, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Service C passed unit tests.
Negative facts:
- Service A does not has an incident note.

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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_deployment_approval, has_incident_note, may_deploy, needs_sre_review, passed_unit_tests.

Predicate glossary:
- has_deployment_approval: has deployment approval
- has_incident_note: has an incident note
- may_deploy: may deploy to production
- needs_sre_review: needs SRE review
- passed_unit_tests: passed unit tests

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Service C passed unit tests.
Negative facts:
- Service A does not has an incident note.

Target atom: has_incident_note::Service A.
Target statement: Service A has an incident 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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Account 48 passed KYC checks.
Negative facts:
- none

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

Target atom: has_compliance_clearance::Account 48.
Target statement: Account 48 has compliance clearance.

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_compliance_clearance.
Agent B open/incomplete predicates: has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 48 passed KYC checks.
Negative facts:
- none

Target atom: has_compliance_clearance::Account 48.
Target statement: Account 48 has compliance clearance.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 48 passed KYC checks.
Negative facts:
- none

Target atom: has_compliance_clearance::Account 48.
Target statement: Account 48 has compliance clearance.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- none

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

Target atom: has_manual_exception::Account 59.
Target statement: Account 59 has a manual exception.

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_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- none

Target atom: has_manual_exception::Account 59.
Target statement: Account 59 has a manual exception.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- none

Target atom: has_manual_exception::Account 59.
Target statement: Account 59 has a manual exception.

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.

Account 35 has compliance clearance.
Account 35 passed KYC checks.

has_compliance_clearance::Account 35
passed_kyc::Account 35

passed_kyc::Account 35
has_compliance_clearance::Account 35

has_compliance_clearance::Account 35
may_receive_wire::Account 35
passed_kyc::Account 35

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- If an account passed KYC checks and has compliance clearance, then that account may receive a wire transfer.

Agent A report:
Positive facts:
- Account 35 has compliance clearance.
- Account 35 passed KYC checks.
Negative facts:
- none

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

Target atom: may_receive_wire::Account 35.
Target statement: Account 35 may receive a wire transfer.

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.

Account 35 has compliance clearance.
Account 35 passed KYC checks.

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_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- If an account passed KYC checks and has compliance clearance, then that account may receive a wire transfer.

Agent A report:
Positive facts:
- Account 35 has compliance clearance.
Negative facts:
- none

Agent B report:
Positive facts:
- Account 35 passed KYC checks.
Negative facts:
- none

Target atom: may_receive_wire::Account 35.
Target statement: Account 35 may receive a wire transfer.

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.

Account 35 has compliance clearance.
Account 35 passed KYC checks.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- If an account passed KYC checks and has compliance clearance, then that account may receive a wire transfer.

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

Agent B report:
Positive facts:
- Account 35 has compliance clearance.
- Account 35 passed KYC checks.
Negative facts:
- none

Target atom: may_receive_wire::Account 35.
Target statement: Account 35 may receive a wire transfer.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

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

Target atom: has_manual_exception::Account 35.
Target statement: Account 35 has a manual exception.

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_compliance_clearance, may_receive_wire.
Agent B open/incomplete predicates: has_manual_exception, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

Target atom: has_manual_exception::Account 35.
Target statement: Account 35 has a manual exception.

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_compliance_clearance, has_manual_exception, may_receive_wire, needs_compliance_review, passed_kyc.

Predicate glossary:
- has_compliance_clearance: has compliance clearance
- has_manual_exception: has a manual exception
- may_receive_wire: may receive a wire transfer
- needs_compliance_review: needs compliance review
- passed_kyc: passed KYC checks

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Account 59 passed KYC checks.
Negative facts:
- Account 35 does not has a manual exception.

Target atom: has_manual_exception::Account 35.
Target statement: Account 35 has a manual exception.

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: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.
Agent B open/incomplete predicates: none.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

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

Target atom: has_clearance::Dylan.
Target statement: Dylan has security clearance.

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_clearance.
Agent B open/incomplete predicates: assigned_to_trial, completed_training, may_enter_lab, needs_supervisor_review.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

Target atom: has_clearance::Dylan.
Target statement: Dylan has security clearance.

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: assigned_to_trial, completed_training, has_clearance, may_enter_lab, needs_supervisor_review.

Predicate glossary:
- assigned_to_trial: is assigned to the clinical trial
- completed_training: has completed safety training
- has_clearance: has security clearance
- may_enter_lab: may enter Lab A
- needs_supervisor_review: needs supervisor review

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Dylan has completed safety training.
Negative facts:
- none

Target atom: has_clearance::Dylan.
Target statement: Dylan has security clearance.

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.

Reader B has an active membership.
Reader C has a special request.

has_active_membership::Reader B
has_special_request::Reader 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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Reader B has an active membership.
- Reader C has a special request.
Negative facts:
- none

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

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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.

Reader B has an active membership.
Reader C has a special request.

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_borrowing_clearance.
Agent B open/incomplete predicates: has_active_membership, has_special_request, may_borrow_archive_item, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Reader B has an active membership.
- Reader C has a special request.
Negative facts:
- none

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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.

Reader B has an active membership.
Reader C has a special request.

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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Reader B has an active membership.
- Reader C has a special request.
Negative facts:
- none

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- If a reader has a special request, then that reader needs librarian review.

Agent A report:
Positive facts:
- Reader E has an active membership.
Negative facts:
- none

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

Target atom: needs_librarian_review::Reader E.
Target statement: Reader E needs librarian 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_borrowing_clearance, may_borrow_archive_item.
Agent B open/incomplete predicates: has_active_membership, has_special_request, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- If a reader has a special request, then that reader needs librarian review.

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

Agent B report:
Positive facts:
- Reader E has an active membership.
Negative facts:
- none

Target atom: needs_librarian_review::Reader E.
Target statement: Reader E needs librarian 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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- If a reader has a special request, then that reader needs librarian review.

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

Agent B report:
Positive facts:
- Reader E has an active membership.
Negative facts:
- none

Target atom: needs_librarian_review::Reader E.
Target statement: Reader E needs librarian 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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.
Agent B open/incomplete predicates: none.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- Reader D has an active membership.
Negative facts:
- Reader B does not has borrowing clearance.

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

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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_borrowing_clearance.
Agent B open/incomplete predicates: has_active_membership, has_special_request, may_borrow_archive_item, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

Agent A report:
Positive facts:
- none
Negative facts:
- Reader B does not has borrowing clearance.

Agent B report:
Positive facts:
- Reader D has an active membership.
Negative facts:
- none

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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_active_membership, has_borrowing_clearance, has_special_request, may_borrow_archive_item, needs_librarian_review.

Predicate glossary:
- has_active_membership: has an active membership
- has_borrowing_clearance: has borrowing clearance
- has_special_request: has a special request
- may_borrow_archive_item: may borrow an archive item
- needs_librarian_review: needs librarian review

Coordinator policy rules:
- none

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

Agent B report:
Positive facts:
- Reader D has an active membership.
Negative facts:
- Reader B does not has borrowing clearance.

Target atom: has_borrowing_clearance::Reader B.
Target statement: Reader B has borrowing clearance.

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 B has a supplier note.
Part A passed the visual check.

has_supplier_note::Part B
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 B has a supplier note.
- Part A passed the visual check.
Negative facts:
- none

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.

Part B has a supplier note.
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.
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 B has a supplier note.
- Part A 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.

Part B has a supplier note.
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 B has a supplier note.
- Part A 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.


Closed-world assumption

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

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

has_release_approval::Part F
passed_visual_check::Part 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_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 F has release approval.
- Part F passed the visual check.
Negative facts:
- none

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

Target atom: has_supplier_note::Part E.
Target statement: Part E 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 F has release approval.
Part F 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 F has release approval.
Negative facts:
- none

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

Target atom: has_supplier_note::Part E.
Target statement: Part E 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 F has release approval.
Part F 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 F has release approval.
- Part F passed the visual check.
Negative facts:
- none

Target atom: has_supplier_note::Part E.
Target statement: Part E 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 C
has_release_approval::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 passed the visual check and has release approval, then that part may ship to customers.

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

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

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

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