Semantic AtomsRepresentative Catalog

Representative motifs across 12 categories (versioned). Not a fixed list; excerpted examples.

12 Atomic Categories

Each category systematically classifies semantic concepts in specific computational domains

Control & Flow

Sequence/branch/loop/yield/await/resource boundary

• Sequence

• Branch

• Switch

• Loop

... total 12

Data & State

Let/set/get/new/cast/agg/copy/move/check

• Let

• Set

• Get

• New

... total 12

Function & Abstraction

def/lambda/apply/compose/partial/curry/recur/coroutine/fix/closure

• Def

• Lambda

• Apply

• Compose

... total 11

Types & Patterns

typing/inference/sum/product/subtyping/match/polymorphism

• Type

• Sum

• Product

• Union

... total 10

Exceptions & Effects

try/catch/raise/txn/halt/effect-boundary

• Try

• Catch

• Raise

• Transaction

... total 6

Concurrency & Scheduling

thread/sync/atomic/channel/future/actor/memory-order/timer

• Thread

• Sync

• Atomic

• Channel

... total 9

Memory & Resource

alloc/free/ref/lifetime/gc/pin/safety

• Alloc

• Free

• Ref

• Lifetime

... total 7

I/O & System

file/stream/net/console/proc/env

• File

• Stream

• Network

• Console

... total 9

Module & Namespace

import/export/module/alias

• Import

• Export

• Module

• Alias

Meta & Annotation

attribute/pragma/doc

• Attribute

• Pragma

• Doc

Composition & Pipeline

pipe/map/filter/reduce/subgraph

• Pipe

• Map

• Filter

• Reduce

... total 5

Overlays (boundary/source)

A/B/C classes and source badges

• Overlay‑A

• Overlay‑B

• Overlay‑C

• SRC badge

Detailed Atomic List

Representative list (excerpt).

Control & Flow

12 items

Sequence/branch/loop/yield/await/resource boundary

Sequence

Branch

Switch

Loop

Iter

Jump

Return

Yield

Await

With

Unreach

Assert

Data & State

12 items

Let/set/get/new/cast/agg/copy/move/check

Let

Set

Get

New

Del

Cast

Aggregate

Copy

Move

Check

Const

Literal

Function & Abstraction

11 items

def/lambda/apply/compose/partial/curry/recur/coroutine/fix/closure

Def

Lambda

Apply

Compose

Partial

Curry

Recursion

Generator

Coroutine

Fix

Closure

Types & Patterns

10 items

typing/inference/sum/product/subtyping/match/polymorphism

Type

Sum

Product

Union

Intersection

Subtyping

Equiv

Polymorphism

Match

Inference

Exceptions & Effects

6 items

try/catch/raise/txn/halt/effect-boundary

Try

Catch

Raise

Transaction

Halt

Effect

Concurrency & Scheduling

9 items

thread/sync/atomic/channel/future/actor/memory-order/timer

Thread

Sync

Atomic

Channel

Future

Actor

Message

Order

Timer

Memory & Resource

7 items

alloc/free/ref/lifetime/gc/pin/safety

Alloc

Free

Ref

Lifetime

Safe

I/O & System

9 items

file/stream/net/console/proc/env

File

Stream

Network

Console

Process

Env

Read

Write

Open

Module & Namespace

4 items

import/export/module/alias

Import

Export

Module

Alias

Meta & Annotation

3 items

attribute/pragma/doc

Attribute

Pragma

Doc

Composition & Pipeline

5 items

pipe/map/filter/reduce/subgraph

Pipe

Map

Filter

Reduce

Subgraph

Overlays (boundary/source)

4 items

A/B/C classes and source badges

Overlay‑A

Overlay‑B

Overlay‑C

SRC badge

v4.3 Change Summary

Systematic Classification

• Logical grouping into 12 categories
• Representative groups are versioned
• Consistent alignment rules across languages
• Extensible classification system

Overlay Classes

• Removed concrete strings → expose A/B/C class meaning only
• Represented by visual effects only (color/opacity/outline)
• Source badges kept as meta
• Semantic projection transparency

Visualization Integration

• Greek letter ID system
• Port-descriptive label notation
• Color token-based theming
• Multiple layout mode support

Language Independence

• Representative multi‑paradigm scope
• Canonical consistency as a goal (boundary cases separated)
• Abstract syntactic differences
• Aim to preserve essential semantics

Core Components

Relationship between semantic atoms and other core components of Core Semantic Kernel

Universal Semantic Graph →Semantic Abstract Machine →Visualization Standards →