Search results

Roadmap: Podman & Conformance follow-up

roadmap

Status: Open.

#1160 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 12, 2025

EnhancedStateManager mutation backlog

Status: Open.

#1080 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

Evaluate Codex SDK Integration into ae-framework

Status: Open.

#1071 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

🛡️ Issue — Operate: Runtime Conformance Monitor

Status: Open.

#1070 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

📊 Issue — req2run: cost/tokens/memory/turns metrics

Status: Open.

#1069 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

🧰 Issue — Verifier Adapter Layer: TLC / Apalache / Conformance

Status: Open.

#1068 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

🧪 Issue — Test‑Driven Intent Mode: TiCoder + TestPilot

Status: Open.

#1067 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

🧭 Issue — Autoformalize‑TLA+: Planning→Coding→ModelCheck→Repair

Status: Open.

#1066 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

🧭 Research papers informing the ae‑framework improvement

reseach

Status: Open.

#1062 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 7, 2025

#1047 Action Plan — Agent Builder Integration

Status: Open.

#1053 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 6, 2025

🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline

aiaiai

featurefeaturefeature

Status: Open.

#1047 In itdojp/ae-framework;

· ootakazuhiko opened on Oct 6, 2025

📦 Project Complexity Management - Simplification and Organization

Status: Open.

#1006 In itdojp/ae-framework;

· ootakazuhiko opened on Sep 29, 2025