Skip to content

Add deterministic, native-verified schema examples (S3) - #39

Merged
ThorFuchs merged 16 commits into
mainfrom
codex/1.6-schema-examples
Oct 16, 2026
Merged

ThorFuchs merged 16 commits into
mainfrom
codex/1.6-schema-examples

Conversation

@ThorFuchs

@ThorFuchs ThorFuchs commented Oct 15, 2026 •

Copy link
Copy Markdown
Owner

Change

Adds opt-in JSONSchemaExamples: deterministic exact candidates over immutable offline schema plans, returned only after a complete native verdict against the original root. Declared hints, conservative typed proposals, static references, contains minima and bounded ASCII-pattern proposals share one cumulative generation ledger. Unsupported construction, incomplete search, sound trivial proofs and operational failure remain distinct.

Reconciles main 7d72c88 (composition #35 and Navigation #38) on this branch without changing those implementations. Nine products/eight libraries, private runtimes, empty dependencies, Swift tools6.4/language6 and Apple27 minima remain intact. All49 caps,126 restored maintenance identities, exact discovery and existing CI protection names/policies are preserved.

Validation and review

Runtime integration: 130823a5c8af47e21251f271df50a948c73cb9a1; final documentation closure: 75b4e4fa4e5181deb1ffd361121c97fdf71684eb. The successor changes only four documentation/progress files.

  • Native Debug/Release and ASan695 functions/325 parameter invocations; TSan47; strict memory and explicit128-scope corpus lifetime probe.
  • Linux ARM64/x86_64 each679/325 Debug/Release/ASan, TSan46, strict memory and unsuppressed ASan/LSan lifetime qualification. Composition’s separate lane preserves12 core functions, five external functions, eight cells/five completions/three operational refusals and11 compiler negatives.
  • Full WASI79-command lane: Node591 functions/288 parameters in both configurations, public WasmKit scope, pinned suites,49caps, strict memory and resource failures. Public S3 replay also passed on Node and WasmKit.
  • Eight native DocC catalogs and1,077 documented authored symbols; all60 S3 declarations unchanged. Ten compiled S3 snippets,15 public cases, two access-control negatives and eight implementation-ownership negatives.
  • Actual manifest-backed archive; byte-equal rebuild and full38-command Git-free native reproduction. Linux clean extraction covers Release build, six focused resource/integrity tests and public consumer, distinct from the full root runs.
  • Fresh iPhoneOS/iPhoneSimulator builds for S3 and Navigation; iPhone/iPad simulator acceptance. Five current platform/engine matrices match exact values, traces, digests and work. Separate512-case exact research oracle has zero disagreements.

Initial combined-source Native and Linux; final-source Native and Linux. See G8 qualification and reconciliation. Local materialized raw receipts, source archives and review manifest are retained in the maintainer G8 combined-source bundle.

Boundary

G8 agent source/API/resource/evidence review is complete for its stated scopes; no independent human approval is asserted. Policy cases are separate from evaluated successes; no arbitrary-schema completeness, controlled throughput, RSS or caller-instruction claim. The physical iPhone was disconnected, so no new device pass is claimed; physical iPad retains the accepted simulator policy. Historical evidence remains source-bound.

Keep this PR draft for owner review. Merging, post-merge CI, tags, release publication and Pages deployment are separate. Sibling work is untouched.

@ThorFuchs
ThorFuchs marked this pull request as ready for review October 16, 2026 09:35
@ThorFuchs
ThorFuchs merged commit c79d48c into main Oct 16, 2026
9 checks passed
@ThorFuchs
ThorFuchs deleted the codex/1.6-schema-examples branch October 16, 2026 09:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant