{
  "id": "FI_RECORDER_DESIGN_R24",
  "published_date": "2026-10-08",
  "stage": "Source-reviewed conditional design; no runtime or hardware measurements",
  "comparison": "Accepted R23 source design versus R24; same full record task and same producer-retention allocation. Ordinary implementations receive the same generic changes.",
  "task": {
    "payload_B": 64,
    "wire_frame_B": 84,
    "stored_record_B": 88,
    "rate_Hz": 1,
    "days": 30,
    "records": 2592000,
    "logical_logs": 2,
    "final_output_B": 228096016,
    "commit_s": 1,
    "restart_s": 5,
    "source_time_accuracy_s": "0.1",
    "Ethernet_ports": 2,
    "temperature_C": [
      0,
      40
    ],
    "relative_humidity_percent": [
      5,
      95
    ],
    "condensation": false,
    "finite_fault_count_granted": false,
    "minimum_healthy_gap_granted": false
  },
  "metrics": [
    {
      "metric": "Reserved recorder storage",
      "before": 1153112064,
      "after": 862808256,
      "unit": "B",
      "reduction_percent": "25.1756804098",
      "scope": "Logical source allocation; excludes other required owners and native overhead"
    },
    {
      "metric": "Recorder plus same full retention",
      "before": 1453784064,
      "after": 1163480256,
      "unit": "B",
      "reduction_percent": "19.9688396089",
      "scope": "Named two-owner subtotal; 300672000 B producer store charged in both arms"
    },
    {
      "metric": "Normal capture writes",
      "before": 580608000,
      "after": 518400000,
      "unit": "B",
      "reduction_percent": "10.7142857143",
      "scope": "Logical normal capture bytes; retries/provider/wear amplification additional"
    },
    {
      "metric": "Normal capture reads",
      "before": 1410048000,
      "after": 1161216000,
      "unit": "B",
      "reduction_percent": "17.6470588235",
      "scope": "Logical normal capture bytes; not measured energy or native traffic"
    },
    {
      "metric": "Cold fast recovery reads",
      "before": 656580608,
      "after": 8391072,
      "unit": "B",
      "reduction_percent": "98.7220042904",
      "scope": "Under unchanged immutable-prefix premises, before event/DONE appends"
    },
    {
      "metric": "Certificate CRC work",
      "before": 1658880000,
      "after": 663552000,
      "unit": "bitsteps",
      "reduction_percent": "60",
      "scope": "Named timing-certificate subset; not whole CPU use"
    },
    {
      "metric": "Normal durability sync calls",
      "before": 15552000,
      "after": 15552000,
      "unit": "calls",
      "reduction_percent": "0",
      "scope": "Six per record; no improvement"
    },
    {
      "metric": "Exact final host output",
      "before": 228096016,
      "after": 228096016,
      "unit": "B",
      "reduction_percent": "0",
      "scope": "Complete ordered history plus terminal unchanged"
    }
  ],
  "method": "Timing proof falls from 48 to 24 bytes per record by moving run identity into a concrete checked immutable namespace and sequence into fixed offsets. Unused local export staging is removed; host output is still charged. Routine recovery checks the valid immutable prefix instead of scanning every historical/future byte.",
  "tradeoffs": [
    "Fast startup defers exhaustive historical/future corruption checks outside immutable-storage premises. Full diagnostic remains available and costs 594374304 B before appends, 594374496 B afterward.",
    "Normal sync calls stay unchanged. Producer adds 300672000 B allocation, 300672000 B normal writes, 902016000 B normal reads and 5184000 syncs in the selected support design.",
    "Host output 228096016 B plus complete verification, native resources, power and cost remains.",
    "No timing-certificate failure window is expanded under the stated source premises. Full original fault service remains unqualified."
  ],
  "capacity": {
    "nominal_chip_B": 268435456,
    "isolated_raw_count_before": 5,
    "isolated_raw_count_after": 4,
    "same_full_retention_raw_count_before": 6,
    "same_full_retention_raw_count_after": 5,
    "native_fit": false,
    "condition": "Nominal address/page capacity plane only; datasheet sector/block counts conflict. Raw NOR mapping, erased-state/dirty-head/page/reset locality, driver and all other overhead are not qualified. No actual removed chip is claimed."
  },
  "physical": {
    "stock_computers": "Moxa UC-8210-T-LX-S to UC-1222A",
    "nominal_mass_g": [
      560,
      224
    ],
    "nominal_headroom_g": 336,
    "proposed_installed_target_g": 250,
    "required_supported_added_kit_and_adverse_error_upper_g": 86,
    "body_volume_difference_L": "0.109404",
    "selected_axis_growth_mm": 8,
    "installed_gain_qualified": false,
    "power_heat_speed_life_gain_qualified": false,
    "RF_range_applicable": false
  },
  "remaining_design_inputs": [
    "Continuing capture and original deadline clock/driver/run/failure path",
    "Supported storage mapping/reset locality and exact native target",
    "Compatible supply/harness and every-prefix reserve budget",
    "Actual installed mass/error/space and delivered lifecycle cost"
  ],
  "economics": "Ordinary B gets the same generic improvements; FI costs remain charged. No numerical ROI, unique FI hardware advantage or market adoption is established.",
  "review": {
    "type": "Separate source/component and integration reviews at inert documentary scope",
    "integrated_verdict_sha256": "1465e75b435452ec321e7bf59069e5755aeadd05242dc9b0d8acbe148aa020c6",
    "resource_sha256": "37582e5628b93841f77837673f7da0f0a08064ecd7e7866a81e94096ee01290c"
  },
  "workings": [
    {
      "id": "W01",
      "steps": "30*24=720 h;720*60=43200 min;43200*60=2592000 s;1 Hz gives2592000 observations",
      "result": 2592000,
      "units": "observations",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W02",
      "steps": "8sequence+8source time+64arbitrary payload=80;80+CRC4=84;84+marker4=88;2*88*N=456192000",
      "result": 456192000,
      "units": "dual-log B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W03",
      "steps": "R23 cert8seq+8event+8commit+16run+4CRC+4marker=48; R24 cert8event+8commit+4CRC+4marker=24;24*N=62208000",
      "result": 62208000,
      "units": "proof B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W04",
      "steps": "Fault capacity2112000*32=67584000 unchanged;62208000+67584000=129792000",
      "result": 129792000,
      "units": "events owner B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W05",
      "steps": "Namespace8magic+16run+32layout+8N+5*(8dev+8inode+8length)+4CRC+4marker=192",
      "result": 192,
      "units": "namespace B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W06",
      "steps": "456192000+129792000=585984000;+8388608=594372608;+268435456=862808064;+192=862808256;local export_work removed, charged host unchanged",
      "result": 862808256,
      "units": "reserved source B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W07",
      "steps": "1153112064-862808256=290303808;290303808/1153112064*100",
      "result": 25.175680409844365,
      "units": "percent less logical reserved source",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W08",
      "steps": "Capture writes per row176logs+24proof=200;200*2592000=518400000;580608000-518400000=62208000;(62208000/580608000)*100",
      "result": 62208000,
      "units": "fewer logical capture write B;10.714285714285714%",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W09",
      "steps": "Capture reads per row4*88logs+4*24proof=352+96=448;448*2592000=1161216000;1410048000-1161216000=248832000;248832000/1410048000*100",
      "result": 248832000,
      "units": "fewer logical capture read B;17.647058823529413%",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W10",
      "steps": "Capture sync4logs+2proof=6 per row;6*N=15552000;delta0",
      "result": 15552000,
      "units": "sync calls;no reduction",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W11",
      "steps": "2^21=2097152<2112001<2592001<4194304=2^22; each binary-search interval has at most22 probes; boundary+last adds<=2",
      "result": 24,
      "units": "logical probes per prefix upper",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W12",
      "steps": "Certificate24probes*24=576;fault24probes*32=768;last/head4logslots*88=352;control131072*64=8388608;sum8390304",
      "result": 8390304,
      "units": "fast scans B before namespace",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W13",
      "steps": "Namespace constructor192+TwoLogBytes check192+FixedMetadata check192+Archive check192=768;8390304+768=8391072",
      "result": 8391072,
      "units": "cold fast recovery read B upper",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W14",
      "steps": "24cert+24fault+4logs+131072control+4namespace=131128",
      "result": 131128,
      "units": "cold fast recovery logical reads upper",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W15",
      "steps": "656580608-8391072=648189536;648189536/656580608*100",
      "result": 98.72200429044653,
      "units": "percent fewer logical recovery B at fast scope",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W16",
      "steps": "10019072-131128=9887944;9887944/10019072*100",
      "result": 98.69121611262999,
      "units": "percent fewer logical recovery reads at fast scope",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W17",
      "steps": "Successful recovery event32write/64read/2sync;conditionalDONE64write/128read/2sync;fast total read8391072+64+128=8391264;write96;sync4",
      "result": 8391264,
      "units": "recovery read B including both conditional appends",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W18",
      "steps": "Full diagnostic456192000logs+62208000proof+67584000faults+8388608control=594372608;prefix cert/log extra576+352=928;namespace768;sum594374304",
      "result": 594374304,
      "units": "full diagnostic recovery B upper before appends",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W19",
      "steps": "Full diagnostic10019072slots+24cert+4logs+4namespace=10019104;conditionalappend reads+4=10019108",
      "result": 10019104,
      "units": "full diagnostic reads upper before appends",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W20",
      "steps": "Full diagnostic event/DONE adds192read/96write/4sync;594374304+192=594374496",
      "result": 594374496,
      "units": "full diagnostic recovery B upper with appends",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W21",
      "steps": "Export2*N*88+N*24=456192000+62208000=518400000;outputN*88+16=228096016;output delta0",
      "result": 518400000,
      "units": "full export read B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W22",
      "steps": "Compact certificate construction16+adaptervalidation16=32CRCbytes/row;32*N*8=663552000;old1658880000-663552000=995328000;reduction60%",
      "result": 663552000,
      "units": "normal capture certificate CRC bitsteps",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W23",
      "steps": "Full export logCRC2*N*80*8=3317760000;certCRC16*N*8=331776000;sum3649536000;old4147200000-3649536000=497664000",
      "result": 3649536000,
      "units": "full export CRC bitsteps",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W24",
      "steps": "Fast prefixcert24*16*8=3072;fault24*24*8=4608;logs4*80*8=2560;control<=4*56*8=1792;sum12032;namespace4reconstructions184*8+Archivevalidation184*8=7360;sum19392",
      "result": 19392,
      "units": "cold fast scan CRC bitstep upper; event/DONE +832",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W25",
      "steps": "Offlinezero:log visits2*55688=111376;events129792000=4096*31687+2048 so31688;control2048;reserve65536;sum210648;namespace192written separately",
      "result": 210648,
      "units": "zero-block visits;positive short writes extra",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W26",
      "steps": "Five offlinefiles fsync5+directory1+new-runparent1+namespaceseal2+directory1=10;old7;delta3",
      "result": 10,
      "units": "offline sync calls",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W27",
      "steps": "Dirtyhead2*88+24=200 inside existing regions;no-reuse alternative200F plus identity/index/wear;no finite F admitted",
      "result": 200,
      "units": "already-reserved dirty-head B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W28",
      "steps": "General source writesW=862808256provision+200Ncapture+32events+64controls+retry bytes;no local export staging writes. media programWA*W+supported refresh/internal programming",
      "result": "symbolic complete owners",
      "units": "B;not measured media traffic",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W29",
      "steps": "84*N=217728000 externalproducer bodies underunbounded ACKloss;single65s closedintervalfloor65+1=66;84*66=5544;none proves timing",
      "result": 217728000,
      "units": "external producer body B possible upper",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W30",
      "steps": "Oldsource reserved1153112064;new862808256;actual native fit requiresnew+allOS/FS/provider/package/producer/host uncontained owners<=authentic usablecapacity",
      "result": 862808256,
      "units": "conditional native threshold B",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W31",
      "steps": "A source comparatorR23;ordinaryB and C both receiveR24;B-A=C-A at source counts;C-B=0 runtime/sourcehardware with same implementation;FIoffline differences retained unknown",
      "result": 0,
      "units": "C-B source operation delta",
      "scope": "elementary documentary arithmetic; counts not measurements"
    },
    {
      "id": "W32",
      "steps": "Normal perrow source reads4log+4certificate=8;writes4log+2certificate=6 when no shortwrite;positive onebyte progress readcalls<=448/writecalls<=200;ACK16 additionalcallsupper;Nscaled readcallupper1161216000/write518400000;not native speed",
      "result": 200,
      "units": "positiveprogress writecall upper/row excludingACK",
      "scope": "source documentary counts"
    },
    {
      "id": "W33",
      "steps": "Normal inputCRC2*80*N*8=3317760000;ACK12*N*8=248832000;compactcertificate32*N*8=663552000;sum4230144000",
      "result": 4230144000,
      "units": "normal input+ACK+certificate CRC bitsteps",
      "scope": "named source subsets;control/event separate"
    },
    {
      "id": "W34",
      "steps": "Full diagnostic validfaultCRC2112000*24*8=405504000;core full log/cert3649536000;control<=1792;prefixcert<=3072;boundarylogs<=2560;namespace<=7360;sum4055054784;event/DONE+832=4055055616",
      "result": 4055054784,
      "units": "full diagnostic cold CRC bitstep upper before appends",
      "scope": "source count under full valid regions"
    },
    {
      "id": "W35",
      "steps": "Each4 namespacechecks5regionfstat+1sealfstat=24;TwoLogBytes geometry adds2;total26fstat inselectedcoldassembly;nativeprovider/open/imageothercallsunknown",
      "result": 26,
      "units": "selected cold namespace/geometry fstat calls",
      "scope": "not native startup total"
    },
    {
      "id": "W36",
      "steps": "For Vusable bytes actual native fit needs862808256+E<=Vusable whereEdisjoint OS/FS/package/provider/queue/nativeoverhead. R23 needed1153112064+Eold. ChangedE can offset saved290303808B; no automaticphysicalpartclaim",
      "result": 290303808,
      "units": "logical sourceheadroom B beforechangedexternaloverhead",
      "scope": "complete physical threshold condition"
    },
    {
      "id": "W37",
      "steps": "268435456reserve unchanged;localstaging228096000removed;proof62208000removed;newnamespace192added;total228096000+62208000-192=290303808",
      "result": 290303808,
      "units": "net logical source reserved B removed",
      "scope": "disjoint three changed owners"
    }
  ]
}