Michael Muré
68469db91a
minor cleanups
2025-02-27 14:35:53 +01:00
Steve Moyer
9589cc8b44
feat(tinygo): make 53-bit limits portable across platforms
2025-02-21 11:03:33 -05:00
Michael Muré
e218b49577
Merge pull request #100 from ucan-wg/pol-neq
...
policy: implement the missing '!='
2025-01-23 12:38:17 +01:00
Michael Muré
4c81ac778e
policy: fix tests now that selector evaluation is clearer
...
https://github.com/ucan-wg/delegation/pull/15
https://github.com/ucan-wg/delegation/pull/16
2025-01-23 12:28:02 +01:00
Michael Muré
7ae65e7c8e
policy: fix some code style
2025-01-22 17:30:28 +01:00
Michael Muré
7f9cb6426c
policy: implement the missing '!='
...
https://github.com/ucan-wg/delegation/pull/15
2025-01-22 14:12:41 +01:00
Fabio Bozzo
3688ccea01
fieldRegex to be more restrictive and consistent
2024-12-02 19:18:01 +01:00
Fabio Bozzo
e9105896d7
Merge branch 'main' into fix/extended-field-names
...
# Conflicts:
# pkg/policy/selector/parsing_test.go
2024-12-02 19:05:19 +01:00
Fabio Bozzo
15751c7362
regex to be more restrictive and consistent
2024-12-02 18:30:41 +01:00
Fabio Bozzo
da806b1bc5
remove TODO comment
2024-12-02 14:32:15 +01:00
Fabio Bozzo
56eab758ed
move args int validation to their creation
2024-12-02 12:24:06 +01:00
Fabio Bozzo
28272e6900
move int validation to where a error can be returned
2024-12-02 11:59:16 +01:00
Fabio Bozzo
117a75e2c4
cleanup comments
2024-11-29 19:36:00 +01:00
Fabio Bozzo
a25bfbaf45
fix: extended field names
2024-11-29 19:32:31 +01:00
Fabio Bozzo
bff482f73b
add constants.go
2024-11-29 13:04:14 +01:00
Fabio Bozzo
ff79bbb443
go fmt
2024-11-29 13:03:48 +01:00
Fabio Bozzo
3997a86184
fix: prevent overflow of int values
2024-11-29 13:00:00 +01:00
Steve Moyer
170e597e71
feat(args): export fluent builder
2024-11-27 12:05:00 -05:00
Steve Moyer
ce1a4b6e32
test(invocation): verify arguments versus aggregated policies
2024-11-27 10:20:40 -05:00
Steve Moyer
ec627138cb
fix(selector): allow dashes in selector names
...
This functionality will be further enhanced in #80 .
Resolves #66
2024-11-20 12:37:29 -05:00
Michael Muré
aea1880386
tests: lots of small asjustement
2024-11-20 14:55:48 +01:00
Michael Muré
e980d6c0b9
various sanding everywhere towards building the tookit
2024-11-20 12:34:24 +01:00
Steve Moyer
1098e76cba
test(invocation): add command.Covers and subject consistency tests
...
Also improve the maintainability of the tests by a) providing a set of fixed Personas
and then generating a slew of valid delegation tokens, invalid delegation tokens
and proof-chains thereof.
2024-11-19 14:35:46 -05:00
Michael Muré
c4a53f42b6
args,meta: harmonize supported types, with fast paths
2024-11-12 13:09:07 +01:00
Michael Muré
522181b16a
args: simplify API + code
2024-11-12 12:14:58 +01:00
Steve Moyer
11bc085c60
test(policy): update to handel statement returned from Match
2024-11-07 13:17:22 -05:00
Steve Moyer
a4a8634eb8
Merge branch 'v1' into feat/complete-invocation-stub
2024-11-07 13:14:03 -05:00
Michael Muré
f9065d39d8
policy: make Match also return the failing statement
...
It's a powerful capability, so let's expose it.
I also found a bug in the process.
2024-11-07 15:33:21 +01:00
Michael Muré
948087744d
literal: fix flacky test
...
also: make tests less noisy everywhere
2024-11-07 12:01:29 +01:00
Steve Moyer
85557ab6b5
test(policy): refactor matching test from delegation spec
2024-11-06 12:57:01 -05:00
Steve Moyer
adc2b8d0da
test(policy): adds example test case from invocation specification
2024-11-06 12:55:49 -05:00
Steve Moyer
962e897ff5
Otest(policy): refactor matching test from delegation spec
2024-11-06 12:18:15 -05:00
Steve Moyer
58bb5cdb8f
test(policy): adds example test case from invocation specification
2024-11-06 12:16:49 -05:00
Michael Muré
8447499c5a
literal: add test suite
2024-11-06 16:42:45 +01:00
Michael Muré
6f9a6fa5c1
literal: make Map and List generic, to avoid requiring conversions
2024-11-05 16:26:14 +01:00
Michael Muré
72f4ef7b5e
policy: fix incorrect test for PartialMatch
2024-11-04 19:07:36 +01:00
Fabio Bozzo
02be4010d6
add array quantifiers tests and tiny fix
2024-11-04 18:50:30 +01:00
Michael Muré
61e031529f
policy: use "any"
2024-11-04 18:41:18 +01:00
Michael Muré
19721027e4
literal: rewrite Map() to cover more types
2024-11-04 18:34:31 +01:00
Fabio Bozzo
bc847ee027
fix literal.Map to handle list values too
2024-11-04 17:10:57 +01:00
Fabio Bozzo
5bfe430934
add test cases for missing optional values for all operators
2024-11-04 17:07:32 +01:00
Fabio Bozzo
10b5e1e603
add test cases for optional, like pattern, nested policy
2024-11-04 13:04:54 +01:00
Michael Muré
3cf1de6b67
policy: fix distrinction between "no data" and "optional not data"
2024-11-04 11:15:32 +01:00
Michael Muré
400f689a85
literal: some better typing
2024-11-04 11:15:12 +01:00
Fabio Bozzo
6717a3a89c
refactor: simplify optional selector handling
...
Let Select() handle optional selectors by checking its nil return value, rather than explicitly checking IsOptional()
Applied this pattern consistently across all statement kinds (Equal, Like, All, Any, etc)
2024-11-04 10:56:06 +01:00
Fabio Bozzo
9e9c632ded
revert typo
2024-11-01 17:47:47 +01:00
Fabio Bozzo
b210c69173
tests for partial match
2024-11-01 17:43:55 +01:00
Fabio Bozzo
6d85b2ba3c
additional tests for optional selectors
2024-11-01 13:07:46 +01:00
Michael Muré
7662fe34db
policy: implement partial matching, to evaluate in multiple steps with fail early
2024-10-24 16:21:57 +02:00
Michael Muré
6d0fbd4d5a
minor cleanups
2024-10-24 14:46:01 +02:00
