Skip to content

lab: LAB_GATE as a network job kind run by T27 OS nodes, paid in test-network XP - #11067

Merged
gHashTag merged 2 commits into
masterfrom
lane/lab-job-kind-11043
Oct 19, 2026
Merged

gHashTag merged 2 commits into
masterfrom
lane/lab-job-kind-11043

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11043

lab: LAB_GATE as a network job kind run by T27 OS nodes, paid in test-network XP

Gates run on the merged tree (t27c from master): 1 spec(s) with tests clean and vacuous passes 0, seal --verify MATCH, tri types ratchet CLEAN, dupe_scan failure set a subset of master's (inherited red).

TEST specs/lab/job_kind.t27 tests=[21] fail=[0] vacuous=[0]
SEAL specs/lab/job_kind.t27 :: all hashes MATCH
TYPES RATCHET: CLEAN
DUPE failing=15 extra-vs-master=[]

🤖 Generated with Claude Code

claude and others added 2 commits October 19, 2026 20:56
…-network XP (Closes #11043)

specs/lab/job_kind.t27 (module LabJobKind) names the LAB_GATE job kind: a commit sha
and a gate id from a closed enum of five gates (build, suite, seal-currency,
t27b-verdict, analog-reference), each with a fixed plain command line that never
comes from pull-request text and is never sent to a node.

- placement: pure functions over node class (desktop, laptop, phone), cores, free
  disk, charging and link; a phone takes only light gates, only while charging on an
  unmetered link
- trust: PUBLIC tier only (eligible from hosting/host.t27); the offer is the sha, the
  gate id and the challenge, never a token or a credential
- agreement: results_agree over AGREE_FIELDS, quorum_verdict words, the k-of-n verdict
  of hosting/proof.t27 (and the anchored one of hosting/sybil.t27) mapped to
  admit / retry on another node / void; a slash only against an admitted gate, via
  payout.t27 receipt_award
- reward: EXECUTOR_FEE / VERIFIER_FEE / slash rows of the existing statement ledger,
  XP weight per gate class (light, medium, heavy) times the per-job rate; level and
  streak read off the same rows; no new ledger
- CREDIT_IS_TEST stays true, SETTLEMENT_ENABLED stays false; nothing here mints or
  settles

Reused, not copied: network/job_rules, network/quorum, hosting/credit,
hosting/host, hosting/placement, hosting/proof, hosting/sybil, hosting/statement,
verified/payout, jobs/network_job, trinet/node-work-credit, t27f/petal_menu.

21 tests and 3 invariants (t27b test). The seal is added after t27c test-report
runs outside the sandbox.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…-network XP (Closes #11043)

Merge of master plus sealing, gates run on the merged tree with t27c from master: tests clean with vacuous passes 0, seal --verify MATCH, tri types ratchet CLEAN, dupe_scan failure set a subset of master's.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 19, 2026 14:00
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 14:01:51 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 45
PRs with All Checks Green 5
READY 2
FAILING 45
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 45 + 0 + 0 = 47, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=57b91bb96334 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

lab: LAB_GATE as a network job kind run by T27 OS nodes, paid in test-network XP

2 participants