Skip to content

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

Description

@tbitcs

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    triage-can-waitVerdict: valid and in-scope but deprioritized; held behind the evidence gate

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions