Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ Aaron 2026-05-05 added four load-bearing properties that any numeric-type additi

1. **DST-safe** -- deterministic simulation testing per Otto-272. Every operation is replayable, deterministic-on-fixed-seed.
2. **Lock-free** -- no mutual exclusion. Compatible with the lock-free runtime.
3. **Scale-free** -- works across scales, small to BigInteger / arbitrary-precision.
3. **Scale-free** -- works across scales, small to BigInteger / arbitrary-precision (SPATIAL axis) AND across timescales, per-tick to multi-decade (TEMPORAL axis). The temporal axis was implicit in the original framing; Aaron 2026-05-05 made it explicit (preserved at `docs/research/2026-05-05-claudeai-cs-is-not-cs-scale-free-in-time-ossified-framework-diagnosis-aaron-forwarded-preservation.md`, PR #1623). The same operation/discipline pattern must hold across both axes: bootstrap razor at conversation scale IS postmortems at project scale IS building codes at field scale IS constitutional reform at civilization scale; same shape, different time-resolutions. Per-tick instrumentation accumulates data normally only available at decades-of-failure scale (the load-bearing claim hidden in the tick-cadence discipline).
4. **DBSP-native** -- retraction-aware. Negative weights compose cleanly through the operation; the operation is consistent under signed-delta application. NOT all numeric types satisfy this trivially: BigInteger as weight type works (ring algebra holds); BigDecimal-with-rounding may NOT (rounding errors don't necessarily compose with negation); float arithmetic explicitly doesn't (commutative-but-not-associative under accumulation).

**Per-candidate acceptance scoring**: each numeric-type candidate (BigInteger, BigRational, BigDecimal, BigFloat) gets scored against all four. Failure on ANY axis means rejection or restriction-to-non-incremental-use. Score-against-the-conjunction is the binding test, not score-against-overflow-prevention-alone.
Expand Down
Loading