Skip to content

feat(corpus): release reproducible controlled CI evidence for 4.6 - #296

Merged
jacksonpradolima merged 8 commits into
mainfrom
release/4.6
Oct 16, 2026
Merged

jacksonpradolima merged 8 commits into
mainfrom
release/4.6

Conversation

@jacksonpradolima

@jacksonpradolima jacksonpradolima commented Oct 16, 2026 •

Copy link
Copy Markdown
Owner

Reproducible controlled CI evidence

Refs #261. Groups reviewed #294 and #295 for COLEMAN 4.6. CI users can trace controlled buggy/fixed observations to pinned source, a common fixture, dependencies, runtime and actual producer bytes; retain raw diagnostics and negative outcomes; and recover collection without inventing completion.

The installed recipe reproduces 190 observations / 95 tests per revision: 92 both-pass pairs, two both-fail pairs and one failure-to-pass pair. This is functional reproduction, not observed CI history, an independent-fault count or a policy-performance comparison. #261 remains open.

Contract, architecture and compatibility

  • Generic schema-v1 controlled records reuse the source cache, deterministic artifacts and manifest. Stable logical identities, digest-pinned provenance, explicit units and distinct zero/unavailable/inapplicable values preserve meaning. The domain imports no CLI, MCP or Docker transport.
  • The optional POSIX/Docker JUnit3 producer uses pinned raw-source views, separate component terms and an explicitly reviewed harness. Execution is offline and bounded; downloads require an explicit public-source option. Foreign source/data stays in external caches.
  • Immutable start markers, exclusive producer locks, atomic role commits, bounded streams and validated same-trial replay distinguish interrupted work from completion. Cleanup failure leaves a recoverable start. Raw output/cache/session/staging destinations reject Git worktrees, including nested/linked markers and aliases.
  • Protocol stdout is isolated from discovery stdout: initializer/constructor output remains in bounded raw stderr, outside case clocks/diagnostics; excluded classes are not initialized. Raw bytes, exit metadata, discovered identities and one-run terminal counters must agree.
  • Shared deterministic ZIP encoding retains source-view 8/16-MiB limits and existing golden bytes. Diagnostics use explicit 16-MiB role / 8-MiB report / 40-MiB total bounds, preserving supported 4-MiB raw streams; normalized-report size preflight rejects unpublishable configurations before execution. No ZIP64 expansion.
  • Migration: additive 4.x behavior. Existing native results, sinks, artifacts and learning checkpoints retain their semantics. New schemas reject missing/unknown/future versions. No implicit migration or legacy reinterpretation. A changed harness requires an explicit recipe repin; a new execution needs a new trial ID. Parent and test nanoseconds never become runner costs or historical CI clocks.

Usage

With the documented prepared arm64 Temurin image and installed wheel:

python -m coleman.transports.junit \
  --cache /tmp/coleman-junit-cache --output /tmp/coleman-junit-results \
  --trial source-001 --fetch
python -m coleman.transports.junit \
  --cache /tmp/coleman-junit-cache --output /tmp/coleman-junit-results \
  --trial source-001

The second call reopens the same observations without reexecuting completed roles. docs/junit-source-capture.md documents complete preparation/terms/recovery; docs/controlled-faults.md provides the SDK and owned native TCPCI example with independent metrics/checkpoint continuation.

Validation and local review

Final head d1d0a1e0fcf1373d2b2eafa28981d8e98b422d92, tree eab11922a01a81757cd0e302abda54b189937b0a: 2,270 tests passed, 13 existing warnings, 95.28% combined line/branch coverage, including actual installed-wheel source execution/recovery. Final focused verification: 71 passed, including two actual JVM discovery regressions and installed 95-per-role execution. Both discovery cases failed before the fix. Other confirmed storage, counter and envelope findings have red/green regressions, including large-packet publication/replay without reexecution.

PATH=/tmp/coleman-4-syft-tools:$PATH \
COLEMAN_JUNIT_REAL_CACHE=/tmp/coleman-261-junit-recipe-source-cache \
uvx --from uv==0.13.1 uv run --no-project --python .venv/bin/python \
  -m pytest -n4 --cov --cov-branch \
  --junitxml=/tmp/coleman-296-discovery-tests.xml -o junit_family=legacy
UV_NO_SYNC=true make lint format-check typecheck interrogate cost-structural docs build
.venv/bin/pylint -E coleman
git diff main...HEAD --check

All listed checks passed. Ruff removed only redundant literal parentheses after the frozen full suite: Python AST equality was verified and the focused real JVM/installed suite repeated. Release-specific Syft inventory, note selection, lock/security and generated-reference checks also passed.

OpenCodeReview evidence: used only @alibaba-group/open-code-review@1.12.13 delegate preview and delegate rule, never remote review. Repeated dirty-workspace and full --from main --to HEAD previews; consulted all applicable Python/Java/JSON/default rules; manually reviewed 39/39 changed files, including all 21 exclusions, tests, Markdown, generated docs and JSON values. Previous reviewed bytes were hash-verified; the entire release delta and interactions were reviewed. Local evidence: /tmp/coleman-296-discovery-{range,final-workspace,rules,manual-review}.json; full/quality/focused/red/green logs use the same prefix.

Release handling and limits

The package/lock stay at 4.5.0 in this PR. A compatible feat: squash to main lets the existing workflow select 4.6.0, synchronize package/lock before tagging, build/sign distributions and publish reviewed en-US docs/releases/4.6.0.md. No manual bump or dispatch. Verify published digests, tag/source/wheel/lock/SBOM, signatures and actual installed workflows afterward.

One direct upstream Java pair, shared JVM and lexical order; no established order independence or full Defects4J reconstruction. Runtime guards support trusted-source reproduction. All outputs retain not_evaluated / insufficient_evidence. Independent admission, non-Java sources, seven diversity regimes, comparable baselines, protected chronology and cross-corpus confirmation/report remain sequential #261 work.

jacksonpradolima and others added 4 commits October 16, 2026 08:24
…294)

Add versioned offline controlled fault contexts, source-bound observation reports and deterministic immutable artifacts. Preserve expected, unexpected and inconclusive paired outcomes with exact elapsed-counter units and pinned diagnostics. Reuse native source caches, runner, manifests and checkpoints.

Refs #261; source admission and the diversified benchmark program remain open.
#295)

Refs #261. Preserve controlled negative observations, explicit units and complete provenance through pinned source reproduction, bounded capture and validated checkpoint recovery.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 16, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-16T16:12:37.545588Z d1d0a1e Manual request
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1283fba534

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread coleman/transports/junit_capture.py
Comment thread coleman/transports/junit_contracts.py
@jacksonpradolima

Copy link
Copy Markdown
Owner Author

@codex review

Current release head d3f804d addresses both P2 findings #4295623296/#4295623307 and the related nested/cache/staging Git-boundary cases. Fifteen regressions failed before their fixes; 238 focused checks and the complete 2,258-test suite now pass, with 95.26% combined coverage and actual installed Java collection/recovery. All quality/package gates and repeated local full-range delegation/rules/manual37/37-file review passed. Please review the entire current release diff.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: d3f804d2eb

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread coleman/transports/junit_capture.py Outdated
@jacksonpradolima

Copy link
Copy Markdown
Owner Author

@codex review

Current head 80e6681 fixes envelope-size P2 #4296021393 while preserving complete raw packets, source-view limits/golden bytes and archive policies. A valid4MiB large-diagnostics regression now publishes/replays >8MiB role records/>16MiB envelope without rerunning roles; normalized-report combinations preflight before execution. Final validation:2,268 tests,95.28%combined coverage,317focused tests,actual installed95-per-role source flow, allquality/package gates and repeated local-only full-range/manual38/38-file review. Please review the complete current release diff.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 80e668164b

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread coleman/corpus/resources/ColemanJunit3Capture.java Outdated
@sonarqubecloud

Copy link
Copy Markdown

@jacksonpradolima

Copy link
Copy Markdown
Owner Author

@codex review

Head d1d0a1e fixes discovery-output P2 #4296394857 with two real JVM red/green regressions, preserved bounded raw stderr, excluded-class noninitialization and an explicit harness repin. Final validation: 2,270 tests, 95.28% combined coverage, 71 focused real/installed checks, all quality/package gates and repeated local-only full-range/workspace/rules/manual39/39-file review. Please review the entire current release diff.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🎉

Reviewed commit: d1d0a1e0fc

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@jacksonpradolima
jacksonpradolima merged commit 4804c11 into main Oct 16, 2026
34 checks passed
@jacksonpradolima
jacksonpradolima deleted the release/4.6 branch October 16, 2026 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant