Research wiki — meaning audit¶
GFTCL-RESEARCH-MEANING-AUDIT-001. Wittgenstein discipline applied to the public research surfaces (apex site, mesh wiki, frozen JSON). If a peer reviewer holds a word — Lean gate, learning, dual path, reward — and cannot find the next move, meaning failed.
Method (same as Domain-Meaning-Audit):
- Goal — what does the researcher bring?
- Affordance — what does the surface show?
- Path — step-by-step reach
- Verdict —
✓ alive/⊘ partial/✗ dead - Missing — named explicitly
Full language reference: Research-Meaning
Summary (2026-06-05)¶
| Surface | Verdict | Notes |
|---|---|---|
| Apex homepage research narrative | ✓ alive | What / how / why prose + live mining frontier + frozen stats from JSON |
/research/ short link |
✓ alive | Redirects to publication hub |
| Research-Instructions | ✓ alive | Copy-paste URLs + reproduce |
| Research-Publication | ✓ alive | Claims, refusals, frozen index |
| Research-Meaning | ✓ alive | Layer vocabulary + forbidden compositions |
| Research-Lean-Gates | ✓ alive | QC ↔ Lean roster; links resolve to apex |
Mesh /evidence/research/*.json |
✓ alive | Downloadable; schema-named fields |
| MkDocs research section (paper v3, QC-021 review) | ✓ alive | Full text on mesh wiki /wiki/research/ |
| two-wallet-demonstration/substrate-honest-disclosure | ✓ alive | Synced with Research-Meaning — structured seals vs arbitrary break |
| Wiki internal links (mesh HTML) | ✓ alive | Resolver maps slugs → /Research-Publication/ |
Net: Public research wiki is meaning-alive for external peer review. Research reach is web + CLI exports — no separate in-app panel.
1. Apex homepage — ✓ alive¶
Goal: “I landed on gaiaftcl.com — what is this cell’s published research, in plain language?”
Affordance: Research band under main headline: frozen date, three-program prose, L6/L7/L8 vocabulary, honest refusals, stats, CTAs.
Path: 1. Open https://gaiaftcl.com/ 2. Read research band (above download channels) 3. Click Research publication → full hub 4. Or Instructions for reviewers → email copy-paste
Verdict: ✓ alive after full-language homepage update.
2. Research-Instructions — ✓ alive¶
Goal: “I need one message to send a lab / patent examiner.”
Affordance: Canonical URLs table + reproduce command block.
Path: Open → copy block → colleague opens hub → downloads JSON → clones repo.
Verdict: ✓ alive.
3. Research-Publication — ✓ alive¶
Goal: “What does the paper claim and what does it refuse?”
Affordance: Layer tables, dual-path, improvement trend, peer-review log, open items.
Path: Hub → ECDLP section → QC VM flags → frozen artifact URLs → reproduce.
Verdict: ✓ alive. allRewardClaimsOK: false visible — not buried.
4. Research-Meaning — ✓ alive¶
Goal: “Define the words so I don’t misread JSON fields.”
Affordance: Glossary for L6/L7/L8, forbidden compositions, three programs.
Path: Linked from hub + homepage + this audit.
Verdict: ✓ alive.
5. Research-Lean-Gates — ✓ alive¶
Goal: “Which Lean file backs QC-014 / ECDLP?”
Affordance: QC catalog table + leanGates roster + mesh JSON links.
Path: Open → find row → GitHub link → optional lake build locally.
Verdict: ✓ alive. Links to Research-Publication use apex paths.
6. Frozen JSON on mesh — ✓ alive¶
Goal: “Verify without trusting HTML.”
Affordance: qc_vm_validation_latest.json with leanGates, validation.rows, qc020DualPath.
Path: Download → peer_review_research_dataset.sh → diff.
Verdict: ✓ alive.
7. Substrate-honest disclosure (two-wallet) — ✓ alive¶
Goal: “What bit-size / curve regime does the demonstration use?”
Affordance: Bit-size discipline, federation cosignature, demonstrates vs does-not; links to Research-Meaning.
Path: Disclosure → structured seals vs arbitrary break → Research-Meaning ECDLP glossary.
Verdict: ✓ alive (synced 2026-06-05; L-007 bit_size leak closed).
Claim-leak meaning checks (research JSON)¶
| Leak risk | Guard | Meaning preserved? |
|---|---|---|
| L8 learning ⇒ BTC earned | Separate allRewardClaimsOK |
✓ |
| L6 GroverN4 seal ⇒ live search space | QC-002 two-surface table + projectionNActive in L8 JSON |
✓ |
| L6 GroverN4 seal ⇒ mainnet PoW win | forbiddenPairs, dual-path policy |
✓ |
| ECDLP structured seal ⇒ universal break | leakNote on rows + disclosure + Research-Meaning |
✓ |
Wallet bit_size ⇒ mis-scoped ECDLP |
Disclosure two-surface table + Research-Meaning forbidden line | ✓ |
vqbit_metal on PoW |
substrateComputeBackendNote |
✓ |
| Simulated transfer / reward | No simulation in export paths | ✓ |
| Demo-only / nanny / cap language in research export | L-008 audit + forbidden-word scan on frozen JSON | ✓ |
| ECDLP walk unbounded | ShorECDLPSubstrate C⁴ while true; disclosure states unbounded walk |
✓ |
Forbidden in published research prose / export strings: demo-only, nanny, guardrail pack, capped at, probe cap (as limit), toy (as claim). Audit: cells/xcode/scripts/audit_qc020_dual_path_leaks.py L-008.
Operator actions after audit¶
- Run
cells/xcode/scripts/peer_review_research_dataset.shbefore mesh deploy. - Send peers https://gaiaftcl.com/Research-Instructions/ first.
- Re-run
export_quantum_vm_research.shafter any QC or Lean gate change before the next mesh deploy.
Audit pairs with Research-Meaning and frozen qc_vm_validation_latest.json.
Federation-cosigned
This page's source is sealed in the GaiaFTCL federation manifest — page SHA-256 c4151b6db1945e80…, manifest witness a9e5b3af1950489c…, signed 2026-06-05T18:49:54Z by cell gaiaftcl-mac-cell. Verify with gaiaftcl wiki sign --all and compare wiki-all-signatures.json.