Feature Matrix Evidence Ledger v0.1
Machine-readable source: docs/spec/FEATURE_MATRIX_EVIDENCE_v0.1.json. Generated status view: feature_matrix.md. Canonical source: docs/spec/CAPABILITY_EVIDENCE_LEDGER_v0.1.json.
- Audit date:
2026-08-11 - Capability entries:
29 - L5 release-eligible entries:
0
| ID | Capability | Level | Specs | Implementations | Checks | Evidence IDs | Gaps |
|---|---|---|---|---|---|---|---|
CAP-KERNEL-DETERMINISM |
Pure deterministic kernel separated from effects | L1 / N/A | docs/spec/CLI.mddocs/spec/SEALS_DISPATCH_REPLAY.mddocs/spec/DETERMINISM.md |
crates/gc_kernel/src |
scripts/check_upgrade_plan_health.shscripts/check_no_user_panics.sh |
E1:cap-kernel-determinism/check-1E1:cap-kernel-determinism/check-2 |
R7.2.a |
CAP-COREFORM-IDENTITY |
Canonical CoreForm IR + stable content hash identity | L1 / H0 | docs/spec/CLI.mddocs/spec/COREFORM_CANON_HASH.md |
crates/gc_coreform/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-coreform-identity/check-1 |
R4.2.aR7.2.f |
CAP-SEALED-PROTOCOL |
Sealed unforgeable UNHANDLED/EFFECT/ERROR protocol |
L1 / N/A | docs/spec/CLI.mddocs/spec/SEALS_DISPATCH_REPLAY.mddocs/spec/DETERMINISM.md |
crates/gc_kernel/srccrates/gc_prelude/src |
scripts/check_upgrade_plan_health.shscripts/check_no_user_panics.sh |
E1:cap-sealed-protocol/check-1E1:cap-sealed-protocol/check-2 |
R7.2.b |
CAP-DENY-DEFAULT-POLICY |
Deny-by-default capability policy runtime | L1 / H0 | docs/spec/CLI.md |
crates/gc_effects/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-deny-default-policy/check-1 |
R4.2.dR7.3.a |
CAP-EFFECT-REPLAY |
Deterministic effect logs + replay checker | L1 / H0 | docs/spec/CLI.mddocs/spec/SEALS_DISPATCH_REPLAY.mddocs/spec/DETERMINISM.md |
crates/gc_effects/src |
scripts/check_upgrade_plan_health.shscripts/check_no_user_panics.sh |
E1:cap-effect-replay/check-1E1:cap-effect-replay/check-2 |
R7.2.c |
CAP-SEMANTIC-VCS |
Built-in semantic VCS (commit/patch/refs/merge3) |
L1 / H0 | docs/spec/CLI.md |
crates/gc_vcs/srccrates/gc_patches/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-semantic-vcs/check-1 |
R4.2.cR4.2.e |
CAP-PACKAGE-MANAGER |
Built-in package/project manager (pkg/gcpm) |
L1 / H0 | docs/spec/CLI.mddocs/spec/GCPM_BUNDLE_v0.1.mddocs/spec/GCPM_JSON_SCHEMAS_v0.1.md |
crates/gc_pkg/srccrates/gc_cli_driver/src |
scripts/check_upgrade_plan_health.shscripts/check_foundation_stdlib_conformance.sh |
E1:cap-package-manager/check-1E1:cap-package-manager/check-2 |
R4.2.eR6.1.a |
CAP-ARTIFACT-GC |
Reachability-based artifact GC (refs + locks + pins) |
L1 / H0 | docs/spec/CLI.mddocs/spec/GCPM_BUNDLE_v0.1.mddocs/spec/GCPM_JSON_SCHEMAS_v0.1.mddocs/spec/SELF_HOST_BOUNDARY.md |
crates/gc_pkg/srccrates/gc_vcs/src |
scripts/check_upgrade_plan_health.shscripts/check_foundation_stdlib_conformance.shscripts/check_selfhost_boundary.shscripts/check_selfhost_artifact_fresh.sh |
E1:cap-artifact-gc/check-1E1:cap-artifact-gc/check-2E1:cap-artifact-gc/check-3E1:cap-artifact-gc/check-4 |
R4.2.e |
CAP-EVIDENCE-GATED-PUBLISH |
Obligation/evidence/attestation-gated publish + ref updates | L1 / H0 | docs/spec/CLI.md |
crates/gc_obligations/srccrates/gc_registry/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-evidence-gated-publish/check-1 |
R4.2.dR6.2.d |
CAP-RUNTIME-SURFACES |
Native + WASI + wasm-host runtime surfaces | L1 / H0 | docs/spec/CLI.md |
crates/gc_cli/srccrates/gc_wasi_cli/srccrates/gc_wasm/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-runtime-surfaces/check-1 |
R3.2.aR6.3.a |
CAP-SELFHOST-FRONTEND |
Selfhost frontend default in production CLIs | L1 / H0 | docs/spec/CLI.mddocs/spec/SELF_HOST_BOUNDARY.md |
selfhostcrates/gc_cli_driver/src |
scripts/check_upgrade_plan_health.shscripts/check_selfhost_boundary.shscripts/check_selfhost_artifact_fresh.sh |
E1:cap-selfhost-frontend/check-1E1:cap-selfhost-frontend/check-2E1:cap-selfhost-frontend/check-3 |
R4.2.aR4.2.g |
CAP-SELFHOST-CUTOVER |
Full selfhost cutover profile + readiness scorecard | L1 / H0 | docs/spec/CLI.mddocs/spec/SELF_HOST_BOUNDARY.md |
selfhostscripts |
scripts/check_upgrade_plan_health.shscripts/check_selfhost_boundary.shscripts/check_selfhost_artifact_fresh.sh |
E1:cap-selfhost-cutover/check-1E1:cap-selfhost-cutover/check-2E1:cap-selfhost-cutover/check-3 |
R4.4.c |
CAP-STRICT-NO-FALLBACK |
Strict no-production Rust semantic fallback guard | L1 / H0 | docs/spec/CLI.md |
crates/gc_cli_driver/srcscripts |
scripts/check_upgrade_plan_health.sh |
E1:cap-strict-no-fallback/check-1 |
R4.1.cR4.1.e |
CAP-AGENT-JSON-CONTRACTS |
CLI + GCPM JSON schema contracts for agent automation | L1 / H0 | docs/spec/CLI.mddocs/spec/GCPM_BUNDLE_v0.1.mddocs/spec/GCPM_JSON_SCHEMAS_v0.1.mddocs/spec/CLI_JSON_SCHEMAS_v0.1.mddocs/spec/AGENT_AUTHORING_BUNDLE_v0.1.mddocs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md |
crates/gc_cli_driver/srcdocs/spec |
scripts/check_upgrade_plan_health.shscripts/check_foundation_stdlib_conformance.shscripts/check_cli_diagnostics_contract.shscripts/check_agent_reference_workflows.sh |
E1:cap-agent-json-contracts/check-1E1:cap-agent-json-contracts/check-2E1:cap-agent-json-contracts/check-3E1:cap-agent-json-contracts/check-4 |
R1.3.c |
CAP-AGENT-SKILL-PACK |
Agent index + skill-pack conformance contracts | L1 / N/A | docs/spec/CLI.mddocs/spec/AGENT_AUTHORING_BUNDLE_v0.1.mddocs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md |
.agents/skills/genesiscode-authoringdocs/skill_pack/write_genesiscode_v1 |
scripts/check_upgrade_plan_health.shscripts/check_agent_reference_workflows.sh |
E1:cap-agent-skill-pack/check-1E1:cap-agent-skill-pack/check-2 |
R1.5.aR1.5.f |
CAP-DOMAIN-STARTERS |
Domain starter registry for agent workflows | L1 / N/A | docs/spec/CLI.mddocs/spec/AGENT_AUTHORING_BUNDLE_v0.1.mddocs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md |
examplesdocs/spec |
scripts/check_upgrade_plan_health.shscripts/check_agent_reference_workflows.sh |
E1:cap-domain-starters/check-1E1:cap-domain-starters/check-2 |
R8.3.a |
CAP-AGENT-WORKLOAD-PARITY |
Agent generative workload parity gates (native vs WASI) | L1 / N/A | docs/spec/CLI.mddocs/spec/AGENT_AUTHORING_BUNDLE_v0.1.mddocs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md |
examplesscripts |
scripts/check_upgrade_plan_health.shscripts/check_agent_reference_workflows.sh |
E1:cap-agent-workload-parity/check-1E1:cap-agent-workload-parity/check-2 |
R1.4.cR8.2.a |
CAP-AGENT-WORKSPACE-PERF |
Large-workspace agent iteration perf lane | L1 / N/A | docs/spec/CLI.mddocs/spec/GCPM_BUNDLE_v0.1.mddocs/spec/GCPM_JSON_SCHEMAS_v0.1.mddocs/spec/AGENT_AUTHORING_BUNDLE_v0.1.mddocs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.mddocs/spec/TEST_EXECUTION_PROFILES_v0.1.md |
scriptscrates/gc_cli_driver/src |
scripts/check_upgrade_plan_health.shscripts/check_foundation_stdlib_conformance.shscripts/check_agent_reference_workflows.shscripts/check_perf_budgets.sh |
E1:cap-agent-workspace-perf/check-1E1:cap-agent-workspace-perf/check-2E1:cap-agent-workspace-perf/check-3E1:cap-agent-workspace-perf/check-4 |
R2.3.e |
CAP-CONCURRENCY-REPLAY |
Concurrency/task replay stress lane | L1 / H0 | docs/spec/CLI.mddocs/spec/CONCURRENCY_v0.1.md |
crates/gc_effects/srcprelude |
scripts/check_upgrade_plan_health.shscripts/check_task_concurrency_stress.sh |
E1:cap-concurrency-replay/check-1E1:cap-concurrency-replay/check-2 |
R5.2.aR5.2.e |
CAP-GPU-COMPUTE |
GPU compute capability independent of graphics surface | L1 / N/A | docs/spec/CLI.mddocs/spec/GPU_GFX_BUNDLE_v0.1.mddocs/spec/GPU_COMPUTE_RUNTIME_PROFILE_v0.1.mddocs/spec/GPU_COMPUTE_BUNDLE_v0.1.md |
crates/gc_gfx/srccrates/gc_effects/src |
scripts/check_upgrade_plan_health.shscripts/check_gpu_compute_runtime_profile.shscripts/check_gpu_stack_decoupling.shscripts/check_gfx_runtime_profile.sh |
E1:cap-gpu-compute/check-1E1:cap-gpu-compute/check-2E1:cap-gpu-compute/check-3E1:cap-gpu-compute/check-4 |
R8.2.h |
CAP-GRAPHICS-RUNTIME |
Graphics/window/input/audio capability families | L1 / N/A | docs/spec/CLI.mddocs/spec/GPU_GFX_BUNDLE_v0.1.mddocs/spec/GPU_COMPUTE_RUNTIME_PROFILE_v0.1.mddocs/spec/GFX_RUNTIME_BUNDLE_v0.1.md |
crates/gc_gfx/srccrates/gc_effects/src |
scripts/check_upgrade_plan_health.shscripts/check_gpu_compute_runtime_profile.shscripts/check_gpu_stack_decoupling.shscripts/check_gfx_runtime_profile.sh |
E1:cap-graphics-runtime/check-1E1:cap-graphics-runtime/check-2E1:cap-graphics-runtime/check-3E1:cap-graphics-runtime/check-4 |
R8.3.a |
CAP-BROWSER-XR |
Browser + XR runtime families | L1 / N/A | docs/spec/CLI.mddocs/spec/XR_HOST_RUNTIME_v0.1.mddocs/spec/BROWSER_HOST_RUNTIME_v0.1.md |
crates/gc_gfx/srccrates/gc_effects/src |
scripts/check_upgrade_plan_health.shscripts/check_webxr_browser_conformance_lane.sh |
E1:cap-browser-xr/check-1E1:cap-browser-xr/check-2 |
R8.2.e |
CAP-PLUGIN-FFI |
Host plugin + FFI schemas/contracts | L1 / H0 | docs/spec/CLI.mddocs/spec/HOST_ABI.mddocs/spec/PLUGIN_ABI_SCHEMAS_v0.1.mddocs/spec/CLI_JSON_SCHEMAS_v0.1.md |
crates/gc_effects/srcdocs/spec |
scripts/check_upgrade_plan_health.shscripts/check_host_abi_conformance.shscripts/check_cli_diagnostics_contract.sh |
E1:cap-plugin-ffi/check-1E1:cap-plugin-ffi/check-2E1:cap-plugin-ffi/check-3 |
R5.5.aR5.5.c |
CAP-HOST-BRIDGE |
First-party bridge for network/process/db/crypto/plugin/ffi | L1 / H0 | docs/spec/CLI.mddocs/spec/HOST_ABI.mddocs/spec/PLUGIN_ABI_SCHEMAS_v0.1.md |
crates/gc_effects/src |
scripts/check_upgrade_plan_health.shscripts/check_host_abi_conformance.sh |
E1:cap-host-bridge/check-1E1:cap-host-bridge/check-2 |
R7.3.b |
CAP-STAGE2-WASM-VALIDATION |
Stage2 CoreForm->WASM translation-validation | L1 / H0 | docs/spec/CLI.mddocs/spec/COREFORM_CANON_HASH.md |
crates/gc_wasm/srccrates/gc_opt/src |
scripts/check_upgrade_plan_health.sh |
E1:cap-stage2-wasm-validation/check-1 |
R3.2.aR3.2.b |
CAP-DEPLOYMENT-PIPELINE |
Deployment target pipeline in core toolchain | L1 / H0 | docs/spec/CLI.mddocs/spec/GCPM_JSON_SCHEMAS_v0.1.mddocs/spec/GCPM_WORKFLOW_REPORTS_v0.1.md |
crates/gc_cli_driver/srcexamples/agent_deploy_bundle_workflow |
scripts/check_upgrade_plan_health.shcrates/gc_cli/tests/cli_pkg_workspace.rsexamples/agent_deploy_bundle_workflow/workflow.sh |
E1:cap-deployment-pipeline/check-1E1:cap-deployment-pipeline/check-2E1:cap-deployment-pipeline/check-3 |
R6.3.bR6.3.c |
CAP-ASSURANCE-PROFILES |
Assurance profile packs + standards crosswalk | L1 / N/A | docs/spec/CLI.mddocs/spec/ASSURANCE_ARTIFACTS_v0.1.mddocs/spec/ASSURANCE_PROFILE_PACKS_v0.1.mddocs/spec/ASSURANCE_STANDARDS_CROSSWALK_v0.1.mddocs/spec/ASSURANCE_STANDARDS_CROSSWALK_v0.1.json |
docs/specscripts |
scripts/check_upgrade_plan_health.shscripts/check_assurance_profile_packs.shscripts/check_assurance_standards_crosswalk.sh |
E1:cap-assurance-profiles/check-1E1:cap-assurance-profiles/check-2E1:cap-assurance-profiles/check-3 |
R7.1.aR7.3.a |
CAP-TOOL-QUALIFICATION |
Tool qualification lineage + evidence closures | L1 / H0 | docs/spec/CLI.md |
crates/gc_obligations/srcdocs/program |
scripts/check_upgrade_plan_health.sh |
E1:cap-tool-qualification/check-1 |
R7.1.eR9.2.c |
CAP-MODULAR-BOUNDARIES |
AI-first modular decomposition + boundary guards | L1 / N/A | docs/spec/CLI.md |
cratesscripts |
scripts/check_upgrade_plan_health.sh |
E1:cap-modular-boundaries/check-1 |
R4.3.aR4.3.b |