ワンクリックでManusで任意のスキルを実行

始める

honesty-check

スター0

フォーク0

更新日2026年5月29日 08:53

Run the complete Trinity S3AI honesty validation suite

インストール

Codex または Claude でインストールこの Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。

Manusで実行

ソース

gHashTag

gHashTag/trinity-s3ai

GitHub リポジトリを開く Creator のリポジトリを見る

ダウンロード

Manusで実行

/honesty-check

Run the complete Trinity S3AI validation suite and report PASS/FAIL for each check.

Steps

Anti-numerology gate: python3 scripts/anti_numerology_gate.py
Honest admitted counter: python3 scripts/count_admitted_honest.py
Formula bounds validator: python3 scripts/validators/validate_v4.py
Claim ledger consistency: python3 scripts/generate_claims.py --check
English-only scan: bash scripts/check_english_only.sh
Coq build (optional, slow): cd proofs/trinity && coq_makefile -f _CoqProject -o Makefile.coq && make -f Makefile.coq -j$(nproc)
Rust tests (optional): cd games/trinity_fold && cargo test --workspace

Report format

Honesty Check Results
=====================
1. Anti-numerology gate:    [PASS/FAIL]
2. Admitted counter:        [PASS/FAIL] — X real Admitted found
3. Formula bounds:          [PASS/FAIL] — mean error: Y
4. Claim ledger:            [PASS/FAIL]
5. English-only:            [PASS/FAIL]
6. Coq build:               [PASS/FAIL] (if run)
7. Rust tests:              [PASS/FAIL] (if run)

FINAL VERDICT: [PASS / FAIL]

Notes

If any check fails, explain what failed and suggest the fix.
The admitted counter strips comments before counting — a naive grep would find 77 occurrences, all inside comments.
docs/claims.yaml is the SSOT; never edit the README claim table by hand.

このリポジトリの他の Skills

同じリポジトリ

coq-honesty

gHashTag/trinity-s3ai

Coq proof editing rules for Trinity S3AI — honesty tags, Admitted conventions, and proof structure

2026-05-310

gardener

gHashTag/trinity-s3ai

Садовник 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.

2026-05-310

boundary-theorems

gHashTag/trinity-s3ai

Boundary Theorems BT-1 through BT-4 — formal obstruction results and how to cite them correctly

2026-05-290

brain-health

gHashTag/trinity-s3ai

Audit and heal anomalies in the Trinity S3AI second brain database

2026-05-290

claim-ledger

gHashTag/trinity-s3ai

Edit the Trinity S3AI claim ledger — SSOT rules, YAML editing, and regeneration workflow

2026-05-290

golden-chain

gHashTag/trinity-s3ai

GOLDEN CHAIN puzzle — hardware-verified proof chain, ClaimStatus rules, scoring, ring architecture, and how to modify the game

2026-05-290

name	honesty-check
description	Run the complete Trinity S3AI honesty validation suite

/honesty-check

Run the complete Trinity S3AI validation suite and report PASS/FAIL for each check.

Steps

Anti-numerology gate: python3 scripts/anti_numerology_gate.py
Honest admitted counter: python3 scripts/count_admitted_honest.py
Formula bounds validator: python3 scripts/validators/validate_v4.py
Claim ledger consistency: python3 scripts/generate_claims.py --check
English-only scan: bash scripts/check_english_only.sh
Coq build (optional, slow): cd proofs/trinity && coq_makefile -f _CoqProject -o Makefile.coq && make -f Makefile.coq -j$(nproc)
Rust tests (optional): cd games/trinity_fold && cargo test --workspace

Report format

Honesty Check Results
=====================
1. Anti-numerology gate:    [PASS/FAIL]
2. Admitted counter:        [PASS/FAIL] — X real Admitted found
3. Formula bounds:          [PASS/FAIL] — mean error: Y
4. Claim ledger:            [PASS/FAIL]
5. English-only:            [PASS/FAIL]
6. Coq build:               [PASS/FAIL] (if run)
7. Rust tests:              [PASS/FAIL] (if run)

FINAL VERDICT: [PASS / FAIL]

Notes

If any check fails, explain what failed and suggest the fix.
The admitted counter strips comments before counting — a naive grep would find 77 occurrences, all inside comments.
docs/claims.yaml is the SSOT; never edit the README claim table by hand.