GenesisCode Semantic Selfhost Authority Status v0.1
Audit date: 2026-08-13 Ledger identity: e3302dc5e6d2c161bf7ab2c52846a09ba8f500ee38ae5aae3098116bec951344
This view is an exact projection of the semantic-decision ledger, not an aggregation of broad capability labels. It is intentionally separate from docs/status/SELFHOST_CUTOVER.md, which reports command routing only. Routing cannot raise a functional decision to H0 and cannot establish H2 or H3.
Levels are the cumulative per-decision predicates in docs/spec/SELFHOST_CLOSURE_LEVELS_v0.1.md: H0 routed, H1 GenesisCode implementation, H2 GenesisCode production authority, H3 reproducible bootstrap fixpoint, and H4 independently reimplemented/conformant. Below H0 is a reporting state, not a closure level.
Summary
- Aggregate applicable-decision level: below H0
- Applicable semantic decisions:
36 - Declared residual stage0 decisions:
2
| Level | Decisions |
|---|---|
| Below H0 | 16 |
| H0 | 9 |
| H1 | 0 |
| H2 | 11 |
| H3 | 0 |
| H4 | 0 |
Semantic Authority
| ID | Decision | Applicability | Level | Production authority | Producer | Fallback | Commands | Migration |
|---|---|---|---|---|---|---|---|---|
SD-ROUTE-SELECTION |
CLI route and selfhost artifact selection | applicable | H0 | crates/gc_cli_driver/src/selfhost_frontend.rs |
selfhost/toolchain.gccrates/gc_cli_driver/src/selfhost_frontend.rs |
reachable-parity-harness |
agent-indexagent-planapply-patchbench/*cli-schemacommit/*debug/*evalexplainfmtgc/*keygenmcpoptimizepackparsepkg/*policy/*refs/*registry/*replayrunselfhost-artifactselfhost-dashboardsemantic-edit/*session/*signstore/*sync/*testtransparency-verifytypecheckvcs/*verifywarm |
R4.2.g |
SD-CLI-SCHEMA |
CLI and MCP schema projection | applicable | below H0 | crates/gc_cli_driver/src/cli_schema.rs |
crates/gc_cli_driver/src/cli_schema.rscrates/gc_cli_driver/src/mcp |
host-authoritative |
cli-schemamcpselfhost-dashboard |
R4.2.g |
SD-SOURCE-DECODE |
Source parsing and CoreForm lowering | applicable | H2 | selfhost/toolchain.gcselfhost/cli_coreform_v1.gc |
selfhost/parse.gcselfhost/parse_core_v1.gccrates/gc_coreform/src/parse.rs |
none-proven |
debug/*evalexplainfmtoptimizeparsereplayrun |
R4.2.a |
SD-CANON-IDENTITY |
Non-frontend canonical term and artifact identities | applicable | H0 | crates/gc_coreform/src |
selfhost/canon.gcselfhost/hash.gccrates/gc_coreform/src/canon.rs |
reachable-parity-harness |
vcs/*semantic-edit/*selfhost-artifact |
R4.2.cR4.2.eR4.4.a |
SD-PRINT-FORMAT |
Canonical and structured source printing | applicable | H2 | selfhost/toolchain.gcselfhost/cli_coreform_v1.gc |
selfhost/printerselfhost/printer/03_fmt_list_module.gccrates/gc_coreform/src/print.rs |
none-proven |
fmt |
R4.2.a |
SD-PURE-EVAL |
Reference pure evaluation, values, resources, and seals | residual-stage0 | below H0 | crates/gc_kernel/src |
crates/gc_kernel/src/eval_treewalk.rscrates/gc_kernel/src/value.rs |
declared-stage0-residual |
evalexplainrundebug/* |
R4.5.a |
SD-COMPILED-EXECUTION |
Compiled artifact decoding and execution | applicable | below H0 | crates/gc_kernel/src/compiled_runtime |
crates/gc_kernel/src/compiled.rscrates/gc_kernel/src/compiled_runtime |
host-authoritative |
internal | R3.1.fR4.5.c |
SD-EFFECT-POLICY |
Capability and policy authorization decisions | applicable | H2 | selfhost/toolchain.gcselfhost/effect_policy_authority_v1.gcselfhost/effect_policy_resource_authority_v1.gc |
selfhost/effect_policy_crypto_v1.gcselfhost/effect_policy_network_v1.gcselfhost/effect_policy_plugin_v1.gcselfhost/effect_policy_ffi_v1.gcselfhost/effect_policy_bridge_v1.gcselfhost/effect_policy_gpu_v1.gcselfhost/effect_policy_gfx_v1.gcselfhost/effect_policy_xr_v1.gcselfhost/effect_policy_resource_authority_v1.gcselfhost/effect_policy_authority_v1.gc |
none-proven |
agent-planruntestapply-patchstore/*refs/*commit/*pkg/*policy/*sync/*gc/*vcs/* |
R4.2.d |
SD-EFFECT-DISPATCH |
Physical host effect dispatch and containment | residual-stage0 | below H0 | crates/gc_effects/src |
crates/gc_effects/src/runner.rs |
declared-stage0-residual |
runreplay |
R4.5.b |
SD-REPLAY |
Strict deterministic effect-log replay | applicable | H2 | selfhost/toolchain.gcselfhost/effect_replay_authority_v1.gc |
selfhost/effect_replay_authority_v1.gc |
none-proven |
replay |
R4.2.d |
SD-DEBUG-TRACE |
Debugger trace, frame, timeline, and bisect decisions | applicable | below H0 | crates/gc_cli_driver/src/cmd_debug.rs |
crates/gc_cli_driver/src/cmd_debug.rs |
host-authoritative |
debug/* |
R4.2.g |
SD-TYPE-EFFECT |
Type, effect, contract, and diagnostic checking | applicable | H2 | selfhost/toolchain.gcselfhost/typecheck_package_report_v1.gc |
selfhost/typecheck_compat_v1.gcselfhost/typecheck_contract_profile_compose_v1.gcselfhost/typecheck_contract_profile_v1.gcselfhost/typecheck_core_v1.gcselfhost/typecheck_infer_app_v1.gcselfhost/typecheck_infer_apply_v1.gcselfhost/typecheck_infer_contract_v1.gcselfhost/typecheck_infer_core_v1.gcselfhost/typecheck_infer_effect_v1.gcselfhost/typecheck_infer_prim_v1.gcselfhost/typecheck_module_profile_descriptor_v1.gcselfhost/typecheck_module_profile_references_v1.gcselfhost/typecheck_module_profile_resolution_v1.gcselfhost/typecheck_package_context_v1.gcselfhost/typecheck_package_exports_v1.gcselfhost/typecheck_package_meta_v1.gcselfhost/typecheck_package_module_v1.gcselfhost/typecheck_package_report_v1.gcselfhost/typecheck_profile_negotiation_v1.gcselfhost/typecheck_typed_effects_v1.gcselfhost/typecheck_types_v1.gcselfhost/typecheck_unknown_signatures_v1.gc |
none-proven |
typecheck |
R4.2.b |
SD-OPTIMIZATION |
Rewrite selection and optimized CoreForm production | applicable | below H0 | crates/gc_opt/src |
crates/gc_opt/src |
host-authoritative |
optimize |
R4.2.f |
SD-WASM-TRANSLATION |
CoreForm to Wasm lowering and translation validation | applicable | below H0 | crates/gc_opt/src/stage2_wasm |
crates/gc_opt/src/stage2_wasmcrates/gc_wasm/src |
host-authoritative |
optimize |
R3.2.aR4.2.f |
SD-PATCH |
Semantic diff, patch, merge, and refactor decisions | applicable | H2 | selfhost/toolchain.gcselfhost/patch_authority_refactor_plan_v1.gcselfhost/patch_authority_diff_v1.gcselfhost/patch_authority_merge_v1.gcselfhost/patch_authority_apply_report_v1.gc |
selfhost/patch_schema_v1.gcselfhost/patch_authority_refactor_plan_v1.gcselfhost/patch_authority_diff_v1.gcselfhost/patch_authority_merge_v1.gcselfhost/patch_authority_apply_report_v1.gc |
none-proven |
apply-patchsemantic-edit/*session/* |
R4.2.c |
SD-OBLIGATION |
Obligation generation, evaluation, and promotion decisions | applicable | H2 | selfhost/toolchain.gcselfhost/obligation_authority_v1.gc |
selfhost/obligation_authority_core_v1.gcselfhost/obligation_authority_typecheck_v1.gcselfhost/obligation_authority_determinism_v1.gcselfhost/obligation_authority_lint_v1.gcselfhost/obligation_authority_ai_style_v1.gcselfhost/obligation_authority_preflight_v1.gcselfhost/obligation_authority_replay_v1.gcselfhost/obligation_authority_property_v1.gcselfhost/obligation_authority_stage_v1.gcselfhost/obligation_authority_coverage_v1.gcselfhost/obligation_authority_translation_v1.gcselfhost/obligation_authority_gfx_api_v1.gcselfhost/obligation_authority_gfx_runtime_v1.gcselfhost/obligation_authority_gfx_runtime_finalize_v1.gcselfhost/obligation_authority_v1.gc |
none-proven |
apply-patchpacktestpkg/*session/* |
R4.2.d |
SD-SESSION |
Transactional snapshot, stage, test, apply, and abort decisions | applicable | below H0 | crates/gc_cli_driver/src/agent_session.rs |
crates/gc_cli_driver/src/agent_session.rs |
host-authoritative |
session/* |
R4.2.g |
SD-AGENT-INDEX |
Agent card, symbol, diagnostic, and source indexing | applicable | below H0 | crates/gc_cli_driver/src/cmd_agent_index.rs |
crates/gc_cli_driver/src/cmd_agent_index.rs |
host-authoritative |
agent-index |
R4.2.g |
SD-AGENT-PLAN |
Structured intent workflow planning and policy prechecks | applicable | below H0 | crates/gc_cli_driver/src/cmd_agent_plan.rs |
crates/gc_cli_driver/src/cmd_agent_plan.rs |
host-authoritative |
agent-plan |
R4.2.g |
SD-BENCH |
Benchmark planning, execution, scoring, replay, custody, and registry decisions | applicable | below H0 | crates/gc_cli_driver/src/cmd_bench.rsscripts/lib |
crates/gc_cli_driver/src/cmd_bench.rsscripts/lib |
host-authoritative |
bench/* |
R4.2.g |
SD-SIGNING |
Key generation and artifact signing | applicable | H2 | selfhost/toolchain.gcselfhost/signing_authority_v1.gc |
selfhost/signing_authority_v1.gc |
none-proven |
keygensignbench/* |
R4.2.d |
SD-EVIDENCE-VERIFY |
Evidence, signature, transparency, package, and run verification | applicable | H2 | selfhost/toolchain.gcselfhost/evidence_verify_package_v1.gcselfhost/evidence_verify_authority_v1.gc |
selfhost/evidence_verify_package_v1.gcselfhost/evidence_verify_authority_v1.gcselfhost/toolchain.gc |
none-proven |
verifytransparency-verifyregistry/*bench/*sign |
R4.2.d |
SD-STORE |
Content-addressed object storage and integrity decisions | applicable | H0 | selfhost/store_authority_v1.gcselfhost/store_verify_authority_v1.gccrates/gc_effects/src/store_authority.rscrates/gc_effects/src/store_authority_read.rscrates/gc_effects/src/store_authority_verify.rscrates/gc_effects/src/policy_selfhost.rscrates/gc_effects/src/runner_cap_store.rscrates/gc_effects/src/runner_cap_store_read.rscrates/gc_effects/src/runner_cap_store_verify.rscrates/gc_effects/src/store.rs |
selfhost/toolchain.gcselfhost/store_authority_v1.gcselfhost/store_verify_authority_v1.gccrates/gc_cli_driver/src/cmd_store.rs |
reachable-parity-harness |
store/*refs/*commit/*gc/*verify |
R4.2.e |
SD-REFS |
Reference read, list, update, and delete decisions | applicable | H0 | selfhost/refs_authority_v1.gccrates/gc_effects/src/refs_authority.rscrates/gc_effects/src/runner_cap_refs.rs |
selfhost/toolchain.gcselfhost/refs_authority_v1.gccrates/gc_effects/src/refs_authority.rscrates/gc_cli_driver/src/cmd_refs.rs |
reachable-parity-harness |
refs/*gc/* |
R4.2.e |
SD-COMMIT |
Commit object construction and inspection | applicable | H0 | selfhost/commit_authority_v1.gccrates/gc_cli_driver/src/commit_authority.rscrates/gc_cli_driver/src/cmd_commit.rs |
selfhost/toolchain.gcselfhost/commit_authority_v1.gccrates/gc_cli_driver/src/commit_authority.rscrates/gc_cli_driver/src/cmd_commit.rs |
reachable-parity-harness |
commit/* |
R4.2.e |
SD-VCS |
Semantic VCS hash, diff, apply, log, blame, why, merge, and conflict decisions | applicable | H0 | crates/gc_vcs/src |
selfhost/cli_coreform_vcs_pkg_v1.gccrates/gc_vcs/src |
reachable-parity-harness |
vcs/* |
R4.2.e |
SD-PACKAGE-WORKSPACE |
Workspace, scaffold, manifest, migration, and environment decisions | applicable | below H0 | crates/gc_cli_driver/src/pkg_workspace_ops.rs |
crates/gc_cli_driver/src/pkg_workspace_ops.rs |
host-authoritative |
pkg/* |
R4.2.e |
SD-PACKAGE-RESOLUTION |
Package graph, lock, update, install, and dependency resolution | applicable | H0 | selfhost/pkg_lock_read_authority_v1.gcselfhost/pkg_lock_write_authority_v1.gcselfhost/pkg_resolution_identity_authority_v1.gccrates/gc_effects/src/pkg_lock_read_authority.rscrates/gc_effects/src/pkg_lock_write_authority.rscrates/gc_effects/src/pkg_resolution_identity_authority.rscrates/gc_effects/src/pkg_resolution_plan_authority.rscrates/gc_effects/src/runner_cap_pkg_low/dispatch_lock_io.rscrates/gc_effects/src/runner_cap_pkg_low/dispatch_lock_io/save_lock.rscrates/gc_pkg/src |
selfhost/toolchain.gcselfhost/cli_pkg_runtime_v1.gcselfhost/pkg_lock_read_authority_v1.gcselfhost/pkg_lock_write_authority_v1.gcselfhost/pkg_resolution_identity_authority_v1.gccrates/gc_effects/src/pkg_lock_read_authority.rscrates/gc_effects/src/pkg_lock_write_authority.rscrates/gc_effects/src/pkg_resolution_identity_authority.rscrates/gc_effects/src/pkg_resolution_plan_authority.rscrates/gc_pkg/src |
reachable-parity-harness |
pkg/* |
R4.2.e |
SD-PACKAGE-EXEC |
Package build, run, test, optimize, and qualification decisions | applicable | below H0 | crates/gc_cli_driver/src |
crates/gc_cli_driver/src/pkg_task_runner.rs |
host-authoritative |
pkg/*testpack |
R4.2.eR4.2.f |
SD-PACKAGE-DISTRIBUTION |
Snapshot, export, import, publish, and remote package decisions | applicable | H0 | crates/gc_pkg/srccrates/gc_registry/src |
selfhost/cli_pkg_runtime_updates_v1.gccrates/gc_pkg/src |
reachable-parity-harness |
pkg/* |
R4.2.e |
SD-PACKAGE-ABI-DEPLOY |
ABI, bridge, target, deploy-plan, and runtime-profile decisions | applicable | below H0 | crates/gc_cli_driver/src |
crates/gc_cli_driver/src/pkg_assurance_ops.rs |
host-authoritative |
pkg/* |
R4.2.eR4.2.g |
SD-POLICY-ALIAS |
Local policy alias and default selection | applicable | H2 | selfhost/toolchain.gcselfhost/policy_authority_v1.gc |
selfhost/policy_authority_v1.gc |
none-proven |
policy/* |
R4.2.d |
SD-REMOTE-SYNC |
Remote object/ref synchronization decisions | applicable | below H0 | crates/gc_registry/src |
crates/gc_cli_driver/src/cmd_sync.rscrates/gc_registry/src |
host-authoritative |
sync/* |
R4.2.e |
SD-REGISTRY |
Registry serving, admission, and retrieval decisions | applicable | below H0 | crates/gc_registry/src |
crates/gc_registry/srccrates/gc_cli_driver/src/cmd_registry.rs |
host-authoritative |
registry/*sync/* |
R4.2.e |
SD-ARTIFACT-GC |
Reachability, pin, purge, and artifact reclamation decisions | applicable | H0 | crates/gc_effects/src/runner_cap_gc_gpk_low.rs |
selfhost/cli_reachability_v1.gccrates/gc_cli_driver/src/cmd_gc.rs |
reachable-parity-harness |
gc/* |
R4.2.e |
SD-SELFHOST-ARTIFACT |
Selfhost artifact assembly, identity, freshness, and admission | applicable | below H0 | crates/gc_prelude/src/selfhost_coreform_v1.rs |
selfhost/toolchain.gccrates/gc_cli_driver/src/cmd_selfhost_artifact.rs |
host-authoritative |
selfhost-artifact |
R4.2.gR4.4.a |
SD-WARM-MCP |
Warm daemon, worker, MCP catalog, and request orchestration | applicable | below H0 | crates/gc_cli_driver/src |
crates/gc_cli_driver/src/warm_worker_process.rscrates/gc_cli_driver/src/mcp |
host-authoritative |
warmmcp |
R4.2.g |
SD-FRONTEND-CANON-IDENTITY |
Frontend canonical CoreForm bytes, module identity, and spans | applicable | H2 | selfhost/toolchain.gcselfhost/cli_coreform_v1.gc |
selfhost/canon.gcselfhost/cli_coreform_v1.gcselfhost/hash.gcselfhost/parse.gcselfhost/parse_core_v1.gcselfhost/printer/03_fmt_list_module.gc |
none-proven |
debug/*evalexplainfmtoptimizeparsereplayrun |
R4.2.a |
Claim Boundary
docs/spec/SELFHOST_CLOSURE_LEVELS_v0.1.jsonis the machine authority; every level requires all lower-level predicates and evidence classes.- H0 proves routing only; it does not prove GenesisCode implementation or authority.
- H1 requires a GenesisCode implementation but permits another production authority.
- H2 requires sole reachable GenesisCode semantic production authority and independently checked no-fallback evidence.
- H3 additionally requires repeated, cross-host stage2/stage3 fixpoint identity and DDC or equivalent source binding.
- H4 additionally requires a separately custodied independent reimplementation or complete proof-checking verifier with hidden controls.
- The minimal pure kernel and unavoidable host effects may use the reviewed non-promoting
N/Adisposition under the explicit stage0 contract;N/Ais not a closure level or score credit. - Broad capability-ledger selfhost labels are traceability summaries only. This exact decision ledger is authoritative for semantic selfhost status.