ACGN v2.17

ACGN v2.17

Assurance-only release completing five bounded certificate-record and
retained-source binding tasks. Production canonicalization, repair distances,
rewards, certificate semantics and experimental runners are unchanged.

Repaired Scope

• P3-04: complete 17-field law records and independent registry reconstruction, with actual KERNEL verifier observations.
• P3-05: complete flat source trees, splice ledgers and application traces.
• P3-06: ordered container inputs, outputs and fibers, preserving Seq order, Bag multiplicity and Set quotienting.
• P3-12: canonical wire grammar, Java UTF-16 table ordering and content-ID preimages.
• A2-12: deterministic phase/child occurrence paths and retained-source content/provenance bindings.

The package supplies 85 model theorems, including general structural
contracts and a Unicode boundary witness, plus 538 generated Lean replay
propositions over 700 Java observations. It checks 96 Lean negatives
and 54 compiler-resolved source controls in each of two isolated builds.
All 1,106 deterministic artifacts matched in the completed local run.

The shared suite passed all 50 Java entry points, the distance-artifact
regeneration smoke test, and the independent producer/verifier harness.
There are 75 new Python orchestration/encoder tests. Independent bounded
reviews cover the harness and both semantic areas; their reports and corrective
addendum are retained with the failed first integration attempt.

The matrix now reports 112 ready requirements and 105 diagnostics.
PROVED/DIRECT means general model contracts with bounded direct conformance,
not universal Java/parser refinement or full artifact closure. SHA-256 and
collision resistance remain trusted; encoded-string or hash injectivity is
not asserted. No new rewrite law or theory authority is admitted.

Final Verification

Packaging/tag commit: 1e2667351532b0c632166fa21ae5fbc7308a8fe7.

Exact-commit Actions: https://github.com/AlexandervonWu/ACGN/actions/runs/34330242825

The extracted release archive returned VERIFIED, with all five frozen
claims passing, zero unresolved claims, two successful clean builds, and
identical deterministic artifacts. Final closure:
fifth-five-v1-c43c4ccf1e7e6251; input root:
c43c4ccf1e7e625118f2141b605dd41bf4b36cccaf6bf53dfb825365767e654f.

All five exact-commit Actions jobs passed. The downloaded fifth-five CI
report is also VERIFIED and has the same input manifest and root hash as
the extracted archive. The fourth-five CI replay separately returned VERIFIED
with two deterministic clean builds (root
e61c965e1e9cd4d4866d7276f0c650b99a453e5a294e26f56ab15fd38a07396a).
Final reports, input manifests, build ledgers and raw logs are retained in
the verification receipt archive attached below.

The prepackaging report retains its own input root. A corrected KERNEL-level
matrix label and trailing-whitespace cleanup changed the packaging inputs;
the final checks regenerate evidence rather than inherit an earlier VERIFIED
status across that change.

Preserved Experimental Provenance

All 898 existing classes in the v2.16 experimental JAR match the fresh
build byte-for-byte. This release changes assurance sources, tests and
documentation only. No full-corpus rerun was needed or is claimed.

• Full-corpus source: 8ad5fead39b687d2cadc79b01ac27743c1ece990.
• Full-corpus publication run: db9f89bf-0965-4d74-8080-d9191d5f1aec.
• All 5,808 imported outputs, empirical trees, historical manifests and the original full-corpus JAR remain unchanged.
• Separate v2.16 validation run: 659e248c-d3d6-4a2b-8d99-67a0ebcf9eb4, source 8feab00f9190482af6a25334af5b2716653f8ac9, with 29 successful sampled checks.

The attached JAR is that existing v2.16 validation JAR, not a rebuild and
not the JAR that produced the preserved full-corpus measurements. The new
assurance source, proofs, tests and evidence are supplied in the archive.

Certificate coverage remains bounded and fixture-scoped:
1 VERIFIED, 2 UNCHECKABLE, 0 REJECTED. All 31 trusted-pin checks pass, and
the parsed PAIR retains two distinct source hashes. Existing test authority
does not confer general production or corpus-wide certification.

Assets

• acgn-experiments.jar: 2,549,918 bytes, SHA-256 67e7dd088ef864a9170178e6b6c963a2c339836fa88b25cffe8e20788714f04a.
• acgn-v2.17-assurance.tar.gz: SHA-256 9f8cb0afe7c3622c7dad738166209ece9c927d3337ba9bbc6e8502c396ec98c2.
• acgn-v2.17-verification.tar.gz: SHA-256 7da96e50e640bdfbb003834b04583e03bb2fdeddca4db5cae3ad7aae5c43c072.
• SHA256SUMS: run sha256sum -c SHA256SUMS to verify all three assets.

The assurance archive includes tagged source, local libraries, proofs,
bounded runners, documentation and the separate validation publication.
It excludes the full corpus, historical empirical trees and frontend.
Its closure runner supports extracted archives; the standalone producer
provenance harness requires a Git checkout. Reviewers using the full repository
must run git lfs pull for the large experimental JSON files.

Details: release record,
bounded verification,
and incidents.