Polaris: Skill for Claude Code

Spec Contract

$spec-contract is a deterministic helper. It does not decide what a Spec means.

The Spec's material semantics are already frozen by exact CCL addresses in its spec-contract-ccl:v1 manifest. This helper converts that projection plus explicitly identified private implementation, testing, and exclusion cells into one reproducible contract universe for ticketing, implementation, verification, and review.

Contract cells

A CCL-backed software Spec exposes only:

• OBL-* — material semantic obligations from spec-contract-ccl:v1; semantic payload is the exact ordered CCL address set;
• IMP-* — private/mechanical implementation obligations from stable-ID bullets in ## Implementation Decisions;
• TEST-* — proof/test obligations from stable-ID bullets in ## Testing Decisions;
• EXC-* — exclusions from stable-ID bullets in ## Out of Scope.

Narrative sections are human context and never create hidden cells. If material behavior is missing, route the Spec back to $to-specs / semantic authority instead of interpreting prose here.

Do not build Source Unit inventories, classify prose as normative/non-normative, invent NORM-*, or infer architecture obligations from ADR/wiki/code prose.

Deterministic builder

Use:

python -m scripts.ccl_spec check <spec-body-file> contracts/ccl/transactions
python -m scripts.spec_contract build <issue-json> <contract-output>
python -m scripts.spec_contract validate <issue-json> <expected-contract>
python -m scripts.spec_contract check-coverage <contract-json> <coverage-json>

The canonical result schema is:

{
  "schema": "polaris.spec-contract/v1",
  "spec_body_hash": "...",
  "spec_contract_hash": "...",
  "cells": [
    {
      "cell": "OBL-001",
      "kind": "material-contract",
      "cell_hash": "...",
      "ccl": ["contract@1#assertion"]
    }
  ]
}

There is no secondary source-unit, normative-classification, or compatibility projection. The cells array is the complete contract universe.