Skip to content

Commit a0c3e10

Browse files
committed
20.30.005 v2.1: official Path A slot; protect tp.idob, pack_ids, meaning fields
1 parent a09efac commit a0c3e10

1 file changed

Lines changed: 37 additions & 3 deletions

File tree

thought_simulator/requirements_20/20.30.005_rtu_prim.md

Lines changed: 37 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# **20.30.005 — RTU‑prm (Routing TP Update Primitive)**
2-
**Version:** 2.0 (Modernized Option‑C Rewrite)
2+
**Version:** 2.1 (IdOB neighbor hygiene + official Path A position)
33
**Status:** Normative — Pipeline A Routing‑Layer Primitive
44
**Purpose:** Construct deterministic routing_update metadata for TR‑prm and the scheduler.
55

@@ -20,9 +20,21 @@ RTU‑prm:
2020
- does **not** interpret meaning
2121
- does **not** arbitrate lanes
2222
- does **not** modify lineage
23+
- does **not** invent `pack_ids[]`
24+
- does **not** write `tp.idob` or `meaning_delta_h`
2325

2426
RTU‑prm is a **pure routing‑signal constructor**.
2527

28+
Official Path A inner stretch that includes RTU (informative; does not change RTU’s job):
29+
30+
```
31+
WrdNm → ISc → RTU → TR → CTP → RB → IdOB → MCB → RBU
32+
```
33+
34+
RTU sits **before** the RB commit that IdOB treats as a read-only routing view. Isolation fixtures may start at IdOB without a live RTU pass; that does not authorize RTU to interpret meaning when the lineup is live.
35+
36+
IdOB may later **read** routing state as a view (20.40.050). RTU does not consume `tp.idob` to build `routing_update`.
37+
2638
---
2739

2840
# **1. Scope (Normative)**
@@ -73,7 +85,10 @@ RTU‑prm SHALL NOT modify:
7385
- `TP.ssg_reason_code`
7486
- `TP.ssg_status`
7587
- `TP.presemantic_cues`
76-
- `TP.tr_input_cues`
88+
- `TP.tr_input_cues`
89+
- `tp.idob` / `TP.idob`
90+
- `TP.semantic.meaning_delta_h`
91+
- `pack_ids[]` / pack-load keys owned by COB / CEx / CIL
7792

7893
RTU‑prm produces routing_update **only**; it does not write to TP.
7994

@@ -149,7 +164,7 @@ Fallback routing SHALL preserve safety by suppressing unsafe or undefined lanes.
149164
Routing confidence is a structural stability indicator:
150165

151166
\[
152-
routing\_{confidence} = 1 - \frac{\text{num\_suppressed\_lanes}}{\text{total\_lanes}}
167+
routing_{confidence} = 1 - \frac{\text{num_suppressed_lanes}}{\text{total_lanes}}
153168
\]
154169

155170
It is a heuristic, not a probability, and has no semantic or truth‑evaluation meaning.
@@ -178,5 +193,24 @@ RTU‑prm is defined in **20.30.005** and referenced by:
178193
- 20.30.020 — cycle allocation
179194
- 20.30.030 — TCU budgeting
180195
- 20.51 — RBU‑prm commit layer
196+
- 20.15 — architecture scaffold (official Path A flow)
197+
- 20.40.050 — IdOB‑prm (reads routing as a view after RB)
198+
- 20.37 — TR‑prm (consumes routing_update; may read `TP.idob` when present)
199+
200+
---
201+
202+
# **11. IdOB / pack neighbor hygiene (Normative)**
203+
204+
### **HLR‑20.30.005‑026 — Meaning-packet protection**
205+
RTU‑prm SHALL NOT write `tp.idob`, `TP.idob`, `TP.semantic.meaning_delta_h`, `TP.semantic.meaning_semantics[]`, CIE rows, or six structure IDs.
206+
207+
### **HLR‑20.30.005‑027 — Pack keys**
208+
RTU‑prm SHALL NOT invent, load, or rewrite `pack_ids[]`. Pack keys are owned by the continuity / CEx-Pck contract (20.32 / 20.107.030 / 20.33). If `pack_ids[]` is present on the TP, RTU‑prm SHALL leave it unchanged.
209+
210+
### **HLR‑20.30.005‑028 — Official Path A position**
211+
On a live Path A cycle that includes identity-conditioned meaning, RTU‑prm SHALL occupy the slot after ISc and before TR in the stretch `WrdNm → ISc → RTU → TR → CTP → RB → IdOB`. RTU‑prm SHALL NOT be specified as running after IdOB on that stretch.
212+
213+
### **HLR‑20.30.005‑029 — No IdOB interpretation**
214+
RTU‑prm SHALL NOT read `tp.idob` as an input required to construct `routing_update`. IdOB may later read committed routing as a view (20.40.050); that read does not authorize RTU to score meaning axes, apply CIE, or expand residue into a next six-tuple.
181215

182216
---

0 commit comments

Comments
 (0)