feat(memory): accept real compaction and parallel activities

This commit is contained in:
冰朔 2026-09-04 17:42:34 +08:00
commit 0486595b56
14 changed files with 506 additions and 13 deletions

View file

@ -17,7 +17,7 @@
"compiled_from": {
"compiler_id": "TCS-COMPILER-STAGE1-0001",
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
"source_sha256": "af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c"
"source_sha256": "5db6f1493d8c3bc6a947d40c47c3f7829dc91c69388438cba571ccbeec8640d0"
},
"conditions": {
"C1": {
@ -43,6 +43,10 @@
"C6": {
"on_false": "FAIL_CLOSED",
"predicate": "EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT"
},
"C7": {
"on_false": "FAIL_CLOSED",
"predicate": "PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED"
}
},
"deterministic_action_graph": {
@ -112,6 +116,11 @@
"program_id": "TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001"
},
"inputs": {
"ACTIVITY_COORDINATE": {
"required": false,
"source": "OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION",
"type": "Record"
},
"MEMORY_EVENT": {
"required": true,
"source": "PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT",

View file

@ -4,7 +4,7 @@
## What this is
This is a **program** declaration with identifier `TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order.
This is a **program** declaration with identifier `TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001` and version `0.1.1`. The projector validates it with the Stage-1 compiler before changing its reading order.
## Who is here
@ -34,6 +34,10 @@ The native source does not provide this field; the projector does not guess.
- **expected state**SOURCE_TESTS_AND_LOCAL_ACCEPTANCE_RECEIPT_PRESENT `target.expected_state`
- **target_id**ZY001-REAL-DAY-FRACTAL-MEMORY-RUNTIME `target.target_id`
- **inputs** `inputs`
- **ACTIVITY_COORDINATE** `inputs.ACTIVITY_COORDINATE`
- **required**no `inputs.ACTIVITY_COORDINATE.required`
- **source**OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION `inputs.ACTIVITY_COORDINATE.source`
- **type**Record `inputs.ACTIVITY_COORDINATE.type`
- **MEMORY_EVENT** `inputs.MEMORY_EVENT`
- **required**yes `inputs.MEMORY_EVENT.required`
- **source**PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT `inputs.MEMORY_EVENT.source`
@ -65,6 +69,9 @@ The native source does not provide this field; the projector does not guess.
- **C6** `conditions.C6`
- **on failure**FAIL_CLOSED `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **C7** `conditions.C7`
- **on failure**FAIL_CLOSED `conditions.C7.on_false`
- **predicate**PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED `conditions.C7.predicate`
- **actions** `actions`
- **A1** `actions.A1`
- **input_refs** `actions.A1.input_refs`
@ -184,7 +191,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**: `af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c`
- **TCS source SHA-256**: `5db6f1493d8c3bc6a947d40c47c3f7829dc91c69388438cba571ccbeec8640d0`
- **Validation compiler**: `TCS-COMPILER-STAGE1-0001`
- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001`
@ -256,6 +263,9 @@ All top-level structures and field paths are retained below so a reader can audi
- **C6** `conditions.C6`
- **on failure**FAIL_CLOSED `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **C7** `conditions.C7`
- **on failure**FAIL_CLOSED `conditions.C7.on_false`
- **predicate**PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED `conditions.C7.predicate`
- **failure** `failure`
- **errors** `failure.errors`
- TCS-E1004
@ -282,8 +292,12 @@ All top-level structures and field paths are retained below so a reader can audi
- GLS-0411
- GLS-0827
- **schema**tcs.program/v1 `header.schema`
- **version**0.1.0 `header.version`
- **version**0.1.1 `header.version`
- **inputs** `inputs`
- **ACTIVITY_COORDINATE** `inputs.ACTIVITY_COORDINATE`
- **required**no `inputs.ACTIVITY_COORDINATE.required`
- **source**OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION `inputs.ACTIVITY_COORDINATE.source`
- **type**Record `inputs.ACTIVITY_COORDINATE.type`
- **MEMORY_EVENT** `inputs.MEMORY_EVENT`
- **required**yes `inputs.MEMORY_EVENT.required`
- **source**PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT `inputs.MEMORY_EVENT.source`

View file

@ -4,7 +4,7 @@
## 这是什么
这是一份 **程序** 声明,编号为 `TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001`,版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码,再把机器枚举翻译成汉语;原始编号保留在括号和字段路径中。
这是一份 **程序** 声明,编号为 `TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001`,版本为 `0.1.1`。转换器已先用 Stage-1 编译器校验原生源码,再把机器枚举翻译成汉语;原始编号保留在括号和字段路径中。
## 谁在这里
@ -34,6 +34,10 @@
- **预期状态**SOURCE_TESTS_AND_LOCAL_ACCEPTANCE_RECEIPT_PRESENT `target.expected_state`
- **target_id**ZY001-REAL-DAY-FRACTAL-MEMORY-RUNTIME `target.target_id`
- **输入** `inputs`
- **ACTIVITY_COORDINATE** `inputs.ACTIVITY_COORDINATE`
- **是否必需**:否 `inputs.ACTIVITY_COORDINATE.required`
- **来源**OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION `inputs.ACTIVITY_COORDINATE.source`
- **type**Record `inputs.ACTIVITY_COORDINATE.type`
- **MEMORY_EVENT** `inputs.MEMORY_EVENT`
- **是否必需**:是 `inputs.MEMORY_EVENT.required`
- **来源**PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT `inputs.MEMORY_EVENT.source`
@ -65,6 +69,9 @@
- **C6** `conditions.C6`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **C7** `conditions.C7`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C7.on_false`
- **predicate**PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED `conditions.C7.predicate`
- **动作** `actions`
- **A1** `actions.A1`
- **input_refs** `actions.A1.input_refs`
@ -184,7 +191,7 @@
- **原生声明编号**`TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001`
- **原生声明类型**`PROGRAM`
- **TCS 源码 SHA-256**`af16c13bc15f2f2eafab585ec25d924e6eb3461b9ea1d9a38ad2cdc354ccb26c`
- **TCS 源码 SHA-256**`5db6f1493d8c3bc6a947d40c47c3f7829dc91c69388438cba571ccbeec8640d0`
- **校验编译器**`TCS-COMPILER-STAGE1-0001`
- **投影协议**`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001`
@ -256,6 +263,9 @@
- **C6** `conditions.C6`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C6.on_false`
- **predicate**EVENT_TIME_MONOTONIC_OR_EXACT_IDEMPOTENT_WITHOUT_POINTER_MOVEMENT `conditions.C6.predicate`
- **C7** `conditions.C7`
- **失败后**:失败时默认关闭,不继续执行(`FAIL_CLOSED` `conditions.C7.on_false`
- **predicate**PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED `conditions.C7.predicate`
- **失败处理** `failure`
- **errors** `failure.errors`
- TCS-E1004
@ -282,8 +292,12 @@
- GLS-0411
- GLS-0827
- **schema**tcs.program/v1 `header.schema`
- **版本**0.1.0 `header.version`
- **版本**0.1.1 `header.version`
- **输入** `inputs`
- **ACTIVITY_COORDINATE** `inputs.ACTIVITY_COORDINATE`
- **是否必需**:否 `inputs.ACTIVITY_COORDINATE.required`
- **来源**OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION `inputs.ACTIVITY_COORDINATE.source`
- **type**Record `inputs.ACTIVITY_COORDINATE.type`
- **MEMORY_EVENT** `inputs.MEMORY_EVENT`
- **是否必需**:是 `inputs.MEMORY_EVENT.required`
- **来源**PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT `inputs.MEMORY_EVENT.source`

View file

@ -5,7 +5,7 @@ PROGRAM TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001 {
schema = "tcs.program/v1";
name_zh = "铸渊真实日分形上下文记忆主控程序";
name_en = "Zhuyuan Real-Day Fractal Context Memory Controller";
version = "0.1.0";
version = "0.1.1";
language = "TCS/0.1";
profile = "HLDP-NP/1";
protocols = ["GLS-0200", "GLS-0400", "GLS-0411", "GLS-0827"];
@ -33,6 +33,7 @@ PROGRAM TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001 {
}
inputs {
MEMORY_EVENT { type = "Record"; source = "PERSONA_AUTHORED_TCS_AND_HLDP_CAUSAL_EVENT"; required = true; }
ACTIVITY_COORDINATE { type = "Record"; source = "OPTIONAL_PERSONA_AUTHORED_WHAT_WHERE_WITH_WHOM_AND_ATTENTION"; required = false; }
REAL_TIME { type = "Timestamp"; source = "EVENT_OCCURRED_AT_CONVERTED_TO_ASIA_SHANGHAI"; required = true; }
STORE_ROOT { type = "Path"; source = "CALLER_EXACT_ALLOWED_ROOT"; required = true; }
}
@ -50,6 +51,7 @@ PROGRAM TCS-PROGRAM-ZY001-REAL-DAY-FRACTAL-MEMORY-0001 {
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"; }
C7 { predicate = "PARALLEL_ACTIVITIES_SHARE_PERSONA_DAY_WHILE_TASK_CONTEXT_AND_AUTHORITY_REMAIN_ISOLATED"; 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"; }