docs(milestone): complete v1.28 CLI Canonicalization + Identity Layer (release v1.27.6)

---ci--- project: acdl phase: 6 milestone: v1.28 status: complete requirements: covered: [REQ-323..353] partial: [] ---/ci---
2026-08-19 23:47:44 +00:00
parent 0d8913a299
commit adc55a17ab
5 changed files with 132 additions and 41 deletions
@@ -80,6 +80,29 @@
  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).
+- **INV-12 (Mode observability, v1.28):** Every CLI invocation emits a
+  `cli.invocation` audit event containing `mode`, `selection_reason`,
+  `credential_type`, `command`, and `args`. Operators can debug mode
+  selection without reproducing.
+- **INV-13 (Mode resolution determinism, v1.28):** Resolution priority
+  is flag → env (`NOVA_CLIENT_MODE`) → credential type →
+  `sys.stdin.isatty()`. No silent fallbacks. Invalid env values are
+  ignored + warned. Deviations rejected at PR time.
+- **INV-14 (Credential type encodes role, v1.28):** `developer_pat` /
+  `nova_oidc_token` + TTY present → `interactive`; TTY absent → `agent`.
+- **INV-15 (No AWS-managed identity in path, v1.28):** Nova-idp MUST
+  NOT depend on Cognito, IAM Identity Center, or any AWS-managed
+  identity service. Greenfield constraint (no Cognito existed to
+  "drop").
+- **INV-16 (Password storage, v1.28):** Passwords hashed with Argon2id
+  (t=3, m=65536 KiB, p=1). Fail-closed on `ImportError` (D-228 amended
+  — no pure-Python fallback). Raw passwords never in logs/traces/env/
+  DynamoDB.
+- **INV-17 (ABAC discipline, v1.28):** The token-vend Lambda evaluates
+  the kyverno-json ABAC policy before signing. Fail-closed on `kj`
+  absence or evaluation error (C-6.1 — never fail open). Allow/deny +
+  policy inputs emitted to the audit stream. `policy_version` (git SHA,
+  D-231) recorded in every event.

 ## Domains (capability groups)

@@ -248,6 +271,31 @@
 | — | 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 |

+### Domain 11 — CLI + Identity Layer (v1.28)
+
+| ID | Capability | Shipped | Files | Controlling | Tier | Notes |
+|----|-----------|---------|-------|-------------|------|-------|
+| CAP-033 | CLI subcommand surface exists | v1.28 / `v1.27.1` | `nova/cli.py`, `nova/<module>.py` (15 subcommands) | REQ-324 | local | `nova --help` lists a subcommand for every `core/` module; argparse-only, auto-discovered |
+| CAP-034 | Subcommand delegates to `core/` | v1.28 / `v1.27.1` | `nova/<module>.py` | REQ-324 | local | ≤50 lines, ≤3 FunctionDef, all calls resolve to `core.*` imports; AST-scanned in `tests/test_cli_subcommands.py` |
+| CAP-035 | Layer matches wheel | v1.28 / `v1.27.1` | `.github/workflows/publish.yml`, `.gitea/workflows/publish.yml`, SSM `/nova/layer/nova-cli/version` | REQ-323 | local | wheel + Lambda layer co-published with identical version; SSM mapping; CodeArtifact + fallback |
+| CAP-036 | Nova-idp auth flow works | v1.28 / `v1.27.3` | `core/lambda/nova_idp_auth.py`, `tests/test_idp_auth.py` | REQ-333 | local | sign-up → sign-in → session E2E; Argon2id t=3 m=65536 p=1; fail-closed D-228; moto locally, real DDB in CI |
+| CAP-037 | Token-vend signs via KMS | v1.28 / `v1.27.4` | `core/lambda/nova_idp_token_vend.py`, `core/kms_signing.py`, `tests/test_kms_roundtrip.py` | REQ-337 | local | ECDSA P-256 / ES256; DER→raw conversion; KMS round-trip test; mock KMS locally, real KMS in CI |
+| CAP-038 | PAT issuance + revocation | v1.28 / `v1.27.4` | `core/pat_lifecycle.py`, `tests/test_pat_revocation.py` | REQ-342 | local | issue → vend → revoke → 403 within 60s P95; strong-read DDB (D-229); verified <1s locally |
+| — | `nova init` scaffolds `.nova/` | v1.28 / `v1.27.1` | `nova/init.py`, `core/init_scaffold.py` | REQ-325 | local | `.nova/`, `.nova/contract.yml.attestations/`, `.gitignore` (secrets excluded) |
+| — | `nova cli-action` composite action | v1.28 / `v1.27.1` | `.github/actions/nova-cli/action.yml` | REQ-326 | local | byte-identical GitHub + Gitea; Python 3.12 pinned; NFR-11 |
+| — | `mode_resolver` (flag→env→cred→TTY) | v1.28 / `v1.27.1` | `core/mode_resolver.py` | REQ-327, D-226 | local | `sys.stdin.isatty()` (not stdout); hypothesis property tests |
+| — | Dual-use Lambda/CLI import | v1.28 / `v1.27.2` | `core/lambda/contract_ingestor.py` | REQ-329 | local | shared `dispatch_action()`; ≥80% code share; NFR-7 |
+| — | Local env synthesizer | v1.28 / `v1.27.2` | `core/env.py` (`synthesize_local_env`) | REQ-330 | local | `nova apply --local`; no cloud provisioning |
+| — | JWS-from-PAT (HKDF-SHA256, HS256) | v1.28 / `v1.27.2` | `core/jws_attestation.py` | REQ-332, C-5.2 | local | symmetric; verification key derived from PAT via same KDF |
+| — | JWKS endpoint (function URL) | v1.28 / `v1.27.4` | `core/lambda/nova_idp_jwks.py` | REQ-338, D-230 | local | `AuthType: NONE`; `Cache-Control: max-age=3600`; optional CloudFront/WAF |
+| — | kyverno-json ABAC token-vend policy | v1.28 / `v1.27.4` | `platform/abac/token-vend.policy`, `core/abac_evaluator.py` | REQ-339, D-227 | local | fail-closed (C-6.1, 7 tests); `policy_version` git SHA (D-231) |
+| — | `nova idp setup --check/--apply/--verify` | v1.28 / `v1.27.4` | `nova/idp/setup.py`, `core/lambda/nova_idp_setup.py`, `core/lambda/nova_idp_cfn.py` | REQ-340, REQ-341 | local | CloudFormation template review (NFR-10); IAM policy delta; KMS round-trip verify |
+| — | `nova auth login/revoke/status` | v1.28 / `v1.27.4` | `nova/auth/{login,revoke,status}.py`, `core/auth_store.py` | REQ-344, C-7.3 | local | `~/.nova/credentials.json` 0600 stores OIDC token + metadata (NOT raw PAT) |
+| — | E2E integration test | v1.28 / `v1.27.5` | `tests/test_e2e_idp.py` | REQ-348 | local | sign-up → sign-in → token-vend → apply → audit chain |
+| — | Identity-layer threat model | v1.28 / `v1.27.5` | `docs/threat-model.md` | REQ-347 | local | 8 threats + C-9.2 INV-18..21 compression audit |
+| — | Operator guide | v1.28 / `v1.27.5` | `docs/operator-guide-idp.md` | REQ-345 | local | `nova idp setup` + KMS rotation + layer update + PITR restore + emergency PAT revocation |
+| — | Developer guide | v1.28 / `v1.27.5` | `docs/developer-guide-auth.md` | REQ-346 | local | quickstart + mode resolution + JWS KDF + service-account PATs |
+
 ## Archive pointers

 - **v1.0–v1.24 capability narrative + the 2026-07-27 re-verification sweep:**