Skip to main content

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.gc
crates/gc_cli_driver/src/selfhost_frontend.rs
reachable-parity-harness agent-index
agent-plan
apply-patch
bench/*
cli-schema
commit/*
debug/*
eval
explain
fmt
gc/*
keygen
mcp
optimize
pack
parse
pkg/*
policy/*
refs/*
registry/*
replay
run
selfhost-artifact
selfhost-dashboard
semantic-edit/*
session/*
sign
store/*
sync/*
test
transparency-verify
typecheck
vcs/*
verify
warm
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.rs
crates/gc_cli_driver/src/mcp
host-authoritative cli-schema
mcp
selfhost-dashboard
R4.2.g
SD-SOURCE-DECODE Source parsing and CoreForm lowering applicable H2 selfhost/toolchain.gc
selfhost/cli_coreform_v1.gc
selfhost/parse.gc
selfhost/parse_core_v1.gc
crates/gc_coreform/src/parse.rs
none-proven debug/*
eval
explain
fmt
optimize
parse
replay
run
R4.2.a
SD-CANON-IDENTITY Non-frontend canonical term and artifact identities applicable H0 crates/gc_coreform/src selfhost/canon.gc
selfhost/hash.gc
crates/gc_coreform/src/canon.rs
reachable-parity-harness vcs/*
semantic-edit/*
selfhost-artifact
R4.2.c
R4.2.e
R4.4.a
SD-PRINT-FORMAT Canonical and structured source printing applicable H2 selfhost/toolchain.gc
selfhost/cli_coreform_v1.gc
selfhost/printer
selfhost/printer/03_fmt_list_module.gc
crates/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.rs
crates/gc_kernel/src/value.rs
declared-stage0-residual eval
explain
run
debug/*
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.rs
crates/gc_kernel/src/compiled_runtime
host-authoritative internal R3.1.f
R4.5.c
SD-EFFECT-POLICY Capability and policy authorization decisions applicable H2 selfhost/toolchain.gc
selfhost/effect_policy_authority_v1.gc
selfhost/effect_policy_resource_authority_v1.gc
selfhost/effect_policy_crypto_v1.gc
selfhost/effect_policy_network_v1.gc
selfhost/effect_policy_plugin_v1.gc
selfhost/effect_policy_ffi_v1.gc
selfhost/effect_policy_bridge_v1.gc
selfhost/effect_policy_gpu_v1.gc
selfhost/effect_policy_gfx_v1.gc
selfhost/effect_policy_xr_v1.gc
selfhost/effect_policy_resource_authority_v1.gc
selfhost/effect_policy_authority_v1.gc
none-proven agent-plan
run
test
apply-patch
store/*
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 run
replay
R4.5.b
SD-REPLAY Strict deterministic effect-log replay applicable H2 selfhost/toolchain.gc
selfhost/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.gc
selfhost/typecheck_package_report_v1.gc
selfhost/typecheck_compat_v1.gc
selfhost/typecheck_contract_profile_compose_v1.gc
selfhost/typecheck_contract_profile_v1.gc
selfhost/typecheck_core_v1.gc
selfhost/typecheck_infer_app_v1.gc
selfhost/typecheck_infer_apply_v1.gc
selfhost/typecheck_infer_contract_v1.gc
selfhost/typecheck_infer_core_v1.gc
selfhost/typecheck_infer_effect_v1.gc
selfhost/typecheck_infer_prim_v1.gc
selfhost/typecheck_module_profile_descriptor_v1.gc
selfhost/typecheck_module_profile_references_v1.gc
selfhost/typecheck_module_profile_resolution_v1.gc
selfhost/typecheck_package_context_v1.gc
selfhost/typecheck_package_exports_v1.gc
selfhost/typecheck_package_meta_v1.gc
selfhost/typecheck_package_module_v1.gc
selfhost/typecheck_package_report_v1.gc
selfhost/typecheck_profile_negotiation_v1.gc
selfhost/typecheck_typed_effects_v1.gc
selfhost/typecheck_types_v1.gc
selfhost/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_wasm
crates/gc_wasm/src
host-authoritative optimize R3.2.a
R4.2.f
SD-PATCH Semantic diff, patch, merge, and refactor decisions applicable H2 selfhost/toolchain.gc
selfhost/patch_authority_refactor_plan_v1.gc
selfhost/patch_authority_diff_v1.gc
selfhost/patch_authority_merge_v1.gc
selfhost/patch_authority_apply_report_v1.gc
selfhost/patch_schema_v1.gc
selfhost/patch_authority_refactor_plan_v1.gc
selfhost/patch_authority_diff_v1.gc
selfhost/patch_authority_merge_v1.gc
selfhost/patch_authority_apply_report_v1.gc
none-proven apply-patch
semantic-edit/*
session/*
R4.2.c
SD-OBLIGATION Obligation generation, evaluation, and promotion decisions applicable H2 selfhost/toolchain.gc
selfhost/obligation_authority_v1.gc
selfhost/obligation_authority_core_v1.gc
selfhost/obligation_authority_typecheck_v1.gc
selfhost/obligation_authority_determinism_v1.gc
selfhost/obligation_authority_lint_v1.gc
selfhost/obligation_authority_ai_style_v1.gc
selfhost/obligation_authority_preflight_v1.gc
selfhost/obligation_authority_replay_v1.gc
selfhost/obligation_authority_property_v1.gc
selfhost/obligation_authority_stage_v1.gc
selfhost/obligation_authority_coverage_v1.gc
selfhost/obligation_authority_translation_v1.gc
selfhost/obligation_authority_gfx_api_v1.gc
selfhost/obligation_authority_gfx_runtime_v1.gc
selfhost/obligation_authority_gfx_runtime_finalize_v1.gc
selfhost/obligation_authority_v1.gc
none-proven apply-patch
pack
test
pkg/*
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.rs
scripts/lib
crates/gc_cli_driver/src/cmd_bench.rs
scripts/lib
host-authoritative bench/* R4.2.g
SD-SIGNING Key generation and artifact signing applicable H2 selfhost/toolchain.gc
selfhost/signing_authority_v1.gc
selfhost/signing_authority_v1.gc none-proven keygen
sign
bench/*
R4.2.d
SD-EVIDENCE-VERIFY Evidence, signature, transparency, package, and run verification applicable H2 selfhost/toolchain.gc
selfhost/evidence_verify_package_v1.gc
selfhost/evidence_verify_authority_v1.gc
selfhost/evidence_verify_package_v1.gc
selfhost/evidence_verify_authority_v1.gc
selfhost/toolchain.gc
none-proven verify
transparency-verify
registry/*
bench/*
sign
R4.2.d
SD-STORE Content-addressed object storage and integrity decisions applicable H0 selfhost/store_authority_v1.gc
selfhost/store_verify_authority_v1.gc
crates/gc_effects/src/store_authority.rs
crates/gc_effects/src/store_authority_read.rs
crates/gc_effects/src/store_authority_verify.rs
crates/gc_effects/src/policy_selfhost.rs
crates/gc_effects/src/runner_cap_store.rs
crates/gc_effects/src/runner_cap_store_read.rs
crates/gc_effects/src/runner_cap_store_verify.rs
crates/gc_effects/src/store.rs
selfhost/toolchain.gc
selfhost/store_authority_v1.gc
selfhost/store_verify_authority_v1.gc
crates/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.gc
crates/gc_effects/src/refs_authority.rs
crates/gc_effects/src/runner_cap_refs.rs
selfhost/toolchain.gc
selfhost/refs_authority_v1.gc
crates/gc_effects/src/refs_authority.rs
crates/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.gc
crates/gc_cli_driver/src/commit_authority.rs
crates/gc_cli_driver/src/cmd_commit.rs
selfhost/toolchain.gc
selfhost/commit_authority_v1.gc
crates/gc_cli_driver/src/commit_authority.rs
crates/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.gc
crates/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.gc
selfhost/pkg_lock_write_authority_v1.gc
selfhost/pkg_resolution_identity_authority_v1.gc
crates/gc_effects/src/pkg_lock_read_authority.rs
crates/gc_effects/src/pkg_lock_write_authority.rs
crates/gc_effects/src/pkg_resolution_identity_authority.rs
crates/gc_effects/src/pkg_resolution_plan_authority.rs
crates/gc_effects/src/runner_cap_pkg_low/dispatch_lock_io.rs
crates/gc_effects/src/runner_cap_pkg_low/dispatch_lock_io/save_lock.rs
crates/gc_pkg/src
selfhost/toolchain.gc
selfhost/cli_pkg_runtime_v1.gc
selfhost/pkg_lock_read_authority_v1.gc
selfhost/pkg_lock_write_authority_v1.gc
selfhost/pkg_resolution_identity_authority_v1.gc
crates/gc_effects/src/pkg_lock_read_authority.rs
crates/gc_effects/src/pkg_lock_write_authority.rs
crates/gc_effects/src/pkg_resolution_identity_authority.rs
crates/gc_effects/src/pkg_resolution_plan_authority.rs
crates/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/*
test
pack
R4.2.e
R4.2.f
SD-PACKAGE-DISTRIBUTION Snapshot, export, import, publish, and remote package decisions applicable H0 crates/gc_pkg/src
crates/gc_registry/src
selfhost/cli_pkg_runtime_updates_v1.gc
crates/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.e
R4.2.g
SD-POLICY-ALIAS Local policy alias and default selection applicable H2 selfhost/toolchain.gc
selfhost/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.rs
crates/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/src
crates/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.gc
crates/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.gc
crates/gc_cli_driver/src/cmd_selfhost_artifact.rs
host-authoritative selfhost-artifact R4.2.g
R4.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.rs
crates/gc_cli_driver/src/mcp
host-authoritative warm
mcp
R4.2.g
SD-FRONTEND-CANON-IDENTITY Frontend canonical CoreForm bytes, module identity, and spans applicable H2 selfhost/toolchain.gc
selfhost/cli_coreform_v1.gc
selfhost/canon.gc
selfhost/cli_coreform_v1.gc
selfhost/hash.gc
selfhost/parse.gc
selfhost/parse_core_v1.gc
selfhost/printer/03_fmt_list_module.gc
none-proven debug/*
eval
explain
fmt
optimize
parse
replay
run
R4.2.a

Claim Boundary

  • docs/spec/SELFHOST_CLOSURE_LEVELS_v0.1.json is 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/A disposition under the explicit stage0 contract; N/A is 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.