Skip to content

Bundle contract resources and web assets; add source and installed-wheel CI - #19

Merged
dbccpage merged 2 commits into
mainfrom
codex/package-resources-ci
Nov 2, 2026
Merged

dbccpage merged 2 commits into
mainfrom
codex/package-resources-ci

Conversation

@dbccpage

@dbccpage dbccpage commented Nov 2, 2026 •

Copy link
Copy Markdown
Owner

Wheels previously omitted contract YAML/SQL/JSON resources and Studio assets, so catalog evaluation failed outside an editable checkout. This change maps the existing contracts directory into normal_forms.resources, packages the web templates/static files, resolves installed resources independently of the working directory, and declares core Pydantic and optional web dependencies explicitly.

Adds read-only, SHA-pinned GitHub Actions jobs for Python 3.10/3.14 on Linux/Windows and a separate sdist-to-wheel build/install job. The installed smoke check requires an isolated virtualenv, validates all 112 contracts, loads fixtures/SQL, serves assets, and checks all four API workbenches. README/import documentation now distinguishes lifecycle labels from executable evidence and whitespace token accounting from model tokenizer counts.

Depends on #18, now merged into main at d59f890. This PR targets main. No deployment or package publication is included.

Validation: corrected library commit 8833e4c passed 232 local tests on both Python 3.12 and 3.14, including the three review regressions. Hosted CI passed all five jobs on stacked PR #19 at 83300e4 (which includes correctness commit 8833e4c): Python 3.10/3.14 on Linux/Windows and isolated sdist-to-wheel installation. CI run. The refreshed stack is clean, and git diff --check passed.

Base automatically changed from codex/correctness-streaming-lowering to main November 2, 2026 21:31
@dbccpage
dbccpage merged commit da498e5 into main Nov 2, 2026
5 checks passed
@dbccpage
dbccpage deleted the codex/package-resources-ci branch November 2, 2026 21:31
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