RH-W-18: Unified Certificate Backend and Single Verification Entry

The certificate schemas, dependencies, and completeness accumulated progressively from W-05 to W-17 are inconsistent — this package establishes a single CLI (rhcert.py) and a five-tier trust vocabulary to natively replay the verifier of each round one by one. The results are not all green: W-06 is marked as LEGACY_INCOMPLETE due to a missing 2×2 JSON in the public directory, and W-14 is marked as SUPERSEDED_RECERTIFIED due to a missing term in the original derivation — this is exactly the reason for the backend's existence.

RH_CLAIM = False — The claim status output by the verifier inside the package itself, reproduced exactly as is. The unified manifest fixes allowed_global_conclusion=FINITE_CERTIFICATE_BACKEND_ONLY; if the manifest is changed to RH_CLAIM=true, the verification will still reject it even if the hash is recalculated.

Connections

Relationships with other packages, using the words from its own documents as much as possible, not my interpretation. This package includes a complete archive of the original documents and verification scripts for packages W-04 through W-17 (records/) for backend replay; the contents are not listed again here, just link to each package's own page.

Belongs toResearch Starting Point v2.1 · Unified Certificate Backend

Previous PackageRH-W-17: Chamber-Aware Partitioning and Event Thin Layer

Next PackageRH-W-19: Reproducibility and Adversarial Certificate Audit

Batch 0118 / 20

"This status grid is more important than 'all rounds succeeded' because it separates the research content from the package quality... Package integrity and mathematical validity must be kept separate." — Excerpt from Documents 01 and 02 in this package.

W-05 to W-17 Historical Audit Results

From the table in Document 02 of this package, round-by-round replay results, reproduced exactly as is (including PROTOCOL_ONLY of W-04 and LEGACY_INCOMPLETE of W-06).

GAP Ledger

From RH-W-18_subgaps_v0.1.csv in the package; the status and results are all recorded by the package itself, not my retrospective judgments.

Reproduce

Unified CLI (list/verify all/verify single node) and red-team self-test:

python rhcert.py list
python rhcert.py verify
python rhcert.py verify --record RH-W-17
python redteam_backend.py

01 · Unified Certificate Backend and Single Verification Entry

Main document — Five certificate categories (NUMERICAL_MATRIX/PARAMETER_REGION/CHAMBER_COVER/STRUCTURAL_IDENTITY/PROTOCOL_ONLY), five stages of trust status, Claim firewall, and the unified semantic chain of Artifact Identity → Native Verification → Normalized Claim Record → Dependency Graph → Claim Firewall.

03 · GAP Updates and Batch 01 Progress

The work nodes closed in this round, the items not yet closed (W-06 missing files not yet recovered, no Lean/Coq layer yet), Batch 01 progress 18/20, and a preview of the next node W-19 (Error Certificate Zoo).

Verification Output

From VALIDATION.txt (local full verification), REDTEAM.txt (three types of attack self-tests), and INTEGRITY_VERIFY.txt in the package, reproduced line by line.

Loading...

Loading...

Files

This package archives all original files and verification scripts from W-04 to W-17 (records/, over 200 files), which are not listed individually but are all included in the full zip; for the contents of each package, please refer to their corresponding detail pages.

Download Complete Package (1.33 MB)

sha256 562df441e90c64ffb2a807a886ac69cde8920fa9f6daf978691e76d3c4d8aafb