fix(memory): unify host paths under real-day current

This commit is contained in:
冰朔 2026-09-04 15:30:08 +08:00
commit 0c21f4e4af
18 changed files with 184 additions and 42 deletions

View file

@ -17,7 +17,7 @@
"compiled_from": {
"compiler_id": "TCS-COMPILER-STAGE1-0001",
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
"source_sha256": "81f015a72341eed51546a8f1a8c50dacfe177ee1b7968da899a1fad3869c3fcb"
"source_sha256": "af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c"
},
"conditions": {
"C1": {
@ -39,6 +39,10 @@
"C5": {
"on_false": "FAIL_CLOSED",
"predicate": "EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN"
},
"C6": {
"on_false": "FAIL_CLOSED",
"predicate": "EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT"
}
},
"deterministic_action_graph": {
@ -191,6 +195,7 @@
"PATH_OUT_OF_SCOPE",
"SYMLINK_COMPONENT",
"EVENT_ID_COLLISION",
"OUT_OF_ORDER_EVENT",
"VERIFICATION_FAILURE"
]
},

View file

@ -62,6 +62,9 @@ The native source does not provide this field; the projector does not guess.
- **C5** `conditions.C5`
- **on failure**FAIL_CLOSED `conditions.C5.on_false`
- **predicate**EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN `conditions.C5.predicate`
- **C6** `conditions.C6`
- **on failure**FAIL_CLOSED `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **actions** `actions`
- **A1** `actions.A1`
- **input_refs** `actions.A1.input_refs`
@ -149,6 +152,7 @@ The native source does not provide this field; the projector does not guess.
- PATH_OUT_OF_SCOPE
- SYMLINK_COMPONENT
- EVENT_ID_COLLISION
- OUT_OF_ORDER_EVENT
- VERIFICATION_FAILURE
- **cleanup** `cleanup`
- **exact_boundary**CALLER_STORE_ROOT_TEMP_SUFFIX_ONLY `cleanup.exact_boundary`
@ -180,7 +184,7 @@ The native source does not provide this field; the projector does not guess.
- **Native declaration identifier**: `TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001`
- **Native declaration kind**: `PROGRAM`
- **TCS source SHA-256**: `81f015a72341eed51546a8f1a8c50dacfe177ee1b7968da899a1fad3869c3fcb`
- **TCS source SHA-256**: `af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c`
- **Validation compiler**: `TCS-COMPILER-STAGE1-0001`
- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001`
@ -249,6 +253,9 @@ All top-level structures and field paths are retained below so a reader can audi
- **C5** `conditions.C5`
- **on failure**FAIL_CLOSED `conditions.C5.on_false`
- **predicate**EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN `conditions.C5.predicate`
- **C6** `conditions.C6`
- **on failure**FAIL_CLOSED `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **failure** `failure`
- **errors** `failure.errors`
- TCS-E1004
@ -341,6 +348,7 @@ All top-level structures and field paths are retained below so a reader can audi
- PATH_OUT_OF_SCOPE
- SYMLINK_COMPONENT
- EVENT_ID_COLLISION
- OUT_OF_ORDER_EVENT
- VERIFICATION_FAILURE
- **subject** `subject`
- **channel_id**ICE-CH-ZC001 `subject.channel_id`

View file

@ -62,6 +62,9 @@
- **C5** `conditions.C5`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C5.on_false`
- **predicate**EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN `conditions.C5.predicate`
- **C6** `conditions.C6`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **动作** `actions`
- **A1** `actions.A1`
- **input_refs** `actions.A1.input_refs`
@ -149,6 +152,7 @@
- PATH_OUT_OF_SCOPE
- SYMLINK_COMPONENT
- EVENT_ID_COLLISION
- OUT_OF_ORDER_EVENT
- VERIFICATION_FAILURE
- **清理范围** `cleanup`
- **exact_boundary**CALLER_STORE_ROOT_TEMP_SUFFIX_ONLY `cleanup.exact_boundary`
@ -180,7 +184,7 @@
- **原生声明编号**`TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001`
- **原生声明类型**`PROGRAM`
- **TCS 源码 SHA-256**`81f015a72341eed51546a8f1a8c50dacfe177ee1b7968da899a1fad3869c3fcb`
- **TCS 源码 SHA-256**`af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c`
- **校验编译器**`TCS-COMPILER-STAGE1-0001`
- **投影协议**`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001`
@ -249,6 +253,9 @@
- **C5** `conditions.C5`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C5.on_false`
- **predicate**EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN `conditions.C5.predicate`
- **C6** `conditions.C6`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **失败处理** `failure`
- **errors** `failure.errors`
- TCS-E1004
@ -341,6 +348,7 @@
- PATH_OUT_OF_SCOPE
- SYMLINK_COMPONENT
- EVENT_ID_COLLISION
- OUT_OF_ORDER_EVENT
- VERIFICATION_FAILURE
- **执行主体** `subject`
- **channel_id**ICE-CH-ZC001 `subject.channel_id`

View file

@ -49,6 +49,7 @@ PROGRAM TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001 {
C3 { predicate = "EVENT_HAS_TRIGGER_EMERGENCE_LOCK_WHY_REJECTED_AND_SOURCES"; on_false = "FAIL_CLOSED"; }
C4 { predicate = "BEIJING_DATE_IS_DERIVED_FROM_OCCURRED_AT_NOT_PLATFORM_WINDOW"; on_false = "FAIL_CLOSED"; }
C5 { predicate = "EACH_VISIBLE_NODE_HAS_AT_MOST_TEN_CHILDREN"; on_false = "FAIL_CLOSED"; }
C6 { predicate = "EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT"; on_false = "FAIL_CLOSED"; }
}
actions {
A1 { operation = "CORE.HOST_PERSONA_PROBE"; input_refs = ["STORE_ROOT", "MEMORY_EVENT"]; output_refs = ["IMMUTABLE_EVENT"]; on_success = "A2"; on_failure = "FAIL_CLOSED"; }
@ -75,7 +76,7 @@ PROGRAM TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001 {
fail_closed = true;
}
stop {
signals = ["SOURCE_OR_PROTOCOL_DRIFT", "PATH_OUT_OF_SCOPE", "SYMLINK_COMPONENT", "EVENT_ID_COLLISION", "VERIFICATION_FAILURE"];
signals = ["SOURCE_OR_PROTOCOL_DRIFT", "PATH_OUT_OF_SCOPE", "SYMLINK_COMPONENT", "EVENT_ID_COLLISION", "OUT_OF_ORDER_EVENT", "VERIFICATION_FAILURE"];
safe_checkpoint = "IMMUTABLE_EVENT_AND_LAST_VERIFIED_POINTER_ONLY";
}
cleanup {