[Extension]: Update AEE catalog entry to v1.0.1

Xác định bản ghi catalog hiện có cho extension ID aee và so sánh bản ghi đó với Proposed Catalog Entry. Cập nhật phiên bản, mô tả và thông tin về các dependency của tool được khai báo cho v1.0.1, sau đó xác minh rằng catalog chấp nhận entry và khớp với các giá trị được liệt kê.

Extension Submission — AEE v1.0.1 (catalog update)

Note for maintainers: this updates the existing catalog entry for the AEE extension (v1.0.0 → v1.0.1, new description). It is separate from #4626, which requested dependency-metadata corrections for the existing v1.0.0 entry. Please do not close this as a duplicate of #4626.

Extension ID

aee

Extension Name

Applied Epistemic Engineering

Version

1.0.1

Description

Challenge claims, trace evidence, propagate uncertainty, and route epistemic failures across phases

Author

ElectroHire

Repository URL

https://github.com/electrohire/spec-kit-aee

Download URL

https://github.com/electrohire/spec-kit-aee/archive/refs/tags/v1.0.1.zip

License

MIT

Homepage

https://github.com/electrohire/spec-kit-aee

Documentation URL

https://github.com/electrohire/spec-kit-aee#readme

Changelog URL

https://github.com/electrohire/spec-kit-aee/blob/main/CHANGELOG.md

Required Spec Kit Version

=1.0.0

Required Tools

• python (>=3.11) — required
• aee CLI — the Applied Epistemic Engineering engine (>=1.0.2,<2); 1.0.2 introduced the gaps command — required
• spec-kit-evaluator (>=1.0.0,<2) — Spec Kit extension implementing the Evaluator Contract; install it first — required

Number of Commands

6 (speckit.aee.assess, speckit.aee.challenge, speckit.aee.trace, speckit.aee.verify, speckit.aee.gate, speckit.aee.gaps)

Number of Hooks

5 (after_specify, after_plan, after_tasks, after_implement, after_verify)

Tags

epistemics, evidence, provenance, uncertainty, governance

Key Features

• Challenge claims on atomicity, boundaries, falsifiability, dependencies, and evidence independence
• Assess explicit claims and emit a rich AEE assessment plus an Evaluator Contract result
• Render the claim dependency graph and inspect epistemic provenance
• Verify the tamper-evident AEE ledger without claiming its contents are true
• Apply a CI-friendly decision gate to an AEE assessment
• Generate and update the gap register from a verification matrix and test evidence

Testing Checklist

• Extension installs successfully via download URL — manifest validated with Spec Kit's own manifest parser in CI
• All commands execute without errors — every adapter operation exercised in CI without silently skipping missing-engine integration tests
• Documentation is complete and accurate — README covers newcomer setup, configuration limitations, and troubleshooting
• No security vulnerabilities identified — CodeQL and dependency-review checks green; no open Dependabot alerts
• Tested on at least one real project — exercised against the extension's own benchmark project (spec-kit-aee-benchmark)

Testing Details

Tested on (CI): Ubuntu 24.04 with Python 3.11 and 3.13; Windows with Python 3.12 — all installing the real AEE engine 1.0.2 from hash-locked requirements (pip install --require-hashes).
Manifest validation: the release extension.yml is parsed with Spec Kit's own manifest parser in CI (validate job), and deterministic extension.yml/documentation compliance tests run on every push.
What changed in v1.0.1 vs v1.0.0: dependency metadata now uses Spec Kit's documented tool metadata (Python, AEE engine 1.0.2, Evaluator Contract); the unsupported requires.commands field was replaced with explicit installation guidance; the description was trimmed to 99 characters per the publishing guide; the exact AEE claim field vocabulary is documented in speckit.aee.assess.

Example Usage

# Install extension
specify extension add aee --from https://github.com/electrohire/spec-kit-aee/archive/refs/tags/v1.0.1.zip

# Assess the claims in your current spec
/speckit.aee.assess

Proposed Catalog Entry

{
  "aee": {
    "name": "Applied Epistemic Engineering",
    "id": "aee",
    "description": "Challenge claims, trace evidence, propagate uncertainty, and route epistemic failures across phases",
    "author": "ElectroHire",
    "version": "1.0.1",
    "download_url": "https://github.com/electrohire/spec-kit-aee/archive/refs/tags/v1.0.1.zip",
    "repository": "https://github.com/electrohire/spec-kit-aee",
    "homepage": "https://github.com/electrohire/spec-kit-aee",
    "license": "MIT",
    "requires": {
      "speckit_version": ">=1.0.0"
    },
    "provides": {
      "commands": 6
    },
    "tags": ["epistemics", "evidence", "provenance", "uncertainty", "governance"],
    "verified": false,
    "downloads": 0,
    "stars": 0
  }
}

Additional Context

• Existing catalog entry (v1.0.0) should be updated to this v1.0.1 entry: new version, new 99-character description, declared tool dependencies.
• Companion issue #4626 covers dependency metadata for the existing v1.0.0 entry and is independent of this version/description update.
• Release: https://github.com/electrohire/spec-kit-aee/releases/tag/v1.0.1