{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://theinterdependentway.org/schemas/ucns/gonol-relationship-receipt-v1.schema.json","title":"UCNS gonol relationship receipt","description":"Option-preserving evidence receipt for the declared one-, two-, three-, and seven-gonol display primitives.","type":"object","additionalProperties":false,"required":["schema_id","schema_version","receipt_id","primitive_arity","operands","display_policy","pairing_plan","pairwise_receipts","joint_context","evidence_status","candidate_identity","provenance","non_transfer","information_loss","hmmm"],"properties":{"schema_id":{"const":"ucns.gonol-relationship-receipt"},"schema_version":{"const":"0.1.0"},"receipt_id":{"type":"string","minLength":1},"primitive_arity":{"enum":[1,2,3,7]},"operands":{"type":"array","minItems":1,"maxItems":7,"items":{"$ref":"#/$defs/operand"}},"display_policy":{"$ref":"#/$defs/displayPolicy"},"pairing_plan":{"$ref":"#/$defs/pairingPlan"},"pairwise_receipts":{"type":"array","items":{"$ref":"#/$defs/pairwiseReceipt"}},"joint_context":{"oneOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["standing","evidence","promoted_to_gonol"],"properties":{"standing":{"enum":["represented-evidence","hmmm-unresolved"]},"evidence":{"type":"array","items":{"type":"string","minLength":1},"uniqueItems":true},"promoted_to_gonol":{"const":false}}}]},"evidence_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"candidate_identity":{"oneOf":[{"type":"null"},{"$ref":"#/$defs/candidateIdentity"}]},"provenance":{"type":"object","additionalProperties":false,"required":["contract_repository","contract_commit","contract_path","contract_blob","contract_sha256","producer_authenticated","consumer_reference"],"properties":{"contract_repository":{"const":"The-Interdependency/ucns"},"contract_commit":{"type":"string","pattern":"^[0-9a-f]{40}$"},"contract_path":{"const":"docs/gonol-relationship-display-v1.json"},"contract_blob":{"type":"string","pattern":"^[0-9a-f]{40}$"},"contract_sha256":{"type":"string","pattern":"^[0-9a-f]{64}$"},"producer_authenticated":{"const":false},"consumer_reference":{"type":["string","null"]}}},"non_transfer":{"$ref":"#/$defs/nonTransfer"},"information_loss":{"type":"array","minItems":2,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"native-scale magnitude is not encoded by visible radius"},"minContains":1},{"contains":{"const":"continuous Mobius band width and local-frame motion are not encoded by the centerline projection"},"minContains":1}]},"hmmm":{"type":"array","minItems":5,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"continuous local-frame geometry across the Mobius band"},"minContains":1},{"contains":{"const":"seven-gonol display geometry and pairing plan"},"minContains":1},{"contains":{"const":"promotion law for derived scope or relationship circles"},"minContains":1},{"contains":{"const":"cross-scope and higher-gonol composition"},"minContains":1},{"contains":{"const":"English root policy, lexical source completion, and hyperdimensional embedding law"},"minContains":1}]}},"allOf":[{"if":{"properties":{"primitive_arity":{"const":1}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":1,"maxItems":1,"prefixItems":[{"$ref":"#/$defs/operandA"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.none-one"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":0,"maxItems":0,"items":false}}},"pairwise_receipts":{"minItems":0,"maxItems":0,"items":false},"joint_context":{"type":"null"}}}},{"if":{"properties":{"primitive_arity":{"const":2}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":2,"maxItems":2,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.vesica-two"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":1,"maxItems":1,"items":false,"prefixItems":[{"const":["A","B"]}]}}},"pairwise_receipts":{"minItems":1,"maxItems":1,"items":false,"prefixItems":[{"$ref":"#/$defs/pairAB"}]},"joint_context":{"type":"null"}}}},{"if":{"properties":{"primitive_arity":{"const":3}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":3,"maxItems":3,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"},{"$ref":"#/$defs/operandC"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.triquetra-three"},"standing":{"const":"declared-static-projection"},"pairs":{"minItems":3,"maxItems":3,"items":false,"prefixItems":[{"const":["A","B"]},{"const":["B","C"]},{"const":["C","A"]}]}}},"pairwise_receipts":{"minItems":3,"maxItems":3,"items":false,"prefixItems":[{"$ref":"#/$defs/pairAB"},{"$ref":"#/$defs/pairBC"},{"$ref":"#/$defs/pairCA"}]}}}},{"if":{"properties":{"primitive_arity":{"const":7}},"required":["primitive_arity"]},"then":{"properties":{"operands":{"minItems":7,"maxItems":7,"prefixItems":[{"$ref":"#/$defs/operandA"},{"$ref":"#/$defs/operandB"},{"$ref":"#/$defs/operandC"},{"$ref":"#/$defs/operandD"},{"$ref":"#/$defs/operandE"},{"$ref":"#/$defs/operandF"},{"$ref":"#/$defs/operandG"}],"items":false},"pairing_plan":{"properties":{"plan_id":{"const":"ucns.pairing.full-seven-unresolved"},"standing":{"const":"hmmm-unresolved"},"pairs":{"minItems":0,"maxItems":0,"items":false}}},"pairwise_receipts":{"minItems":0,"maxItems":0,"items":false},"joint_context":{"type":"null"}}}},{"if":{"properties":{"evidence_status":{"const":"represented-evidence"}},"required":["evidence_status"]},"then":{"properties":{"candidate_identity":{"type":"null"},"operands":{"items":{"properties":{"evidence_status":{"const":"represented-evidence"}}}},"pairwise_receipts":{"items":{"properties":{"relationship_status":{"const":"represented-evidence"}}}}}}},{"if":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"}},"required":["evidence_status"]},"then":{"properties":{"candidate_identity":{"$ref":"#/$defs/candidateIdentity"}}}},{"if":{"anyOf":[{"properties":{"operands":{"contains":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"}},"required":["evidence_status"]}}}},{"properties":{"pairwise_receipts":{"contains":{"properties":{"relationship_status":{"const":"candidate-measured-evidence"}},"required":["relationship_status"]}}}}]},"then":{"properties":{"evidence_status":{"const":"candidate-measured-evidence"},"candidate_identity":{"$ref":"#/$defs/candidateIdentity"}}}}],"$defs":{"operand":{"type":"object","additionalProperties":false,"required":["operand_slot","operand_id","gonol_id","occurrence_ordinal","source_identity","content_adapter","content_digest","native_scale","payload_reference","evidence_status","hmmm"],"properties":{"operand_slot":{"enum":["A","B","C","D","E","F","G"]},"operand_id":{"type":"string","minLength":3},"gonol_id":{"type":"string","minLength":1},"occurrence_ordinal":{"type":"integer","minimum":0},"source_identity":{"type":"string","minLength":1},"content_adapter":{"type":"object","additionalProperties":false,"required":["name","version"],"properties":{"name":{"type":"string","minLength":1},"version":{"type":"string","minLength":1}}},"content_digest":{"oneOf":[{"type":"null"},{"type":"string","pattern":"^[0-9a-f]{64}$"}]},"native_scale":{"type":"object","additionalProperties":false,"required":["scale_id","declaration","numeric_rank"],"properties":{"scale_id":{"type":"string","minLength":1},"declaration":{"type":"string","minLength":1},"numeric_rank":{"const":null}}},"payload_reference":{"type":"string","minLength":1},"retained_structure_reference":{"type":["string","null"]},"trajectory_reference":{"type":["string","null"]},"evidence_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"hmmm":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"operandA":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"A"},"operand_id":{"type":"string","pattern":"^A:.+"}}}]},"operandB":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"B"},"operand_id":{"type":"string","pattern":"^B:.+"}}}]},"operandC":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"C"},"operand_id":{"type":"string","pattern":"^C:.+"}}}]},"operandD":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"D"},"operand_id":{"type":"string","pattern":"^D:.+"}}}]},"operandE":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"E"},"operand_id":{"type":"string","pattern":"^E:.+"}}}]},"operandF":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"F"},"operand_id":{"type":"string","pattern":"^F:.+"}}}]},"operandG":{"allOf":[{"$ref":"#/$defs/operand"},{"properties":{"operand_slot":{"const":"G"},"operand_id":{"type":"string","pattern":"^G:.+"}}}]},"displayPolicy":{"type":"object","additionalProperties":false,"required":["policy_id","policy_version","standing","parameters","information_loss"],"properties":{"policy_id":{"const":"ucns.display.relation-equalized"},"policy_version":{"const":"0.1.0"},"standing":{"const":"declared-static-projection"},"parameters":{"type":"object","additionalProperties":false,"required":["display_radius","native_scale_retained","visible_radius_represents_native_scale","derived_layers_visible"],"properties":{"display_radius":{"const":1},"native_scale_retained":{"const":true},"visible_radius_represents_native_scale":{"const":false},"derived_layers_visible":{"type":"boolean"}}},"information_loss":{"type":"array","minItems":2,"uniqueItems":true,"items":{"type":"string","minLength":1},"allOf":[{"contains":{"const":"native-scale magnitude is not encoded by visible radius"},"minContains":1},{"contains":{"const":"continuous Mobius band width and local-frame motion are not encoded by the centerline projection"},"minContains":1}]}}},"pairingPlan":{"type":"object","additionalProperties":false,"required":["plan_id","plan_version","pairs","standing"],"properties":{"plan_id":{"type":"string","minLength":1},"plan_version":{"const":"0.1.0"},"pairs":{"type":"array","items":{"type":"array","prefixItems":[{"enum":["A","B","C","D","E","F","G"]},{"enum":["A","B","C","D","E","F","G"]}],"items":false,"minItems":2,"maxItems":2}},"standing":{"enum":["declared-static-projection","hmmm-unresolved"]}}},"candidateIdentity":{"type":"object","additionalProperties":false,"required":["name","evaluator_kind","version","code_reference","scope","policy_dependencies"],"properties":{"name":{"type":"string","minLength":1},"evaluator_kind":{"type":"string","minLength":1},"version":{"type":"string","minLength":1},"code_reference":{"type":"string","minLength":1},"scope":{"type":"string","minLength":1},"policy_dependencies":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"comparisonPolicy":{"type":"object","additionalProperties":false,"required":["policy_id","policy_version","standing","parameters","information_loss"],"properties":{"policy_id":{"type":"string","minLength":1},"policy_version":{"type":"string","minLength":1},"standing":{"const":"experiment-candidate"},"parameters":{"type":"object"},"information_loss":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}}},"pairwiseReceipt":{"type":"object","additionalProperties":false,"required":["pair_id","left_operand_slot","right_operand_slot","relationship_status","comparison_policy","comparison_outcome","evidence","information_loss","hmmm"],"properties":{"pair_id":{"type":"string","minLength":1},"left_operand_slot":{"enum":["A","B","C","D","E","F","G"]},"right_operand_slot":{"enum":["A","B","C","D","E","F","G"]},"relationship_status":{"enum":["represented-evidence","candidate-measured-evidence"]},"comparison_policy":{"oneOf":[{"type":"null"},{"$ref":"#/$defs/comparisonPolicy"}]},"comparison_outcome":{},"evidence":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}},"information_loss":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}},"hmmm":{"type":"array","minItems":1,"uniqueItems":true,"items":{"type":"string","minLength":1}}},"allOf":[{"if":{"properties":{"relationship_status":{"const":"represented-evidence"}},"required":["relationship_status"]},"then":{"properties":{"comparison_policy":{"type":"null"},"comparison_outcome":{"type":"null"}}}},{"if":{"properties":{"relationship_status":{"const":"candidate-measured-evidence"}},"required":["relationship_status"]},"then":{"properties":{"comparison_policy":{"$ref":"#/$defs/comparisonPolicy"},"comparison_outcome":{"not":{"type":"null"}}}}}]},"pairAB":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"A-B"},"left_operand_slot":{"const":"A"},"right_operand_slot":{"const":"B"}}}]},"pairBC":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"B-C"},"left_operand_slot":{"const":"B"},"right_operand_slot":{"const":"C"}}}]},"pairCA":{"allOf":[{"$ref":"#/$defs/pairwiseReceipt"},{"properties":{"pair_id":{"const":"C-A"},"left_operand_slot":{"const":"C"},"right_operand_slot":{"const":"A"}}}]},"nonTransfer":{"type":"object","additionalProperties":false,"required":["authority_transfer","semantic_authority_transfer","proof_status_transfer","certification_status_transfer","measurement_status_transfer","empirical_status_transfer","completion_status_transfer","embedding_status_transfer","producer_authentication_transfer"],"properties":{"authority_transfer":{"const":false},"semantic_authority_transfer":{"const":false},"proof_status_transfer":{"const":false},"certification_status_transfer":{"const":false},"measurement_status_transfer":{"const":false},"empirical_status_transfer":{"const":false},"completion_status_transfer":{"const":false},"embedding_status_transfer":{"const":false},"producer_authentication_transfer":{"const":false}}}}}