as-const-satisfies SKILL.md skillA

as-const-satisfies from ncaq/konoka is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add ncaq/konoka/as-const-satisfies@git:20260512.a1aeadf

Pins git:20260512.a1aeadf in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
ncaq/konoka
Path
plugins/web-tasuke/skills/as-const-satisfies/SKILL.md
Versions recorded
2
Latest version
git:20260512.a1aeadf, committed May 12, 2026
First version recorded
Apr 7, 2026
Size
5,254 bytes
Repository stars
3
License
Apache-2.0

Use `as const` and `as const satisfies Type` for constant definitions in TypeScript. Use when defining constants, config objects, or string union types.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# `as const satisfies` パターンの使用

## 基本原則

定数定義では`as const`を積極的に使用します。
`as const`によりリテラル型が保持され、
より厳密な型推論が可能になります。

名前のついている特定の型で型チェックも出来る場合は`as const satisfies Type`を使用します。
これで「`as const`を使いたいが、型のチェックもしたい」という要求を満たせます。

## 使い分け

### `as const`を使う場合

定数定義では基本的に`as const`を使います。
リテラル型の保持と型レベルでの`readonly`(ただし実行時にはオブジェクトは凍結されません)が得られます。

```typescript
const status = {
  pending: "pending",
  approved: "approved",
  rejected: "rejected",
} as const;

// `status.pending`の型: "pending"
```

### `as const satisfies Type`を使う場合

`as const`の利点を保ちつつ型チェックも行いたい場合に使用します。

```typescript
const status = {
  pending: "pending",
  approved: "approved",
  rejected: "rejected",
} as const satisfies Record<string, string>;

// `status.pending`の型: "pending"(リテラル型保持)
// かつ`Record<string, string>`を満たすことが保証される
```

### `: Type` や `satisfies Type` を使う場合

可変性が必要な場合や、
リテラル型の保持が問題になる場合に限り使用します。

```typescript
// 可変な配列が必要な場合
const items: string[] = [];
items.push("a"); // OK

// `as const`だと`readonly`になり`push`できない
```

## `as const satisfies`がそのまま使えないパターン

`satisfies`で指定する型が可変な型の場合、
`as const`の`readonly`性と競合してエラーになることがあります。

### 問題のあるパターン

```typescript
type Config = {
  values: string[];
};
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add ncaq/konoka/as-const-satisfies@sha256:91935c7574a1edea

The line at the top of this page pins the label git:20260512.a1aeadf, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_4swxv3vrovj4tgxi.svg)](https://markdownregistry.com/a/art_4swxv3vrovj4tgxi)

2 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 2 versions of this file, between Apr 7, 2026 and May 12, 2026, about one every 35 days.

versioncommittedcommitsizeaudit
git:20260512.a1aeadf latest2026-05-12 a1aeadf 5,254 BA view · diff
git:20260407.8cdba482026-04-07 8cdba48 5,242 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (5254 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

ncaq/konoka · 3 stars · license Apache-2.0 · pushed 2026-10-19 · branch master

API

GET https://markdownregistry.com/api/v1/artifacts/art_4swxv3vrovj4tgxi
GET https://markdownregistry.com/api/v1/resolve?ref=ncaq/konoka/as-const-satisfies
GET https://markdownregistry.com/api/v1/blob/91935c7574a1edeae99f69e6c48e3fa6dbea9de336e41b02cf2faf54788d7503

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from ncaq/konoka

AGENTS.md AGENTS.md file
ncaq/konoka · AGENTS.md
git:20260329.5b4489e · audit B · 3 stars
CLAUDE.md CLAUDE.md file
ncaq/konoka · CLAUDE.md
git:20260329.5b4489e · audit B · 3 stars
commit-style SKILL.md skill
ncaq/konoka · plugins/commit/skills/commit-style/SKILL.md · Commit message style guidelines. Use when writing or proposing git commit messages, including direct git commit…
git:20260815.bd27938 · audit A · 3 stars
commit SKILL.md skill
ncaq/konoka · plugins/commit/skills/commit/SKILL.md · Generate a commit message from staged changes, then let the user review before committing in manual mode or commit…
git:20260822.e17c526 · audit A · 3 stars
bracket SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/bracket/SKILL.md · Use bracket or with-style functions to guarantee resource cleanup even on exceptions instead of separate do blocks. Use…
git:20260521.babbbee · audit A · 3 stars
bump-cabal-index-state SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/bump-cabal-index-state/SKILL.md · Update Cabal project index-state to the latest timestamp. Use when it needs to bump the cabal index-state.
git:20260531.5461ac6 · audit A · 3 stars
cabal-command SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/cabal-command/SKILL.md · Use cabal with --disable-optimization for development builds and tests, and add --enable-tests to avoid rebuilds. Use…
git:20260521.904d064 · audit A · 3 stars
exception SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/exception/SKILL.md · Do not throw exceptions from pure code with error or throw, give exceptions structured types, and never silently…
git:20260521.6406d80 · audit A · 3 stars
export SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/export/SKILL.md · Explicitly enumerate Haskell module exports instead of exporting everything implicitly, and use re-export sparingly…
git:20260521.52cf94e · audit A · 3 stars
function-result SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/function-result/SKILL.md · Do not discard a function's final value with return (), pure (), or void; adjust the type to return the value and let…
git:20260521.6744f8a · audit A · 3 stars
himari SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/himari/SKILL.md · himari is ncaq's rio-like custom Haskell Prelude. Import it with a single `import Himari`, never `import…
git:20260614.79ad199 · audit A · 3 stars
io-monad SKILL.md skill
ncaq/konoka · plugins/haskell-tasuke/skills/io-monad/SKILL.md · Prefer MonadIO and MonadUnliftIO type classes over using IO directly, and avoid redundant liftIO. Use when writing or…
git:20260521.04da5a4 · audit A · 3 stars

Every file in ncaq/konoka

Browse by kind, by grade A, or by owner.