Release v0.10.0: spec schema 0.2, one compiled model, portable attestation - #264

Merged

qwerfunch merged 110 commits into

mainfrom

Sep 10, 2026

Commits on Aug 28, 2026

feat(spec): establish Spec 0.2 design baseline
qwerfunch
committed
74a6c6e
fix(test): make MCP host smoke fixture-independent
qwerfunch
committed
05f0c64
Merge pull request #262 from qwerfunch/feature/spec-0.2-design
qwerfunch
authored
ac92d9b

Commits on Aug 31, 2026

wip(spec-0.2): checkpoint V0-F7 implementation and proof repair
qwerfunch
committed
2758615
test(spec-0.2): checkpoint exact legacy proof bindings
qwerfunch
committed
e042b8f
test(spec-0.2): prove live external contracts
qwerfunch
committed
c53f223
feat(spec-0.2): restore onboarding and convention contracts
qwerfunch
committed
18e72a2
feat(spec-0.2): complete F7 semantic proof batch B1
qwerfunch
committed
4a0e4e7
feat(spec-0.2): complete F7 semantic proof batch B2
qwerfunch
committed
33b107c
feat(spec-0.2): complete F7 semantic proof batch B3
qwerfunch
committed
bd28cf8
feat(spec-0.2): complete F7 semantic proof batch B4
qwerfunch
committed
a66d9b5
chore(spec-0.2): resolve F7 design review
qwerfunch
committed
31c90f8
docs: sync public test count to 3606
qwerfunch
committed
2e39294
fix(spec-0.2): preserve Vitest suite identity in proof matching
qwerfunch
committed
c488b21
docs(spec-0.2): define transparent L2 migration baseline
qwerfunch
committed
87cdb46
fix(spec-0.2): repair legacy proof carriers
qwerfunch
committed
702b834
feat(spec-0.2): bind F7 legacy L2 migration receipt
qwerfunch
committed
01d6321
feat(spec-0.2): reduce F7 migration baseline rows
qwerfunch
committed
44dac75
chore(spec): sync F7 checkpoint inventory
qwerfunch
committed
e2cd13c
feat(spec-0.2): persist F7 migration baseline attestations
qwerfunch
committed
81101b8
fix(spec-0.2): emit alias-free migration baseline receipts
qwerfunch
committed
3d95d91

Commits on Sep 1, 2026

fix(spec-0.2): reserve clean-tree proof for release
qwerfunch
committed
f853b58
fix(spec-0.2): preserve exact migration observations
qwerfunch
committed
eb8738c
test(spec-0.2): preserve exact migration bindings
qwerfunch
committed
aa104ec
feat(spec-0.2): complete F7 self-migration
qwerfunch
committed
b561762
spec(spec-0.2): author F8 GraphIR v2 cutover
qwerfunch
committed
1a64f09
fix(spec-0.2): tighten F8 contract evidence
qwerfunch
committed
e080bfd
feat(spec-0.2): add GraphIR v2 query kernel
qwerfunch
committed
7ef23c6
fix(spec-0.2): harden GraphIR v2 kernel
qwerfunch
committed
3ca0aa2
fix(spec-0.2): preserve GraphIR v2 fidelity
qwerfunch
committed
3c8404e
feat(spec-0.2): add GraphIR workspace query boundary
qwerfunch
committed
3275835
fix(spec-0.2): retain blocked reason in GraphIR projection
qwerfunch
committed
26816e7
feat(graph): add authored covers workspace facts
qwerfunch
committed
738c2e3
fix(graph): stabilize artifact fact merge
qwerfunch
committed
e98442e
feat(graph): add document fact layer
qwerfunch
committed
e6b6554
fix: harden document graph facts
qwerfunch
committed
4f9c5f7
feat(graph): anchor document reference facts
qwerfunch
committed
c5e5afc
test: align declared doc link severity
qwerfunch
committed
1ca1bfb
feat(graph): add bounded source reference facts
qwerfunch
committed
8b85e36
test(graph): strengthen source reference facts
qwerfunch
committed
5c73756
fix(graph): reconcile bounded source references
qwerfunch
committed
6ce0fff
feat: validate authored source references in drift
qwerfunch
committed
44c1f98
test: fix source reference fixture assertions
qwerfunch
committed
84d83fa
feat(graph): add current-gate testcase observations
qwerfunch
committed
0875416
fix(graph): retain CRLF source-reference carriers
qwerfunch
committed
8b8048c
chore: sync F8 public counts and source census
qwerfunch
committed
6e573a6

Commits on Sep 2, 2026

feat(graph): materialize schema 0.2 oracle and evidence declarations

qwerfunch
and
claude
committed
8fd2245
fix(graph): seal the current-gate testcase ledger at the stage seam

qwerfunch
and
claude
committed
883d7c5
fix(assurance): derive scope and closure completeness from structural inputs

qwerfunch
and
claude
committed
a20d391
test(spec-0.2): bind F4/F6 criteria and cascaded reviewed bindings to live titles

qwerfunch
and
claude
committed
c43ddd3
feat(spec-0.2): complete F1–F5 through the completion gate

qwerfunch
and
claude
committed
cfbbc09
feat(assurance): let the declared profile own warn-class blocking

qwerfunch
and
claude
committed
1da9588
docs(spec-0.2): split the change log and record the 0.10.0 in-flight decisions

qwerfunch
and
claude
committed
ed0cc7b
feat(spec-0.2): complete F6 assurance profiles and attestation v3

qwerfunch
and
claude
committed
c75c040
test: promote migration-baseline test selectors to live [covers:] tokens

qwerfunch
and
claude
committed
48bb7b0
feat(graph): add the GraphIR v2 public wire and bounded packer

qwerfunch
and
claude
committed
cf5f651
feat(graph): observe portable receipts as GraphIR evidence facts

qwerfunch
and
claude
committed
f7a1c7f
feat(graph): read every consumer through one GraphIR facade and retire the reverse index

qwerfunch
and
claude
committed
b3c5a3c
feat(graph): present GraphIR v2 in the shape the renderers and viewer consume

qwerfunch
and
claude
committed
2b39bfc
feat(graph): cut the public graph surfaces over to GraphIR v2

qwerfunch
and
claude
committed
90e92ca
feat(spec-0.2): complete F8 GraphIR v2 cutover and the three graph features

qwerfunch
and
claude
committed
9eacea2

Commits on Sep 3, 2026

feat(init): scaffold and refine schema 0.2 workspaces by default

qwerfunch
and
claude
committed
fcd7aca
feat(spec-0.2): complete the schema 0.2 native onboarding feature

qwerfunch
and
claude
committed
3274cc1
fix(assurance): persist attestation v3 rows as set digests

qwerfunch
and
claude
committed
7db1446
feat(optimizer): add the cycle context envelope (F9a)

qwerfunch
and
claude
committed
1803942
feat(spec-0.2): complete F9a context envelope

qwerfunch
and
claude
committed
d90fe85
fix(optimizer): keep ownership fan-out lazy in implement packets

qwerfunch
and
claude
committed
3c85a6f
fix(oracle): read directory modules without EISDIR in the blind payload

qwerfunch
and
claude
committed
692c3b4
feat(tests): add the A–E topology invariance suite (F9b)

qwerfunch
and
claude
committed
2c407db
test(topology): bind the J11 carrier with a literal title

qwerfunch
and
claude
committed
141b37d
feat(spec-0.2): complete F9b topology invariance suite

qwerfunch
and
claude
committed
a141f39
feat(proof): add the file-key issuer and committed trust registry (F9d)

qwerfunch
and
claude
committed
ff9a4b1
feat(spec-0.2): complete F9d file-key issuer and trust registry

qwerfunch
and
claude
committed
bd8a0f2

Commits on Sep 5, 2026

feat(spec-0.2): retire the headless drive loop and defer the F9c scheduler

qwerfunch
and
claude
committed
d56eea5
feat(spec-0.2): complete F-9fcdd0a0 drive retirement

qwerfunch
and
claude
committed
d12ec16
docs: sweep the last drive-loop references and guard the doc surfaces

qwerfunch
and
claude
committed
517d998
fix(hook): label feature-execution prompts as feature work and close the retirement docs

qwerfunch
and
claude
committed
25486a1

Commits on Sep 7, 2026

feat(spec): resolve generated artifacts by layout and add opt-in clad relocate-generated (F11-lite)

qwerfunch
and
claude
committed
212810d
feat(spec-0.2): complete F-0dafcf9d relocate-generated lite

qwerfunch
and
claude
committed
e3a5096
feat(spec-0.2): declare the 0.10.0 release boundary in the validation ledger (M4-1)

qwerfunch
and
claude
committed
c01b9b8
feat(spec-0.2): complete F-c2d7dc78 release ledger

qwerfunch
and
claude
committed
64f4cdf
fix(cli): report and enforce the attested independence label on schema 0.2 completion (F-8e7f399b)

qwerfunch
and
claude
committed
8f064b0
feat(spec-0.2): complete F-8e7f399b done independence label

qwerfunch
and
claude
committed
1167026
chore(release): prepare the 0.10.0 release candidate

qwerfunch
and
claude
committed
da39cd9
fix(deps): pick up the patched fast-uri, qs, and side-channel releases

qwerfunch
and
claude
committed
782747e
build: refresh the plugin bundle from the locked dependency tree

qwerfunch
and
claude
committed
7dd4540
fix(assurance): seal the receipt-inclusive verification closure for completion and staleness (F-a0bd9c5a)

qwerfunch
and
claude
committed
e5464f1
feat(spec-0.2): complete F-a0bd9c5a receipt attestation seal

qwerfunch
and
claude
committed
9124178
fix(assurance): report unrefreshed attestation rows only for done features (F-a0bd9c5a)

qwerfunch
and
claude
committed
22c1d24
docs(release): record the 0.10.0 packed-tarball evidence and correct the reference-host runbook

qwerfunch
and
claude
committed
0578818
feat(release): land the reference-host evidence and close the 0.10.0 release boundary

qwerfunch
and
claude
committed
04002d6
chore(release): date the 0.10.0 changelog entry

qwerfunch
and
claude
committed
ae4ce57
docs(design): state what the 0.10.0 reference-host records prove

qwerfunch
and
claude
committed
33c8d3b

Commits on Sep 8, 2026

feat(init): tell schema 0.2 adopters how a test claims a criterion (F-6349870d)

qwerfunch
and
claude
committed
56f3cb9
feat(spec-0.2): complete F-6349870d adopter binding guidance

qwerfunch
and
claude
committed
b8fcb62
docs(ab): pre-register the vanilla / 0.9.4 / 0.10.0 campaign and commit its harness

qwerfunch
and
claude
committed
f39c497
docs(ab): record the vanilla / 0.9.4 / 0.10.0 campaign results and repair the harness reporting

qwerfunch
and
claude
committed
d80863e
chore: re-attest after the changelog update

qwerfunch
and
claude
committed
616b866
docs(release): record the shipped build's lineage against the MCP11 build

qwerfunch
and
claude
committed
f867a6d

Commits on Sep 9, 2026

fix(cli): relay kernel decisions in the check and ingest-receipt adapters

qwerfunch
and
claude
committed
e32c694
docs(ab): add the 0.10.0 feature-scenario battery and coverage ledger

qwerfunch
and
claude
committed
72d0820
feat(spec-0.2): complete F-18a5883a CLI adapter kernel parity

qwerfunch
and
claude
committed
b317d05
docs(ab): lock the 0.10.0 feature-scenario battery and record the host probes

qwerfunch
and
claude
committed
3b06352
fix(deps): patch the transitive advisories reported on 2026-09-09

qwerfunch
and
claude
committed
a38210f
fix(assurance): seal only the files a clean checkout has (F-71da4292)

qwerfunch
and
claude
committed
b37d174
feat(spec-0.2): complete F-71da4292 portable closure membership

qwerfunch
and
claude
committed
bdddb9c
docs(ab): lock S-C5, re-pin S-D5 after the seal repair, record the fourth build

qwerfunch
and
claude
committed
e32e0f4
docs(ab): refresh the case index status after the lock round

qwerfunch
and
claude
committed
61384cf

Commits on Sep 10, 2026

Merge pull request #263 from qwerfunch/feature/spec-0.2-0.10.0
qwerfunch
authored
5f15ed4
docs(release): date the 0.10.0 release notes 2026-09-10

qwerfunch
and
claude
committed
095cf5c