Skip to content

Feat/validators exec - #558

Closed
SJrX wants to merge 4 commits into
242.xfrom
feat/validators-exec
Closed

SJrX wants to merge 4 commits into
242.xfrom
feat/validators-exec

Conversation

@SJrX

@SJrX SJrX commented Oct 24, 2026

Copy link
Copy Markdown
Owner

No description provided.

@github-actions

github-actions Bot commented Oct 24, 2026 •

Copy link
Copy Markdown

Unit Test Results (grammar engine false)

1 380 tests   1 380 ✅  50s ⏱️
  350 suites      0 💤
  350 files        0 ❌

Results for commit 8474666.

♻️ This comment has been updated with latest results.

@github-actions

github-actions Bot commented Oct 24, 2026 •

Copy link
Copy Markdown

Unit Test Results (grammar engine true)

1 380 tests   1 380 ✅  1m 8s ⏱️
  350 suites      0 💤
  350 files        0 ❌

Results for commit 8474666.

♻️ This comment has been updated with latest results.

@sjrx-claude-sandbox
sjrx-claude-sandbox force-pushed the feat/validators-exec branch 3 times, most recently from f87e368 to 88b637f Compare October 24, 2026 17:11
SJrX and others added 4 commits October 24, 2026 11:24
…nd environment options (exec batch)

Adds C-sourced grammars (pinned to systemd 0f0682b773) for BindPaths=/BindReadOnlyPaths=,
TemporaryFileSystem=, RootImageOptions=, MountImages=, ExtensionImages=, NUMAMask=,
ImportCredential=, RootHash=, RootHashSignature=, StandardInputData=, CoredumpFilter=,
Environment=, the [Slice] concurrency limits and LUOSession=, with shared helpers in
grammar/BatchExecCombinators.kt.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
- safeAtouNumber: only allow '+' before the plain strtoul branch, so +0b1/+0o7
  are rejected as mangle_base does; optionally accept a negative zero (-0, -0x0),
  used by the [Slice] concurrency limits.
- CoredumpFilter=: accept a negative zero, which safe_atollu_full allows.
- C escapes: refuse UTF-16 surrogates in \u and invalid code points in \U,
  matching cunescape_one/unichar_is_valid.
- RETAIN_ESCAPE tuple fields: a backslash before a quote is not an escape; the
  quote must open a balanced quoted run.
- Correct the header note: opaque quoted runs can also flag some valid values.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Several batch branches declared public helpers with the same name in the
shared grammar package (SafeAtouTerminal, UINT32_LIMIT, safeAtou,
SafeAtoNumberTerminal, BOOLEAN_ANY_CASE, COALESCED_COLONS). Each branch
compiled alone but any two merged together would not. Prefix them per
family so the batch PRs can merge in any order; consolidating them into
Combinators.kt is left for a follow-up.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Replace the exec batch's local safe_atou copy (safeAtouNumber, PLUS_SIGN,
NEGATIVE_ZERO and the hand-written 0b/0o range regexes) with the shared
SafeAtoTerminal in ConcurrencyHardMax=/ConcurrencySoftMax=/
ActivatingConcurrencyMax= and NUMAMask=.

Verdicts now match systemd (checked with sd-check at 0f0682b773):
- Concurrency*Max= now accepts 0b+1, 0b-0, "0b 1", "0o 7", "0b +1", "0b -0"
  and a leading \v.
- NUMAMask= now accepts 0b+1, 0-0b+1 and 0--0 (parse_range's upper bound may
  be a negative zero); -0, 0b-0 and 1-2-3 stay flagged.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@SJrX SJrX closed this Oct 24, 2026
@SJrX
SJrX deleted the feat/validators-exec branch October 24, 2026 20:38
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.

1 participant