원클릭으로 Manus에서 모든 스킬 실행

category-spec-subtrees

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Manus에서 실행

개요

Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

설치 명령

npx skills add https://github.com/dzackgarza/lattice-research --skill category-spec-subtrees

이 명령을 Claude Code에 복사하여 붙여넣어 스킬을 설치하세요

출처

dzackgarza/lattice-research

스타0

포크0

업데이트2026년 5월 16일 08:21

파일 탐색기

2 개 파일

SKILL.md

readonly

name	category-spec-subtrees
description	Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Category Spec Subtrees

This skill is the canonical subtree-ownership guide for category_specs/.

Canonical source

The source of truth is this skill plus references/subtrees.md.

Read references/subtrees.md before editing a category-specific subtree, moving methods between subtrees, writing subtree-specific tests, or deciding whether a method belongs in generic Cat/Hom/End/Aut infrastructure or a specialized category.

Core policy

category_specs/AGENTS.md is the only subtree AGENTS entry point.
Lower nested AGENTS.md files were migrated here to avoid many always-loaded mini-manuals.
Load category-spec-style for spec/code compliance and category-spec-workflow for cards, status, plans, smoke triage, or delegation.
Use this skill for local ownership rules: which subtree owns which mathematical surface.

이 저장소의 다른 Skills

같은 저장소

category-spec-workflow

dzackgarza/lattice-research

Use when handling category-spec workflow state: cards, plans, decisions, TODO triage, retired cards, visual windows, branch/PR routing, validation handoff, or status updates.

2026-05-200

research-state-machine

dzackgarza/lattice-research

Use when moving research work from plan to execution, deciding whether a card is atomic, routing implementation/self-check/adversarial audit, promoting or rejecting results, or claiming GOAL.md discharge.

2026-05-200

category-framework-design

dzackgarza/lattice-research

Use when designing or reviewing category refinement order, Sage category creation, Hom/End/Aut structures, autsets, WithGenerators/FinitelyPresented axioms, dual-object routing, or constructor interception policy.

2026-05-180

research-planning-cleanup

dzackgarza/lattice-research

Use when doing post-hoc meta-review of completed cards, scanning for shallow/confabulated work that passed gate review, cleaning up planning debt, or identifying systemic Jerry-behaviour patterns across cards. Load when "planning cleanup", "meta-review", "completed card audit", or "card quality scan" is mentioned.

2026-05-180

research-proof-auditing

dzackgarza/lattice-research

Use when auditing computational or formal proofs, writing or reviewing mathematical argument notes, checking evidence sufficiency, reviewing Sage/GAP/Lean/Aristotle verification, detecting proof fraud, or deciding whether a result is accepted.

2026-05-180

category-spec-planning

dzackgarza/lattice-research

Use after the user asks to plan category-spec work, decompose an approved plan into cards, or organize plan phases into task/decision/research work.

2026-05-160

출처

dzackgarza

dzackgarza/lattice-research

GitHub 저장소 열기 Creator 저장소 보기

설치 명령

다운로드

Manus에서 실행

유용한 대상SOC

소프트웨어 개발자컴퓨터 및 수학직15-1252L4

name	category-spec-subtrees
description	Use when working inside a specific category_specs subtree and needing local ownership, constructor, hom/end/aut, or test-directory guidance after nested AGENTS files were migrated into skills.

Category Spec Subtrees

This skill is the canonical subtree-ownership guide for category_specs/.

Canonical source

The source of truth is this skill plus references/subtrees.md.

Core policy

category_specs/AGENTS.md is the only subtree AGENTS entry point.
Lower nested AGENTS.md files were migrated here to avoid many always-loaded mini-manuals.
Load category-spec-style for spec/code compliance and category-spec-workflow for cards, status, plans, smoke triage, or delegation.
Use this skill for local ownership rules: which subtree owns which mathematical surface.