Skip to content

test: gate platform support claims with native Claude and Codex journey receipts #730

New issue
New issue
Open
Open
test: gate platform support claims with native Claude and Codex journey receipts#730
Labels
enhancementNew feature or request

Description

@cdeust
cdeust
opened on Oct 10, 2026

Problem and evidence

Committed native receipts and the public v4.23.4 release receipt establish specific macOS journeys, including bidirectional PostgreSQL handoff, project exclusion and automatic startup context. The v4.23.4 receipt also records an initial discovery failure before a successful fresh-session attempt. verify_mcp_hosts starts the real server but varies client names; it does not execute native host lifecycle events. Main CI includes Linux and selected Windows tests, with no macOS job in this workflow. Green CI does not establish the full native matrix.

Main CI run38035783094 is green at 02c3cf0. Separate platform audit run38008915302 fails Windows/macOS at another SHA. Those failures cannot be counted as current-main failures without replay.

Acceptance evidence

Owner scope decision, October 10: this workspace performs macOS corrections and native Claude/Codex verification. The owner's collaborator performs Windows verification with the same acceptance contract. Linux qualification is deferred and must not block a macOS-qualified release. Keep each platform's measured status explicit; no Windows or Linux conformance is inferred from macOS results.

  • Enumerate supported OS/architecture, client version, backend and install-channel combinations, labeling unmeasured cells.
  • Retain native receipts for blind cross-host transfer, project exclusion, startup context, capture and session persistence.
  • Include actual compaction/recovery, hook trust state, Unicode, dependency failure and clean teardown.
  • Validate representative tool outputs after SDK conversion in each client, including empty/error results.
  • Gate support claims on required receipts tied to artifact digests.

Scope and related work

#692/#693 cover Windows suite debt/order dependence; #720 covers memory evaluation. This owns installed-product native lifecycle acceptance.

Raised by the global Hindsight/Cortex audit. The target is a measurable local-first experience with the same supported semantics in Claude and Codex. Acceptance criteria describe a target, not current conformance. Static findings refer to the pinned source; probes identify their boundary.

Primary references

Public v4.23.4 native receipt; scripts/verify_mcp_hosts.py:2; .github/workflows/ci.yml:378; docs/verification/claude-codex-handoff-2026-09-22/README.md:3; docs/verification/codex-hooks-20261002.md:48

Activity

  1. cdeust
    added
    enhancementNew feature or request
    on Oct 10, 2026

  2. cdeust commented on Nov 5, 2026

    @cdeust
    cdeust
    on Nov 5, 2026 – with Claude
    OwnerAuthor

    Tranche 1 proposée dans #891 (commit 4fa01aa, Refs #730) : docs/audits/platform-support-matrix-2026-11-05.md liste les combinaisons OS/architecture × hôte × backend × canal d'installation et étiquette chaque cellule par le reçu qui la mesure. Mesuré : quatre parcours natifs macOS (dont un seul lié à l'artefact publié 4.23.4), la sonde d'installation CI sur ubuntu-26.04, macos-26-arm64 et windows-2025-vs2026 (run 42058911839), le cycle de vie PostgreSQL géré d'ADR-1114. Aucun parcours natif Windows, Linux ou .mcpb n'a de reçu ; l'architecture des reçus N1 et N2 n'y est pas enregistrée.

    Tranches restantes :

    1. Un schéma de reçu qui lie chaque check natif au digest de l'artefact exécuté (commun avec release: bind parity claims to the distributed plugin and runtime artifacts #729).
    2. Un gate qui refuse une affirmation de support (README, notes de version) sans reçu courant de ce schéma.
    3. Les reçus natifs des cellules exigées par le périmètre du propriétaire : Windows (collaborateur), puis macOS x86_64 et .mcpb.

    Generated by Claude Code

  3. cdeust
    added 2 commits that reference this issue on Nov 6, 2026

    fixup! docs(audit): which platform combinations a receipt measures (#730

    ae46d63

    fixup! docs(audit): which platform combinations a receipt measures (#730

    15a68e5
  4. github-actions
    added a commit that references this issue on Nov 6, 2026

    docs(audit): which platform combinations a receipt measures (#730, sl…

    c243c0e

  5. cdeust commented on Nov 7, 2026

    @cdeust
    cdeust
    on Nov 7, 2026 – with Claude
    OwnerAuthor

    Autopilot : tranche 2 dans #948 (Refs #730, pas Closes, commit 7b4aba2).

    scripts/native_receipt.py valide le schéma cortex-native-receipt/1. Chaque check d'un reçu natif porte l'hôte qui l'a lancé et le members_digest de l'artefact exécuté, le digest que calcule cortex doctor (#729). Ce digest doit être égal à celui de l'artefact du reçu, donc un reçu ne peut plus mélanger des checks lancés sur deux artefacts ou deux hôtes. Le rapport distingue la preuve distribuée (wheel non modifiée) de la preuve source, et liste les parcours exigés ici qui sont passés, échoués ou absents. Tests : 13 passés. Non vérifié : la suite complète en local (torch non téléchargeable dans cet environnement).

    Tranches restantes :

    1. Le gate qui refuse une affirmation de support (README, notes de version) pour une cellule sans reçu courant de ce schéma.
    2. Un producteur de reçu qui lit l'identité d'artefact directement (aujourd'hui, le doctor la rend en texte libre).
    3. Les reçus natifs des cellules — exigées par le périmètre du propriétaire : Windows (collaborateur), puis macOS x86_64 et .mcpb.

    Generated by Claude Code

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions