{ "active_defect_ids": [], "audit_date": "2026-08-11", "claims": [ { "category": "kernel", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_no_user_panics.sh" ], "evidence_ids": [ "E1:cap-kernel-determinism/check-1", "E1:cap-kernel-determinism/check-2" ], "gap_ids": [ "R7.2.a" ], "host_binding_paths": [], "id": "CAP-KERNEL-DETERMINISM", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_kernel/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "kernel-runtime", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/SEALS_DISPATCH_REPLAY.md", "docs/spec/DETERMINISM.md" ], "title": "Pure deterministic kernel separated from effects" }, { "category": "semantic-ir", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-coreform-identity/check-1" ], "gap_ids": [ "R4.2.a", "R7.2.f" ], "host_binding_paths": [], "id": "CAP-COREFORM-IDENTITY", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_coreform/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "coreform", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/COREFORM_CANON_HASH.md" ], "title": "Canonical CoreForm IR + stable content hash identity" }, { "category": "kernel", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_no_user_panics.sh" ], "evidence_ids": [ "E1:cap-sealed-protocol/check-1", "E1:cap-sealed-protocol/check-2" ], "gap_ids": [ "R7.2.b" ], "host_binding_paths": [], "id": "CAP-SEALED-PROTOCOL", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_kernel/src", "crates/gc_prelude/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "kernel-runtime", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/SEALS_DISPATCH_REPLAY.md", "docs/spec/DETERMINISM.md" ], "title": "Sealed unforgeable `UNHANDLED`/`EFFECT`/`ERROR` protocol" }, { "category": "effects", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-deny-default-policy/check-1" ], "gap_ids": [ "R4.2.d", "R7.3.a" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-DENY-DEFAULT-POLICY", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "effect-runtime", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Deny-by-default capability policy runtime" }, { "category": "effects", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_no_user_panics.sh" ], "evidence_ids": [ "E1:cap-effect-replay/check-1", "E1:cap-effect-replay/check-2" ], "gap_ids": [ "R7.2.c" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-EFFECT-REPLAY", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "effect-runtime", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/SEALS_DISPATCH_REPLAY.md", "docs/spec/DETERMINISM.md" ], "title": "Deterministic effect logs + replay checker" }, { "category": "toolchain", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-semantic-vcs/check-1" ], "gap_ids": [ "R4.2.c", "R4.2.e" ], "host_binding_paths": [], "id": "CAP-SEMANTIC-VCS", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_vcs/src", "crates/gc_patches/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "vcs-patches", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Built-in semantic VCS (`commit`/`patch`/`refs`/`merge3`)" }, { "category": "toolchain", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_foundation_stdlib_conformance.sh" ], "evidence_ids": [ "E1:cap-package-manager/check-1", "E1:cap-package-manager/check-2" ], "gap_ids": [ "R4.2.e", "R6.1.a" ], "host_binding_paths": [], "id": "CAP-PACKAGE-MANAGER", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_pkg/src", "crates/gc_cli_driver/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "package-registry", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GCPM_BUNDLE_v0.1.md", "docs/spec/GCPM_JSON_SCHEMAS_v0.1.md" ], "title": "Built-in package/project manager (`pkg`/`gcpm`)" }, { "category": "toolchain", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_foundation_stdlib_conformance.sh", "scripts/check_selfhost_boundary.sh", "scripts/check_selfhost_artifact_fresh.sh" ], "evidence_ids": [ "E1:cap-artifact-gc/check-1", "E1:cap-artifact-gc/check-2", "E1:cap-artifact-gc/check-3", "E1:cap-artifact-gc/check-4" ], "gap_ids": [ "R4.2.e" ], "host_binding_paths": [], "id": "CAP-ARTIFACT-GC", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_pkg/src", "crates/gc_vcs/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "package-registry", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GCPM_BUNDLE_v0.1.md", "docs/spec/GCPM_JSON_SCHEMAS_v0.1.md", "docs/spec/SELF_HOST_BOUNDARY.md" ], "title": "Reachability-based artifact GC (`refs` + locks + pins)" }, { "category": "assurance", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-evidence-gated-publish/check-1" ], "gap_ids": [ "R4.2.d", "R6.2.d" ], "host_binding_paths": [], "id": "CAP-EVIDENCE-GATED-PUBLISH", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_obligations/src", "crates/gc_registry/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "obligations-registry", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Obligation/evidence/attestation-gated publish + ref updates" }, { "category": "runtime", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-runtime-surfaces/check-1" ], "gap_ids": [ "R3.2.a", "R6.3.a" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-RUNTIME-SURFACES", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_cli/src", "crates/gc_wasi_cli/src", "crates/gc_wasm/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "runtime-platforms", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Native + WASI + wasm-host runtime surfaces" }, { "category": "selfhost", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_selfhost_boundary.sh", "scripts/check_selfhost_artifact_fresh.sh" ], "evidence_ids": [ "E1:cap-selfhost-frontend/check-1", "E1:cap-selfhost-frontend/check-2", "E1:cap-selfhost-frontend/check-3" ], "gap_ids": [ "R4.2.a", "R4.2.g" ], "host_binding_paths": [], "id": "CAP-SELFHOST-FRONTEND", "immutable_evidence_ids": [], "implementation_paths": [ "selfhost", "crates/gc_cli_driver/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "selfhost-toolchain", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/SELF_HOST_BOUNDARY.md" ], "title": "Selfhost frontend default in production CLIs" }, { "category": "selfhost", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_selfhost_boundary.sh", "scripts/check_selfhost_artifact_fresh.sh" ], "evidence_ids": [ "E1:cap-selfhost-cutover/check-1", "E1:cap-selfhost-cutover/check-2", "E1:cap-selfhost-cutover/check-3" ], "gap_ids": [ "R4.4.c" ], "host_binding_paths": [], "id": "CAP-SELFHOST-CUTOVER", "immutable_evidence_ids": [], "implementation_paths": [ "selfhost", "scripts" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "selfhost-toolchain", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/SELF_HOST_BOUNDARY.md" ], "title": "Full selfhost cutover profile + readiness scorecard" }, { "category": "selfhost", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-strict-no-fallback/check-1" ], "gap_ids": [ "R4.1.c", "R4.1.e" ], "host_binding_paths": [], "id": "CAP-STRICT-NO-FALLBACK", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_cli_driver/src", "scripts" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "selfhost-toolchain", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Strict no-production Rust semantic fallback guard" }, { "category": "agent", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_foundation_stdlib_conformance.sh", "scripts/check_cli_diagnostics_contract.sh", "scripts/check_agent_reference_workflows.sh" ], "evidence_ids": [ "E1:cap-agent-json-contracts/check-1", "E1:cap-agent-json-contracts/check-2", "E1:cap-agent-json-contracts/check-3", "E1:cap-agent-json-contracts/check-4" ], "gap_ids": [ "R1.3.c" ], "host_binding_paths": [], "id": "CAP-AGENT-JSON-CONTRACTS", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_cli_driver/src", "docs/spec" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "agent-interface", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GCPM_BUNDLE_v0.1.md", "docs/spec/GCPM_JSON_SCHEMAS_v0.1.md", "docs/spec/CLI_JSON_SCHEMAS_v0.1.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md" ], "title": "CLI + GCPM JSON schema contracts for agent automation" }, { "category": "agent", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_agent_reference_workflows.sh" ], "evidence_ids": [ "E1:cap-agent-skill-pack/check-1", "E1:cap-agent-skill-pack/check-2" ], "gap_ids": [ "R1.5.a", "R1.5.f" ], "host_binding_paths": [], "id": "CAP-AGENT-SKILL-PACK", "immutable_evidence_ids": [], "implementation_paths": [ ".agents/skills/genesiscode-authoring", "docs/skill_pack/write_genesiscode_v1" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "agent-authoring", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md" ], "title": "Agent index + skill-pack conformance contracts" }, { "category": "agent", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_agent_reference_workflows.sh" ], "evidence_ids": [ "E1:cap-domain-starters/check-1", "E1:cap-domain-starters/check-2" ], "gap_ids": [ "R8.3.a" ], "host_binding_paths": [], "id": "CAP-DOMAIN-STARTERS", "immutable_evidence_ids": [], "implementation_paths": [ "examples", "docs/spec" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "agent-authoring", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md" ], "title": "Domain starter registry for agent workflows" }, { "category": "agent", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_agent_reference_workflows.sh" ], "evidence_ids": [ "E1:cap-agent-workload-parity/check-1", "E1:cap-agent-workload-parity/check-2" ], "gap_ids": [ "R1.4.c", "R8.2.a" ], "host_binding_paths": [], "id": "CAP-AGENT-WORKLOAD-PARITY", "immutable_evidence_ids": [], "implementation_paths": [ "examples", "scripts" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "agent-evaluation", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md" ], "title": "Agent generative workload parity gates (native vs WASI)" }, { "category": "agent", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_foundation_stdlib_conformance.sh", "scripts/check_agent_reference_workflows.sh", "scripts/check_perf_budgets.sh" ], "evidence_ids": [ "E1:cap-agent-workspace-perf/check-1", "E1:cap-agent-workspace-perf/check-2", "E1:cap-agent-workspace-perf/check-3", "E1:cap-agent-workspace-perf/check-4" ], "gap_ids": [ "R2.3.e" ], "host_binding_paths": [], "id": "CAP-AGENT-WORKSPACE-PERF", "immutable_evidence_ids": [], "implementation_paths": [ "scripts", "crates/gc_cli_driver/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "agent-evaluation", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GCPM_BUNDLE_v0.1.md", "docs/spec/GCPM_JSON_SCHEMAS_v0.1.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/AGENT_CAPABILITY_GAUNTLET_v0.1.md", "docs/spec/TEST_EXECUTION_PROFILES_v0.1.md" ], "title": "Large-workspace agent iteration perf lane" }, { "category": "runtime", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_task_concurrency_stress.sh" ], "evidence_ids": [ "E1:cap-concurrency-replay/check-1", "E1:cap-concurrency-replay/check-2" ], "gap_ids": [ "R5.2.a", "R5.2.e" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-CONCURRENCY-REPLAY", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_effects/src", "prelude" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "effect-runtime", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/CONCURRENCY_v0.1.md" ], "title": "Concurrency/task replay stress lane" }, { "category": "compute", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_gpu_compute_runtime_profile.sh", "scripts/check_gpu_stack_decoupling.sh", "scripts/check_gfx_runtime_profile.sh" ], "evidence_ids": [ "E1:cap-gpu-compute/check-1", "E1:cap-gpu-compute/check-2", "E1:cap-gpu-compute/check-3", "E1:cap-gpu-compute/check-4" ], "gap_ids": [ "R8.2.h" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-GPU-COMPUTE", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "graphics-compute", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GPU_GFX_BUNDLE_v0.1.md", "docs/spec/GPU_COMPUTE_RUNTIME_PROFILE_v0.1.md", "docs/spec/GPU_COMPUTE_BUNDLE_v0.1.md" ], "title": "GPU compute capability independent of graphics surface" }, { "category": "platform", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_gpu_compute_runtime_profile.sh", "scripts/check_gpu_stack_decoupling.sh", "scripts/check_gfx_runtime_profile.sh" ], "evidence_ids": [ "E1:cap-graphics-runtime/check-1", "E1:cap-graphics-runtime/check-2", "E1:cap-graphics-runtime/check-3", "E1:cap-graphics-runtime/check-4" ], "gap_ids": [ "R8.3.a" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-GRAPHICS-RUNTIME", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "graphics-compute", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GPU_GFX_BUNDLE_v0.1.md", "docs/spec/GPU_COMPUTE_RUNTIME_PROFILE_v0.1.md", "docs/spec/GFX_RUNTIME_BUNDLE_v0.1.md" ], "title": "Graphics/window/input/audio capability families" }, { "category": "platform", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_webxr_browser_conformance_lane.sh" ], "evidence_ids": [ "E1:cap-browser-xr/check-1", "E1:cap-browser-xr/check-2" ], "gap_ids": [ "R8.2.e" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-BROWSER-XR", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "runtime-platforms", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/XR_HOST_RUNTIME_v0.1.md", "docs/spec/BROWSER_HOST_RUNTIME_v0.1.md" ], "title": "Browser + XR runtime families" }, { "category": "extension", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_host_abi_conformance.sh", "scripts/check_cli_diagnostics_contract.sh" ], "evidence_ids": [ "E1:cap-plugin-ffi/check-1", "E1:cap-plugin-ffi/check-2", "E1:cap-plugin-ffi/check-3" ], "gap_ids": [ "R5.5.a", "R5.5.c" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-PLUGIN-FFI", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_effects/src", "docs/spec" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "effect-runtime", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/HOST_ABI.md", "docs/spec/PLUGIN_ABI_SCHEMAS_v0.1.md", "docs/spec/CLI_JSON_SCHEMAS_v0.1.md" ], "title": "Host plugin + FFI schemas/contracts" }, { "category": "effects", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_host_abi_conformance.sh" ], "evidence_ids": [ "E1:cap-host-bridge/check-1", "E1:cap-host-bridge/check-2" ], "gap_ids": [ "R7.3.b" ], "host_binding_paths": [ "crates/gc_effects/src" ], "id": "CAP-HOST-BRIDGE", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_effects/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "effect-runtime", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/HOST_ABI.md", "docs/spec/PLUGIN_ABI_SCHEMAS_v0.1.md" ], "title": "First-party bridge for network/process/db/crypto/plugin/ffi" }, { "category": "compiler", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-stage2-wasm-validation/check-1" ], "gap_ids": [ "R3.2.a", "R3.2.b" ], "host_binding_paths": [], "id": "CAP-STAGE2-WASM-VALIDATION", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_wasm/src", "crates/gc_opt/src" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "wasm-optimizer", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/COREFORM_CANON_HASH.md" ], "title": "Stage2 CoreForm->WASM translation-validation" }, { "category": "deployment", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "crates/gc_cli/tests/cli_pkg_workspace.rs", "examples/agent_deploy_bundle_workflow/workflow.sh" ], "evidence_ids": [ "E1:cap-deployment-pipeline/check-1", "E1:cap-deployment-pipeline/check-2", "E1:cap-deployment-pipeline/check-3" ], "gap_ids": [ "R6.3.b", "R6.3.c" ], "host_binding_paths": [], "id": "CAP-DEPLOYMENT-PIPELINE", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_cli_driver/src", "examples/agent_deploy_bundle_workflow" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "package-registry", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/GCPM_JSON_SCHEMAS_v0.1.md", "docs/spec/GCPM_WORKFLOW_REPORTS_v0.1.md" ], "title": "Deployment target pipeline in core toolchain" }, { "category": "assurance", "check_paths": [ "scripts/check_upgrade_plan_health.sh", "scripts/check_assurance_profile_packs.sh", "scripts/check_assurance_standards_crosswalk.sh" ], "evidence_ids": [ "E1:cap-assurance-profiles/check-1", "E1:cap-assurance-profiles/check-2", "E1:cap-assurance-profiles/check-3" ], "gap_ids": [ "R7.1.a", "R7.3.a" ], "host_binding_paths": [], "id": "CAP-ASSURANCE-PROFILES", "immutable_evidence_ids": [], "implementation_paths": [ "docs/spec", "scripts" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "assurance", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md", "docs/spec/ASSURANCE_ARTIFACTS_v0.1.md", "docs/spec/ASSURANCE_PROFILE_PACKS_v0.1.md", "docs/spec/ASSURANCE_STANDARDS_CROSSWALK_v0.1.md", "docs/spec/ASSURANCE_STANDARDS_CROSSWALK_v0.1.json" ], "title": "Assurance profile packs + standards crosswalk" }, { "category": "assurance", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-tool-qualification/check-1" ], "gap_ids": [ "R7.1.e", "R9.2.c" ], "host_binding_paths": [], "id": "CAP-TOOL-QUALIFICATION", "immutable_evidence_ids": [], "implementation_paths": [ "crates/gc_obligations/src", "docs/program" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "assurance", "selfhost_level": "H0", "spec_paths": [ "docs/spec/CLI.md" ], "title": "Tool qualification lineage + evidence closures" }, { "category": "architecture", "check_paths": [ "scripts/check_upgrade_plan_health.sh" ], "evidence_ids": [ "E1:cap-modular-boundaries/check-1" ], "gap_ids": [ "R4.3.a", "R4.3.b" ], "host_binding_paths": [], "id": "CAP-MODULAR-BOUNDARIES", "immutable_evidence_ids": [], "implementation_paths": [ "crates", "scripts" ], "limitations": "Implementation or routing exists, but the mapped checks are not yet pinned as per-platform L2 evidence and no cross-host L3, product L4, or immutable release L5 evidence is recorded.", "maturity": "L1", "maturity_by_platform": { "linux-arm64": "L0", "linux-x86_64": "L1", "macos-arm64": "L1", "windows-x86_64": "L0" }, "owner": "architecture", "selfhost_level": "N/A", "spec_paths": [ "docs/spec/CLI.md" ], "title": "AI-first modular decomposition + boundary guards" } ], "gap_catalog": { "R1.3.c": "Generate and verify the pinned MCP agent interface from canonical CLI schemas.", "R1.4.c": "Build deterministic generation, repair, refactor, and deployment task benchmarks.", "R1.5.a": "Generate the authoring skill from canonical language and capability inputs.", "R1.5.f": "Validate skill distribution, offline use, token budgets, and multi-agent compatibility.", "R2.3.e": "Meet explicit incremental large-workspace agent-loop SLOs.", "R3.2.a": "Audit existing stage2/Wasm coverage and eliminate undeclared fallback.", "R3.2.b": "Validate source-to-Wasm translation and embedded artifact identity.", "R4.1.c": "Maintain a semantic-ownership ledger for every production decision.", "R4.1.e": "Enforce selfhost and stage0 dependency boundaries structurally.", "R4.2.a": "Make frontend and canonicalization GenesisCode-produced with independent identity verification.", "R4.2.c": "Make semantic patch and refactor behavior GenesisCode-authoritative.", "R4.2.d": "Make obligation and policy decision logic GenesisCode-authoritative.", "R4.2.e": "Make package, registry, and VCS logic GenesisCode-authoritative.", "R4.2.g": "Make CLI and agent orchestration selfhost-authoritative without hidden Rust semantics.", "R4.3.a": "Split oversized host crates and meet source concentration budgets.", "R4.3.b": "Generate repetitive host, Prelude, capability, MCP, codec, and parity bindings from one schema.", "R4.4.c": "Prove cross-host bootstrap fixpoint on the tier-1 host matrix.", "R5.2.a": "Audit and reconcile deterministic concurrency specifications and runtime behavior.", "R5.2.e": "Differentially explore and replay bounded schedules across tiers and hosts.", "R5.5.a": "Adopt and pin the WebAssembly Component Model/WIT extension boundary.", "R5.5.c": "Sandbox extension memory, CPU, calls, effects, cancellation, and lifecycle.", "R6.1.a": "Freeze and migrate deterministic package manifest and lock schemas.", "R6.2.d": "Enforce package evidence policy at registry acceptance.", "R6.3.a": "Define the supported v1 build target profiles.", "R6.3.b": "Implement the selfhosted genesis build graph and evidence outputs.", "R6.3.c": "Make target artifacts reproducible across independent builders.", "R7.1.a": "Classify and own the complete layered verification suite.", "R7.1.e": "Use mutation testing to demonstrate trust-check sensitivity.", "R7.2.a": "Mechanize the pure core semantics and determinism theorem.", "R7.2.b": "Prove seal unforgeability and protected-boundary behavior.", "R7.2.c": "Model and prove deterministic complete effect dispatch and replay checking.", "R7.2.f": "Verify or independently cross-check canonical codec assumptions.", "R7.3.a": "Threat-model every kernel, effect, bridge, package, build, and release boundary.", "R7.3.b": "Sandbox host execution with hard cancellation, least privilege, and bounded IPC.", "R8.2.a": "Prove the pure library and CLI agent archetype end to end.", "R8.2.e": "Prove the browser application agent archetype and its sandboxed effects.", "R8.2.h": "Prove the GPU or numeric agent archetype with deterministic backend evidence.", "R8.3.a": "Ship and maintain at least five evidence-backed flagship programs.", "R9.2.c": "Publish and independently mirror immutable E4 release attestations.", "R5.6.a": "Define the deterministic shared application architecture and lifecycle.", "R5.6.b": "Build the typed presentation and style intermediate representation.", "R5.6.c": "Implement the complete static, interactive, SSR, and PWA web product stack.", "R5.6.d": "Implement accessible cross-target widgets and input semantics.", "R5.6.e": "Make UI rendering efficient, incremental, validated, and inspectable.", "R5.6.f": "Ship one product-grade cross-target UI testing API.", "R5.7.a": "Complete typed service routing, middleware, security, and protocol construction.", "R5.7.b": "Complete durable typed data, query, transaction, and migration APIs.", "R5.7.c": "Add production queues, jobs, cache, storage, and coordination primitives.", "R5.7.d": "Unify capability-scoped observability and operations.", "R5.7.e": "Build first-party data, numeric, tensor, and local ML libraries.", "R5.8.a": "Define the deterministic game and simulation core.", "R5.8.b": "Complete real 2D and 3D runtime systems.", "R5.8.c": "Make shaders and the asset pipeline Genesis-authored.", "R5.8.d": "Add production audio and creative timeline systems.", "R5.8.f": "Ship Genesis-native game and media editing and debugging workflows.", "R5.9.a": "Define Embedded Linux and constrained MCU profiles separately.", "R5.9.b": "Implement closed-world static flash, RAM, stack, timing, and resource verification.", "R5.9.c": "Specify real-time, interrupt, reset, watchdog, and power semantics.", "R5.9.d": "Define capability-safe typed board and peripheral HAL APIs.", "R5.9.e": "Build self-hostable IoT and robotics packages.", "R5.9.f": "Preserve and validate semantic identity across constrained compilation.", "R6.3.f": "Require target-native executable entrypoints and authentic runtime workloads.", "R6.3.g": "Make all generated foreign glue disposable, reproducible, and non-authoritative.", "R6.5.a": "Ship the incremental Genesis web compiler and development server.", "R6.5.b": "Produce standards-valid deployable static, SSR, edge, and PWA artifacts.", "R6.5.c": "Prove supported behavior in real browser engines and mobile viewports.", "R6.5.d": "Ship and maintain a complete self-hosted full-stack reference product.", "R6.6.a": "Build signed and installable real macOS, Windows, and Linux applications.", "R6.6.b": "Build complete executable iOS and Android applications.", "R6.6.c": "Automate simulator, emulator, and physical mobile and desktop qualification.", "R6.6.d": "Prove shared product reuse without hiding target-specific work.", "R6.7.a": "Promote reproducible Raspberry Pi-class Embedded Linux delivery.", "R6.7.b": "Implement the closed-world MCU AOT, link, firmware, and evidence pipeline.", "R6.7.c": "Establish qualified RP2040, RISC-V ESP32, Xtensa ESP32, and Arduino-compatible board families.", "R6.7.d": "Build deterministic board simulation and physical hardware-in-the-loop infrastructure.", "R6.7.e": "Complete authorized device discovery, flash, debug, provisioning, crash, and OTA lifecycle.", "R6.7.f": "Ship maintained Embedded Linux and physical MCU hardware products.", "R8.2.m": "Prove a nontrivial cross-target game under real frame and resource budgets.", "R8.2.n": "Prove a creative media tool with deterministic transforms and real preview/export.", "R8.2.o": "Prove a Raspberry Pi-class Embedded Linux product on real hardware.", "R8.2.p": "Prove RP2040 and ESP32-class constrained firmware on physical boards.", "R8.2.q": "Prove an end-to-end IoT or robotics system with hardware-in-the-loop.", "R8.2.r": "Prove a reproducible Genesis-native data science and local ML system." }, "kind": "genesis/capability-evidence-ledger-v0.1", "platforms": [ { "id": "macos-arm64", "label": "macOS arm64", "tier": 1 }, { "id": "linux-x86_64", "label": "Linux x86_64", "tier": 1 }, { "id": "linux-arm64", "label": "Linux arm64", "tier": 2 }, { "id": "windows-x86_64", "label": "Windows x86_64", "tier": 2 } ], "primary_evidence_paths": [ "ROADMAP.md", "docs/spec/AGENT_AUTHORING_BUNDLE_v0.1.md", "docs/spec/CAPABILITY_COVERAGE_AUDIT_v0.1.json", "docs/spec/CAPABILITY_EVIDENCE_LEDGER_v0.1.json", "docs/spec/CAPABILITY_EVIDENCE_LEDGER_v0.1.schema.json", "docs/spec/PRODUCT_TARGET_MATRIX_v0.1.json", "docs/spec/SEALS_DISPATCH_REPLAY.md", "docs/spec/SELF_HOST_BOUNDARY.md", "upgrade_plan.md" ], "version": "0.1", "aggregate_claim_ids": [ "CAP-RUNTIME-SURFACES", "CAP-DOMAIN-STARTERS", "CAP-GPU-COMPUTE", "CAP-GRAPHICS-RUNTIME", "CAP-BROWSER-XR", "CAP-DEPLOYMENT-PIPELINE" ], "product_target_claims": [ { "id": "TARGET-APPLICATION-UI", "title": "Cross-target application and UI architecture", "product_family": "application-ui", "target_profile": "application-ui-shared", "owner": "application-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "browser-evergreen", "label": "Evergreen browser engines", "kind": "browser", "required_for_release": true, "maturity": "L0" }, { "id": "desktop-tier1", "label": "Tier-1 desktop hosts", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "mobile-ios-android", "label": "iOS and Android devices", "kind": "device", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "The same state/update/view application executes accessible interactions and scoped effects in real browser, desktop, iOS, and Android runtimes.", "one_language_source_predicate": "Deleting every generated platform root and rebuilding from .gc, Genesis manifests, policies, tests, and assets reproduces all target projects without foreign-source edits.", "related_foundation_claim_ids": [ "CAP-GRAPHICS-RUNTIME", "CAP-RUNTIME-SURFACES", "CAP-EFFECT-REPLAY" ], "spec_paths": [ "ROADMAP.md" ], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-application-ui/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.a", "R5.6.b", "R5.6.d", "R5.6.f" ], "limitations": "No normative cross-target application, presentation, accessibility, widget, or UI test contract exists; current graphics and browser operations are foundation plumbing only." }, { "id": "TARGET-WEB-STATIC", "title": "Static website output", "product_family": "web", "target_profile": "web-static", "owner": "web-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "standards-static-host", "label": "Standards-compliant static hosting", "kind": "runtime", "required_for_release": true, "maturity": "L0" }, { "id": "browser-evergreen", "label": "Evergreen browser engines", "kind": "browser", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "The emitted directory serves standards-valid HTML, CSS, assets, routes, metadata, CSP and integrity data and passes real-browser navigation, accessibility, and offline checks.", "one_language_source_predicate": "The deployable site is regenerated from GenesisCode views, routes, styles, tests, manifests, and assets with no authored HTML, CSS, JavaScript, Node configuration, or hosting YAML.", "related_foundation_claim_ids": [ "CAP-DEPLOYMENT-PIPELINE", "CAP-BROWSER-XR", "CAP-DOMAIN-STARTERS" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build.rs", "crates/gc_cli_driver/src/pkg_workspace_ops_build_packagers.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-web-static/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.c", "R6.5.a", "R6.5.b", "R6.5.c" ], "limitations": "The current web target is a CoreForm package and synthetic launcher, not a deployable website, so aggregate deployment reachability grants no web support." }, { "id": "TARGET-WEB-INTERACTIVE-SSR-PWA", "title": "Interactive, SSR, and PWA web application", "product_family": "web", "target_profile": "web-interactive-ssr-pwa", "owner": "web-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "chromium-current", "label": "Current Chromium", "kind": "browser", "required_for_release": true, "maturity": "L0" }, { "id": "firefox-current", "label": "Current Firefox", "kind": "browser", "required_for_release": true, "maturity": "L0" }, { "id": "webkit-current", "label": "Current WebKit", "kind": "browser", "required_for_release": true, "maturity": "L0" }, { "id": "linux-ssr-runtime", "label": "Pinned self-hosted Linux SSR runtime", "kind": "runtime", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A real browser and SSR process execute routing, hydration, forms, workers, storage, WebSocket, offline service-worker, update, rollback, and scoped network effects under declared budgets.", "one_language_source_predicate": "All client, server, style, route, worker, service-worker, schema, and deployment behavior is authored in GenesisCode inputs; generated HTML, CSS, JavaScript, and runtime configuration are disposable.", "related_foundation_claim_ids": [ "CAP-DEPLOYMENT-PIPELINE", "CAP-BROWSER-XR", "CAP-EFFECT-REPLAY", "CAP-STAGE2-WASM-VALIDATION" ], "spec_paths": [ "ROADMAP.md", "docs/spec/HOST_ABI.md" ], "implementation_paths": [ "crates/gc_effects/src/runner_browser_host.rs", "crates/gc_cli_driver/src/pkg_workspace_ops_build_packagers.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-web-interactive/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.c", "R5.6.e", "R5.6.f", "R6.5.a", "R6.5.b", "R6.5.c" ], "limitations": "No web component/style/router/SSR/hydration/PWA compiler exists, and the current edge Wasm export performs no application work." }, { "id": "TARGET-SERVICE-DATA", "title": "Self-hosted service and data platform", "product_family": "service-data", "target_profile": "service-data-selfhosted", "owner": "service-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "linux-x86-64-service", "label": "Linux x86-64 service host", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "linux-arm64-service", "label": "Linux arm64 service host", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "wasi-component-service", "label": "WASI component service runtime", "kind": "runtime", "required_for_release": false, "maturity": "L0" } ], "authentic_artifact_predicate": "A deployed process handles real protocol traffic, authentication, persistence, migrations, jobs, observability, backup, restore, graceful drain, update, rollback, and injected faults.", "one_language_source_predicate": "Routes, middleware, schemas, queries, migrations, jobs, policies, observability, deployment, and tests are GenesisCode-owned inputs with no handwritten Python, shell, SQL migration, or YAML requirement.", "related_foundation_claim_ids": [ "CAP-DEPLOYMENT-PIPELINE", "CAP-HOST-BRIDGE", "CAP-PLUGIN-FFI", "CAP-PACKAGE-MANAGER" ], "spec_paths": [ "ROADMAP.md", "docs/spec/HOST_ABI.md", "docs/spec/CAPS_TOML.md" ], "implementation_paths": [ "crates/gc_effects/src/runner_capability_dispatch", "crates/gc_cli_driver/src/pkg_workspace_ops_build_packagers.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-service-data/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.7.a", "R5.7.b", "R5.7.c", "R5.7.d", "R6.5.d" ], "limitations": "Individual network and database effects exist, but there is no cohesive typed service, durable data, operations, or authentic service artifact platform." }, { "id": "TARGET-DESKTOP-MACOS", "title": "Installable macOS desktop application", "product_family": "desktop", "target_profile": "desktop-macos-arm64", "owner": "native-app-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "macos-arm64", "label": "Supported macOS arm64 release host", "kind": "host", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A signed app package installs, launches a native window, performs accessible input and one scoped host effect, captures crashes, updates, rolls back, and uninstalls on macOS arm64.", "one_language_source_predicate": "Application logic, lifecycle, UI, permissions, assets, tests, and packaging declarations are GenesisCode inputs; generated Xcode, plist, entitlement, and signing plans are never edited.", "related_foundation_claim_ids": [ "CAP-GRAPHICS-RUNTIME", "CAP-DEPLOYMENT-PIPELINE", "CAP-RUNTIME-SURFACES" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build.rs", "crates/gc_gfx/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-desktop-macos/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.d", "R6.3.f", "R6.3.g", "R6.6.a", "R6.6.c" ], "limitations": "The desktop target emits a descriptor-style package and launcher rather than a signed native macOS application." }, { "id": "TARGET-DESKTOP-LINUX", "title": "Installable Linux desktop application", "product_family": "desktop", "target_profile": "desktop-linux", "owner": "native-app-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "linux-x86-64", "label": "Supported Linux x86-64 desktop", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "linux-arm64", "label": "Supported Linux arm64 desktop", "kind": "host", "required_for_release": false, "maturity": "L0" } ], "authentic_artifact_predicate": "A native package installs, launches a real accessible window, performs one scoped host effect, records resource and crash evidence, updates, rolls back, and uninstalls on supported Linux hosts.", "one_language_source_predicate": "Application, UI, desktop integration, assets, tests, and packaging are GenesisCode inputs; generated desktop files, unit manifests, and native adapters are disposable and unedited.", "related_foundation_claim_ids": [ "CAP-GRAPHICS-RUNTIME", "CAP-DEPLOYMENT-PIPELINE", "CAP-RUNTIME-SURFACES" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build.rs", "crates/gc_gfx/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-desktop-linux/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.d", "R6.3.f", "R6.3.g", "R6.6.a", "R6.6.c" ], "limitations": "No installable Linux desktop runtime, package integration, lifecycle, accessibility, update, or interaction evidence exists." }, { "id": "TARGET-DESKTOP-WINDOWS", "title": "Installable Windows desktop application", "product_family": "desktop", "target_profile": "desktop-windows-x86-64", "owner": "native-app-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "windows-x86-64", "label": "Supported Windows x86-64 desktop", "kind": "host", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A signed Windows package installs, launches a real accessible window, performs one scoped host effect, captures crashes, updates, rolls back, and uninstalls on Windows x86-64.", "one_language_source_predicate": "Application, UI, Windows integration, assets, tests, installer, and signing declarations are GenesisCode inputs; generated project and installer sources are disposable and unedited.", "related_foundation_claim_ids": [ "CAP-GRAPHICS-RUNTIME", "CAP-DEPLOYMENT-PIPELINE", "CAP-RUNTIME-SURFACES" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build.rs", "crates/gc_gfx/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-desktop-windows/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.d", "R6.3.f", "R6.3.g", "R6.6.a", "R6.6.c" ], "limitations": "No installable Windows desktop runtime, package integration, lifecycle, accessibility, update, or interaction evidence exists." }, { "id": "TARGET-IOS", "title": "Installable iOS application", "product_family": "mobile", "target_profile": "mobile-ios", "owner": "native-app-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "ios-simulator-arm64", "label": "Pinned iOS simulator", "kind": "simulator", "required_for_release": true, "maturity": "L0" }, { "id": "ios-device-arm64", "label": "Named physical iOS device", "kind": "device", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A valid signed IPA containing executable Genesis application code installs and passes launch, lifecycle, accessibility, permission, storage, network, process-death, upgrade, and rollback workloads on simulator and device.", "one_language_source_predicate": "The Xcode project, Swift/Objective-C adapters, plist, entitlements, resources, and signing plan regenerate from GenesisCode-owned application inputs and are never manually patched.", "related_foundation_claim_ids": [ "CAP-DEPLOYMENT-PIPELINE", "CAP-RUNTIME-SURFACES", "CAP-GRAPHICS-RUNTIME" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build_packagers.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-ios/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.d", "R6.3.f", "R6.3.g", "R6.6.b", "R6.6.c", "R6.6.d" ], "limitations": "The current IPA is a deterministic metadata/source archive without an executable app runtime and therefore provides no iOS product support." }, { "id": "TARGET-ANDROID", "title": "Installable Android application", "product_family": "mobile", "target_profile": "mobile-android", "owner": "native-app-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "android-emulator-x86-64", "label": "Pinned Android emulator", "kind": "simulator", "required_for_release": true, "maturity": "L0" }, { "id": "android-device-arm64", "label": "Named physical Android device", "kind": "device", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A valid signed AAB/APK containing executable Genesis application code installs and passes launch, lifecycle, accessibility, permission, storage, network, process-death, upgrade, and rollback workloads on emulator and device.", "one_language_source_predicate": "The Gradle project, Kotlin/Java adapters, XML resources, manifest, permissions, and signing plan regenerate from GenesisCode-owned application inputs and are never manually patched.", "related_foundation_claim_ids": [ "CAP-DEPLOYMENT-PIPELINE", "CAP-RUNTIME-SURFACES", "CAP-GRAPHICS-RUNTIME" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CLI.md" ], "implementation_paths": [ "crates/gc_cli_driver/src/pkg_workspace_ops_build_packagers.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-android/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.6.d", "R6.3.f", "R6.3.g", "R6.6.b", "R6.6.c", "R6.6.d" ], "limitations": "The current AAB declares android:hasCode=false and contains only metadata and Genesis source, so it provides no Android product support." }, { "id": "TARGET-GAMES-MEDIA", "title": "Cross-target games and creative media runtime", "product_family": "games-media", "target_profile": "games-media-cross-target", "owner": "interactive-runtime", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "browser-game", "label": "Real browser render/audio/input loop", "kind": "browser", "required_for_release": true, "maturity": "L0" }, { "id": "desktop-game", "label": "Real desktop render/audio/input loop", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "mobile-game", "label": "Named mobile device render/audio/input loop", "kind": "device", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A nontrivial game or media tool runs real frame, audio, input, asset, save/replay, and device-loss workloads under declared frame-time, memory, startup, and artifact budgets on every required scope.", "one_language_source_predicate": "Simulation, scenes, UI, shaders, audio, assets, networking, tooling, tests, and packaging are GenesisCode inputs; generated shaders and target adapters are disposable outputs.", "related_foundation_claim_ids": [ "CAP-GRAPHICS-RUNTIME", "CAP-GPU-COMPUTE", "CAP-BROWSER-XR", "CAP-DEPLOYMENT-PIPELINE" ], "spec_paths": [ "ROADMAP.md", "docs/spec/GFX_RUNTIME_BUNDLE_v0.1.md", "docs/spec/GPU_GFX_BUNDLE_v0.1.md" ], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-games-media/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.8.a", "R5.8.b", "R5.8.c", "R5.8.d", "R5.8.f", "R8.2.m", "R8.2.n" ], "limitations": "Current graphics support is deterministic headless planning and resource codecs, not a production UI, game, shader, physics, asset, audio, or creative runtime." }, { "id": "TARGET-DATA-ML", "title": "Data science and local machine-learning platform", "product_family": "data-ml", "target_profile": "data-ml-local", "owner": "data-ml-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "macos-arm64-cpu-gpu", "label": "macOS arm64 CPU/GPU", "kind": "host", "required_for_release": true, "maturity": "L0" }, { "id": "linux-x86-64-cpu-gpu", "label": "Linux x86-64 CPU/GPU", "kind": "host", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "A reproducible dataset-to-analysis-or-model pipeline executes typed table/tensor/statistics workloads, checkpoints, evaluation, local inference, and resource accounting on CPU and a qualified GPU backend.", "one_language_source_predicate": "Datasets, transforms, analyses, model pipelines, evaluation, services, UI, and tests are GenesisCode inputs with no Python notebook, Python package, or foreign orchestration script required.", "related_foundation_claim_ids": [ "CAP-GPU-COMPUTE", "CAP-PACKAGE-MANAGER", "CAP-EFFECT-REPLAY" ], "spec_paths": [ "ROADMAP.md", "docs/spec/GPU_COMPUTE_RUNTIME_PROFILE_v0.1.md" ], "implementation_paths": [ "crates/gc_gfx/src", "crates/gc_effects/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-data-ml/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.7.e", "R8.2.r" ], "limitations": "GPU dispatch foundations exist, but typed arrays, tensors, dataframes, statistics, model adapters, datasets, and end-to-end local ML workflows are absent." }, { "id": "TARGET-EMBEDDED-LINUX", "title": "Embedded Linux and Raspberry Pi-class application", "product_family": "embedded-linux", "target_profile": "embedded-linux-arm64", "owner": "embedded-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "raspberry-pi-5", "label": "Raspberry Pi 5 linux-arm64", "kind": "device", "required_for_release": true, "maturity": "L0" }, { "id": "linux-riscv64-sbc", "label": "Pinned Linux riscv64 SBC", "kind": "device", "required_for_release": false, "maturity": "L0" } ], "authentic_artifact_predicate": "A reproducible image or package boots on the named board, runs a Genesis service or UI, accesses real GPIO/I2C/SPI/UART under policy, survives power/network loss, and updates and rolls back.", "one_language_source_predicate": "Device application, service/UI, peripheral policy, system integration, deployment, tests, and update plan are GenesisCode inputs; generated units, udev, device-tree overlays, and scripts are unedited.", "related_foundation_claim_ids": [ "CAP-RUNTIME-SURFACES", "CAP-DEPLOYMENT-PIPELINE", "CAP-HOST-BRIDGE" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CAPS_TOML.md" ], "implementation_paths": [ "crates/gc_effects/src", "crates/gc_cli_driver/src/pkg_workspace_ops_build.rs" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-embedded-linux/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.9.a", "R5.9.d", "R6.7.a", "R6.7.f", "R8.2.o" ], "limitations": "Linux arm64 is listed as a host tier but no Raspberry Pi image/package, peripheral capability, remote lifecycle, power-loss, or physical-device evidence exists." }, { "id": "TARGET-MCU-LANGUAGE-AOT", "title": "Constrained MCU language profile and AOT backend", "product_family": "microcontroller", "target_profile": "mcu-closed-world-aot", "owner": "embedded-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "armv6m-thumb", "label": "ARMv6-M Thumb MCU profile", "kind": "runtime", "required_for_release": true, "maturity": "L0" }, { "id": "riscv32imc", "label": "RISC-V RV32IMC MCU profile", "kind": "runtime", "required_for_release": true, "maturity": "L0" }, { "id": "xtensa-esp32", "label": "Pinned Xtensa ESP32 MCU profile", "kind": "runtime", "required_for_release": true, "maturity": "L0" }, { "id": "avr8", "label": "Constrained AVR8 MCU profile", "kind": "runtime", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "Closed-world compilation emits linked firmware that boots and executes the normative embedded subset on every required architecture with validated semantics and measured flash, RAM, stack, timing, reset, and fault behavior.", "one_language_source_predicate": "Firmware, static resource declarations, interrupts, tasks, peripherals, tests, startup intent, and memory policy are GenesisCode inputs; generated C/Rust, startup, vector, and linker sources are disposable.", "related_foundation_claim_ids": [ "CAP-COREFORM-IDENTITY", "CAP-STAGE2-WASM-VALIDATION", "CAP-RUNTIME-SURFACES" ], "spec_paths": [ "ROADMAP.md", "docs/spec/COREFORM_CANON_HASH.md" ], "implementation_paths": [ "crates/gc_kernel/src", "crates/gc_wasm/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-mcu-aot/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.9.a", "R5.9.b", "R5.9.c", "R5.9.f", "R6.7.b", "R8.2.p" ], "limitations": "No no-OS language subset, static resource verifier, interrupt contract, MCU code generator, startup/linker pipeline, or semantic validation exists." }, { "id": "TARGET-BOARD-HAL-FAMILIES", "title": "Representative board and capability-safe HAL families", "product_family": "microcontroller", "target_profile": "board-hal-families-v1", "owner": "embedded-platform", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "rp2040-pico", "label": "Raspberry Pi Pico RP2040", "kind": "board", "required_for_release": true, "maturity": "L0" }, { "id": "esp32-c3", "label": "RISC-V ESP32-C3 board", "kind": "board", "required_for_release": true, "maturity": "L0" }, { "id": "esp32-xtensa", "label": "Pinned Xtensa ESP32 board", "kind": "board", "required_for_release": true, "maturity": "L0" }, { "id": "arduino-uno-r3", "label": "Arduino Uno R3 compatible AVR board", "kind": "board", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "Signed BSP/HAL packages compile, flash, and exercise typed GPIO, timers, serial, and at least one bus or radio peripheral on each named physical board with pin-conflict and unavailable-peripheral negative tests.", "one_language_source_predicate": "Board manifests, pin/peripheral ownership, firmware, tests, and resource policy are GenesisCode inputs; vendor bindings and register adapters are audited package internals rather than application source.", "related_foundation_claim_ids": [ "CAP-PACKAGE-MANAGER", "CAP-EVIDENCE-GATED-PUBLISH", "CAP-HOST-BRIDGE" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CAPS_TOML.md" ], "implementation_paths": [ "crates/gc_effects/src", "crates/gc_pkg/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-board-hal/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R5.9.d", "R5.9.e", "R6.7.c", "R6.7.f", "R8.2.q" ], "limitations": "No board manifests, BSP/HAL registry, peripheral ownership checker, board conformance kit, or physical board implementation exists." }, { "id": "TARGET-DEVICE-FLASH-DEBUG-OTA", "title": "Device discovery, flashing, debugging, and OTA lifecycle", "product_family": "device-lifecycle", "target_profile": "device-flash-debug-ota", "owner": "embedded-tooling", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "rp2040-debug-probe", "label": "RP2040 flash/debug path", "kind": "board", "required_for_release": true, "maturity": "L0" }, { "id": "esp32-secure-ota", "label": "ESP32 flash/debug/signed OTA path", "kind": "board", "required_for_release": true, "maturity": "L0" }, { "id": "arduino-serial-bootloader", "label": "Arduino-compatible serial bootloader", "kind": "board", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "Genesis tooling discovers only authorized devices, flashes and verifies exact firmware, opens bounded serial/debug sessions, captures crashes, and performs interrupted-update recovery and signed rollback on supported boards.", "one_language_source_predicate": "Flash, debug, provisioning, crash, OTA, rollback, and recovery intents are Genesis manifests and policies; users do not author shell scripts, OpenOCD files, vendor CLI wrappers, or updater code.", "related_foundation_claim_ids": [ "CAP-HOST-BRIDGE", "CAP-DEPLOYMENT-PIPELINE", "CAP-DENY-DEFAULT-POLICY" ], "spec_paths": [ "ROADMAP.md", "docs/spec/CAPS_TOML.md" ], "implementation_paths": [ "crates/gc_effects/src/runner_host_bridge.rs", "crates/gc_cli_driver/src" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-device-lifecycle/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R6.7.d", "R6.7.e", "R6.7.f" ], "limitations": "The repository has no Genesis device command, authorized discovery, flasher, debugger, provisioning, crash capture, OTA, rollback, or brick-recovery implementation." }, { "id": "TARGET-HARDWARE-IN-THE-LOOP", "title": "Physical hardware-in-the-loop qualification", "product_family": "hardware-assurance", "target_profile": "hardware-in-the-loop-v1", "owner": "embedded-assurance", "maturity": "L0", "release_status": "unsupported", "scopes": [ { "id": "isolated-device-lab", "label": "Isolated physical device lab", "kind": "lab", "required_for_release": true, "maturity": "L0" }, { "id": "board-simulator", "label": "Pinned deterministic board simulator", "kind": "simulator", "required_for_release": true, "maturity": "L0" } ], "authentic_artifact_predicate": "Ordinary CI runs deterministic peripheral simulation while an isolated rig repeatedly flashes, power-cycles, measures, injects peripheral/network/power faults, and retains signed serial/debug/resource evidence from named boards.", "one_language_source_predicate": "Device tests, digital twins, fault plans, expected traces, resource budgets, and qualification policy are GenesisCode inputs; lab-control internals remain isolated infrastructure rather than application authority.", "related_foundation_claim_ids": [ "CAP-ASSURANCE-PROFILES", "CAP-TOOL-QUALIFICATION", "CAP-HOST-BRIDGE" ], "spec_paths": [ "ROADMAP.md", "docs/spec/ASSURANCE_ARTIFACTS_v0.1.md" ], "implementation_paths": [ "scripts", "docs/program/evidence" ], "check_paths": [ "scripts/check_capability_evidence_ledger_contract.sh" ], "evidence_ids": [ "E1:target-hil/ledger-classification" ], "immutable_evidence_ids": [], "gap_ids": [ "R6.7.d", "R6.7.f", "R8.2.p", "R8.2.q" ], "limitations": "No board simulator contract, isolated physical rig, power/peripheral fault injection, timing/power measurement, or signed hardware witness exists." } ] }