Gnosix / Preuves courantes

This ledger is the public evidence index for current gnosix claims. It intentionally does not publish the raw workstation evidence corpus.

A retained private receipt digest proves continuity with preserved engineering provenance; it is not independently inspectable public evidence by itself. Public readers can inspect the source, repository gates, and the bounded facts recorded here. Runtime artifacts can be promoted later when they are scrubbed and useful on their own.

Native scene and AppStack

Claim: the current native Rust/GPUI + Wayland scene has installed-path-qualified AppStack launch lifetime, pointer, and keyboard paths.

Publicly inspectable: current source and repository qualification. Retained private provenance: sha256:cfc21244e245780fc5fcaebf6d720c2829304997a52867f83592cc1129a2902d. The retained closure records APPSTACK_01_CLOSED and PRODUCTION_LAUNCH_LIVE_QUALIFIED=true.

Current-session multi-output

Claim: output-local state isolation and topology add/remove/reattach are qualified for the current session; durable physical-hardware identity is not implied.

Source: 2af5be50199462279e7b231ada3285f795c37e6c. Retained private provenance: physical-isolation receipt sha256:a1729d8ecc5a17f7eec7e3303667eb735f080e16c6ee12db2c0f8481eadb40bd; topology receipt sha256:1c54123c1bfd603db26d406959e9f31cd421f5cea3c4c6ca08a8a4b576d78aac.

Durable logical identity

Claim: explicit durable-to-session output association exists without promoting transient compositor identity into durable identity.

Source: 8b49dc6e63df97d01cbf7a734590d93e11908dfa. Retained private provenance: sha256:0f23e330b8493aed95cea18054d8f94cff2fec9a5bf36e2d1e137180ec69c8df.

Profile store and bounded live write

Claim: the profile store/projection contract is source-qualified; an authenticated Bar-edge write/CAS/restart/restore path was live-qualified on an isolated selected profile. Default personal-profile provisioning is not public or claimed.

Store implementation: 2151d272fad815ce77a9db179e4afe0dbb433fdd. Retained private provenance: store receipt sha256:646344ca3386e2e37cd2fcd11f6f1a5c9e571b788057dbc41d81be99cbf25237; isolated live-write receipt sha256:41bac5f4d81666fdf84666af0bb2761c27c8cd1186e2f7aa82448f61b7e03387.

Typed workspace activation

Claim: exact typed workspace activation is installed-path/live qualified through the authenticated gnos.ux caller with freshness and replay boundaries.

Source checkpoint: 30acad7e822ce2200e073f48f9fc85552259f0cb. Retained private provenance: sha256:389da093ca7888d8cee760067fc68d82b8342bfa1cce8c9211b3b313215ef8da.

User-session lifecycle

Claim: the defined UWSM/greetd session-replacement scope is qualified and the activation authority uses the selected lazy-start/session-resident lifecycle.

Retained private provenance: session replacement sha256:aefdfcbfd7306fb68f37ec75958faeb053dda4b741d83418f1e9615fcb53d0c3; activation lifecycle sha256:4df28bec67bd4de0a9584da60b944db5499e8eec9f785036d1e29edb5dba6e1c.

Bar placement and visibility

Claim: cardinal relocation plus persistent / showOnHover consumption are live-qualified within their bounded profile and input contracts.

Source: 56a0bb8e4d3aeaab95cab7a59a3c8fc3df8ec0cd. Retained private provenance: sha256:1e912785a67a32faa3db44bca65651ce787958e102a9f9cf6afe4870a7474713.

Semantic keybinding observation

Claim: typed arbitration and a bounded real-runtime observation path exist; a complete production input producer/live backend is not claimed.

Source: 94e83e98b94b4e4b3c876617d53ec7dd107afda1. Retained private provenance: sha256:9c9583bd635d313767ce4df9326388f847074c87b8cd394243679311f7eb0b7d.

gnoshow

Claim: the native rear-plane renderer substrate is implemented and historically runtime-qualified for Wayland layer-shell + wgpu/Vulkan rendering. Production hosting/control and admission remain separate work.

Retained private closure digest: sha256:103146af22fc49e22ad83040c3b55ef3db3aa8396889ed98a55448eb8c9bdc5f. The retained closure explicitly does not claim a production service, external control endpoint, configuration authority, or multi-output orchestration.

Accessibility mechanics

Claim: bounded keyboard traversal/activation, focus exclusivity, and AT-SPI naming/action mechanics are qualified for implemented surfaces; whole-product end-user screen-reader usability is not claimed.

Source: 25ea6c9fdd5941a9a35cc4af2113e71bb0a47c82. Retained private provenance: sha256:35fd7e2aa39782b4a94fd2da0823474a27b1645e26a3e26efb157dcf6d0f42e9. The retained decision records human usability as unreviewed.

Release acceptance

Claim: whole-product release acceptance remains open. Public source availability and green CI do not convert the product into a stable release.

Reviewed source: a8c9d8130fb683ebbef897a60bb1a642988a14f2. Retained private provenance: sha256:aa2115df2a4f8a588b79ef33f916bfb5c2570d1d38ed1a4b70d0530e8ab696c0. The retained operator review disposition is ACCEPTED_WITH_FINDINGS, with an explicit not-publishable-as-product finding still carried by the release gate.

Publication boundary

The raw evidence corpus, workstation paths, operator-specific profile provisioning plan, and historical work packets remain outside the public cut. Their omission narrows public evidence; it does not erase or rewrite the retained private provenance.