Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Mar 22, 2026

• remove: logomaker entry — moved to its own marketplace repo

  Show description for 201f376
  

  reggiechan74

  and

  claude

  committed
  201f376

  Copy full SHA for 201f376

• update: logomaker to v0.1.1 — bug fixes and 184 tests

  Show description for 9e5788d
  

  reggiechan74

  and

  claude

  committed
  9e5788d

  Copy full SHA for 9e5788d

• feat: add logomaker plugin to marketplace

  reggiechan74

  committed
  f600949

  Copy full SHA for f600949

• feat(math-paper-creator): add chunked processing to plain-english command

  Show description for 299162e
  

  reggiechan74

  and

  claude

  committed
  299162e

  Copy full SHA for 299162e

• feat(math-paper-creator): add plain-english companion generator command

  Show description for 85010a7
  

  reggiechan74

  and

  claude

  committed
  85010a7

  Copy full SHA for 85010a7

• chore(math-paper-creator): make numpy a required dependency

  Show description for 3c57acb
  

  reggiechan74

  and

  claude

  committed
  3c57acb

  Copy full SHA for 3c57acb

• chore(math-paper-creator): bump version to 0.7.0

  Show description for c42a234
  

  reggiechan74

  and

  claude

  committed
  c42a234

  Copy full SHA for c42a234

• fix(math-paper-creator): replace pairwise unit check with AST-based dimensional algebra

  Show description for 6b72bf9
  

  reggiechan74

  and

  claude

  committed
  6b72bf9

  Copy full SHA for 6b72bf9

• fix(math-paper-creator): improve error when constraint references unregistered fixture variable

  Show description for 213ec7e
  

  reggiechan74

  and

  claude

  committed
  213ec7e

  Copy full SHA for 213ec7e

• feat(math-paper-creator): add --skip-validation flag to paper command

  Show description for e1c4ce0
  

  reggiechan74

  and

  claude

  committed
  e1c4ce0

  Copy full SHA for e1c4ce0

Commits on Mar 21, 2026

• chore(math-paper-creator): bump version to 0.6.0

  Show description for 6872fbb
  

  reggiechan74

  and

  claude

  committed
  6872fbb

  Copy full SHA for 6872fbb

• feat(math-paper-creator): add verify CLI subcommand for Z3 axiom checking

  Show description for 367a8a3
  

  reggiechan74

  and

  claude

  committed
  367a8a3

  Copy full SHA for 367a8a3

• feat(math-paper-creator): add axiom authoring workflow and checklist advisory

  Show description for 8426aed
  

  reggiechan74

  and

  claude

  committed
  8426aed

  Copy full SHA for 8426aed

• feat(math-paper-creator): exclude Axiom/Property from orphan checks, track given refs

  Show description for 772dfd2
  

  reggiechan74

  and

  claude

  committed
  772dfd2

  Copy full SHA for 772dfd2

• feat(math-paper-creator): add Axiom and Property to validation reports

  Show description for a2bf975
  

  reggiechan74

  and

  claude

  committed
  a2bf975

  Copy full SHA for a2bf975

• feat(math-paper-creator): integrate Z3 verification into executor pipeline

  Show description for 9d625b2
  

  reggiechan74

  and

  claude

  committed
  9d625b2

  Copy full SHA for 9d625b2

• chore(math-paper-creator): add z3-solver as optional verification dependency

  reggiechan74

  committed
  e92675f

  Copy full SHA for e92675f

• feat(math-paper-creator): add Axiom() and Property() DSL surface functions

  Show description for d49acb3
  

  reggiechan74

  and

  claude

  committed
  d49acb3

  Copy full SHA for d49acb3

• feat(math-paper-creator): add Z3 verification module with consistency and implication checks

  Show description for 800539e
  

  reggiechan74

  and

  claude

  committed
  800539e

  Copy full SHA for 800539e

• feat(math-paper-creator): add register_axiom and register_property to Registry

  Show description for 186bc68
  

  reggiechan74

  and

  claude

  committed
  186bc68

  Copy full SHA for 186bc68

• feat(math-paper-creator): add AxiomSymbol and PropertySymbol dataclasses

  Show description for 9458c6f
  

  reggiechan74

  and

  claude

  committed
  9458c6f

  Copy full SHA for 9458c6f

• chore(math-paper-creator): bump version to 0.5.0

  Show description for 9dfccc5
  

  reggiechan74

  and

  claude

  committed
  9dfccc5

  Copy full SHA for 9dfccc5

• feat(author): add prose-math reconciliation checkpoint to section loop

  Show description for 2e74c2a
  

  reggiechan74

  and

  claude

  committed
  2e74c2a

  Copy full SHA for 2e74c2a

• feat(meta-compiler): add reconcile CLI subcommand for prose-math checks

  Show description for e212bf8
  

  reggiechan74

  and

  claude

  committed
  e212bf8

  Copy full SHA for e212bf8

• feat(meta-compiler): add check_constraint_tolerance for prose reconciliation

  Show description for 283ab5b
  

  reggiechan74

  and

  claude

  committed
  283ab5b

  Copy full SHA for 283ab5b

• feat(meta-compiler): add check_value_reporting for prose reconciliation

  Show description for 7a63ee8
  

  reggiechan74

  and

  claude

  committed
  7a63ee8

  Copy full SHA for 7a63ee8

• feat(meta-compiler): add check_directional_claims for prose reconciliation

  Show description for 0c9093d
  

  reggiechan74

  and

  claude

  committed
  0c9093d

  Copy full SHA for 0c9093d

• feat(meta-compiler): add extract_section_blocks helper for section scoping

  Show description for bebf233
  

  reggiechan74

  and

  claude

  committed
  bebf233

  Copy full SHA for bebf233

• docs: add prose-math reconciliation implementation plan

  Show description for 0378745
  

  reggiechan74

  and

  claude

  committed
  0378745

  Copy full SHA for 0378745

• docs: address spec review feedback for prose-math reconciliation

  Show description for ad051c5
  

  reggiechan74

  and

  claude

  committed
  ad051c5

  Copy full SHA for ad051c5

• docs: add prose-math reconciliation checkpoint design spec

  Show description for c781f32
  

  reggiechan74

  and

  claude

  committed
  c781f32

  Copy full SHA for c781f32

• docs(meta-compiler): update runner docstrings to mention results blocks

  Show description for d31c1fc
  

  reggiechan74

  and

  claude

  committed
  d31c1fc

  Copy full SHA for d31c1fc

• test(meta-compiler): add integration tests for python:results blocks

  Show description for ff87047
  

  reggiechan74

  and

  claude

  committed
  ff87047

  Copy full SHA for ff87047

• feat(meta-compiler): include results blocks in standalone runner

  Show description for 4518e40
  

  reggiechan74

  and

  claude

  committed
  4518e40

  Copy full SHA for 4518e40

• feat(meta-compiler): emit results block output in paper

  Show description for 28a61be
  

  reggiechan74

  and

  claude

  committed
  28a61be

  Copy full SHA for 28a61be