What you can use

One capability, your language. Open a cell for platforms and verification details.

Capability coverage

API = handwritten public API; Interface = generated API; Types = record codec only. Tested = recorded layer checks; Service, Native and Adapter = scoped runtime evidence. Green availability is not a runtime PASS. Expand a cell for platforms and evidence.

Capability	Go	Python	C++	Rust	JavaScript
asks	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	—	—	—	—
cas	API Interface Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	API Interface Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. py3.12; not a native-provider classification.	API Interface Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. g++; not a native-provider classification.	—	—
config	API Interface Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. py3.12; not a native-provider classification.	API Interface Service Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Current layer verification pending. Service client: PASS. windows/amd64; host: go; config-cpp-windows-service (PASS)	—	—
download	API Types Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated record types and codec only; no generated service interface established. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	API Types Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated record types and codec only; no generated service interface established. Recorded layer checks: PASS. py3.12; not a native-provider classification.	API Types Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated record types and codec only; no generated service interface established. Recorded layer checks: PASS. msvc; not a native-provider classification.	—	—
facade	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	—	API Service Handwritten public API source available; not a generated interface or runtime test PASS. Current layer verification pending. Service client: PASS. windows/amd64; host: go; facade-cpp-windows-services (PASS)	—	—
identity	API Handwritten public API source available; not a generated interface or runtime test PASS. Current layer verification pending.	—	API Handwritten public API source available; not a generated interface or runtime test PASS. Current layer verification pending.	—	—
job	API Types Handwritten public API source available; not a generated interface or runtime test PASS. Generated record types and codec only; no generated service interface established. Current layer verification pending.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. py3.12; not a native-provider classification.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. g++; not a native-provider classification.	—	—
logging	API Interface Tested Service Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. go1.26.5; not a native-provider classification. Service client: PASS. windows/amd64; host: go; logging-go-windows-service (PASS)	—	API Interface Service Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Current layer verification pending. Service client: PASS. windows/amd64; host: go; logging-cpp-windows-service (PASS)	—	—
model	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. py3.12; not a native-provider classification.	—	—	—
rights	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	—	—	—	—
router	API Interface Tested Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	—	API Interface Service Handwritten public API source available; not a generated interface or runtime test PASS. Generated API source available; may be direct or service-based. Transport and runtime test PASS are not implied. Current layer verification pending. Service client: PASS. windows/amd64; host: go; router-cpp-windows-service (PASS)	—	—
storage	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	—	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. g++; not a native-provider classification.	—	—
watch	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. go1.26.5; not a native-provider classification.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. py3.12; not a native-provider classification.	API Tested Handwritten public API source available; not a generated interface or runtime test PASS. Recorded layer checks: PASS. Apple Clang darwin/arm64; not a native-provider classification.	—	—

Service test evidence

Shared IPC runtime source: reusable C ABI client binding, C++ wrapper, native transport; source availability is separate from full identity provider conformance.

Service clients and focused checks

Each scenario states the service/provider behavior actually exercised. Client transport and individual capability checks are separate from full capability conformance. These results never replace a provider failure or establish other platforms. Inputs and toolchain identity are recorded per scenario.

Check	Layer	Language	Scope	Platform	Verdict	Scenario	Toolchain
config-cpp-windows-service	openabstractions-flat/abstraction-config	cpp	client	windows/amd64	PASS	Installed C++ Config.Read -> generated protocol -> shared IPC -> central Go host -> same-user configuration provider; caller override/provenance/live reload/value-only stamp, malformed or missing provider source, typed request refusal, absence errors and no client-local state	python: Python 3.12.10; go: go version go1.26.5 windows/amd64; cmake: cmake version 4.3.1-msvc1
facade-cpp-windows-services	openabstractions-flat/abstraction-facade	cpp	client	windows/amd64	PASS	Installed C++ facade Log/Config.Read/Router.Models/Hosts/Pick reach three production Go services and providers; service-owned configuration reload/provenance, verified logging identity and persistence, empty router inventory versus typed negative decisions/refusal, caller audit, absence errors and no client-local state	python: Python 3.12.14; go: go version go1.26.5 windows/amd64; cmake: cmake version 4.3.1-msvc1
logging-cpp-windows-service	openabstractions-flat/abstraction-logging	cpp	client	windows/amd64	PASS	cpp facade -> generated client -> shared named-pipe IPC -> identity-checked Go logging service -> service-owned JSONL sink; multiline Unicode, zero level and empty attrs preserved; verified peer; record survives client exit; schema=2 refused; absent service errors; no client-local storage	python: Python 3.12.10; go: go version go1.26.5 windows/amd64; cmake: cmake version 4.3.1-msvc1
logging-go-windows-service	openabstractions-flat/abstraction-logging	go	client	windows/amd64	PASS	go facade -> generated client -> shared named-pipe IPC -> identity-checked Go logging service -> service-owned JSONL sink; multiline Unicode, zero level and empty attrs preserved; verified peer; record survives client exit; schema=2 refused; absent service errors; no client-local storage	python: Python 3.12.10; go: go version go1.26.5 windows/amd64
router-cpp-windows-service	openabstractions-flat/abstraction-router	cpp	client	windows/amd64	PASS	Installed C++ Router.Models/Hosts/Pick -> generated RPC -> shared IPC -> identity-bound Go router service and existing provider over isolated local HTTP fixtures; inventory/resident/denied choices, empty allowance versus absence, caller audit, typed refusals, GET-only provider reads and no client-local state; no central-host or GPU-cost claim	python: Python 3.12.14; go: go version go1.26.5 windows/amd64; cmake: cmake version 4.3.1-msvc1

Build and conformance evidence

Recorded checks for exact source revisions. A changed revision needs fresh verification.

Measured at commit 78fef2e on 2026-09-12. Layer trees: openabstractions-flat/abstraction-asks@67bc91e openabstractions-flat/abstraction-cas@cf455b4 openabstractions-flat/abstraction-config@d93ae75 openabstractions-flat/abstraction-download@037f545 openabstractions-flat/abstraction-facade@75832f0 openabstractions-flat/abstraction-identity@f02cf2a openabstractions-flat/abstraction-job@7cfad00 openabstractions-flat/abstraction-logging@e1ffdaf openabstractions-flat/abstraction-model@00e86f5 openabstractions-flat/abstraction-rights@2951974 openabstractions-flat/abstraction-router@d79374d openabstractions-flat/abstraction-storage@27bc58b openabstractions-flat/abstraction-watch@27bd982. The same grid, in the same run, is docs/results/MATRIX.txt.

Native macOS results are recorded separately in DARWIN1.txt. They supplement the local gate for the same layer revisions; failures remain visible.

7 of the 29 implementations in this tree carry no verdict attributed to this tree. That is the honest headline. A cell is green here only when a recorded transcript says so about the tree as it is now — a cross-language harness transcript, or GATE.txt, the per-cell record scripts/check.sh --record writes. Every one of those names the commit and the layer trees it judged, and goes back to UNPROVEN the moment a layer moves under it. Calling the rest green would be assuming a run nobody can point at.

IDL codec generator availability

This reports backend registration in the generator source. It does not establish that a layer has an application client, a provider, or passing tests.

go	python	cpp	rust	javascript
available	available	available	available	available

Legacy whole-layer verification

Beside each verdict is the toolchain that reached it, and ? where the record it came from named none. A C++ cell is the reason this is here: a PASS in the C++ column used to stand for a three-platform claim without naming a single compiler. This grid was recorded from a fast run, and every cell says which toolchains reached it.

layer	go	python	cpp	rust	javascript
abstraction-asks	PASS go1.26.5	—	—	—	—
abstraction-cas	PASS go1.26.5	PASS py3.12	PASS g++	—	—
abstraction-config	PASS go1.26.5	PASS py3.12	UNPROVEN	—	—
abstraction-download	PASS go1.26.5	PASS py3.12	PASS msvc	—	—
abstraction-facade	PASS go1.26.5	—	UNPROVEN	—	—
abstraction-identity	UNPROVEN	—	UNPROVEN	—	—
abstraction-job	UNPROVEN	PASS py3.12	PASS g++	—	—
abstraction-logging	PASS go1.26.5	—	UNPROVEN	—	—
abstraction-model	PASS go1.26.5	PASS py3.12	—	—	—
abstraction-rights	PASS go1.26.5	—	—	—	—
abstraction-router	PASS go1.26.5	—	UNPROVEN	—	—
abstraction-storage	PASS go1.26.5	—	PASS g++	—	—
abstraction-watch	PASS go1.26.5	PASS py3.12	PASS Apple Clang darwin/arm64	—	—

layer

python

cpp

rust

javascript

abstraction-asks

PASS go1.26.5

—

abstraction-cas

PASS go1.26.5

PASS py3.12

PASS g++

—

abstraction-config

PASS go1.26.5

PASS py3.12

UNPROVEN

—

abstraction-download

PASS go1.26.5

PASS py3.12

PASS msvc

—

abstraction-facade

PASS go1.26.5

—

UNPROVEN

—

abstraction-identity

UNPROVEN

—

UNPROVEN

—

abstraction-job

UNPROVEN

PASS py3.12

PASS g++

—

abstraction-logging

PASS go1.26.5

—

UNPROVEN

—

abstraction-model

PASS go1.26.5

PASS py3.12

—

abstraction-rights

PASS go1.26.5

—

abstraction-router

PASS go1.26.5

—

UNPROVEN

—

abstraction-storage

PASS go1.26.5

—

PASS g++

—

abstraction-watch

PASS go1.26.5

PASS py3.12

PASS Apple Clang darwin/arm64

—

PASS 22 · FAIL 0 · UNPROVEN 7 · ABSENT 0 · no implementation 36. 65 cells over 13 layers.

* Documented platform limitation. The current macOS IPC provider cannot supply the process proof required by these service tests. These cells remain counted as FAIL. See the native Mac results and the identity contract.

What a cell means

cell	means
PASS	the recorded checks passed within their stated scope and exceptions
FAIL	evidence exists and a rule broke
UNPROVEN	could not be checked here — a toolchain absent, a platform absent, a harness skipped, or a result nobody records
ABSENT	checked, and the thing is confirmed not there — a language this project's own inventory claims and the tree does not have
—	no implementation/client found for this layer and language; absence does not establish intent

UNPROVEN and — are not the same thing and must never be read as one. A missing implementation is an adoption gap. An implementation that exists and nothing tests is written UNPROVEN so it looks like one.

Why each cell reads as it does

The reason is the point of the table. gate is a cell the project's own gate runs on every change and no recorded run wrote down; skipped is a cell the last recorded run could not judge; unreached is a cell nothing runs at all. All three are UNPROVEN and they are very different gaps.

layer	language	cell	toolchain	reason	what proved it, or what did not
abstraction-asks	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-asks	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-asks	cpp	—		none	no cpp implementation/client found; no inventory claim establishes why it is missing
abstraction-asks	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-asks	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-cas	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-cas	python	PASS	py3.12	recorded	GATE fast, unittest discover, 13 tests
abstraction-cas	cpp	PASS	g++	recorded	GATE fast, ctest under g++ 15.2.0 in WSL, 2 test runs; msvc not built (--fast)
abstraction-cas	rust	—		undeclared	no rust implementation/client found; the inventory carries no row for openabstractions-flat/abstraction-cas
abstraction-cas	javascript	—		undeclared	no javascript implementation/client found; the inventory carries no row for openabstractions-flat/abstraction-cas
abstraction-config	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-config	python	PASS	py3.12	recorded	GATE fast, unittest discover, 17 tests
abstraction-config	cpp	UNPROVEN		unreached	openabstractions-flat/abstraction-config/cpp exists with 0 test files and nothing the gate runs names it
abstraction-config	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-config	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-download	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-download	python	PASS	py3.12	recorded	GATE fast, unittest discover, 70 tests
abstraction-download	cpp	PASS	msvc	recorded	GATE fast, the published conformance suite, 52 rules over 10 of 47 scenarios: matrix recall failure-endings intent notice-quiet wanted pause-adoption foreign-sink terminal wire-ignored-range
abstraction-download	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-download	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-facade	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-facade	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-facade	cpp	UNPROVEN		unreached	openabstractions-flat/abstraction-facade/cpp exists with 0 test files and nothing the gate runs names it
abstraction-facade	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-facade	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-identity	go	UNPROVEN		skipped	the last recorded gate run (fast) did not judge openabstractions-flat/abstraction-identity: the macOS half is type-checked and run by nobody: this gate reaches no Mac
abstraction-identity	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-identity	cpp	UNPROVEN		skipped	the last recorded gate run (fast) did not judge openabstractions-flat/abstraction-identity/cpp: no C++ toolchain on this run executed a ctest test belonging to it; msvc not built (--fast)
abstraction-identity	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-identity	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-job	go	UNPROVEN		skipped	the last recorded gate run (fast) did not judge openabstractions-flat/abstraction-job/go: the macOS half is type-checked and run by nobody: this gate reaches no Mac
abstraction-job	python	PASS	py3.12	recorded	GATE fast, unittest discover, 76 tests
abstraction-job	cpp	PASS	g++	recorded	GATE fast, ctest under g++ 15.2.0 in WSL, 4 test runs; msvc not built (--fast)
abstraction-job	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-job	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-logging	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-logging	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-logging	cpp	UNPROVEN		unreached	openabstractions-flat/abstraction-logging/cpp exists with 0 test files and nothing the gate runs names it
abstraction-logging	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-logging	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-model	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-model	python	PASS	py3.12	recorded	GATE fast, unittest discover, 41 tests
abstraction-model	cpp	—		none	no cpp implementation/client found; no inventory claim establishes why it is missing
abstraction-model	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-model	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-rights	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-rights	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-rights	cpp	—		none	no cpp implementation/client found; no inventory claim establishes why it is missing
abstraction-rights	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-rights	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-router	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-router	python	—		undeclared	no python implementation/client found; the inventory carries no row for openabstractions-flat/abstraction-router
abstraction-router	cpp	UNPROVEN		unreached	openabstractions-flat/abstraction-router/cpp exists with 0 test files and nothing the gate runs names it
abstraction-router	rust	—		undeclared	no rust implementation/client found; the inventory carries no row for openabstractions-flat/abstraction-router
abstraction-router	javascript	—		undeclared	no javascript implementation/client found; the inventory carries no row for openabstractions-flat/abstraction-router
abstraction-storage	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-storage	python	—		none	no python implementation/client found; no inventory claim establishes why it is missing
abstraction-storage	cpp	PASS	g++	recorded	GATE fast, ctest under g++ 15.2.0 in WSL, 1 test runs; msvc not built (--fast)
abstraction-storage	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-storage	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing
abstraction-watch	go	PASS	go1.26.5	recorded	GATE fast, go build ./... && go test ./...
abstraction-watch	python	PASS	py3.12	recorded	GATE fast, unittest discover, 19 tests
abstraction-watch	cpp	PASS	Apple Clang darwin/arm64	recorded	DARWIN1 , CMake build and aggregate CTest on native macOS
abstraction-watch	rust	—		none	no rust implementation/client found; no inventory claim establishes why it is missing
abstraction-watch	javascript	—		none	no javascript implementation/client found; no inventory claim establishes why it is missing

reason	what it says about the cell
`recorded`	a transcript in `docs/results/` recorded this verdict for this tree
`drifted`	a transcript recorded a verdict, for a tree this one is no longer. It proves what the code used to do
`skipped`	the last recorded gate run reached this cell and could not judge it — a toolchain absent, or a mode that leaves it out
`gate`	the gate builds and tests this cell every run, and no recorded run has written down the result
`untested`	the cell has no test file of its own
`unreached`	nothing the gate runs names this cell
`declared`	the project's inventory declares the language and the tree does not have it
`none`	no implementation/client found; absence does not establish intent
`undeclared`	no implementation/client found, and the inventory carries no row for the layer

Where the evidence comes from

Six cross-language harnesses and one public suite. Five of the six say which language a result belongs to, and two of them leave a committed transcript naming the commit they judged. The rest of the grid rests on the gate itself, which builds and tests most of these cells on every run: scripts/check.sh --record writes what it reached into GATE.txt, one line per cell. A cell still reads gate where no recorded run has judged it.

harness	asks	says which language?	leaves a committed transcript?
`behaviour-conformance.sh`	do the implementations do the same thing	yes — every scenario line names the languages that agreed, and an absent one is named too	yes, `BEHAVIOUR1.txt`
`spec-conformance.sh`	do they read a download spec the same way	yes — it prints its roster and names any implementation that did not run	no
`verdict-conformance.sh`	do they refuse the same documents	yes — a divergence names the implementations on each side	no
`conformance.sh`	can each language finish a job another started	yes — every step names the implementation that took it	`CONFORM1.txt`, with no header naming the tree it measured
`obtain-conformance.sh`	can a stranger get each implementation through its own front door	yes — one line per door	no
`identity-conformance.sh`	do Go and Python group model names the same way	yes — it names the one that disagrees	no
`conformance/run.sh`	does one implementation keep the rules on the contract pages	no — it judges one driver per run and the driver is the caller's choice	no

The grid also reads the tree itself: which <layer>/<language>/ directories exist, which Go modules the workspace lists, which C++ directories the top-level build adds, which Python suites the gate names, and how many test files each cell carries.