Repository navigation

Layer1 local work - #42

Merged

hyperpolymath merged 14 commits into

mainfrom

layer1-local-work

Mar 26, 2026

Merged

Layer1 local work#42
hyperpolymath merged 14 commits into
mainfrom
layer1-local-work

Commits on Mar 6, 2026
- sync: content update
  hyperpolymath
  committed
  bb21011
Commits on Mar 14, 2026
- chore: RSR compliance — license standardisation, workflow fixes, bot directives
  
  hyperpolymath
  and
  claude
  committed
  2c2b75d
- spec: reconcile 3 duplicate grammars into canonical spec/grammar.ebnf
  
  hyperpolymath
  and
  claude
  committed
  b168859
- docs: add references.bib with foundational citations
  
  hyperpolymath
  and
  claude
  committed
  9103926
- spec: add axiomatic semantics — consent preconditions
  
  hyperpolymath
  and
  claude
  committed
  c7249d9
- spec: add system specifications (memory, concurrency, effects, modules)
  
  hyperpolymath
  and
  claude
  committed
  26d3f0d
- fix: seam audit — SPDX headers, copyright lines, consistency fixes
  
  hyperpolymath
  and
  claude
  committed
  d7d242f
Commits on Mar 15, 2026
- feat: add AST visitor framework
  
  hyperpolymath
  and
  claude
  committed
  a1d114d
- test: add 25+ conformance tests (total: 38)
  
  hyperpolymath
  and
  claude
  committed
  ce347c1
Commits on Mar 21, 2026
- feat: add S-expression and JSON AST dump (Layer 1)
  
  hyperpolymath
  and
  claude
  committed
  2e7b193
- chore: stage diverged local work for merge
  
  hyperpolymath
  and
  claude
  committed
  1902c5c
Commits on Mar 26, 2026