ThorFuchs · Oct 28, 2026 · Oct 28, 2026 · Oct 29, 2026
@@ -1,9 +1,9 @@
 # Contributor instructions
 
-Prepared release source is 1.7.0; publication is a separate owner action. Its
-parent development line is 1.7.0-dev and stable 1.6.1 remains separate. This is
-not a maintenance release or the frozen 6fe8067 RC. Preserve all source-bound
-qualification history; source integration never publishes a version.
+Development source is 1.8.0-dev, based on published 1.7.0 at
+8557badef562cf2f059e964c113d4a7f60ecbe6c. Stable 1.6.1 remains a separate
+maintenance line. Preserve every source-bound qualification record. No 1.8
+merge/tag/publication follows from implementation or passing tests.
 
 Swift-JSON requires Swift tools/compiler 6.4+, Swift language mode 6 and
 macOS/SDK 27+. Read README.md, CONTRIBUTING.md and the relevant contracts in
@@ -50,10 +50,13 @@ Scalar scanning and immutable plan-local regex sharing are selected private
 optimizations. Source-attached N3 snapshots and P1 tree/sparse-table projections live in JSONInspection.
 NAV10 set/matrix and NAV11 directed-simple-graph APIs are development capabilities
 inside JSONInspection; no graph product, mutation or serializer is introduced.
-Private NAV12 store construction/preparation remains package-only and shares one
-original invocation ledger; no public store/follow API or persistence is exposed.
-Wider retrieval/persistence, NAV13 batches and JSON text-sequence framing remain
-separate, unadmitted work.
+The 1.8 candidate promotes the checked immutable configured store inside
+JSONInspection and adds ordered path/snapshot/store value batches, exact-ID lookup
+and bounded complete BFS follow. Preserve the original construction phases and
+one invocation-owned ledger per operation. Positions remain unforgeable and
+source-instance-local. No persistence or mutable store is exposed. See
+Documentation/Architecture/StructuralIntelligence/BoundedWorkflows1.8.md.
+Wider retrieval/persistence and JSON text-sequence framing remain separate work.
 
 JSONTransform uses one private compiler/VM and the CLI's accounted adapter.
 Preserve its accepted 42 authored declarations and exact semantics. The original

@@ -1,5 +1,28 @@
 # Changelog
 
+## Unreleased — 1.8.0-dev
+
+- Extend public acceptance across schema validation, store/transform reads and
+  checked Patch rebuilds, with exact numeric/scalar identity and lifecycle cases.
+- Add a frozen capacity/owned-counter matrix and compiled cross-product recipes;
+  distinguish diagnostic refusals from completed cells and logical retention from
+  timing, RSS and allocations. Library APIs/algorithms and default policies unchanged.
+
+- Add ordered typed-path, snapshot-ordinal and store-position value batches using
+  one cumulative native ledger per batch, complete source admission and atomic results.
+- Promote the original checked configured-store profile/construction inside
+  JSONInspection; add exact-ID lookup and finite complete BFS reference following.
+- Preserve exact numbers/scalar identity, unforgeable source-local positions,
+  explicit absent/null/link states and original construction error precedence.
+- Add external SwiftPM examples, ordinary compiler refusals, boundary/lifecycle/
+  concurrency tests and exact scoped CI discovery. Qualification remains source-bound;
+  no 1.8 release or performance/platform pass is implied.
+
+## Publication note — 28 October 2026
+
+Version 1.7.0 was published from 8557badef562cf2f059e964c113d4a7f60ecbe6c.
+The preparation records below retain their original historical wording.
+
 ## 1.7.0 — prepared source; publication separate
 
 - Reconcile admitted set/matrix APIs with the reviewed public directed graph,

@@ -1,3 +1,15 @@
+# 1.8 scoped workflow qualification
+
+This isolated development source is 1.8.0-dev from published 1.7.0.
+Run `python3 Scripts/ci.py --lane structural-workflows` for exact Debug/Release
+behavior, preserved store cases and public compiler/consumer checks. M2 adds
+`--lane structural-acceptance` and `--lane structural-acceptance-safety` for exact
+public cross-product cases, deterministic capacity observations and their safety
+checks. These extend the existing gates. Run
+`--lane structural-workflows-safety` for scoped ASan, shared-state TSan and strict
+memory checks; complete native/Linux/docs/WASI gates still apply before release.
+Do not infer a pass when storage or an actual supported runtime is unavailable.
+
 # Contributing
 
 Choose the source line deliberately: maintenance changes use the 1.6 line;

@@ -1,3 +1,16 @@
+# 1.8 additive API candidate
+
+The latest released source is 1.7.0 (8557bade); this feature source is 1.8.0-dev.
+No product or dependency is added. JSONInspection now includes
+`JSONInspectionBatch`, snapshot ordinal batches, public `JSONStoreBuilder`/
+`JSONConfiguredStore` and typed profile/metadata/error declarations, exact-ID
+lookup, position value batches and finite complete BFS follow.
+See [the exact behavior/ownership boundary](StructuralIntelligence/BoundedWorkflows1.8.md)
+and [qualification](../Qualification/Release1.8.md).
+Navigation public signatures stay unchanged; its new selection capability is
+package-only and uses the original admitted scope. Earlier inventories below
+remain historical; compiler graphs must establish the final additive surface.
+
 # Current API inventory
 
 Unreleased 1.7.0-dev consolidation has twelve library products plus swift-json and

@@ -355,6 +355,17 @@
       "attribution": "Apache-2.0 prototype SPDX retained; original integration cases extend actual-engine qualification.",
       "validation": "Scripts/ci.py --lane dsl; native and safety exact discovery",
       "evidence": "Actual-engine Debug/Release/ASan receipts and real public consumer"
+    },
+    {
+      "component": "1.8 bounded structural workflows",
+      "source": "Original Swift-JSON implementation over the existing native prepared traversal and NAV12 checked store construction",
+      "paths": [
+        "Sources/JSONInspection/JSONInspectionBatch.swift",
+        "Sources/JSONInspection/Store/JSONStoreQueries.swift",
+        "Examples/BoundedWorkflows"
+      ],
+      "validation": "Exact Debug/Release behavior, preserved 65 store vectors, public SwiftPM consumer, codegen negatives and safety/docs/platform gates; see Documentation/Qualification/Release1.8.md for actual status",
+      "dependencies": "No new dependencies or numeric/key/schema authority; Apache-2.0 original contributions"
     }
   ],
   "original_implementation_notes": [

@@ -0,0 +1,80 @@
+# 1.8 bounded structural workflows
+
+Implementation contract for the maintainer-authorized 1.8 feature branch from
+published1.7.0 (8557bade). This is an additive implementation, not merge or release
+approval. Original NAV12 construction fixtures, failures and qualification retain
+their source-bound historical meaning; public promotion adds its own evidence.
+
+## Batch reads
+
+JSONInspectionBatch returns exact values for ordered typed paths. Snapshot values
+accept ordered snapshot-local ordinals. Store values accept owner-bound positions.
+Repeats are preserved and charged; empty requests still admit the complete source.
+An invocation returns all results or throws, never publishes a partial result and
+never substitutes null for an invalid selection. Explicit JSON null remains a value.
+
+Each batch creates one original native read/traversal scope. Profile/request work,
+one complete canonical source/source-map admission, every selection and output
+slot share its ledger. It does not loop over independently admitted public reads.
+Request counts are inclusively capped (default1024); native path/work/retention/
+cancellation caps remain. Output JSON aliases follow existing requiredValue/read
+semantics; subsequent caller copies/work are outside library-owned quotas. Logical
+slot accounting is conservative policy, not heap/RSS or throughput measurement.
+
+## Immutable public configured store
+
+Promote the existing typed closed construction profile and checked store facade
+inside JSONInspection; no new product, parser, database, resolver or index engine.
+References stay disabled unless explicitly configured. Strict markers retain exact
+collection/id spelling; only declared fields are interpreted. Preserve all eight
+construction phases, duplicate/error precedence, first/second locations, source
+spans, source-local owner tokens and the original one-ledger preparation/admission.
+The twelve existing construction ceilings remain finite policies, not calibrated
+joint capacity guarantees; the49 core metrics and all fixtures remain unchanged.
+
+Fixed record/collection/reference metadata access is trusted bounded-memory access.
+Lookup, value batches and follow are separately reported operations, independent
+of construction. Each admits the captured source once and reserves its immutable
+metadata aliases; helpers cannot reset budgets or attach another source. Lookup
+uses decoded scalar names/IDs, returns nil for a missing ID in a known collection,
+and throws unknownCollection for an undeclared collection. Position construction
+and the fully admitted store initializer remain inaccessible to external callers.
+
+Follow is deterministic breadth-first over configured link slots in field order,
+including its starting position exactly once. Absent/null slots remain distinct
+metadata and contribute no edge. Cycles use visited physical positions, not string
+normalization or recursive callbacks. Depth, frontier, visited and result ceilings
+are inclusive and finite. An unvisited reachable node exceeding any ceiling throws;
+no depth-truncated or partially successful closure is returned. Owner mismatch is
+an error. This operation performs no I/O and creates no persistent identity.
+
+## Compatibility and qualification
+
+Existing singular reads/traversal/graph/Transform semantics and public signatures
+remain unchanged. A caller pipeline is not implicitly one global ledger. New
+source needs actual Debug/Release, public consumer and compiler-boundary evidence,
+cancellation/late-failure/resource cases, supported safety/platform lanes and DocC.
+Update exact discovery identities/cardinalities rather than relaxing them. Reuse
+original independent fixtures and49 caps; add explicit new batch/follow policy
+cases. Keep partial profiling/G4 HOLD and the1.7-only P4 exception historical;
+1.8 performance is unqualified until measured or explicitly dispositioned.
+
+No persistence, public mutable store, online lookup, new query grammar, lower
+platform floor, parallel batch execution or wider retrieval belongs to this wave.
+
+## M2 application acceptance and counter observations
+
+Schema validation, store construction, reads, transformation and Patch remain
+separate public operations with independent reports. A recipe does not attach a
+replacement ledger or claim a pipeline-wide budget. Ordinary schema invalidity,
+operational quota failure and root removal remain distinct. Patches require a
+new source wrapper/store; old positions and source spans do not silently migrate.
+Accepted bytes of an awaited sink cannot be recalled after cancellation.
+
+The authored public examples and Integration behavior cases qualify those
+boundaries without changing any engine API. The capacity matrix in
+Documentation/Qualification/StructuralWorkflows1.8Matrix.json records fixed
+fixtures, exact boundaries and separately reported diagnostic refusals. Its
+counter comparisons are not elapsed-time, allocation or RSS evidence. Existing
+49 core metrics, twelve construction caps, profile defaults, fixture identities,
+performance review trigger and controlled-performance holds are unchanged.
@@ -1,3 +1,12 @@
+# 1.8 source authority — 28 October 2026
+
+The 1.8 candidate starts at published 1.7.0 commit
+`8557badef562cf2f059e964c113d4a7f60ecbe6c`, tree
+`c914b8914c9130a3a07a3ed82fb41dde33c37402`. The maintainer commissioned
+bounded batches and the immutable public store; see [the contract](BoundedWorkflows1.8.md).
+Earlier private-only/pending status remains truthful for the dated sources below.
+Qualification and merge/release acceptance of this successor remain separate.
+
 # Structural source authority
 
 ## Consolidated development edition — 25 October 2026