Repository navigation

Dev - #7

Merged

a9lim merged 107 commits into

mainfrom

dev

Aug 18, 2026

Merged

Dev#7
a9lim merged 107 commits into
mainfrom
dev

Commits on Aug 8, 2026
- docs: v2.0.0 released — STATUS repo section and ledger postscript
  
  a9lim
  and
  claude
  committed
  5286553
Commits on Aug 9, 2026
- docs: qALC — quantum-algebraic pillar architecture design contract
  
  a9lim
  and
  claude
  committed
  30b4b78
- docs: qALC architecture — incorporate adversarial review round 1
  
  a9lim
  and
  claude
  committed
  996f9a4
- docs: qALC — incorporate review round 2; add reference machine sketch
  
  a9lim
  and
  claude
  committed
  a80ccf2
- docs: harmonize qALC into house current-only format
  
  a9lim
  and
  claude
  committed
  67af866
- docs: qALC — repair the three round-3 blockers
  
  a9lim
  and
  claude
  committed
  27f2c4b
- docs: qALC contract frozen — round-4 sign-off; two precision nits landed
  
  a9lim
  and
  claude
  committed
  ea4abad
- docs: qALC machine — formal draft v0 with transition table and witness forcing
  
  a9lim
  and
  claude
  committed
  de08c12
- docs: qALC machine v0 review incorporated — retractions, defect register, v1 fork
  
  a9lim
  and
  claude
  committed
  9881203
- docs: qALC machine formal draft v1 — no-erasure forward machine, colour discipline, Try-boundary protocol
  
  a9lim
  and
  claude
  committed
  632cb50
- docs: normalize colour -> color (American spelling, matches future Rust identifiers)
  
  a9lim
  and
  claude
  committed
  e819d80
- docs: qALC machine v1 verdict registered — protocol broken by no-cloning
  
  a9lim
  and
  claude
  committed
  7f28eec
- docs: qALC route (b) pinned — token-transport v2 brief; STATUS docket updated
  
  a9lim
  and
  claude
  committed
  8b978fb
- docs: ledger — v1 killshot and route (b) decision; session pinned for compaction
  
  a9lim
  and
  claude
  committed
  c36577b
- qalc: token-machine amendment ratified and applied; v2 design sketch
  
  a9lim
  and
  claude
  committed
  bb0e917
- docs: harmonize qALC docs to current-only format
  
  a9lim
  and
  claude
  committed
  86b9750
- qalc: three-program kernel v1 — machine-verified, in review
  
  a9lim
  and
  claude
  committed
  7a6914d
- qalc: kernel v1.1 — conformance blocker fixed, amendments applied
  
  a9lim
  and
  claude
  committed
  fa85d9e
- qalc: kernel v1 adversarial verdict — recall CONFIRMED-BROKEN
  
  a9lim
  and
  claude
  committed
  0c827af
- qalc: kernel v1.2 — inert replay stack repair, full battery green
  
  a9lim
  and
  claude
  committed
  1beee56
- qalc: v1.2 re-review registered — transparency criterion adopted
  
  a9lim
  and
  claude
  committed
  92c2d0e
- qalc: kernel v1.3 — replay rule, instance frames, transparency pop; the time register
  
  a9lim
  and
  claude
  committed
  e2e12e4
- qalc: v1.3 review verdict registered — polarity theorem route; in-session corrections
  
  a9lim
  and
  claude
  committed
  c5c2b74
- qalc: v1.4 — polarity theorem with closed form; canonical certificates; exact ring
  
  a9lim
  and
  claude
  committed
  f540e21
- qalc: encoded-fibre amendment ratified-with-edits, applied to architecture §7
  
  a9lim
  and
  claude
  committed
  e674e33
- qalc: coloring theorem confirmed; C-collapse countermodel; the v1.5 encoded fire
  
  a9lim
  and
  claude
  committed
  44cb164
- qalc: kernel v1.6 — the conservation theorem; PASS claimed for the h-fragment
  
  a9lim
  and
  claude
  committed
  f8a0875
- qalc: v1.6 fresh review registered — core confirmed, h-fragment PASS withdrawn
  
  a9lim
  and
  claude
  committed
  6b38273
- qalc: kernel v1.7 — the replay record; WF subtype; h-fragment PASS re-claimed (audit-gated)
  
  a9lim
  and
  claude
  committed
  dc10308
- qalc: v1.8 — audit #1 FAIL registered; decode records + refire guard; W7; typed fragment
  
  a9lim
  and
  claude
  committed
  38711ae
- qalc: §15.4 — state the coverage claim exactly; register the HNH load-bearing certificate measurement
  
  a9lim
  and
  claude
  committed
  ed85767
- qalc: v1.9 — working-review corrections; docs rewritten current-only
  
  a9lim
  and
  claude
  committed
  0193b65
- qalc: v1.10 — hybrid pipeline, instance-directed certificates, B healed, W registered placement-open
  
  a9lim
  and
  claude
  committed
  1c81b64
- qalc: kernel v1.11 — audit #3 FAIL inverts W; spectator transition wired literally; W healed at {halt1:1}
  
  a9lim
  and
  claude
  committed
  b995df7
- qalc: kernel v1.12 — KD names only representation-free keys; parsimony retracted; register current-only
  
  a9lim
  and
  claude
  committed
  bf7c830
- qalc: kernel v1.13 — complete KD subtraction; phase-3 greedy rescue; palpha certified
  
  a9lim
  and
  claude
  committed
  110682b
- qalc: v1.14 — regression ten gates; rescue pool completed; claims rescoped
  
  a9lim
  and
  claude
  committed
  e3628b7
- qalc: v1.15 — non-vacuous coverage; exit-code verdict; the None sentence exact
  
  a9lim
  and
  claude
  committed
  4bb15fc
- docs: decruft pass — current-only across README, AGENTS, STATUS, token, classical
  
  a9lim
  and
  claude
  committed
  0371337
- qalc: v1.16 — key-level non-vacuity; the admission claim stated honestly
  
  a9lim
  and
  claude
  committed
  48c4210
- qalc: v1.17 — §7.1 states the theorem its checker enforces; KD joins the gauge sweep
  
  a9lim
  and
  claude
  committed
  41df238
- qalc: v1.18 — the checker catches up to the register (popped-F); instruments gain verdicts
  
  a9lim
  and
  claude
  committed
  bd887cc
- qalc: v1.19 — deep W4; all six instruments gate; full decruft
  
  a9lim
  and
  claude
  committed
  71bc2da
Commits on Aug 10, 2026
Commits on Aug 11, 2026
- Isolate qALC reachable-recall proof frontier
  a9lim
  committed
  7ee6c73
- Add qALC direct RRI proof gate
  a9lim
  committed
  81ac3ff
- Record concrete Lean RRI replay
  a9lim
  committed
  58a0eb2
- Sharpen qALC uniform RRI frontier
  a9lim
  committed
  61f0466
Commits on Aug 12, 2026
- Close qALC architecture Gate 1
  a9lim
  committed
  1ad9d53
- Decruft qALC Gate 1 surfaces
  a9lim
  committed
  44c5962
- docs: record qalc Gate 2 construction boundary
  a9lim
  committed
  029ec6f
- docs: record qalc Gate 2 physical frontier
  a9lim
  committed
  7fa70e4
- docs: pin qalc physical refinement frontier
  a9lim
  committed
  96adbe5
- Record qALC physical preparation theorem
  a9lim
  committed
  613d538
Commits on Aug 13, 2026
- Decruft qALC Gate 2 documentation
  a9lim
  committed
  528cdec
- Record qALC first-gate physical refinements
  a9lim
  committed
  17065b2
- Close qALC Architecture Gate 2
  a9lim
  committed
  64b8774
- Consolidate qALC closure surface
  a9lim
  committed
  774ece5
- Promote qALC reference into repository
  a9lim
  committed
  7804f6d
Commits on Aug 14, 2026
- Add canonical speed-prior (Levin) surface
  
  a9lim
  and
  claude
  committed
  cfe2d66
- Clarify floors file scope in speed contract
  
  a9lim
  and
  claude
  committed
  403ea5d
- Park discrete Solomonoff-induction lane in the classical docket
  
  a9lim
  and
  claude
  committed
  df1e9b5
- Record coding-theorem residuals; park induction and quantum speed lanes
  
  a9lim
  and
  claude
  committed
  d12d4a8
- Add spar-complete Rust qALC pillar implementation sketch
  
  a9lim
  and
  claude
  committed
  4857fd1
- fmt: rustfmt pass over the speed-prior changes
  
  a9lim
  and
  claude
  committed
  10956ef
- qALC Rust pillar phase 0: schema, codec, Amp, differential fixtures
  
  a9lim
  and
  claude
  committed
  e6f7a27
- Sketch: record the phase-3 PyReprKey domain growth (shadow c-port RS entries)
  
  a9lim
  and
  claude
  committed
  d4abdad
- Land qALC Rust pillar phase 1: the kernel step table
  
  a9lim
  and
  claude
  committed
  5abffc0
- Fold the phase-1 Codex drift review into the qALC kernel port
  
  a9lim
  and
  claude
  committed
  104b869
- Land the composed-machine core of qALC phase 2 (in progress)
  
  a9lim
  and
  claude
  committed
  b616c17
- Close qALC phase 2: Gate-1 composed differential byte-pinned
  
  a9lim
  and
  claude
  committed
  525ee96
Commits on Aug 17, 2026
- Close qALC phase 3 clean compilation
  a9lim
  committed
  b3f343b
- Close qALC phase 4 admission and semantics
  a9lim
  committed
  0e8f601
- Add qALC reference CLI group
  a9lim
  committed
  b23c6f6
Commits on Aug 18, 2026
- Collapse documentation and remove dead paths
  a9lim
  committed
  07e4d2b
- Add qALC finite-clock census
  a9lim
  committed
  f2ea4e7
- Optimize qALC census and runtime gates
  a9lim
  committed
  07d7149
- Trim qALC CI to fixture determinism
  a9lim
  committed
  7467583
- Decruft qALC census and proof surface
  a9lim
  committed
  864a3ac
- Bump blam to 2.1.0 and deduplicate CI
  a9lim
  committed
  0f90ace
- Extend qALC census convergence record
  a9lim
  committed
  0da583c
- Characterize qALC U M and Omega
  a9lim
  committed
  2f0d751

Commits

Commits on Aug 8, 2026

Commits on Aug 9, 2026

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 14, 2026

Commits on Aug 17, 2026

Commits on Aug 18, 2026