Migrating from spec_led_ex

This checklist is for the Argos, Engage, Builder, and Atlas migration PRs. Do the steps in one PR so configuration, spec edits, and CI agree on the same Ancora version.

Checklist

Replace the dependency with the pinned Ancora release and refresh the lock file.
Run mix spec.init, then compare the generated agent guide, skill, README, and configuration with the repository's existing .spec/ files. Keep repository-specific instructions.
Move authored subjects to .spec/specs/ and decisions to .spec/decisions/. Remove fields and verification kinds that Ancora no longer reads.
Tag tests with each requirement ID. A tagged test must call the production function that anchors its subject.
Set default_base, test_paths, and lib_paths for the repository. Copy severity choices through the code map below. Every subject override needs a reason.
Replace the old CI command with mix spec.check --base origin/main, using the repository's actual trunk ref when it differs.
Run mix spec.check --base HEAD once to fix corpus and tag errors. Then run against the trunk base and review every drift, growth, shrink, and uncovered file finding.
Remove the compatibility shim only after the repository's CI passes with Ancora alone.

Finding code map

Ancora has 30 finding codes. The right column is the closed registry. Several old checks converge on one current code, while some current codes have no direct predecessor.

specled_ex code	Ancora code
`branch_guard_realization_drift`	`derived/drift`
no direct predecessor	`derived/growth`
no direct predecessor	`derived/shrink`
`detector_unavailable`	`derived/unresolved_calls`
`detector_unavailable`	`derived/unparseable_source`
`branch_guard_dangling_binding`	`derived/unanchored_subject`
`branch_guard_unmapped_change`	`change/uncovered_file`
`branch_guard_missing_decision_update`	`change/missing_decision`
`branch_guard_requirement_without_test_tag`	`tags/new_requirement_untagged`
`tag_scan_parse_error`	`tags/parse_error`
`tag_dynamic_value_skipped`	`tags/dynamic_value`
`requirement_without_test_tag`	`tags/requirement_untagged`
`verification_cover_untagged`	`tags/unknown_requirement`
`append_only/requirement_deleted`	`append/requirement_deleted`
`append_only/must_downgraded`	`append/must_downgraded`
`verification_kind_invalid`, `verification_unknown_kind`	`format/retired_construct`
`verification_command_*`, `tagged_tests_cover_not_executed`	`spec/parse_error`
`duplicate_requirement_id`, `duplicate_scenario_id`, `duplicate_subject_id`, `duplicate_exception_id`, `duplicate_decision_id`	`spec/duplicate_id`
`invalid_id_format`	`spec/invalid_id`
`meta_field_missing`, `requirement_id_missing`, `scenario_id_missing`	`spec/missing_field`
`verification_target_missing`, `surface_target_`, `scenario_cover_unknown`, `subject_unknown_decision_reference`	`spec/unknown_reference`
`requirement_missing_verification`	`spec/requirement_unverified`
`decision_*` parse checks	`adr/parse_error`
`decision_*` section checks	`adr/missing_section`
`cross_field/affects_empty`	`adr/affects_empty`
`cross_field/affects_unresolved`	`adr/affects_unresolved`
`overlap/duplicate_covers`	`overlap/duplicate_covers`
`overlap/must_stem_collision`	`overlap/must_stem_collision`
legacy configuration key checks	`config/unknown_key`
legacy configuration value checks	`config/invalid_value`

The old trailer and environment settings map as follows:

Old setting	Ancora setting
`Spec-Drift:`	`Spec-Ack: <code>=<info\|warning>`
`SPECLED_SHOW_INFO`	`ANCORA_SHOW_INFO`
`SPECLED_COMMAND_OUTPUT_DIR`, `SPECLED_DISABLE_TRACER`	removed

← Previous Page NOTICE