Update selected import release evidence

Author: code5717

COMPLETION_AUDIT.md

@@ -22,21 +22,21 @@ Deliverables implied by the active objective:
 | Requirement | Evidence | Status |
 | --- | --- | --- |
 | Vulnerability/problem review | `RELEASE_READINESS_REVIEW.md`, `SECURITY.md`, `MISSING_FEATURES.md`, `TODO.md` | Covered for current known risks |
-| Security dependency audit | Hosted CI run `25548557403`; manual release workflow `25546125531`; local `uvx --from pip-audit==2.10.0 pip-audit --strict`; local site runtime audit | Passing for known advisories; CI/release tool version is pinned |
-| Python static security scan | Hosted CI run `25548557403`; local `uvx --from bandit==1.9.4 bandit -r a7 scripts main.py -q --skip B404,B603`; CI/release workflow step | Passing after resolving the release-manifest partial `git` path and marking the diagnostic-code false positive; CI/release tool version is pinned |
-| Secret scanning | Hosted CI run `25548557403`; `scripts/check_no_secrets.py` | Passing pattern- and filename-based scan |
-| Python test suite | Hosted CI run `25548557403`; local `./run_all_tests.sh` after variadic fail-closed behavior | Passing: 1249 tests |
-| Error-stage behavior | Hosted CI run `25548557403`; `scripts/verify_error_stages.py`; refactored shared logic in `scripts/error_stage_common.py` | Passing |
-| Zig example E2E | Hosted CI run `25548557403`; local `scripts/verify_examples_e2e.py`; shared verifier logic in `scripts/verify_examples_common.py`; manual golden-output inspection | Passing: 38/38 |
-| C example E2E | Hosted CI run `25548557403`; local `scripts/verify_examples_e2e_c.py`; shared verifier logic in `scripts/verify_examples_common.py`; manual golden-output inspection | Passing: 38/38 |
-| Zig/C backend parity | Hosted CI run `25548557403`; local expanded `scripts/verify_backend_parity.py`; manual report inspection; local full gate | Passing selected suite: 24/24 locally, including fallthrough, nested fallthrough, capture patterns, generic functions, type-set constraints, generic struct instances, explicit enum discriminants, stdlib math, and operator edge cases |
-| Debug artifacts | Hosted CI run `25548557403`; local `./run_all_tests.sh` after variadic fail-closed behavior | Passing: 76/76 |
-| Release artifacts | Hosted CI run `25548557403`; manual release workflow `25546125531`; local `./run_all_tests.sh` after variadic fail-closed behavior | Passing: 76/76 |
-| Python package build and install | Hosted CI run `25548557403`; manual release workflow `25546125531`; local clean `rm -rf dist && uv build`; `scripts/verify_wheel_install.py`; focused release tooling tests | Passing; built wheel installs as package `a7` and exposes `a7` CLI |
+| Security dependency audit | Hosted CI run `25549416603`; manual release workflow `25546125531`; local `uvx --from pip-audit==2.10.0 pip-audit --strict`; local site runtime audit | Passing for known advisories; CI/release tool version is pinned |
+| Python static security scan | Hosted CI run `25549416603`; local `uvx --from bandit==1.9.4 bandit -r a7 scripts main.py -q --skip B404,B603`; CI/release workflow step | Passing after resolving the release-manifest partial `git` path and marking the diagnostic-code false positive; CI/release tool version is pinned |
+| Secret scanning | Hosted CI run `25549416603`; `scripts/check_no_secrets.py` | Passing pattern- and filename-based scan |
+| Python test suite | Hosted CI run `25549416603`; local `./run_all_tests.sh` after selected-import JSON diagnostics hardening | Passing: 1250 tests |
+| Error-stage behavior | Hosted CI run `25549416603`; `scripts/verify_error_stages.py`; refactored shared logic in `scripts/error_stage_common.py` | Passing |
+| Zig example E2E | Hosted CI run `25549416603`; local `scripts/verify_examples_e2e.py`; shared verifier logic in `scripts/verify_examples_common.py`; manual golden-output inspection | Passing: 38/38 |
+| C example E2E | Hosted CI run `25549416603`; local `scripts/verify_examples_e2e_c.py`; shared verifier logic in `scripts/verify_examples_common.py`; manual golden-output inspection | Passing: 38/38 |
+| Zig/C backend parity | Hosted CI run `25549416603`; local expanded `scripts/verify_backend_parity.py`; manual report inspection; local full gate | Passing selected suite: 24/24 locally, including fallthrough, nested fallthrough, capture patterns, generic functions, type-set constraints, generic struct instances, explicit enum discriminants, stdlib math, and operator edge cases |
+| Debug artifacts | Hosted CI run `25549416603`; local `./run_all_tests.sh` after selected-import JSON diagnostics hardening | Passing: 76/76 |
+| Release artifacts | Hosted CI run `25549416603`; manual release workflow `25546125531`; local `./run_all_tests.sh` after selected-import JSON diagnostics hardening | Passing: 76/76 |
+| Python package build and install | Hosted CI run `25549416603`; manual release workflow `25546125531`; local clean `rm -rf dist && uv build`; `scripts/verify_wheel_install.py`; focused release tooling tests | Passing; built wheel installs as package `a7` and exposes `a7` CLI |
 | Local package hygiene | `README.md`, `RELEASE.md`, `site/public/docs/release.md` now require `rm -rf dist` before `uv build` | Covered |
 | Release checksums, provenance, and archive contents | `scripts/generate_release_manifest.py`; `scripts/verify_release_manifest.py`; `scripts/verify_archive_contents.py`; `test/test_release_tooling.py`; release workflow validates required paths, required archive members, re-checks hashes before upload, and emits GitHub artifact attestations for release assets; manual release dispatch `25546125531` | Covered for workflow-dispatch release path; manifest verifier now rejects traversal and unsafe absolute paths; tag-only draft release creation still requires a real tag run before release |
-| Docs style/build | Hosted CI run `25548557403`; local `scripts/check_docs_style.py`; local `cd site && npm run build` | Passing |
-| Docs deploy | Hosted Deploy Docs run `25548557432`; hosted browser-harness check for `/a7-py/` confirmed the A7-first homepage title and primary navigation; hosted fetch confirmed the new `llms-full.txt` format | Passing |
+| Docs style/build | Hosted CI run `25549416603`; local `scripts/check_docs_style.py`; local `cd site && npm run build` | Passing |
+| Docs deploy | Hosted Deploy Docs run `25549416591`; hosted browser-harness check for `/a7-py/` confirmed the A7-first homepage title and primary navigation; hosted fetch confirmed the new `llms-full.txt` format | Passing |
 | curl.md/agent documentation | `site/public/llms.txt`, `site/public/llms-full.txt`, `site/public/docs/*.md`, plugin/dev subtrees, sitemap and robots entries | Implemented |
 | Release workflow | `.github/workflows/release.yml`, manual dispatch run `25546125531` on commit `8c24063`; release gate, dependency audits, static scan, package build, wheel install, docs build, archive verification, checksums, attestations, and artifact upload passed | Passing for non-tag validation; tag-only draft release creation still requires a real tag run before release |
 | Workflow supply-chain hardening | All workflow actions are pinned to immutable commit SHAs; `.github/dependabot.yml` covers GitHub Actions, Python, and docs npm; automated Claude review prompt treats PR text as untrusted | Covered for current workflow action pinning |

RELEASE_READINESS_REVIEW.md

@@ -228,19 +228,19 @@ not factually provable from local tests alone.
   confirmed existing `helper :: import "helper"` fails with exit code 6 for
   codegen modes and does not write target code, while semantic mode still
   validates resolver loading.
-- local `./run_all_tests.sh` passed after variadic fail-closed behavior,
-  calculator output cleanup, and docs updates: parser/tokenizer 501 passed;
-  semantic 336 passed; compiler/CLI/backend 332 passed; Zig examples 38/38;
-  C examples 38/38;
+- local `./run_all_tests.sh` passed after selected-import JSON diagnostics
+  hardening and docs updates: parser/tokenizer 501 passed; semantic 336
+  passed; compiler/CLI/backend 333 passed; Zig examples 38/38; C examples
+  38/38;
   backend parity 24/24; debug artifacts 76/76; release artifacts 76/76;
   error-stage checks 61/61; docs style ok; secrets check ok; total pytest
-  1249 passed; summary 12/12.
-- hosted CI run `25548557403` passed on commit `8bad554` after variadic
-  parameters were made to fail closed before codegen, including docs, pytest,
-  Python dependency audit, Bandit static security scanning, error-stage
-  verification, Zig/C example verification, backend parity, debug artifacts,
-  release artifacts, package build, and clean wheel-install verification.
-- hosted Deploy Docs run `25548557432` passed on commit `8bad554`.
+  1250 passed; summary 12/12.
+- hosted CI run `25549416603` passed on commit `b0c9980` after selected-import
+  JSON diagnostics were hardened, including docs, pytest, Python dependency
+  audit, Bandit static security scanning, error-stage verification, Zig/C
+  example verification, backend parity, debug artifacts, release artifacts,
+  package build, and clean wheel-install verification.
+- hosted Deploy Docs run `25549416591` passed on commit `b0c9980`.
 - local `npm run check` in `site/` passed after updating the public status and
   language docs for the generic struct behavior.
 - hosted CI run `25541793153` passed on commit `5baa7f7` after fallthrough