Así responde Genius.
Estos resultados fueron generados por el motor real en un entorno local aislado, usando los ejemplos públicos de la beta. Están guardados: abrir esta página no inicia otra ejecución ni crea una cuenta.
Un trabajo completo puede conservar una decisión pendiente. PV_UNKNOWN significa desconocido; no se convierte en cero. Estas ejecuciones no acreditan utilidad en casos reales ni autorizan acciones sobre personas.
Descargar resultados completos en JSON · Conectar por MCP · Todas las formas de acceso
Generados: . El JSON conserva entradas, resultados, identificación del motor y hashes de comprobación. Los bloques siguientes muestran las capas originales; el documento completo incluye también la solicitud compilada y su presentación.
Datos conocidos
Ejemplo: hours-known. Ejecución: PE_COMPLETE. Cierre: PC_ANSWERED_SCOPED.
Entrada sintética
{
"assignments": [
{
"credit": "6.5",
"id": "a"
},
{
"credit": "7.5",
"id": "b"
}
],
"evidence_origin": "synthetic",
"permission_confirmed": true,
"profile": "hours",
"scope_acknowledged": true,
"target": "15"
}Capas del resultado original
{
"transport": {
"last_verified_artifacts": [
"hours",
"metadata"
],
"limits": "Delivery describes this received local envelope, not a remote RPC or scientific validity.",
"reason": "LOCAL_RESPONSE_CONSTRUCTED_AND_VALIDATED",
"state": "PT_DELIVERED"
},
"execution": {
"progress": {
"received_operations": 1,
"requested_operations": 1
},
"reason": "ALL_CONTRACTED_OPERATIONS_FINISHED",
"state": "PE_COMPLETE"
},
"evidence": [
{
"limits": [
"No empirical fidelity, utility, understanding or permission to act inferred."
],
"query_ref": "Q",
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"records": [
{
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"source_assessment": {
"access_and_permissions": {
"access": "ALLOWED",
"basis": "Submitting consumer explicitly declares authority to process these supplied bytes; declaration is not independently authenticated. Processing only; no research permission inferred.",
"use": "ALLOWED"
},
"assessment_id": "A",
"axes": {
"identity": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/identity"
},
"source_value": "consumer-declared-credit-register",
"status": "MATCH",
"target_value": "consumer-declared-credit-register"
},
"method": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/method"
},
"source_value": "CONTRACT_HOURS/1",
"status": "MATCH",
"target_value": "CONTRACT_HOURS/1"
},
"period": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/period"
},
"source_value": "declared-plan-scope",
"status": "MATCH",
"target_value": "declared-plan-scope"
},
"population": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/population"
},
"source_value": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"status": "MATCH",
"target_value": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]"
},
"unit": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/unit"
},
"source_value": "h_contractual",
"status": "MATCH",
"target_value": "h_contractual"
}
},
"blocked_premise_refs": [],
"claim": "Q",
"closure": {
"predicate": "DOCUMENTARY_SUBSTITUTION_FOR_EXACT_CLAIM",
"scope": {
"claim": "Q",
"intended_use": "Conditional formal arithmetic only",
"query_ref": "Q"
},
"verified": true,
"verifier": "genius-local-source-policy/0.1.0",
"witness_refs": [
"hours"
]
},
"conditional_premise_refs": [
"hours",
"metadata"
],
"conflicts": [],
"documentary_limit": "BYTE_CORRESPONDENCE_AND_DECLARED_PERMISSION_ONLY; SOURCE_TRUTH_AND_EMPIRICAL_FIDELITY_NOT_AUTHENTICATED",
"evidence_kind": "SYNTHETIC_STIPULATION",
"intended_use": "Conditional formal arithmetic only",
"observed_or_received_at": "2026-10-06T04:36:03.275545+00:00",
"owner": {
"assigned_person": "UNKNOWN",
"role": "submitting-consumer",
"task": "Supply formal premises"
},
"premise_artifact_refs": [
"hours",
"metadata"
],
"profile_limitations": [],
"query_ref": "Q",
"relevant_period": "declared-plan-scope",
"reopen": {
"affected_refs": [
"Q"
],
"condition": "Source or query changes"
},
"revision": 1,
"source_digest": "d5a630e0bd123b635e35ee4642fc096b029d6347b23bd7cc0377adc472f7500e",
"source_locator": "hours.json",
"source_ref": "hours",
"source_version": "genius-beta-adapter/0.1.0",
"target_spec": {
"identity": "consumer-declared-credit-register",
"method": "CONTRACT_HOURS/1",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"unit": "h_contractual"
},
"transformation_chain": [],
"verdict": "SC_CONDITIONAL_MODEL_ONLY"
},
"source_authenticity": "NOT_AUTHENTICATED",
"source_sha256": "d5a630e0bd123b635e35ee4642fc096b029d6347b23bd7cc0377adc472f7500e"
}
],
"state": "EV_CONDITIONAL"
}
],
"decisions": [
{
"answers": [
{
"artifact_refs": [
"hours"
],
"claim_source": "CONTRACT_HOURS/1",
"operation_id": "OP",
"value": {
"assigned": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "14/1"
},
"deficit": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "1/1"
},
"excess": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "0/1"
},
"oriented_overtime": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "0/1"
},
"oriented_undertime": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "-1/1"
}
}
}
],
"norm": {
"reasons": [
"No policy selection requested"
],
"scope": "contractual-credit arithmetic",
"state": "PV_NOT_APPLICABLE"
},
"observed_values": [
{
"artifact_refs": [
"hours"
],
"claim_source": "CONTRACT_HOURS/1",
"operation_id": "OP",
"reason": "EXACT_CONTRACTUAL_HOURS",
"status": "CONDITIONAL",
"value": {
"assigned": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "14/1"
},
"deficit": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "1/1"
},
"excess": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "0/1"
},
"oriented_overtime": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "0/1"
},
"oriented_undertime": {
"basis": [
"CONTRACT_HOURS/1"
],
"state": "PV_KNOWN",
"unit": "h_contractual",
"value": "-1/1"
}
}
}
],
"permitted_use": "Formal conditional model or documentary component only; no empirical intervention authorized.",
"query_ref": "Q",
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"reason": "EXACT_SCOPED_QUERY_VERIFIED",
"scope": {
"operator": "CONTRACT_HOURS/1",
"purpose": "FORMAL_CONDITIONAL"
},
"state": "PR_JUSTIFIED_RESULT",
"unresolved_obligations": []
}
],
"quality": {
"adoption_business": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"comprehension": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"coverage": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"data_provenance": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"formal_correctness": {
"conclusion": "Scoped checks completed.",
"evidence": [
"Q"
],
"limit": "No general theorem extension or empirical fidelity inferred.",
"scope": "Only received exact component or finite FDQ query",
"state": "ASSESSED"
},
"information_efficiency": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"model_fidelity": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"operation": {
"conclusion": "PE_COMPLETE",
"evidence": [
"OP"
],
"limit": "No availability, concurrency, empirical utility or business claim.",
"scope": "Observed local operations only",
"state": "ASSESSED"
},
"uncertainty_sensitivity": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"utility": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
}
},
"obligations_ref": {
"record": {
"budget": {
"certificate_timeout_seconds": 15,
"max_certificates": 0,
"max_operations": 1
},
"format": "genius-product-obligations/0.1.0",
"obligations": [
{
"affected_claims": [
"Q"
],
"attempts": [],
"budget_ref": "request.budget",
"classification_basis": [
{
"evidence": "Consumer-supplied formal request",
"mechanism": "DERIVABLE"
}
],
"closure": {
"claim_source": "CONTRACT_HOURS/1",
"predicate": "EXACT_QUERY_RESULT_RECEIVED",
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"reason": "VERIFIED_EXACT_QUERY_SCOPE",
"verified": true,
"verifier": "genius-local-operation-policy/0.1.0",
"witness_refs": [
"OP"
]
},
"dependencies": [],
"derivation_rule": {
"kind": "NO_DERIVATION",
"reason": "Only the explicitly bound received operation can produce a witness."
},
"id": "O",
"input_spec": {
"field": "scoped formal answer",
"method": "CONTRACT_HOURS/1",
"object": "consumer-declared-credit-register",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"reason": "Await scoped execution; missing supplied values remain unknown.",
"state": "UNKNOWN",
"type": "formal component or policy answer",
"unit": "h_contractual"
},
"next_action": "Run the bounded operation or retain an explicit dependency",
"owner": {
"assigned_person": "UNKNOWN",
"role": "submitting-consumer",
"task": "Supply compatible formal premises and resolve unknown inputs"
},
"permitted_use": [
"Conditional formal answer to the supplied query"
],
"primary_cause": "DERIVABLE",
"prohibited_inferences": [
"Physical domain admission",
"Human comprehension",
"Decision utility",
"Authority to act",
"Empirical CAG or PVS"
],
"provenance": [
{
"kind": "SYNTHETIC_STIPULATION",
"reason": "User declaration is treated as formal premises, not authenticated empirical observation."
}
],
"query_ref": "Q",
"reopen": {
"affected_refs": [
"Q"
],
"condition": "Pertinent change of source, query, rule or scope under a future explicit revision"
},
"revision": 1,
"secondary_causes": [],
"status": "CLOSED_SCOPED"
}
],
"queries": [
{
"artifact_refs": [
"hours",
"metadata"
],
"id": "Q",
"kind": "component",
"norm": {
"reasons": [
"No policy selection requested"
],
"scope": "contractual-credit arithmetic",
"state": "PV_NOT_APPLICABLE"
},
"obligation_refs": [
"O"
],
"revision": 1,
"scope": {
"operator": "CONTRACT_HOURS/1",
"purpose": "FORMAL_CONDITIONAL"
},
"target_spec": {
"identity": "consumer-declared-credit-register",
"method": "CONTRACT_HOURS/1",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"unit": "h_contractual"
}
}
],
"record_id": "beta-hours",
"revision": 1,
"supersedes": null,
"worklog": [
{
"phase": "REUSE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"operation_ref": "OP",
"phase": "REUSE_LOOKUP",
"reason": "No matching receipt in this case's supplied, verified inventory; no claim about other sources.",
"status": "NOT_APPLICABLE"
},
{
"operation_refs": [
"OP"
],
"phase": "DERIVE",
"reason": "Executed operations retain individual receipts and limits.",
"status": "APPLIED"
},
{
"phase": "IRRELEVANCE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "EXPAND_MODEL",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "ASSESS_SOURCE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "REQUEST_INPUT",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
}
]
},
"request_ref": {
"revision": 1,
"sha256": "81659c9ec2b2a0178b1614645bae1da98a3b60803bc29e6f2fe84fbfeec1c714"
}
},
"closure": {
"budget_used": {
"certificates": 0,
"network_acquisitions": 0,
"operations": 1
},
"closed_queries": [
"Q"
],
"last_verified_artifacts": [
"hours",
"metadata"
],
"next_action": "Use only the answered scoped conclusions; new purposes require a new query.",
"owner": "Local requester and the functional owners named by each obligation",
"reason": "ALL_CONTRACTED_OPERATIONS_FINISHED",
"reopen_condition": "A relevant premise, source, query, support, rule, permission or capability changes.",
"state": "PC_ANSWERED_SCOPED",
"superseded_by": null,
"unresolved_obligations": []
}
}Un dato desconocido
Ejemplo: hours-unknown. Ejecución: PE_COMPLETE. Cierre: PC_WAITING_DEPENDENCY.
Entrada sintética
{
"assignments": [
{
"credit": null,
"id": "a"
},
{
"credit": "7.5",
"id": "b"
}
],
"evidence_origin": "synthetic",
"permission_confirmed": true,
"profile": "hours",
"scope_acknowledged": true,
"target": "15"
}Capas del resultado original
{
"transport": {
"last_verified_artifacts": [
"hours",
"metadata"
],
"limits": "Delivery describes this received local envelope, not a remote RPC or scientific validity.",
"reason": "LOCAL_RESPONSE_CONSTRUCTED_AND_VALIDATED",
"state": "PT_DELIVERED"
},
"execution": {
"progress": {
"received_operations": 1,
"requested_operations": 1
},
"reason": "ALL_CONTRACTED_OPERATIONS_FINISHED",
"state": "PE_COMPLETE"
},
"evidence": [
{
"limits": [
"No empirical fidelity, utility, understanding or permission to act inferred."
],
"query_ref": "Q",
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"records": [
{
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"source_assessment": {
"access_and_permissions": {
"access": "ALLOWED",
"basis": "Submitting consumer explicitly declares authority to process these supplied bytes; declaration is not independently authenticated. Processing only; no research permission inferred.",
"use": "ALLOWED"
},
"assessment_id": "A",
"axes": {
"identity": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/identity"
},
"source_value": "consumer-declared-credit-register",
"status": "MATCH",
"target_value": "consumer-declared-credit-register"
},
"method": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/method"
},
"source_value": "CONTRACT_HOURS/1",
"status": "MATCH",
"target_value": "CONTRACT_HOURS/1"
},
"period": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/period"
},
"source_value": "declared-plan-scope",
"status": "MATCH",
"target_value": "declared-plan-scope"
},
"population": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/population"
},
"source_value": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"status": "MATCH",
"target_value": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]"
},
"unit": {
"affected_claims": [
"Q"
],
"basis": {
"artifact_ref": "metadata",
"pointer": "/unit"
},
"source_value": "h_contractual",
"status": "MATCH",
"target_value": "h_contractual"
}
},
"blocked_premise_refs": [],
"claim": "Q",
"closure": {
"predicate": "DOCUMENTARY_SUBSTITUTION_FOR_EXACT_CLAIM",
"scope": {
"claim": "Q",
"intended_use": "Conditional formal arithmetic only",
"query_ref": "Q"
},
"verified": true,
"verifier": "genius-local-source-policy/0.1.0",
"witness_refs": [
"hours"
]
},
"conditional_premise_refs": [
"hours",
"metadata"
],
"conflicts": [],
"documentary_limit": "BYTE_CORRESPONDENCE_AND_DECLARED_PERMISSION_ONLY; SOURCE_TRUTH_AND_EMPIRICAL_FIDELITY_NOT_AUTHENTICATED",
"evidence_kind": "SYNTHETIC_STIPULATION",
"intended_use": "Conditional formal arithmetic only",
"observed_or_received_at": "2026-10-06T04:36:03.433972+00:00",
"owner": {
"assigned_person": "UNKNOWN",
"role": "submitting-consumer",
"task": "Supply formal premises"
},
"premise_artifact_refs": [
"hours",
"metadata"
],
"profile_limitations": [],
"query_ref": "Q",
"relevant_period": "declared-plan-scope",
"reopen": {
"affected_refs": [
"Q"
],
"condition": "Source or query changes"
},
"revision": 1,
"source_digest": "215b765aa69a346ec9af5dbd44d8fab956ae9e74a2f9652a7ed209717200bb19",
"source_locator": "hours.json",
"source_ref": "hours",
"source_version": "genius-beta-adapter/0.1.0",
"target_spec": {
"identity": "consumer-declared-credit-register",
"method": "CONTRACT_HOURS/1",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"unit": "h_contractual"
},
"transformation_chain": [],
"verdict": "SC_CONDITIONAL_MODEL_ONLY"
},
"source_authenticity": "NOT_AUTHENTICATED",
"source_sha256": "215b765aa69a346ec9af5dbd44d8fab956ae9e74a2f9652a7ed209717200bb19"
}
],
"state": "EV_INSUFFICIENT"
}
],
"decisions": [
{
"answers": [],
"norm": {
"reasons": [
"No policy selection requested"
],
"scope": "contractual-credit arithmetic",
"state": "PV_NOT_APPLICABLE"
},
"observed_values": [
{
"artifact_refs": [
"hours"
],
"claim_source": "CONTRACT_HOURS/1",
"operation_id": "OP",
"reason": "UNKNOWN_HOURS_INPUT",
"status": "UNRESOLVED",
"value": {
"assigned": {
"obligation_refs": [
"O"
],
"reasons": [
"Consumer explicitly left this credit or target unknown"
],
"state": "PV_UNKNOWN"
},
"deficit": {
"obligation_refs": [
"O"
],
"reasons": [
"Consumer explicitly left this credit or target unknown"
],
"state": "PV_UNKNOWN"
},
"excess": {
"obligation_refs": [
"O"
],
"reasons": [
"Consumer explicitly left this credit or target unknown"
],
"state": "PV_UNKNOWN"
},
"oriented_overtime": {
"obligation_refs": [
"O"
],
"reasons": [
"Consumer explicitly left this credit or target unknown"
],
"state": "PV_UNKNOWN"
},
"oriented_undertime": {
"obligation_refs": [
"O"
],
"reasons": [
"Consumer explicitly left this credit or target unknown"
],
"state": "PV_UNKNOWN"
}
}
}
],
"permitted_use": "Formal conditional model or documentary component only; no empirical intervention authorized.",
"query_ref": "Q",
"query_sha256": "8c4104884821609936d8047200b75dae0e4e5396d09b5f5bbe1594c55e7c6cce",
"reason": "EXACT_QUERY_UNRESOLVED",
"scope": {
"operator": "CONTRACT_HOURS/1",
"purpose": "FORMAL_CONDITIONAL"
},
"state": "PR_DEPENDENCY",
"unresolved_obligations": [
"O"
]
}
],
"quality": {
"adoption_business": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"comprehension": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"coverage": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"data_provenance": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"formal_correctness": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"information_efficiency": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"model_fidelity": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"operation": {
"conclusion": "PE_COMPLETE",
"evidence": [
"OP"
],
"limit": "No availability, concurrency, empirical utility or business claim.",
"scope": "Observed local operations only",
"state": "ASSESSED"
},
"uncertainty_sensitivity": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
},
"utility": {
"conclusion": "No empirical assessment performed.",
"evidence": [],
"limit": "Formal verification and document identity do not establish this dimension.",
"scope": "This local attempt",
"state": "NOT_ASSESSED"
}
},
"obligations_ref": {
"record": {
"budget": {
"certificate_timeout_seconds": 15,
"max_certificates": 0,
"max_operations": 1
},
"format": "genius-product-obligations/0.1.0",
"obligations": [
{
"affected_claims": [
"Q"
],
"attempts": [],
"budget_ref": "request.budget",
"classification_basis": [
{
"evidence": "Consumer-supplied formal request",
"mechanism": "DERIVABLE"
}
],
"closure": {
"predicate": "EXACT_QUERY_RESULT_RECEIVED",
"verified": false,
"verifier": "received R2 controller",
"witness_refs": []
},
"dependencies": [],
"derivation_rule": {
"kind": "NO_DERIVATION",
"reason": "Only the explicitly bound received operation can produce a witness."
},
"id": "O",
"input_spec": {
"field": "scoped formal answer",
"method": "CONTRACT_HOURS/1",
"object": "consumer-declared-credit-register",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"reason": "Await scoped execution; missing supplied values remain unknown.",
"state": "UNKNOWN",
"type": "formal component or policy answer",
"unit": "h_contractual"
},
"next_action": "Run the bounded operation or retain an explicit dependency",
"owner": {
"assigned_person": "UNKNOWN",
"role": "submitting-consumer",
"task": "Supply compatible formal premises and resolve unknown inputs"
},
"permitted_use": [
"Conditional formal answer to the supplied query"
],
"primary_cause": "DERIVABLE",
"prohibited_inferences": [
"Physical domain admission",
"Human comprehension",
"Decision utility",
"Authority to act",
"Empirical CAG or PVS"
],
"provenance": [
{
"kind": "SYNTHETIC_STIPULATION",
"reason": "User declaration is treated as formal premises, not authenticated empirical observation."
}
],
"query_ref": "Q",
"reopen": {
"affected_refs": [
"Q"
],
"condition": "Pertinent change of source, query, rule or scope under a future explicit revision"
},
"revision": 1,
"secondary_causes": [],
"status": "OPEN"
}
],
"queries": [
{
"artifact_refs": [
"hours",
"metadata"
],
"id": "Q",
"kind": "component",
"norm": {
"reasons": [
"No policy selection requested"
],
"scope": "contractual-credit arithmetic",
"state": "PV_NOT_APPLICABLE"
},
"obligation_refs": [
"O"
],
"revision": 1,
"scope": {
"operator": "CONTRACT_HOURS/1",
"purpose": "FORMAL_CONDITIONAL"
},
"target_spec": {
"identity": "consumer-declared-credit-register",
"method": "CONTRACT_HOURS/1",
"period": "declared-plan-scope",
"population": "DECLARED_ASSIGNMENTS:[\"a\",\"b\"]",
"unit": "h_contractual"
}
}
],
"record_id": "beta-hours",
"revision": 1,
"supersedes": null,
"worklog": [
{
"phase": "REUSE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"operation_ref": "OP",
"phase": "REUSE_LOOKUP",
"reason": "No matching receipt in this case's supplied, verified inventory; no claim about other sources.",
"status": "NOT_APPLICABLE"
},
{
"operation_refs": [
"OP"
],
"phase": "DERIVE",
"reason": "Executed operations retain individual receipts and limits.",
"status": "APPLIED"
},
{
"phase": "IRRELEVANCE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "EXPAND_MODEL",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "ASSESS_SOURCE",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
},
{
"phase": "REQUEST_INPUT",
"reason": "No operation of this phase is supplied in the admitted request; this is not proof of irrelevance.",
"status": "NOT_APPLICABLE"
}
]
},
"request_ref": {
"revision": 1,
"sha256": "8e824146eec4b581b50f4d983a16c972ea6df2df1393c936a6d1f638490bee90"
}
},
"closure": {
"budget_used": {
"certificates": 0,
"network_acquisitions": 0,
"operations": 1
},
"closed_queries": [],
"last_verified_artifacts": [
"hours",
"metadata"
],
"next_action": "Continue only with a pertinent new input, rule, query, permission or budget and a linked revision.",
"owner": "Local requester and the functional owners named by each obligation",
"reason": "ALL_CONTRACTED_OPERATIONS_FINISHED",
"reopen_condition": "A relevant premise, source, query, support, rule, permission or capability changes.",
"state": "PC_WAITING_DEPENDENCY",
"superseded_by": null,
"unresolved_obligations": [
"O"
]
}
}