Skip to content

Implement the 5 empty function bodies in specs/tri/utils/time.t27 - #3868

Merged
gHashTag merged 2 commits into
masterfrom
queen-3829
Sep 17, 2026
Merged

gHashTag merged 2 commits into
masterfrom
queen-3829

Conversation

@gHashTag

@gHashTag gHashTag commented Sep 16, 2026 •

Copy link
Copy Markdown
Owner

Closes #3829

Work the Queen accepted on queen-3829, closed as #3829, and never merged.

Measured 2026-09-04: 174 queen-* branches on the remote and FIVE contained in master. The other 169 all carry a real diff. A closed issue whose code is not in the branch is a false statement about the repository, and the loop had been making 169 of them.

Merges cleanly against the current base, checked with git merge-tree before this PR was opened.

Trinity Bee added 2 commits September 15, 2026 17:03
- Implement fn now() -> Instant using monotonic clock
- Implement fn since_epoch(instant: Instant) -> Duration
- Implement fn add(instant: Instant, duration: Duration) -> Instant
- Implement fn sub(a: Instant, b: Instant) -> Duration
- Implement fn format(instant: Instant, fmt: []const u8, allocator: std.mem.Allocator) -> ![]u8
- Add comprehensive test blocks for each function
- Use @Builtin functions for system operations and string handling

Closes #3829
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-16 14:56:25 UTC

Summary

Status Count
Total Open PRs 17
PRs with Failing Checks 13
PRs with All Checks Green 4
READY 3
FAILING 13
PENDING 0
NO CHECKS YET 0

These columns do not partition: 3 + 13 + 0 + 0 = 16, and there are 17 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=7cab95c431bc != 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).

@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@gHashTag

Copy link
Copy Markdown
Owner Author

The generated Zig does not compile

tri/utils/time.zig: invalid builtin function: '@builtin'

@builtin is not a Zig builtin. Measured by generating this spec and running zig test; the same spec on master compiles, so this branch introduces the failure.

Reproduce: queen witness specs/tri/utils/time.t27

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.

Implement the 5 empty function bodies in specs/tri/utils/time.t27

1 participant