Two pre-existing, repo-internal findings flagged during the 2026-06 estate CI-health work (hyperpolymath/hypatia#464), explicitly out of scope for the central actions/cache + scanner-compile fixes.
1. K9 pedigree — missing metadata.name
verisimdb/connectors/test-infra/deploy.k9.ncl fails "Pedigree block missing 'name'". In standards/k9-svc/pedigree.ncl, Metadata.name | String is the only metadata field with no default, so it is mandatory.
Fix: add metadata.name; per the canonical standards/k9-svc/pandoc/container/deploy.k9.ncl, ideally also metadata.version + validation.pedigree_version and a leash level — trust_level/security_level ∈ 'Kennel | 'Yard | 'Hunt (a shell-running deploy.k9.ncl is 'Hunt).
2. governance / Trusted-base reduction policy red
An undocumented soundness-relevant escape hatch in a proof-bearing file. Disposition is per-repo — discharge, budget (// TRUSTED:), axiom (// AXIOM:), or a dated entry in this repo's docs/proof-debt.md.
Refs: hyperpolymath/hypatia#464, hyperpolymath/nextgen-typing#69.
Generated by Claude Code
Two pre-existing, repo-internal findings flagged during the 2026-06 estate CI-health work (hyperpolymath/hypatia#464), explicitly out of scope for the central
actions/cache+ scanner-compile fixes.1. K9 pedigree — missing
metadata.nameverisimdb/connectors/test-infra/deploy.k9.nclfails "Pedigree block missing 'name'". Instandards/k9-svc/pedigree.ncl,Metadata.name | Stringis the only metadata field with nodefault, so it is mandatory.Fix: add
metadata.name; per the canonicalstandards/k9-svc/pandoc/container/deploy.k9.ncl, ideally alsometadata.version+validation.pedigree_versionand a leash level —trust_level/security_level∈'Kennel | 'Yard | 'Hunt(a shell-runningdeploy.k9.nclis'Hunt).2.
governance / Trusted-base reduction policyredAn undocumented soundness-relevant escape hatch in a proof-bearing file. Disposition is per-repo — discharge, budget (
// TRUSTED:), axiom (// AXIOM:), or a dated entry in this repo'sdocs/proof-debt.md.Refs: hyperpolymath/hypatia#464, hyperpolymath/nextgen-typing#69.
Generated by Claude Code