verifiedCore-0revision 2

Short Circuit Fault Guard

algorithm/short-circuit-fault-guard

algorithminterpretedcompiledinterpretercllvm-jitaot

Public context

What an implementation receives

# Short Circuit Fault Guard Implement the normative short circuit fault guard behavior for the ZergLang algorithm domain. Preserve deterministic ordering, typed failures, ownership transfer, and exactly-once cleanup required by the cited clauses. Submit the complete source closure matching `interface.zli`. Public cases are examples, not an exhaustive specification. Do not use ambient I/O, time, random state, or undeclared capabilities.

Public interfaceZergLang

module benchmark_algorithm_short_circuit_fault_guard;

public value Solution {
    public algorithm message solve(type: Class<Self>) -> Int64 effects {};
}

Public cases

1 inspectable case

publicpublic input + expected behavior

Input

{
  "type": "unit"
}

Expected

{
  "kind": "value",
  "value": {
    "type": "integer",
    "value": "1"
  }
}

Held-out inputs and expectations are excluded from this projection. Their published outcomes are aggregate-only.

Code entry

ZergLang source policy

Active reference source withheld

This task participates in model synthesis. Publishing its canonical solution would invalidate future evaluations; the prompt, interface, and public cases above are the complete public authoring context.

Execution contract

algorithm

Selector: benchmark_algorithm_short_circuit_fault_guard.Solution.solve
Executors: algorithm-interpreter, algorithm-c, algorithm-llvm-jit, algorithm-aot
Platforms: portable
Performance lane: eligible

Normative authority

1 bound clauses

C0-TYPE-004

Official task history

Signed conformance observations

No official conformance run currently contains this task revision in its signed catalog.

Provenance

Where this task came from

[
  {
    "kind": "original",
    "license": "Apache-2.0",
    "source": "ZergLang Core-0/Core-1 normative specification"
  }
]