Repository navigation

Pin the identity anchor in a fixture and re-derive machine moves - #372

Merged

MaxGhenis merged 8 commits into

codex/thesis-ledger-factsfrom

fix/identity-anchor-fixture

Oct 20, 2026

Merged

Pin the identity anchor in a fixture and re-derive machine moves#372
MaxGhenis merged 8 commits into
codex/thesis-ledger-factsfrom
fix/identity-anchor-fixture

Commits on Oct 19, 2026
- Pin the identity anchor in a fixture and re-derive machine moves
  
  MaxGhenis
  and
  claude
  committed
  f57b260
- Tie a machine anchor move to the comparison base's pin
  
  MaxGhenis
  and
  claude
  committed
  5d6e607
- Refuse repeated rows and re-minted identities in a machine anchor move
  
  MaxGhenis
  and
  claude
  committed
  6baa5a4
Commits on Oct 20, 2026
- Refuse a machine anchor move over an identity bound twice
  
  MaxGhenis
  and
  claude
  committed
  53fd971
- Keep the repeated-identity message out of an implicit concatenation
  
  MaxGhenis
  and
  claude
  committed
  7b3c69f
- Mark the mint-reuse checks defensive under the uniqueness rule
  
  MaxGhenis
  and
  claude
  committed
  ad7f54c
- Merge branch 'codex/thesis-ledger-facts' into fix/identity-anchor-fixture
  MaxGhenis
  authored
  7ff9d40
- Merge branch 'codex/thesis-ledger-facts' into fix/identity-anchor-fixture
  MaxGhenis
  authored
  058592b