Denis/aug26 - #11
Merged
Merged
Conversation
The 1.11.0 release shipped the code and the specs but not the release news, so ponens.dev served a v1.11.0 badge whose /whats-new page topped out at v1.9.1 and a homepage link to a spec path that 404s. - CHANGELOG.md: add the [1.11.0] section — composable acceptance (the goal property language), trace composition (`ponens trace merge`), durable `component_id`, oracles (`ponens oracle`), `ponens.sdk`, and the integrity fields now normative in TRACE_SPEC 1.11. Explains the 1.9.1 -> 1.11.0 jump (the spec advanced two minor versions; there was no 1.10.0 package release). This is what /whats-new renders and what `make release` extracts. - Repoint the three `/spec/GOAL_CONTRACT_v0_1` links (homepage, /internal, set-a-goal-contract) at v0_2 — the v0.1 path is a live 404 — and land the TRACE_SPEC_v1_9 -> v1_11 link fixes on /docs and capture-and-curate. - spec/README.md: index ORACLE_SPEC_v0_1 and SDK_SPEC_v0_1, and correct the TRACE_SPEC row's version cell (1.10 -> 1.11). - Commit the spec/iml-model -> formal/ move, so spec/README's `../formal/` link resolves on main, plus the consolidated `machine/trace_machine.iml`, manifest.toml, and check.sh. - Guard `verified_claims_are_fidelity_checked` with `(F SourceCode)` so a spec-first / authored-IML session passes vacuously instead of being flagged for a missing fidelity check; catalog regenerated. - Viewer: scope-aware Steps/Actions counts, a closable detail panel, live refresh that preserves zoom/pan/drags, and no `completed` noise line. Site builds clean (284 pages); every internal link resolves; gallery catalog validates (213 policies); website tests pass. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Local scratch the Imandra tooling writes when it translates a source file (here, the IML for the root-level demo scripts). Regenerated on demand, never an input to a build. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.