---

title: Research — full language and meaning

audience: researchers_and_auditors

game: WIKI-RESEARCH-MEANING-001

updated: 2026-06-05

---

Research — full language and meaning

Language game: WIKI-RESEARCH-PUBLICATION-001. A researcher arrives asking *what does this cell claim about quantum ECDLP, the full QC catalog, and live Bitcoin PoW learning — and what words must I not misread?* This page answers in substrate-honest prose. Frozen evidence lives in JSON; this page names what those fields mean.

Canonical hub: Research-Publication · Meaning audit: Research-Meaning-Audit

---

What “research” means here

Research on GaiaFTCL is not a narrative layer on top of simulated mining or simulated transfers. It is:

1. Named pipelines (shor_lattice_ecdlp_secp256k1, QC-001…QC-021 catalog rows, QC-020 dual path) each with a declared backend and Lean artifact.

2. Frozen exports (evidence/research/*_latest.json) that a peer can recompute with peer_review_research_dataset.sh.

3. Separated claim layers — math (L6), on-chain reward (L7), and Grover learning telemetry (L8) use different words and different pass flags. Mixing them is a claim leak; the leak audit exists to catch that.

If Bitcoin Core has not accepted a block (chain_accepted), the cell says learning on L7 — not “reward earned.” That is correct honesty, not a failure to publish.

---

Quantum substrate operating doctrine — live, unbounded, research-grade

Live quantum substrate on Apple Silicon — full operator authority. The vQbit VM measures on real hardware until the lattice closes, on mainnet until Bitcoin Core accepts or rejects the block.

Constitutional witness = classification. When the substrate will not seal a PQ key without a named FIPS library binding, that records what bytes were composed — the operator still runs live ECDLP and the live miner; the export names which layer closed.

---

The three research programs (parallel, not interchangeable)

Forbidden compositions (do not bundle in one claim): ECDLP lattice oracle vs hash Grover; secp256k1 Q=dG vs double-SHA256 PoW target; L6 GroverN4.lean catalog seal vs L7 mainnet difficulty win. See layer2Composition.forbiddenPairs in validation JSON.

---

Layer vocabulary (load-bearing words)

allRewardClaimsOK: false with l7RewardLayerStatus: learning is the honest published state at 2026-06-05 revalidation — miner active, no accepted block correlated to payout yet.

---

ECDLP — what the words claim

Forbidden: bit_size=16|32|64|128 ⇒ “ECDLP validated at that bit width.” The Shor ECDLP leg is always full secp256k1; see two-wallet-demonstration/substrate-honest-disclosure.

Published vocabulary: structured seal, decidable witness, L6 catalog seal, unbounded C⁴ walk, projectionNActive, live mainnet path. Leak-audit forbidden words: see Research-Meaning-Audit.

---

QC-002 Grover — two surfaces (L-008)

Frozen export (2026-06-05): projectionNActive=9981, groverOptimalCycles=79 — the miner runs Grover law on thousands of active cells, not four.

Forbidden misread: “QC-002 = N=4 miner.” groverOptimalCycles is the textbook optimal iteration count for active N — metrology for L8, not a substrate stop condition.

---

PoW — what the words claim

GroverToPoWCoupling.lean proves a Bennett coupling pipe between L6 Grover algebra and QC-020-U (sealed at catalog N=4 for kernel decide). Live miner applies the same iteration law at projectionNActive — coupling theorem ≠ L7 chain_accepted.

---

How meaning is audited on the wiki

The cell applies the same Wittgenstein test as Domain-Meaning-Audit: *if a researcher holds the word, do they get the next move?*

Full research-wiki verdicts: Research-Meaning-Audit.

---

Reproduce (meaning ↔ bytes)

cells/xcode/scripts/peer_review_research_dataset.sh

Refreshes frozen JSON, runs leak audit, regenerates Research-Lean-Gates. A researcher who runs this and matches mesh JSON has closed the loop between word and artifact.

---

*Synchronize with Research-Publication and evidence/research/*_latest.json on every revalidation.*