release: v1.8.0 — substrate promoted into the OMC core language

Promotes the proven φ-substrate discoveries out of the research experiments and into
omnimcode-core as first-class language primitives: content-addressing, an addressable
heap, transparent memoization, verify-gated self-modification, correct-by-construction
synthesis, and the HBit dual-band gate. All verified against the real parser/interpreter
(172/172 core tests pass).

New core modules:
  address.rs   uniform dodecahedral content-addressing (χ² 9.16/4.90, reproduced in-core)
  cas.rs       disk-backed content-addressed value heap (lossless typed serializer, ~/.omc/cas)
  locality.rs  locality fingerprint — the similarity primitive (recall 0.99 vs φ 0.02)
  synth.rs     correct-by-construction OMC generator (parse/run 1.000 over 300 seeds)

New builtins & pragmas:
  haddr / haddr_face / haddr_distance          uniform φ-address of any value
  value_addr / value_hash / same_value         O(1) semantic equality + value addressing
  cas_put / cas_get / cas_has                  content-addressed heap (persists across runs)
  @memo                                        transparent, disk-backed, body-aware memoization
  fn_swap_verified / fns_on_face               safe self-modification (verify-gated) + fn addressing
  locality_fp / locality_sim / locality_nearest
  nearest_fn / call_nearest                    content-similarity retrieval + dispatch
  gen_omc                                      valid-by-construction program synthesis
  hbit_harmony / hbit_divergence / band_divergence / band_route
  @DualBand                                    two-band execution + the divergence gate

The capability theory, made real: compute-once-anywhere-ever (@memo, cross-process),
O(1) semantic equality, programs that find their own pieces, self-modification with a
correctness gate, guaranteed-valid generation, and dual-band execution that takes the
addressed A→Z skip while the linear band stands as the always-correct fallback when
divergence is too high.

Also includes the transformerless_lm research: the substrate addressing/heap/synthesis
experiments, the full evidence ledger, and the integration roadmap.

Full ledger: experiments/transformerless_lm/SUBSTRATE_INTEGRATION_ROADMAP.md and AUTONOMOUS_LOG.md

Note: trained weights / substrate indexes (*.pt, ~2.5GB incl. 1.8GB omc_address_index.pt)
are gitignored — regenerable and over GitHub's 100MB file limit; the math lives in the
source and the markdown ledgers. Share weights via git-lfs / release assets if desired.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: The Architect

.gitignore

@@ -48,3 +48,22 @@ examples/game-ai-demo/Assets/Editor/OMNIcode/
 # Python bytecode caches
 **/__pycache__/
 **/*.pyc
+
+# Auto Claude data directory
+.auto-claude/
+
+# Auto Claude generated files
+.auto-claude-security.json
+.auto-claude-status
+.claude_settings.json
+.worktrees/
+.security-key
+logs/security/
+
+# Model checkpoints / substrate indexes — regenerable trained weights, far over GitHub's
+# 100MB file limit (e.g. omc_address_index.pt 1.8GB, omc_dual_index.pt 450MB; ~2.5GB total).
+# The MATH lives in the source + the .md ledgers; share weights via git-lfs / release assets / HF.
+*.pt
+# Python virtualenvs
+**/.venv/
+**/venv/

Cargo.lock

@@ -21,7 +21,7 @@ exclude = ["omnimcode-python"]
 resolver = "2"
 
 [workspace.package]
-version = "1.3.0"
+version = "1.8.0"
 edition = "2021"
 authors = ["The Architect <architect@sovereign-lattice.io>"]
 license = "MIT"