ci: add workflow_call entry modes

[ootakazuhiko]

Summary

• add workflow_call support to ci.yml with mode/trigger inputs
• gate full/extended/fast jobs based on mode while preserving schedule/dispatch behavior
• enable ci.yml to act as a reusable entry point without changing existing triggers

Testing

• not run (workflow changes)

[github-actions]

❓ Code Generation Drift Detection

Status:
Regeneration needed: No

---

Automated by AE-Framework Codegen

[github-actions]

Quality Summary

• Adapters:

• Formal: n/a

• Replay: n/a

• Trace IDs:

[github-actions]

🔍 Verification Summary

• Traceability: 6 scenarios
  • Tests: 3 (50%)
  • Impl: 3 (50%)
  • Formal: 3 (50%)

Unlinked (top 5)

- Device registration publishes enough pre-keys and emits audit log (id: device-registration-publishes-enough-pre-keys-and-emits-audit-log) test:N/A impl:N/A formal:N/A - Invalid auth tag triggers audit violation for AES-GCM envelopes (id: invalid-auth-tag-triggers-audit-violation-for-aes-gcm-envelopes) test:N/A impl:N/A formal:N/A - Session rotation stays within forward secrecy thresholds (id: session-rotation-stays-within-forward-secrecy-thresholds) test:N/A impl:N/A formal:N/A

Linked examples (up to 3)

- Successful reservation (id: successful-reservation) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/specs/formal/tla+/Inventory.tla) - Prevent negative stock (id: prevent-negative-stock) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/specs/formal/tla+/Inventory.tla) - Idempotent by order id (id: idempotent-by-order-id) test: [traceability/inventory.trace.test.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/tests/traceability/inventory.trace.test.ts) impl: [domain/inventory.ts](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/src/domain/inventory.ts) formal: [tla+/Inventory.tla](https://github.com/itdojp/ae-framework/blob/5d2feeb9bf90157e93fe2af3867bbbff9a8c29f1/specs/formal/tla+/Inventory.tla)

Hit basis (tests/formal)

- Test hits: title=3 id=0 tag=0 - Formal hits: title=0 id=3 tag=0

- Model Check (TLC): 2/8 (25%) modules ok

Non-OK modules (top 5)

- KvOnce (log: artifacts/codex/KvOnce.tlc.log.txt) - KvOnceRefinement (log: artifacts/codex/KvOnceRefinement.tlc.log.txt) - KvOnceImpl (log: artifacts/codex/KvOnceImpl.tlc.log.txt) - KvOnce (log: artifacts/codex/KvOnce.tlc.log.txt) - KvOnceRefinement (log: artifacts/codex/KvOnceRefinement.tlc.log.txt)

- Alloy: detected 2 specs (execution skipped) - Contracts: schemas=true conditions=true machine=true - Contracts exec: parseIn=false pre=false post=false parseOut=false

[github-actions]

CodeX Artifacts Summary

• • Contract/E2E templates: 1 files (dir: tests/api/generated)
• • Tests: PBT files=122, BDD features=0
• • Formal specs: TLA=1, Alloy=1

[Copilot]

Pull request overview

Adds workflow_call entrypoint support and mode-based routing to the main CI workflow so it can be reused as a central entry for full, extended, and fast CI runs without changing existing schedule/dispatch behavior.

Changes:

• Add a workflow_call trigger to ci.yml with mode (full, extended, fast) and trigger inputs and sensible defaults.
• Update spec-validation and build-test job conditions to also run when invoked via workflow_call in full mode, preserving existing schedule and workflow_dispatch behavior.
• Extend ci-extended-schedule to also run when ci.yml is called with mode: extended, wire the trigger input through to ci-extended.yml, and add a new ci-fast-call job to delegate fast mode to ci-fast.yml when invoked via workflow_call.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[github-actions]

CI Status Snapshot (2026-01-27T13:45:20.324Z)

• ci: add workflow_call entry modes #1791 ci: add workflow_call entry modes | ✅22 ❌0 ⏳1 ⏭️26 | review:NONE | mergeable:MERGEABLE