2026-03-17: P-Programming Namespace

← Back to /hutter/

First formalization pass for the #p_programming_* namespace. This archive places P-programming above specific realizations such as #umr_spec and the cmpr block system. The workpad remains the frontier; the new namespace blocks stabilize the first shared definitions and now sketch the more ambitious settling thesis.

Artifacts

P-Programming: Scope, Definitions, Realizations, and Settling

Short overview paper introducing u = (E,T,P), the namespace hierarchy, first operators, the realization split, and the claim that semantic output is a settled state rather than raw propagation.

P-Programming Overview (HTML)

Web presentation of the same material: namespace topology, first stable operators, realization split between UMR and cmpr, and the settling thesis.

Worked Example: Boolean OR to SN

First end-to-end example: straight-line C assignment, event-space translation, conjunction patterns in SN, and a concrete .sn file for the UMR parser.

P-Programming Worked Examples (1-6)

Example ladder from boolean logic through persistence, control, a tiny sequential machine, and a 1-bit full adder. Each step has concrete C-like source and a corresponding .sn artifact.

Block-Level Formalization

New raw blocks available in the block system: #p_programming_overview, #p_programming_definitions, #p_programming_operations, #p_programming_realizations, #p_programming_settling, #p_programming_examples, #p_programming_example_boolean_or, and #p_programming_overview_paper.

Navigation

← Previous: 2026-03-14

Earlier archive state before the first P-programming namespace formalization.