Add structured JSONHTML layouts and bounded native previews

CHANGELOG.md

@@ -2,6 +2,11 @@
 
 ## Unreleased
 
+- Add structured JSONHTML layouts with finite string, color, declared raster, inline
+  and atomic MathML previews; preserve exact source, complete export/print and shared
+  CLI policy. Native, browser and WASI evidence is recorded with remaining assistive
+  and host qualification boundaries.
+
 - Add E2's shallow JSON parsing, checked object construction, decimal-text and
   pre-parsed Pointer entry points; exact-key membership and three-state presence
   composition; and direct validation from an immutable compiled schema plan.

Documentation/Architecture/API.md

@@ -14,7 +14,7 @@ in the [README](../../README.md) are compiled and executed by the public consume
 | JSONStreaming | JSONEventSequence, JSONValueSequence, NDJSONValueSequence, JSONTopLevelArraySequence, JSONAsyncWriter | Exclusive pull state, shared codec, strict framing and awaited handoffs |
 | JSONPatch | JSONPatch, JSONPatchOperation, JSONPatchResult, JSONMergePatch | Transaction staging, exact comparison and iterative editing |
 | swift-json | format, validate, pointer, patch, query, stream, schema, render | Bounded process/file adapters and private CLI engine/filter runtime; no public query library |
-| JSONHTML | JSONHTMLRenderer, JSONHTMLRenderingOptions, JSONHTMLLimits, JSONHTMLRenderReport, JSONHTMLAnnotation, JSONExportDocument, JSONExportOptions, JSONExportReport | Exact HTML, native Apple transfer, immutable prepared JSON/text/Markdown/static HTML/opt-in styled RTF and cumulative budgets |
+| JSONHTML | JSONHTMLRenderer, JSONHTMLRenderingOptions, JSONHTMLLimits, JSONHTMLRenderReport, JSONHTMLAnnotation, JSONExportDocument, JSONExportOptions, JSONExportReport | Structured forms/cards and bounded native previews, exact HTML, native Apple transfer, immutable prepared JSON/text/Markdown/static HTML/opt-in styled RTF and cumulative budgets |
 
 JSON imports no siblings. JSONSchema depends on JSON and package-private
 JSONRegexRuntime. Streaming, Patch, HTML and Bridges depend on JSON. There are seven public products: six libraries and the swift-json executable,
@@ -213,6 +213,14 @@ Caller annotations use exact typed paths, explicit missing-parent attachment and
 coherent value byte spans without schema execution or source-byte archival.
 See [diagnostic rendering](Release1.3/DiagnosticAnnotations.md).
 
+## Structured HTML and previews
+
+Layout and presentation are orthogonal. Direct defaults are structured interactive
+inspection; prepared/transfer defaults are structured static complete values. Typed
+preview hints, the closed inline/MathML dialect and finite eligibility counters are
+defined in [the additive contract](Release1.3/StructuredPreviews/APIAndPolicy.md).
+Core exact values, native writer defaults and all 49 metrics retain their meanings.
+
 ## Provider-specific schema fragments (1.4 development)
 
 `OpenAIJSONSchemaBridge(profile:limits:)` in JSONSchema provides `check`/`checkWithReport`,

Documentation/Architecture/ExtractionManifest.json

@@ -189,6 +189,56 @@
       "validation": "Tests/JSONSchemaTests/EvaluationOutputTests.swift",
       "evidence": "Scripts/ci.py: current native, safety and documentation receipts"
     },
+    {
+      "repository": "ThorFuchs/Swift-JSON approved structured design",
+      "commit": "b078e86df3403d7f890107303066fdbc24414f70",
+      "original_path": "approved HTML/CSS/JS and enrichment gold fixtures in consolidated revision 0.2",
+      "destination": "Sources/JSONHTML/Assets and Tests/JSONHTMLTests/Fixtures/Enrichment",
+      "disposition": "Visual guidance and original native adaptation; enrichment test inputs copied byte-for-byte. No reference demo payload/runtime code is executed as a parser or shipped UI authority.",
+      "attribution": "Original project material, Apache-2.0; existing project/upstream notices retained.",
+      "fixture_files": [
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/README.md",
+          "sha256": "a471b445fa1f1492d01537c6774fd26c62389bf0630f456f00f2261be58c3aaa"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/base64-cases.json",
+          "sha256": "1e5a1db4a549db39042a94fd136b07143852d5206cf4451ef2693823f228f671"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/colors.json",
+          "sha256": "8b5e50d5a471f3ea116cf5cc30bc60c19f50e7a1c69e0067cae2b8696b7993e6"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/inline-cases.json",
+          "sha256": "dbb3a2c22c00cc9deb09266297364b92d3cfeaffa5e06735c6464e071ee65e27"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/math-cases.json",
+          "sha256": "7a69b554993ad67d6ed1886488ef3a90cdf570ff3fc0081c548632c9ea900e46"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/media.json",
+          "sha256": "eb6a8ae4188114e55b9ed29e6eb1e44e219c2d50cda9717f83b0733a44a1a331"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/oversized-header.png",
+          "sha256": "c0c9273e7eb56ec7db3669e2f894a31811a98bea731842465a5967d0ee5e3f62"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/sample.jpg",
+          "sha256": "cbfd30bbdf155b2fd1aa5e0253e2d47cc21c60bd508e4e3fb9d93be143b624f4"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/sample.png",
+          "sha256": "60d5457a4640d49877e80d18e52005f10ed9ae807688c97f6f1458ea4975147b"
+        },
+        {
+          "path": "Tests/JSONHTMLTests/Fixtures/Enrichment/strings.json",
+          "sha256": "6a4d6a8d46f6b48cd166eea7a8fe7ec5e6e2b463907fa3da12a90d294ffb0486"
+        }
+      ]
+    },
     {
       "repository": "Swift-JSON original implementation",
       "scope": "JSONSchema portable provider profiles/checks, exact Responses fragments and CLI C5 adapters",
@@ -207,11 +257,19 @@
     "Schema graph, explicit evaluator, exact sets/assertions and scalar format recognizers are original implementations from Draft 2020-12, RFC3986/3987/3339/3492/5321/5891/5892/5893/6531/6570/6901 and fixed Unicode13 data.",
     "Private FIPS 180-4 SHA-256 is an original Swift implementation with checked cumulative production accounting, bounded scratch and inner cancellation. The separate trusted fixture tool mirrors its primitive core byte-for-byte; public_check verifies parity. No CryptoKit fallback or runtime dependency is introduced.",
     "JSONHTML formatted rendering, original fixed CSS and shared strict-writer token classification are original Apache-2.0 code. No third-party renderer, browser numeric authority or runtime dependency is adapted.",
-    "JSONHTML typed annotations, iterative exact-path binding, static/interactive attachment and coherent JSONDocument span presentation are original Apache-2.0 code. No schema engine, third-party renderer, source archive or new dependency is adapted.",
     "CLI foundation, argv parser, POSIX adapters, prepaid bounded diagnostics and shared-meter package adapters are original Apache-2.0 Swift code. No legacy filter engine or jq source is copied. See Release1.4/Foundation.md for native test-harness reuse provenance.",
-    "Tests/Fixtures/CLI/NewCases.json is the byte-identical 111-case authored CLI briefing fixture, SHA-256 6f863f3e98d2dea12e59018e7cf3a074ae0ebee5f1ab950a651df72e5eb18a4c. Fixture expected JSON texts use native exact comparison, not a floating-point oracle. The query compiler/VM and lifetime ledger are original Apache-2.0 implementations; no legacy eager evaluator or jq implementation is copied."
+    "Tests/Fixtures/CLI/NewCases.json is the byte-identical 111-case authored CLI briefing fixture, SHA-256 6f863f3e98d2dea12e59018e7cf3a074ae0ebee5f1ab950a651df72e5eb18a4c. Fixture expected JSON texts use native exact comparison, not a floating-point oracle. The query compiler/VM and lifetime ledger are original Apache-2.0 implementations; no legacy eager evaluator or jq implementation is copied.",
+    "JSONHTML typed annotations, iterative exact-path binding, static/interactive attachment and coherent JSONDocument span presentation are original Apache-2.0 code. No schema engine, third-party renderer, source archive or new dependency is adapted.",
+    "Structured forms/cards, finite prefix/preview staging, closed inline scanner, atomic mini-math MathML emitter, canonical PNG/JPEG header admission and line/media-bounded PDF pagination are original Apache-2.0 code. The approved structured concept informed the fixed CSS/JS; no demo Site content or external parser/renderer/codec engine is distributed."
   ],
   "policy": "Record actual adaptations and retain applicable upstream copyrights and licenses. Reference inputs and comparison experiments are not distributed runtime dependencies.",
+  "original_notes": [
+    "1.4 C3 decimal magnitude, rational/quantization kernel, pull range and type-directed overloads are original Apache-2.0 code. The 738-case deterministic oracle uses Python integer/Fraction arithmetic; no jq/Rhoe arithmetic implementation was copied.",
+    "1.4 inherited CLI qualification fixtures are copied byte-for-byte: RhoePlatform/RhoeJSON pin 51d37acc137422065b07ebeb7e4ecdb2d02b99ee, 119 golden and 49 subset rows. Apache-2.0 license retained in Licenses/RhoeJSON-CLI-Fixtures-Apache-2.0.txt. PlanningDispositions labels are provisional, not evaluated successes. New explicit-stack CLI code is original; old eager JSONValue evaluator and arithmetic were not ported.",
+    "1.4 C4 immutable IR/function/pattern metadata, invocation closures/thunks, continuations, scalar string and format helpers, root-provenance paths and transactional mutation are original Apache-2.0 code. No eager upstream evaluator, Foundation regex or approximate arithmetic was copied.",
+    "1.4 C5 stream/offline-schema adapters, checked sink handoff, command help and consumers are original Apache-2.0 code. Five NewInputs fixtures are copied byte-for-byte from the maintainer CLI briefing pack 43f8819c57e3d93bc6f7cf561d2d111442e089f2973cb7c62e16e3bd3fd73d0d; these authored data fixtures introduce no runtime dependency. Missing provider helper prerequisites remain blocked rather than adapted or silently rewritten.",
+    "1.4 checked schema resource lookup and its missing/quota/cancellation/install regressions are original Apache-2.0 code. Supported app/framework/command layouts retain all nine official resource pins; no unbounded directory scan, fallback engine or external dependency is introduced."
+  ],
   "jsonhtml_export_original_contributions": {
     "license": "Apache-2.0",
     "adapted_third_party_code": false,
@@ -220,12 +278,5 @@
     "framework_boundary": "Conditional CoreTransferable/UniformTypeIdentifiers plus a narrow explicit main-actor Apple PDF boundary using WebKit, CoreText, CoreGraphics and AppKit/UIKit paragraph styles. Core JSON imports none of these; no new root dependency.",
     "rtf": "Original bounded strict-token emitter; AppKit/UIKit native decoding only in tests and qualification consumers, not generation.",
     "pdf": "Original invocation-owned lifecycle, finite adapter accounting and visible-range pagination using Apple SDK APIs. PDFKit is independent qualification only; no third-party renderer adapted."
-  },
-  "original_notes": [
-    "1.4 C3 decimal magnitude, rational/quantization kernel, pull range and type-directed overloads are original Apache-2.0 code. The 738-case deterministic oracle uses Python integer/Fraction arithmetic; no jq/Rhoe arithmetic implementation was copied.",
-    "1.4 inherited CLI qualification fixtures are copied byte-for-byte: RhoePlatform/RhoeJSON pin 51d37acc137422065b07ebeb7e4ecdb2d02b99ee, 119 golden and 49 subset rows. Apache-2.0 license retained in Licenses/RhoeJSON-CLI-Fixtures-Apache-2.0.txt. PlanningDispositions labels are provisional, not evaluated successes. New explicit-stack CLI code is original; old eager JSONValue evaluator and arithmetic were not ported.",
-    "1.4 C4 immutable IR/function/pattern metadata, invocation closures/thunks, continuations, scalar string and format helpers, root-provenance paths and transactional mutation are original Apache-2.0 code. No eager upstream evaluator, Foundation regex or approximate arithmetic was copied.",
-    "1.4 C5 stream/offline-schema adapters, checked sink handoff, command help and consumers are original Apache-2.0 code. Five NewInputs fixtures are copied byte-for-byte from the maintainer CLI briefing pack 43f8819c57e3d93bc6f7cf561d2d111442e089f2973cb7c62e16e3bd3fd73d0d; these authored data fixtures introduce no runtime dependency. Missing provider helper prerequisites remain blocked rather than adapted or silently rewritten.",
-    "1.4 checked schema resource lookup and its missing/quota/cancellation/install regressions are original Apache-2.0 code. Supported app/framework/command layouts retain all nine official resource pins; no unbounded directory scan, fallback engine or external dependency is introduced."
-  ]
+  }
 }

Documentation/Architecture/Release1.3/Progress.json

@@ -306,5 +306,116 @@
       "Representative calibration only; no maximum-workload/RSS/opaque SDK instruction guarantees",
       "Formatted audible speech not part of the new interactive annotation check"
     ]
+  },
+  "structured_preview_increment": {
+    "briefing_revision": "0.2",
+    "release_assignment": null,
+    "branch": "codex/jsonhtml-structured-previews",
+    "status": "L5/P5 scoped qualification complete; dependent draft PR remains unmerged",
+    "native_library_head": "76e4b262c4247ca3784b62b97bc21321e43d4044",
+    "source_preserving_cli_base": "aded3c9930f580bd4fb902bba002ab75ed199a7b",
+    "native_functions": 372,
+    "native_parameter_cases": 325,
+    "core_metric_count": 49,
+    "browser_cases": 76,
+    "supplemental_browser_contexts": 48,
+    "ipad_simulator_cases": 73,
+    "preview_policy_ceilings": 22,
+    "requirements": 110,
+    "scenarios": 88,
+    "calibration_configurations": 96,
+    "remaining": [],
+    "qualification_contract": "StructuredPreviews/Qualification.md",
+    "history_preserved": true,
+    "publication_performed": false,
+    "wasi": {
+      "source_head": "7fe0226",
+      "status": "passed",
+      "probes": 71,
+      "functions_per_configuration": 277,
+      "parameters_per_configuration": 288,
+      "public_consumer_functions": 14,
+      "cap_metrics": 49,
+      "mcp_server_claim": false
+    },
+    "qualification_follow_up": {
+      "source_head": "d89be60b66e753bb5f4be1b414710ab8c6155376",
+      "hosted_native_run": 38657093294,
+      "hosted_linux_run": 38657093290,
+      "hosted_checks_passed": 7,
+      "linux_architectures": [
+        "x86_64",
+        "arm64"
+      ],
+      "linux_functions_per_configuration": 356,
+      "linux_parameters_per_configuration": 325,
+      "physical_iphone_cases": 73,
+      "physical_iphone_artifacts": 8,
+      "native_safari_contexts": 16,
+      "native_safari_scope": "Accessibility/control smoke; selected five responsive widths, console/network; separate automated layout/zoom scope retained",
+      "voiceover": "Maintainer manually confirmed field/type/index, disclosure state and inline math; original off preference restored",
+      "additional_public_swift_testing_functions": 6,
+      "additional_search_cases": 9,
+      "history_preserved": true,
+      "library_changes": false
+    },
+    "qualification_touch_follow_up": {
+      "tested_source_head": "e0d5f0c26519c3eaa5faaa62f4104cc10ad5c419",
+      "hosted_native_run": 38673549572,
+      "hosted_linux_run": 38673549500,
+      "hosted_checks_passed": 7,
+      "requirements_passed": 110,
+      "scenarios_passed": 88,
+      "physical_iphone_consumer_cases": 73,
+      "physical_iphone_consumer_artifacts": 8,
+      "physical_touch": "Maintainer confirmed requested tab/disclosure/search, media, rotation and script-off access after fixture findings; bounded native observation supplements the manual result",
+      "fixture_findings": [
+        "Original 4x4 admission samples decode but are too small for recognizable visual QA",
+        "Inline expressions crossing the finite prefix or destination ceiling remain literal; compact 415-scalar image qualified"
+      ],
+      "library_changes": false,
+      "limits_widened": false,
+      "history_preserved": true,
+      "merge_tag_publication_performed": false
+    },
+    "advanced_cli_base_reconciliation": {
+      "feature_parent": "1fd32d19b4e16891073cb9fdba7ecdcc7660bf88",
+      "cli_base": "c3760730dc333a84810bba53cde4da339ada90af",
+      "contract": "StructuredPreviews/Reconciliation.md",
+      "source_reconciled": true,
+      "html_implementation_tests_consumers_unchanged": true,
+      "provider_implementation_tests_fixtures_preserved": true,
+      "qualification_policy": "Fresh combined-source CI receipts required; original qualified-source and physical-observation histories retained. Exact outcomes are materialized separately.",
+      "expected_apple_functions": 393,
+      "expected_linux_functions": 377,
+      "root_parameter_cases": 325,
+      "expected_wasi_functions": 290,
+      "wasi_parameter_cases": 288,
+      "merge_tag_publication_performed": false
+    },
+    "approved_bridges_cli_reconciliation": {
+      "feature_parent": "e1b82a583f66afffeec992a95a6e08ad36a1c3f0",
+      "cli_base": "aab19ce3414b80e5fef69ffd1d895bd0a2c2cadb",
+      "maintainer_approved_bridges": true,
+      "public_library_count": 6,
+      "public_executable_count": 1,
+      "expected_apple_functions": 419,
+      "expected_linux_functions": 403,
+      "root_parameter_cases": 325,
+      "expected_apple_shared_functions": 15,
+      "expected_linux_shared_functions": 14,
+      "expected_wasi_functions": 316,
+      "wasi_parameter_cases": 288,
+      "qualification_policy": "Fresh combined-source receipts required; parent receipts immutable; unchanged HTML physical/browser evidence retains its scoped source identity.",
+      "contract": "StructuredPreviews/Reconciliation.md",
+      "merge_tag_publication_performed": false
+    },
+    "final_merge_review": {
+      "finding": "Existing main export lane and event I/O diagnostics were absent from the reconciled harness",
+      "resolution": "Restore main export commands/CLI choice and diagnostic receipt fields; retain combined [1,39] focused discovery guard",
+      "library_cli_asset_fixture_changes": false,
+      "qualification_policy": "Fresh hosted required checks and actual local export lane; unchanged implementation/WASI receipts retained through equivalence",
+      "merge_authorization": "Maintainer requested ready and merge after checks/reviews pass; tags/publication separate"
+    }
   }
 }