Context Creation - with Shards
Technical documentation
08/31/2025
|- T-001: Shard-01
| |- T-004: Point
| |- T-015: Point
|- T-001: Shard-02
| |- T-016: Point
| |- T-017: Point
| |- T-005: Shard-01
| | |- T-006: Point
| | |- T-014: Point
| | |- T-007: Shard-01
| | | |- T-010: Point
| | | |- T-013: Point
| | |- T-007: Shard-02
| | | |- T-011: Point
| | | |- T-012: Point <-- starting point
| | |- T-007: Shard-03
| | |- T-008: Point
| |- T-005: Shard-02
| | |- T-018: Point
| |- T-005: Shard-03
| |- T-009: Point
|- T-001: Shard-03
|- T-002: Point
|- T-003: Point
Context: [012, 011, 007(S01+S02), 014, 006, 005(S01), 017, 016, 001(S01+S02) ]
| PointId | 012 | 007 | 005 | 001 |
|---|---|---|---|---|
| StartingPoint [in code] | 012 | 012 | 012 | 012 |
| PreviousPoint [in code] | "" | 012 | 007 | 005 |
| ParentPoint | 007 | 005 | 001 | 001 |
| PointChildren | null | null | null | [002, 003] |
| ShardList | null | [S01, S02, S03] | [S01, S02, S03] | [S01, S02, S03] |
| ParentShard | 007-S02 | 005-S01 | 001-S02 | null |
| CurrentParentShard [in code] | null | 007-S02 | 005-S01 | 001-S02 |
| ShardPointChildren | null | S02[011, 012] | S01[006, 014, 007] | S02[016, 017, 005, 009] |
| PRINT full: | 012 | 011, 007(S01+S02) | 014, 006, 005(S01) | 017, 016, 001(S01+S02) |
| If (ShardPointChildren == null && currentParentShard == null) Else (PointChildren == null) | * True: not a Shard | * False: It's a shard. Print ShardPointChildren preceding PreviousPoint | * False: It's a shard. Print ShardPointChildren preceding PreviousPoint | * False: It's a shard. Print ShardPointChildren preceding PreviousPoint (else, print PointChildren) |
| * PRINT [011] | * PRINT [014, 006] | * PRINT [017, 016] | ||
| Print CurrentPoint: If(Shard) => Print from ShardList Else If (!Shard) => Print Point | * Not a Shard: Print Point | * Shard: Print ShardList from CurrentParentShard and those preceding | * Shard: Print ShardList from CurrentParentShard and those preceding | * Shard: Print ShardList from CurrentParentShard and those preceding |
| * PRINT: 012 | * PRINT: 007- [S01+S02] | * PRINT: 005-[S01] | * PRINT: 001-[S01+S02] | |
| If (ParentShard == null) | * False: Set CurrentParentShard = ParentShard | * False: Set CurrentParentShard = ParentShard | * False: Set CurrentParentShard = ParentShard | True: |
| If (ParentPoint == PointId) | * False: Set PreviousPoint = currentPoint | * False: Set PreviousPoint = currentPoint | * False: Set PreviousPoint = currentPoint | * True: This is Root ParentPoint - END |
Example Execution Trace
Starting from T-012:
1. Point 012:
○ Not a shard, no currentParentShard → Print: 012
○ parentShard = "007-S02" → Set currentParentShard
○ Move to parent: 007
2. Point 007 (Shard):
○ Has shardChildren[S02] = [011, 012]
○ Children preceding 012 → Print: 011
○ Is a shard → Print: 007(S01+S02)
○ Update currentParentShard = "005-S01"
○ Move to parent: 005
3. Point 005 (Shard):
○ Has shardChildren[S01] = [006, 014, 007]
○ Children preceding 007 → Print: 014, 006
○ Is a shard → Print: 005(S01)
○ Update currentParentShard = "001-S02"
○ Move to parent: 001
4. Point 001 (Shard):
○ Has shardChildren[S02] = [016, 017, 005, 009]
○ Children preceding 005 → Print: 017, 016
○ Is a shard → Print: 001(S01+S02)
○ parentPoint == id → ROOT reached, END
Final Context: [012, 011, 007(S01+S02), 014, 006, 005(S01), 017, 016, 001(S01+S02)]