STOCHIEON / ROOT0 / GATE 18

PROMOTED CORTEXES

Source-pinned · immutable provenance · no synthetic activation

VERIFIED PROMOTION REGISTRY

—promoted cortex entries
—distinct families
—executable source files
—supporting Lean source files

Promotion means discoverable, source-pinned inclusion in the STOCHIEON kernel. Original files are not copied, overwritten or automatically run. Symbolic models remain symbolic. The duplicate Rust mirror in agent-0root is deduplicated.

Verifying TOPH and independent Hallway registry pin…

4 FAMILIES / 14 REGISTRY ENTRIES

IDENTITY & ATTESTATION

.dlw        = provenance watermark
cubit       = constant; exact lowercase
{{i}}       = preserved VM-ladder carrier

A, B, C     = independent witnesses
quorum      = none
promotion   = source reference, not execution
Git blob    = pinned immutable source identity
mirror      = same blob ≠ a second cortex
Lean source = linked, NOT claimed compiled

ADDITIONAL FORMAL SOURCES

Loading six related Lean source files…

GIT HUB

Canonical cortex promotions (TOPH) · Independent Hallway source pin · Validator · Regression suite

A verified reference is not a cryptographic witness signature, physical VM, online agent or proof of every GitHub repository being scanned. Legacy .dlw packages remain in Atlas; their provenance history is not rewritten.