Repository navigation

PRINT-0..4: printed node chassis — subject, printer, measurement, coupon and contract authorities - #9992

Merged

briansrls merged 22 commits into

mainfrom

session/crisp-ibex-710

Sep 2, 2026

Commits on Sep 2, 2026
- PRINT-0..4: the printed node chassis program, model-first and refusing
  
  Brian Searls
  and
  claude
  committed
  314afbc
- PRINT-0..4 repairs: transposed board axes, sidecar contract check, wildcard residue
  
  Brian Searls
  and
  claude
  committed
  0637eee
- Standoffs are a correspondence to the micro-ATX grid, not read coordinates
  
  Brian Searls
  and
  claude
  committed
  a492561
- Contract mints from one declaration: unbound pairing and orphaned sidecar both dissolve
  
  Brian Searls
  and
  claude
  committed
  c20c4eb
- Review 58452: prose that should have been typed, a quadratic scan that also fabricated passes, and an unbacked vendor identity
  
  Brian Searls
  and
  claude
  committed
  a5a7ef3
- Review 58474 and the stale-head reviews: structural equality, a 300um contradiction, and the worst fallback in the PR
  
  Brian Searls
  and
  claude
  committed
  8de9974
- microATX gets its own authority, the A1 mini gets a product row, and a stale annotation that a review had cited as a strength
  
  Brian Searls
  and
  claude
  committed
  dde7bea
- Coupon V0 drops the operation that underdetermined its own output, and "exact" stops meaning zero tolerance
  
  Brian Searls
  and
  claude
  committed
  db7aeb6
- Merge remote-tracking branch 'origin/main' into session/crisp-ibex-710
  Brian Searls
  committed
  e4a3e49
- The pinned plan stops listing an operation the code deleted, and records the transport wall
  
  Brian Searls
  and
  claude
  committed
  9c3c534
- The transport wall was admitting an operation V0 deleted, and its own positive control was written in the dead vocabulary
  
  Brian Searls
  and
  claude
  committed
  4ba4b44
- Semantic admission: the wall compares the whole specimen, and two faults it used to admit now refuse
  
  Brian Searls
  and
  claude
  committed
  15ac307
- Coupon identity becomes a closed coproduct and the generic mint is deleted, but it is NOT yet claimed to discriminate
  
  Brian Searls
  and
  claude
  committed
  ae4462c
- Operation order was already refused; what was missing was the witness that keeps it refused
  
  Brian Searls
  and
  claude
  committed
  a52dab2
- The admitted value was forgeable and I had claimed it was not; a probe with a must-fail control settled it
  
  Brian Searls
  and
  claude
  committed
  fea4fdd
- The pinned plan records what the transport wall actually compares, and the probe discipline that nearly failed
  
  Brian Searls
  and
  claude
  committed
  968dd91
- The V1 obligation was a bare String, which is the §4c violation this module otherwise repairs (review 58672)
  
  Brian Searls
  and
  claude
  committed
  236e352
- The expect-compile-refusal harness already existed, and the refusal arm could carry a success
  
  Brian Searls
  and
  claude
  committed
  d7aaff1
- Rename the overclaiming carriers, and go get the document instead of confessing to citing the wrong one
  
  Brian Searls
  and
  claude
  committed
  cf277ff
- The actuator pairing is unbound, declared as a typed obligation rather than built with no consumer
  
  Brian Searls
  and
  claude
  committed
  9a5c59e
- The coupon cannot be identified from its own geometry, so the canonical geometry gains an orientation datum
  
  Brian Searls
  and
  claude
  committed
  22f1da8
- The datum controls did not cover the coupon being turned OVER, which is the case a human creates
  
  Brian Searls
  and
  claude
  committed
  07b2288

Navigation Menu

Repository navigation

PRINT-0..4: printed node chassis — subject, printer, measurement, coupon and contract authorities - #9992

PRINT-0..4: printed node chassis — subject, printer, measurement, coupon and contract authorities#9992
briansrls merged 22 commits into
mainfrom
session/crisp-ibex-710

Commits on Sep 2, 2026

PRINT-0..4: the printed node chassis program, model-first and refusing

PRINT-0..4 repairs: transposed board axes, sidecar contract check, wildcard residue

Standoffs are a correspondence to the micro-ATX grid, not read coordinates

Contract mints from one declaration: unbound pairing and orphaned sidecar both dissolve

Review 58452: prose that should have been typed, a quadratic scan that also fabricated passes, and an unbacked vendor identity

Review 58474 and the stale-head reviews: structural equality, a 300um contradiction, and the worst fallback in the PR

microATX gets its own authority, the A1 mini gets a product row, and a stale annotation that a review had cited as a strength

Coupon V0 drops the operation that underdetermined its own output, and "exact" stops meaning zero tolerance

Merge remote-tracking branch 'origin/main' into session/crisp-ibex-710

The pinned plan stops listing an operation the code deleted, and records the transport wall

The transport wall was admitting an operation V0 deleted, and its own positive control was written in the dead vocabulary

Semantic admission: the wall compares the whole specimen, and two faults it used to admit now refuse

Coupon identity becomes a closed coproduct and the generic mint is deleted, but it is NOT yet claimed to discriminate

Operation order was already refused; what was missing was the witness that keeps it refused

The admitted value was forgeable and I had claimed it was not; a probe with a must-fail control settled it

The pinned plan records what the transport wall actually compares, and the probe discipline that nearly failed

The V1 obligation was a bare String, which is the §4c violation this module otherwise repairs (review 58672)

The expect-compile-refusal harness already existed, and the refusal arm could carry a success

Rename the overclaiming carriers, and go get the document instead of confessing to citing the wrong one

The actuator pairing is unbound, declared as a typed obligation rather than built with no consumer

The coupon cannot be identified from its own geometry, so the canonical geometry gains an orientation datum

The datum controls did not cover the coupon being turned OVER, which is the case a human creates