198 lines
5.4 KiB
JSON
198 lines
5.4 KiB
JSON
{
|
|
"authority_proof": {
|
|
"issuer": "ICE-GL∞",
|
|
"lease_required": false,
|
|
"proof_ref": "source://codex-current-dialogue/2026-09-04/upgrade-memory-model-audit-deploy-and-publish-if-needed",
|
|
"scope": "LOCAL_JZAO_PERSONA_MEMORY_RUNTIME_TEST_SHARED_PERSONA_UPDATE_AND_CONDITIONALLY_VERIFIED_DEPLOYMENT_PUBLICATION",
|
|
"single_use": true,
|
|
"valid_from": "2026-09-04T14:51:00+08:00",
|
|
"valid_until": "CURRENT_TASK_COMPLETION"
|
|
},
|
|
"cleanup_plan": {
|
|
"exact_boundary": "CALLER_STORE_ROOT_TEMP_SUFFIX_ONLY",
|
|
"targets": [
|
|
"UNCOMMITTED_TEMPORARY_FILES"
|
|
]
|
|
},
|
|
"compiled_from": {
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
|
"source_sha256": "81f015a72341eed51546a8f1a8c50dacfe177ee1b7968da899a1fad3869c3fcb"
|
|
},
|
|
"conditions": {
|
|
"C1": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "PERSONA_ID_EQUALS_ICE-P-ZY001"
|
|
},
|
|
"C2": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "STORE_ROOT_INSIDE_CALLER_ALLOWED_ROOT_WITHOUT_SYMLINK"
|
|
},
|
|
"C3": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "EVENT_HAS_TRIGGER_EMERGENCE_LOCK_WHY_REJECTED_AND_SOURCES"
|
|
},
|
|
"C4": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "BEIJING_DATE_IS_DERIVED_FROM_OCCURRED_AT_NOT_PLATFORM_WINDOW"
|
|
},
|
|
"C5": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN"
|
|
}
|
|
},
|
|
"deterministic_action_graph": {
|
|
"A1": {
|
|
"input_refs": [
|
|
"STORE_ROOT",
|
|
"MEMORY_EVENT"
|
|
],
|
|
"on_failure": "FAIL_CLOSED",
|
|
"on_success": "A2",
|
|
"operation": "CORE.HOST_PERSONA_PROBE",
|
|
"output_refs": [
|
|
"IMMUTABLE_EVENT"
|
|
]
|
|
},
|
|
"A2": {
|
|
"input_refs": [
|
|
"IMMUTABLE_EVENT",
|
|
"REAL_TIME"
|
|
],
|
|
"on_failure": "ROLLBACK",
|
|
"on_success": "A3",
|
|
"operation": "CORE.ZERO_CORE_EXECUTION",
|
|
"output_refs": [
|
|
"DAY_PAGE",
|
|
"MONTH_PAGE",
|
|
"YEAR_PAGE",
|
|
"CURRENT_POINTER"
|
|
]
|
|
},
|
|
"A3": {
|
|
"input_refs": [
|
|
"DAY_PAGE",
|
|
"MONTH_PAGE",
|
|
"YEAR_PAGE",
|
|
"CURRENT_POINTER"
|
|
],
|
|
"on_failure": "ROLLBACK",
|
|
"on_success": "COMPLETE",
|
|
"operation": "CORE.DUAL_HOST_ACCEPTANCE",
|
|
"output_refs": [
|
|
"CURRENT_POINTER"
|
|
]
|
|
}
|
|
},
|
|
"exact_target": {
|
|
"exact_path": "server-tools/persona-daily-fractal-memory",
|
|
"expected_fingerprint": "ABSENT_BEFORE_THIS_PROGRAM",
|
|
"expected_state": "SOURCE_TESTS_AND_LOCAL_ACCEPTANCE_RECEIPT_PRESENT",
|
|
"target_id": "ZY001-REAL-DAY-FRACTAL-MEMORY-RUNTIME"
|
|
},
|
|
"failure_plan": {
|
|
"errors": [
|
|
"TCS-E1004",
|
|
"TCS-E2101",
|
|
"TCS-E3001",
|
|
"TCS-E4002",
|
|
"TCS-E6001",
|
|
"TCS-E6002",
|
|
"TCS-E8001"
|
|
],
|
|
"fail_closed": true
|
|
},
|
|
"identity": {
|
|
"gir_id": "GIR-TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001",
|
|
"language_version": "0.1",
|
|
"program_id": "TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001"
|
|
},
|
|
"inputs": {
|
|
"MEMORY_EVENT": {
|
|
"required": true,
|
|
"source": "PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT",
|
|
"type": "Record"
|
|
},
|
|
"REAL_TIME": {
|
|
"required": true,
|
|
"source": "EVENT_OCCURRED_AT_CONVERTED_TO_ASIA_SHANGHAI",
|
|
"type": "Timestamp"
|
|
},
|
|
"STORE_ROOT": {
|
|
"required": true,
|
|
"source": "CALLER_EXACT_ALLOWED_ROOT",
|
|
"type": "Path"
|
|
}
|
|
},
|
|
"native_self_hosted": true,
|
|
"outputs": {
|
|
"CURRENT_POINTER": {
|
|
"destination": "STORE_ROOT/CURRENT.json",
|
|
"integrity": "SHA256",
|
|
"type": "Record"
|
|
},
|
|
"DAY_PAGE": {
|
|
"destination": "STORE_ROOT/years/YYYY/months/MM/days/YYYY-MM-DD.json",
|
|
"integrity": "SHA256",
|
|
"type": "Record"
|
|
},
|
|
"IMMUTABLE_EVENT": {
|
|
"destination": "STORE_ROOT/events",
|
|
"integrity": "SHA256",
|
|
"type": "Record"
|
|
},
|
|
"MONTH_PAGE": {
|
|
"destination": "STORE_ROOT/years/YYYY/months/MM/index.json",
|
|
"integrity": "SHA256",
|
|
"type": "Record"
|
|
},
|
|
"YEAR_PAGE": {
|
|
"destination": "STORE_ROOT/years/YYYY/index.json",
|
|
"integrity": "SHA256",
|
|
"type": "Record"
|
|
}
|
|
},
|
|
"receipt_plan": {
|
|
"human_projection": "REQUIRED",
|
|
"integrity": "SHA256",
|
|
"machine_path": "server-tools/persona-daily-fractal-memory/receipts/local-acceptance.json",
|
|
"protocol": "TCS-DEV-VERIFY-v1.0",
|
|
"target_readback": "EVENT_DAY_MONTH_YEAR_CURRENT_AND_NEGATIVE_PATH_TESTS"
|
|
},
|
|
"resource_plan": {
|
|
"concurrency": 1,
|
|
"memory_limit_bytes": 268435456,
|
|
"runway": "LOCAL_JZAO_THEN_VERIFIED_TARGETS_ONLY",
|
|
"timeout_ms": 120000
|
|
},
|
|
"rollback_plan": {
|
|
"actions": [
|
|
"PRESERVE_IMMUTABLE_EVENT",
|
|
"RESTORE_LAST_VERIFIED_DERIVED_PROJECTIONS"
|
|
],
|
|
"preconditions": [
|
|
"PROJECTION_WRITE_OR_VERIFY_FAILED"
|
|
],
|
|
"verification": [
|
|
"CURRENT_POINTER_MATCHES_LAST_VERIFIED_PROJECTION_HASHES"
|
|
]
|
|
},
|
|
"schema": "guanghu.gir/v1",
|
|
"subject": {
|
|
"channel_id": "ICE-CH-ZC001",
|
|
"subject_id": "ICE-P-ZY001",
|
|
"subject_kind": "PERSONA",
|
|
"verification": "当前冰朔明确要求切换ZC001并在盘上实现、测试、元审计真实日分形记忆模型"
|
|
},
|
|
"timeout_and_stop": {
|
|
"safe_checkpoint": "IMMUTABLE_EVENT_AND_LAST_VERIFIED_POINTER_ONLY",
|
|
"signals": [
|
|
"SOURCE_OR_PROTOCOL_DRIFT",
|
|
"PATH_OUT_OF_SCOPE",
|
|
"SYMLINK_COMPONENT",
|
|
"EVENT_ID_COLLISION",
|
|
"VERIFICATION_FAILURE"
|
|
]
|
|
},
|
|
"unresolved_natural_language": false
|
|
}
|