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

Localiza el registro de catálogo existente para el ID de extensión aee y compáralo con el Proposed Catalog Entry. Actualiza la versión, la descripción y la información declarada sobre las dependencias de herramientas para v1.0.1; después, verifica que el catálogo acepte la entrada y coincida con los valores indicados.

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