docs(ship): P0 complete → v1.27.0 (v1.28 pre-execution)

---ci--- project: acdl phase: 0 milestone: v1.28 status: complete ---/ci---
decision(P00): mvp/ux gate — auto-generated (3 sections verified, PASS)
2026-08-19 22:11:01 +00:00 · 2026-08-19 22:10:24 +00:00 · 2026-08-19 22:10:15 +00:00 · 2026-08-19 22:06:38 +00:00 · 2026-08-19 22:05:24 +00:00 · 2026-08-19 21:58:41 +00:00
31 changed files with 2731 additions and 1287 deletions
@@ -501,9 +501,69 @@ deterministic scripts" tenet holds — kyverno-json is deterministic, not
 AI; the `is_configured()` guard ensures the platform runs even when the
 binary is not installed).

-> **§12.8 — Pilot Estate** is planned for the v1.26 P4 phase (REQ-321).
-> It will document the live-pilot architecture (consumer contract →
-> `deploy.yml@v1.25` → apply → attest → record against `581513795199`).
+### §12.8 — Pilot Estate (v1.26, live)
+
+The first real consumer estate is **`nova-blockchain-exchange`** — a
+blockchain stock exchange on a homegrown Proof-of-Authority chain,
+equities only, dev only (D-020/D-200/D-201). The live apply landed on
+2026-08-19 against AWS account `581513795199`. This is the estate that
+activated the Post-Pilot metric denominators (see `docs/METRICS.md`).
+
+**The live apply (run id `blkex-pilot-apply-v0.2`):**
+- Target: account `581513795199`, environment `dev`, autonomous (no
+  HITL — dev is the only autonomous environment, confidence ≥ 0.50).
+- The microservice L2 composition (ECS Fargate running nginx) + the
+  `dynamodb` L1 (the `nova-blkex-ledger-dev` table) + the `s3` L1 (the
+  `nova-blkex-blocks-dev-581513795199-us-east-1` bucket).
+- The platform VPC prerequisite (`vpc-0d7c8867e6cc080f1` + 6 subnets +
+  the ECS SG) is read via `terraform_remote_state` — the L2 composition
+  does not own the network boundary (the "restricted from
+  thin-composition" rule from §Layer 2).
+- Confidence signal: score **0.800**, band **pass**; `human_override`
+  false; `escalation_reason` absent (clean apply).
+
+**The Gitea adapter (SPEC §10 Q1):** Gitea Actions does not support
+cross-repo `uses:`, so the consumer's `deploy.yml` is an **inline
+adapter** — `actions/checkout@v4` the consumer, `actions/checkout@v4`
+`acdl/acdl` @ `ref: v1.25` into `platform/`, then
+`bash platform/scripts/run_platform.sh ...`. The platform's own
+`.github/workflows/deploy.yml` stays as the GitHub Actions reference
+impl (the reusable `workflow_call` workflow). See `adapters/README.md`
+§Consumers for the adapter note.
+
+**The Decision Ledger evidence stream** (the apply produces these
+events in order):
+```
+nova.confidence.computed  (score 0.800, band pass)
+        │
+        ▼
+nova.ai.decision.made     (decision_id blkex-pilot-apply-v0.2,
+                           chosen_action pass, human_override false)
+        │
+        ▼
+nova.attestation.recorded (dev = no HITL gate; the record exists,
+                           the gate is a no-op in the autonomous env)
+        │
+        ▼
+nova.run.completed        (apply succeeded)
+        │
+        ▼
+nova.outcome.backfilled   (outcome pending → succeeded, REQ-317;
+                           backfilled_at 2026-08-19T03:05:04Z)
+```
+The SQLite hash-chain is valid (0 breaks). S3 Object Lock / JWS
+(D-083) stays deferred — the SQLite Decision Ledger is the pilot's
+audit record (D-204).
+
+**Live outputs (account 581513795199):**
+- ALB DNS: `app-254671247.us-east-1.elb.amazonaws.com`
+- ECS service: `arn:aws:ecs:us-east-1:581513795199:service/nova-cluster/nova-microservice`
+- DynamoDB table: `nova-blkex-ledger-dev` (PK `block_index`, PAY_PER_REQUEST)
+- S3 bucket: `nova-blkex-blocks-dev-581513795199-us-east-1` (versioning + SSE)
+
+The full evidence (every ARN, the confidence JSON, the Decision Ledger
+rows, the module-completeness gaps the live apply uncovered) is in
+`.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md` (archived v1.27).

 ### §12.9 — Secret Rotation (v1.26 P3 W7, SPEC §5.9 — current)

@@ -516,4 +576,84 @@ key only after the new one propagates to the consumer's Actions secret
 store, verified by a post-PUT GET; on upload/verify failure the old key is
 left Active and the run exits non-zero. The synced workflow file is
 forge-agnostic (REQ-230): forge base URL / owner / consumer repo come from
-repository secrets (`NOVA_FORGE_*`, `NOVA_CONSUMER_REPO`), not literals.
+repository secrets (`NOVA_FORGE_*`, `NOVA_CONSUMER_REPO`), not literals.
+
+### §12.10 — Nova-idp Identity Layer (v1.28, current)
+
+Nova owns its identity layer end-to-end. Two (optionally three) Lambda
+functions + four DynamoDB tables + one KMS asymmetric signing key + one
+kyverno-json ABAC policy. **No Cognito, no IAM Identity Center (INV-15).**
+The `nova-cli` Lambda layer carries the Nova wheel + `argon2-cffi` +
+`cryptography` + `pyjwt` + the `kj` Go binary, making the same code
+importable in both the CLI and the Lambda (REQ-329 dual-use, NFR-7).
+
+**Components:**
+
+- `nova-idp-auth` Lambda — sign-up, sign-in, session creation. Argon2id
+  password hashing (D-228: bundled abi3 wheel; fail-closed on
+  `ImportError`, no pure-Python fallback). DynamoDB: `nova-users`
+  (PK `user_id`, Argon2id `password_hash`), `nova-sessions` (PK
+  `session_id`, TTL `expires_at`), `nova-password-resets` (PK
+  `reset_token`, TTL 15m). Function URL with IAM auth.
+- `nova-idp-token-vend` Lambda — accepts a PAT (or session token),
+  validates revocation (`nova-pats.GetItem(jti, ConsistentRead=True)` —
+  D-229, 60s SLO), evaluates the kyverno-json ABAC policy at
+  `platform/abac/token-vend.policy` (D-227, INV-17), KMS-signs an
+  ECDSA P-256 JWT (`ES256`), converts DER→raw ECDSA signature (RFC 7515
+  §3.1.3), returns the OIDC token. The `policy_version` (git SHA,
+  D-231) is recorded in every `token.vend.allowed/denied` audit event.
+- `nova-idp-jwks` Lambda (optional, separation of concerns) — function
+  URL with `AuthType: NONE` (public key only), `Cache-Control: max-age=3600`.
+  `kms.get_public_key` → DER SPKI → JWK via `cryptography`. Custom
+  domain + WAF via CloudFront is OPTIONAL (`--public-jwks-domain` flag
+  on `nova idp setup`, D-230).
+- `nova-pats` DynamoDB table — PK `jti`, GSI1 `sub` (list PATs for
+  user), GSI2 `pat_hash` (lookup by hash). Only the hash stored (not
+  raw PAT, REQ-343). Revoked PATs retained for audit.
+
+**CLI surface (`nova` package, greenfield):**
+
+- Entry point: `[project.scripts] nova = "nova.cli:main"` (argparse-only,
+  no click/typer — repo convention). `nova/cli.py` auto-discovers
+  `nova/<module>.py` subcommands via `pkgutil.iter_modules`, dispatches,
+  emits the `cli.invocation` audit event (INV-12) with `mode`,
+  `selection_reason`, `credential_type`, `command`, `args`.
+- Each `nova/<module>.py` is ≤50 lines, delegates to `core/` (CAP-034
+  AST scan). Subgroups: `nova auth login/revoke/status`, `nova idp
+  setup --check/--apply/--verify`, `nova init`, `nova apply --local`.
+- `core/mode_resolver.py` — flag → env (`NOVA_CLIENT_MODE`) → credential
+  type → `sys.stdin.isatty()` (D-226). CLI-only; Lambdas don't resolve
+  modes. Property-tested with `hypothesis` (REQ-349).
+- `core/env.py:+synthesize_local_env()` — synthesizes a local env dict
+  from a contract + `--local` flag (REQ-330). No cloud provisioning.
+
+**Packaging (NFR-6, CAP-035):**
+
+- CI publishes a wheel to CodeArtifact AND a Lambda layer with identical
+  version strings on every merge affecting `core/`/`adapters/`/`nova/`.
+  Version mapping recorded in SSM `/nova/layer/nova-cli/version`.
+  If either publish fails, the merge is blocked (REQ-323).
+- `nova cli-action` composite action at
+  `.github/actions/nova-cli/action.yml`, referenced by both GitHub +
+  Gitea (`uses: continuous-intelligence/acdl/.github/actions/nova-cli@v1.28`).
+  Python 3.12 pinned. Byte-identical behavior verified by CI matrix
+  (REQ-326, NFR-11).
+
+**Data flows:**
+
+1. Sign-up → `nova-idp-auth` → Argon2id → `nova-users` PutItem → session
+   → `nova-sessions` PutItem → return session token.
+2. Token vend (hot path) → `nova-idp-token-vend` → `nova-pats` strong
+   read (revocation) → kyverno-json ABAC eval → if allow → KMS sign →
+   DER→raw → return OIDC JWT. Audit at every step.
+3. JWKS fetch → `nova-idp-jwks` → `kms.get_public_key` → DER→JWK →
+   `{"keys":[...]}`. Cached 1h at CloudFront (if custom domain) / client.
+4. PAT revoke → `nova auth revoke --pat <jti>` → `nova-pats.UpdateItem(
+   status=revoked)` → audit. Strong read on next vend → 403 (within 60s).
+
+**`nova idp setup` (REQ-340, NFR-10):** generates a CloudFormation
+template (raw dict → JSON, no troposphere dep), presents for review
+(`$PAGER` + resource summary), requires explicit `y/N` approval before
+`cloudformation deploy --capabilities CAPABILITY_IAM`. `--check` reports
+prerequisites + IAM policy delta; `--verify` runs the KMS round-trip
+test. New IAM grants required: `cloudformation:*`, `codeartifact:*`.
@@ -1,35 +1,28 @@
 {
-  "phase": 3,
-  "stage": "verify",
-  "milestone": "v1.26",
-  "phase_role": "execution",
+  "phase": 0,
+  "stage": "complete",
+  "milestone": "v1.28",
+  "phase_role": "pre_execution",
  "attempts": 0,
-  "updated_at": "2026-08-19T00:00:00Z",
+  "updated_at": "2026-08-19T20:55:00Z",
  "project": "acdl",
  "projects": ["acdl", "nova-blockchain-exchange"],
-  "active_milestone": "v1.26",
-  "milestone_branch": "milestone/v1.26-pilot-activation",
-  "phase_branch": "phase/03-pilot-metrics-and-policies",
-  "tag_line": "v1.25.x",
-  "previous_phase": {"phase": 2, "tag": "v1.25.2", "status": "complete"},
-  "current_phase": {"phase": 3, "tag": "v1.25.3", "status": "verify"},
-  "requirements": ["REQ-315", "REQ-316", "REQ-317", "REQ-318", "REQ-319", "REQ-320"],
-  "waves": {
-    "W0": "Gitea adapter — inline checkout-then-call in consumer deploy.yml (SPEC §10 Q1 resolved, consumer repo)",
-    "W0.5": "kyverno-json substrate fix (v1.25 skip-masked bug) + P2 drift (dynamodb examples, sync_workflows, deck path)",
-    "W2": "outcome backfill (REQ-317) + escalation_reason (REQ-318)",
-    "W3": "env-JSON state_backend wiring (REQ-319) — dev bound to 581513795199",
-    "W4": "pilot-readiness (REQ-320) + settlement-finality (REQ-315) kyverno-json policies — run against real kj",
-    "W5": "CAP-025 live-pilot-apply regression check (REQ-316)",
-    "W6": "deploy.yml drift fixes — AWS_DEFAULT_REGION from secret, ref v1.25, no raw NOVA_AWS_* in shell env (SPEC §5.1/§5.2)",
-    "W7": "secret rotation scheduled workflow (SPEC §5.9) + forge-agnostic token name (REQ-230)"
-  },
-  "pre_run": {
-    "flaky_test_fixed": "8c68d68 test(metrics): fix attestation-event test freshness time-bomb",
-    "acdl_to_nova_migration": "f844fea chore(bootstrap): migrate ACDL_* env vars to NOVA_*",
-    "aws_bootstrap": "S3 nova-tfstate-581513795199-us-east-1 + DynamoDB nova-outbox created (idempotent, account 581513795199)",
-    "consumer_repo_created": "continuous-intelligence/nova-blockchain-exchange (Gitea, private, init, cloned to /root/nova-blockchain-exchange)",
-    "kj_installed": "kyverno-json v0.0.3 via go install (binary kyverno-json symlinked as kj) — policy tests run, not skipped"
-  },
-  "notes": "v1.26 P3 verify PASS. W0 Gitea adapter (consumer deploy.yml inline — SPEC §10 Q1 resolved). W0.5 fixed v1.25 skip-masked kj substrate bug (engine + 16 policies + install script) + 7 pre-existing P2 drift failures. W2 outcome backfill + escalation_reason. W3 env-JSON state_backend (dev→581513795199). W4 pilot policies (real kj). W5 CAP-025. W6 deploy.yml drift (AWS_DEFAULT_REGION, ref v1.25). W7 rotation workflow. 844 platform + 90 consumer tests green. Ready for P3 SHIP → v1.25.3."
+  "active_milestone": "v1.28",
+  "milestone_branch": "milestone/v1.28-cli-identity",
+  "phase_branch": "phase/00-pre-execution",
+  "tag_line": "v1.27.x",
+  "previous_milestone": {"milestone": "v1.27", "tag": "v1.26.3", "status": "complete"},
+  "decisions": ["D-226", "D-227", "D-228", "D-229", "D-230", "D-231"],
+  "personas": ["backend-engineer", "security-engineer", "cli-engineer", "lead-developer"],
+  "phases_planned": 6,
+  "execution_phases": [
+    {"phase": 1, "name": "cli-substrate", "reqs": ["REQ-323..328"], "caps": ["CAP-033", "CAP-034", "CAP-035"], "tag": "v1.27.1"},
+    {"phase": 2, "name": "lambda-packaging", "reqs": ["REQ-329..332"], "tag": "v1.27.2"},
+    {"phase": 3, "name": "idp-auth", "reqs": ["REQ-333..335"], "caps": ["CAP-036"], "tag": "v1.27.3"},
+    {"phase": 4, "name": "token-vend-pat", "reqs": ["REQ-336..344", "REQ-340..341"], "caps": ["CAP-037", "CAP-038"], "tag": "v1.27.4"},
+    {"phase": 5, "name": "docs-integration", "reqs": ["REQ-345..351"], "tag": "v1.27.5"},
+    {"phase": 6, "name": "final-review-ship", "reqs": ["REQ-352..353"], "tag": "v1.27.6"}
+  ],
+  "grill": {"verdict": "PROCEED-WITH-CONDITIONS", "confidence": 0.76, "critical_conditions": 3, "tracked_conditions": 16, "escalations": 0},
+  "notes": "v1.28 P0 SHIP. Pre-execution complete (SPECIFY->CLARIFY->RESEARCH->PLAN->GRILL->MVP/UX). Tag v1.27.0. Merged phase/00 -> milestone/v1.28-cli-identity. 6 execution phases planned (P1..P6). Next: P1 cli-substrate."
 }
@@ -1,226 +1,276 @@
-# CLARIFY — v1.26 Live Pilot Estate Activation
+# CLARIFY — v1.28 CLI Canonicalization + Identity Layer

 > **Autonomy:** full. Auto-resolution with assumption logging per
-> `config.autonomy.level: "full"`. No human escalation unless
-> confidence < 0.60 (threshold `config.autonomy.decision_confidence_threshold`).
-> 10 ambiguities identified; all resolved (confidence ≥ 0.60).
+> `config.autonomy.level: "full"`. No human escalation unless confidence
+> < 0.60. The user-approved re-mapping plan (v1.18 spec → v1.28) resolved
+> the headline discrepancy. This file records the remaining ambiguities
+> and the grounding gaps surfaced in pre-flight.

 ---

 ## Method

-The clarify stage identifies ambiguities in the v1.26 specification
-(PROJECT.md, REQUIREMENTS.md, ROADMAP.md) and resolves them at full
-autonomy. Each ambiguity gets a decision ID (D-200+; continuing from
-the v1.26 SPECIFY decisions D-200..D-205), a resolution, a confidence
-score, and a rationale. Resolutions update PROJECT.md + REQUIREMENTS.md
-+ ROADMAP.md as needed.
+The clarify stage identifies ambiguities in the v1.28 specification and
+resolves them at full autonomy. The v1.28 spec is the user-provided
+"Universal Feature Specification — v1.18 CLI Canonicalization + Identity
+Layer," re-mapped to v1.28 (milestone number, tag line, and all
+ID namespaces) per the user-approved plan. Each ambiguity gets a
+decision ID (D-226+, continuing from v1.27's D-214..D-225), a resolution,
+a confidence score, and a rationale.

 ---

-## Ambiguities + Resolutions
+## Prior-conversation resolutions (already locked, restated for the record)

-### Q1 — Does the consumer repo's `.ciagent/` live in the platform repo or the consumer repo?
+These were resolved by the user-approved re-mapping plan in the
+conversation that spawned v1.28. They are load-bearing for v1.28
+execution.

-**Ambiguity:** The user said "ciagent should track it as a separate
-project under this same path." Does "this same path" mean the platform
-repo's `.ciagent/` directory (multi-project mode per `run.md` Step 0),
-or a separate `.ciagent/` inside the consumer repo?
+### Q-P1 — The source spec is titled "v1.18" but v1.18 already shipped. What milestone is this?

-**Resolution:** The platform repo's `.ciagent/` directory. Multi-project
-mode: `.ciagent/config.json` `projects[]` includes both `acdl` +
-`nova-blockchain-exchange`; the consumer's project files
-(PROJECT.md, REQUIREMENTS.md, ROADMAP.md) live in
-`.ciagent/nova-blockchain-exchange/`. The consumer *git repo* owns the
-app code + `contract.yaml` + deploy workflow invocation; the platform
-repo owns the CIAgent planning artifacts for both projects. This
-matches `run.md` Step 0 multi-project mode.
+**Resolution:** Re-map the spec's *content* (CLI Canonicalization +
+Identity Layer) to **v1.28**, the next milestone after v1.27 (complete).
+Tags run on the **v1.27.x** line (P0 = `v1.27.0`). Milestone branch:
+`milestone/v1.28-cli-identity`.
+**Confidence:** 1.0 (user-confirmed — "Re-map to v1.28"). **Decision:** n/a (milestone identity, not a D-ID).

-**Confidence:** 0.95. **Decision:** D-206.
+### Q-P2 — The spec's "locked inputs" (D-NEW-26, kj engine, Nova-idp, INV-63/64/65, CAP-025..030, REQ-001..031) don't exist in the repo. How to handle?

-### Q2 — Is the bootstrap `NOVA_AWS_*` key the root key or the spike-runner key?
+**Resolution:** Author them fresh in this milestone's CLARIFY/RESEARCH as
+**D-226..D-231, INV-12..17, CAP-033..038, REQ-323..353**. The `kj` engine
+is mapped to the existing **kyverno-json** engine (INV-4 swappable) — no
+new engine is built. CAP/INV/REQ IDs are re-allocated to avoid collisions
+with shipped history (CAP-025..032 and INV-1..11 are blockchain/pilot).
+**Confidence:** 1.0 (user-confirmed — "Re-map to v1.28"). **Decision:** D-227 (kj→kyverno-json), plus the ID-allocation block in REQUIREMENTS.md.

-**Ambiguity:** The bootstrap scripts (post-migration) prefer
-`NOVA_BOOTSTRAP_AWS_*`, falling back to `NOVA_AWS_*`. The pre-run
-(A3) succeeded with `NOVA_AWS_*`, creating the S3 bucket + DynamoDB
-table — which requires root or root-equivalent IAM. Is `NOVA_AWS_*`
-the root key, or did the bootstrap succeed because the spike-runner
-policy happens to include S3/DynamoDB create?
+### Q-P3 — The spec claims a "Cognito drop." No Cognito exists in the repo. What does NFR-5 mean?

-**Resolution:** `NOVA_AWS_*` has root-equivalent permissions (confirmed
-empirically: the bootstrap created the S3 bucket + DynamoDB table
-successfully). For the pilot, `NOVA_AWS_*` is the bootstrap key. A
-future hardening milestone should split this into a dedicated
-`NOVA_BOOTSTRAP_AWS_*` root key + a least-privilege `NOVA_AWS_*` runner
-key (the spike-runner pattern). For v1.26, the single key suffices
-(pilot scope).
-
-**Confidence:** 0.90. **Decision:** D-207.
-
-### Q3 — Which AWS account does the pilot use: `581513795199` (existing) or a dedicated pilot account?
-
-**Ambiguity:** The user said "assume 581513795199." But the env JSONs
-all show `account_id: "000000000000"` (placeholder). Does the pilot
-bind all env JSONs to `581513795199`, or only `dev` (with qa/prod/dr
-left placeholder until a real multi-account landing zone exists)?
-
-**Resolution:** Bind `dev` to `581513795199` for the pilot
-(D-203, established in SPECIFY). The `qa`/`prod`/`dr` env JSONs remain
-placeholder `000000000000` this milestone — the pilot runs in `dev`
-(autonomous, no HITL gate). Multi-account landing zone (qa/prod/dr on
-separate accounts) is a future milestone. REQ-319 (env-JSON wiring)
-updates `dev.json`'s `state_backend.bucket` to
-`nova-tfstate-581513795199-us-east-1` + `account_id` to `581513795199`;
-qa/prod/dr get the `state_backend.bucket` update but keep placeholder
-`account_id` (the pilot-readiness policy REQ-320 blocks apply on
-placeholder accounts — so qa/prod/dr apply is blocked by design until
-the accounts are bound).
-
-**Confidence:** 0.92. **Decision:** D-208.
-
-### Q4 — Does "all types of securities" mean all types in v1.26, or equities-only pilot with others deferred?
-
-**Ambiguity:** The user said "stock market built on homegrown blockchain
-offering all types of securities." This could mean equities + bonds +
-derivatives + options all in v1.26, or equities-only pilot with others
-deferred (the recommended scope from the plan).
-
-**Resolution:** Equities-only pilot (D-200, established in SPECIFY).
-Bonds/derivatives/options have very different settlement models (T+1
-for equities; T+2 for bonds; derivatives vary; options exercise
-models). A pilot should demonstrate the Nova platform's policy gates
-over a real estate — equities (T+1) is the simplest. "All types of
-securities" is the *product vision*; v1.26 is the *pilot* (equities
-first). The roadmap documents the deferral.
-
-**Confidence:** 0.85. **Decision:** D-200 (reaffirmed).
-
-### Q5 — Is the homegrown blockchain a real consensus protocol or a minimal PoA ledger?
-
-**Ambiguity:** "Homegrown blockchain" could mean a full consensus
-protocol (multi-validator BFT) or a minimal PoA ledger (single
-validator, append-only).
-
-**Resolution:** Minimal PoA ledger (D-201, established in SPECIFY).
-Single validator (config-driven), append-only blocks, SHA-256 hash
-chain, deterministic block production. Settlement finality = block
-commit. Multi-validator BFT is a future milestone. The pilot's purpose
-is to exercise the Nova platform's deploy/policy/attestation gates over
-a real consumer — the chain needs to be real enough to record
-transactions, not to solve Byzantine consensus.
-
-**Confidence:** 0.88. **Decision:** D-201 (reaffirmed).
-
-### Q6 — Does the pilot's `terraform apply` actually run, or is it `--plan-only`?
-
-**Ambiguity:** The platform's `run_platform.sh` defaults to
-plan-only (no apply). The `deploy.yml` workflow's `mode` input can be
-`full` (apply) or `plan-only`. Does the pilot actually `terraform apply`
-(creating real AWS resources for the blockchain exchange), or does it
-stop at plan?
-
-**Resolution:** The pilot runs `mode: full` (apply) for `dev` only.
-The apply creates real AWS resources (ECS for the matching engine,
-DynamoDB for the ledger, S3 for block storage) in account
-`581513795199`. `qa`/`prod`/`dr` are blocked by the pilot-readiness
-policy (REQ-320) until their accounts are bound (D-208). The apply is
-autonomous for `dev` (no HITL gate; confidence threshold 0.50). The
-`ai.decision.made` + `attestation.recorded` events land in the Decision
-Ledger — but `dev` attestation is autonomous (no human approver), so
-only `ai.decision.made` fires for `dev`.
-
-**Confidence:** 0.90. **Decision:** D-209.
-
-### Q7 — What AWS resources does the blockchain exchange contract declare?
-
-**Ambiguity:** The `contract.yaml` declares the exchange's
-infrastructure. What specific AWS resources? The platform's adapter
-maps contract infrastructure blocks to Terraform. What stack types
-does the blockchain exchange use?
-
-**Resolution:** The pilot contract declares 3 infrastructure blocks:
-(1) `ecs` (Fargate service for the matching engine + settlement
-service — the platform's existing `microservice` module pattern), (2)
-`dynamodb` (the ledger table — single-table, PK `block_index`), (3)
-`s3` (block storage — one object per block, key `blocks/{index}.json`).
-The adapter's `TYPE_MAP` already covers `aws_ecs_service`,
-`aws_dynamodb_table`, `aws_s3_bucket` (existing L1 primitives). No new
-adapter stack types needed for the pilot. The contract's
-`infrastructure` block references these by module name (`microservice`
-for ECS, `dynamodb` for the table, `s3` for the bucket).
-
-**Confidence:** 0.82. **Decision:** D-210.
-
-### Q8 — Does the outcome-backfill emitter (REQ-317) change the PCR schema?
-
-**Ambiguity:** REQ-317 wires `apply.completed`/`apply.failed` →
-`fact_decision.outcome`. Does this touch the `PolicyCheckResult` schema
-(PCR) — the v1.25 moat that must not change?
-
-**Resolution:** No. The outcome backfill touches the *metrics cold
-store* (`fact_decision` table in `metrics/nova_metrics.db`), not the
-PCR schema. The PCR schema (`schemas/policy_check_result.schema.json`)
-is unchanged. The backfill reads run-manifest events (not PCRs) and
-updates the decision's outcome column. This respects the v1.25 hard
-constraint: "DO NOT change `schemas/policy_check_result.schema.json`."
-
-**Confidence:** 0.95. **Decision:** D-211.
-
-### Q9 — Does the consumer repo need its own test suite + CI, or does the platform's CI cover it?
-
-**Ambiguity:** The consumer repo (`nova-blockchain-exchange`) has app
-code (blockchain, engine, settlement). Does it run its own tests in
-its own CI, or does the platform's `platform-test.yml` cover it?
-
-**Resolution:** The consumer repo runs its own tests in its own CI
-(`nova-blockchain-exchange/.github/workflows/ci.yml` — lint + pytest on
-the blockchain/engine/settlement code). The platform's
-`platform-test.yml` covers the *platform* repo only (it validates
-contracts against the schema, runs adapter tests, etc.). The consumer
-repo's `deploy.yml` invocation triggers the platform's deploy workflow
-(which runs `run_platform.sh`); the platform's policy + attestation
-gates apply over the consumer's apply. The consumer's unit tests
-(chain integrity, order matching, settlement) are the consumer's
-responsibility. REQ-310..312 include consumer-side tests
-(`test_block.py`, `test_order_book.py`, `test_settlement.py`).
-
-**Confidence:** 0.88. **Decision:** D-212.
-
-### Q10 — Is the milestone a feature milestone (tags on v1.25.x) or a major milestone (breaking schema changes)?
-
-**Ambiguity:** v1.26 introduces a 2nd project (multi-project mode) +
-new requirements. Does this break any schema (→ major milestone, tags
-on v1.26.x), or is it a feature milestone (tags on v1.25.x)?
-
-**Resolution:** Feature milestone. No schema breaks: the PCR schema is
-unchanged (D-211); the contract schema is unchanged (the consumer
-contract validates against the existing
-`schemas/contract.schema.json`); the env JSON gains a real
-`account_id` (data, not schema). Multi-project mode is a config
-change (not a schema break). Tags run on the **v1.25.x** patch line:
-`v1.25.0` (P0) → `v1.25.5` (P5 = milestone release). Per `run.md`
-versioning logic: "Feature milestone (at least one feat phase):
-progressive patches per phase. The final phase's patch IS the milestone
-release. No separate minor tag."
-
-**Confidence:** 0.92. **Decision:** D-213.
+**Resolution:** NFR-5 (no AWS-managed identity in the path) is a
+**greenfield constraint**, not a migration. Nova-idp is built fresh; no
+Cognito/IAM Identity Center is *introduced*. The "drop" framing is
+aspirational language from the source spec, not a literal removal.
+**Confidence:** 1.0. **Decision:** D-226 (recorded below; NFR-5 restated
+as a greenfield constraint in INV-15).

 ---

-## Summary
+## Open questions from the spec's §7 (auto-resolved at full autonomy)

-10 ambiguities identified; all auto-resolved at full autonomy
-(confidence ≥ 0.60). 8 new decisions (D-206..D-213) + 3 reaffirmed
-from SPECIFY (D-200, D-201, D-203). 0 escalations (all ≥ 0.60). The
-resolutions are recorded in this file + reflected in PROJECT.md /
-REQUIREMENTS.md / ROADMAP.md updates.
+### Q1 — Argon2 native dependency in Lambda runtime

-**Key decisions:**
- D-206: `.ciagent/` for both projects in the platform repo (multi-project mode).
- D-207: `NOVA_AWS_*` has root-equivalent perms; single key for pilot.
- D-208: `dev` bound to `581513795199`; qa/prod/dr stay placeholder (pilot-readiness policy blocks apply on placeholder).
- D-209: Pilot runs `mode: full` (apply) for `dev` only; autonomous (no HITL gate).
- D-210: Contract declares ecs + dynamodb + s3 (existing adapter stack types; no new TYPE_MAP entries).
- D-211: Outcome backfill touches metrics cold store, NOT the PCR schema (v1.25 moat preserved).
- D-212: Consumer repo has its own CI + unit tests; platform CI covers platform only.
- D-213: Feature milestone; tags on v1.25.x (no schema breaks).
+`argon2-cffi` has a C extension that may not build cleanly in the Lambda
+Python 3.12 runtime.
+
+**Resolution (D-228):** Use `argon2-cffi` with bundled wheels; if the
+extension fails to load, fall back to the pure-Python implementation. If
+both fail, document the Fargate migration path for the auth Lambda.
+CAP-036 covers end-to-end verification.
+**Confidence:** 0.85. **Rationale:** Bundled wheels are the standard
+workaround for Lambda native deps; the pure-Python fallback is a safe
+degradation. Fargate is the escape hatch if Lambda's runtime is
+fundamentally incompatible. RESEARCH will validate wheel availability for
+Python 3.12 + the Lambda execution environment.
+**Impact if wrong:** Auth Lambda migrates to Fargate, adding ~1 week to P2.
+
+### Q2 — PAT revocation propagation latency
+
+The 60-second SLO (NFR-4) depends on whether the token-vend Lambda reads
+PAT revocation state from DynamoDB on every request (eventually
+consistent reads) or via a cached/denylist mechanism.
+
+**Resolution (D-229):** Read-on-every-request with strongly consistent
+reads on the PAT hash table. Cost is acceptable given expected request
+volume (token vending is not a hot path — it precedes a deploy, not every
+request). REV-351 verifies the SLO in CI.
+**Confidence:** 0.90. **Rationale:** Strongly consistent DynamoDB reads
+have single-digit-ms latency at expected volume; the 60s SLO has >10x
+headroom. A cache layer adds invalidation complexity that the SLO does
+not require.
+**Impact if wrong:** If read latency exceeds 60s under load, introduce a
+DynamoDB TTL + cache layer; SLO must be re-verified.
+
+### Q3 — JWKS endpoint: Lambda function URL vs. API Gateway
+
+A function URL is simpler and cheaper but lacks throttling, WAF, and
+custom domains out of the box.
+
+**Resolution (D-230):** Start with a Lambda function URL behind a custom
+domain; rate limiting configured at the DNS/CDN layer. API Gateway
+migration deferred to v1.19+ if throttling requirements grow.
+**Confidence:** 0.80. **Rationale:** The JWKS endpoint is public-key
+only (no secrets); the threat surface is low. Function URL + CDN rate-
+limiting covers the v1.28 volume. API Gateway is over-engineering until
+traffic patterns are known.
+**Impact if wrong:** If throttling becomes a requirement, API Gateway
+migration adds ~3-5 days.
+
+### Q4 — Mode resolver precedence with invalid `NOVA_CLIENT_MODE` value
+
+What happens if the env var is set to something other than `agent` or
+`interactive` (e.g., `NOVA_CLIENT_MODE=auto`)?
+
+**Resolution (D-226):** Invalid env var values are ignored, falling
+through to credential type. A warning is logged. Behavior is documented
+in the `nova-cli` README. This is a sub-clause of the mode-resolution
+priority decision.
+**Confidence:** 0.90. **Rationale:** Ignoring + warning is the least
+surprising behavior for an operator debugging mode issues. Failing hard
+would block legitimate workflows that set a stale/typo'd env var.
+**Impact if wrong:** Operators debugging mode issues may be confused;
+non-blocking.
+
+### Q5 — Service-account PAT vs. developer PAT in the same session
+
+What if both credential types are available (e.g., a developer explicitly
+exports a service-account PAT)?
+
+**Resolution (D-226):** The most recently acquired credential wins.
+Documented in `nova auth login` output. The credential type is what
+drives mode resolution (INV-14), so the operator sees which mode was
+selected and why.
+**Confidence:** 0.85. **Rationale:** "Most recent wins" is the simplest
+deterministic rule that matches operator mental models of "I just logged
+in as X." The audit event records the winning credential type, so the
+selection is traceable.
+**Impact if wrong:** Mode selection may surprise the operator; non-
+blocking, but `nova auth status` must make the active credential explicit.
+
+### Q6 — ABAC policy ownership and versioning
+
+`platform/abac/token-vend.policy` is referenced, but who owns changes?
+How are policy versions tracked in audit?
+
+**Resolution (D-231):** Policy changes require PR review; the policy
+version (git SHA) is recorded in every token-vend audit event. Owner:
+Platform Security. The policy file lives in the platform repo at
+`platform/abac/token-vend.policy` and is reviewed like any other
+production config.
+**Confidence:** 0.90. **Rationale:** Git SHA is the natural version
+identifier for a repo-resident policy; recording it in the audit event
+makes every allow/deny decision reconstructable to the exact policy text.
+**Impact if wrong:** Untracked policy changes could lead to unexpected
+allow/deny decisions in production, undermining audit defensibility.
+
+---
+
+## Grounding gaps surfaced in pre-flight (auto-resolved)
+
+### G1 — The `kj` engine does not exist; the spec treats it as locked.
+
+**Resolution (D-227):** The token-vend Lambda uses the existing
+**kyverno-json** engine (INV-4 swappable) as the ABAC evaluator. The
+policy at `platform/abac/token-vend.policy` is a kyverno-json policy.
+No new `kj` engine is built in v1.28. If a distinct `kj` engine is
+desired later, it is a separate research spike (not this milestone).
+**Confidence:** 0.95. **Rationale:** The repo already has a swappable
+policy engine (INV-4) implemented as kyverno-json. Building a second
+engine to do the same job violates the swappable-engine invariant's
+spirit. kyverno-json's `evaluate` semantics cover the spec's ABAC needs
+(subject, claims, resource, environment → allow/deny).
+**Impact if wrong:** If the user actually wants a new `kj` engine, v1.28
+scope expands significantly (engine design + implementation + migration).
+This was flagged as caveat #3 in the approved plan; the recommended path
+(kyverno-json) is locked here.
+
+### G2 — The spec's INV-18..21, INV-34, INV-63/64/65 don't exist.
+
+**Resolution:** Re-allocated as **INV-12..INV-17** (see REQUIREMENTS.md
+§v1.28 Invariants). The 1:1 mapping:
+- INV-63 (mode observability) → INV-12
+- INV-64 (mode determinism) → INV-13
+- INV-65 (credential type encodes role) → INV-14
+- INV-18..21 (attestation invariants) → INV-15 (no AWS-managed identity),
+  INV-16 (password storage), INV-17 (ABAC discipline). The spec's
+  attestation invariants INV-18..21 are partially covered by existing
+  invariants (INV-6 immutable audit) + INV-17; the JWS-from-PAT behavior
+  (REQ-332) is a requirement, not a separate invariant, in this mapping.
+- INV-34 (MFA enforcement) → deferred to v1.21+ (out of scope per §2.2);
+  no INV allocated in v1.28.
+**Confidence:** 0.85. **Rationale:** The mapping preserves the spec's
+intent without colliding with the repo's INV-1..11. INV-34 (MFA) is
+explicitly deferred per the spec's own §2.2 out-of-scope table.
+**Impact if wrong:** If the user wants the exact INV-18..21 semantics as
+separate invariants, INV-12..17 can be re-numbered; non-blocking.
+
+### G3 — The spec's CAP-025..030 collide with blockchain/pilot CAPs.
+
+**Resolution:** Re-allocated as **CAP-033..CAP-038** (see REQUIREMENTS.md
+§v1.28 + REQ-352). The 1:1 mapping:
+- CAP-025 (CLI subcommand surface) → CAP-033
+- CAP-026 (subcommand delegates to core/) → CAP-034
+- CAP-027 (layer matches wheel) → CAP-035
+- CAP-028 (Nova-idp auth flow) → CAP-036
+- CAP-029 (token-vend signs via KMS) → CAP-037
+- CAP-030 (PAT issuance + revocation) → CAP-038
+**Confidence:** 1.0. **Rationale:** Existing CAP-025..032 are
+blockchain/pilot capabilities (STATE.md); re-use would corrupt the
+capability registry. The re-allocated IDs are the next available.
+**Impact if wrong:** None — this is a numbering decision, not a semantic
+one.
+
+### G4 — The spec's REQ-001..031 collide / don't exist.
+
+**Resolution:** Re-allocated as **REQ-323..REQ-353** (1:1 with the spec's
+REQ-001..031). Full text in REQUIREMENTS.md §v1.28. Max existing REQ =
+REQ-322.
+**Confidence:** 1.0. **Rationale:** Same as G3 — avoid collision, use
+next available range.
+
+### G5 — `platform/abac/`, `nova/` subcommand dir, `nova-idp-*` Lambdas don't exist.
+
+**Resolution:** These are **greenfield deliverables** of v1.28 execution
+phases, not pre-existing "locked architectures." RESEARCH will design
+them; PLAN will sequence them; EXECUTE will build them. The spec's
+"Operating Principle 1" (incremental delivery) is honored — v1.28 is
+net-new work.
+**Confidence:** 1.0. **Rationale:** The spec itself describes these as
+new ("introducing Nova-idp"). The mis-framing was in calling them
+"locked" — they are locked in *scope*, not in *prior existence*.
+**Impact if wrong:** None — this is a framing correction.
+
+---
+
+## Decision ledger (v1.28 — D-226..D-231)
+
+| ID | Title | Confidence | Load-bearing for |
+|----|-------|------------|------------------|
+| D-226 | Mode resolution priority + invalid-env + dual-credential | 0.90 | REQ-327, INV-12, INV-13, INV-14 |
+| D-227 | ABAC engine = kyverno-json (no `kj` engine built) | 0.95 | REQ-336, REQ-339, INV-17, NFR-9 |
+| D-228 | Argon2id in Lambda: bundled wheels + pure-Python fallback + Fargate path | 0.85 | REQ-333, REQ-334, INV-16, NFR-8 |
+| D-229 | PAT revocation: strongly-consistent DDB read-on-every-request, 60s SLO | 0.90 | REQ-342, REQ-343, REQ-351, NFR-4 |
+| D-230 | JWKS endpoint: Lambda function URL + custom domain + CDN rate-limit | 0.80 | REQ-338, NFR-5 |
+| D-231 | ABAC policy ownership: Platform Security, git SHA in audit | 0.90 | REQ-339, NFR-9 |
+
+---
+
+## Assumptions logged (full autonomy, no human escalation)
+
+1. **CodeArtifact is provisionable** in AWS account `581513795199` (the
+   pilot account). RESEARCH will confirm IAM permissions + repository
+   creation. If not, v1.28 falls back to a private PyPI server or a
+   Gitea-hosted wheel index; the CLI subcommand surface (REQ-324) and
+   identity layer (REQ-333+) are unaffected.
+2. **Python 3.12** is the target runtime for both the CLI wheel and the
+   Lambda functions (spec §4 REQ-004.3). The repo's current Python
+   version will be confirmed in RESEARCH; if it differs, the CLI pins
+   3.12 and Lambda uses the 3.12 runtime regardless.
+3. **KMS asymmetric signing** (RSA-2048 or ECDSA P-256) is available in
+   the target account. RESEARCH will confirm. If only symmetric KMS is
+   available, the token-vend Lambda uses symmetric signing + a public-key
+   publication step (less ideal, but functional); INV-15 is unaffected.
+4. **The Forge action** (REQ-326) is the existing `nova cli-action`
+   pattern, extended to both GitHub and Gitea marketplaces. The repo's
+   current Forge/Gitea workflow conventions (`.gitea/workflows/`,
+   `deploy.yml@v1.25`) are the baseline.
+5. **MFA/TOTP** code path ships in v1.28 (per spec §2.2) but enforcement
+   for prod/dr is deferred to v1.21+. This is a doc/test-only path in
+   v1.28 — no enforcement gate.
+
+---
+
+## CLARIFY complete
+
+All material ambiguities resolved at full autonomy (6 open questions +
+5 grounding gaps → D-226..D-231, confidence ≥ 0.80). No human escalation
+triggered (all confidences ≥ 0.60 threshold). REQUIREMENTS.md updated
+with the decision ledger + invariants. Next: RESEARCH.
@@ -1,225 +1,110 @@
-# GRILL — v1.26 Live Pilot Estate Activation
+# GRILL — v1.28 CLI Canonicalization + Identity Layer

-> Adversarial review of the v1.26 SPECIFY + CLARIFY + RESEARCH + IDEATE +
-> PLAN. The grill red-teams the proposal across feasibility, scope,
-> budget, and the domain claims (homegrown blockchain, pilot estate,
-> metric grounding). Each challenge gets a binding verdict
-> (PROCEED / REVISE / ESCALATE). Autonomy: full — escalations auto-
-> resolve with assumption logging unless confidence < 0.60.
-
-## Verdict: PROCEED (0.84) — 0 escalations, 2 revisions
-
-The milestone is feasible, scoped, and the domain claims hold. Two
-plan revisions are binding (G-Q4, G-Q8) and are already captured in
-PLAN.md. No work is blocked.
+> Adversarial review of the v1.28 SPECIFY + CLARIFY + RESEARCH + PLAN.
+> Griller: ci-griller subagent. Autonomy: full. All 9 axes reviewed;
+> every claim verified against the live codebase.

 ---

-## Challenges
+## Overall verdict: **PROCEED-WITH-CONDITIONS** · Confidence 0.76

-### G-Q1 — Is a homegrown PoA blockchain viable for a pilot, or is it reckless?
+The plan is fundamentally sound — architecture correct, re-mapping
+clean (no ID collisions), technical depth accurate (DER→raw, strong-
+read revocation, stdin TTY), highest-risk item (kj binary) has a
+Fargate fallback. Not unfeasible, not over-scoped beyond an agent-driven
+repo's capacity, not security-broken by design.

-**Challenge:** Authoring a blockchain (even a minimal PoA ledger) is a
-non-trivial domain. A homegrown chain could have correctness bugs (hash
-chain breaks, non-deterministic blocks, settlement-finality race
-conditions). Why not use a proven chain (Ethereum L2, Solana, Hyperledger
-Fabric)?
-
-**Verdict:** PROCEED (confidence 0.88). The pilot's purpose is to
-exercise the Nova platform's deploy/policy/attestation gates over a
-real consumer estate — not to build a production blockchain. A
-homegrown PoA ledger is the minimal viable chain: append-only blocks,
-single validator, SHA-256 hash chain, deterministic block production.
-This is ~200 lines of Python (block + ledger + validator). The chain
-needs to be real enough to record transactions + produce a settlement-
-finality signal for the kyverno-json policy (REQ-315) — not to solve
-Byzantine consensus. A proven chain (Ethereum/Solana/Hyperledger) would
-be the *consumer app's* choice, not the platform's; the platform is
-chain-agnostic. For the pilot, the homegrown chain avoids a heavyweight
-external dependency (a full node, smart contracts, gas models) that
-would obscure the platform-gates demonstration. REQ-310 tests cover
-chain integrity, hash determinism, genesis, append/verify — the
-correctness surface is bounded. Multi-validator BFT is a future
-milestone (D-201). No revision needed.
-
-### G-Q2 — Does "all types of securities" scope-explode the milestone?
-
-**Challenge:** The user said "offering all types of securities." Equities
-(D-200, pilot scope) is one type. Bonds (T+2), derivatives (varying),
-options (exercise models) have very different settlement models. Does
-the equities-only deferral betray the user's intent?
-
-**Verdict:** PROCEED (confidence 0.85). The user *chose* equities-only
-pilot (Q4 in the plan discussion, answer "A to all 3 questions" — the
-recommended scope). "All types of securities" is the *product vision*;
-v1.26 is the *pilot* (equities first). The roadmap documents the
-deferral. The pilot demonstrates the Nova platform's gates over the
-simplest settlement model (T+1); expanding to other security types is
-a straightforward extension (new settlement-service branches + new
-kyverno-json policies) once the platform-gates pattern is proven. No
-revision needed — the scope decision is the user's, not the grill's.
-
-### G-Q3 — Does the consumer-repo-as-2nd-project break single-project tooling?
-
-**Challenge:** CIAgent has been single-project since v1.0. v1.26
-activates multi-project mode (2 projects: `acdl` +
-`nova-blockchain-exchange`). Does this break assumptions in the
-CIAgent tooling (branch naming, `.ciagent/` paths, commit `---ci---`
-blocks)?
-
-**Verdict:** PROCEED (confidence 0.90). `run.md` Step 0 explicitly
-specifies multi-project mode: `projects[]` with length > 0,
-`active_projects` array, `.ciagent/<slug>/` subdirectory paths, branch
-prefixes `<slug>/`. The `---ci---` block gains a `project: <slug>`
-field (already in the v1.26 commits). The consumer's project files
-live in `.ciagent/nova-blockchain-exchange/`. The platform's existing
-flat `.ciagent/` files remain the primary set (the platform is the
-default project). Branch naming: the consumer's phases use
-`nova-blockchain-exchange/phase/01-...`; the platform's phases use
-`acdl/phase/03-...` (or flat `phase/03-...` for platform-level work).
-No tooling change needed — the multi-project spec is already in
-`run.md`. D-206 records this. No revision needed.
-
-### G-Q4 — Does the P2 contract reference a `dynamodb` module that doesn't exist until P3?
-
-**Challenge:** The original plan had REQ-322 (DynamoDB primitive) in
-P3, but the P2 contract (REQ-313) references `dynamodb` in its
-`infrastructure` block. If the primitive doesn't exist until P3, the
-P2 contract's `dynamodb` block can't resolve at registry time — only
-at schema time (the schema is open). Is this a vertical-slice
-violation (P2 ships a contract that can't fully resolve)?
-
-**Verdict:** REVISE (confidence 0.92). This is a real vertical-slice
-violation. PLAN.md already revised: REQ-322 moves to P2 W0 (before the
-contract). The revised mapping (PLAN.md "Revised: REQ-322 → P2 W0")
-makes P2 self-contained: the primitive + the contract + the deploy
-invocation all land in P2. This is a binding revision — the original
-P3 placement is superseded. ROADMAP.md is already updated (REQ-322 in
-P2). No further revision needed — the plan self-corrected.
-
-### G-Q5 — Does live-AWS pilot break the MTTR < 60s target?
-
-**Challenge:** NORTH_STAR.md MTTR target: < 60s p95. The pilot runs
-`terraform apply` (creating real AWS resources: ECS + DynamoDB + S3).
-Apply latency for a 3-resource stack is typically 2-5 minutes (ECS
-service creation is the slow step). Does this break the MTTR target?
-
-**Verdict:** PROCEED (confidence 0.86). The MTTR target is for
-*platform-detected + platform-remediated incidents* (apply.failed →
-successful retry), not for first-time apply latency. The pilot's
-first apply is a deployment, not an incident-remediation. The MTTR
-metric measures the retry path: if the apply fails (e.g. IAM
-permission), the platform retries — the retry MTTR is the time from
-`apply.failed` to `apply.succeeded`, which is < 60s for a retry (the
-resources are already partially created; the retry completes the
-remaining steps). The pilot's apply latency is a deployment metric
-(lead time), not an MTTR metric. RESEARCH §1.2 (v1.25 grill G-Q3)
-analyzed this same question for the kyverno-json pass — the same
-reasoning applies. No revision needed.
-
-### G-Q6 — Is the settlement-finality policy (REQ-315) over-engineering for a pilot?
-
-**Challenge:** A kyverno-json policy asserting settlement finality
-(`all_committed: true`) before promotion is a securities-specific
-extension of v1.25's policy engine. Is this over-engineering for a
-pilot that only runs in `dev` (autonomous, no promotion to qa/prod/dr
-in v1.26 per D-208)?
-
-**Verdict:** PROCEED (confidence 0.80). The policy is *authored* in
-v1.26 (P3) but its *enforcement* activates when a promotion to qa/prod
-happens — which is a *future* milestone (D-208: qa/prod/dr stay
-placeholder this milestone). The policy is tested (passing + failing
-fixtures; skip when `kj` absent) in P3, but it doesn't gate a `dev`
-apply (the pilot-readiness policy REQ-320 gates `dev`; the settlement-
-finality policy gates promotions). Authoring + testing the policy in
-v1.26 is the right thing: it (a) proves the kyverno-json engine can
-assert a domain invariant, (b) ships the policy artifact so a future
-milestone that binds qa/prod/dr can enable it without re-architecting,
-(c) extends v1.25's moat (the policy engine is swappable + extensible
-to new domains). The cost is ~1 policy file + 1 test file. No revision
-needed — but the POLICY IS NOT ENFORCED in v1.26 (it's authored +
-tested, enforcement is future). PLAN.md should note this. **Minor
-revision: PLAN.md P3 W4 Task 4.1 should note "policy authored + tested;
-enforcement deferred to the milestone that binds qa/prod/dr."** Already
-implicit in the plan (the policy gates promotions, not dev applies);
-making it explicit is a documentation refinement, not a scope change.
-
-### G-Q7 — Is D-083 deferral defensible for a pilot with real money-like flows?
-
-**Challenge:** The pilot is a stock exchange — securities trading. D-083
-(S3 Object Lock / JWS tamper-evident ledger) is deferred (D-204). The
-SQLite hash-chain + DynamoDB outbox is the audit record. Is this
-defensible for a domain where audit integrity is legally mandated?
-
-**Verdict:** PROCEED (confidence 0.82). The pilot is a *technical
-demonstration*, not a production trading system. No real money, no real
-securities, no real investors — the "securities" are test tokens on a
-homegrown chain. The audit integrity requirement (SEC Rule 17a-4, FINRA
-retention) applies to *production* trading systems, not to a pilot
-exercising a platform's deploy/policy/attestation gates. The SQLite
-hash-chain + DynamoDB outbox is a tamper-*evident* record (any tampering
-breaks the hash chain) — it's just not tamper-*resistant* (S3 Object
-Lock + JWS would make it tamper-resistant). For a pilot, tamper-evident
-suffices. D-083 lift is a future milestone (when the pilot becomes a
-production system). D-204 records this. No revision needed.
-
-### G-Q8 — Does the outcome-backfill emitter (REQ-317) touch the PCR schema?
-
-**Challenge:** REQ-317 wires `apply.completed`/`apply.failed` →
-`fact_decision.outcome`. The v1.25 hard constraint says "DO NOT change
-`schemas/policy_check_result.schema.json`." Does the backfill touch the
-PCR schema?
-
-**Verdict:** PROCEED (confidence 0.95). D-211 (CLARIFY) already
-resolved this: the outcome backfill touches the *metrics cold store*
-(`fact_decision` table in `metrics/nova_metrics.db`), not the PCR
-schema. The backfill reads run-manifest events (not PCRs) and updates
-the decision's outcome column. The PCR schema is unchanged. This
-respects the v1.25 hard constraint. No revision needed.
-
-### G-Q9 — Does the `NOVA_AWS_*` root-equivalent key create a security risk?
-
-**Challenge:** D-207 says `NOVA_AWS_*` has root-equivalent permissions
-(confirmed empirically: the bootstrap created the S3 bucket + DynamoDB
-table). Using a root key for the pilot's `terraform apply` is a
-security risk — a key compromise gives full account access. Should the
-pilot use a least-privilege key?
-
-**Verdict:** PROCEED (confidence 0.78). The risk is real but bounded:
-(a) the pilot runs in a single account (`581513795199`) with no
-production workloads (the v1.11 teardown left it empty; the pilot is
-the only workload), (b) the key is in `.env.secrets` (gitignored, never
-committed), (c) the deploy workflow uses OIDC by default (the static
-key is the override, not the primary path). A future hardening
-milestone should split `NOVA_AWS_*` into a root `NOVA_BOOTSTRAP_AWS_*`
-+ a least-privilege `NOVA_AWS_*` runner key (the spike-runner pattern).
-For v1.26, the single key suffices (pilot scope). D-207 records this.
-**Minor revision: PLAN.md should note the key-split as a future
-hardening item.** Already implicit in D-207; making it explicit in the
-plan is a documentation refinement.
+**3 critical conditions (must-fix before P1) + 16 tracked conditions.**
+No escalations (all axes ≥ 0.70 confidence).

 ---

-## Summary
+## Axis verdicts

-9 challenges; 0 escalations; 2 binding revisions (G-Q4, G-Q6/G-Q9
-minor). Overall verdict: PROCEED (confidence 0.84).
+| Axis | Verdict | Confidence | Critical condition |
+|------|---------|-----------|-------------------|
+| §1 Feasibility | PROCEED-WITH-CONDITIONS | 0.82 | C-1.1 KMS asym verify; C-1.2 Argon2 fail-closed test |
+| §2 Scope | PROCEED-WITH-CONDITIONS | 0.74 | C-2.1 fold P5 into P4; C-2.2 P4 overload |
+| §3 Cost | PROCEED-WITH-CONDITIONS | 0.70 | C-3.1 cost estimate; C-3.2 CodeArtifact P1 task |
+| §4 Schedule | PROCEED-WITH-CONDITIONS | 0.76 | C-4.1 P4 critical path; C-4.2 per-phase exit |
+| §5 Technical Depth | PROCEED-WITH-CONDITIONS | 0.80 | C-5.1 ABAC shape; **C-5.2 JWS KDF** |
+| §6 Operational Readiness | PROCEED-WITH-CONDITIONS | 0.72 | **C-6.1 ABAC fail-closed**; C-6.2 threat model; C-6.3 ops guide |
+| §7 Security Posture | PROCEED-WITH-CONDITIONS | 0.73 | **C-7.1 ABAC fail-closed**; C-7.2 Argon2 params; C-7.3 cred file |
+| §8 Dependency Risk | PROCEED-WITH-CONDITIONS | 0.83 | C-8.1 CodeArtifact P1; C-8.2 pin kj version |
+| §9 Re-mapping Integrity | PROCEED-WITH-CONDITIONS | 0.84 | **C-9.1 traceability fix**; C-9.2 INV audit |

-**Binding revisions:**
- **G-Q4:** REQ-322 moves to P2 W0 (already revised in PLAN.md + ROADMAP.md).
- **G-Q6:** PLAN.md P3 W4 Task 4.1 should note the settlement-finality
-  policy is authored + tested in v1.26 but *enforcement* is deferred to
-  the milestone that binds qa/prod/dr (documentation refinement).
- **G-Q9:** PLAN.md should note the `NOVA_AWS_*` key-split as a future
-  hardening item (documentation refinement).
+---

-**No work is blocked.** The milestone is feasible, scoped, and the
-domain claims hold. The homegrown PoA blockchain is a minimal viable
-chain (~200 lines), not a production consensus protocol. The equities-
-only scope is the user's choice. The multi-project mode is specified in
-`run.md`. The P2→P3 dependency is resolved (REQ-322 → P2 W0). The
-MTTR target is for incident-remediation, not first-time apply. The
-settlement-finality policy is authored + tested, enforcement is future.
-D-083 deferral is defensible for a technical pilot. The PCR schema is
-unchanged. The root-equivalent key is a bounded risk with a documented
-future hardening path.
+## Critical conditions (the 3 must-fix-before-P1)
+
+### 🔴 C-6.1 / C-7.1 — ABAC fail-closed
+The token-vend Lambda's behavior on `kj` absence/error is unspecified.
+Without fail-closed, INV-17 is documentation, not a runtime guarantee —
+a `kj` load failure would bypass the ABAC gate (every PAT gets a token).
+**Fix applied to PLAN.md P4 Wave 4 Task 4.1:** "If
+`KyvernoJsonEngine.is_configured()` returns false or `evaluate()`
+raises, return 403 + audit `token.vend.denied` (reason:
+`abac_eval_failed`). Never fail open. Test: `tests/test_abac_fail_closed.py`."
+
+### 🔴 C-5.2 — JWS-from-PAT key derivation
+REQ-332's AC ("public key derivable from the PAT") is unimplementable
+without a specified KDF. A PAT is a JWT, not a keypair.
+**Fix applied to PLAN.md P2 Wave 2 Task 2.3 + REQ-332 AC:** the JWS
+uses HMAC-SHA256 with a key derived via
+`HKDF-SHA256(PAT_bytes, salt='nova-local-attestation', info='jws-signing-key')`
+→ 32-byte symmetric key. The "public key derivable" AC is re-interpreted:
+the *verification key* is derived from the PAT via the same KDF (the
+PAT is the shared secret). This is a symmetric scheme, not asymmetric.
+
+### 🔴 C-9.1 — Traceability drift
+REQUIREMENTS.md §v1.28 traceability table mapped 16 REQs to P2;
+PLAN.md splits them across P2/P3/P4/P5/P6. **Fix applied to
+REQUIREMENTS.md** — traceability table updated to match PLAN.md phase
+structure.
+
+---
+
+## Tracked conditions (16 — applied to PLAN.md as amendments)
+
+- **C-1.1** KMS asymmetric key verification before P4 Wave 3 (one
+  `aws kms create-key --key-spec ECC_NIST_P256` call).
+- **C-1.2** Argon2 fail-closed test in P3 Wave 2 (Lambda returns 503
+  on `ImportError`, not a crash or pure-Python hash).
+- **C-2.1** Fold P5 (idp-setup) into P4 as P4 Wave 8 → **reduces to 6
+  execution phases** (P1..P6, P7 = final). Applied.
+- **C-2.2** P4 is a double-length phase; acknowledged in P4 header.
+- **C-3.1** Cost envelope subsection added to PLAN.md.
+- **C-3.2 / C-8.1** CodeArtifact provisioning = P1 Wave 0 task with
+  binary go/no-go gate; Gitea wheel index fallback documented.
+- **C-4.1** P4 flagged as critical-path phase (kj spike = highest-
+  probability schedule slip; Fargate = +1 week).
+- **C-4.2** Per-phase exit criteria added to PLAN.md.
+- **C-5.1** `requested_claims` = list of claim names (the policy
+  asserts the subject is *allowed* to request those claims).
+- **C-6.2** Threat model (REQ-347) adds: JWKS DDoS surface, PAT theft
+  + max TTL (≤24h dev, ≤1h service-account), ABAC fail-closed,
+  INV-18..21 compression audit.
+- **C-6.3** Operator guide (REQ-345) adds: KMS rotation, layer update,
+  PITR restore, emergency PAT revocation.
+- **C-7.2** Argon2id parameters: t=3, m=65536 KiB, p=1 (OWASP min).
+- **C-7.3** `~/.nova/credentials.json` stores OIDC token + PAT metadata
+  (jti, exp, type), NOT the raw PAT.
+- **C-8.2** `kj` pinned to a specific release + SHA256 recorded.
+- **C-9.2** Threat model includes INV-18..21 compression audit
+  (verify spec's attestation invariant semantics are captured by
+  INV-15/16/17 + REQ-332).
+
+---
+
+## Escalations
+
+None. All 9 axes resolved at confidence ≥ 0.70. No human escalation
+required (full autonomy).
+
+---
+
+## Grill complete
+
+The plan proceeds with the 3 critical fixes and 16 tracked conditions
+applied to PLAN.md + REQUIREMENTS.md. The binding decisions above are
+the authoritative grill record. Next: MVP/UX CHECK → SHIP phase 0.
@@ -56,7 +56,8 @@ and covered by the baseline test.
 ## OIDC act_runner role (CAP-022, Phase 56)

 The OIDC role for the Gitea `act_runner` was created in Phase 08 and
-gone since (CAPABILITY_INVENTORY.md CAP-022). Phase 56 re-creates it
+gone since (`archive/CAPABILITY_INVENTORY-v1.10.md` CAP-022, archived
+v1.27). Phase 56 re-creates it
 with a trust policy for the Gitea runner ARN. The role grants the
 spike-runner-equivalent permissions to the runner via `sts:AssumeRole`,
 so the runner does not need a long-lived access key. This closes the
@@ -73,7 +74,7 @@ bootstrap root key; the runner then assumes the role.

 The OIDC role for the Gitea `act_runner` was planned in Phase 08 but
 never created (the spike used a long-lived key per D-039 waiver).
-CAPABILITY_INVENTORY.md CAP-022 recorded "iam:ListRoles shows no acdl*
+`archive/CAPABILITY_INVENTORY-v1.10.md` CAP-022 recorded "iam:ListRoles shows no acdl*
 roles." Phase 56 re-created the role:

 - **Role name:** `acdl-act-runner-role`
@@ -231,6 +231,18 @@ their AI engineering teams reach for first when an agent needs to deploy.
  leadership. The deck's Proof section cites grounded metrics; its
  Roadmap section cites deferred targets honestly.

+## Relationship to engineering files (v1.27 update)
+
+- **NORTH_STAR.md** (this file) = the *why* — PO-authored strategic
+  direction, loaded every ci-run via `config.strategic_direction_file`.
+- **STATE.md** = the *what exists* — PO-owned capability catalog,
+  additive, updated at every milestone ship (P-final Wave 3). The PO
+  reads STATE.md before writing new REQ-NNN specs to avoid re-spec'ing
+  existing capability and to respect the invariants.
+- **ARCHITECTURE.md** = the *how* — the durable target architecture.
+- **CHECKPOINT.json** = the *now* — authoritative live phase/ship
+  state.
+
 ## v1.25 update — swappable policy-engine substrate

 Strategic Objective #2 (provable trust) gained a concrete substrate in
@@ -1,169 +1,119 @@
 ---
 project: acdl
-milestone: v1.26
-generated_at: 2026-08-12
+milestone: v1.28
+generated_at: 2026-08-19
 generator: lead-developer
 verification_toolchain:
-  typecheck: "python3 -m py_compile core/confidence_signal.py core/metrics/outcome_backfill.py adapters/terraform/adapter.py modules/l1/dynamodb/terraform/main.tf"
-  test: "pytest tests/test_adapter.py tests/test_contract_resolver.py tests/test_confidence_signal.py tests/test_outcome_backfill.py tests/test_settlement_finality_policy.py tests/test_pilot_readiness_policy.py tests/test_block.py tests/test_order_book.py tests/test_settlement.py -v"
-  lint: "ruff check core/metrics/outcome_backfill.py adapters/kyverno-json/policies/pilot-readiness/ adapters/kyverno-json/policies/settlement-finality/ 2>/dev/null || python3 -m py_compile core/metrics/outcome_backfill.py"
+  typecheck: "python3 -m py_compile core/mode_resolver.py nova/cli.py 2>&1 | head -5 || true"
+  test: "pytest tests/test_mode_resolver.py tests/test_cli_subcommands.py -q 2>&1 | tail -15 || true"
+  lint: "ruff check nova/ core/lambda/nova_idp_*.py 2>/dev/null || true"
  note: |
-    v1.26 is the Live Pilot Estate Activation milestone — a feat
-    milestone. Four active personas: lead-developer (coordination +
-    docs + ARCHITECTURE.md §12.8), backend-engineer (confidence_signal.py
-    escalation reason + outcome_backfill.py + run_platform.sh wiring +
-    env-JSON state_backend reconciliation), data-engineer (DynamoDB L1
-    primitive + metrics cold store outcome backfill), policy-engineer
-    (kyverno-json pilot-readiness + settlement-finality policies), +
-    blockchain-engineer (custom, phase-specific — chain core + order
-    engine + settlement). frontend-engineer is deactivated (no UI).
-    Territory enforcement: warn (the pilot is cross-territory by
-    nature — the consumer repo + the platform repo share the milestone).
+    v1.28 is a feature milestone (CLI Canonicalization + Identity Layer).
+    Four active personas: backend-engineer (Lambda/DynamoDB/KMS/CodeArtifact),
+    security-engineer (Argon2id/KMS/ABAC/threat model), cli-engineer
+    (subcommand surface/mode_resolver/argparse/CAP-034), lead-developer
+    (plan/review/ship/capability gate). frontend-engineer + data-engineer
+    deactivated (no UI, no data pipelines). The kj-binary-in-Lambda-layer
+    risk (D-227, RESEARCH §7) is the highest-risk item; P2 spike confirms.
 ---

-# PERSONAS — v1.26 Live Pilot Estate Activation
+# Personas — v1.28 CLI Canonicalization + Identity Layer

-> Generated by the lead-developer at the end of RESEARCH. Assesses the
-> project domains, activates/deactivates personas, creates custom
-> personas for domains beyond the default four, aligns frameworks +
-> territory + constraints to the actual project structure.
+## Roster

-## Active Roster (5)
+### backend-engineer
+```yaml
+active: true
+domain: "Lambda functions, DynamoDB, KMS integration, dual-use packaging, CodeArtifact publish, CloudFormation generation"
+frameworks: ["Python 3.12", "boto3", "argparse", "pytest", "moto[dynamodb]", "CloudFormation"]
+constraints: ["INV-15", "INV-16", "INV-17", "D-228", "D-229", "D-230", "NFR-5", "NFR-6", "NFR-7", "NFR-8"]
+territory:
+  - "core/lambda/**"
+  - "core/metrics/**"
+  - "core/env.py"
+  - "core/outbox_writer.py"
+  - "terraform/bootstrap/**"
+  - ".gitea/workflows/publish.yml"
+  - ".github/workflows/publish.yml"
+  - ".github/actions/nova-cli/**"
+```

-### 1. lead-developer (active)
- **active:** true
- **phase_specific:** false
- **reason:** Coordinates task decomposition + resolves conflicts between
-  engineering personas. Owns the milestone narrative (PROJECT.md,
-  ROADMAP.md, ARCHITECTURE.md §12.8). Final architectural decisions when
-  personas disagree (e.g. where the outcome-backfill emitter lives).
- **domain:** project coordination, milestone narrative, cross-persona
-  conflict resolution.
- **frameworks:** none (coordination role).
- **territory:** `.ciagent/`, `docs/METRICS.md`, `adapters/README.md`,
-  `modules/README.md`, `modules/STANDARDS.md`.
- **constraints:** does not write Python/Terraform (delegates to
-  backend/data-engineer); does not author policies (delegates to
-  policy-engineer); does not author chain code (delegates to
-  blockchain-engineer).
+### security-engineer
+```yaml
+active: true
+domain: "Argon2id hashing, KMS asymmetric signing (ECDSA P-256 / ES256), ABAC policy, JWKS exposure, PAT lifecycle, threat model, DER→raw ECDSA conversion"
+frameworks: ["argon2-cffi", "cryptography", "pyjwt", "kyverno-json", "JMESPath", "KMS Sign/Verify/GetPublicKey"]
+constraints: ["INV-15", "INV-16", "INV-17", "NFR-5", "NFR-8", "NFR-9", "D-227", "D-231"]
+territory:
+  - "platform/abac/**"
+  - "core/policy_engine.py"
+  - "adapters/kyverno-json/**"
+  - "core/lambda/nova_idp_auth.py"
+  - "core/lambda/nova_idp_token_vend.py"
+  - "core/lambda/nova_idp_jwks.py"
+  - "docs/threat-model.md"
+```

-### 2. backend-engineer (active)
- **active:** true
- **phase_specific:** false
- **reason:** Owns the platform-side Python changes: confidence signal
-  escalation reason (REQ-318), outcome-backfill emitter (REQ-317),
-  env-JSON state_backend wiring (REQ-319), adapter test updates for
-  DynamoDB (REQ-322), regression CAP-025 (REQ-316).
- **domain:** core Python (confidence_signal.py, metrics/, adapter.py,
-  regression_verify.py, contract_resolver.py), run_platform.sh wiring.
- **frameworks:** Python 3.12, pytest, boto3, SQLite, DynamoDB.
- **territory:** `core/confidence_signal.py`, `core/metrics/`,
-  `adapters/terraform/adapter.py`, `core/regression_verify.py`,
-  `core/environments/`, `scripts/run_platform.sh`, `tests/test_adapter.py`,
-  `tests/test_confidence_signal.py`, `tests/test_outcome_backfill.py`,
-  `tests/test_regression_pilot.py`.
- **constraints:** does not change `schemas/policy_check_result.schema.json`
-  (v1.25 moat, D-211); does not change `schemas/contract.schema.json`
-  (no schema breaks, D-213); does not author Terraform modules
-  (delegates to data-engineer for DynamoDB); does not author policies
-  (delegates to policy-engineer); does not author chain code (delegates
-  to blockchain-engineer).
+### cli-engineer
+```yaml
+active: true
+domain: "CLI subcommand surface, mode_resolver, argparse, [project.scripts] entry-point, CAP-034 AST scan, nova auth/idp subgroups, property tests"
+frameworks: ["Python 3.12", "argparse", "setuptools [project.scripts]", "hypothesis", "pkgutil"]
+constraints: ["INV-12", "INV-13", "INV-14", "D-226", "NFR-1", "NFR-2", "NFR-3"]
+territory:
+  - "nova/**"
+  - "core/mode_resolver.py"
+  - "pyproject.toml"
+  - "tests/test_mode_resolver.py"
+  - "tests/test_cli_subcommands.py"
+```

-### 3. data-engineer (active)
- **active:** true
- **phase_specific:** false
- **reason:** Owns the DynamoDB L1 primitive (REQ-322) — the single
-  platform-side module build-out. Owns the metrics cold store
-  outcome-backfill integration (REQ-317, the `fact_decision.outcome`
-  column + `backfilled_at` timestamp). Owns the env-JSON data updates
-  (REQ-319, `core/environments/*.json` account_id + state_backend.bucket).
- **domain:** Terraform modules (`modules/l1/`), schema definitions
-  (`interface.json`), registry (`modules/registry.json`), metrics cold
-  store (`metrics/nova_metrics.db`, `core/metrics/collector.py`).
- **frameworks:** Terraform, JSON, SQLite, DynamoDB, boto3.
- **territory:** `modules/l1/dynamodb/`, `modules/registry.json`,
-  `modules/README.md`, `core/environments/*.json`,
-  `core/metrics/collector.py`, `tests/test_adapter.py` (DynamoDB
-  emission test).
- **constraints:** does not change the adapter (stateless, v1.11);
-  follows the v1.8 NFR defaults (encryption + deletion protection +
-  PITR); follows the module standards (`modules/STANDARDS.md`).
+### lead-developer
+```yaml
+active: true
+domain: "Phase plan, persona roster, review gates, milestone ship, capability gate (CAP-033..038), ROADMAP/STATE/PROJECT wiring"
+frameworks: ["git", "Gitea Actions", "semver tagging", ".ciagent/ discipline"]
+constraints: ["INV-1..17 (cross-cutting)", "v1.28 hard constraints", "NFR-6", "NFR-11"]
+territory:
+  - ".ciagent/**"
+  - "PLAN.md"
+  - "CHECKPOINT.json"
+  - "STATE.md"
+  - "REQUIREMENTS.md"
+  - "ROADMAP.md"
+```

-### 4. policy-engineer (active, custom — added in v1.25)
- **active:** true
- **phase_specific:** false
- **reason:** Owns the kyverno-json policy authoring for the pilot:
-  settlement-finality (REQ-315), pilot-readiness (REQ-320). Extends
-  v1.25's policy engine to the securities domain.
- **domain:** declarative policies (kyverno-json ValidatingPolicy YAML),
-  JMESPath assertions, policy tests.
- **frameworks:** kyverno-json, JMESPath, JSON, pytest.
- **territory:** `adapters/kyverno-json/policies/pilot-readiness/`,
-  `adapters/kyverno-json/policies/settlement-finality/`,
-  `tests/test_settlement_finality_policy.py`,
-  `tests/test_pilot_readiness_policy.py`.
- **constraints:** policies are declarative (no imperative Python);
-  `is_configured()` guard skips gracefully when `kj` absent; follows
-  the v1.25 policy-authoring standard (`modules/STANDARDS.md` policy
-  section + `adapters/kyverno-json/README.md`).
+### frontend-engineer
+```yaml
+active: false
+phase_specific: false
+reason: "No UI in v1.28 (CLI + JSON endpoints only). JWKS serves application/json; no HTML/CSS/JS surface."
+```

-### 5. blockchain-engineer (active, custom, phase-specific — added in v1.26)
- **active:** true
- **phase_specific:** true (created for v1.26 P1; removed after P1
-  unless the chain has ongoing work in P2..P4)
- **reason:** The pilot introduces a homegrown blockchain — a domain
-  beyond the default four personas. Owns the chain core (block, ledger,
-  validator, REQ-310), the order-matching engine (REQ-311), the
-  settlement service (REQ-312), and the consumer `contract.yaml`
-  (REQ-313) + deploy invocation (REQ-314).
- **domain:** blockchain consensus (PoA, single validator), order
-  matching (limit order book, price-time priority), settlement
-  (T+1, finality = block commit), consumer-repo deploy model.
- **frameworks:** Python 3.12 (the chain is Python, not Solidity/Go —
-  it's a homegrown ledger, not a smart-contract platform), pytest,
-  YAML (contract.yaml), GitHub Actions / Gitea Actions (deploy.yml
-  invocation).
- **territory:** `/root/nova-blockchain-exchange/` (the consumer repo:
-  `chain/`, `engine/`, `settlement/`, `contract.yaml`,
-  `contracts/*.yml`, `.github/workflows/deploy.yml`,
-  `.gitea/workflows/deploy.yml`, `tests/`).
- **constraints:** the chain is deterministic (same inputs → same block)
-  — it is automation, not AI (NORTH_STAR Objective #2 tenet); equities
-  only (D-200); single validator PoA (D-201); the consumer deploy MUST
-  go through `deploy.yml@v1.25` (no direct terraform apply); the
-  contract MUST validate against `schemas/contract.schema.json`.
+### data-engineer
+```yaml
+active: false
+phase_specific: false
+reason: "No data pipelines / metrics / PowerBI work in v1.28. The metrics layer is v1.17-complete; v1.28 adds audit events but no new fact/dim tables."
+```

-## Deactivated (1)
+## Territory overlap notes

-### frontend-engineer (inactive)
- **active:** false
- **phase_specific:** false
- **reason:** The pilot has no UI — the blockchain exchange is a
-  backend service (matching engine + settlement). The consumer repo
-  has no web/frontend. Reactivated if a future milestone adds a trading
-  dashboard.
+- `core/lambda/contract_ingestor.py` (dual-use refactor, REQ-329) =
+  backend-engineer territory. `core/lambda/nova_idp_auth.py` +
+  `nova_idp_token_vend.py` are **co-owned** by backend-engineer (Lambda
+  plumbing, DynamoDB, function URLs) + security-engineer (crypto, ABAC,
+  Argon2id logic inside).
+- `core/mode_resolver.py` = cli-engineer. `core/policy_engine.py` =
+  security-engineer (the ABAC evaluation path).
+- `nova/idp/setup.py` = cli-engineer (the subcommand + arg parsing) +
+  backend-engineer (the CloudFormation generation + deploy).
+- `nova/auth/*` = cli-engineer (subcommands) + security-engineer (the
+  token exchange + credential storage logic).

-## Phase-Specific Notes
+## Phase-specific personas

- **blockchain-engineer** is created for v1.26 P1 (blockchain core +
-  order engine + settlement). If P2..P4 have no chain changes, the
-  persona is removed after P1 (the chain is a stable substrate for the
-  pilot run). If P2 (consumer-contract-and-deploy) requires chain
-  adjustments, the persona stays through P2.
- **policy-engineer** is active for P3 (pilot-metrics-and-policies) +
-  may consult on P4 (pilot run policy verification).
- **data-engineer** is active for P3 (DynamoDB primitive + outcome
-  backfill + env-JSON) + P4 (regression CAP-025 may touch the registry).
-
-## Territory Enforcement
-
- **Mode:** `warn` (the pilot is cross-territory by nature — the
-  consumer repo + the platform repo share the milestone; the
-  blockchain-engineer works in the consumer repo, backend/data/policy
-  engineers work in the platform repo).
- **Cross-territory collisions:** REQ-322 (DynamoDB primitive) is
-  data-engineer territory, but the adapter test update
-  (`tests/test_adapter.py` `EXPECTED_L1_KEYS`) is backend-engineer
-  territory. The lead-developer resolves: data-engineer authors the
-  module + registry; backend-engineer updates the test assertion
-  (the test is backend territory, the module is data territory).
+None. All four active personas span the full milestone. The
+security-engineer is heaviest in P2 (identity layer) + P3 (threat model);
+the cli-engineer is heaviest in P1 (CLI substrate); the backend-engineer
+spans P1 (CodeArtifact/layer) + P2 (Lambdas/DynamoDB).
@@ -1,510 +1,489 @@
-# PLAN — v1.26 (Live Pilot Estate Activation)
+# PLAN — v1.28 CLI Canonicalization + Identity Layer

-> Feature milestone. Tags on the **v1.25.x** line: v1.25.0 (P0) →
-> v1.25.1 (P1) → v1.25.2 (P2) → v1.25.3 (P3) → v1.25.4 (P4) → v1.25.5
-> (P5 final = milestone release). 13 requirements (REQ-310..322),
-> 5 phases (P0 pre-execution + 4 execution + 1 final). Multi-project:
-> `acdl` (platform) + `nova-blockchain-exchange` (consumer). Tags run
-> on the previous minor's patch line per `run.md` versioning logic
-> (feature milestone — at least one feat phase; progressive patches per
-> phase; the final phase's patch IS the milestone release; no separate
-> minor tag).
+> **Milestone:** v1.28 (feature — CLI substrate + Nova-idp identity
+> layer). Tags on the **v1.27.x** line: `v1.27.0` (P0) →
+> `v1.27.1..v1.27.6` (P1..P6) → `v1.27.7` (P7 final = milestone
+> release). The final phase's patch IS the milestone release.
+> **Branch:** `milestone/v1.28-cli-identity`. Phase branches:
+> `phase/00-pre-execution`, `phase/01-cli-substrate`,
+> `phase/02-lambda-packaging`, `phase/03-idp-auth`,
+> `phase/04-token-vend-pat`, `phase/05-docs-integration`,
+> `phase/06-final-review-ship`.
+>
+> **Tags:** `v1.27.0` (P0) → `v1.27.1..v1.27.5` (P1..P5) →
+> `v1.27.6` (P6 final = milestone release). 6 execution phases
+> (P5 idp-setup folded into P4 Wave 8 per grill C-2.1).

---
+## Milestone goal

-## Phase 0 — Pre-Execution (complete, tag v1.25.0)
+The Nova CLI is installable from internal PyPI (CodeArtifact); every
+`core/` module is reachable as a `nova <subcommand>`; the CLI and
+Lambda functions share a single `core/` source tree; and Nova owns its
+identity layer end-to-end (Nova-idp: `nova-idp-auth` +
+`nova-idp-token-vend` Lambdas, KMS-signed OIDC tokens, kyverno-json
+ABAC token vending, PAT lifecycle). No AWS-managed identity services
+in the path (INV-15).

-SPECIFY → CLARIFY → RESEARCH → IDEATE → PLAN → GRILL. All `.ciagent/`
-MD, research, plans. Ships as `v1.25.0` on the v1.25.x line.
+## Requirements

-**Pre-run (Workstream A, on main before branch gate):**
- A1: flaky test fix (commit `8c68d68`, pushed).
- A2: ACDL_*→NOVA_* bootstrap migration (commit `f844fea`, pushed).
- A3: AWS bootstrap — S3 state bucket + DynamoDB outbox created.
- A4: `nova-blockchain-exchange` Gitea repo created + cloned.
+31 requirements: REQ-323..REQ-353 (full text in
+`.ciagent/REQUIREMENTS.md` §v1.28). 6 capabilities: CAP-033..CAP-038.
+6 invariants: INV-12..INV-17. 6 decisions: D-226..D-231 (CLARIFY) +
+RESEARCH amendments (D-228 fail-closed, D-229 strong-read-on-PK).

-**Phase 0 stages (on `phase/00-specify-clarify-research-plan`):**
- SPECIFY: v1.26 established in config.json + PROJECT.md + ROADMAP.md +
-  `.ciagent/nova-blockchain-exchange/{PROJECT,REQUIREMENTS,ROADMAP}.md`.
- CLARIFY: 10 ambiguities resolved (D-200..D-213).
- RESEARCH: PoA blockchain, deploy model, DynamoDB gap (REQ-322),
-  metric grounding, persona assessment (5 personas).
- IDEATE: 7 ideas accepted (I1..I7 → REQ-315..322), 3 deferred.
- PLAN: this file.
- GRILL: adversarial review (binding verdicts).
+## Phase breakdown

---
+### Phase P1 — cli-substrate (REQ-323..REQ-328)

-## Phase 1 — blockchain-core (tag v1.25.1)
+**Goal:** CodeArtifact wheel + Lambda layer pipeline; `nova/` CLI
+package with a subcommand per `core/` module; `nova init`; `nova
+cli-action` composite action; `core/mode_resolver.py`; audit emission
+with `mode` + `selection_reason`. The CLI is installable and every
+`core/` module is reachable.

-**Goal:** The consumer repo has a working homegrown PoA blockchain +
-order-matching engine + settlement service. All unit tests pass in the
-consumer repo's own CI.
+**Exit criterion:** CAP-033 + CAP-034 + CAP-035 Verified + all REQ-323..328
+tests pass. CodeArtifact provisioned (Wave 0 gate).

-**Project:** `nova-blockchain-exchange` (consumer repo).
-**Branch:** `nova-blockchain-exchange/phase/01-blockchain-core`.
-**Persona:** blockchain-engineer (primary), lead-developer (coordination).
+#### Wave 0 — CodeArtifact provisioning (backend-engineer) [C-3.2/C-8.1]
+- **Task 0.1** (backend-engineer): provision CodeArtifact domain
+  (`nova`) + repository (`nova-pypi`) in `581513795199`. Verify
+  `codeartifact:*` IAM grant on `nova-spike-runner`. **Binary go/no-go
+  gate for Wave 4.** If fail: activate Gitea wheel index fallback
+  (CLARIFY assumption #1) and document in PLAN.md.

-### Wave 1 — chain core (REQ-310)
- **Task 1.1** (blockchain-engineer): `chain/block.py` — Block dataclass
-  (index, timestamp, prev_hash, transactions, nonce, hash).
-  `compute_hash()` deterministic (SHA-256). Unit test: `test_block.py`.
- **Task 1.2** (blockchain-engineer): `chain/ledger.py` — Ledger class:
-  `append_block()`, `verify_chain()`, `get_block(index)`,
-  `get_latest_block()`. Genesis block on init. Unit test: `test_ledger.py`.
- **Task 1.3** (blockchain-engineer): `chain/validator.py` — PoA
-  validator: single validator (config-driven), `propose_block(transactions)`
-  → Block, `commit_block(block)`. Unit test: `test_validator.py`.
+#### Wave 1 — pyproject + entry point (cli-engineer)
+- **Task 1.1** (cli-engineer): `pyproject.toml` — add
+  `[project.scripts] nova = "nova.cli:main"`; add
+  `[tool.setuptools.packages.find]` including `nova`, `nova.*`, `core`,
+  `core.*`, `adapters.*`; bump `requires-python` to `>=3.12`; add
+  `argon2-cffi`, `cryptography`, `pyjwt`, `hypothesis` to deps/test-deps.
+  Verify `pip install -e .` produces a `nova` executable.

-### Wave 2 — order engine + settlement (REQ-311, REQ-312) — parallel with Wave 1 tail
- **Task 2.1** (blockchain-engineer): `engine/order.py` — Order
-  dataclass (id, side, symbol, price, size, timestamp).
- **Task 2.2** (blockchain-engineer): `engine/order_book.py` —
-  OrderBook: `add_order(order)`, `match_orders()` → list of Match
-  (price-time priority, partial fills). Unit test: `test_order_book.py`.
- **Task 2.3** (blockchain-engineer): `settlement/service.py` —
-  SettlementService: `settle(match)` → SettlementTransaction,
-  `submit(ledger)`. Idempotent (re-settling a match is a no-op once
-  final). Finality = block commit. Unit test: `test_settlement.py`.
+#### Wave 2 — CLI dispatch + subcommands (cli-engineer)
+- **Task 2.1** (cli-engineer): `nova/__init__.py` + `nova/cli.py`
+  (~80 lines, auto-discovers `nova/<module>.py` via `pkgutil.iter_modules`,
+  dispatches, emits `cli.invocation` audit event stub with INV-12 fields).
+- **Task 2.2** (cli-engineer): `nova/<module>.py` for each `core/`
+  module (≤50 lines, `add_parser` + `run` delegates to `core/`). Cover:
+  `resolve`, `decommission`, `env-transition`, `env-check`, `hitl`,
+  `onboard`, `outbox`, `publish-outputs`, `policy`, `regression`, `sod`,
+  `readiness`, `attestation-matrix`, `confidence`. Skip internal-only
+  (`env`, `local_emulators`, `output_publisher` if not user-facing).
+- **Task 2.3** (cli-engineer): `nova/init.py` (REQ-325) — scaffolds
+  `.nova/`, `.nova/contract.yml.attestations/`, `.gitignore` (excludes
+  secrets, `~/.nova/credentials.json`).

-### Wave 3 — consumer CI (cross-cutting)
- **Task 3.1** (blockchain-engineer): `.github/workflows/ci.yml` +
-  `.gitea/workflows/ci.yml` — lint + pytest on chain/engine/settlement.
- **Task 3.2** (lead-developer): `nova-blockchain-exchange/README.md` —
-  repo overview + dev setup.
+#### Wave 3 — mode_resolver + audit (cli-engineer)
+- **Task 3.1** (cli-engineer): `core/mode_resolver.py` —
+  `resolve_mode(flag, env_var, credential_type, stdin_isatty)` per D-226.
+  `sys.stdin.isatty()` is the TTY check (RESEARCH §11). Invalid env →
+  warn + fall through. Returns `(mode, selection_reason)`.
+- **Task 3.2** (cli-engineer): wire `mode_resolver` into `nova/cli.py`
+  — resolve mode before dispatch, emit `cli.invocation` with `mode`,
+  `selection_reason`, `credential_type`, `command`, `args` (INV-12,
+  REQ-328).
+- **Task 3.3** (cli-engineer): `tests/test_mode_resolver.py` —
+  `hypothesis` property tests (REQ-349): deterministic, flag-wins,
+  invalid-env-ignored, no-silent-fallback. Edge cases: TTY + piped
+  stdout, missing credential, conflicting flag/env, invalid env value.

-**Must-haves (verify before ship):**
- `pytest tests/` in the consumer repo passes (chain integrity, hash
-  determinism, genesis, append/verify, match priority, partial fills,
-  settlement idempotency, finality check).
- The chain is deterministic (replay produces the same hash chain).
- The consumer CI workflow runs on push.
+#### Wave 4 — CodeArtifact + layer pipeline (backend-engineer)
+- **Task 4.1** (backend-engineer): `.gitea/workflows/publish.yml` +
+  `.github/workflows/publish.yml` (byte-identical) — build wheel →
+  CodeArtifact `twine upload` → build layer (`pip install --target
+  layer/python/` + `argon2-cffi` + `cryptography` + `pyjwt`) →
+  `lambda publish-layer-version` → SSM `/nova/layer/nova-cli/version`
+  mapping (CAP-035). Fail either → job fails (merge blocked, REQ-323).
+  Pin version to `<semver>+<sha7>` for idempotent re-runs.

-**Ship:** tag `v1.25.1`, merge `phase/01` → `milestone/v1.26-pilot-activation`,
-Gitea release (best-effort). Delete `phase/01`.
+#### Wave 5 — composite action (cli-engineer + backend-engineer)
+- **Task 5.1** (cli-engineer): `.github/actions/nova-cli/action.yml` —
+  composite action, `setup-python@v5` (3.12), CodeArtifact login +
+  `pip install nova`, `nova ${{ inputs.command }}`. `NOVA_CLIENT_MODE`
+  from input.
+- **Task 5.2** (backend-engineer): byte-identical integration test —
+  CI matrix runs the action on GitHub `ubuntu-latest` + Gitea
+  `act_runner`; assert same stdout/exit code (REQ-326 AC2, NFR-11).

---
+#### Wave 6 — CAP-033/034 gate (cli-engineer)
+- **Task 6.1** (cli-engineer): `tests/test_cli_subcommands.py` —
+  CAP-033 (`nova --help` lists a subcommand for every `core/` module)
+  + CAP-034 (AST scan: ≤50 lines, ≤3 defs, all calls resolve to `core.`,
+  no conditionals beyond `if __name__`). Wire into CI merge gate.

-## Phase 2 — consumer-contract-and-deploy (tag v1.25.2)
+### Phase P2 — lambda-packaging (REQ-329, REQ-330, REQ-331)

-**Goal:** The consumer repo declares its infrastructure via
-`contract.yaml` (validated against the platform's schema) + invokes the
-platform's `deploy.yml@v1.25` workflow. The contract references the
-`microservice` (ECS), `dynamodb`, + `s3` modules.
+**Goal:** Dual-use `core/lambda/contract_ingestor.py` (Lambda + CLI
+paths share ≥80% code); `core/env.py:+synthesize_local_env()` for
+`nova apply --local`; `.nova/contract.yml.attestations/` scaffolded;
+JWS-from-PAT key derivation (C-5.2).

-**Project:** `nova-blockchain-exchange` (consumer repo) + `acdl`
-(platform repo — for the `deploy.yml@v1.25` ref + the `v1.25` floating
-tag).
-**Branch:** `nova-blockchain-exchange/phase/02-contract-and-deploy`.
-**Persona:** blockchain-engineer (contract authoring), data-engineer
-(registry/DynamoDB dependency check), lead-developer (deploy.yml ref).
+**Exit criterion:** all REQ-329..331 tests pass + JWS-from-PAT KDF
+specified.

-### Wave 1 — contract (REQ-313)
- **Task 1.1** (blockchain-engineer): `contract.yaml` — id
-  (`blkex`), name (`blockchain-exchange`), environment (dev),
-  infrastructure block (microservice + dynamodb + s3).
- **Task 1.2** (blockchain-engineer): `contracts/blockchain-exchange.dev.yml`,
-  `.qa.yml`, `.prod.yml` — per-env variants.
- **Task 1.3** (blockchain-engineer): `tests/test_contract_validates.py`
-  — schema validation against the platform's
-  `schemas/contract.schema.json`.
+#### Wave 1 — dual-use refactor (backend-engineer)
+- **Task 1.1** (backend-engineer): refactor
+  `core/lambda/contract_ingestor.py` — extract the shared logic into
+  importable functions; the Lambda handler + the CLI `__main__` block
+  both call them. The `__main__` block already exists (the dual-use
+  precedent per RESEARCH §1.2). Verify ≥80% code share (CAP-034 / code
+  review). Local path via `core/local_emulators.py:LocalLambdaStub`.

-### Wave 2 — deploy invocation (REQ-314)
- **Task 2.1** (blockchain-engineer): `.github/workflows/deploy.yml` —
-  `uses: acdl/.github/workflows/deploy.yml@v1.25` with
-  `with: { contract: contract.yaml, mode: full, environment: dev }`.
- **Task 2.2** (blockchain-engineer): `.gitea/workflows/deploy.yml` —
-  byte-identical mirror.
- **Task 2.3** (blockchain-engineer): `tests/test_deploy_workflow_invocation.py`
-  — asserts the `uses:` ref + inputs.
+#### Wave 2 — local env synthesizer + JWS KDF (backend-engineer)
+- **Task 2.1** (backend-engineer): `core/env.py:+synthesize_local_env()
+  ` — produces a local env dict (account_id placeholder, region local,
+  no real AWS) from a contract + `--local` flag. Mirrors
+  `core/onboarding.py:generate_env_file()`.
+- **Task 2.2** (cli-engineer): `nova/apply.py` (≤50 lines) — `nova
+  apply --local` delegates to `core.env.synthesize_local_env()` +
+  `core.contract_resolver.resolve()`.
+- **Task 2.3** (security-engineer): JWS-from-PAT key derivation
+  (C-5.2). HKDF-SHA256(PAT_bytes, salt='nova-local-attestation',
+  info='jws-signing-key') → 32-byte symmetric key. The JWS is
+  HMAC-SHA256 (symmetric, not asymmetric). The "public key derivable
+  from the PAT" AC (REQ-332) is re-interpreted: the *verification key*
+  is derived from the PAT via the same KDF (the PAT is the shared
+  secret). Document in `docs/developer-guide-auth.md`. Update REQ-332
+  AC accordingly.

-### Wave 3 — platform floating tag (cross-cutting)
- **Task 3.1** (lead-developer, on `acdl` repo): verify the `v1.25`
-  floating tag exists (created by `release.yml` on merge to main). If
-  not, create it pointing at the `v1.25.0` tag (Phase 0 ship).
+#### Wave 3 — attestations dir (cli-engineer)
+- **Task 3.1** (cli-engineer): verify `nova init` (P1 Wave 2 Task 2.3)
+  creates `.nova/contract.yml.attestations/` (empty). REQ-331 test.

-**Must-haves (verify before ship):**
- `contract.yaml` validates against `schemas/contract.schema.json`.
- The deploy workflow invocation asserts the correct `uses:` ref +
-  inputs.
- The `v1.25` floating tag resolves.
+### Phase P3 — idp-auth (REQ-333, REQ-334, REQ-335)

-**Ship:** tag `v1.25.2`, merge `phase/02` → milestone, Gitea release.
-Delete `phase/02`.
+**Goal:** `nova-idp-auth` Lambda (sign-up, sign-in, session) with
+Argon2id hashing + DynamoDB tables. CAP-036 target.

---
+**Exit criterion:** CAP-036 Verified (E2E sign-up → sign-in → session
+passes in CI).

-## Phase 3 — pilot-metrics-and-policies (tag v1.25.3)
+#### Wave 1 — DynamoDB schema (backend-engineer)
+- **Task 1.1** (backend-engineer): define the 4 DynamoDB table schemas
+  (`nova-users`, `nova-sessions`, `nova-password-resets`, `nova-pats`)
+  in a CloudFormation snippet (reused by P4 Wave 8 `nova idp setup`).
+  PITR enabled on each (REQ-335).

-**Goal:** The platform repo gains the metric-grounding emitters, the
-kyverno-json pilot policies, the DynamoDB L1 primitive, the env-JSON
-wiring reconciliation, + the pilot regression CAP. The Post-Pilot
-metrics are grounded (outcome backfill + escalation reason); the pilot-
-readiness + settlement-finality policies are in place.
+#### Wave 2 — Argon2id (security-engineer) [C-1.2/C-7.2]
+- **Task 2.1** (security-engineer): `core/lambda/nova_idp_auth.py` —
+  Argon2id password hashing via `argon2-cffi` (D-228: bundled abi3
+  wheel; **fail-closed on `ImportError` → 503, no pure-Python
+  fallback**). **Parameters: t=3, m=65536 KiB, p=1** (OWASP-recommended
+  minimum). Lambda memory ≥512 MB (m=64 MiB + Python overhead fits).
+  Raw passwords never in logs/traces/env/DDB (INV-16, REQ-334).
+- **Task 2.2** (security-engineer): `tests/test_argon2_fail_closed.py`
+  — mock `argon2.low_level` import failure → assert auth Lambda
+  returns 503 (not a crash, not a weak hash). C-1.2.

-**Project:** `acdl` (platform repo) + `nova-blockchain-exchange`
-(consumer repo — the Gitea adapter rewrites the consumer's `deploy.yml`).
-**Branch:** `acdl/phase/03-pilot-metrics-and-policies` (platform branch).
-**Personas:** backend-engineer (emitters + adapter + regression),
-data-engineer (DynamoDB primitive + env JSON + collector),
-policy-engineer (kyverno-json policies), lead-developer (Gitea adapter
-+ deploy.yml drift + rotation workflow).
+#### Wave 3 — auth Lambda (backend-engineer + security-engineer)
+- **Task 3.1** (backend-engineer): `nova-idp-auth` Lambda handler —
+  sign-up, sign-in, session creation endpoints. Function URL + IAM
+  auth. DynamoDB via lazy `boto3.resource` (the existing pattern).
+- **Task 3.2** (security-engineer): session token issuance + session
+  storage in `nova-sessions` (TTL `expires_at`). Password reset flow
+  in `nova-password-resets` (TTL 15m).

-### Wave 0 — Gitea reusable-workflow adapter (SPEC §10 Q1, resolved by evidence) — lead-developer + blockchain-engineer
-> **Highest-priority gap.** The v0.2 P3 `workflow_dispatch` (Gitea
-> Actions run id=6199) failed: Gitea Actions rejects cross-repo `uses:`
-> (`acdl/.github/workflows/deploy.yml@v1.25`) with `expected format
-> {owner}/{repo}/.{git_platform}/workflows/{filename}@{ref}`. The
-> consumer's `deploy.yml` is frozen at the v0.1 byte-identical mirror;
-> the platform adapts (option c — inline checkout-then-call), not
-> vice-versa.
- **Task 0.1** (lead-developer): rewrite
-  `nova-blockchain-exchange/.gitea/workflows/deploy.yml` + byte-identical
-  `.github/workflows/deploy.yml` — drop the `uses:` indirection; single
-  `deploy` job on `ubuntu-latest` that `actions/checkout@v4` the consumer,
-  `actions/checkout@v4` `acdl/acdl` @ `ref: v1.25` into `platform/`,
-  setup-python 3.12, install deps (jsonschema/pyyaml/boto3 + checkov),
-  install Terraform 1.9.*, configure AWS (static-key path:
-  `aws-region: ${{ secrets.AWS_DEFAULT_REGION }}`, `access-key-id` +
-  `secret-access-key` from `NOVA_AWS_*` secrets; no OIDC token minted),
-  run `bash platform/scripts/run_platform.sh $MODE_FLAG $ENV_FLAG
-  contract.yaml`. Preserve `on: workflow_dispatch` inputs (mode choice
-  default full; environment choice default "") + `permissions: {id-token:
-  write, contents: read}` + `secrets: inherit`.
- **Task 0.2** (blockchain-engineer): update
-  `nova-blockchain-exchange/tests/test_deploy_workflow_invocation.py` +
-  `test_deploy_gitea_invocation.py` — assert no cross-repo `uses:`,
-  assert `ref: v1.25`, assert `secrets: inherit`, assert
-  `run_platform.sh` invoked, assert `AWS_DEFAULT_REGION` wired.
- **Task 0.3** (lead-developer): `acdl/.github/workflows/deploy.yml`
-  stays as the GitHub Actions reference impl (the `workflow_call`
-  reusable workflow — used by GitHub-hosted consumers); document in
-  `adapters/README.md` that Gitea consumers use the inline adapter, not
-  the reusable `uses:`.
+#### Wave 4 — CAP-036 E2E (backend-engineer)
+- **Task 4.1** (backend-engineer): `tests/test_idp_auth.py` — sign-up
+  → sign-in → session round-trip (moto[dynamodb] for local; deployed
+  for CI). CAP-036 verification.

-### Wave 0.5 — kyverno-json substrate fix (v1.25 skip-masked bug) — backend-engineer
-> The v1.25 kyverno-json engine + policies were never validated
-> against the real `kj` binary (tests `pytest.skip("kj not installed")`
-> when absent). With `kj` now installed (v0.0.3), 3 policy tests
-> failed. Root cause: (a) `kj` v0.0.3 does not load `.json` policy
-> files (only `.yaml`/`.yml`) — the engine now materializes `.yaml`
-> twins at runtime; (b) the `validate` wrapper is not supported —
-> `assert` goes directly under the rule; (c) the check syntax was
-> inverted (`expression: expected_value`, not `key: expression`);
-> (d) the engine `_translate` expected `{"results": [...]}` but `kj`
-> returns a bare list with `results[].policy.metadata.name` +
-> `results[].rules[].violations[]`. DONE (committed 59d837f). Also
-> fixed `scripts/install-kyverno-json.sh` (the `cmd/kj@latest` path
-> fails — the real binary is `kyverno-json`, symlinked as `kj`).
- **Task 0.5.1** (backend-engineer): rewrite
-  `adapters/kyverno-json/kyverno_json_engine.py` `_translate` for the
-  bare-list output format + add `_materialize_yaml_policy_dir` (DONE).
- **Task 0.5.2** (backend-engineer): remove the `validate` wrapper +
-  fix check syntax across all 16 existing policies (DONE).
- **Task 0.5.3** (backend-engineer): fix
-  `scripts/install-kyverno-json.sh` (DONE).
- **Task 0.5.4** (backend-engineer): resolve pre-existing P2 drift
-  uncovered by the full-suite run — dynamodb `examples/simple.yml` +
-  `complex.yml`, `sync_workflows` re-sync, CAP-024 deck path
-  (`nova-autonomous-cloud-delivery-marp.md`) + slide-count bound +
-  `class="benefit"` div count (DONE, committed 3735330).
+### Phase P4 — token-vend-pat (REQ-336..REQ-344, REQ-340, REQ-341) [was P4+P5]

-### Wave 1 — DynamoDB primitive (REQ-322) — data-engineer — verify-only (done in P2 W0)
- **Task 1.1** (data-engineer): verify `modules/l1/dynamodb/` resolves
-  + emits valid Terraform via `tests/test_adapter.py` (the primitive
-  shipped in P2 W0; this wave is a re-verify, not re-authoring).
+**Goal:** `nova-idp-token-vend` Lambda (KMS-signed OIDC, kyverno-json
+ABAC), JWKS endpoint, PAT lifecycle, `nova auth` commands, **and**
+`nova idp setup` (folded from P5 per C-2.1). CAP-037 + CAP-038 target.
+**Highest-risk phase — critical-path.** The kj-binary spike (Wave 1)
+is the single highest-probability schedule slip; Fargate fallback adds
+~1 week (D-227). This is a **double-length phase** (8 waves).

-### Wave 2 — metric grounding (REQ-317, REQ-318) — backend-engineer + data-engineer — parallel
- **Task 2.1** (backend-engineer): `core/metrics/outcome_backfill.py` —
-  `backfill(decision_id, outcome)` updates `fact_decision.outcome` +
-  `backfilled_at`. Reads run-manifest events.
- **Task 2.2** (backend-engineer): `core/metrics/collector.py` —
-  invokes backfill after run completion.
- **Task 2.3** (backend-engineer): `tests/test_outcome_backfill.py`.
- **Task 2.4** (backend-engineer): `core/confidence_signal.py` —
-  `ai.decision.made` gains `escalation_reason: 'confidence'` when
-  `band == 'block'`.
- **Task 2.5** (backend-engineer): `core/metrics/collector.py` —
-  persists `escalation_reason` into `fact_run`.
- **Task 2.6** (backend-engineer): `tests/test_confidence_escalation_reason.py`.
+**Exit criterion:** CAP-037 + CAP-038 Verified + `nova idp setup
+--check/--apply/--verify` works against a fresh AWS account.

-### Wave 3 — env-JSON wiring + adapter (REQ-319) — backend-engineer + data-engineer — parallel
- **Task 3.1** (backend-engineer): `adapters/terraform/adapter.py` —
-  reads `env.state_backend.bucket` when present (fallback to computed
-  name for backwards compat).
- **Task 3.2** (data-engineer): `core/environments/dev.json` —
-  `account_id` → `581513795199`, `state_backend.bucket` →
-  `nova-tfstate-581513795199-us-east-1`.
- **Task 3.3** (data-engineer): `core/environments/{qa,prod,dr}.json` —
-  `state_backend.bucket` updated; `account_id` stays placeholder
-  (pilot-readiness policy blocks apply on placeholder, D-208).
- **Task 3.4** (backend-engineer): `tests/test_adapter_state_backend.py`.
- **Task 3.5** (backend-engineer): `tests/test_adapter.py` — add
-  `dynamodb` to `EXPECTED_L1_KEYS` + a resolution + emission test
-  (cross-territory: data-engineer authored the module, backend-engineer
-  owns the test).
+#### Wave 1 — kj-binary spike (backend-engineer + security-engineer) [C-8.2]
+- **Task 1.1** (backend-engineer): confirm the `kj` Go binary
+  (~40 MB Linux amd64) runs in the Lambda Python 3.12 runtime on
+  AL2023. Bundle it in the `nova-cli` layer (`wget` a **pinned
+  release** (e.g. `kj@v1.x.y`) + record SHA256 into `layer/kj.sha256`
+  — C-8.2, supply-chain safety) into `layer/bin/kj`, `chmod +x`.
+  Verify `KyvernoJsonEngine.is_configured()` finds `/opt/bin/kj`.
+  **If this fails:** fall back to Fargate for the token-vend Lambda
+  (D-227 risk, RESEARCH §7). Escalate to user only if both fail (full
+  autonomy: log assumption + proceed with Fargate).

-### Wave 4 — kyverno-json policies (REQ-315, REQ-320) — policy-engineer — parallel
- **Task 4.1** (policy-engineer):
-  `adapters/kyverno-json/policies/settlement-finality/all-matches-committed.json`
-  — kyverno-json policy over settlement-service status JSON (asserts
-  `all_committed: true`). **Note (G-Q6):** the policy is authored +
-  tested in v1.26; *enforcement* is deferred to the milestone that
-  binds qa/prod/dr (D-208 — the policy gates promotions, not dev
-  applies).
- **Task 4.2** (policy-engineer):
-  `adapters/kyverno-json/policies/pilot-readiness/no-placeholder-account.json`
-  — kyverno-json policy over env JSON (asserts
-  `account_id != "000000000000"`).
- **Task 4.3** (policy-engineer): `tests/test_settlement_finality_policy.py`
-  — passing + failing fixtures; **runs against real `kj`** (not skipped
-  — `kj` is installed via `scripts/install-kyverno-json.sh`).
- **Task 4.4** (policy-engineer): `tests/test_pilot_readiness_policy.py`
-  — passing (real account) + failing (placeholder) fixtures; **runs
-  against real `kj`** (not skipped).
+#### Wave 2 — ABAC policy (security-engineer) [C-5.1]
+- **Task 2.1** (security-engineer): `platform/abac/token-vend.policy`
+  — kyverno-json `ValidatingPolicy` (D-227). Payload:
+  `{subject, requested_claims, target_resource, environment, pat_jti,
+  policy_version}`. **`requested_claims` = list of claim names** (the
+  policy asserts the subject is *allowed* to request those claims; the
+  values are assigned by the Lambda, not the requestor — C-5.1).
+  JMESPath checks for role/scope/env/owner. Severity `critical` = deny
+  on fail.
+- **Task 2.2** (security-engineer): `policy_version` = git SHA of the
+  policy file, baked into the Lambda layer (D-231). Recorded in every
+  `token.vend.allowed/denied` audit event.

-### Wave 5 — regression CAP (REQ-316) — backend-engineer
- **Task 5.1** (backend-engineer): `core/regression_verify.py` —
-  CAP-025 (live-pilot-apply): the round-trip assertion.
- **Task 5.2** (backend-engineer): `tests/test_regression_pilot.py`.
+#### Wave 3 — KMS signing (security-engineer) [C-1.1]
+- **Task 3.1** (security-engineer): **verify KMS asymmetric key
+  support** before implementation: `aws kms create-key --key-spec
+  ECC_NIST_P256 --key-usage SIGN_VERIFY` in the target account
+  (C-1.1). If fail: fall back to RSA-2048 (also supported, larger
+  tokens) or escalate. Do not discover this mid-Wave.
+- **Task 3.2** (security-engineer): KMS key `alias/nova-oidc-signing`
+  (ECC_NIST_P256, SIGN_VERIFY). Token-vend Lambda signs via
+  `kms.sign(SigningAlgorithm="ECDSA_SHA_256")` → DER→raw ECDSA
+  conversion (`decode_dss_signature` → `r.to_bytes(32) + s.to_bytes(32)`,
+  RESEARCH §5). JWT header `{"alg":"ES256","typ":"JWT","kid":"..."}`.

-### Wave 6 — deploy.yml drift fixes (SPEC §5.1/§5.2) — lead-developer + backend-engineer
-> The platform reference `workflows-src/deploy.yml` (synced to
-> `.github`+`.gitea`) has three drifts vs the SPEC: (a) `aws-region`
-> hardcoded `us-east-1` (SPEC wants `NOVA_AWS_REGION`/`AWS_DEFAULT_REGION`
-> from secret); (b) platform checkout `ref: v1.9` (SPEC wants `v1.25`);
-> (c) the local `scripts/run_platform.sh` fallback exports raw
-> `NOVA_AWS_*` names into shell env (SPEC §5.2 constraint: consume as
-> workflow secrets, not shell env — `blocked_env_vars`).
- **Task 6.1** (lead-developer): `workflows-src/deploy.yml` —
-  `aws-region: ${{ secrets.AWS_DEFAULT_REGION || 'us-east-1' }}`;
-  platform checkout `ref: v1.25`; re-sync to `.github`+`.gitea`.
- **Task 6.2** (backend-engineer): `scripts/run_platform.sh` — source
-  `AWS_DEFAULT_REGION` from `.env.secrets` for the local fallback (not
-  raw `NOVA_AWS_*`); the CI path already consumes secrets via the
-  `configure-aws-credentials` action.
- **Task 6.3** (backend-engineer): `tests/test_deploy_workflow_env_input.py`
-  — assert `AWS_DEFAULT_REGION` wired + `ref: v1.25` + no raw
-  `NOVA_AWS_*` in shell env.
+#### Wave 4 — token-vend Lambda (backend-engineer + security-engineer) [C-6.1/C-7.1 ABAC FAIL-CLOSED]
+- **Task 4.1** (backend-engineer): `core/lambda/nova_idp_token_vend.py`
+  — accepts PAT/session, validates revocation (`nova-pats.GetItem(jti,
+  ConsistentRead=True)` — D-229), evaluates ABAC (Wave 2), signs (Wave
+  3), returns OIDC JWT. Audit at every step.
+- **Task 4.2** (security-engineer): token claims `sub, aud, iss, exp,
+  iat, jti, roles` (REQ-336).
+- **Task 4.3** (security-engineer) 🔴: **ABAC fail-closed.** If
+  `KyvernoJsonEngine.is_configured()` returns false or `evaluate()`
+  raises, return 403 + audit `token.vend.denied` (reason:
+  `abac_eval_failed`). **Never fail open.** This is INV-17's runtime
+  enforcement (C-6.1/C-7.1 — the grill's #1 finding). Test:
+  `tests/test_abac_fail_closed.py` — mock `kj` absent → assert 403 +
+  audit event.

-### Wave 7 — secret rotation scheduled workflow (SPEC §5.9) — lead-developer
-> SPEC §5.9: "the rotation mechanism must *exist* (not have run)."
-> A platform-managed scheduled workflow wraps the existing
-> `scripts/rotate_spike_key.sh` (manual today) on a daily cron.
- **Task 7.1** (lead-developer): `workflows-src/rotate-aws-key.yml` —
-  `on: { schedule: [{cron: "0 0 * * *"}], workflow_dispatch:}`,
-  single job that checks out the platform repo + runs
-  `bash scripts/rotate_spike_key.sh` with `NOVA_AWS_*` bootstrap
-  secrets; sync to `.github`+`.gitea`.
- **Task 7.2** (lead-developer): verify `scripts/rotate_spike_key.sh`
-  is idempotent (deactivates old key only after the new key propagates
-  to the Gitea Actions secret store).
- **Task 7.3** (lead-developer): `tests/test_rotate_key_workflow.py` —
-  structural test (the workflow file declares `schedule` + invokes
-  `rotate_spike_key.sh`); document in `.ciagent/ARCHITECTURE.md` §12.8
-  that the mechanism exists (v0.2 scope: exists-not-ran per SPEC §5.9).
+#### Wave 5 — JWKS endpoint (backend-engineer)
+- **Task 5.1** (backend-engineer): `core/lambda/nova_idp_jwks.py` —
+  function URL `AuthType: NONE`, `Cache-Control: max-age=3600`.
+  `kms.get_public_key` → DER SPKI → JWK via `cryptography`. Returns
+  `{"keys":[...]}`. Custom domain + WAF = optional (D-230).

-**Must-haves (verify before ship):**
- `pytest tests/` in the platform repo passes (the 170 baseline held
-  inaccurately — the real P2 baseline had 7 pre-existing failures
-  uncovered by W0.5; all now fixed). Full suite green.
- `pytest tests/` in the consumer repo passes (deploy invocation tests
-  updated for the inline adapter).
- The kyverno-json substrate works against real `kj` (W0.5 — DONE).
- The Gitea adapter: consumer `deploy.yml` has no cross-repo `uses:`;
-  inline checkout `acdl@v1.25` + `run_platform.sh` (W0).
- The DynamoDB primitive resolves + emits valid Terraform (W1 verify).
- The outcome backfill updates `fact_decision.outcome` (not `pending`)
-  (W2).
- The `escalation_reason` field is emitted on `block` band (W2).
- The adapter reads `env.state_backend.bucket` from the env JSON (W3).
- The 2 new kyverno-json policies pass on valid fixtures + fail on
-  invalid fixtures, against real `kj` (W4 — not skipped).
- CAP-025 is in the regression gate (W5).
- The deploy.yml drifts fixed: `AWS_DEFAULT_REGION` wired, `ref:
-  v1.25`, no raw `NOVA_AWS_*` in shell env (W6).
- The rotation scheduled workflow exists (W7).
+#### Wave 6 — PAT lifecycle (security-engineer + cli-engineer) [C-7.3]
+- **Task 6.1** (security-engineer): PAT issuance — signed JWT
+  (`typ: "developer_pat"`, INV-14), `nova-pats` PutItem (jti, pat_hash,
+  status=active). Only hash stored (REQ-343). Revoked PATs retained.
+  **Max TTL: ≤24h for developer PATs, ≤1h for service-account PATs**
+  (C-6.2 threat model).
+- **Task 6.2** (cli-engineer): `nova/auth/{login,revoke,status}.py` —
+  `nova auth login` (session→OIDC token, store in
+  `~/.nova/credentials.json` 0600), `nova auth revoke --pat <jti>`,
+  `nova auth status` (active credential, mode, selection_reason).
+  All emit audit events (REQ-344). **C-7.3: `~/.nova/credentials.json`
+  stores the OIDC token + PAT metadata (jti, exp, type) ONLY — NOT the
+  raw PAT.** The raw PAT is entered once at `nova auth login` and not
+  persisted (reduces filesystem-compromise blast radius).

-**Ship:** tag `v1.25.3`, merge `phase/03` → milestone, Gitea release.
-Delete `phase/03`.
+#### Wave 7 — CAP-037/038 (security-engineer)
+- **Task 7.1** (security-engineer): `tests/test_kms_roundtrip.py`
+  (REQ-350, CAP-037) — sign test JWT via token-vend, fetch JWKS,
+  verify with `pyjwt`. `tests/test_pat_revocation.py` (REQ-351,
+  CAP-038) — issue → vend → revoke → assert 403 within 60s P95.

---
+#### Wave 8 — nova idp setup (cli-engineer + backend-engineer) [folded from P5 per C-2.1]

-## Phase 4 — pilot-run-and-docs (tag v1.25.4)
+**Goal:** `nova idp setup` command with `--check/--apply/--verify`
+modes; CloudFormation template generation + review (REQ-340, REQ-341).

-**Goal:** The pilot estate runs end-to-end against live AWS
-`581513795199` (contract resolve → adapter compile → terraform plan →
-policy scan → confidence signal → attestation → outbox record). Docs +
-adapter README + onboarding guide are complete.
+- **Task 8.1** (backend-engineer): `nova/idp/setup.py` (+ backend
+  helper) — generates the Nova-idp CloudFormation template (raw dict →
+  JSON): 2-3 Lambdas, 4 DDB tables, KMS key, function URLs, IAM roles,
+  optional CloudFront/WAF/ACM (`--public-jwks-domain` flag).
+- **Task 8.2** (cli-engineer): `--check` (prerequisites + IAM policy
+  delta), `--apply` (generate → `$PAGER` → `y/N` → `cloudformation
+  deploy --capabilities CAPABILITY_IAM`, NFR-10), `--dry-run` (resource
+  list only), `--verify` (KMS round-trip, delegates to REQ-350 test).
+- **Task 8.3** (backend-engineer): IAM policy delta computation —
+  compares current `nova-spike-runner` grants to required
+  `cloudformation:*` + `codeartifact:*` + `kms:*` + `lambda:*` +
+  `dynamodb:*` + `ssm:*`.

-**Project:** `nova-blockchain-exchange` (consumer repo — the run) +
-`acdl` (platform repo — docs).
-**Branch:** `acdl/phase/04-pilot-run-and-docs` (platform branch for
-docs); the run happens via the consumer's `deploy.yml` invocation.
-**Personas:** blockchain-engineer (the run), lead-developer (docs),
-backend-engineer (regression CAP-025 verification).
+### Phase P5 — docs-integration (REQ-345..REQ-351)

-### Wave 1 — the pilot run (REQ-316 verification, live)
- **Task 1.1** (blockchain-engineer): trigger the consumer's
-  `deploy.yml` with `mode: full, environment: dev` against
-  `581513795199`. The workflow checks out the consumer + platform
-  repos, runs `run_platform.sh`, applies the contract (ECS +
-  DynamoDB + S3), records the decision + attestation.
- **Task 1.2** (backend-engineer): verify CAP-025 (regression gate)
-  passes against the live run.
- **Task 1.3** (blockchain-engineer): capture the run's
-  `ai.decision.made` + `attestation.recorded` events from the Decision
-  Ledger → evidence for the milestone ship.
+**Goal:** Operator guide, developer guide, threat model; E2E
+integration test; property tests; KMS round-trip; PAT revocation SLO.

-### Wave 2 — docs (REQ-321)
- **Task 2.1** (lead-developer): `adapters/README.md` — new consumer
-  row + fix the stale `TYPE_MAP` references (IDEATE I8).
- **Task 2.2** (lead-developer): `docs/METRICS.md` — Post-Pilot metrics
-  grounded note (the 3 targets now have non-zero denominators post-run).
- **Task 2.3** (lead-developer): `.ciagent/ARCHITECTURE.md` §12.8
-  (Pilot Estate).
- **Task 2.4** (lead-developer):
-  `.ciagent/nova-blockchain-exchange/README.md` — consumer onboarding
-  guide (how to invoke `deploy.yml@v1.25`, what secrets to set, what
-  the contract shape is).
+**Exit criterion:** all REQ-345..351 tests pass + docs published +
+threat model reviewed.

-**Must-haves (verify before ship):**
- The pilot run completes end-to-end (apply succeeds, decision recorded,
-  attestation recorded for dev — autonomous, no human approver).
- CAP-025 passes.
- The 3 Post-Pilot metrics have non-zero denominators (the run
-  contributed to `fact_run` + `fact_decision`).
- Docs are complete (adapter README, METRICS.md, ARCHITECTURE.md §12.8,
-  consumer onboarding guide).
+#### Wave 1 — docs (lead-developer + security-engineer) [C-6.2/C-6.3/C-9.2]
+- **Task 1.1** (lead-developer): `docs/operator-guide-idp.md` (REQ-345)
+  — `nova idp setup --check/--apply/--verify`, prerequisite IAM policy,
+  CloudFormation review flow. **C-6.3 additions:** KMS key rotation
+  procedure (90 days), Lambda layer update procedure, DDB PITR restore
+  procedure, emergency PAT revocation (DDB-level, not CLI).
+- **Task 1.2** (lead-developer): `docs/developer-guide-auth.md`
+  (REQ-346) — signup, signin, login, mode resolution, TTY vs piped
+  stdout behavior, JWS-from-PAT KDF (P2 Wave 2 Task 2.3).
+- **Task 1.3** (security-engineer): `docs/threat-model.md` (REQ-347) —
+  Argon2id storage, KMS signing, JWKS exposure, PAT revocation SLO,
+  ABAC token vending, no-AWS-managed-identity (INV-15), DER→raw ECDSA
+  gotcha. **C-6.2 additions:** (a) JWKS unauthenticated endpoint DDoS
+  surface + reserved-concurrency mitigation; (b) PAT theft + max TTL
+  (≤24h dev, ≤1h service-account); (c) ABAC fail-closed guarantee
+  (C-6.1). **C-9.2 addition:** INV-18..21 compression audit — verify
+  the spec's attestation invariant semantics are fully captured by
+  INV-15/16/17 + REQ-332.

-**Ship:** tag `v1.25.4`, merge `phase/04` → milestone, Gitea release.
-Delete `phase/04`.
+#### Wave 2 — integration tests (backend-engineer + security-engineer)
+- **Task 2.1** (backend-engineer): `tests/test_e2e_idp.py` (REQ-348) —
+  sign-up → sign-in → token-vend → apply → audit. Verifiable audit
+  chain. Runs in CI against deployed Nova-idp.
+- **Task 2.2** (security-engineer): verify REQ-349 (mode_resolver
+  property tests, P1 Wave 3 Task 3.3) + REQ-350 (KMS round-trip, P4
+  Wave 7 Task 7.1) + REQ-351 (PAT revocation SLO, P4 Wave 7 Task 7.1)
+  pass in CI.

---
+### Phase P6 — final-review-ship (Final Phase)

-## Phase 5 — final review + audit + milestone ship (tag v1.25.5)
+**Goal:** Multi-persona code review across P1..P5; project-health
+audit; milestone ship to main; CAP-033..038 Verified.

-**Goal:** Multi-persona code review across P1..P4. Audit (reconstruction
-test, branch hygiene, commit discipline). Milestone ship: merge to main,
-tag `v1.25.5` (= the v1.26 release), Gitea release with full milestone
-summary, delete all milestone branches.
+#### Wave 1 — review (lead-developer)
+- **Task 1.1** (lead-developer): `ciagent-review` across all phases.
+  Auto-fix P0; flag P1+ for post-hoc. If P1+ found, fix in this phase.

-**Project:** both (`acdl` + `nova-blockchain-exchange`).
-**Branch:** `phase/05-final-review-ship`.
-**Personas:** lead-developer (review + audit + ship), backend-engineer
-(review), data-engineer (review), policy-engineer (review),
-blockchain-engineer (review — the chain core is reviewed).
-
-### Wave 1 — review
- **Task 1.1** (lead-developer): `ciagent-review` — multi-persona code
-  review across P1..P4. Auto-fix P0; flag P1+ for post-hoc review.
- **Task 1.2** (all personas): fix P0 issues in this phase.
-
-### Wave 2 — audit
+#### Wave 2 — audit (lead-developer)
 - **Task 2.1** (lead-developer): `ciagent-audit` — reconstruction test
-  (git log ↔ `.ciagent/`), branch hygiene, commit discipline.
- **Task 2.2** (lead-developer): fix critical audit issues in this phase.
+  (git log ↔ `.ciagent/`), file/branch/commit discipline. Fix critical
+  issues in this phase.

-### Wave 3 — milestone ship
- **Task 3.1** (lead-developer): merge `phase/05` →
-  `milestone/v1.26-pilot-activation` → `main`.
- **Task 3.2** (lead-developer): tag `v1.25.5` (= the v1.26 release per
-  prev-minor tagging rule).
- **Task 3.3** (lead-developer): create Gitea release with full milestone
-  summary (all phases, all 13 requirements).
- **Task 3.4** (lead-developer): delete all milestone branches (local +
-  remote). Tags preserve all history.
- **Task 3.5** (lead-developer): update `.ciagent/nova-blockchain-exchange/REQUIREMENTS.md`
-  (mark REQ-310..322 complete), `.ciagent/ROADMAP.md` (mark v1.26
-  complete), `.ciagent/NORTH_STAR.md` (note Strategic Objectives #1 +
-  #3 — first real consumer estate; Post-Pilot denominators activated).
- **Task 3.6** (lead-developer): write checkpoint `stage: complete,
-  phase: 5, phase_role: final` + clear checkpoint (milestone complete).
-
-**Must-haves (verify before ship):**
- Review: 0 P0 issues unfixed; P1+ flagged for post-hoc.
- Audit: reconstruction test passes; branch hygiene clean; commit
-  discipline clean.
- Ship: `v1.25.5` tag exists; Gitea release created; milestone branches
-  deleted; main has the milestone merge.
+#### Wave 3 — milestone ship (lead-developer)
+- **Task 3.1** (lead-developer): `ciagent-ship` — merge `phase/06` →
+  `milestone/v1.28-cli-identity` → `main`; tag `v1.27.6` (= the v1.28
+  release); Gitea release with full milestone summary; delete all
+  milestone branches. Update REQUIREMENTS.md (mark REQ-323..353
+  complete), ROADMAP.md (mark v1.28 complete), STATE.md (append
+  CAP-033..038 + INV-12..17), NORTH_STAR.md.

 ---

-## Requirement → Phase Mapping
+## User-Facing Surface

-| REQ | Phase | Wave | Persona |
-|---|---|---|---|
-| REQ-310 (blockchain core) | P1 | W1 | blockchain-engineer |
-| REQ-311 (order engine) | P1 | W2 | blockchain-engineer |
-| REQ-312 (settlement) | P1 | W2 | blockchain-engineer |
-| REQ-313 (contract.yaml) | P2 | W1 | blockchain-engineer |
-| REQ-314 (deploy invocation) | P2 | W2 | blockchain-engineer |
-| REQ-315 (settlement-finality policy) | P3 | W4 | policy-engineer |
-| REQ-316 (pilot regression CAP) | P3 | W5 + P4 W1 | backend-engineer |
-| REQ-317 (outcome backfill) | P3 | W2 | backend-engineer |
-| REQ-318 (escalation reason) | P3 | W2 | backend-engineer |
-| REQ-319 (env-JSON wiring) | P3 | W3 | backend + data-engineer |
-| REQ-320 (pilot-readiness policy) | P3 | W4 | policy-engineer |
-| REQ-321 (docs) | P4 | W2 | lead-developer |
-| REQ-322 (DynamoDB primitive) | P3 | W1 | data-engineer |
+> MVP/UX CHECK §1 (REQ-MVP-UX-001).
+
+1. **CLI flag:** `nova --help` lists every subcommand; `nova init`
+   scaffolds a project; `nova auth login` authenticates; `nova apply
+   --local` runs locally; `nova idp setup` deploys the identity stack.
+2. **README quickstart:** `docs/developer-guide-auth.md` (REQ-346)
+   documents signup → signin → login → `nova apply` in a quickstart.
+3. **`.feature` Scenario:** `tests/test_e2e_idp.py` (REQ-348) is the
+   E2E happy path (sign-up → sign-in → token-vend → apply → audit).
+
+## Happy Path
+
+> MVP/UX CHECK §2 (REQ-MVP-UX-001). End-to-end scenario written BEFORE
+> execute.
+
+**Journey 2 — Dev authenticates and deploys locally:**
+1. `nova auth signup` → `nova-idp-auth` Lambda → Argon2id hash →
+   `nova-users` PutItem → session token.
+2. `nova auth signin` → `nova-idp-auth` → Argon2id verify → session.
+3. `nova auth login` → `nova-idp-token-vend` (exchanges session for
+   Nova OIDC token; stores in `~/.nova/credentials.json` 0600).
+4. `nova init` in a project dir → `.nova/`, `.gitignore`,
+   `.nova/contract.yml.attestations/`.
+5. `nova apply --local --sign-local-review` →
+   `core.env.synthesize_local_env()` → `core.contract_resolver.resolve()`
+   → JWS attestation signed with a key derived from the PAT → local
+   ledger entry.
+
+The E2E test (`tests/test_e2e_idp.py`, REQ-348) verifies this chain +
+the audit event chain in CI against a deployed Nova-idp.
+
+## UX Acceptance Criteria
+
+> MVP/UX CHECK §3 (REQ-MVP-UX-001).
+
+1. `nova --help` exits 0 and lists a subcommand for every `core/`
+   module (CAP-033).
+2. `nova init` in an empty dir creates `.nova/`,
+   `.nova/contract.yml.attestations/`, `.gitignore` (secrets excluded).
+3. `nova auth login` at a TTY resolves `mode=interactive,
+   selection_reason=credential:developer_pat` (INV-12, INV-14).
+4. `nova apply --local` produces a JWS attestation verifiable with the
+   public key derived from the PAT (REQ-332).
+5. `nova idp setup --check` reports prerequisites + IAM policy delta;
+   `--apply` presents the CloudFormation template for review before any
+   resource is created (NFR-10); `--verify` confirms the KMS round-trip.
+6. The Forge action (`nova cli-action`) runs `nova apply` in
+   `mode=agent, selection_reason=credential:service_account_pat` with
+   no TTY dependency (Journey 3, INV-12).
+7. PAT revocation takes effect within 60s P95 (NFR-4, CAP-038).

 ---

-## Wave Ordering Rationale
+## Capability gate (CAP-033..CAP-038)

- **P1 W1 → W2:** the chain core (block + ledger + validator) must land
-  before the order engine + settlement (they submit transactions to the
-  ledger). W3 (CI) is cross-cutting + can land any time after W1.
- **P2 W1 → W2:** the contract must land before the deploy invocation
-  (the invocation references the contract). W3 (floating tag) is cross-
-  cutting.
- **P3 W1 (DynamoDB) first:** the contract (P2) references `dynamodb` —
-  the primitive must exist before P2's contract can resolve. **Risk:**
-  P2's contract references a module that doesn't exist until P3. Resolution: P2's contract is authored but the `test_contract_validates.py` test only checks schema validity (not registry resolution) — the registry resolution test is in P3 (after the primitive lands). The contract's `dynamodb` block is schema-valid (the schema is open); the registry resolution happens at apply time (P4).
-  - **Alternative:** move REQ-322 to P2 W0 (before the contract). This
-    avoids the P2→P3 dependency. **Decision: move REQ-322 to P2 W0.**
-    See revised mapping below.
-
-### Revised: REQ-322 → P2 W0
-
-REQ-322 (DynamoDB primitive) lands in P2 Wave 0 (before the contract)
-so the contract's `dynamodb` block resolves at registry time, not just
-schema time. This makes P2 self-contained: the primitive + the contract
-+ the deploy invocation all land in P2.
-
-| REQ | Phase | Wave | Persona |
-|---|---|---|---|
-| REQ-310 (blockchain core) | P1 | W1 | blockchain-engineer |
-| REQ-311 (order engine) | P1 | W2 | blockchain-engineer |
-| REQ-312 (settlement) | P1 | W2 | blockchain-engineer |
-| REQ-322 (DynamoDB primitive) | P2 | W0 | data-engineer |
-| REQ-313 (contract.yaml) | P2 | W1 | blockchain-engineer |
-| REQ-314 (deploy invocation) | P2 | W2 | blockchain-engineer |
-| REQ-315 (settlement-finality policy) | P3 | W4 | policy-engineer |
-| REQ-316 (pilot regression CAP) | P3 | W5 + P4 W1 | backend-engineer |
-| REQ-317 (outcome backfill) | P3 | W2 | backend-engineer |
-| REQ-318 (escalation reason) | P3 | W2 | backend-engineer |
-| REQ-319 (env-JSON wiring) | P3 | W3 | backend + data-engineer |
-| REQ-320 (pilot-readiness policy) | P3 | W4 | policy-engineer |
-| REQ-321 (docs) | P4 | W2 | lead-developer |
-
-This revision is a binding plan decision (G-Q8 in the grill may
-challenge it).
+| CAP | Name | Phase | Gate rule |
+|-----|------|-------|-----------|
+| CAP-033 | CLI subcommand surface exists | P1 | `nova --help` lists a subcommand for every `core/` module |
+| CAP-034 | Subcommand delegates to `core/` | P1 | Every `nova/<module>.py` ≤50 lines, no business logic, AST scan |
+| CAP-035 | Layer matches wheel | P1 | Lambda layer ARN version matches `nova-cli` wheel version (SSM mapping) |
+| CAP-036 | Nova-idp auth flow works | P3 | E2E test (sign-up → sign-in → session) passes in CI |
+| CAP-037 | Token-vend signs via KMS | P4 | KMS round-trip test (REQ-350) passes in CI |
+| CAP-038 | PAT issuance + revocation | P4 | Issue → vend → revoke → 403 within 60s P95 (REQ-351) passes in CI |
+**Release gate (§6 of the spec):** CAP-001..CAP-032 remain Verified;
+CAP-033..CAP-038 are Verified; all v1.28 release-gate criteria met.

 ---

-## Future Hardening Items (not in v1.26 scope, documented per grill G-Q9)
+## Test evidence required for v1.28 release

- **`NOVA_AWS_*` key-split:** v1.26 uses a single `NOVA_AWS_*` key with
-  root-equivalent permissions (D-207, confirmed empirically by the
-  bootstrap). A future hardening milestone should split this into a
-  `NOVA_BOOTSTRAP_AWS_*` root key (bootstrap only) + a least-privilege
-  `NOVA_AWS_*` runner key (the spike-runner pattern). The pilot scope
-  (single account, no production workloads, OIDC default) bounds the
-  risk.
- **Multi-account landing zone:** qa/prod/dr on separate accounts (D-208
-  keeps them placeholder in v1.26).
- **D-083 lift:** S3 Object Lock + JWS tamper-evident ledger (when the
-  pilot becomes a production system, D-204).
- **Multi-validator BFT consensus:** D-201.
- **Other security types:** bonds (T+2), derivatives, options (D-200).
+- [ ] Code coverage ≥ 80% on new modules (`mode_resolver.py`,
+      `nova-idp-auth`, `nova-idp-token-vend`, PAT lifecycle).
+- [ ] CI/CD pipeline GREEN: wheel + Lambda layer publish on every merge
+      (REQ-323, CAP-035).
+- [ ] QA sign-off: all four happy-path journeys (J1–J4) pass integration
+      tests in CI.
+- [ ] Security/compliance review: threat model published, Argon2id
+      verified, ABAC policy reviewed.
+- [ ] Capability gate GREEN: CAP-001..032 remain Verified; CAP-033..038
+      Verified.
+- [ ] Mode resolver property tests pass (all four priority levels + edge
+      cases; REQ-349).
+- [ ] KMS round-trip test passes against deployed JWKS (REQ-350).
+- [ ] PAT revocation SLO verified: ≤60s P95 in CI (REQ-351, NFR-4).
+- [ ] Operator + developer guides published.
+- [ ] `nova idp setup` succeeds in a fresh AWS account.
+- [ ] Byte-identical Forge action on GitHub + Gitea (REQ-326, NFR-11).
+
+---
+
+## Plan completeness checklist
+
+- [x] Every REQ-323..353 mapped to a phase + wave + task.
+- [x] Every CAP-033..038 mapped to a phase + gate rule.
+- [x] Every INV-12..17 referenced in persona constraints.
+- [x] Every D-226..231 referenced in task rationale.
+- [x] Vertical slices: each phase ships independently (P1 CLI substrate
+      is useful before P2 packaging; P2 before P3 auth; etc.).
+- [x] Wave ordering within phases (no wave N+1 depends on wave N work
+      in the same phase).
+- [x] Persona assignments per task (4 active personas).
+- [x] MVP/UX CHECK: 3 sections present (User-Facing Surface, Happy Path,
+      UX Acceptance Criteria).
+- [x] Highest-risk item flagged (P4 Wave 1 kj-binary spike).
+- [x] Grill conditions applied (3 critical + 16 tracked; see GRILL.md).
+
+---
+
+## Cost envelope (C-3.1)
+
+Monthly estimate for the default (no CloudFront) Nova-idp deployment in
+account `581513795199`:
+
+| Resource | Quantity | Pricing | Est. monthly |
+|----------|----------|---------|-------------|
+| DynamoDB (on-demand) | 4 tables | $1.25/1M write, $0.25/1M read | ~$1 (pilot volume) |
+| DynamoDB PITR | 4 tables | $0.20/GB-month | ~$1 (small tables) |
+| KMS asymmetric key | 1 key | $1/key-month + $0.03/10k signs | ~$1 |
+| Lambda invocations | 3 Lambdas | $0.20/1M req + $0.000016/GB-s | ~$2 (low volume) |
+| Lambda layer storage | ~50 MB | $0.02/GB-month | <$1 |
+| CodeArtifact | 1 domain + 1 repo | $1/domain + $1/repo | $2 |
+| SSM Parameter | 1 | $0.05/param (advanced) | <$1 |
+| **Total (default)** | | | **~$9/month** |
+
+Optional CloudFront + WAF + ACM (if `--public-jwks-domain`): +~$3/month
+at pilot volume. ACM is free for CloudFront-attached certs.
+
+This is a pilot-scale cost envelope. Production scale (100x volume)
+would still be <$50/month. No hidden costs identified.
@@ -129,7 +129,11 @@ human at stage gates" model from the NORTH_STAR.

 ## Capability Status (Re-Verified 2026-07-27)

-> Source of truth: `.ciagent/CAPABILITY_INVENTORY.md` (Phase 54, D-093).
+> **PO-facing capability catalog:** `.ciagent/STATE.md` (additive;
+> updated at milestone ship). CAP-NNN IDs cross-reference the regression
+> gate at `core/regression_verify.py`.
+> Source of truth (the 2026-07-27 sweep, archived v1.27):
+> `.ciagent/archive/CAPABILITY_INVENTORY-v1.10.md` (Phase 54, D-093).
 > Tier: **local** = runs via emulating adapters (no AWS); **live-aws** =
 > runs against the live AWS account (581513795199).

@@ -156,7 +160,7 @@ service live, CloudFront production stack, uptime-kuma, OIDC role). The
 code would deploy them; the local emulators (Phase 53) prove the runtime
 behavior. Re-bootstrap of the OIDC role + IAM re-grant requires an admin
 principal — escalated, not silently skipped. See
-`CAPABILITY_INVENTORY.md` §"Cloud capabilities NOT re-verified".
+`CAPABILITY_INVENTORY-v1.10.md` §"Cloud capabilities NOT re-verified".

 **Regression gate.** `bash scripts/run_regression.sh` re-runs all 16
 auto-verifiable capabilities and fails closed on any non-Verified result.
@@ -340,7 +344,7 @@ plan-JSON policies + pipeline wiring (REQ-300,301,302), meta-policies
 (REQ-303), regression-gate policies (REQ-304,305), docs + adapter README
 (REQ-306,307), tests (REQ-308,309).

-## v1.26 — Live Pilot Estate Activation (active)
+## v1.26 — Live Pilot Estate Activation (complete, tag `v1.25.5`, merged to main 2026-08-19)

 > **Active milestone.** Feature milestone — the first real consumer estate
 > (a stock exchange on a homegrown PoA blockchain, equities only) is
@@ -421,14 +425,117 @@ already exist).
 - The consumer deploy MUST go through `deploy.yml@v1.25` — no direct
  `terraform apply` bypassing the platform's gates.

-### v1.26 phase status (live — see CHECKPOINT.json for the authoritative state)
+### v1.26 phase status (shipped — tag `v1.25.5` = the v1.26 release, merged to main 2026-08-19)

 - **P0** pre-execution (SPECIFY→CLARIFY→RESEARCH→IDEATE→PLAN→GRILL) — complete, tag `v1.25.0`.
 - **P1** blockchain-core (REQ-310,311,312) — complete, tag `v1.25.1`.
 - **P2** consumer-contract-and-deploy (REQ-313,314,322) — complete, tag `v1.25.2`.
- **P3** pilot-metrics-and-policies (REQ-315,316,317,318,319,320) — pending.
- **P4** pilot-run-and-docs (REQ-316,321) — pending.
- **P5** final review + audit + milestone ship — pending. Tag `v1.25.5` = the v1.26 release.
+- **P3** pilot-metrics-and-policies (REQ-315,316,317,318,319,320) — complete, tag `v1.25.3`.
+- **P4** pilot-run-and-docs (REQ-316,321) — complete, tag `v1.25.4` (live apply against `581513795199` succeeded; confidence 0.800 pass; outcome backfilled).
+- **P5** final review + audit + milestone ship — complete, tag `v1.25.5` = the v1.26 release (PROCEED; 0 P0 remain; audit CLEAN; merged to main).

 > Phase-by-phase task breakdown, wave ordering, and persona assignments
-> live in `.ciagent/PLAN.md` (the active phase plan, retained in full).
+> live in `.ciagent/PLAN.md` (the active phase plan, retained in full).
+> v1.26 pre-execution artifacts (CLARIFY/GRILL/IDEATE/RESEARCH) are in
+> git history (pre-v1.27-P0 commits); the v1.26 phase verifications +
+> review are archived at `.ciagent/archive/{VERIFY-P03,VERIFY-P04,REVIEW-AUDIT-P05}.md`.
+
+## v1.27 — PO State Catalog & Ciagent Compression (complete, tag `v1.26.3`, merged to main 2026-08-19)
+
+> **NFR milestone — complete.** STATE.md authored (32 CAPs, 11 invariants,
+> 10 domains). 8 outdated `.ciagent/` files archived (7 platform + 1
+> consumer). PROJECT.md + ROADMAP.md v1.26 phase-status corrected.
+> STATE.md wired into P-final ship discipline. Tags: `v1.26.0` (P0) →
+> `v1.26.1..v1.26.2` (P1..P2) → `v1.26.3` (P3 final = milestone release).
+> Review: 0 P0. Audit: reconstruction PASS, file/branch/commit discipline CLEAN.
+> Full phase detail: `.ciagent/archive/` (v1.27 artifacts) + git history.
+
+## v1.28 — CLI Canonicalization + Identity Layer (active)
+
+> **Feature milestone — active.** The Nova CLI becomes installable from
+> internal PyPI (CodeArtifact), every `core/` module is reachable as a
+> `nova <subcommand>`, the CLI and Lambda functions share a single
+> `core/` source tree, and Nova owns its identity layer end-to-end
+> (sign-up through token vending) with no AWS-managed identity services
+> in the path. Nova-idp is introduced: two Lambda functions (`nova-idp-auth`,
+> `nova-idp-token-vend`), KMS-signed OIDC tokens, ABAC-gated token vending
+> via the existing kyverno-json engine (INV-4 swappable), and PAT
+> lifecycle (issuance, revocation, status).
+>
+> Tags run on the **v1.27.x** line: `v1.27.0` (P0) → `v1.27.1..v1.27.N`
+> (execution phases) → `v1.27.(N+1)` (final phase = milestone release).
+> Milestone branch: `milestone/v1.28-cli-identity`.
+
+### v1.28 ID allocations (re-mapped — no collisions with shipped history)
+
+- **Decisions:** `D-226..D-231` (authored in CLARIFY). Repo decision
+  namespace is `D-NNN` (max D-225); no `D-NEW-*` namespace exists.
+- **Requirements:** `REQ-323..REQ-353` (31 REQs, mapping the spec's
+  REQ-001..REQ-031 1:1). Max existing REQ = REQ-322.
+- **Capabilities:** `CAP-033..CAP-038` (mapping the spec's CAP-025..CAP-030).
+  Existing CAP-025..032 are blockchain/pilot — collision avoided.
+- **Invariants:** `INV-12..INV-17` (mapping the spec's INV-63,64,65,18..21,34).
+  Max existing INV = INV-11.
+- **`kj` engine → kyverno-json.** The spec references a `kj` engine; the
+  repo's actual policy engine is `kyverno-json` (INV-4 swappable). v1.28
+  uses kyverno-json as the ABAC evaluator for token-vend; no new `kj`
+  engine is built. This is a CLARIFY-grounded re-mapping, not a silent
+  assumption (D-229).
+
+### v1.28 Requirements
+
+New requirements REQ-323..REQ-353 — full text in
+`.ciagent/REQUIREMENTS.md` §v1.28. Summary by priority:
+
+- **P1 — CLI Substrate (REQ-323..REQ-328):** CodeArtifact wheel + Lambda
+  layer pipeline; CLI subcommand per `core/` module; `nova init`
+  scaffolding; `nova cli-action` published to GitHub + Gitea;
+  `mode_resolver.py` (flag → env → credential type → TTY); audit
+  emission with `mode` + `selection_reason`.
+- **P2 — Lambda Packaging + Identity Layer (REQ-329..REQ-344):** dual-use
+  `core/lambda/contract_ingestor.py`; local env synthesizer; JWS signing
+  key from PAT; `nova-idp-auth` Lambda (Argon2id, DynamoDB); DynamoDB
+  tables (`nova-users`, `nova-sessions`, `nova-password-resets`);
+  `nova-idp-token-vend` Lambda (KMS-signed OIDC, JWKS endpoint); kyverno-json
+  ABAC policy at `platform/abac/token-vend.policy`; `nova idp setup`
+  (`--check/--apply/--verify`); CloudFormation review; PAT issuance +
+  hashes in DynamoDB; `nova auth login/revoke/status`.
+- **P3 — Documentation (REQ-345..REQ-347):** operator guide for
+  `nova idp setup`; developer guide for `nova auth login`; identity-layer
+  threat model.
+- **P4 — Integration Testing (REQ-348..REQ-351):** E2E sign-up → sign-in →
+  token-vend → apply → audit; property tests for `mode_resolver`; KMS
+  round-trip test; PAT revocation SLO test (≤60s P95).
+- **P5 — Capability Gate (REQ-352..REQ-353):** CAP-033..038 verification
+  gates wired into CI.
+
+### v1.28 Hard constraints
+
+- DO NOT depend on Cognito, IAM Identity Center, or any AWS-managed
+  identity service for sign-up/sign-in/token-vending (NFR-5). Nova-idp
+  signs OIDC tokens directly via KMS. (Note: no Cognito exists in the
+  repo today — this is a greenfield build, not a "Cognito drop".)
+- DO NOT build a new `kj` engine — use kyverno-json (INV-4).
+- DO NOT enforce MFA/TOTP for prod/dr this milestone — ship the code path,
+  enforce in v1.21+ (deferred, INV scope).
+- DO NOT add WebAuthn/FIDO2, upstream IdP federation, or password breach
+  detection — deferred to v1.23+.
+- DO NOT add Lambda layer auto-update on `core/` changes — v1.18 ships
+  manual `nova layer update`; v1.19 adds CI-triggered auto-update.
+- The token-vend Lambda MUST evaluate the kyverno-json ABAC policy before
+  signing; allow/deny decisions MUST be emitted to the audit stream
+  (NFR-9, D-227).
+- `nova idp setup --apply` MUST present the CloudFormation template for
+  review before any resource is created (NFR-10).
+
+### v1.28 phase status (active — phase 0 in progress)
+
+- **P0** pre-execution (SPECIFY→CLARIFY→RESEARCH→PLAN→GRILL→MVP/UX) — in
+  progress, target tag `v1.27.0`.
+- **P1..PN** execution phases — planned in PLAN.md.
+- **P(N+1)** final review + audit + milestone ship — target tag
+  `v1.27.(N+1)` = the v1.28 release.
+
+> Phase-by-phase task breakdown, wave ordering, and persona assignments
+> will live in `.ciagent/PLAN.md`. Authoritative resume state:
+> `.ciagent/CHECKPOINT.json`.
@@ -290,13 +290,315 @@
 | REQ-313 | P2 | complete (v1.25.2) |
 | REQ-314 | P2 | complete (v1.25.2) |
 | REQ-315 | P3 | complete (v1.25.3) |
-| REQ-316 | P3 + P4 | complete (v1.25.3 — CAP-025; P4 live-verify pending) |
+| REQ-316 | P3 + P4 | complete (v1.25.3 — CAP-025; v1.25.4 — live-verify complete) |
 | REQ-317 | P3 | complete (v1.25.3) |
 | REQ-318 | P3 | complete (v1.25.3) |
 | REQ-319 | P3 | complete (v1.25.3) |
 | REQ-320 | P3 | complete (v1.25.3) |
-| REQ-321 | P4 | pending |
+| REQ-321 | P4 | complete (v1.25.4) |

 Full v1.26 requirement text:
 `.ciagent/nova-blockchain-exchange/REQUIREMENTS.md`. Active phase plan:
-`.ciagent/PLAN.md`.
+`.ciagent/PLAN.md`.
+
+## v1.28 — CLI Canonicalization + Identity Layer (active)
+
+> **Feature milestone — active.** The Nova CLI is installable from
+> internal PyPI (CodeArtifact); every `core/` module is reachable as a
+> `nova <subcommand>`; the CLI and Lambda functions share a single
+> `core/` source tree; and Nova owns its identity layer end-to-end
+> (Nova-idp: `nova-idp-auth` + `nova-idp-token-vend` Lambdas, KMS-signed
+> OIDC tokens, kyverno-json ABAC token vending, PAT lifecycle). No
+> AWS-managed identity services in the path.
+>
+> Tags run on the **v1.27.x** line: `v1.27.0` (P0) →
+> `v1.27.1..v1.27.N` → `v1.27.(N+1)` (final = milestone release).
+> Milestone branch: `milestone/v1.28-cli-identity`.
+>
+> **ID re-mapping (no collisions):** the source spec used `REQ-001..031`,
+> `CAP-025..030`, `INV-63/64/65/18..21/34`, `D-NEW-26/37..41`, and a `kj`
+> engine — none of which exist in this repo (CAP-025..032 and
+> INV-1..11 are already allocated to blockchain/pilot work; the policy
+> engine is kyverno-json, not `kj`). This file uses the re-mapped IDs:
+> `REQ-323..353`, `CAP-033..038`, `INV-12..17`, `D-226..231`. The 1:1
+> mapping is recorded in CLARIFY.md. Decisions D-226..D-231 are authored
+> in CLARIFY (full autonomy) — they are not pre-existing "locked inputs".
+
+### Decisions (locked in CLARIFY — full autonomy, load-bearing for v1.28)
+
+- **D-226 (Mode resolution priority):** flag → env (`NOVA_CLIENT_MODE`) →
+  credential type → TTY heuristic. Invalid env values are ignored + warned,
+  falling through to credential type. No silent fallbacks (NFR-1).
+- **D-227 (ABAC engine = kyverno-json):** the token-vend Lambda uses the
+  existing kyverno-json engine (INV-4 swappable) as the ABAC evaluator,
+  not a new `kj` engine. Policy at `platform/abac/token-vend.policy`.
+- **D-228 (Argon2id in Lambda):** `argon2-cffi` with bundled wheels; if
+  the C extension fails to load, fall back to the pure-Python
+  implementation; if both fail, document the Fargate migration path.
+- **D-229 (PAT revocation SLO):** strongly-consistent DynamoDB read on
+  every token-vend request; revocation takes effect within 60s P95 (NFR-4).
+- **D-230 (JWKS endpoint):** Lambda function URL behind a custom domain;
+  rate limiting at the DNS/CDN layer. API Gateway migration deferred to
+  v1.19+ if throttling requirements grow.
+- **D-231 (ABAC policy ownership + versioning):** Platform Security owns
+  `platform/abac/token-vend.policy`; changes require PR review; the
+  policy version (git SHA) is recorded in every token-vend audit event.
+
+### P1 — CLI Substrate
+
+#### REQ-323 — CodeArtifact wheel + Lambda layer pipeline
+**Journeys:** J3. **Priority:** High.
+**AC:** Given a merge to `main` affecting `core/`, when CI runs, then both
+the wheel and the Lambda layer are published to CodeArtifact with
+identical version strings; if either fails, the merge is rejected.
+
+#### REQ-324 — CLI subcommand per `core/` module
+**Journeys:** J3. **Priority:** High.
+**AC:** (1) Every module in `core/` has a corresponding `nova/<module>.py`
+subcommand. (2) Subcommand files are ≤ 50 lines and contain no business
+logic — they delegate to `core/`. (3) CAP-034 verifies delegation by AST
+scan.
+
+#### REQ-325 — `nova init` scaffolds project
+**Journeys:** J2. **Priority:** High.
+**AC:** Given a directory with no `.nova/`, when Dev runs `nova init`,
+then `.nova/`, `.nova/contract.yml.attestations/`, and `.gitignore`
+(excluding secrets) are created.
+
+#### REQ-326 — `nova cli-action` published
+**Journeys:** J3. **Priority:** High.
+**AC:** (1) Action is available on both GitHub and Gitea marketplaces.
+(2) Integration test verifies byte-identical behavior on both platforms.
+(3) Python 3.12 is pinned.
+
+#### REQ-327 — `mode_resolver.py` priority
+**Journeys:** J2, J3. **Priority:** High.
+**AC:** (1) Explicit `--mode=agent|interactive` flag always wins.
+(2) Otherwise `NOVA_CLIENT_MODE` env var. (3) Otherwise credential type
+default. (4) Otherwise TTY heuristic. (5) Property tests cover all four
+levels. (6) INV-13 (mode determinism) enforced at PR time.
+
+#### REQ-328 — Audit emission with mode + selection_reason
+**Journeys:** J3. **Priority:** High.
+**AC:** Given any CLI invocation, when the CLI runs, then the emitted
+`cli.invocation` audit event contains `mode`, `selection_reason`,
+`credential_type`, `command`, and `args`. INV-12 (mode observability)
+enforced.
+
+### P2 — Lambda Packaging + Identity Layer
+
+#### REQ-329 — Dual-use Lambda/CLI import
+**Journeys:** J2. **Priority:** High.
+**AC:** Given `core/lambda/contract_ingestor.py`, when imported from the
+Lambda handler, then it executes the Lambda path; when imported from the
+CLI, then it executes the local path; and the two paths share ≥ 80% of
+their code.
+
+#### REQ-330 — Local env synthesizer
+**Journeys:** J2. **Priority:** High.
+**AC:** Given a contract and a `--local` flag, when `nova apply --local`
+runs, then a local env is synthesized via `core/env.py:get_env()` without
+provisioning cloud resources.
+
+#### REQ-331 — Attestations directory scaffolded
+**Journeys:** J2. **Priority:** High.
+**AC:** Given `nova init` ran, when Dev lists
+`.nova/contract.yml.attestations/`, then the directory exists and is empty.
+
+#### REQ-332 — JWS signing key from PAT
+**Journeys:** J2. **Priority:** High.
+**AC:** Given a PAT, when Dev runs `nova apply --local --sign-local-review`,
+then a JWS attestation is produced; the JWS is HMAC-SHA256 with a key
+derived from the PAT via `HKDF-SHA256(PAT_bytes, salt='nova-local-attestation',
+info='jws-signing-key')` → 32-byte symmetric key (C-5.2 grill fix). The
+verification key is derived from the PAT via the same KDF (the PAT is
+the shared secret). INV-14..17 (attestation invariants) enforced.
+
+#### REQ-333 — `nova-idp-auth` Lambda
+**Journeys:** J1, J2. **Priority:** High.
+**AC:** (1) Lambda exposes sign-up, sign-in, and session creation
+endpoints. (2) Passwords are hashed with Argon2id. (3) Sessions are
+stored in DynamoDB. (4) CAP-036 verifies end-to-end auth flow.
+
+#### REQ-334 — Argon2id password hashing
+**Journeys:** J1, J2. **Priority:** High.
+**AC:** Given a sign-up request, when the user record is persisted, then
+the password is stored as an Argon2id hash; raw passwords never appear in
+logs, traces, environment variables, or DynamoDB records.
+
+#### REQ-335 — DynamoDB tables for identity
+**Journeys:** J1. **Priority:** High.
+**AC:** (1) Tables exist: `nova-users`, `nova-sessions`,
+`nova-password-resets`. (2) Tables are provisioned by `nova idp setup`.
+(3) Point-in-time recovery is enabled on each.
+
+#### REQ-336 — `nova-idp-token-vend` Lambda
+**Journeys:** J1, J2, J4. **Priority:** High.
+**AC:** (1) Lambda accepts a PAT (or session token) and returns a
+KMS-signed OIDC token. (2) Token claims include `sub`, `aud`, `iss`,
+`exp`, and role claims. (3) ABAC policy is evaluated before signing.
+
+#### REQ-337 — KMS-signed OIDC tokens
+**Journeys:** J1, J4. **Priority:** High.
+**AC:** (1) Signing key is a KMS asymmetric key (RSA or ECDSA).
+(2) Token signature is verifiable via the JWKS endpoint. (3) KMS
+round-trip test passes. CAP-037 verifies.
+
+#### REQ-338 — JWKS endpoint as Lambda function URL
+**Journeys:** J1, J4. **Priority:** High.
+**AC:** Given the identity stack is deployed, when a client GETs the JWKS
+URL, then the public key(s) for token verification are returned with
+`Content-Type: application/json`.
+
+#### REQ-339 — kyverno-json ABAC policy file
+**Journeys:** J1, J4. **Priority:** High.
+**AC:** (1) Policy at `platform/abac/token-vend.policy`. (2) Policy inputs
+include subject, requested claims, target resource, and environment.
+(3) kyverno-json `evaluate` returns allow/deny; the decision is emitted to
+the audit stream.
+
+#### REQ-340 — `nova idp setup` walks admin
+**Journeys:** J1. **Priority:** High.
+**AC:** (1) Command supports `--check`, `--apply`, and `--verify` modes.
+(2) `--check` reports missing prerequisites and the required IAM policy.
+(3) `--apply` generates a CloudFormation template and requires explicit
+approval. (4) `--verify` runs the KMS round-trip test.
+
+#### REQ-341 — CloudFormation template for review
+**Journeys:** J1. **Priority:** High.
+**AC:** Given `nova idp setup --apply`, when the template is generated,
+then the template is presented for review; resources are not created until
+the operator approves; `--dry-run` shows the resource list without writing.
+
+#### REQ-342 — PAT issuance via portal
+**Journeys:** J4. **Priority:** High.
+**AC:** (1) PAT is a signed JWT. (2) PAT hash is stored in DynamoDB.
+(3) PAT includes a unique `jti` and an expiry claim. (4) Revocation marks
+the `jti` as revoked.
+
+#### REQ-343 — PAT hashes in DynamoDB
+**Journeys:** J4. **Priority:** High.
+**AC:** (1) Only the hash (not the raw PAT) is stored. (2) Table supports
+lookup-by-hash and lookup-by-`jti`. (3) Revoked PATs are retained for
+audit, not deleted.
+
+#### REQ-344 — `nova auth` commands
+**Journeys:** J2, J4. **Priority:** High.
+**AC:** (1) `nova auth login` exchanges session → OIDC token, stores
+locally. (2) `nova auth revoke --pat <id>` marks a PAT revoked.
+(3) `nova auth status` shows current credential, mode, and
+selection_reason. (4) All commands emit audit events.
+
+### P3 — Documentation
+
+#### REQ-345 — Operator guide for `nova idp setup`
+**Priority:** High.
+**AC:** Guide published covering `--check`, `--apply`, `--verify`,
+prerequisite IAM policy, and the CloudFormation review flow.
+
+#### REQ-346 — Developer guide for `nova auth login`
+**Priority:** High.
+**AC:** Guide published covering signup, signin, login, mode resolution,
+and credential-type behavior at a TTY vs. piped stdout.
+
+#### REQ-347 — Identity-layer threat model
+**Priority:** High.
+**AC:** Threat model published covering Argon2id storage, KMS signing,
+JWKS exposure, PAT revocation SLO, ABAC token vending, and the no-AWS-
+managed-identity constraint (NFR-5).
+
+### P4 — Integration Testing
+
+#### REQ-348 — E2E integration test
+**Priority:** High.
+**AC:** Given a deployed Nova-idp, when the test runs, then sign-up →
+sign-in → token-vend → apply → audit completes successfully; the audit
+event chain is verifiable.
+
+#### REQ-349 — Property tests for `mode_resolver`
+**Priority:** High.
+**AC:** (1) Property tests cover all four priority levels. (2) Edge cases:
+TTY but piped stdout, missing credential, conflicting flag/env, invalid
+env value. (3) INV-13 enforced via test.
+
+#### REQ-350 — KMS round-trip test
+**Priority:** High.
+**AC:** Given a token signed by the token-vend Lambda, when the test
+fetches the JWKS and verifies the signature, then verification succeeds.
+
+#### REQ-351 — PAT revocation SLO test
+**Priority:** High.
+**AC:** Issue PAT → use to vend token → revoke → assert denial within 60s
+P95. Test passes in CI.
+
+### P5 — Capability Gate
+
+#### REQ-352 — CAP-033..038 gate rules wired into CI
+**Priority:** High.
+**AC:** (1) CAP-033 (CLI subcommand surface exists): `nova --help` lists a
+subcommand for every `core/` module. (2) CAP-034 (subcommand delegates to
+`core/`): every `nova/<module>.py` ≤ 50 lines, no business logic, AST
+scan. (3) CAP-035 (layer matches wheel): Lambda layer ARN version matches
+the `nova-cli` wheel version. (4) CAP-036 (Nova-idp auth flow works): E2E
+test (REQ-348) passes. (5) CAP-037 (token-vend signs via KMS): KMS
+round-trip (REQ-350) passes. (6) CAP-038 (PAT issuance + revocation):
+REQ-351 passes. Failure of any → merge blocked.
+
+#### REQ-353 — Capability gate GREEN for v1.28 release
+**Priority:** High.
+**AC:** CAP-001..CAP-032 remain Verified; CAP-033..CAP-038 are Verified.
+All v1.28 release-gate criteria in PLAN.md §6 met.
+
+### v1.28 Invariants (new — INV-12..INV-17)
+
+- **INV-12 (Mode observability):** Every CLI invocation emits a
+  `cli.invocation` audit event containing `mode`, `selection_reason`,
+  `credential_type`, `command`, and `args`.
+- **INV-13 (Mode resolution determinism):** Resolution priority is
+  flag → env (`NOVA_CLIENT_MODE`) → credential type → TTY. No silent
+  fallbacks. Deviations rejected at PR time.
+- **INV-14 (Credential type encodes role):** `developer_pat` /
+  `nova_oidc_token` + TTY present → `interactive`; TTY absent → `agent`.
+- **INV-15 (No AWS-managed identity in path):** Nova-idp MUST NOT depend
+  on Cognito, IAM Identity Center, or any AWS-managed identity service.
+- **INV-16 (Password storage):** Passwords hashed with Argon2id; raw
+  passwords never in logs/traces/env/DynamoDB.
+- **INV-17 (ABAC discipline):** The token-vend Lambda evaluates the
+  kyverno-json ABAC policy before signing; allow/deny + policy inputs
+  emitted to the audit stream.
+
+### v1.28 Traceability (live — see CHECKPOINT.json for authoritative state)
+
+| REQ | Phase | Status |
+|-----|-------|--------|
+| REQ-323 | P1 | planned |
+| REQ-324 | P1 | planned |
+| REQ-325 | P1 | planned |
+| REQ-326 | P1 | planned |
+| REQ-327 | P1 | planned |
+| REQ-328 | P1 | planned |
+| REQ-329 | P2 | planned |
+| REQ-330 | P2 | planned |
+| REQ-331 | P2 | planned |
+| REQ-332 | P2 | planned |
+| REQ-333 | P3 | planned |
+| REQ-334 | P3 | planned |
+| REQ-335 | P3 | planned |
+| REQ-336 | P4 | planned |
+| REQ-337 | P4 | planned |
+| REQ-338 | P4 | planned |
+| REQ-339 | P4 | planned |
+| REQ-340 | P4 | planned |
+| REQ-341 | P4 | planned |
+| REQ-342 | P4 | planned |
+| REQ-343 | P4 | planned |
+| REQ-344 | P4 | planned |
+| REQ-345 | P5 | planned |
+| REQ-346 | P5 | planned |
+| REQ-347 | P5 | planned |
+| REQ-348 | P5 | planned |
+| REQ-349 | P5 | planned |
+| REQ-350 | P5 | planned |
+| REQ-351 | P5 | planned |
+| REQ-352 | P6 | planned |
+| REQ-353 | P6 | planned |
@@ -1,250 +1,336 @@
-# Nova — v1.26 Research Findings
+# Nova — v1.28 Research Findings

-> Phase: research (pre-execution). Milestone: v1.26 (Live Pilot Estate
-> Activation). Status: research. Researcher: ci-researcher.
+> Phase: research (pre-execution). Milestone: v1.28 (CLI Canonicalization
+> + Identity Layer). Status: research. Researcher: ci-researcher.
 > Autonomy: full.
+>
+> Research delegated to the ci-researcher subagent (full domain/ecosystem
+> research with web citations). This file is the curated summary; the
+> full 868-line research document is preserved in git history (the
+> subagent's task output). Key findings + recommendations are below.

 ---

-## 1. Domain — Homegrown PoA Blockchain for Securities Settlement
+## §1 — Codebase Inventory (grounding)

-### 1.1 Why a homegrown chain (not Ethereum/Solana/Hyperledger)
+### 1.1 `core/` modules (the REQ-324 subcommand surface)

-The pilot's purpose is to exercise the Nova platform's deploy/policy/
-attestation gates over a real consumer estate — not to build a
-production blockchain. A homegrown PoA ledger is the minimal viable
-chain: append-only blocks, single validator (pilot), SHA-256 hash chain,
-deterministic block production. It records every order, match, and
-settlement as transactions; settlement finality = block commit. This
-is sufficient to demonstrate that Nova's policy engine (kyverno-json)
-can assert settlement finality declaratively (REQ-315) and that the
-Decision Ledger captures the apply decision.
+19 Python files under `core/` (plus `core/lambda/`, `core/metrics/`).
+Two already have `_cli.py` companions (`contract_resolver_cli.py` 40
+lines, `regression_verify_cli.py` 32 lines) — the thin-delegate
+precedent for `nova/<module>.py`. **No `nova/` dir, no `bin/`, no
+`[project.scripts]` entry exists today.** The CLI is greenfield.

-A production chain (Ethereum/Solana/Hyperledger) would be the *consumer
-app's* choice, not the platform's. The platform is chain-agnostic — it
-deploys whatever the consumer's `contract.yaml` declares. For the pilot,
-the homegrown chain is the simplest way to produce a real consumer
-estate without a heavyweight external dependency.
+### 1.2 Existing Lambda pattern (`core/lambda/contract_ingestor.py`)

-### 1.2 PoA consensus — single validator (pilot)
+521 lines. Function URL + IAM auth (D-051). DynamoDB via lazy
+module-global `boto3.resource`. Secrets Manager for tokens. Schema
+validation in-Lambda. **`__main__` block already does CLI dispatch**
+(`--check-readiness` → `core.submission_readiness.cli_main`) — this is
+the dual-use precedent for REQ-329. Local testing via
+`core/local_emulators.py:LocalLambdaStub`.

-Proof-of-Authority with a single validator is the minimal consensus
-model: the validator proposes + commits blocks. No Byzantine fault
-tolerance (single validator = no forks). Deterministic block
-production: same ordered transactions → same block (same hash). This
-makes the chain auditable (the hash chain is verifiable) and
-reproducible (a replay produces the same chain). Multi-validator BFT
-is a future milestone (D-201).
+### 1.3 `core/env.py` — getter, not synthesizer

-### 1.3 T+1 settlement finality
+31 lines. `get_env(name, default)` reads `NOVA_<name>` from `os.environ`.
+**REQ-330 needs a NEW `synthesize_local_env()` function** added here.
+The closest existing pattern is `core/onboarding.py:generate_env_file()`.

-Equities settle T+1 (trade date + 1 business day). The pilot's
-settlement service records matches as transactions on the chain; a
-settlement is final when its block is committed. The settlement-finality
-kyverno-json policy (REQ-315) asserts `all_committed: true` before any
-promotion (qa→prod) — the declarative gate that turns settlement
-finality into a policy artifact. This is the securities-specific
-extension of v1.25's policy engine: the same `KyvernoJsonEngine`
-evaluates a policy over a new payload shape (settlement-service status
-JSON).
+### 1.4 `PolicyEngine` Protocol + `KyvernoJsonEngine` (the ABAC substrate)

-### 1.4 Equities-only scope (D-200)
+`core/policy_engine.py`: `PolicyEngine` Protocol with `evaluate(payload,
+policy_dir, contract_id) -> list[dict]`. `KyvernoJsonEngine` shells to
+`kj scan --policy <dir> --payload <file> --output json`. Policy shape =
+`ValidatingPolicy` (`apiVersion: json.kyverno.io/v1alpha1`) with
+`spec.rules[].assert.all[].check` using JMESPath. Severity from
+`metadata.annotations["nova.cloudinit.dev/severity"]`. **The payload
+can be ANY JSON** — not just contracts (the v1.25 design point). This
+is what makes kyverno-json usable for ABAC token vending (D-227).

-Bonds (T+2), derivatives (varying), and options (exercise models) have
-different settlement models. A pilot should demonstrate the Nova
-platform's gates over the simplest case (equities T+1) before
-expanding. "All types of securities" is the product vision; v1.26 is
-the pilot (equities first). Future milestones add other security types
-with their settlement models.
+### 1.5 `pyproject.toml` state
+
+name `nova`, version `1.14.0`, requires-python `>=3.10` (spec wants
+3.12 — bump needed for REQ-326). setuptools build backend. No
+`[project.scripts]`, no `[tool.setuptools.packages.find]` — both needed.
+Deps: `boto3`, `jsonschema`, `pyyaml`. No `argon2-cffi`, `cryptography`,
+`pyjwt`, `click`/`typer` — **argparse-only** is the repo convention.
+
+### 1.6 Forge conventions
+
+`.github/workflows/` + `.gitea/workflows/` kept byte-identical. Python
+3.12 already pinned via `actions/setup-python@v5`. No composite action
+exists yet — `nova cli-action` (REQ-326) is greenfield.
+
+### 1.7 IAM baseline (load-bearing for REQ-340)
+
+`.ciagent/IAM_POLICY.md` + `terraform/bootstrap/spike_runner_policy.json`.
+The `nova-spike-runner` principal already has KMS (incl. `CreateKey`,
+`Sign`, `GetPublicKey`), Lambda (incl. `PublishLayerVersion`), DynamoDB
+grants. **New grants needed:** `cloudformation:*` (for `nova idp setup
+--apply`) + `codeartifact:*` (for the wheel publish pipeline). Flagged
+for P1/P2.

 ---

-## 2. Nova Consumer Deploy Model
+## §2 — CodeArtifact + Lambda Layer Pipeline (REQ-323)

-### 2.1 The reusable `deploy.yml@v1.25` workflow
+**Recommendation:** single CI job on merge to `main` affecting
+`core/**`/`adapters/**`/`nova/**`/`pyproject.toml`. Build wheel
+(`python -m build --wheel`) → `twine upload` to CodeArtifact → build
+layer (`pip install --target layer/python/ dist/nova-*.whl argon2-cffi
+cryptography pyjwt`) → `aws lambda publish-layer-version` → record
+version mapping in SSM `/nova/layer/nova-cli/version` (CAP-035). If
+either publish fails, the job fails (merge blocked, REQ-323 AC).

-The platform's `.github/workflows/deploy.yml` is a `workflow_call` —
-a reusable workflow that a consumer repo invokes via
-`uses: acdl/.github/workflows/deploy.yml@v1.25`. Inputs: `contract`
-(default `.nova/contract.yml`), `mode` (default `full`; enum
-`full|plan-only|check-only|decommission`), `environment` (override).
-The workflow checks out the consumer repo + the platform repo, runs
-`scripts/run_platform.sh`, and records the apply decision +
-attestation in the Decision Ledger. Secrets: `NOVA_AWS_*`
-(account + access key + secret) + `NOVA_LAMBDA_URL` (error reporting).
+**Atomicity:** wheel publish is idempotent (pin version to
+`<semver>+<sha7>`); layer publish retries on failure. CAP-035 reads the
+SSM parameter to verify layer-version ↔ wheel-version match.

-The pilot consumer (`nova-blockchain-exchange`) invokes this workflow
-with `mode: full` for `dev` (D-209). The `.gitea/workflows/deploy.yml`
-mirror is byte-identical (the platform's deploy workflow is
-forge-agnostic — Gitea + GitHub).
-
-### 2.2 `run_platform.sh --apply` path (confirmed)
-
-`scripts/run_platform.sh:431-455` — the `--apply` (or `mode: full`)
-path runs `terraform apply -auto-approve` after the HITL gate
-(`:438`). For `dev` (autonomous, no HITL gate), the apply proceeds
-directly. The apply records the env via `core/env_transition.py record`
-(`:450`). The full pipeline (no `--apply` flag) continues to Step 7
-(confidence signal) + Step 8 (outbox write).
-
-**Gap (noted in RESEARCH §4):** the `--apply` path exits before the
-outbox write (Step 8). The pilot runs the full pipeline (not `--apply`
-alone), so the outbox write happens. The `run.completed` event lands in
-the JSONL Decision Ledger (not the DynamoDB outbox) — this is by design
-(the outbox is the platform-run evidence stream; the Decision Ledger is
-the cold store for metrics).
-
-### 2.3 Contract schema — multi-module manifest
-
-`schemas/contract.schema.json:7,24-48` — required fields: `id`,
-`name`, `environment`, `infrastructure`. The `infrastructure` block is
-`minProperties: 1` with `patternProperties` accepting any module name
-key. Multi-module manifest is supported: one contract can declare
-`infrastructure: { microservice: {...}, dynamodb: {...}, s3: {...} }`.
-The constraint is the `modules/registry.json` (the module must be
-registered), not the schema.
+**Risks:** CodeArtifact not yet provisioned in `581513795199` (CLARIFY
+assumption #1); `codeartifact:*` grant missing. Fallback: Gitea-hosted
+wheel index. Layer `--compatible-architectures`: build x86_64 only for
+v1.28 (aarch64 only if Graviton Lambda needed).

 ---

-## 3. Platform Module Readiness (the critical finding)
+## §3 — CLI Subcommand Architecture (REQ-324)

-### 3.1 The adapter is stateless (v1.11 rewrite)
+**Recommendation:** three-layer. `nova/__init__.py` (marker) →
+`nova/cli.py` (~80 lines, auto-discovers `nova/<module>.py` via
+`pkgutil.iter_modules`, dispatches, emits `cli.invocation` audit event)
+→ `nova/<module>.py` (≤50 lines each, exports `add_parser(subparsers)`
+ `run(args) -> int`, delegates to `core/`). Entry point:
+`[project.scripts] nova = "nova.cli:main"`. **argparse-only** (no
+click/typer — repo convention).

-`adapters/terraform/adapter.py:1-11` — the adapter is a "STATELESS
-ASSEMBLER" that owns no module content. There is **no `TYPE_MAP`**,
-`INPUT_MAP`, or `OUTPUT_MAP` (deleted in the v1.11 stateless rewrite;
-`modules/STANDARDS.md:212-214` confirms). A new stack type requires a
-new L1 module (`modules/l1/<name>/` with `interface.json` +
-`terraform/main.tf` + `README.md` + `instance.json`) + a
-`modules/registry.json` entry — not an adapter change.
+**CAP-034 AST scan:** ≤50 lines; ≤3 function defs; every `ast.Call`
+resolves to a `core.` import; no conditionals beyond `if __name__`.

-### 3.2 ECS — ready
+**Subcommand groups:** `nova auth`, `nova idp`, `nova metrics` =
+nested subparsers (same pattern, one level deeper).

-`modules/l1/ecs-service/terraform/main.tf:1,11` —
-`aws_ecs_task_definition` + `aws_ecs_service`. `interface.json:5-6` —
-`type: aws:ecs:task_definition`. `registry.json:29-37` — registered.
-Tests: `test_adapter.py:164-185,257-360`, `test_contract_resolver.py:61-92`.
-The `microservice` L2 (`modules/l2/microservice/composition.json`)
-references 6 L1 children (ecs-cluster, ecr, iam-role, alb, ecs-service,
-kms-key) — the ECS pattern is fully wired end-to-end.
-
-### 3.3 S3 — ready
-
-`modules/l1/s3/terraform/main.tf:1` — `aws_s3_bucket` (+ versioning +
-SSE). `interface.json:5-6` — `type: aws:s3:bucket`. `registry.json:2-10`
-— registered. Tests: `test_adapter.py:56-110,241-257`,
-`test_contract_resolver.py:36-51,92-130`.
-
-### 3.4 DynamoDB — GAP (REQ-322)
-
-**No `modules/l1/dynamodb/` directory, no `registry.json` key, no
-`interface.json`, no `terraform/`, no tests.** The blockchain exchange's
-ledger table needs this primitive. REQ-322 authors it: `interface.json`
-(stack type `aws:dynamodb:table`), `terraform/main.tf`
-(`aws_dynamodb_table` with PK + optional SK, `PAY_PER_REQUEST` default,
-encryption + PITR enabled per v1.8 NFR defaults), `README.md`,
-`instance.json`, + `registry.json` entry. The adapter needs no change
-(stateless); the contract's `infrastructure.dynamodb` block references
-this primitive. This is the single platform-side module build-out for
-the milestone.
-
-### 3.5 Stale doc (not a blocker)
-
-`adapters/README.md:49-54` references the deleted `TYPE_MAP`/
-`INPUT_MAP`/`OUTPUT_MAP` — contradicts `adapter.py:1-11` +
-`modules/STANDARDS.md:212-214`. REQ-321 (docs) should fix this.
+**setuptools:** add `[tool.setuptools.packages.find]` including `nova`,
+`nova.*`, `core`, `core.*`, `adapters.*`.

 ---

-## 4. Metric Pipeline Grounding (Post-Pilot targets)
+## §4 — Argon2id in Lambda Python 3.12 (REQ-334, D-228)

-### 4.1 AI Decision Accuracy — outcome backfill (REQ-317)
+**Findings:** `argon2-cffi-bindings` v25.1.0 ships `cp39-abi3`
+manylinux x86_64 + aarch64 wheels — **ABI-stable, compatible with
+Python 3.9..3.13**. Lambda Python 3.12 runs Amazon Linux 2023 (glibc
+2.34 ≥ 2.28 required). **The abi3 manylinux wheel loads cleanly.**
+Confidence: 0.92.

-`core/metrics/decision_ledger.py:210-211` documents the event chain:
-`confidence.computed → ai.decision.made → attestation.recorded →
-run.completed/failed`. `collector.py:262` inserts `fact_decision.outcome`
-as `"pending"` — **there is no outcome-backfill step** wiring
-`run.completed`/`run.failed` back into `fact_decision.outcome`. The AI
-Decision Accuracy metric (`trust_snapshot.py:70-85`, `_get_ai_decision_accuracy`)
-reads `decisions WHERE outcome='succeeded' ÷ total` — so it reads 0%
-today (all pending). REQ-317 adds `core/metrics/outcome_backfill.py`
-that reads run-manifest events and updates `fact_decision.outcome` +
-`fact_decision.backfilled_at`. The PCR schema is unchanged (D-211).
+**D-228 AMENDMENT:** the "pure-Python fallback" clause is **weaker than
+stated** — there is no maintained pure-Python Argon2 implementation. A
+pure-Python crypto fallback is a **liability** (weaker hashing,
+violates INV-16's spirit). Revised recommendation:
+1. **Primary:** bundled manylinux abi3 wheel in the `nova-cli` Lambda
+   layer. Works. Confidence 0.92.
+2. **Fallback:** detect `ImportError` at Lambda cold-start → **fail
+   closed** (503, refuse sign-ups). The Lambda health check reports
+   C-extension status. **Do NOT ship a pure-Python fallback.**
+3. **Escape hatch:** Fargate (~1 week, per CLARIFY Q1).

-### 4.2 Human Escalation Frequency — `reason='confidence'` tag (REQ-318)
-
-`core/confidence_signal.py:184` — a `block` band sets
-`human_override=True` in the `ai.decision.made` event.
-`run_platform.sh:636` fails the pipeline on `block`. The Human
-Escalation Frequency metric (`docs/metrics/human_escalation_frequency.md:11-12`)
-is defined as `count(runs WHERE hitl_block=1 AND reason='confidence') ÷
-total runs`. The `reason='confidence'` discriminator is **not currently
-stored** — `hitl_block` is a boolean from the manifest. REQ-318 adds
-`escalation_reason: 'confidence'` to the `ai.decision.made` event when
-`band == 'block'` + persists it into `fact_run` via the collector.
-
-### 4.3 Touchless Resolution Rate — denominator activates post-pilot
-
-`docs/metrics/touchless_resolution_rate.md:12-15` — defined as a SQL
-query over `fact_run` (`runs WHERE hitl_block=0 ÷ total runs`). The data
-lands in `fact_run.hitl_block` via `collector.py:216-227`. No dedicated
-emitter computes the ratio — it's a downstream query. The denominator
-is 0 today (no consumer runs). The pilot run activates the denominator.
+Lambda memory ≥ 512 MB (Argon2id memory_cost ~20 MB + overhead).

 ---

-## 5. kyverno-json Policy Extensibility
+## §5 — KMS Asymmetric Signing for OIDC Tokens (REQ-337)

-`adapters/kyverno-json/kyverno_json_engine.py:74-80` — the engine is
-**policy-dir agnostic**: it loads whatever subdir the caller passes.
-Existing subdirs: `contract/`, `stack-ir/`, `plan-json/`, `meta/`,
-`regression/`. Adding a new subdir (e.g. `pilot-readiness/`,
-`settlement-finality/`) requires: (1) `mkdir
-adapters/kyverno-json/policies/<name>/`, (2) drop `ValidatingPolicy`
-YAML/JSON files, (3) wire a caller. No engine code change needed.
-Test pattern: one test file per subdir (`tests/test_<name>_policies.py`).
+**Recommendation: key spec = `ECC_NIST_P256`, alg = `ECDSA_SHA_256`
+(JWS `ES256`).** RSA-2048 is larger + slower; P-256 is RFC 7518's
+recommended JWT alg. Signature size 64 bytes (vs RSA 256). JWKS
+compactness matters (fetched often).

-The pilot adds two new policy subdirs: `pilot-readiness/`
-(REQ-320, no-placeholder-account) + `settlement-finality/` (REQ-315,
-all-matches-committed). Both follow the established pattern.
+**The #1 gotcha:** KMS returns DER-encoded ECDSA signatures; **JWS
+requires raw r‖s concatenation** (RFC 7515 §3.1.3). The token-vend
+Lambda converts via `cryptography.hazmat.primitives.asymmetric.utils.
+decode_dss_signature` → `r.to_bytes(32) + s.to_bytes(32)`. ~5 lines.
+Flagged for the threat model (REQ-347) + KMS round-trip test (REQ-350).
+
+**Flow:** validate PAT → ABAC eval → build JWT header/payload →
+`kms.sign(Message=signing_input, MessageType="RAW", SigningAlgorithm=
+"ECDSA_SHA_256")` → DER→raw → JWT. `kid` = KMS key alias.
+
+**Verification:** use `pyjwt` (`jwt.decode` handles JWK→key natively);
+`cryptography` only for SPKI→JWK in the JWKS Lambda.
+
+**Rotation:** manual, 90 days (matches D-069 CMK cadence). New key +
+re-point alias + JWKS serves both `kid`s during overlap.

 ---

-## 6. Env-JSON Wiring Reconciliation (REQ-319)
+## §6 — JWKS Endpoint (REQ-338, D-230)

-`core/environments/dev.json:4` — `account_id: "000000000000"` (placeholder).
-`core/environment_check.py:48-53` warns (non-fatal) when account_id is
-placeholder + env != dev. `adapters/terraform/adapter.py:116-117` —
-computes the state bucket as `nova-tfstate-<AWS_ACCOUNT_ID>-us-east-1`
-from the `AWS_ACCOUNT_ID` env var, **not** from the env JSON's
-`state_backend.bucket`. This is the wiring gap: the env JSON's
-`state_backend` field is currently unused by the live apply path.
-REQ-319 makes the adapter read `env.state_backend.bucket` when present
-(falling back to the computed name for backwards compat) + updates
-`dev.json` to the real account `581513795199` + real bucket
-`nova-tfstate-581513795199-us-east-1`.
+**D-230 confirmed.** Lambda function URL (`AuthType: NONE` — JWKS is
+public-key only) + reserved concurrency 10 (max 100 RPS, JWKS is
+cached client-side). `Cache-Control: max-age=3600`. Separate tiny
+`nova-idp-jwks` Lambda (separation of concerns).
+
+**Custom domain + WAF = OPTIONAL** via `--public-jwks-domain <domain>`
+flag on `nova idp setup`. Without it, raw function URL (acceptable for
+v1.28 pilot). With it: CloudFront + ACM + WAF rate-based rule (>100
+req/5min per IP) + Route53 ALIAS. Adds ~8 CloudFormation resources.
+
+**Defer API Gateway** (D-230) — $3.50/M + complexity for no benefit at
+v1.28 volume.

 ---

-## 7. Risk Analysis
+## §7 — kyverno-json ABAC Policy (REQ-339, D-227)

-| Risk | Likelihood | Impact | Mitigation |
-|---|---|---|---|
-| `NOVA_AWS_*` key lacks a needed IAM permission mid-pilot | Low (bootstrap succeeded → root-equivalent) | High (blocks apply) | D-207; the key has root-equivalent perms (empirically confirmed). |
-| DynamoDB primitive takes longer than expected (new module) | Medium | Medium | REQ-322 is the single platform-side build-out; the `s3`/`rds` primitives are the template — straightforward. |
-| Homegrown chain has a correctness bug (hash chain breaks) | Low | High | REQ-310 tests cover chain integrity, hash determinism, genesis, append/verify. |
-| `deploy.yml@v1.25` ref doesn't resolve (floating tag) | Low | High | The platform's `release.yml` creates + force-moves the `v1.25` + `v1` floating tags on merge to main. The pilot contract uses `@v1.25`. |
-| Settlement-finality policy false-negatives (blocks a valid promotion) | Medium | Medium | REQ-315 tests cover passing + failing fixtures; the policy is skip-when-kj-absent (graceful). |
-| D-083 deferral challenged (audit ledger not tamper-evident) | Low | Low | D-204; the SQLite hash-chain + DynamoDB outbox is the pilot's audit record. Tamper-evidence is a future milestone. |
+**D-227 confirmed.** Policy at `platform/abac/token-vend.policy` =
+`ValidatingPolicy` with JMESPath checks against a payload of
+`{subject, requested_claims, target_resource, environment, pat_jti,
+policy_version}`. Decision logic: any `fail` PCR with severity
+`critical` → deny (403 + audit); all pass → allow → KMS sign.
+
+**`policy_version` (D-231):** git SHA of the policy file, baked into
+the Lambda layer, recorded in every `token.vend.allowed/denied` audit
+event.
+
+**BIGGEST PACKAGING RISK:** the token-vend Lambda needs the `kj` Go
+binary (~40 MB) on PATH. Bundle it in the `nova-cli` Lambda layer
+(`wget` the Linux amd64 release into `layer/bin/kj`). `KyvernoJsonEngine
+.is_configured()` checks `which kj` → `/opt/bin/kj` (layer mount). P2
+spike confirms it runs in AL2023 Lambda. Fallback: Fargate. Confidence
+0.75 — needs the spike.

 ---

-## 8. Persona Assessment
+## §8 — PAT Lifecycle (REQ-342, REQ-343, REQ-344)

-See `PERSONAS.md` (next section, produced by the lead-developer at the
-end of RESEARCH). The active roster: backend-engineer (blockchain core
-+ settlement + outcome backfill), data-engineer (DynamoDB primitive +
-metrics cold store), policy-engineer (kyverno-json policies), +
-blockchain-engineer (custom, phase-specific — chain consensus, order
-matching, settlement finality). frontend-engineer is deactivated (no
-UI in the pilot).
+**PAT = signed JWT** (KMS-signed, `typ: "developer_pat"` distinguishes
+from `nova_oidc_token` per INV-14). Claims: `iss, sub, typ, jti, iat,
+exp, roles, owner`.
+
+**`nova-pats` DynamoDB table** (4th table): PK=`jti`, GSI1=`sub` (list
+PATs for user), GSI2=`pat_hash` (lookup by hash). Only the hash stored
+(not raw PAT). Revoked PATs retained for audit.
+
+**Revocation (D-229 CLARIFIED):** GSIs don't support strongly-consistent
+reads. The token-vend Lambda extracts `jti` from the PAT JWT (decode
+without verifying — signature verified separately) →
+`GetItem(PK=jti, ConsistentRead=True)` on the main table. Satisfies the
+60s SLO. Confidence 0.90.
+
+**CLI:** `nova auth login` (session→OIDC token, store locally),
+`nova auth revoke --pat <jti>`, `nova auth status` (active credential,
+mode, selection_reason). Local file `~/.nova/credentials.json` (0600,
+never to stdout, in `.gitignore`). "Most recent wins" (D-226 Q5) =
+`active_credential_jti` field.
+
+---
+
+## §9 — `nova idp setup` CloudFormation (REQ-340, REQ-341)
+
+**Template (raw dict → JSON, no troposphere dep):** 2-3 Lambdas, 4
+DynamoDB tables (`nova-users`, `nova-sessions`, `nova-password-resets`,
+`nova-pats`), KMS key `alias/nova-oidc-signing` (ECC_NIST_P256),
+function URLs, IAM roles, optional CloudFront/WAF/ACM.
+
+**`--check`:** validates prerequisites (AWS creds, CFN perms, KMS perms,
+layer exists via CAP-035). Prints required IAM policy delta.
+**`--apply`:** generate → print to temp file + resource summary →
+`$PAGER` → `Apply? [y/N]` → `cloudformation deploy --capabilities
+CAPABILITY_IAM`. NFR-10 satisfied by the explicit prompt.
+**`--dry-run`:** resource list only, no write.
+**`--verify`:** runs the KMS round-trip test (REQ-350).
+
+**New IAM grants needed:** `cloudformation:*`, `iam:CreateRole`/`PassRole`,
+`lambda:CreateFunction`/`CreateFunctionUrlConfig`,
+`dynamodb:CreateTable`, `kms:CreateKey`/`CreateAlias`, `ssm:PutParameter`.
+
+---
+
+## §10 — GitHub + Gitea Marketplace Composite Action (REQ-326)
+
+**Single `action.yml`** at `.github/actions/nova-cli/action.yml`,
+referenced by both GitHub + Gitea via `uses: continuous-intelligence/
+acdl/.github/actions/nova-cli@v1.28`. Composite action: `setup-python@v5`
+(python 3.12) → CodeArtifact login + `pip install nova` → `nova
+${{ inputs.command }}`. `NOVA_CLIENT_MODE` env from input.
+
+**Byte-identical test (REQ-326 AC2):** CI matrix runs the action on
+GitHub `ubuntu-latest` + Gitea `act_runner` with same inputs; assert
+same stdout/exit code.
+
+**Risk:** Gitea `actions/checkout`/`setup-python` may need Gitea
+mirrors (`https://gitea.com/actions/...`). P1 test on the actual Gitea
+instance. Confidence 0.70.
+
+---
+
+## §11 — `mode_resolver` Priority (REQ-327, D-226)
+
+**TTY detection: check `sys.stdin.isatty()`** (NOT stdout). Edge 3
+(`nova apply | tee log.txt`): stdout piped, stdin is TTY → user is
+present → `interactive` (correct). `sys.stdout.isatty()` would
+misresolve to `agent`. **`stdin` answers "is a human at a terminal?"**
+
+**Credential type detection:** read `~/.nova/credentials.json` →
+`active_credential_jti`'s `type` (`developer_pat`/`nova_oidc_token`).
+Both + TTY → `interactive`; + no TTY → `agent` (INV-14).
+
+**Property tests (REQ-349):** `hypothesis` with strategies for
+flag/env/cred/tty. Properties: deterministic (INV-13), flag-wins,
+invalid-env-ignored, no-silent-fallback (every resolution has a
+non-empty `selection_reason`).
+
+**`mode_resolver.py` lives in `core/`** (not `nova/`) so Lambdas could
+import it, but **it's CLI-only** — the token-vend Lambda doesn't resolve
+modes.
+
+---
+
+## §12 — Persona Assessment
+
+See `.ciagent/PERSONAS.md` for the full YAML roster. Summary:
+- **Deactivate** frontend-engineer (no UI) + data-engineer (no data
+  pipelines in v1.28).
+- **Activate** backend-engineer (Lambda/DynamoDB/KMS/CodeArtifact) +
+  lead-developer (plan/review/ship).
+- **Add** security-engineer (Argon2id/KMS/ABAC/threat model) +
+  cli-engineer (subcommand surface/mode_resolver/argparse/CAP-034).
+
+---
+
+## §13 — Architecture Sketch (ARCHITECTURE.md §12.10)
+
+See `.ciagent/ARCHITECTURE.md` §12.10 (appended this stage). New
+greenfield files: `nova/` CLI package, `platform/abac/token-vend.policy`,
+`core/mode_resolver.py`, `core/env.py:+synthesize_local_env()`,
+`core/lambda/nova_idp_{auth,token_vend,jwks}.py`, `tests/test_*`,
+`docs/{operator-guide-idp,developer-guide-auth,threat-model}.md`.
+
+---
+
+## Decisions re-validated / amended
+
+| Decision | Status | Change |
+|---|---|---|
+| D-226 | re-validated + refined | `sys.stdin.isatty()` is the TTY check (not stdout) |
+| D-227 | re-validated | `kj` Go binary bundled in Lambda layer — packaging risk flagged |
+| D-228 | **amended** | Pure-Python fallback → fail-closed + Fargate (pure-Python crypto is a liability) |
+| D-229 | re-validated + clarified | Strong read on main table PK (`jti`), not GSI (GSIs don't support strong reads) |
+| D-230 | re-validated | CloudFront/WAF/ACM made optional via `--public-jwks-domain` flag |
+| D-231 | re-validated | `policy_version` (git SHA) in the ABAC payload |
+
+**New recommendations for PLAN/GRILL to formalize (no D-ID yet):**
+- KMS key spec = `ECC_NIST_P256`, alg `ES256`; DER→raw ECDSA conversion required.
+- `nova-cli` Lambda layer bundles the `kj` Go binary (~40 MB).
+- `nova-pats` = 4th DynamoDB table; PK=`jti`, GSI1=`sub`, GSI2=`pat_hash`.
+- `sys.stdin.isatty()` is the TTY heuristic.
+- `[project.scripts] nova = "nova.cli:main"`; argparse-only.
+- `cloudformation:*` + `codeartifact:*` = new IAM baseline grants (P1/P2).
+
+---
+
+## RESEARCH complete
+
+All 11 research questions answered with cited findings + concrete
+recommendations + risks. D-228 amended (fail-closed, not pure-Python
+fallback). The `kj` binary packaging is the highest-risk item (P2
+spike). Next: PLAN.
@@ -81,6 +81,19 @@
  before building the new env). New `core/env_transition.py` module.
  15 requirements (REQ-276..290), 4 phases.

+- **v1.27:** complete (tag `v1.26.3`) — PO State Catalog & Ciagent
+  Compression. NFR milestone. Authored `.ciagent/STATE.md` (PO-facing
+  capability catalog, 32 CAP rows + 11 invariants across 10 domains,
+  backfilled through v1.26). Archived 7 platform-root files + 1
+  consumer file to `.ciagent/archive/` (CAPABILITY_INVENTORY,
+  REVIEW-AUDIT-P05, VERIFY-P03, VERIFY-P04, P4-PILOT-RUN-EVIDENCE,
+  AUTONOMY_THESIS, COST + nova-blockchain-exchange/ROADMAP). Fixed
+  PROJECT.md + ROADMAP.md v1.26 phase-status (P3/P4/P5 → complete).
+  Wired STATE.md into the P-final ship discipline (PLAN.md, ROADMAP.md,
+  NORTH_STAR.md). Active `.ciagent/` root: 15 .md (was 25) + 1 json + 1
+  checkpoint. 3 phases (P0 pre-execution + P1 author-archive + P2
+  fix-stale-wire + P3 final-review-ship). No REQ-NNN (NFR).
+
 > **Full v1.0–v1.24 phase detail, wave ordering, success criteria, and
 > decision cross-references:** `.ciagent/archive/ROADMAP-v1.0-v1.24.md`.

@@ -173,12 +186,15 @@ final). Tags: `v1.24.0` (P0) → `v1.24.5` (P5 = milestone release).
  summary; delete all milestone branches.
 - Updated `REQUIREMENTS.md` (mark REQ-291..309 complete), `ROADMAP.md`
  (mark v1.25 complete), `NORTH_STAR.md` (note Strategic Objective #2 —
-  provable trust via a replaceable policy-engine substrate).
+  provable trust via a replaceable policy-engine substrate),
+  `STATE.md` (append v1.25 capability rows — note: STATE.md was authored
+  in v1.27 with the v1.25 capabilities backfilled; the v1.25 ship did
+  not update STATE.md because STATE.md did not yet exist).
 - **Requirements:** REQ-291..309 (19 requirements).

 ---

-## v1.26 (active, tag line `v1.25.x`): Live Pilot Estate Activation
+## v1.26 (complete, tag `v1.25.5` = the v1.26 release, merged to main 2026-08-19): Live Pilot Estate Activation

 `D-096` lifts. The first real consumer estate — a stock exchange on a
 homegrown Proof-of-Authority blockchain (equities only, single
@@ -235,7 +251,7 @@ REQ-315..322), 3 deferred. Adversarial grill: PROCEED 0.84.
 - Cross-cutting: `v1.25` floating tag → `v1.25.0` (Phase 0 ship) on the
  platform repo.

-### Phase P3 — pilot-metrics-and-policies (planned, tag v1.25.3)
+### Phase P3 — pilot-metrics-and-policies (complete, tag v1.25.3)
 - REQ-315: `adapters/kyverno-json/policies/settlement-finality.json` —
  kyverno-json policy asserting all matches in the promotion window have
  committed blocks (securities-specific). Authored + tested in v1.26;
@@ -258,7 +274,7 @@ REQ-315..322), 3 deferred. Adversarial grill: PROCEED 0.84.
 - REQ-320: `adapters/kyverno-json/policies/pilot-readiness/no-placeholder-account.json`
  — declarative gate preventing apply against a placeholder account.

-### Phase P4 — pilot-run-and-docs (planned, tag v1.25.4)
+### Phase P4 — pilot-run-and-docs (complete, tag v1.25.4)
 - REQ-321: `adapters/README.md` (new consumer row) +
  `docs/METRICS.md` (Post-Pilot metrics grounded note) +
  `.ciagent/ARCHITECTURE.md` §12.8 (Pilot Estate) +
@@ -269,7 +285,7 @@ REQ-315..322), 3 deferred. Adversarial grill: PROCEED 0.84.
  events land in the Decision Ledger; the regression gate (CAP-025)
  verifies the round-trip.

-### Phase P5 — final review + audit + milestone ship (Final Phase, planned, tag v1.25.5)
+### Phase P5 — final review + audit + milestone ship (Final Phase, complete, tag v1.25.5 = the v1.26 release)
 - Multi-persona code review across P1..P4 (lead-developer, backend-
  engineer, data-engineer, policy-engineer, blockchain-engineer).
  Auto-fix P0; flag P1+.
@@ -281,7 +297,8 @@ REQ-315..322), 3 deferred. Adversarial grill: PROCEED 0.84.
  full milestone summary; delete all milestone branches.
 - Update `REQUIREMENTS.md` (mark REQ-310..322 complete), `ROADMAP.md`
  (mark v1.26 complete), `NORTH_STAR.md` (note Strategic Objectives #1
-  + #3 — first real consumer estate; Post-Pilot denominators activated).
+  + #3 — first real consumer estate; Post-Pilot denominators activated),
+  `STATE.md` (append v1.26 capability rows; bump "Last milestone ship").

 > **Phase task-level breakdown, wave ordering, and persona
 > assignments:** `.ciagent/PLAN.md` (the active phase plan, retained in
@@ -0,0 +1,286 @@
+# Nova — System State (what exists today)
+
+> **PO-owned catalog of shipped capabilities.** Updated at every milestone
+> ship (P final). Additive only — entries are appended, never rewritten,
+> unless a capability is explicitly deprecated (then marked, not deleted).
+> Read by the PO upstream of the PDLC before authoring new REQ-NNN specs,
+> and by CIAgent at SPECIFY for capability awareness.
+>
+> **Authority:** this file is *descriptive of shipped state*, not
+> authoritative for live phase/ship state — that's `CHECKPOINT.json`. For
+> *why*, read `NORTH_STAR.md`. For *how*, read `ARCHITECTURE.md`. For
+> *what was decided*, read `PROJECT.md` load-bearing decisions.
+>
+> **Last milestone ship:** v1.27 (`v1.26.3`, 2026-08-19) — PO State Catalog
+> & Ciagent Compression NFR milestone. No new capabilities this
+> milestone (NFR); v1.27 authored this file + compressed `.ciagent/`.
+> **Next update:** at v1.28 ship.
+
+## How to use this file (PO)
+
+- Before writing a new REQ: search this file for the capability you
+  intend to spec. If it exists, extend it; do not re-spec it under a new
+  REQ-NNN.
+- Respect the **Invariants** below — they are load-bearing and
+  cross-cutting. A new REQ that violates an invariant requires a
+  `CLARIFY` decision recorded in PROJECT.md.
+- Anchor each new REQ to a **Domain**; new domains require a PO
+  decision recorded in CLARIFY.
+- When a capability is deprecated (replaced, removed, or
+  re-architecture), append a `Deprecated` row marking the milestone +
+  replacement; do not delete the original entry.
+
+## Invariants (PO-owned — do not violate in new REQs)
+
+> Distilled from `PROJECT.md` load-bearing decisions D-034..D-072 +
+> W1..BA + Q1.3. Cite the decision ID when an REQ touches one.
+
+- **INV-1 (Contract surface):** The only PDLC→Nova boundary is
+  `schemas/contract.schema.json` + `schemas/submission-readiness.schema.json`
+  (D-133). All consumer intent enters through one of these. Nova never
+  reaches into upstream PDLC.
+- **INV-2 (Confidence inputs):** Six canonical inputs — policy (0.30),
+  validation (0.25), freshness (0.10), source (0.15), history (0.10),
+  nfrs (0.10). Weights frozen for v1 (D-040). `critical` severity =
+  hard-block via `PENALTY["critical"]: None` (defense-in-depth behind the
+  declarative `block-on-any-critical` meta-policy).
+- **INV-3 (HITL gates):** dev = autonomous (≥0.50); qa = HITL (≥0.75);
+  prod = HITL (≥0.90); dr = HITL (≥0.95). Approver identity = Gitea
+  `gitea.actor` of the `workflow_dispatch` (D-042). Separation-of-duties
+  on prod reads `approver_qa` from the DynamoDB outbox.
+- **INV-4 (Engine is swappable):** The policy engine is behind the
+  `PolicyEngine` protocol (`core/policy_engine.py`, v1.25). Confidence
+  signal + pipeline import only the protocol, never a concrete engine.
+  `kyverno-json` is the v1.25 default; `OPA` (or other) implements the
+  same 3-method protocol to replace it.
+- **INV-5 (Adapter is stateless):** `adapters/terraform/adapter.py` owns
+  no module content — no `TYPE_MAP`/`INPUT_MAP`/`OUTPUT_MAP` (v1.11
+  rewrite). A new stack type requires a new L1 module
+  (`modules/l1/<name>/`) + `registry.json` entry, not an adapter change.
+- **INV-6 (Audit stream is immutable):** Outbox writes via SQLite
+  hash-chain today (D-083 deferred). S3 Object Lock / JWS tamper-
+  *resistant* ledger is a future milestone. Current stream is tamper-
+  *evident* (any tampering breaks the chain).
+- **INV-7 (PCR schema is the moat):** `schemas/policy_check_result.schema.json`
+  shape is frozen across adapter swaps (v1.25 hard constraint). The
+  `engine` enum already includes `"kyverno"` + `"opa"`; new engines add
+  no enum value.
+- **INV-8 (Long-lived creds forbidden):** §12.5. The D-039/D-047 per-run-
+  rotated-key waiver satisfies the *intent* (no *persistently* long-lived
+  key). Real OIDC federation is blocked on `go-gitea/gitea#36988`.
+- **INV-9 (Two consumer surfaces, one platform):** L3A (developer) +
+  L3B (citizen dev) converge on the same contract schema, the same
+  policy envelope, and the same evidence stream.
+- **INV-10 (Nova is downstream of PDLC):** Nova governs infra + delivery
+  only. Product backlog, code authorship, IDE workflows, application
+  business logic are upstream. Integration only via the validated
+  contract boundary (INV-1).
+- **INV-11 (Pilot scope, v1.26):** Equities only (D-200). Single-
+  validator PoA (D-201). D-083 (Object Lock/JWS) stays deferred. Hot
+  path deferred (D-126). Multi-cloud deferred. Multi-validator BFT
+  deferred. The pilot runs `mode: full` for `dev` only (D-209); qa/prod/dr
+  stay placeholder (D-208, blocked by the pilot-readiness policy).
+
+## Domains (capability groups)
+
+1. Contract surface
+2. Modules (L1 primitives + L2 patterns)
+3. Policy engine
+4. Confidence signal
+5. Environments & promotion
+6. Evidence stream & audit
+7. Telemetry & metrics
+8. Consumer surfaces (developer + agentic)
+9. Pilot estate (v1.26)
+10. Forge / CI runtime
+
+## Capabilities (additive — one row per shipped capability)
+
+> Tier: **local** = runs via emulating adapters (no AWS); **live-aws** =
+> runs against the live AWS account `581513795199`;
+> **lifecycle-pipeline** = verified via the `modules-lifecycle`
+> pipeline's apply→modify→destroy matrix cell.
+> CAP-NNN IDs cross-reference the regression gate at
+> `core/regression_verify.py` (the machine registry). This file is the
+> PO-facing narrative; the machine registry is the source of truth for
+> the gate.
+
+### Domain 1 — Contract surface
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-001 | `contract.schema.json` validates sample contracts | v1.1 / `v1.2.0` | `schemas/contract.schema.json` | REQ-001, D-... | local | shape: id/name/environment/infrastructure |
+| CAP-002 | `environment.schema.json` validates env files | v1.9 / `v1.9.0` | `schemas/environment.schema.json` | REQ-040 | local | dev/qa/prod/dr env JSONs |
+| CAP-006 | Contract interpolation expands `${env.*}` / `${contract.*}` | v1.9 / `v1.9.0` | `core/contract_resolver.py` | REQ-040 | local | per-env variants |
+| — | Submission-readiness gate (superset of contract schema) | v1.18 / `v1.18.0` | `schemas/submission-readiness.schema.json`, `core/submission_readiness.py` | REQ-217, REQ-218, D-133 | local | the only PDLC→Nova boundary (INV-1) |
+
+### Domain 2 — Modules (L1 primitives + L2 patterns)
+
+> Source: `modules/registry.json` (the authoritative module catalog).
+> STATE.md lists the *capability* of having a registered module;
+> registry.json is the live registry.
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-003 | contract_resolver resolves `static-assets` (L2) | v1.1 / `v1.2.0` | `core/contract_resolver.py`, `modules/l2/static-assets/` | REQ-003 | local | CloudFront+WAF+S3 pattern |
+| CAP-004 | contract_resolver resolves `microservice` (L2) | v1.2 / `v1.3.0` | `core/contract_resolver.py`, `modules/l2/microservice/` | REQ-004 | local | ECS Fargate pattern (6 L1 children) |
+| CAP-005 | Terraform adapter compiles resolved stack to `.tf` | v1.1 / `v1.2.0` | `adapters/terraform/adapter.py` | REQ-005 | local | stateless assembler (v1.11); emits `module "<rid>" { source }` blocks |
+| — | L1 `s3` primitive | v1.1 / `v1.2.0` | `modules/l1/s3/` | REQ-005 | lifecycle | versioning + SSE-KMS by default |
+| — | L1 `vpc` primitive | v1.1 / `v1.2.0` | `modules/l1/vpc/` | REQ-005 | lifecycle | shared platform VPC (v1.11) |
+| — | L1 `ecs-cluster` primitive | v1.1 / `v1.2.0` | `modules/l1/ecs-cluster/` | REQ-005 | lifecycle | |
+| — | L1 `ecs-service` primitive | v1.1 / `v1.2.0` | `modules/l1/ecs-service/` | REQ-005 | lifecycle | execution_role_arn + task_role_arn wired (P4 W1 fix, v1.26) |
+| — | L1 `iam-role` primitive | v1.1 / `v1.2.0` | `modules/l1/iam-role/` | REQ-005 | lifecycle | |
+| — | L1 `alb` primitive | v1.1 / `v1.2.0` | `modules/l1/alb/` | REQ-005 | lifecycle | requires SG wire (P4 W1 fix, v1.26) |
+| — | L1 `ecr` primitive | v1.1 / `v1.2.0` | `modules/l1/ecr/` | REQ-005 | lifecycle | |
+| — | L1 `cloudfront` primitive | v1.7 / `v1.7.0` | `modules/l1/cloudfront/` | REQ-049, D-049 | lifecycle | OAC + WAF (production edge) |
+| — | L1 `waf` primitive | v1.7 / `v1.7.0` | `modules/l1/waf/` | REQ-049, D-049 | lifecycle | |
+| — | L1 `rds` primitive | v1.7 / `v1.7.0` | `modules/l1/rds/` | REQ-059, D-059 | lifecycle | multi-engine input (postgres/mysql/...) |
+| — | L1 `kms-key` primitive | v1.8 / `v1.8.0` | `modules/l1/kms-key/` | REQ-069, D-069 | lifecycle | per-stack CMK; 90-day rotation |
+| — | L1 `uptime` primitive | v1.8 / `v1.8.0` | `modules/l1/uptime/` | REQ-066, D-066 | lifecycle | uptime-kuma on ECS Fargate |
+| — | L1 `dynamodb` primitive | v1.26 / `v1.25.2` | `modules/l1/dynamodb/` | REQ-322 | local | PK + optional SK; PAY_PER_REQUEST; encryption + PITR by default (v1.8 NFRs) |
+| CAP-013 | `terraform init+validate+plan` live AWS (microservice) | v1.2 / `v1.3.0` | `adapters/terraform/adapter.py` | REQ-013 | live-aws | 14 resources; plan saved |
+| CAP-014 | `terraform init+validate+plan` live AWS (static-assets) | v1.7 / `v1.7.0` | `adapters/terraform/adapter.py` | REQ-014 | live-aws | CloudFront+WAF+S3 plan OK |
+| CAP-017 | DynamoDB `nova-contracts` table | v1.7 / `v1.7.0` | `core/lambda/`, `terraform/` | REQ-068, D-068 | lifecycle | PK `changeRequestId`, SK `submittedAt` (CMDB) |
+| CAP-018 | Lambda contract-ingestor | v1.7 / `v1.7.0` | `core/lambda/contract_ingestor.py` | REQ-051, D-051 | lifecycle | local stub + lifecycle evidence |
+| CAP-019 | ECS cluster + service (L2 microservice) | v1.7 / `v1.7.0` | `modules/l2/microservice/` | REQ-066 | lifecycle | apply/modify/destroy exit 0 |
+| CAP-020 | CloudFront + WAF production stack | v1.7 / `v1.7.0` | `modules/l2/static-assets/` | REQ-049 | lifecycle | apply/modify/destroy exit 0 |
+| CAP-021 | uptime-kuma monitoring primitive | v1.8 / `v1.8.0` | `modules/l1/uptime/` | REQ-066 | lifecycle | |
+| CAP-022 | OIDC role for act_runner | v1.11 / `v1.11.0` | `terraform/bootstrap/` | REQ-116, D-039 | lifecycle | real OIDC blocked on go-gitea/gitea#36988 |
+
+### Domain 3 — Policy engine
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| — | `PolicyEngine` Protocol + `PolicyEngineRegistry` | v1.25 / `v1.24.1` | `core/policy_engine.py` | REQ-291, REQ-292 | local | selects engine from `config.json.policy.engine`; `NullEngine` fallback when key absent |
+| — | `KyvernoJsonEngine` adapter (shells to `kj scan`) | v1.25 / `v1.24.1` | `adapters/kyverno-json/kyverno_json_engine.py` | REQ-293, REQ-294 | local | `is_configured()` guards on `which kj`; `SKIPPED` PCR when absent |
+| — | Contract policies (4) over consumer contract JSON | v1.25 / `v1.24.2` | `adapters/kyverno-json/policies/contract/` | REQ-295, REQ-296 | local | id-pattern, env-enum, infra-min-1, forbid-unknown-fields |
+| — | Stack-IR policies (3) over resolved Target Stack IR | v1.25 / `v1.24.2` | `adapters/kyverno-json/policies/stack-ir/` | REQ-297, REQ-298, REQ-299 | local | tagging-standard, public-ingress, encryption-by-default |
+| — | Plan-JSON policies (3) over `terraform show -json` | v1.25 / `v1.24.3` | `adapters/kyverno-json/policies/plan-json/` | REQ-300, REQ-301, REQ-302 | local | plaintext-secrets, iam-wildcard, kms-reference |
+| — | Meta-policies over merged PCR list | v1.25 / `v1.24.3` | `adapters/kyverno-json/policies/meta/` | REQ-303 | local | `block-on-any-critical` (declarative critical-block); `tagging-rules-agree` (Checkov↔kj agree) |
+| — | Regression-gate policies (3) over capability-inventory JSON | v1.25 / `v1.24.4` | `adapters/kyverno-json/policies/regression/` | REQ-304, REQ-305 | local | declarative mirrors of CAP-013/023/024 imperative checks |
+| — | Pilot-readiness policy (no placeholder account) | v1.26 / `v1.25.3` | `adapters/kyverno-json/policies/pilot-readiness/no-placeholder-account.json` | REQ-320 | local | fail-closed gate; blocks apply on `account_id == "000000000000"` |
+| — | Settlement-finality policy | v1.26 / `v1.25.3` | `adapters/kyverno-json/policies/settlement-finality/all-matches-committed.json` | REQ-315 | local | authored + tested; enforcement deferred to milestone that binds qa/prod/dr (D-208) |
+| — | Checkov adapter (raw-finding source) | v1.7 / `v1.7.0` | `adapters/terraform/checkov_adapter.py` | REQ-053 | local | feeds meta-policies; `NOVA_TAG_NAMING` custom rule is the TF-static source of truth |
+| — | Wiz adapter (raw-finding source) | v1.7 / `v1.7.0` | `adapters/wiz/` | REQ-053 | local | API findings; `is_configured()` guard |
+| — | K8s Kyverno adapter (documentation-only) | v1.7 / `v1.7.0` | `adapters/kyverno/` | REQ-053, D-053 | local | inactive for Terraform-only stacks; activates when GitOps emits K8s manifests |
+
+### Domain 4 — Confidence signal
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-007 | `confidence_signal.compute` returns a band | v1.1 / `v1.2.0` | `core/confidence_signal.py` | REQ-007, D-040 | local | 6 inputs (INV-2); band ∈ {pass, block} |
+| — | `escalation_reason: 'confidence'` on `band == 'block'` | v1.26 / `v1.25.3` | `core/confidence_signal.py` | REQ-318 | local | grounds Human Escalation Frequency numerator |
+
+### Domain 5 — Environments & promotion
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| — | env-JSON `state_backend` wiring | v1.26 / `v1.25.3` | `core/environments/*.json`, `adapters/terraform/adapter.py` | REQ-319, D-... | local | adapter reads `env.state_backend.bucket` (fallback to computed name) |
+| — | Environment progression (dev autonomous → qa/prod/dr HITL) | v1.1 / `v1.2.0` | `core/env_transition.py`, `core/hitl_gates.py` | REQ-042, D-042 | local | destroy-on-environment-change (v1.24) |
+| — | Decommission mode (2-step, HITL SRE gates) | v1.8 / `v1.8.0` | `core/env_transition.py`, `scripts/run_platform.sh` | REQ-070, D-070 | local | `mode: decommission` requires `changeRequestId` |
+| — | Per-env mandatory metadata (W3.E) | v1.1 / `v1.2.0` | `schemas/submission-readiness.schema.json` | W3.E | local | dev=stack+env; qa+=e2e+load; prod+=runbook+dashboard+oncall; dr+=drDrillRef |
+
+### Domain 6 — Evidence stream & audit
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-008 | outbox_writer builds a hash-chained item | v1.1 / `v1.2.0` | `core/outbox_writer.py` | REQ-008 | local | tamper-evident (INV-6); tamper-resistant deferred (D-083) |
+| CAP-015 | DynamoDB outbox table exists + describable | v1.1 / `v1.2.0` | `core/outbox_writer.py` | REQ-015 | live-aws | `nova-outbox` (post-v1.26 re-bootstrap) |
+| CAP-016 | S3 state bucket exists + readable | v1.1 / `v1.2.0` | `terraform/bootstrap/` | REQ-016 | live-aws | `nova-tfstate-581513795199-us-east-1` |
+| — | Decision Ledger (SQLite hash-chain) | v1.17 / `v1.17.0` | `core/metrics/decision_ledger.py` | REQ-185, REQ-186 | local | cold store for metrics; `ai.decision.made` + `attestation.recorded` events |
+| — | SSM Parameter Store deploy outputs (SecureString, KMS) | v1.7 / `v1.7.0` | `core/output_publisher.py` | REQ-050, D-050 | live-aws | `/acdl/{env}/{contractId}/{output_name}` |
+| — | GitHub PR comment / job summary deploy outputs | v1.7 / `v1.7.0` | `scripts/run_platform.sh` | REQ-050, D-050 | local | no raw secrets in logs |
+| — | Uniform error reporting via Lambda `report_error` | v1.7 / `v1.7.0` | `core/lambda/contract_ingestor.py` | REQ-055, D-055 | live-aws | GitHub issue on platform repo `acdl/acdl`; idempotent |
+| — | Tagging standard enforcement (4 required tags) | v1.7 / `v1.7.0` | `schemas/tagging-standard.json`, `adapters/terraform/policy/custom_rules/nova_tagging.py` | REQ-054, D-054 | local | `nova:owner`, `nova:contract`, `nova:environment`, `nova:cost-center` |
+| — | Encryption + deletion-protection by default | v1.8 / `v1.8.0` | `modules/l1/*/terraform/main.tf` | REQ-062, REQ-069, D-062, D-069, D-072 | local | per-stack CMK; managed KMS fallback for standalone L1 (D-072) |
+
+### Domain 7 — Telemetry & metrics
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-023 | metrics collector runs + emits expected schema | v1.17 / `v1.17.0` | `core/metrics/collector.py` | REQ-194 | local | fact_run, fact_decision, fact_attestation dims |
+| CAP-024 | unified deck structure (slide count, x3 arc, per-slide benefits) | v1.17 / `v1.17.0` | `docs/presentations/nova-autonomous-cloud-delivery-marp.md` | REQ-194 | local | single source-of-truth marp deck |
+| — | Outcome backfill (`pending` → `succeeded`/`failed`) | v1.26 / `v1.25.3` | `core/metrics/outcome_backfill.py` | REQ-317 | local | idempotent + terminal; grounds AI Decision Accuracy |
+| — | Trust Snapshot | v1.17 / `v1.17.0` | `metrics/TRUST_SNAPSHOT.md`, `core/metrics/trust_snapshot.py` | REQ-194 | local | leadership-ready trust verdict |
+| — | PowerBI export (fact/dimension views + 8 placeholder views) | v1.17 / `v1.17.0` | `metrics/powerbi/` | REQ-194 | local | deferred metrics ship as documented-schema placeholders |
+| — | Pre-apply Infracost estimate | v1.17 / `v1.17.0` | `scripts/run_platform.sh` | REQ-119 | local | `nova.cost.estimated`; actual-spend CUR reconciliation deferred (D-096) |
+| — | Regression gate (`scripts/run_regression.sh`) | v1.10 / `v1.10.0` | `core/regression_verify.py`, `scripts/run_regression.sh` | REQ-090, REQ-121 | local | fails closed on any non-Verified CAP; CAP-001..025 |
+
+### Domain 8 — Consumer surfaces (developer + agentic)
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| — | Reusable deploy workflow (`deploy.yml@v1.25`) | v1.5 / `v1.5.0` | `.github/workflows/deploy.yml`, `.gitea/workflows/deploy.yml` | REQ-105 | local | `workflow_call`; modes: full/plan-only/check-only/decommission |
+| — | Consumer onboarding (developer + citizen-dev paths) | v1.1 / `v1.2.0` | `docs/ONBOARDING.md`, `docs/consumer-guide.md` | BA.E, W3.E | local | both end in a sandbox dev submission that must pass the confidence gate |
+| — | Atelier MCP server (agentic validation) | v1.18 / `v1.18.0` | `mcp/atelier/server.py` | REQ-221, REQ-222 | local | `atelier.validate_against_principles` tool |
+| — | 9 production-grade engineering skills | v1.18 / `v1.18.0` | `skills/{api,security,data,testing,observability,errors,devops,infrastructure-as-code,compliance}.md` | REQ-221, REQ-222, BA.A | local | indexed by `docs/skills.md`; review/agent-checklist.md gate |
+| — | Module examples (validated against contract schema) | v1.7 / `v1.7.0` | `modules/<name>/examples/{simple,complex}.yml` | REQ-058, D-058 | local | examples cannot drift from schema silently |
+
+### Domain 9 — Pilot estate (v1.26)
+
+> The first real consumer estate. `nova-blockchain-exchange` repo
+> (Gitea `continuous-intelligence/nova-blockchain-exchange`, local clone
+> `/root/nova-blockchain-exchange`). Homegrown PoA blockchain, equities
+> only, single validator, T+1 settlement finality = block commit.
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-026 | PoA blockchain core (block + ledger + validator) | v1.26 / `v1.25.1` | `chain/block.py`, `chain/ledger.py`, `chain/validator.py` | REQ-310, D-201 | local | single validator; SHA-256 hash chain; deterministic block production |
+| CAP-027 | Order-matching engine (limit order book) | v1.26 / `v1.25.1` | `engine/order_book.py`, `engine/order.py` | REQ-311 | local | price-time priority; partial fills |
+| CAP-028 | T+1 settlement service | v1.26 / `v1.25.1` | `settlement/service.py` | REQ-312 | local | idempotent; finality = block commit |
+| CAP-029 | Consumer `contract.yaml` (blockchain exchange) | v1.26 / `v1.25.2` | `nova-blockchain-exchange/contract.yaml`, `contracts/*.yml` | REQ-313 | local | per-env variants (dev/qa/prod); validated against contract schema |
+| CAP-030 | Consumer deploy via `deploy.yml@v1.25` (inline adapter) | v1.26 / `v1.25.2` | `nova-blockchain-exchange/.github/workflows/deploy.yml`, `.gitea/workflows/deploy.yml` | REQ-314 | local | no cross-repo `uses:` (SPEC §10 Q1); checkout `acdl/acdl @ v1.25` into `platform/`, run `run_platform.sh` |
+| CAP-025 | Live-pilot-apply regression capability (round-trip) | v1.26 / `v1.25.3` | `core/regression_verify.py` | REQ-316 | local | contract→adapter→plan→policy→confidence→attestation→outbox round-trip assertion |
+| CAP-031 | Live pilot apply evidence (`blkex-pilot-apply-v0.2`) | v1.26 / `v1.25.4` | `.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md` | REQ-316, REQ-321 | live-aws | confidence 0.800 pass; outcome backfilled; hash chain valid; live apply against `581513795199` |
+| CAP-032 | AWS key rotation scheduled workflow | v1.26 / `v1.25.3` | `workflows-src/rotate-aws-key.yml` | SPEC §5.9 | local | daily rotation; forge-agnostic token name (REQ-230) |
+
+### Domain 10 — Forge / CI runtime
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-009 | offline pytest suite passes | v1.1 / `v1.2.0` | `tests/` | REQ-009 | local | 844 tests (v1.26 baseline) |
+| CAP-010 | `run_ci.sh` reproduces CI pipeline locally | v1.4 / `v1.4.0` | `scripts/run_ci.sh` | REQ-010 | local | offline; contract→resolver→stack→adapter→structure validated |
+| CAP-011 | headline E2E — local tier (microservice) | v1.2 / `v1.3.0` | `scripts/run_local_e2e.sh` | REQ-011, D-092 | local | emulating adapters (no AWS) |
+| CAP-012 | local E2E — static-assets (no ECS) | v1.1 / `v1.2.0` | `scripts/run_local_e2e.sh` | REQ-012 | local | |
+| — | `platform-test.yml` CI workflow | v1.4 / `v1.4.0` | `.github/workflows/platform-test.yml` | REQ-010 | local | platform repo only (consumer CI is per-consumer) |
+| — | `modules-lifecycle` pipeline (apply→modify→destroy matrix) | v1.11 / `v1.11.0` | `.github/workflows/modules-lifecycle.yml` | REQ-121, D-096 | live-aws | per-module lifecycle cell; `ci-vpc-destroy` always runs |
+| — | `release.yml` (semver + floating tag maintenance) | v1.7 / `v1.7.0` | `.github/workflows/release.yml` | REQ-... | local | `v1.25` + `v1` floating tags force-moved on merge to main |
+| — | IAM policy baseline (`acdl-spike-runner-policy`) | v1.11 / `v1.11.0` | `terraform/bootstrap/spike_runner_policy.json`, `.ciagent/IAM_POLICY.md` | REQ-116, D-095 | live-aws | regression-tested by `tests/test_iam_policy_baseline.py`; OIDC role `acdl-act-runner-role` (CAP-022) |
+| — | Local emulating adapters (no AWS) | v1.10 / `v1.10.0` | `core/local_lambda_stub.py`, `scripts/run_local_e2e.sh` | D-092 | local | proves runtime behavior without live AWS |
+
+## Archive pointers
+
+- **v1.0–v1.24 capability narrative + the 2026-07-27 re-verification sweep:**
+  `.ciagent/archive/CAPABILITY_INVENTORY-v1.10.md` (moved from
+  `.ciagent/CAPABILITY_INVENTORY.md` at v1.27). CAP-NNN IDs in this file
+  cross-reference the regression gate at `core/regression_verify.py`.
+- **v1.0–v1.24 milestone narrative:** `.ciagent/archive/PROJECT-v1.0-v1.24.md`.
+- **v1.0–v1.24 requirements (REQ-01..REQ-290):** `.ciagent/archive/REQUIREMENTS-v1.0-v1.24.md`.
+- **v1.0–v1.24 phase breakdowns:** `.ciagent/archive/ROADMAP-v1.0-v1.24.md`.
+- **v1.0–v1.24 architecture history:** `.ciagent/archive/ARCHITECTURE-v1.0-v1.24.md`.
+- **v1.26 pre-execution artifacts (CLARIFY, GRILL, IDEATE, RESEARCH):**
+  `.ciagent/archive/{CLARIFY,GRILL,IDEATE,RESEARCH}-v1.26.md` (decisions
+  D-200..D-213 folded into `PROJECT.md` load-bearing decisions + PLAN.md
+  binding revisions at v1.27 archive time).
+- **v1.26 phase verifications:** `.ciagent/archive/{VERIFY-P03,VERIFY-P04,REVIEW-AUDIT-P05}.md`.
+- **v1.26 live pilot run evidence:** `.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md`.
+- **v1.21 autonomy thesis (folded into NORTH_STAR.md Vision):** `.ciagent/archive/AUTONOMY_THESIS-v1.21.md`.
+- **v1.14 AWS cost report (predates v1.26 live pilot):** `.ciagent/archive/COST-v1.14.md`.
+
+## Update discipline
+
+This file is updated **once per milestone, at the P-final milestone-ship
+wave** (Wave 3 "milestone ship" in `PLAN.md`), alongside
+`ROADMAP.md`/`NORTH_STAR.md`/`REQUIREMENTS.md`:
+
+1. Append new capability entries for each shipped REQ (one row per
+   capability; group by domain).
+2. Mark any deprecated capability with a `Deprecated` row citing the
+   milestone + replacement.
+3. Bump the "Last milestone ship" header.
+4. Do not rewrite existing entries (additive only).
+
+Enforcement: convention (the P-final ship step names this file). A
+drift-check gate (assert every REQ marked `complete` in
+`REQUIREMENTS.md` traceability appears in STATE.md) is a future option
+if the convention drifts.
@@ -0,0 +1,46 @@
+# P4 — Live Pilot Run Evidence (v1.26, v0.2 re-run)
+
+> The live `terraform apply` against AWS `581513795199` succeeded. The
+> Decision Ledger + outcome backfill are complete. SPEC §5.8 evidence
+> stream verified.
+
+## Apply result (account 581513795199, dev, autonomous)
+- **ALB DNS**: `app-254671247.us-east-1.elb.amazonaws.com`
+- **ECS service**: `arn:aws:ecs:us-east-1:581513795199:service/nova-cluster/nova-microservice`
+- **DynamoDB table**: `nova-blkex-ledger-dev` (PK `block_index`, PAY_PER_REQUEST)
+- **S3 bucket**: `nova-blkex-blocks-dev-581513795199-us-east-1` (versioning + SSE)
+- **ECS cluster**: `arn:aws:ecs:us-east-1:581513795199:cluster/nova-cluster`
+- **ECR repo**: `581513795199.dkr.ecr.us-east-1.amazonaws.com/app-repo`
+- **IAM role**: `arn:aws:iam::581513795199:role/nova-app-role`
+- **KMS key**: `arn:aws:kms:us-east-1:581513795199:key/e9a7ba15-d5cb-4f4d-ab20-bfac5cb62bcf`
+- **Platform VPC** (prerequisite): `vpc-0d7c8867e6cc080f1` + 6 subnets + ECS SG `sg-0c95704b16859e86f`
+
+## Confidence signal
+- score: **0.800**, band: **pass** (dev autonomous, ≥0.50, no HITL)
+- human_override: false
+- escalation_reason: absent (clean apply — REQ-318)
+
+## Decision Ledger (SQLite hash-chain, /root/metrics/decision_ledger.db)
+- `nova.ai.decision.made` — decision_id `blkex-pilot-apply-v0.2`, chosen_action `pass`, human_override false
+- `nova.outcome.backfilled` — outcome `pending → succeeded`, backfilled_at `2026-08-19T03:05:04Z`
+- chain valid: true (0 breaks)
+
+## Outcome backfill (REQ-317)
+- fact_decision.outcome: `pending` → `succeeded` (NOT stuck pending)
+- backfilled_at: `2026-08-19T03:05:04Z`
+
+## Module-completeness gaps fixed (uncovered by the live apply)
+- ecs-service L1: added `execution_role_arn` + `task_role_arn` (Fargate requires execution role for ECR pull)
+- microservice L2 composition: wired `roles.outputs.role_arn` → `service.inputs.{execution,task}_role_arn`
+- microservice L2 composition: wired `platform_vpc.outputs.ecs_security_group_id` → `alb.inputs.security_group` (ALB requires a SG)
+
+## Run id
+- NOVA_RUN_ID: `blkex-pilot-apply-v0.2`
+
+---ci---
+project: acdl
+phase: 4
+milestone: v1.26
+status: execute
+wave: W1
+---
@@ -8,12 +8,20 @@ state for offline agent loading.

 ## Why archive

-The active milestone is v1.26 (Live Pilot Estate Activation). The
-`.ciagent/` root held ~11,164 lines dominated by completed-milestone
-narratives (v1.0–v1.24). Per the run.md context-loading model, agents
-read `.ciagent/` every `/ci-run`; the historical narrative was not
-load-bearing for v1.26 execution and was relocated to keep the working
-context lean.
+The active milestone is v1.27 (PO State Catalog & Ciagent Compression).
+The `.ciagent/` root was compressed twice:
+
+1. **v1.26 P2 compression** (~11,164 lines → ~5,232): the
+   completed-milestone narratives (v1.0–v1.24) were relocated. Per the
+   run.md context-loading model, agents read `.ciagent/` every
+   `/ci-run`; the historical narrative was not load-bearing for v1.26
+   execution and was relocated to keep the working context lean.
+2. **v1.27 P1 compression** (~5,232 → ~3,882): the v1.26 phase
+   verifications + review + evidence + the dated CAPABILITY_INVENTORY
+   (superseded by STATE.md) + AUTONOMY_THESIS (folded into NORTH_STAR)
+   + COST (predates v1.26 pilot) were relocated. The 4 pre-execution
+   files (CLARIFY/GRILL/IDEATE/RESEARCH) were rewritten by v1.27 P0
+   and stay active through v1.27.

 ## Contents

@@ -40,6 +48,47 @@ architecture reference.
 | `VERIFY.md` | 86 | Per-phase verification records |
 | `PRE_MORTEM.md` | 228 | Pre-mortem analyses for completed milestones |

+### v1.27 compression — archived files (8 files, lossless `git mv`)
+
+> The v1.27 NFR milestone (PO State Catalog & Ciagent Compression) archived
+> 7 platform-root files + 1 consumer file. All are byte-identical
+> relocations; git history at the pre-v1.27 commits preserves the
+> authoritative state.
+
+#### Snapshots of superseded durable references (3 files)
+
+| File | Original (lines) | Superseded by | Status at time of snapshot |
+|---|---|---|---|
+| `CAPABILITY_INVENTORY-v1.10.md` | 120 | `.ciagent/STATE.md` (v1.27) | The 2026-07-27 re-verification sweep (v1.1→v1.8 capabilities). Predates v1.26 pilot (CAP-025 absent; blockchain capabilities absent). |
+| `AUTONOMY_THESIS-v1.21.md` | 65 | `NORTH_STAR.md` Vision + Anti-Goals #2 | "Last refined: v1.21" — the autonomy-in-operations thesis, fully folded into NORTH_STAR.md. |
+| `COST-v1.14.md` | 106 | (future cost milestone) | AWS cost report dated 2026-07-29, framed "v1.0 → v1.14". Predates v1.26 live pilot (ECS + ALB + DynamoDB + S3 costs not reflected). |
+
+#### v1.26 phase verifications + review + evidence (4 files)
+
+| File | Original (lines) | Phase(s) documented |
+|---|---|---|
+| `VERIFY-P03.md` | 39 | v1.26 P3 verification — PASS (shipped `v1.25.3`) |
+| `VERIFY-P04.md` | 31 | v1.26 P4 verification — PASS (shipped `v1.25.4`) |
+| `REVIEW-AUDIT-P05.md` | 218 | v1.26 P5 final review + audit — PROCEED (shipped `v1.25.5`; 0 P0 remain; audit CLEAN) |
+| `P4-PILOT-RUN-EVIDENCE-v1.26.md` | 46 | v1.26 live apply evidence (`blkex-pilot-apply-v0.2`; confidence 0.800 pass; outcome backfilled; hash chain valid) |
+
+#### Consumer subproject archive (1 file)
+
+| File | Original (lines) | Phase(s) documented |
+|---|---|---|
+| `nova-blockchain-exchange/archive/ROADMAP-v1.26.md` | 57 | v1.26 consumer roadmap (P3/P4/P5 marked "planned" at archive time; v1.26 shipped `v1.25.5`). Phase narrative preserved in the platform `.ciagent/ROADMAP.md` §v1.26. |
+
+#### v1.26 pre-execution artifacts (in git history, not archived to disk)
+
+The v1.26 pre-execution files (CLARIFY, GRILL, IDEATE, RESEARCH) were
+overwritten by the v1.27 P0 pre-execution cycle. The v1.26-era content
+is preserved in git history at the pre-v1.27-P0 commits (search the
+log for `docs(P00):` commits on the `milestone/v1.26-pilot-activation`
+line). The v1.27 P0 versions stay active through v1.27; they archive at
+v1.28 P1 if v1.28 happens. Decisions D-200..D-213 (v1.26) are folded
+into `PROJECT.md` load-bearing decisions; D-214..D-225 (v1.27) live in
+the active `CLARIFY.md`.
+
 ### Live operational files NOT archived

 These files remain at their canonical `.ciagent/` paths because they are
@@ -0,0 +1,219 @@
+# P05 Final Review + Audit — v1.26 Live Pilot Estate Activation
+
+> **Phase:** 5 (final review + audit + ship) — review + audit only; the
+> milestone ship (merge to main / tag v1.25.5 / branch deletion) is the
+> orchestrator's next step, deliberately out of scope here.
+> **Branch:** `phase/05-final-review-ship`
+> **Milestone:** `milestone/v1.26-pilot-activation`
+> **Tags so far:** v1.25.0 (P0) → v1.25.1 (P1) → v1.25.2 (P2) →
+> v1.25.3 (P3) → v1.25.4 (P4). P5 ships v1.25.5 (= the v1.26 release).
+> **Date:** 2026-08-19
+
+---
+
+## 1. Review (ciagent-review equivalent)
+
+Multi-persona review across P1..P4 (lead-developer coordination;
+correctness / testing / security / maintainability axes). The spot-checks
+below confirm the P3/P4 commits deliver what their messages claim.
+
+### Correctness spot-checks (all PASS)
+
+- **kyverno-json substrate fix (59d837f):** the engine `_translate` parses
+  the real `kj` v0.0.3 bare-list output (not the v1.25-assumed
+  `{"results":[...]}` dict); `_materialize_yaml_policy_dir` mirrors `.json`
+  policies to `.yaml` twins (kj v0.0.3 ignores `.json`); the `validate`
+  wrapper was removed from all 16 policies + the check syntax fixed
+  (`expression: expected_value`). All 36 kj-dependent tests pass against
+  real `kj` (0 skips). The install script fixed
+  (`go install .../kyverno-json@latest` + symlink, not the broken
+  `cmd/kj@latest`).
+- **outcome backfill (51b886f, REQ-317):** `core/metrics/outcome_backfill.py`
+  updates `fact_decision.outcome` pending → succeeded/failed; idempotent +
+  terminal (no overwrite of a non-pending outcome); wired into the
+  collector. The P4 run evidence (6ced8ed) confirms
+  `nova.outcome.backfilled (pending->succeeded)`.
+- **Gitea adapter (P3 W0):** the consumer `deploy.yml` has no cross-repo
+  `uses:` — inline `actions/checkout@v4` of `acdl/acdl @ ref: v1.25` into
+  `platform/` then `bash platform/scripts/run_platform.sh`. SPEC §10 Q1
+  resolved by evidence.
+- **env-JSON state_backend (3300ed2, REQ-319):** the adapter reads
+  `env.state_backend.bucket` when present (fallback to the computed
+  `nova-tfstate-{account_id}-{region}` for backwards compat). `dev.json`
+  bound to `581513795199` + `nova-tfstate-581513795199-us-east-1`;
+  qa/prod/dr stay placeholder (account `000000000000` — the pilot-readiness
+  policy blocks apply, D-208).
+- **pilot policies (e22661a, REQ-315/320):** `no-placeholder-account.json`
+  passes on dev (581513795199), fails on placeholder;
+  `all-matches-committed.json` asserts `all_committed == true`. Both run
+  against real `kj` (not skipped).
+
+### Testing
+
+- 844 tests collected; **844 pass** (839 fast + 5 slow individually
+  re-run: 2 `test_run_local_e2e_*` + 3 `test_verify_regression_mode::*`).
+  0 failures, 0 skips that shouldn't skip.
+- New feature coverage confirmed: REQ-317 backfill test
+  (`test_outcome_backfill.py`), REQ-318 escalation_reason test
+  (`test_confidence_escalation_reason.py`), REQ-315/320 policy tests
+  (`test_settlement_finality_policy.py`, `test_pilot_readiness_policy.py`
+  — both real-kj), REQ-316 CAP-025 test (`test_regression_pilot.py`), Gitea
+  adapter tests (`test_deploy_workflow_invocation.py` +
+  `test_deploy_gitea_invocation.py` — assert no cross-repo `uses:`,
+  `ref: v1.25`, `secrets: inherit`), rotation workflow test
+  (`test_rotate_key_workflow.py`), CAP-025 test
+  (`test_deploy_workflow_env_input.py`).
+- The v1.25 `pytest.skip("kj not installed")` skips are gone — `_require_kj`
+  no longer skips (kj v0.0.3 installed). All kj-dependent tests exercise
+  the real engine.
+
+### Security
+
+- **No `NOVA_AWS_*` secrets in committed files.** `.env.secrets` is
+  gitignored and NOT tracked (`git ls-files` confirms). All `NOVA_AWS_*`
+  references in committed workflow files are `${{ secrets.* }}` placeholder
+  references — the correct pattern. The W6 fix (b237b3e) removed raw
+  `NOVA_AWS_*` from the shell env in `run_platform.sh`'s local fallback.
+- **No forge mentions in synced files.** `test_no_forge_mentions` PASS
+  (the REQ-230 guard). The W6/W7 fix (03edd82) renamed `NOVA_GITEA_TOKEN`
+  → `NOVA_FORGE_TOKEN` (forge-agnostic) after the guard tripped.
+
+### Maintainability
+
+- **No stale `TYPE_MAP` refs in active docs.** The P4 W2 fix (a0799f1)
+  fixed the stale `TYPE_MAP`/`INPUT_MAP` references in `adapters/README.md`
+  (IDEATE I8). Remaining `TYPE_MAP` mentions are in `.ciagent/archive/`
+  (historical, correct) + `.ciagent/{CLARIFY,IDEATE,RESEARCH}.md`
+  (decision records, correct context).
+- **No new TODOs/FIXMEs in P3/P4.** `grep` over `core/` for
+  `TODO|FIXME|XXX|HACK` returns 0 matches.
+- The P3 W0.5 fix (3735330) resolved pre-existing P2 drift (dynamodb
+  `simple.yaml` → `simple.yml`, sync_workflows re-sync, CAP-024 deck path
+  → `nova-autonomous-cloud-delivery-marp.md`).
+
+### Review verdict
+
+**0 P0 issues remain** after the one P0 fix applied this phase (see §3).
+**P1+ issues for post-hoc review (none blocking ship):**
+
+| # | Severity | Issue | Disposition |
+|---|----------|-------|-------------|
+| R-1 | P2 (cosmetic) | `CHECKPOINT.json` `phase_branch` field is stale (`phase/03-pilot-metrics-and-policies`) — should be `phase/04-pilot-run-and-docs` or cleared. | Post-hoc. The orchestrator's ship step overwrites CHECKPOINT entirely (`stage: complete, phase: 5, phase_role: final`), so this field is transient. Not fixed here to avoid touching CHECKPOINT outside the ship step. |
+| R-2 | P3 (historical) | The v1.26 consumer-repo merge commit (78da051) + the P0 merge (d391cdf) use `---/ci---` close markers; the v1.26 platform-repo commits (P3/P4) use `---ci---` only. Minor format inconsistency from the multi-project boundary. | Post-hoc. Cosmetic; both markers are recognized by the audit tooling. |
+| R-3 | P3 (future-hardening) | Single `NOVA_AWS_*` root-equivalent key (D-207). Documented in PLAN.md §Future Hardening — a future milestone should split into `NOVA_BOOTSTRAP_AWS_*` + least-privilege `NOVA_AWS_*` runner key. | Post-hoc. Out of v1.26 scope by design (D-207, G-Q9). |
+
+---
+
+## 2. Audit (ciagent-audit equivalent)
+
+### 2.1 Reconstruction test — **PASS**
+
+The git log `---ci---` blocks are consistent with the `.ciagent/` file
+states. The last 20 commits on `milestone/v1.26-pilot-activation` show the
+expected phase progression:
+
+- P0 (`d391cdf`, status: complete) → P1 ship (`2ee541f`) →
+  P2 reconcile (`d022ddc`) → P2 complete (`6a3d47e`) →
+  P3 W0.5 → W2 → W3 → W4 → W5 → W6 → W6/W7 → verify (`5d1a985`) →
+  docs (`732998b`) → merge+complete (`268f695`, `6b60c0c`) →
+  P4 W1 (`cec34ab`, `6ced8ed`) → W2 (`a0799f1`) → verify (`074ee05`) →
+  merge+complete (`6eb7af2`, `f266dcf`).
+
+Each phase follows the `execute → verify → complete` lifecycle. The
+CHECKPOINT `current_phase` (phase 4, status complete, tag v1.25.4) matches
+the latest commit (`f266dcf docs(ship): P4 complete → v1.25.4`). The
+`previous_phase` (phase 3, tag v1.25.3, complete) is consistent.
+
+All 4 merge commits on the milestone branch (d391cdf, 78da051, 268f695,
+6eb7af2) carry `---ci---` blocks with project/phase/milestone/status.
+
+### 2.2 `.ciagent/` file discipline — **CLEAN** (after the one P0 fix)
+
+- **CHECKPOINT.json:** `current_phase` (4/complete/v1.25.4) + `previous_phase`
+  (3/complete/v1.25.3) consistent with the git log. `waves` map + `pre_run`
+  map + `notes` accurately describe the P4 live apply + outcome backfill.
+  One stale field: `phase_branch` (R-1, post-hoc).
+- **REQUIREMENTS.md:** v1.26 traceability table now shows all 13 REQs
+  (310..322) complete. **One P0 fix applied:** REQ-316 row corrected from
+  "P4 live-verify pending" → "v1.25.4 — live-verify complete" (P4 is
+  complete; v1.25.4 tagged; the live apply against 581513795199 succeeded
+  per commit 6ced8ed + verify 074ee05). The v1.25 table (REQ-291..309) is
+  all-complete + consistent with ROADMAP.
+- **ROADMAP.md:** v1.26 phases P0..P4 marked complete; P5 marked "planned"
+  (correct — this phase is in progress, ship is next). v1.25 marked
+  complete. The phase descriptions match the commits.
+- **PLAN.md:** the active phase plan covers P0..P5 with wave ordering,
+  persona assignment, + the REQ-322→P2 W0 revision. Consistent with what
+  shipped.
+- **ARCHITECTURE.md:** §12.8 (Pilot Estate) + §12.9 (rotation) present
+  (P4 W2 docs).
+- **PROJECT.md:** v1.26 active milestone noted; multi-project mode
+  (`nova-blockchain-exchange`) reflected.
+
+### 2.3 Branch hygiene — **CLEAN**
+
+`git branch -a` (local):
+- `main`
+- `milestone/v1.26-pilot-activation`
+- `phase/05-final-review-ship` (current)
+
+P1..P4 phase branches are deleted (only milestone + P5 remain, as
+required). Remote: `origin/main` + `origin/milestone/v1.26-pilot-activation`
+mirror the local state.
+
+Tags: `v1.25` (floating) + `v1.25.0` + `v1.25.1` + `v1.25.2` + `v1.25.3` +
+`v1.25.4` all exist. `v1.25.5` is not yet present (correct — it's the
+orchestrator's ship step).
+
+### 2.4 Commit discipline — **CLEAN**
+
+Every v1.26-scope commit on the milestone branch carries a `---ci---`
+block with `project` + `phase` + `milestone` + `status` (and most carry
+`wave`). The 4 merge commits (d391cdf, 78da051, 268f695, 6eb7af2) all
+carry `---ci---` blocks. (Historical commits from v1.0-v1.18 predate the
+block convention — out of scope for this audit.)
+
+The consumer-repo merge (78da051) correctly carries
+`project: nova-blockchain-exchange` (multi-project boundary respected);
+the platform commits carry `project: acdl`.
+
+### Audit verdict
+
+| Check | Result | Detail |
+|-------|--------|--------|
+| Reconstruction test | **PASS** | git-log `---ci---` blocks ↔ `.ciagent/` consistent; phase 4/complete/v1.25.4 matches HEAD. |
+| File discipline | **CLEAN** | All 6 `.ciagent/` files consistent after the REQ-316 P0 fix. One stale `phase_branch` field (R-1, post-hoc). |
+| Branch hygiene | **CLEAN** | Only main + milestone + P5; P1-P4 deleted; v1.25.0..v1.25.4 tagged. |
+| Commit discipline | **CLEAN** | All v1.26 commits carry `---ci---` blocks; merge commits included. |
+
+---
+
+## 3. P0 fixes applied this phase
+
+| # | File | Fix |
+|---|------|-----|
+| P0-1 | `.ciagent/REQUIREMENTS.md` | REQ-316 traceability row: "P4 live-verify pending" → "v1.25.4 — live-verify complete". P4 is complete (v1.25.4 tagged, live apply against 581513795199 succeeded per commits 6ced8ed + 074ee05); the "pending" text was stale documentation drift that misstated the milestone state. |
+
+No code-level P0 issues found — the P3/P4 feat/fix commits deliver what
+they claim; the test suite is green; no secrets leaked; no forge mentions;
+no stale active-doc references.
+
+---
+
+## 4. Overall verdict — **PROCEED to milestone ship**
+
+- **Review:** 0 P0 issues remain (1 P0 fix applied: REQ-316 doc drift).
+  3 P1+ items flagged for post-hoc (R-1 stale CHECKPOINT field, R-2 close-
+  marker inconsistency, R-3 future key-split — none block ship).
+- **Audit:** reconstruction PASS; file discipline CLEAN; branch hygiene
+  CLEAN; commit discipline CLEAN.
+- **Tests:** 844 passed, 0 failed, 0 unexpected skips (5 slow tests
+  individually confirmed green: 2 local-e2e + 3 regression-mode).
+
+**Decision: PROCEED.** The orchestrator's next step (Wave 3 milestone
+ship: merge `phase/05-final-review-ship` → `milestone/v1.26-pilot-
+activation` → `main`; tag `v1.25.5`; Gitea release; delete milestone
+branches; final CHECKPOINT clear) is unblocked. Per the full-autonomy
+"never halt" directive, even if a P0 had been critical, the ship step
+would still proceed with the issue documented — but here the single P0
+was a cosmetic doc-drift, now fixed.
@@ -0,0 +1,31 @@
+# VERIFY — v1.26 P4 (pilot-run-and-docs) PASS
+
+## Structural
+- Live apply: AWS resources exist (ALB, ECS, DynamoDB, S3, KMS, ECR, IAM) — account 581513795199
+- ecs-service L1: execution_role_arn + task_role_arn wired (module-completeness gap fixed)
+- microservice L2 composition: roles→service wires + ALB SG wire
+- Decision Ledger: ai.decision.made + nova.outcome.backfilled (hash chain valid)
+- fact_decision.outcome: pending→succeeded (REQ-317 outcome backfill verified)
+- Docs: adapters/README, docs/METRICS, ARCHITECTURE §12.8, consumer onboarding README
+
+## Behavioral
+- platform: 844 passed (full suite)
+- consumer: 90 passed, 6 skipped (deploy invocation tests pass on the inline adapter)
+- live terraform apply: exit 0 (Apply complete! Resources created)
+
+## Security
+- NOVA_AWS_* not in shell env (run_platform.sh unset after sourcing .env.secrets)
+- Decision Ledger events redact secrets (no NOVA_AWS_* values in payloads)
+- forge-agnostic synced files (test_no_forge_mentions pass)
+
+## Quality
+- No regressions (844 baseline holds)
+- The live apply uncovered + fixed 2 module-completeness gaps (ecs-service role, ALB SG)
+- The Post-Pilot metrics now have non-zero denominators (n=1 real run)
+
+---ci---
+project: acdl
+phase: 4
+milestone: v1.26
+status: verify
+---
@@ -13,7 +13,7 @@
  ],
  "active_project": "acdl",
  "active_projects": ["acdl", "nova-blockchain-exchange"],
-  "active_milestone": "v1.26",
+  "active_milestone": "v1.28",
  "autonomy": {
    "level": "full",
    "escalation_hooks": ["deploy", "delete_data", "merge_to_main"],
@@ -89,4 +89,9 @@ of normal operations.
 - The AWS bootstrap (S3 state bucket + DynamoDB outbox) was re-run in
  the pre-run (Workstream A3) — the platform components exist.
 - The consumer repo was created on Gitea (Workstream A4) and cloned to
-  `/root/nova-blockchain-exchange`.
+  `/root/nova-blockchain-exchange`.
+- **Phase-by-phase history:** `.ciagent/ROADMAP.md` §v1.26 (the
+  consumer ROADMAP is archived at
+  `.ciagent/nova-blockchain-exchange/archive/ROADMAP-v1.26.md` since
+  v1.27 — the platform ROADMAP is the source of truth for milestone
+  phase narrative).
@@ -0,0 +1,180 @@
+# nova-blockchain-exchange — Consumer Onboarding Guide
+
+> **Milestone:** v1.26 — the first real Nova consumer estate. This
+> guide is for the consumer side: how to invoke the deploy, what
+> secrets to set, what the contract looks like, and how to verify the
+> result. The platform side is documented in
+> `.ciagent/ARCHITECTURE.md` §12.8; the live-pilot evidence is in
+> `.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md` (archived v1.27).
+
+This is a **consumer** of the Nova platform, not a fork. The consumer
+repo owns the app code (the blockchain, the order-matching engine, the
+settlement service) and the `contract.yaml` that declares the
+infrastructure. The Nova platform (`acdl` repo) owns the deploy
+workflow, the policy engine, the contract resolver, the Terraform
+adapter, the confidence signal, the HITL gates, and the Decision
+Ledger. The consumer never clones the platform repo and never runs
+`terraform apply` directly.
+
+---
+
+## 1. Invoke the deploy
+
+The consumer's `.github/workflows/deploy.yml` (and its byte-identical
+`.gitea/workflows/deploy.yml` mirror) is a `workflow_dispatch` workflow.
+It does **not** use cross-repo `uses:` (SPEC §10 Q1 — the Gitea forge
+rejects it). Instead it is an **inline adapter**: it checks out the
+consumer repo, then checks out `acdl/acdl` @ `ref: v1.25` into
+`platform/`, then runs `bash platform/scripts/run_platform.sh`.
+
+To run a deploy:
+
+1. In the consumer repo's Actions UI, pick the **Deploy** workflow.
+2. Click **Run workflow**.
+3. Inputs:
+   - `mode` = `full` (the default — applies the Terraform). Other
+     values: `plan-only` (no apply), `check-only` (policy + confidence
+     only), `decommission` (requires a `changeRequestId`).
+   - `environment` = `dev` (the pilot scope — equities only, dev only,
+     D-020/D-200). Leave empty to use the contract's `environment`
+     field.
+4. The workflow runs the platform pipeline end-to-end: contract
+   resolve → adapter compile → terraform plan → policy (kyverno-json)
+   → confidence signal → (dev: autonomous apply) → Decision Ledger
+   events.
+
+For the pilot, the documented invocation is `mode=full,
+environment=dev`. The first live run was `blkex-pilot-apply-v0.2`
+(2026-08-19).
+
+---
+
+## 2. Secrets to set
+
+Set these in the forge's Actions secret store (the consumer repo's
+"Secrets and variables → Actions" page). The platform-managed
+scheduled workflow `rotate-aws-key.yml` rotates the `NOVA_AWS_*` key
+daily (SPEC §5.9 — the v0.2 deploy uses the currently-active key).
+
+| Secret | Purpose |
+| --- | --- |
+| `NOVA_AWS_ACCESS_KEY_ID` | The static AWS access key for the deploy IAM principal. Used by `aws-actions/configure-aws-credentials` when OIDC is unavailable (the Gitea path — no OIDC token is minted). |
+| `NOVA_AWS_SECRET_ACCESS_KEY` | The matching secret key. Rotated by `workflows-src/rotate-aws-key.yml`. |
+| `AWS_DEFAULT_REGION` | The target region (`us-east-1` for the pilot). |
+
+The platform's `.github/workflows/deploy.yml` (GitHub Actions reference
+impl) supports an OIDC path instead of the static key — set
+`NOVA_AWS_ACCOUNT_ID` and leave the `NOVA_AWS_*` key secrets empty.
+The Gitea inline adapter uses the static-key path.
+
+---
+
+## 3. The contract shape
+
+The consumer declares its infrastructure in `contract.yaml` at the
+repo root, validated against the platform's
+`schemas/contract.schema.json`. The pilot contract has the shape:
+
+```yaml
+id: blkex
+name: blockchain-exchange
+environment: dev
+infrastructure:
+  microservice:   # the L2 composition (ECS Fargate + ALB + roles)
+    ...
+  dynamodb:       # the L1 DynamoDB table (the ledger)
+    ...
+  s3:             # the L1 S3 bucket (block storage)
+    ...
+```
+
+Three `infrastructure.*` blocks: `microservice` (the L2 composition
+that wires the ECS service, the ALB, and the IAM roles together), and
+the two L1 primitives (`dynamodb` for the ledger, `s3` for block
+storage). Per-environment variants live in
+`contracts/blockchain-exchange.{dev,qa,prod}.yml` (the per-env
+promotion model, REQ-105). The pilot runs the `dev` variant.
+
+The contract is the **only** consumer-facing artifact that describes
+infrastructure. It is IR-typed (engine-agnostic); the platform
+resolves it to a target stack, the Terraform adapter compiles the
+stack to HCL, and `terraform apply` runs in the central pipeline —
+never on the consumer's workstation.
+
+---
+
+## 4. What the platform does
+
+When `run_platform.sh` runs against `contract.yaml`:
+
+1. **Resolve** the contract to a target stack (a list of L1 instances +
+   inputs + relationships), reading `modules/registry.json` for each
+   L1's `terraform_dir`.
+2. **Compile** the stack to Terraform HCL via the stateless adapter
+   (`adapters/terraform/adapter.py`) — emits `module "<rid>" { source }
+   ` blocks + wired `ref:` refs. No `TYPE_MAP` — each L1 owns its
+   shape.
+3. **Plan** — `terraform plan` against the live AWS account. Infracost
+   runs on the plan JSON and emits `nova.cost.estimated`.
+4. **Policy** — the kyverno-json engine evaluates the meta-policies
+   (`block-on-any-critical` + the pilot policies) and emits
+   `PolicyCheckResult` records.
+5. **Confidence** — the confidence signal consumes the six inputs (the
+   PCRs included) and emits `nova.confidence.computed` with
+   `{ score, band, perInput, reasonCodes }`. Dev threshold = 0.50.
+6. **Apply** (dev, autonomous — no HITL gate) — `terraform apply`
+   against account `581513795199`. On success, `nova.ai.decision.made`
+   + `nova.run.completed` land in the Decision Ledger.
+7. **Backfill** — the outcome (`pending → succeeded`) is backfilled
+   (REQ-317), producing `nova.outcome.backfilled`. The SQLite
+   hash-chain is extended, not torn up.
+
+The consumer does not see steps 1–7 directly; the consumer sees the
+workflow's green check + the uploaded artifacts (`nova-terraform`,
+`nova-platform-log`).
+
+---
+
+## 5. How to verify post-deploy
+
+Two independent verifications — read the AWS API and read the Decision
+Ledger. Neither trusts the other.
+
+**AWS API (the infrastructure landed):**
+- `aws elbv2 describe-load-balancers` — the ALB
+  (`app-254671247.us-east-1.elb.amazonaws.com` for the pilot).
+- `aws ecs describe-services --cluster nova-cluster --services
+  nova-microservice` — the ECS service is `ACTIVE`.
+- `aws dynamodb describe-table --table-name nova-blkex-ledger-dev` —
+  the ledger table exists (PK `block_index`, PAY_PER_REQUEST).
+- `aws s3api head-bucket --bucket
+  nova-blkex-blocks-dev-581513795199-us-east-1` — the block bucket
+  exists (versioning + SSE).
+
+**Decision Ledger (the trust record):**
+- The SQLite hash-chain at `metrics/decision_ledger.db` has the
+  `nova.ai.decision.made` row for `blkex-pilot-apply-v0.2` (chosen
+  action `pass`, `human_override` false) + the
+  `nova.outcome.backfilled` row (outcome `pending → succeeded`).
+- The chain is valid (`prev_event_hash` links, 0 breaks). The
+  Trust Snapshot (`metrics/TRUST_SNAPSHOT.md`) records the verdict.
+
+If the AWS API shows the resources AND the Decision Ledger shows the
+decision + outcome with a valid chain, the deploy is verified. See
+`.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md` for the full pilot-evidence
+checklist (every ARN, the confidence JSON, the backfill timestamp; archived v1.27).
+
+---
+
+## References
+
+- `.ciagent/ARCHITECTURE.md` §12.8 — the pilot-estate architecture
+  (this guide is the consumer-facing companion to that section).
+- `.ciagent/archive/P4-PILOT-RUN-EVIDENCE-v1.26.md` — the live-pilot evidence
+  (run `blkex-pilot-apply-v0.2`; archived v1.27).
+- `.ciagent/nova-blockchain-exchange/PROJECT.md` — the consumer
+  project charter (vision, scope, decisions D-200..D-205).
+- `.ciagent/nova-blockchain-exchange/REQUIREMENTS.md` — the consumer
+  requirements (REQ-313 contract, REQ-314 deploy invocation).
+- `adapters/README.md` §Consumers — the Gitea adapter note
+  (SPEC §10 Q1 — inline checkout-then-call, no cross-repo `uses:`).
@@ -46,12 +46,28 @@ never import an engine directly — they go through the registry.

 ## How to Write an Adapter

-### Terraform Adapter Extension
+### Terraform Adapter Extension (stateless assembler — v1.11 rewrite)

-1. Add a stack type → Terraform type mapping to `TYPE_MAP`.
-2. Add non-identity input mappings to `INPUT_MAP`.
-3. Add non-identity output mappings to `OUTPUT_MAP`.
-4. Add a specialized `_emit_resource` branch if the resource needs nested blocks (e.g. inline policies, rule sets).
+> The adapter owns **no module content**. There is no `TYPE_MAP`, no
+> `INPUT_MAP`, no `OUTPUT_MAP`, and no per-type branch logic (all deleted
+> in the v1.11 rewrite — the 918-line monolith collapsed to a ~80-line
+> assembler). Engine-specific shape lives in each L1 module's own
+> `terraform/` dir (`versions.tf`/`variables.tf`/`locals.tf`/`main.tf`/
+> `outputs.tf`); the adapter only assembles them.
+
+To extend the Terraform adapter, **do not edit the adapter** — instead:
+
+1. Add an L1 module with a real `terraform/` dir (owning its resource
+   shape, nested HCL blocks, and defaults).
+2. Register it in `modules/registry.json` under the module name with its
+   `terraform_dir` path. The adapter reads `registry.json` to find each
+   module's directory.
+3. The adapter emits `module "<rid>" { source = "<path>" }` blocks at
+   the root, with resolved inputs + wired `ref:` refs between modules.
+   No type-specific translation lives in the adapter.
+
+> If you find yourself reaching for a "TYPE_MAP"-style constant, the L1
+> module is missing a piece — fix the module, not the adapter.

 ### Policy Adapter Pattern

@@ -76,7 +92,7 @@ never import an engine directly — they go through the registry.

 ## How to Test Adapters

- `tests/test_adapter.py` — Terraform adapter (`TYPE_MAP`, resource emission, refs, outputs).
+- `tests/test_adapter.py` — Terraform adapter (stateless assembly: registry read, `module "<rid>" { source }` emission, `ref:` wiring, outputs). No `TYPE_MAP`/`INPUT_MAP` tests — the adapter owns no type mappings.
 - `tests/test_checkov_adapter.py` — Checkov adapter.
 - `tests/test_wiz_adapter.py` — Wiz adapter.
 - `tests/test_kyverno_adapter.py` — Kyverno adapter.
@@ -93,4 +109,32 @@ never import an engine directly — they go through the registry.
 3. Add the adapter's engine name to the `engine` enum in `schemas/policy_check_result.schema.json` if it is a policy adapter.
 4. Write a test (`tests/test_<name>_adapter.py`) plus a fixture (`tests/fixtures/<name>_fixture.json`).
 5. Add it to `scripts/run_platform.sh` if it is invoked at runtime.
-6. Update this README.
+6. Update this README.
+
+## Consumers
+
+The Terraform adapter compiles contract IR for consumer estates. The
+first real consumer estate is now live:
+
+| Consumer | Version | Environment | Account | Forge / Adapter | Status |
+| --- | --- | --- | --- | --- | --- |
+| `nova-blockchain-exchange` | v0.2 | dev | `581513795199` | inline adapter (see note below) | **live** (pilot apply `blkex-pilot-apply-v0.2`, 2026-08-19) |
+
+### Forge adapter note (SPEC §10 Q1)
+
+Forge Actions (the consumer's forge runtime) does **not** support
+cross-repo `uses:` references — the forge rejects
+`uses: <owner>/<repo>/.github/workflows/<file>@<ref>` with
+`expected format {owner}/{repo}/.{git_platform}/workflows/{filename}@{ref}`.
+The consumer (`nova-blockchain-exchange`) therefore uses an **inline
+adapter** in its `deploy.yml`: the workflow does `actions/checkout@v4`
+on the consumer, then `actions/checkout@v4` `acdl/acdl` @ `ref: v1.25`
+into `platform/`, and runs `bash platform/scripts/run_platform.sh ...`
+directly — no `uses:` indirection.
+
+The platform's own `.github/workflows/deploy.yml` (this repo) stays as
+the **GitHub Actions reference implementation** — the reusable
+`workflow_call` workflow used by GitHub-hosted consumers. The two
+files share the same contract shape; the only declared difference is
+the forge/runtime, not the stages or commands. See
+`.ciagent/ARCHITECTURE.md` §12.8 for the live pilot-estate wiring.
@@ -19,7 +19,7 @@ numbers. Every metric either has a real source or is explicitly deferred.

 ### Touchless Resolution Rate
 - **Target:** ≥ 99% across production estates (Post-Pilot)
- **Status:** partial (pipeline grounded; denominator = 0 today)
+- **Status:** partial (pipeline grounded; denominator = 1 run post-pilot)
 - **Formula:** runs completing without *operational* HITL block ÷ total runs
  (attestation gates excluded — they're designed controls, not escalations)
 - **Source:** `metrics/nova_metrics.db` `fact_run` (hitl_block column)
@@ -27,20 +27,54 @@ numbers. Every metric either has a real source or is explicitly deferred.

 ### Human Escalation Frequency
 - **Target:** < 0.1% of platform actions (Post-Pilot)
- **Status:** partial (pipeline grounded; denominator = 0 today)
+- **Status:** partial (pipeline grounded; denominator = 1 run post-pilot, 0 escalations)
 - **Formula:** operational HITL blocks ÷ total runs (attestation sign-offs
  excluded)
 - **Source:** `metrics/nova_metrics.db` `fact_run` (hitl_block column)
+- **Grounding:** `escalation_reason` field (REQ-318) — absent on a clean
+  dev apply (no block). The denominator counts runs; the numerator counts
+  runs where `escalation_reason` is present.
 - **Definition-of-success:** `docs/metrics/human_escalation_frequency.md`

 ### AI Decision Accuracy
 - **Target:** ≥ 99.5% (no rollback, no follow-up incident within 5 min)
- **Status:** partial (pipeline grounded; denominator = 0 today)
+- **Status:** partial (pipeline grounded; denominator = 1 decision post-pilot)
 - **Formula:** decisions not followed by apply.failed/incident within 5min
  ÷ total decisions
 - **Source:** `metrics/nova_metrics.db` `fact_decision` (outcome column)
+- **Grounding:** `fact_decision.outcome` is now `succeeded` (not
+  `pending`) — the outcome backfill (REQ-317) grounded this. A decision
+  whose outcome is still `pending` is excluded from the numerator AND the
+  denominator (it is not yet a completed decision).
 - **Definition-of-success:** `docs/metrics/ai_decision_accuracy.md`

+#### Post-Pilot Activation (v1.26 P4)
+
+The three Post-Pilot targets above were previously documented as
+"denominator = 0 today" — no real consumer estate had run through the
+platform end-to-end. The v1.26 P4 pilot run changed that: the first
+real consumer estate (`nova-blockchain-exchange`, account
+`581513795199`, dev environment, autonomous) contributed the first real
+data points.
+
+- **Run id:** `blkex-pilot-apply-v0.2` (2026-08-19)
+- **AI Decision Accuracy:** 1 decision (`blkex-pilot-apply-v0.2`),
+  outcome `pending → succeeded` (REQ-317 backfill). Numerator = 1
+  (no apply.failed, no incident), denominator = 1. Future runs
+  accumulate into this denominator.
+- **Human Escalation Frequency:** 1 run, `escalation_reason` absent
+  (clean dev apply — REQ-318). Numerator = 0 escalations, denominator
+  = 1.
+- **Touchless Resolution Rate:** 1 run, no operational HITL block (dev
+  is the only autonomous environment — no attestation gate).
+  Numerator = 1, denominator = 1.
+
+The denominators are now non-zero. Each is still `n = 1`, so the rates
+are not yet statistically meaningful — they are documented as real data
+points, not fabricated targets. See `.ciagent/P4-PILOT-RUN-EVIDENCE.md`
+for the full evidence stream (confidence 0.800 pass, Decision Ledger
+hash chain valid).
+
 ### MTTD / MTTR (platform-run)
 - **Target:** < 60 seconds (p95)
 - **Status:** grounded (platform-run MTTR)
@@ -32,6 +32,16 @@
      "description": "Environment variables as a JSON map string (optional).",
      "required": false
    },
+    "execution_role_arn": {
+      "type": "arn",
+      "description": "IAM execution role ARN for the task (ECR pull + CW logs). Ref to iam-role.",
+      "required": true
+    },
+    "task_role_arn": {
+      "type": "arn",
+      "description": "IAM task role ARN for the task's AWS permissions. Ref to iam-role.",
+      "required": false
+    },
    "cluster_arn": {
      "type": "arn",
      "description": "ECS cluster ARN (ref to ecs-cluster).",
@@ -118,7 +128,9 @@
        "cpu",
        "memory",
        "env",
-        "family"
+        "family",
+        "execution_role_arn",
+        "task_role_arn"
      ],
      "outputs": [
        "task_def_arn"
@@ -1,15 +1,17 @@
 resource "aws_ecs_task_definition" "this" {
-  count = var.enabled ? 1 : 0
+  count                    = var.enabled ? 1 : 0
  family                   = var.family
  cpu                      = tostring(var.cpu)
  memory                   = tostring(var.memory)
  requires_compatibilities = local.requires_compatibilities
  network_mode             = local.network_mode
  container_definitions    = local.container_definitions
+  execution_role_arn       = var.execution_role_arn
+  task_role_arn            = var.task_role_arn != "" ? var.task_role_arn : null
 }

 resource "aws_ecs_service" "this" {
-  count = var.enabled ? 1 : 0
+  count           = var.enabled ? 1 : 0
  name            = "nova-microservice"
  cluster         = var.cluster_arn
  task_definition = aws_ecs_task_definition.this[0].arn
@@ -32,6 +32,17 @@ variable "cluster_arn" {
  description = "ECS cluster ARN (ref to ecs-cluster)."
 }

+variable "execution_role_arn" {
+  type        = string
+  description = "IAM execution role ARN for the task (ECR pull + CW logs). Ref to iam-role."
+}
+
+variable "task_role_arn" {
+  type        = string
+  description = "IAM task role ARN for the task's AWS permissions. Ref to iam-role. Optional; falls back to execution role when empty."
+  default     = ""
+}
+
 variable "subnets" {
  type        = string
  description = "Comma-separated subnet ids (ref to vpc)."
@@ -27,8 +27,11 @@
    {"from": "platform_vpc.outputs.subnet_ids", "to": "alb.inputs.subnets"},
    {"from": "platform_vpc.outputs.subnet_ids", "to": "service.inputs.subnets"},
    {"from": "platform_vpc.outputs.vpc_id", "to": "alb.inputs.vpc_id"},
+    {"from": "platform_vpc.outputs.ecs_security_group_id", "to": "alb.inputs.security_group"},
    {"from": "platform_vpc.outputs.ecs_security_group_id", "to": "service.inputs.security_group"},
    {"from": "cluster.outputs.cluster_arn", "to": "service.inputs.cluster_arn"},
+    {"from": "roles.outputs.role_arn", "to": "service.inputs.execution_role_arn"},
+    {"from": "roles.outputs.role_arn", "to": "service.inputs.task_role_arn"},
    {"from": "ecr.outputs.repository_url", "to": "service.inputs.image"},
    {"from": "alb.outputs.target_group_arn", "to": "service.inputs.lb_target_group_arn"},
    {"from": "contract.inputs.region", "to": "kms.inputs.region"},