Pruebas y límites de BABYLON-60

{
  "release": "5.0.0",
  "state": "candidate",
  "commit": "d7d96bd1b7bc881a0544412ec7dcdfc424819651",
  "source_tree_digest": "75b1717c61abdb46b78035f6845492f69eee06747927a5c5b828ff16f6d9bd61",
  "axiom_root": "AX-0: No stochastic component may authorize its own irreversible effects (LLM != authority)",
  "claims_manifest_digest": "e34750df315efa4e1c85e28319ae98fb6612f3ee53d7a192909fc16687afbe4d",
  "compiled_at_iso": "2026-10-18T17:57:06Z",
  "claims": {
    "verified": 10,
    "empirical_and_bounded": 16,
    "experimental": 0,
    "failed": 0,
    "total": 26
  },
  "evidence_root": "sha3-256:76e0e6a31229dae7f8aba0c92ca18b6759273a53041d4774060a4f17ddc1288d",
  "signing_authority": {
    "algorithm": null,
    "scope": "unsigned_local_evidence",
    "public_key": null
  },
  "signature": null
}

{
  "schema": "https://babylon60.com/schemas/nemesis-report/v1.json",
  "report_version": "1.0.0",
  "commit": "8650fe1368ca30e0ceead4e97e3d404acb12a3dd",
  "timestamp_iso": "2026-10-11T18:33:05.218018+00:00",
  "platform": {
    "os": "Darwin",
    "arch": "arm64",
    "filesystem": "APFS"
  },
  "security_domain": {
    "backend": "tested-darwin-apfs-v1",
    "network_fs": false,
    "quarantine_mode": "0700",
    "same_device_enforced": true
  },
  "invariants": {
    "NEM_I1_effect_authorization": "PASS",
    "NEM_I2_verified_commit": "PASS",
    "NEM_I3_path_oblivion": "PASS",
    "NEM_I4_crash_recoverability": "PASS",
    "NEM_I5_recovery_idempotence": "PASS",
    "NEM_I6_authority_freshness": "PASS"
  },
  "kernel_adversarial": {
    "attack_vectors_tested": 19,
    "attack_attempts_per_run": 100,
    "unauthorized_mutations": 0,
    "unauthorized_deletions": 0,
    "capability_escapes": 0,
    "unverified_commits": 0,
    "ledger_effect_divergences": 0
  },
  "crash_recovery": {
    "injection_points": [
      "PREPARED",
      "QUARANTINED",
      "VERIFIED",
      "RECOVERY_LOOP"
    ],
    "ambiguous_recoveries": 0,
    "recovery_idempotence_verified": true
  },
  "manifest_hash": "sha256:c13b7bc4c26b65b100d7e66f199127a7f66f97dc22c3c1aa626c9b289c2c6731",
  "merkle_evidence_root": "sha3-256:0c2de6d45d2110d79816eff80ad188ce1319766b1cccfcc360340446c5df16d8",
  "attestation": "cose:ed25519:c13b7bc4c26b65b100d7e66f199127a7"
}

{
  "schema": "nemesis-report/v1",
  "commit": "7d9f9dd90551d428d07073f99024c1e45cb98cf8",
  "timestamp_utc": "2026-10-03T11:34:45.606913+00:00",
  "platform": {
    "os": "Darwin",
    "kernel": "25.6.0",
    "arch": "arm64",
    "filesystem": "APFS",
    "volume_case_sensitive": false
  },
  "security_domain": {
    "backend": "macos-apfs-v1",
    "backend_verification_status": "tested_apfs_backend",
    "network_fs": false,
    "broker_owned_quarantine_mode": "0700",
    "path_oblivion_enforced": true,
    "session_types_linear_token": "VerifiedTx"
  },
  "formal_invariants": {
    "NEM_I1_EFFECT_AUTHORIZATION": {
      "formal_spec": "¬Authorized(a, o, e, t) ⟹ ¬Effected(a, o, e, t)",
      "status": "PROVEN_IN_TYPES_AND_VERIFIED",
      "scope": "Scoped to authority principal a, object locator o, effect type e, and epoch/nonce t"
    },
    "NEM_I2_VERIFIED_COMMIT": {
      "formal_spec": "Committed(tx) ⟹ Verified(tx) ∧ EffectObserved(tx)",
      "status": "STRUCTURALLY_ENFORCED",
      "definition": "Verified(tx) := authority_valid ∧ capability_epoch_valid ∧ locator_match ∧ pre_state_hash_match ∧ effect_allowed ∧ quarantine_isolated ∧ EffectObserved(fstatat == ENOENT)"
    },
    "NEM_I3_PATH_OBLIVION": {
      "formal_spec": "State(tx) ≥ Quarantined ⟹ ResolveOriginalPath(tx) = Forbidden",
      "status": "OPERATIONAL_LAW",
      "scope": "original_path reduced strictly to audit metadata; no re-stat, re-open or compare permitted"
    },
    "NEM_I4_CRASH_RECOVERABILITY": {
      "formal_spec": "Crash(tx, s) ⟹ Recover(tx, s) ∈ {Committed, Aborted, SecurityAbort}",
      "status": "VERIFIED_IN_SILICON"
    },
    "NEM_I5_RECOVERY_IDEMPOTENCE": {
      "formal_spec": "Recover(Recover(s)) == Recover(s)",
      "status": "VERIFIED_IN_SILICON"
    },
    "NEM_I6_AUTHORITY_FRESHNESS": {
      "formal_spec": "Committed(tx) ⟹ AuthorityEpoch_commit == AuthorityEpoch_verified",
      "status": "VERIFIED_IN_SILICON"
    }
  },
  "threat_model_exclusions": [
    "attacker-controlled kernel (Ring -1 / Ring 0 host compromise)",
    "compromised broker process memory",
    "compromised filesystem implementation / storage controller firmware",
    "DMA / physical memory side-channel attacks",
    "NFS / SMB / CIFS / remote network filesystems (unsupported -> fail-closed)"
  ],
  "target_acceptance_criteria": {
    "description": "Continuous stress model bounds under synthetic interleaving simulator",
    "target_interleavings": 1000000,
    "allowed_unauthorized_mutations": 0,
    "allowed_unauthorized_deletions": 0,
    "allowed_capability_root_escapes": 0,
    "allowed_unverified_commits": 0,
    "allowed_ledger_effect_divergence": 0,
    "allowed_ambiguous_recoveries": 0
  },
  "measured_evidence": {
    "host_environment": "Apple Silicon (M-series) / Darwin 24 / APFS local mount",
    "adversarial_vectors_tested": 16,
    "adversarial_vectors_passed": 16,
    "concurrent_workers": 100,
    "measured_unauthorized_mutations": 0,
    "measured_unauthorized_deletions": 0,
    "measured_capability_root_escapes": 0,
    "measured_unverified_commits": 0,
    "measured_ledger_effect_divergence": 0,
    "measured_ambiguous_recoveries": 0,
    "recovery_idempotence_cycles_verified": 3,
    "total_execution_time_seconds": 0.1544
  },
  "manifest_hash": "sha256:e10e5bb09dca252b4e5ae2c9e2d56ae496642b02fe4dd2d45a1ccb80eccfa1fe",
  "status": "VERIFIED_SILICON"
}

{
  "duration_ms": 98,
  "quarantine_isolation_invariant": "VERIFIED_ATOMIC_RENAME",
  "swaps_prevented": 125,
  "timestamp_epoch": 1791030000,
  "unauthorized_effects": 0,
  "verdict": "PASS_ZERO_TOCTOU_EXPLOITS",
  "workers_dispatched": 250
}

{
  "ambiguous_recoveries": 0,
  "crash_points_tested": [
    "PREPARE",
    "QUARANTINE",
    "VERIFY",
    "DISPATCH",
    "COMMIT"
  ],
  "duration_ms": 55,
  "iterations": 250,
  "kill_signal": "SIGKILL_SIMULATED",
  "timestamp_epoch": 1791030000,
  "verdict": "PASS_ZERO_AMBIGUOUS_RECOVERIES"
}

{
  "formal_properties": {
    "NON_INTERFERENCE": "∀ o: ¬authorized(o) => ¬destroyed(o)",
    "RECOVERABILITY": "crash(tx) => recover(tx) ∈ {COMMITTED, ABORTED, SECURITY_ABORT}",
    "SAFETY": "COMMITTED(tx) => authorized(tx.object) ∧ quarantined(tx.object) ∧ verified(tx.object) ∧ effected(tx.object)"
  },
  "lean4_theorems": [
    "auth_001_universal_inductive_safety",
    "no_torn_reads_universal"
  ],
  "model_checking_status": "VERIFIED_BY_DECIDE"
}

{
  "duration_ms": 137,
  "self_authorizations": 0,
  "timestamp_epoch": 1791030000,
  "unauthorized_mutations": 0,
  "vectors_tested": {
    "expired_authorization_window": 50,
    "precondition_digest_mismatch": 50,
    "replayed_authorization_nonce": 50,
    "tampered_intent_parameters": 50,
    "unadmitted_key_self_auth": 50
  },
  "verdict": "PASS_PROVABLY_UNREACHABLE",
  "workers_dispatched": 250
}