fix: resolve outstanding issues for v0.46.0 (#189)

Author: rrrodzilla

.Codex/plans/cli-migration-behavior.md

@@ -0,0 +1,12 @@
+# CLI migration and operator behavior
+
+Apply Rust planner/author standards using existing domain and error types.
+
+1. Plan every desired schema before apply/migrate execution and reject any destructive noninteractive batch before migration, metadata, or revision preparation writes. Preserve interactive per-schema consent and dry-run plans. Test mixed safe/destructive batches with zero writes.
+2. Preserve configured listener host/port with optional flags. Keep SchemaForge loopback as its unconfigured host, respecting the framework config search and ACTON environment layers. Test omitted flags, explicit default overrides, and config-file bind/port.
+3. Keep the existing public RequiresConfirmation enum variant for source compatibility, but label it review in Display/serialized output, accept legacy serialized spelling, and document it as informational consistently. Introduce plan-aware step classification for fresh unique constraints and test both existing/new schema uniqueness.
+4. Add bounded 429 retries to the entity HTTP client, with --max-retries and Retry-After seconds/date support. Rebuild identical requests only for explicit 429 responses, no transport or 5xx retries. Test exhaustion, eventual success, non-429 refusal, and delay parsing.
+5. Correct the rule-ordering reference and document governor defaults, reverse-proxy trust and probe configuration.
+6. Coordinate read-only CLI connections and webhook validation with owning agents.
+
+Validation: cargo nextest run for core and CLI with postgres feature, cargo clippy warnings denied, formatting. Root performs workspace integration and release. Semver recommendation: minor because migration machine-readable review labels change and CLI functionality is added; retain deserialization compatibility.

.Codex/plans/site-field-authority.md

@@ -0,0 +1,15 @@
+# Generated field types and authority, issues 191 and 192
+
+Use the existing view-model and template architecture. Keep display types complete while filtering form authority separately.
+
+- Add duration (Go-style duration string validation), bytes (base64 text with decoded size constraint), and map (typed Record JSON textarea) mapping. Preserve recursive composite/array type projection. Format duration wire strings into readable units without altering submitted values.
+- Project computed/read-role/write-role metadata on FieldView. Omit computed and derived fields from form controls and form validators. Use current auth roles at render/parse/submit time, not module initialization. Hide read-denied controls, render write-denied values inert, and ensure validation does not require denied fields.
+- Use recursive metadata to filter initial and submitted state, stripping read-denied, computed/derived and unwritable payload fields including nested composites. Preserve readable, write-denied initial values for read-only display. Normalize JSON and composite values recursively so nested supported fields remain round-trippable.
+- Update field-type and permissions documentation. Add generator regression checks plus Playwright behavior tests for serialization, validation and role changes. Fail generation for any remaining unsupported required field.
+- Preserve existing generated styling and accessibility labels, avoiding controls which imply unavailable actions (UI design expert, interaction patterns).
+
+No new dependencies or error types required. Semver: fixes in release already planned by root. Run only targeted cargo check locally; root runs generation, TypeScript build/lint, and browser checks in CI. Sign conventional commits; no push.
+
+## CI follow-up: exact browser metadata
+
+Site CI reported TS2352 because full FieldView JSON contains display-only properties. Introduce a dedicated recursive FormFieldSpec serialization type; use it for all template metadata arguments and entity normalizer tables. Remove casts, preserve hidden-descendant/role flags, and test the exact serialized keys at every depth.

.Codex/ui-design-review-site-field-authority.md

@@ -0,0 +1,3 @@
+# UI Design Review
+
+The generated forms imply users can edit values the server will discard. Apply Norman's affordance principle: omit computed inputs, hide unreadable fields, and render readable but unwritable values as inert text. Share gating across validation and payload construction so hidden required controls cannot block saving. Keep existing form styling and labels; provide duration and base64 format hints. Browser regression coverage should assert visible controls and actual submitted payloads for both permitted and denied roles.

.github/workflows/site-e2e.yml

@@ -56,3 +56,14 @@ jobs:
             crates/schema-forge-cli/tests/site_e2e/playwright/test-results
           if-no-files-found: ignore
           retention-days: 7
+
+      - name: Upload complete server logs on failure
+        if: failure()
+        uses: actions/upload-artifact@v7
+        with:
+          name: site-server-logs
+          path: |
+            target/site-e2e-*/backend.log
+            target/site-e2e-*/vite.log
+          if-no-files-found: ignore
+          retention-days: 7

CHANGELOG.md

@@ -7,6 +7,83 @@ is pre-1.0; breaking changes bump the **minor** version per
 
 ## [Unreleased]
 
+## [0.46.0] - 2026-09-25
+
+### Runtime and API behavior
+
+- Validate tenant declarations consistently across startup, CLI schema application,
+  and runtime schema changes. Applications with a tenant root must annotate every
+  application schema; built-in system schemas remain shared.
+- Validate relation targets against tenant scope and read authorization before
+  create, PUT, or PATCH persists. Platform administrators retain their documented
+  cross-tenant capabilities.
+- Apply hidden-field projection to relation display labels and webhook payloads.
+  Webhooks use a fixed conservative field policy and plain JSON payload version 2.
+- Enforce configured webhook URL schemes and public destinations during
+  configuration and delivery. Delivery checks and pins DNS results, with redirects
+  and environment proxies disabled.
+- Reject undeclared entity fields before persistence. Foreign-key errors include
+  machine-readable `error` and `message` fields; entity and schema JSON rejections
+  use the API error envelope. Internal storage diagnostics stay out of REST and
+  GraphQL error messages, and database connection errors omit credentials.
+- Keep authorization resource attributes aligned with the generated Cedar schema,
+  so arrays of unsupported policy types do not incorrectly deny valid writes.
+- Convert nested composite values using their declared field types before storage.
+
+### Database and operator fixes
+
+- PostgreSQL planning and inspection connections perform no bookkeeping DDL.
+  Fresh databases plan as empty registries, and read-only roles can inspect existing
+  metadata without schema creation privileges.
+- PostgreSQL `contains` and `startswith` now match literal, case-sensitive text.
+  Unsupported array filter comparisons return validation errors before execution.
+- `apply` and `migrate --execute` preflight all selected migration plans before
+  applying a noninteractive batch. Refusals identify every destructive schema and
+  step requiring `--force`.
+- Migration warnings display `review` when they are informational. New-table unique
+  constraints are safe, and new schemas retain their `CREATE` label.
+- Explicit listener flags override environment and file settings; omitted flags
+  preserve configuration. An unconfigured server defaults to `127.0.0.1:3000`.
+- Entity CLI requests retry HTTP 429 with `Retry-After` support and bounded fallback
+  backoff, controlled by `--max-retries`. Transport failures are not retried.
+- Document governor quotas, proxy configuration, probe routes, the full write-rule
+  order, and webhook delivery guarantees.
+
+### Generated sites
+
+- Carry the active tenant on entity, invitation, and file requests, including
+  requests retried after a token refresh.
+- Show readable API errors and avoid duplicate global notifications when pages
+  handle errors locally. Projects can customize the preserved error-toast helper.
+- Generate typed duration, map, and base64 bytes fields in forms, lists, and
+  details. Form validation and payload normalization respect computed fields and
+  role-based field access. Composites with protected children remain read-only.
+- Configure the product name, title suffix, and SVG logos and favicon through
+  `[schema_forge.site]` or generation flags. Default marks are neutral, and CSS,
+  title helpers, and SVG assets support template overrides and drift checking.
+- CI now builds and lints generated TypeScript before running browser tests.
+
+### Upgrade notes
+
+Webhook consumers must support `payload_version: 2` and plain JSON field values.
+Hidden fields and fields with field-access annotations are excluded. Webhooks
+remain best effort with no durable history or replay; applications must reconcile
+current state separately when delivery gaps matter. See [webhooks](docs/webhooks.md).
+
+Before upgrading a tenanted deployment, annotate every application schema with its
+intended tenant relationship and migrate existing ownership explicitly. Unannotated
+application schemas are no longer implicitly shared when a tenant root exists.
+See [tenant isolation](docs/tenant-isolation.md).
+
+Migration safety serialization emits `Review`; legacy `RequiresConfirmation` input
+is still accepted. Rust embedders must update webhook event constructor calls to
+pass schema definitions, and handler callers must use the new JSON extractor.
+Workspace crate versions are coordinated for the updated public core/backend types.
+
+Regenerate sites to update owned API and branding helpers. Existing customized
+page shells remain preserved; see the migration instructions for
+[error feedback](docs/generated-site-errors.md) and [branding](docs/site-branding.md).
+
 ## [0.45.0] - 2026-09-24
 
 ### Security and correctness

Cargo.lock

@@ -1056,3 +1056,7 @@ See the project repository for license information.
 Platform administrators can browse recorded audit events and verify bounded chain ranges through the [audit API](docs/audit-api-reference.md). Access is deployment-wide, uses the active framework audit store, and reports collection limits separately from local chain consistency. Available in v0.42.0.
 
 See [safe schema changes](docs/migrations/safe-schema-changes.md) for declared field renames, destructive migration opt-ins, PostgreSQL relation integrity, and explicit tenancy migrations.
+
+See the [webhook delivery contract](docs/webhooks.md) for delivery guarantees, payload format, and destination policy.
+
+Configure product names, title suffixes, and SVG marks with [generated-site branding](docs/site-branding.md).

README.md

@@ -31,8 +31,8 @@ Security fixes go into the latest release. Older versions do not receive backpor
 
 | Version | Supported |
 |---|---|
-| 0.45.x (latest release) | Yes |
-| earlier than 0.45 | No, please upgrade |
+| 0.46.x (latest release) | Yes |
+| earlier than 0.46 | No, please upgrade |
 
 ## Scope
 

SECURITY.md

@@ -1,6 +1,6 @@
 [package]
 name = "schema-forge-acton"
-version = "0.44.0"
+version = "0.45.0"
 edition = "2021"
 
 [dependencies]
@@ -44,7 +44,7 @@ aws-lc-rs = { version = "1", features = ["fips"], optional = true }
 rustls = { version = "0.23", default-features = false, features = ["std", "aws_lc_rs", "logging"] }
 schema-forge-signing = { version = "0.1.0", path = "../schema-forge-signing" }
 lettre = { version = "0.11.22", default-features = false, features = ["tokio1-rustls", "aws-lc-rs", "webpki-roots", "smtp-transport", "builder", "pool", "hostname"] }
-schema-forge-cel = { version = "0.11.0", path = "../schema-forge-cel" }
+schema-forge-cel = { version = "0.12.0", path = "../schema-forge-cel" }
 rust_xlsxwriter = { version = "0.95.0", features = ["chrono"] }
 zip = "8.6.0"
 

crates/schema-forge-acton/Cargo.toml

@@ -220,13 +220,13 @@ pub fn build_resource_entity(
 
     let mut attrs: HashMap<String, RestrictedExpression> = HashMap::new();
     for (field_name, value) in &entity.fields {
-        // `@hidden` fields are never declared as Cedar attributes, so
-        // including them here would fail strict-mode entity validation.
-        // The schema's field definition is the canonical source of the
-        // hidden flag — entities loaded from storage may still carry the
-        // value, but it must not leak into authorization context.
+        // Only types declared by the schema generator may enter Cedar.
+        // Unsupported arrays otherwise become undeclared set attributes,
+        // causing strict validation to reject even permitted operations.
         if let Some(field_def) = schema.field(field_name) {
-            if field_def.is_hidden() {
+            if field_def.is_hidden()
+                || crate::cedar::schema_gen::cedar_type_for(&field_def.field_type).is_none()
+            {
                 continue;
             }
             // The Cedar schema declares file attributes as strings. Supply
@@ -304,10 +304,11 @@ pub fn build_resource_placeholder(schema: &SchemaDefinition) -> Result<CedarEnti
 
     let mut attrs: HashMap<String, RestrictedExpression> = HashMap::new();
     for field in &schema.fields {
-        if !field.is_required() || field.is_hidden() {
-            // Hidden fields are not declared in the Cedar schema, so the
-            // strict-mode entity validator would reject a placeholder that
-            // includes them.
+        if !field.is_required()
+            || field.is_hidden()
+            || crate::cedar::schema_gen::cedar_type_for(&field.field_type).is_none()
+        {
+            // Hidden and unsupported field types have no Cedar attribute.
             continue;
         }
         if let Some(expr) = default_cedar_expr(&field.field_type) {
@@ -378,7 +379,7 @@ pub fn dynamic_to_cedar(value: &DynamicValue) -> Option<RestrictedExpression> {
         }
         DynamicValue::Array(items) => {
             let mapped: Vec<RestrictedExpression> =
-                items.iter().filter_map(dynamic_to_cedar).collect();
+                items.iter().map(dynamic_to_cedar).collect::<Option<_>>()?;
             Some(RestrictedExpression::new_set(mapped))
         }
         DynamicValue::Null | DynamicValue::Json(_) | DynamicValue::Composite(_) => None,
@@ -424,6 +425,15 @@ mod principal_claim_tests {
         PrincipalClaimsConfig,
     };
 
+    #[test]
+    fn array_projection_does_not_silently_drop_unrepresentable_members() {
+        let value = DynamicValue::Array(vec![
+            DynamicValue::Integer(1),
+            DynamicValue::Json(serde_json::json!({"value": 2})),
+        ]);
+        assert!(dynamic_to_cedar(&value).is_none());
+    }
+
     fn claims_with(custom: HashMap<String, serde_json::Value>) -> Claims {
         Claims {
             sub: "user:alice".into(),