checks-stored.json

back to table · edit · history · where entries came from · files · download

1231 bytes, as of the version from 2026-10-29 05:38 (current). Recorded here, not run.

{
  "table": "T601",
  "skill_manifest": "agents/runs/20261029T051809Z-build-skills/manifest.json",
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
  "controls": {
    "walk_return_counts_at_0_2_4_steps": [
      1,
      4,
      36
    ],
    "false_comparison_rejected": true,
    "float_rejected": true
  },
  "enumeration": {
    "parameter": "n",
    "minimum": 0,
    "maximum": 100,
    "count": 101
  },
  "measure": {
    "entries": 101,
    "longest": 240,
    "longest_at": 100,
    "block_kb": 15.173828125
  },
  "exactness_passed": true,
  "closed_sum_matches": 101,
  "square_lattice_walk_matches": 101,
  "three_term_recurrence_matches": 99,
  "strict_increase_and_decreasing_increments": true,
  "stored_checked": true,
  "samples": {
    "0": "1",
    "1": "5/4",
    "2": "89/64",
    "3": "381/256",
    "10": "125233642041/68719476736",
    "100": "102262229964916618138612667958339840558657506398831274990957628181539156350669256543434906380322155662799274272273624809/40347654345107946713373737062547060536401653012956617387979052445947619094013143666088208645002153616185987062074179584"
  },
  "versions": {
    "numberdb": "0.1.10"
  },
  "elapsed_seconds": 4.904
}