Skip to content

ISEDRAF 0.1.0 — General Availability - #20

Merged
itcmsgr merged 2 commits into
mainfrom
sync/ga-0.1.0
Sep 29, 2026
Merged

itcmsgr merged 2 commits into
mainfrom
sync/ga-0.1.0

Conversation

@itcmsgr

@itcmsgr itcmsgr commented Sep 29, 2026

Copy link
Copy Markdown
Owner

ISEDRAF 0.1.0 — General Availability (sanitized release export)

The public tree is replaced by the sanitized release export of the engineering
repository at 2bc2d7f plus A-017 (D-110 publication model): the 0.1.0 product - the
unprivileged isedraf audit path, the user-mode evidence store, reports
rendered from committed evidence - the release metadata (GA date 2026-09-28),
and the OpenSSF Baseline Level 2 work: SECURITY.md with response targets and
coordinated disclosure, MAINTAINERS.md, a GA CONTRIBUTING.md with the DCO,
docs/DEPENDENCIES.md, the DCO pull-request check, a repository-security gate,
a release-export gate, Scorecard result publishing, and the GA push policy
(git-hooks/pre-push: the engineering tree is never pushed, main never
directly; it replaces the prototype's unconditional refusal).

The export's own gates passed on it (privacy, documentation truth, freeze).
No tag or release is created by this change; publication is the maintainer's.

Assisted-by: Claude (implementation agent, Claude Code)

The public tree is replaced by the sanitized release export of the engineering
repository at 2bc2d7f plus A-017 (D-110 publication model): the 0.1.0 product - the
unprivileged `isedraf audit` path, the user-mode evidence store, reports
rendered from committed evidence - the release metadata (GA date 2026-09-28),
and the OpenSSF Baseline Level 2 work: SECURITY.md with response targets and
coordinated disclosure, MAINTAINERS.md, a GA CONTRIBUTING.md with the DCO,
docs/DEPENDENCIES.md, the DCO pull-request check, a repository-security gate,
a release-export gate, Scorecard result publishing, and the GA push policy
(git-hooks/pre-push: the engineering tree is never pushed, main never
directly; it replaces the prototype's unconditional refusal).

The export's own gates passed on it (privacy, documentation truth, freeze).
No tag or release is created by this change; publication is the maintainer's.

Assisted-by: Claude (implementation agent, Claude Code)
Signed-off-by: Antonios Voulvoulis <contact@itcms.gr>
Comment thread tests/glibc_differential.py Dismissed
The first public run of the harness since 2026-09-20 (this PR) reported two
harness faults that the engineering repository cannot see:

- EXP-1 committed its mutation with a bare `git commit`; the runner has no
  git identity. It now passes one explicitly, as the harness's own sandbox
  commits do.
- "D-107 MASTER_INDEX status survives..." mutates files the public tree does
  not contain. It now declares its subject with next_requires, like its
  neighbours, so this checkout records a declared skip.

Reproduced under runner conditions (public tree, no git identity): 363
detected, 9 declared skips, 0 unexpected. Engineering repository: 372/372.

Assisted-by: Claude (implementation agent, Claude Code)
Signed-off-by: Antonios Voulvoulis <contact@itcms.gr>
@itcmsgr
itcmsgr merged commit c16c46b into main Sep 29, 2026
11 checks passed
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.

2 participants