S327 · Writer inventory source/model reconciliation

pub fn preflight_s327_writer_inventory_reconciliation(
    caller_cpu: usize,
    request: Option<G8lS245WholeSchedulerExclusionAdmissionRequestView>,
) -> Result<G8lS327WriterInventoryReconciliationOutcome, G8lS327WriterInventoryReconciliationError>
{
    if S327_SOURCE_MODEL_COVERED_WRITER_SITES != S327_WRITER_SITES {
        return Err(G8lS327WriterInventoryReconciliationError::CoverageDrift {
            covered: S327_SOURCE_MODEL_COVERED_WRITER_SITES,
            expected: S327_WRITER_SITES,
        });
    }
    match preflight_s326_scheduler_writer_authority(caller_cpu, request).map_err(G8lS327WriterInventoryReconciliationError::S326)? {
        G8lS326SchedulerWriterAuthorityAuditOutcome::Idle => Ok(G8lS327WriterInventoryReconciliationOutcome::Idle),
        G8lS326SchedulerWriterAuthorityAuditOutcome::AwaitingWriterAuthority { request_id, .. } => Ok(G8lS327WriterInventoryReconciliationOutcome::CoverageReconciledAwaitingProductionProvider { request_id, source_model_covered: S327_SOURCE_MODEL_COVERED_WRITER_SITES, production_open: S327_OPEN_PRODUCTION_WRITER_SITES }),
    }
}

#[test]
fn pending_request_reports_coverage_without_provider() {
    let state = pending();
    let view = state.pending_view(S245_TARGET_CPU1).unwrap().unwrap();
    assert_eq!(preflight_s327_writer_inventory_reconciliation(S245_TARGET_CPU1,Some(view)),Ok(G8lS327WriterInventoryReconciliationOutcome::CoverageReconciledAwaitingProductionProvider{request_id:1,source_model_covered:69,production_open:69}));
}

  {
    id: "g8l-s327-writer-inventory-source-model-reconciliation-partial",
    date: "2026-08-27",
    sequence: 327,
    status: "passed",
    umbrella_status: "partial",
    title: "S327 · Writer inventory source/model reconciliation",
    summary:
      "S327 beş mutable production kaynak birimindeki 69 writer'ı terminal audit zincirleriyle uzlaştırır: current-task 1 + scheduler 29 + capability 14 + exceptions 8 + main 17. Source/model coverage 69/69'dur; production provider authority 0 ve production-open writer 69 olarak açıkça korunur.",
    evidence: [
      "Focused kaynak/model kapısı iki bağımsız koşuda 15/15 PASS: 130 B / SHA-256 49ac22a2e542925a2c4229509b96654690900590f2ccccec76e4389b5d7568f4.",
      "Güncel production envanteri 7 audit unit / 113 direct / 44 immutable read / 69 writer; mutable source dağılımı 1+29+14+8+17=69.",
      "S245 request tüketilmez; reader lease writer değildir; S327 CPU1 servisi S326'dan sonra ve S242'den önce kaynak-kilitlidir.",
      "Operations komut haritasından üretilen S238–S327 matrisi iki bağımsız koşuda 91 grup / 1289/1289 PASS; süre-normalize loglar 11934 B / SHA-256 cf5112b5656c73ab96efd0dfbaf80bdb6e4d1ecb9f5aa8421fd60e90cb192f32 ile birebirdir.",
      "Exact yedi tarihsel assertion dışındaki tam simulation workspace iki koşuda 286 grup / 3103 PASS / 0 fail / 7 filtered verdi. Filtresiz koşu frozen S96 exceptions.S identity assertion'ında kırmızı kaldığı için full-workspace GREEN iddia edilmez.",
      "Ortak make verify-qemu iki koşuda PASS; strict ELF W^X 31/31 ve aynı 1551 B / 527ef12c2bc56140e14e13be445f78c8e38872febc9849afcfacd499238ff966 acceptance özeti korundu. Bu S327 provider invocation kanıtı değildir.",
      "QEMU, RPi4, RPi5 ve RPi5+SMP AArch64 compile profillerinin her biri exit 0 verdi; zero-warning/runtime iddiası yoktur.",
      "Production whole-scheduler exclusion/provider authority/scheduler mutation yoktur; physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S327=NO.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s327_writer_inventory_source_model_reconciliation -- --test-threads=1",
    ],
    terminalSessions: [
      {
        id: "g8l-s327-writer-inventory-reconciliation",
        title: "S327 focused source/model reconciliation",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s327_writer_inventory_source_model_reconciliation -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; S327 focused 1 group / 15 passed; 0 failed",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "69/69 source/model coverage, production guard/provider coverage değildir; 69 production writer açık kalır.",
      "Filtresiz workspace frozen S96 identity assertion'ında kırmızıdır; exact yedi tarihsel dışlama olmadan global workspace GREEN değildir.",
      "Generic SMP, supported-profile writer runtime ve fiziksel RPi kabulü açık kalır.",
    ],
  },