ワンクリックで
golden-chain
GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Coq proof editing rules for Trinity S3AI — honesty tags, Admitted conventions, and proof structure
Садовник IGLA RACE — управление садом обучающих запусков trios-train. Команды: status, prune, water, harvest, fertilize, weed, trellis, compost, full. Предпочитает tri gardener CLI (Rust) и HTML chart report с Chart.js. Триггеры: «/gardener», «садовник», слова про BPB/логи/упавшие процессы в контексте trios-train.
Boundary Theorems BT-1 through BT-4 — formal obstruction results and how to cite them correctly
Audit and heal anomalies in the Trinity S3AI second brain database
Edit the Trinity S3AI claim ledger — SSOT rules, YAML editing, and regeneration workflow
Run the complete Trinity S3AI honesty validation suite
| name | golden-chain |
| description | GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game |
| trigger | {"paths":["games/trinity_fold/**/*.rs","games/trinity_fold/fixtures/*.json"]} |
GOLDEN CHAIN is a hardware-verified proof chain, not evidence. It is implemented as a Rust + wasm 5-ring workspace:
ring0_core → ClaimStatus enum, claim definitions
ring1_constraints → Validation rules, anti-numerology gates
ring2_search → Search algorithms for tile placement
ring3_adapters → Adapters to external data sources
ring4_canvas → UI / rendering layer
app → Web application entry point (wasm)
Every link in the chain is either a Coq Qed., a silicon anchor (0x47C0), or a documented boundary theorem.
enum ClaimStatus {
Verified, // Coq Qed. or equivalent
EmpiricalFit, // Numerical coincidence with honesty tag
OpenConjecture, // Honestly open
HighRiskOrFalsified,// Refuted
Unverified, // Not yet assessed
}
Rule: The enum must stay in sync with docs/claims.yaml status vocabulary. If you add a new status to the YAML, you must add it here and regenerate fixtures/generated_claim_cards.json.
docs/claims.yaml with proper id, layer, status, evidence.python3 scripts/generate_claims.py to regenerate fixtures/generated_claim_cards.json.ring0_core::ClaimStatus.cd games/trinity_fold && cargo test --workspace.The game enforces the same regex patterns as scripts/anti_numerology_gate.py:
EmpiricalFit claim must have an approved honesty tag.phi, π, e without a tag are rejected..github/workflows/pages.yml builds and deploys on every push to main.games/trinity_fold/app.