Issue Backlog

A repository document, rendered for the site. View source markdown.

Generated at: 2026-07-30T12:38:02.000Z UTC · source: committed helm-expt evidence for this rendered repository document.

This document indexes the GitHub issues and merged proof surfaces that must not be lost in the planning docs. GitHub remains the execution tracker; this file keeps reviewers aligned with the written plan.

For current priority and workstream shape, start with Roadmap. This file is the issue mirror that supports that roadmap.

Last synced with planning docs: 2026-06-23.

Rule

P0 issues are gates for the scope they name.
P1 issues strengthen the proof after P0.
P2 issues preserve important design depth without blocking the first proof.

Issue closure should be outcome-based:

Name the chart choices, variants, or lanes covered.
Commit the receipt, matrix row, generated report, or verified doc that proves
the outcome.
Add or update the verifier that fails if the evidence becomes stale.
Do not close an issue because a command, tutorial, or proposal merely exists.

The catalog-wide target is that every supported Helm chart default and declared main choice becomes reproducible, ConfigHub-reviewable, live-cluster verified, and tied to receipts. If a lane is still missing, track it as missing backlog instead of converting the issue into a broad "verified" claim.

The original P0 proof gates are now closed and verified by the harness. Issue #76 is closed as the import-path definition and proof-contract issue:

New to cub? Install the cub CLI first. You can pull and render public catalog packages without an account. Commands that save or change ConfigHub data require you to sign in.

#76 Define Helm import path from cub helm template / cub helm install to cub installer recipes.

The downstream product command is still future work, but it should be tracked as implementation work rather than keeping the definition issue open. The current command story is:

CommandProduct role
cub helm templateFast local render and Helm baseline.
cub helm installFast one-shot render into ConfigHub Units.
cub gitops discover / cub gitops importExisting Argo CD and Flux app adoption.
cub unit importKRM YAML, rendered manifest, or Kubernetes resource adoption.
cub installer recipe/packageMaintained catalog artifact with named bases, receipts, scans, and live evidence.
future cub installer import helmBridge from fast Helm command paths to maintained recipe/package candidates.

The public proof remains valid without that future bridge because the repo currently builds and verifies the same artifact chain through generators and proof scripts.

Do not maintain issue counts by hand here. Use GitHub labels for counts, and use this file only for the issue groups that affect doctrine, roadmap, or product claims.

Current Canonical Trackers Added Or Confirmed 2026-06-16

TrackerScopeWhy it matters
#948 live ConfigHub variant promotion proofP0, promotion, GitOps, day-2M4-style governed delivery is not the same as full variant promotion. This issue owns the upstream live evidence for cub variant create / cub variant promote across representative catalog entries.
#949 Helm remediation and lifecycle intelligenceP1, commercial support lanesTracks the commercial packaging lanes from the Desktop planning sweep: private diagnostics, legacy patch support, lifecycle intelligence, AICR/NIM/Kargo-style integrations, bulk operations, and evidence packs.
#23 low-friction standalone cub installer pathP1, public entry wedgeTracks the no-login or low-friction public catalog path, signed catalog index, scoped pull credentials, and in-cluster receipt idea.
#248 live parity follow-upruntime and lifecycle residuesTracks runtime, prerequisite, lifecycle, controller health, and policy work for current non-pass live rows.
#682 promotion changeset pathConfigHub/cub implementation dependencyTracks the current cub variant promote --changeset blocker where newly cloned Units cannot yet join the changeset cleanly. This can hold promotion proof at watch-grade until fixed upstream.
#753 user-readable burn-downmatrix and decision UXKeeps non-live work focused on making G/P/K lanes, watch/blocked decisions, and rerun queues understandable without touching live lanes.
PR #947 target-prerequisite action packetsmerged proof/data surfaceAdded data/target-prerequisite-actions/ and Target Prerequisites Before Rerun. This is now the practical route from "row is blocked/watch" to "what must be staged before rerun".

Current Canonical Trackers Added Or Confirmed 2026-06-23

TrackerScopeWhy it matters
PR #1024 chart-page claim-integrity audit and gatemerged static release gateAdded the adversarial chart-page audit and chart-claim-integrity:verify. The errors axis is now closed: generated chart pages must not make claims contradicted by their cited receipts.
#1025 renderer claim fixesclosed generator workTracked the systemic false-green renderer fixes: derive lane colour from receipt result, carry receipt disclaimers, qualify cross-version evidence, and show scoped support decisions.
#1026 chart-page clarity fixesclosed generator workTracked the chart-card omissions and clarity fixes around empty action sections, boilerplate wording, and confusing placeholders.
#1027 unresolved next-action placeholdersclosed generator workGeneralized the chart-page next-action cleanup so unresolved <action>: unknown values render as plain user actions.
PR #1028 chart-page placeholder lintmerged static release gateAdded the site:ux:verify guard so future generated chart pages cannot leak unresolved next-action placeholders or raw work-dir placeholders.
#1029 roadmap cleanup follow-upP1 planning and release-gate hygieneTracks the next cleanup pass: split the giant npm run verify command into named suites and archive or clearly demote stale planning snapshots.

Current Canonical Trackers Added Or Confirmed 2026-06-24

TrackerScopeWhy it matters
Upstream ConfigHub #3393 cub helm install should record install argumentsrender-input capture, upgrade safetyA one-shot Helm import is not durable unless namespace, values, --set flags, chart version, and other render inputs are recorded. This is required before cub helm install can safely support repeatable upgrade or reinstall flows.
Upstream ConfigHub #4369 rendering modelrenderer integration, Argo/Flux alignmentArgo CD and Flux already carry Helm render inputs in their own manifests. ConfigHub should use or model those inputs explicitly rather than creating a hidden parallel install path. This keeps helm-expt aligned with existing GitOps users.

Current Operational Issue Groups

GroupMain issuesRoadmap role
Namespace and render-shape correctness#96, #774Prevents misleading support claims when namespace flags or subject references do not rewrite every required field.
Image and artifact durability#99, #880Production OCI support needs digest evidence or explicit image policy decisions; stale upstream images remain support blockers.
Top-100 support expansion#106, #113, #114Tracks useful bases, existing-secret gaps, template-baked CRDs, and support decisions beyond the top-20.
Derived variants and promotions#143-#153, #948Keeps base variants, derived ConfigHub variants, release/OCI handoff, UI, and live promotion proof in one product lane.
Live lane hardening#248, #714, #882Improves the live test/user-operability loop: progress evidence, non-pass classification, and timeout behavior.
ConfigHub/server blockers surfaced by the corpus#645, #682These are not chart semantics; they are product dependencies exposed by helm-expt. Keep the issue in helm-expt and cross-link upstream implementation only when needed.
Chart-specific model gaps#838, #841, #842, #856, #861, #863, #865, #867, #876, #878These keep individual watch/blocked rows honest until the route becomes pass, per-target, refused, or n/a.
Public UX, claim integrity, and website polish#679, #753, #949, #1024, #1025, #1026, #1027, #1028Keeps public pages, matrix reading, first-run walkthroughs, chart-page claims, and placeholder-free chart cards aligned with the proof state.

Capability Roadmap

The active roadmap now separates existing cub / ConfigHub capabilities from missing product verbs. These lanes should become GitHub issues when they move from roadmap shape to implementation work.

Existing ConfigHub capabilities to use now:

LaneExisting verbsRoadmap home
Installer proofcub installer doc/setup/render/package/push/sign/verify/vet/plan/upload/inspect/listP0.4, P1.1
Server variants and promotioncub variant create, cub variant promote, cub variant upload#143, #144, #145, #150, #948
Review and diffcub unit diff, cub revision data/list, cub unit data/tree/listP1.6
Safe operationscub changeset create/list/update, cub unit approve/apply/destroy/cancelP1.7
Scanning and misconfigcub function vet, cub function get/set, cub run ...P1.8
Target and live factscub target create/get/list, cub k8s collect, cub k8s source, cub unit livestate/livedata/refreshP1.3, P1.4
GitOps adoptioncub gitops discover/import#12, #151, #153
Existing KRM/resource adoptioncub unit import, cub unit tree/list/diff, cub k8s source#151, #153
Metadata modelcub tag, cub attribute, cub filter, cub view, cub link#146, #149

Missing product verbs:

PriorityAsk
P0 askcub installer import helm
P0 askcub installer analyze
P0 askimplemented cub installer preflight
P0 askcub installer compare or cub installer prove
P1 askcub installer scan
P1 askcub variant list/diff/update and clearer UX around existing cub variant create/promote/upload
P1 askcub variant release or another explicit variant-to-OCI handoff verb
P1 askcub observe or cub target observe
P2 askcub catalog search/show/install

Configuration-As-Data And Derived-Variant Issues Added 2026-06-04

Configuration-as-data work is now represented as helm-expt execution work, with derived ConfigHub variants pulled forward instead of treated as an appendix.

IssueLaneWhy it matters now
#143 Make cub variant create the explicit derived-variant substrateCurrent CLI truthKeeps docs and tutorials aligned with the current command surface.
#144 Build a derived-variant expansion wave across top-20 and wave-2 chartsDerived variantsFixes the gap that the repo does not yet use enough derived variants.
#145 Prove promotion and environment management with derived ConfigHub variantsPromotionHighest-value derived-variant lane inside helm-expt.
#146 Add fleet inventory and CMDB views over catalog artifacts and ConfigHub UnitsInventoryShows the value of queryable rendered desired state.
#147 Prove fleet-scale mutation and codemod workflows over ConfigHub UnitsFleet operationsTurns rendered Units into safe bulk operations, not YAML search/replace.
#148 Add policy, compliance, and security posture reports over rendered desired statePolicy/securityRolls scan/gate evidence into a useful posture view.
#149 Add dependency graph and impact analysis for variants and upgradesImpact analysisUses upstream links, targets, and variants to answer "what changes?"
#150 Add Creator and agentic intent flow over cub variant createAI/Creator UXKeeps the human story simple while mapping to current CLI primitives.
#151 Define variant release and OCI handoff semanticsRelease/GitOpsCaptures release vs tag, gates, validation, and OCI publication questions.
#152 Define Promotion UI expectations for clean variant diffsPromotion UIMakes derived-variant review understandable to humans.
#153 Reposition GitOps tutorial around Argo/OCI and bridge-independent proofGitOpsKeeps Tutorial 6 aligned with the Argo/OCI direction and descoped bridge paths.

Completed Redis Proof Gates

These P0s are complete for the Redis proof slice and should stay closed unless the evidence regresses:

IssueEvidence
#8 Prove Helm equivalence for Redis and classify every ConfigHub differencenpm run redis:compare, Helm equivalence receipts, and namespace/secret classifications.
#9 Bind rendered-object scans and install gates to exact manifest digestsRedis scan receipts and install gates are digest-bound and verified by npm run verify.
#10 Create complete Redis HelmPlan and ChartDossier artifactsrecipes/bitnami/redis/25.5.3/, durable installer package, upload/OCI receipt.
#26 Prove simple UX is easier, safer, and correct versus Helmdocs/demo/redis/ demo script, transcript, UX acceptance note, and ConfigHub proof transcript with real cub installer, cub variant create, and ConfigHub review verbs.

Current Harness Proof Slice

The scale-out harness now exists across:

recipes/
packages/
runs/
data/adversarial10/
data/top500-catalog-analysis/
data/production-disposition/

It closes the original proof gates #24, #25, and #4:

The next harness step is not "prove that anything exists." It is to make how the harness works easier to explain and productize. The compact explanation lives in How The Harness Works.

Hook / Lifecycle Risk Lane

The top-500 source scan found 54 hook-using charts among 495 scanned charts. A first-pass risk estimate classifies 42 as likely problematic, 6 as needs-review, and 6 as probably benign/test-only. This should remain visible in planning because hook execution is cluster-dependent and cannot be hidden inside normal render equivalence.

Current planning home:

docs/user/hook-lifecycle-strategy.md

Current implementation evidence:

data/hook-lifecycle/summary.md
data/lifecycle-observations/cert-manager-eso/summary.md
npm run hooks:lifecycle:verify
npm run lifecycle:cert-manager-eso:verify

The hook queue is still inventory and required-receipt planning. The cert-manager / External Secrets lane proves a lifecycle-observation pattern for CRD ownership, webhook readiness, controller-populated data, and server dry-run checks. It does not prove all hook-using charts.

Execution work still needed:

Add hook risk buckets and lifecycle dispositions to top-500 catalog analysis.
Add hook/lifecycle receipt expectations for catalog-supported hook charts.
Add safe Argo/GitOps lifecycle translation proof for at least one hook-heavy chart.

Do not make this a P0 gate for all public-catalog work. Make it a production support gate for hook-using charts.

Current Promoted Chart Proofs

Rows promoted from readiness evidence into full proof slices:

ChartEvidenceStatus
bitnami/redis@25.5.3recipes/bitnami/redis/25.5.3/, packages/bitnami/redis/25.5.3/First complete proof slice with ConfigHub upload/OCI evidence.
metrics-server/metrics-server@3.13.0recipes/metrics-server/metrics-server/3.13.0/, packages/metrics-server/metrics-server/3.13.0/First promoted adversarial row: default and external-tls-ca variants, target Secret fact, APIService/RBAC gates, deterministic cub installer package/setup proof.
ingress-nginx/ingress-nginx@4.15.1recipes/ingress-nginx/ingress-nginx/4.15.1/, packages/ingress-nginx/ingress-nginx/4.15.1/Second promoted adversarial row: default and admission-disabled variants, admission webhook/hook lifecycle/RBAC gates, deterministic cub installer package/setup proof.
jetstack/cert-manager@v1.20.2recipes/jetstack/cert-manager/v1.20.2/, packages/jetstack/cert-manager/v1.20.2/Third promoted adversarial row: default and crds-enabled variants, CRD lifecycle/webhook/hook/RBAC gates, deterministic cub installer package/setup proof.
external-secrets/external-secrets@2.5.0recipes/external-secrets/external-secrets/2.5.0/, packages/external-secrets/external-secrets/2.5.0/Fourth promoted adversarial row: default and no-crds variants, capability/CRD/dependency/webhook/Secret/RBAC gates, deterministic cub installer package/setup proof.
argo-cd/argo-cd@9.5.15recipes/argo-cd/argo-cd/9.5.15/, packages/argo-cd/argo-cd/9.5.15/Fifth promoted adversarial row: default and no-crds variants, CRD/hook/dependency/Secret/StatefulSet/GitOps/RBAC gates, deterministic cub installer package/setup proof.
bitnami/postgresql@18.6.7recipes/bitnami/postgresql/18.6.7/, packages/bitnami/postgresql/18.6.7/Sixth promoted adversarial row: generated-passwords and existing-secret variants, generated fact/target fact/hook/dependency/StatefulSet/PVC gates, deterministic cub installer package/setup proof.
bitnami/rabbitmq@16.0.14recipes/bitnami/rabbitmq/16.0.14/, packages/bitnami/rabbitmq/16.0.14/Seventh promoted adversarial row: generated-passwords and existing-secret variants, password/Erlang-cookie generated facts, target Secret facts, dependency/StatefulSet/PVC/clustering gates, deterministic cub installer package/setup proof.
prometheus-community/kube-prometheus-stack@85.3.3recipes/prometheus-community/kube-prometheus-stack/85.3.3/, packages/prometheus-community/kube-prometheus-stack/85.3.3/Eighth promoted adversarial row: default and no-crds variants, generated Grafana credential, 10 CRDs, umbrella dependencies, admission webhook/RBAC/extension gates, deterministic cub installer package/setup proof.
grafana/loki@7.0.0recipes/grafana/loki/7.0.0/, packages/grafana/loki/7.0.0/Ninth promoted adversarial row: blocked default render, single-binary-filesystem and simple-scalable-minio variants, storage/schema/object-store gates, dependency/RBAC/StatefulSet/PVC/extension gates, deterministic cub installer package/setup proof.
longhorn/longhorn@1.11.2recipes/longhorn/longhorn/1.11.2/, packages/longhorn/longhorn/1.11.2/Tenth promoted adversarial row: default and ui-ingress variants, 22 CRDs, pre-upgrade hook/admission-recovery/RBAC/privileged-storage/StorageClass/UI ingress gates, deterministic cub installer package/setup proof.
bitnami/mysql@14.0.3recipes/bitnami/mysql/14.0.3/, packages/bitnami/mysql/14.0.3/Eleventh promoted adversarial row: generated-passwords and existing-secret variants, root/user/replication generated facts, target Secret facts, dependency/hook/StatefulSet/PVC/extension gates, deterministic cub installer package/setup proof.
grafana/grafana@10.5.15recipes/grafana/grafana/10.5.15/, packages/grafana/grafana/10.5.15/Twelfth promoted adversarial row: chart-deprecation marker, generated-passwords and existing-secret-ingress variants, generated admin credential, target Secret facts, UI ingress, RBAC/deployment/provisioning/sidecar/Secret extension gates, deterministic cub installer package/setup proof.
hashicorp/vault@0.32.0recipes/hashicorp/vault/0.32.0/, packages/hashicorp/vault/0.32.0/Thirteenth full public-chart proof row: default and ha-raft-ui variants, TLS posture, injector webhook, StatefulSet/HA Raft, init/unseal operate policy, service exposure, RBAC/Secret/env extension gates, deterministic cub installer package/setup proof.
secrets-store-csi-driver/secrets-store-csi-driver@1.6.0recipes/secrets-store-csi-driver/secrets-store-csi-driver/1.6.0/, packages/secrets-store-csi-driver/secrets-store-csi-driver/1.6.0/Fourteenth full public-chart proof row: default and sync-secret-rotation variants, SecretProviderClass CRDs, CSIDriver, Linux DaemonSet/hostPath, cluster RBAC, sync Secret/rotation/provider-health gates, deterministic cub installer package/setup proof.
prometheus-community/prometheus@29.8.0recipes/prometheus-community/prometheus/29.8.0/, packages/prometheus-community/prometheus/29.8.0/Fifteenth full public-chart proof row: default and server-only-ephemeral variants, bundled dependencies, scrape ConfigMap, server PVC/storage, component selection, cluster RBAC, remote read/write/exposure extension gates, deterministic cub installer package/setup proof.
bitnami/mongodb@19.0.7recipes/bitnami/mongodb/19.0.7/, packages/bitnami/mongodb/19.0.7/Sixteenth full public-chart proof row: generated-passwords and existing-secret-replicaset variants, generated root password, target Secret, replica-set/arbiter StatefulSets, storage/PDB/NetworkPolicy/extension gates, deterministic cub installer package/setup proof.
bitnami/nginx@24.0.2recipes/bitnami/nginx/24.0.2/, packages/bitnami/nginx/24.0.2/Seventeenth full public-chart proof row: http-clusterip and existing-tls-ingress variants, default generated TLS mitigation, target TLS Secrets, ingress, NetworkPolicy, PDB, service exposure, static-site/metrics/raw-template extension gates, deterministic cub installer package/setup proof.
grafana/tempo@1.24.4recipes/grafana/tempo/1.24.4/, packages/grafana/tempo/1.24.4/Eighteenth full public-chart proof row: deprecated chart marker, local-persistent and s3-query-observability variants, local/S3 storage, target S3 credential Secret, query ingress, ServiceMonitor capability, NetworkPolicy, StatefulSet runtime risk, deterministic cub installer package/setup proof.
hashicorp/consul@2.0.0recipes/hashicorp/consul/2.0.0/, packages/hashicorp/consul/2.0.0/Nineteenth full public-chart proof row and twentieth target chart: default-control-plane and secure-mesh-existing-secrets variants, 28 CRDs, cluster RBAC, injector webhooks, TLS/ACL/gossip target Secrets, gateway topology, UI ingress, lifecycle Job, rendered Secret, deterministic cub installer package/setup proof.

Execution Order

The review made the first implementation slice explicit:

  1. #24 Schema and verifier first. Without this, artifacts and spreadsheets are decorative.
  2. Redis complete proof. Redis now has the first complete proof slice. Keep it green while the next issues scale the pattern.
  3. Five-minute UX proof. The first demo script exists under docs/demo/redis/. Keep refining the UX without inventing non-existent commands.
  4. Close the missing determinism/freshness gates: #29, #28, #30, and #27.
  5. #25 Top-N adversarial harness. The next milestone is 20 full public-chart proofs, not just a readiness spreadsheet. Only scale after the artifact chain and UX proof work. Use known-adversarial-charts.md to choose public charts that exercise CRDs, hooks, generated facts, capabilities, tpl, raw manifests, RBAC/webhooks/APIService, and stateful behavior.

Closed P0 Proof Gates

These issues are closed. Keep them listed because they define what the current proof corpus must continue to satisfy.

IssueAreaWhy it was a gate
#24 Add artifact schema and receipt verifierProof integrityReviewers need machine verification that artifacts, hashes, and receipts are consistent.
#4 Emit a HelmPlan pain report for each analyzed chartHelmPlanEvery chart needs a visible pain/mitigation report before it can be trusted.
#5 Produce EffectiveValues@sha with value precedence and provenanceValues / provenanceHelm users need to know which inputs actually produced the result.
#6 Detect dead, unknown, or ignored Helm values where possibleValues / safetySilent ignored values are a core Helm pain point.
#7 Add value-to-rendered-field explanation for key chart settingsExplainabilityThe proof must show why rendered objects differ between variants.
#29 Define capability profile catalog for Helm proofsCapability profilesTop charts branch on Kubernetes/API capabilities; profiles must be finite and digest-bound.
#28 Define generated fact receipt schemaGenerated factsPasswords, certs, UUIDs, and time values must be generated once and bound into revisions.
#30 Add upgrade and rollback simulation receiptsDay-2 proofFirst install is not enough; upgrades and rollback need digest-bound proof.
#27 Define observation freshness SLO for workerless proofObservationWorkerless ConfigHub is credible only if freshness is explicit and machine-checkable.
#25 Build top-N adversarial chart run harnessScale proof20/100/500 chart claims require a repeatable generated run, not manual analysis.

P1 Strong Next Proof

IssueAreaWhy it matters
#11 Add ConsequencePreview for rendered variant revisionsReview UXShows effects, not just YAML noise.
#12 Generate GitOpsCompatibilityReport for Argo CD and Flux pathsGitOpsProves ConfigHub works with existing delivery tools.
#13 Add CRDCompatibilityReport for CRD-heavy chartsCRDs / day-2CRD-heavy charts are common and risky.
#14 Add CI/PR comment mode for chart analysis resultsWorkflowLets teams adopt analysis in existing review flows.
#15 Diagnose existing Helm release state and upgrade footgunsMigration / day-2Helps existing Helm users move without blind spots.
#16 Generate suggested fixes for common Helm pain findingsRemediationTurns analysis into action.
#143 Make cub variant create the explicit derived-variant substrateDerived variants / docsPrevents docs from inventing command surface and makes the current variant CLI visible.
#144 Build a derived-variant expansion wave across top-20 and wave-2 chartsDerived variants / proofGives derived variants enough real use to be credible.
#145 Prove promotion and environment management with derived ConfigHub variantsPromotionShows reviewed base -> environment/region/customer variants without Helm rerender.
#146 Add fleet inventory and CMDB views over catalog artifacts and ConfigHub UnitsInventoryTurns queryable desired state into a concrete user-facing value lane.
#147 Prove fleet-scale mutation and codemod workflows over ConfigHub UnitsFleet operationsDemonstrates controlled bulk changes with checks, gates, and receipts.
#148 Add policy, compliance, and security posture reports over rendered desired statePolicy/securityRolls scan/gate evidence into a catalog posture view.
#149 Add dependency graph and impact analysis for variants and upgradesImpact analysisShows what base, target, or policy changes affect.
#150 Add Creator and agentic intent flow over cub variant createCreator / AXKeeps the human and agent story intent-first while mapping to current primitives.
#151 Define variant release and OCI handoff semanticsGitOps / releaseSeparates current CLI truth from planned release/tag/OCI behavior.
#152 Define Promotion UI expectations for clean variant diffsReview UXMakes inherited, overridden, upstream-added, and no-op changes legible.
#153 Reposition GitOps tutorial around Argo/OCI and bridge-independent proofGitOpsKeeps the tutorial aligned with current Argo/OCI direction.

P2 Design Depth

IssueAreaWhy it matters
#17 Build shared chart dossier and HelmPlan index for curated chartsCatalog / dossiersEnables reusable chart knowledge over time.
#18 Add full field-level governance and ownership modelGovernancePrevents tool/controller ownership conflicts.
#19 Design deep typed secret reference systemSecretsKeeps secret handling safe without hiding needed proof.
#20 Model lifecycle contracts for migrations, readiness, and rollbackLifecycleCaptures complex day-2 behavior.
#21 Explore typed/enriched value model beyond Helm valuesValue modelMay improve explainability beyond raw values.
#22 Design cross-controller consequence engineOperationsSupports deeper multi-controller reasoning.
#23 Track pure serverless cub installer as deferred optionDeferred optionPreserves the idea without putting it on the current proof path.

Planning Sync Checklist

When a GitHub issue is added, closed, or reclassified:

Do not let the written plan describe a proof path that ignores open P0 gates. When future P0s are about productization rather than current proof validity, say that explicitly rather than letting reviewers infer the proof corpus is broken.