-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#16 In promise-language/base;
The judge may come from the tree; the runner may not, and the document says neither correctly
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#15 In promise-language/base;MetricMode is missing pending, so a manifest conforming to base-engineering is rejected outright
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#14 In promise-language/base;The gate contract is specified twice: here and in reactor/docs/base-engineering.md
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#12 In promise-language/base;A gate that prints progress deadlocks the runner: stderr is piped and never drained
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#10 In promise-language/base;No baseline exists — nothing ratchets, and nothing stops a resolution moving a floor that never moves back
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#9 In promise-language/base;Nothing implements the invocation protocol: no --envelope flag, no bare-invocation guidance, no bin/run
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#8 In promise-language/base;MetricType and MetricValue have no bool, so a gate reporting a yes/no has to encode it as 0 or 1
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#7 In promise-language/base;Nothing checks that a gate left its subject unmodified, so a repairing gate ratchets a baseline nobody can meet
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#6 In promise-language/base;_read_all drains a gate's stdout unbounded, so a talkative gate exhausts the runner's memory
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#5 In promise-language/base;envelope.pr, manifest.pr and vocabulary.pr headers restate the gate contract that docs/gate-contract.md now owns
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#4 In promise-language/base;run_gate does not enforce the declared timeout, so a hung gate hangs its runner forever
gate-contractAn open delta against docs/gate-contract.mdAn open delta against docs/gate-contract.mdStatus: Open.#2 In promise-language/base;