원클릭으로
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.