Skip to content

Migrate to ATRAPS LLC: copyright, fix dead repository URL, deps, trusted publishing - #2

Merged
BinFlip merged 4 commits into
mainfrom
chore/llc-migration
Aug 9, 2026
Merged

Migrate to ATRAPS LLC: copyright, fix dead repository URL, deps, trusted publishing#2
BinFlip merged 4 commits into
mainfrom
chore/llc-migration

Conversation

@BinFlip

@BinFlip BinFlip commented Aug 9, 2026

Copy link
Copy Markdown
Collaborator

Migration of this crate to ATRAPS LLC ownership, per TRANSFER.md.

chore: assign copyright and fix the repository URL

  • LICENSE appendix now reads Copyright 2026 ATRAPS LLC. It named Johann Kempter personally and said 2025, which no commit supports — this history is entirely 2026.
  • repository pointed at github.com/BinFlip/inno-rs, which does not exist. All three published versions carry a dead repository link on crates.io. This crate has had three names in play at once: directory inno/, git remote BinFlip/inno, manifest inno-rs, actual repo innospect. The manifest now names the real repository under the org.
  • NOTICE added; authors dropped; README names the holder; src/lib.rs pascalscript doc link repointed at the org.

ci: — trusted publishing replaces the stored CARGO_REGISTRY_TOKEN, and the job refuses to publish a release whose commit is not contained in main.

build: raise pascalscript minimum to 0.1.2Container is re-exported publicly, so pascalscript's API is part of this crate's effective surface. 0.1.2 fixes backward-branch target resolution, so a consumer resolving to 0.1.1 through innospect would still hit that bug. Cargo.lock is not tracked here, so the rest of the cargo update movement affects local builds only.

chore: release 0.1.3 — 0.1.2 is published and immutable, so the fixed repository URL and corrected metadata only reach crates.io in a new version.

Verified locally: 86 tests pass, clippy clean (--all-targets), fmt clean, cargo package ships LICENSE and NOTICE.

Note: tests/samples/build/*.iss still contain AppPublisher=BinFlip. Left deliberately — they are build inputs for generated sample fixtures, and editing them without regenerating would make script and committed fixture disagree.

BinFlip added 4 commits August 9, 2026 16:37
Record ATRAPS LLC as copyright holder following the executed IP
assignment. The Apache-2.0 appendix named Johann Kempter personally and
carried the wrong year: every commit in this repo dates to 2026, not
2025.

`repository` also pointed at github.com/BinFlip/inno-rs, which does not
exist — so all three published versions carry a dead repository link on
crates.io. This crate has had three names in play at once: the directory
is `inno/`, the git remote said `BinFlip/inno`, the manifest said
`inno-rs`, and the actual repository is `innospect`. The manifest now
names the real repository under the org.

- LICENSE: appendix now reads "Copyright 2026 ATRAPS LLC"
- NOTICE: added, per Apache-2.0 section 4(d) attribution channel
- Cargo.toml: drop deprecated `authors`; fix `repository`
- README: name the holder in the license section
- src/lib.rs: repoint the pascalscript doc link at the org
Replace the long-lived CARGO_REGISTRY_TOKEN repo secret with a
short-lived OIDC token minted per run by crates-io-auth-action and
revoked when the job ends.

Also gate the job on the release commit being contained in main: a
release can be cut from any commit, including one that never landed on
main, so the `release: published` trigger alone does not imply it.
`Container` is re-exported publicly from this crate, so pascalscript's
public API is part of innospect's effective surface. 0.1.2 fixes
backward-branch target resolution — `branch_target()` returned None for
every backward conditional branch, losing the back edge of every loop —
so a consumer resolving to 0.1.1 through innospect would still hit it.

Cargo.lock is not tracked here, so the remaining `cargo update` movement
(bitflags 2.13.1 and transitives) affects only local builds.
0.1.2 is already published and its metadata is immutable, so the
corrected licence holder, dropped `authors` field, and — most
importantly — the fixed `repository` URL only reach crates.io in a new
version. Until then the registry keeps pointing at a repository that
does not exist.
@BinFlip
BinFlip merged commit eccbd25 into main Aug 9, 2026
5 checks passed
@BinFlip
BinFlip deleted the chore/llc-migration branch August 9, 2026 23:48
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