docs: rewrite blog March 24-26 — full coverage from all subgraph commits

24: wallet + security + polynomial proof system + kuro bootstrap + go-cyber subgraph + cyb restructure
25: four algebras + 5 new repos + 7-spine + genesis crystal + Qu + hemera audit + lens + specs consolidation
26: programming model + dual objects + Neptune analysis + BBG polynomial + fixes

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: mastercyb

blog/2026_03_24.md

@@ -21,4 +21,26 @@ today's fixes (audit 32):
 
 your keys. your node. your browser.
 
+---
+
+research day in parallel. 10 commits across cyber, 4 across nox, 6 across zheng, 4 across bbg, plus kuro bootstrap.
+
+[[cyber/research/polynomial proof system]] — foundational definition. algebraic essence updated with polynomial nouns + recursive Brakedown. 22 wiki-links added. decider jet: 89-constraint verification of all history.
+
+[[kuro]] bootstrapped — F₂ tower field arithmetic from F₂ to F₂¹²⁸. subgraph declared.
+
+stack pages updated: [[zheng]] (Whirlaway → SuperSpartan + WHIR), [[bbg]] (5 layers → 13 sub-roots → polynomial state), [[nebu]] (extension fields), [[hemera]] (concrete parameters).
+
+[[nox]] specs: state operations explicitly derived from 16 patterns. state jets as third category.
+
+[[zheng]] rewrote reference from first principles. PCS decomposed into trait + two named backends. polynomial nouns integrated.
+
+[[bbg]] integrated polynomial nouns. recursive Brakedown numbers cascaded. docs rewritten from first principles.
+
+[[go-cyber]] declared as subgraph (33 docs pages).
+
+[[cyb]] repo restructured: bevy at root, react/leptos/nu as subprojects. unified CI builds all platforms. release process documented.
+
+[[trident]] oriented toward cyber stack. polynomial target roadmap.
+
 commit `69209b78`

blog/2026_03_25.md

@@ -1,15 +1,79 @@
-four algebras. seven spine. genesis crystal.
+four algebras. seven spine. five lenses. genesis crystal. 150+ commits across 15 repos.
 
-started with an article about LLMs-as-computers (Percepta). ended with the discovery that [[cyber]] needs exactly four execution regimes — not three, not five. [[nebu]] (truth), [[kuro]] (efficiency), [[trop]] (optimality), [[genies]] (privacy). each irreducible by its own criterion: algebra, complexity, structure, intractability. four branches of mathematics converge.
+## four execution regimes
 
-created two new repos: [[trop]] (tropical semiring, (min,+) algebra) and [[genies]] (commutative group action over supersingular isogenies). both with reference specs, Cargo workspaces, subgraph pages.
+analyzed Percepta's "LLMs as computers" article. concluded we have everything — and discovered what we were missing. the [[cyber]] stack needs exactly four execution regimes. not three, not five. each irreducible by its own criterion:
 
-rewrote [[cyb/stack]] from scratch. the spine grew from 5 to 7: hemera → lens → trident → [[cybergraph]] → nox → zheng → bbg. seven verbs: hash, commit, compile, link, run, prove, store. [[cybergraph]] is the vertebra — everything attaches to it. jets, memos, types, knowledge — all cyberlinks.
+- [[nebu]] (F_p) — truth. proofs, hashing, commitments
+- [[kuro]] (F₂) — efficiency. quantized AI, binary proving, 32× cheaper bitwise
+- [[trop]] (min,+) — optimality. shortest paths, scheduling, dynamic programming
+- [[genies]] (F_q) — privacy. stealth addresses, VRF, blind signatures, anonymous credentials
 
-the self-hosting boundary: above the spine, everything is pure .tri. below it, Rust bootstrap required. discovered the genesis crystal — a .tri program that runs once with unlimited focus, creates tokens, registers core semcons, bootstraps the economic layer.
+four branches of mathematics converge: algebra, complexity, order theory, computational intractability. four failure modes of computation (incorrect, slow, suboptimal, exposed) → four remedies. wrote [[cyber/research/four algebras]] with full independence analysis, rebuttal section (probability = nebu+genies+trop program, continuous = dual numbers, logic = arithmetization, quantum = host jet).
 
-updated [[hemera]] parameters across 29 files in 5 repos — canonical: Rp=16, 32-byte output, ~736 constraints. updated [[bbg]] from 13 NMT sub-roots to polynomial state (BBG_poly, 10 dimensions, no LogUp).
+## five new repos
 
-added [[Qu]] — quantum circuit language, the 15th [[cyb/languages|computation language]]. quantum is a co-processor (no-cloning theorem), not a 5th regime. F_p² algebra + kuro/trop compiler + host jets.
+| repo | what | LOC | tests |
+|------|------|-----|-------|
+| [[trop]] | tropical semiring (min,+) | 1,567 Rust | 77 |
+| [[genies]] | isogeny group action (CSIDH-512) | 1,997 Rust | 55 |
+| [[jali]] | polynomial ring R_q | 1,442 Rust | 70 |
+| [[lens]] | five polynomial commitment backends | spec | — |
+| [[kuro]] completed | F₂ tower → F₂¹²⁸ | 1,157 Rust | 77 |
 
-20 subgraphs building, 70K+ links in the graph.
+all five with: Cargo workspace (rs + wgsl + cli), reference specs, GPU compute backends, Trident (.tri) implementations, subgraph pages. total new arithmetic: 6,163 LOC, 279 tests.
+
+## seven spine
+
+rewrote [[cyb/stack]] from scratch:
+
+```
+hemera → lens → trident → cybergraph → nox → zheng → bbg
+ hash    commit  compile     link       run    prove   store
+```
+
+seven verbs. [[cybergraph]] is the vertebra — everything attaches to it. jets, memos, types, knowledge — all cyberlinks in one graph.
+
+## genesis crystal + self-hosting boundary
+
+the stack has a sharp boundary: below = Rust bootstrap required. above = pure .tri.
+
+genesis crystal: a .tri program that runs once with unlimited focus. creates tokens, registers core semcons (plumb, identity, social, geo), distributes initial balances. even genesis is proven.
+
+core semcons are not kernel, not apps — they are the first inhabitants of the proven stack.
+
+## [[Qu]] — quantum as 15th language
+
+no-cloning theorem makes standalone quantum computers structurally impossible. quantum is a co-processor: F_p² algebra (already in [[Trident]]) + kuro/trop compiler (T-count optimization via Reed-Muller decoding) + host jets (grover, shor, hhl, vqe, qaoa). not a 5th regime.
+
+## hemera canonical audit
+
+~115 corrections across 29 files in 5 repos. canonical params enforced everywhere: Rp=16 (not 64), 32-byte output (not 64), ~736 constraints (not ~300 or ~1,200), Blake3 = 50K-100K (not 15K). source of truth: hemera/specs/permutation.md.
+
+## lens — commitment layer
+
+new repo ~/git/lens with five polynomial commitment backends:
+
+| lens | construction | algebra |
+|------|-------------|---------|
+| scalar | Brakedown | [[nebu]] |
+| binary | Binius | [[kuro]] |
+| ring | Ikat | [[jali]] |
+| tropical | Assayer | [[trop]] |
+| isogeny | Porphyry | [[genies]] |
+
+~180 PCS → lens replacements across all research articles.
+
+## specs consolidation
+
+reference/ → specs/ across all 12 repos. specs are contracts, not references. nox specs decomposed to match rs module structure. pattern specs prefixed with tag numbers (00-axis .. 16-hint).
+
+## bootstrap plan
+
+three-stage bootstrap: Rust → self-host → proven. 12 phases, ~40-55 sessions total. Thompson trust solution via multi-implementation cross-verification. dual-language invariant: `∀ f, x: rust_f(x) == trident_f(x)`.
+
+[[trident]] nox target WIP: NoxCompiler + vm/nox target profile. 747 LOC. AST → Noun direct path (bypass TIR).
+
+## numbers
+
+15 repos pushed. 150+ commits. 20 subgraphs. 70K+ links. 12,773 LOC arithmetic (554 tests). 57K LOC compiler. the stack is real.

blog/2026_03_26.md

@@ -1,13 +1,52 @@
 programming model. dual objects. UTXO architecture.
 
-analyzed Neptune Cash two-script model (lock scripts + type scripts) and mapped it to [[cyber]]. the result: every [[cyberlink]] validated by two [[nox]] programs — lock (WHO can act) and semcon (WHAT rules apply). semcon always includes plumb (token conservation). no plumb without semcon. no semcon without plumb.
+## Neptune analysis → cyber programming model
 
-discovered the dual programming model: token (balance) + neuron (prog). tokens are what you have — lock scripts guard them, plumb enforces conservation. neurons are what you do — progs give them autonomous behavior. cyberlink is the action — neuron spends tokens to create knowledge edges. this combination (UTXO programming + agent programming) exists in no other system.
+analyzed Neptune Cash two-script model (lock scripts + type scripts). mapped to [[cyber]]:
 
-wrote [[cyber/research/programming model]] — semcons as type scripts, progs as autonomous agents, proof composition instead of contract calls. no reentrancy, no call stack, no gas estimation. proofs compose mathematically, calls compose procedurally.
+- lock script: WHO can act (neuron identity proof, multisig, timelock, delegation)
+- type script: WHAT rules apply (plumb conservation + semcon validation)
 
-corrected the cyberlink 7-tuple: ν (neuron), p (from), q (to), τ (token denomination), a (amount), v (valence), t (timestamp). τ is token, not conviction. conviction is derived from age.
+every [[cyberlink]] validated by two [[nox]] programs. semcon always includes plumb. no plumb without semcon. no semcon without plumb.
 
-fixed optica rendering — stray ``` swallowed an entire page into a code block. fixed hemera ~300→~736 in remaining files. pushed 111 commits across 15 repos.
+corrected the cyberlink 7-tuple:
 
-bootstrap plan updated: 7-spine with cybergraph as vertebra, genesis crystal phase, core semcons (plumb, identity, social, geo) as first inhabitants of the proven stack.
+```
+cyberlink(ν, p, q, τ, a, v, t)
+  ν = neuron         WHO
+  p = from particle  semantic source
+  q = to particle    semantic target
+  τ = token          WHICH denomination
+  a = amount         HOW MUCH
+  v = valence        DIRECTION (+1 / -1)
+  t = timestamp      WHEN
+```
+
+τ is token denomination, not conviction. conviction is derived from age of unspent cyberlink.
+
+## dual programming model
+
+two programming objects. this combination exists in no other system:
+
+| object | what | programming |
+|--------|------|-------------|
+| token (balance) | what you HAVE | lock scripts + plumb conservation |
+| neuron (prog) | what you DO | autonomous behavior via [[rune]] |
+
+cyberlink is the ACTION — neuron spends tokens to create knowledge edges. semcons constrain WHAT actions are valid. progs decide WHICH actions to take.
+
+proofs compose mathematically. calls compose procedurally. no reentrancy, no call stack, no gas estimation. a signal can contain cyberlinks governed by different semcons — zheng proof validates all atomically.
+
+wrote [[cyber/research/programming model]] with: semcons as type scripts, progs as autonomous agents, BBG_poly queries as shared state, comparison table vs Ethereum/Solana/Cardano/Nervos.
+
+## BBG polynomial state
+
+updated [[bbg]] from 13 NMT sub-roots to polynomial state: BBG_poly(index, key, t) = value. 10 dimensions. no NMT, no LogUp. cross-index consistency structural (same polynomial). ~200 bytes per proof, 10-50 μs.
+
+## fixes
+
+optica: stray ``` swallowed entire page into code block (wiki-links inside fenced blocks break comrak parser). fixed by removing the stray fence.
+
+hemera: remaining ~300→~736 fixes. .td→.tri across all files. bbg polynomial state in stack + subgraph page.
+
+111 commits pushed across 15 repos.