fix clippy lints

extaract the static part of the instructions template directly into the instructions module

This way goto source doesn't end up in a generated file for those parts and they can be edited directly.
I have way too often accidentally edited the generated file.

Merge pull request #3207 from Skgland/quote-fix-unquote-segv

"fix" segv from #3198, #3199, and #3205

throw `error(resource_error(memory), [])` when the list length exceeds usize.

Merge pull request #3177 from triska/use_phrase_to_file

use more recently available phrase_[to|from]_file/3 in example

remove overengineered RecursionGuard

fix another integer overflow

don't calculate panic message eagerly

handle overflown in Heap::with_cell_capacity

handle oob heap index calculation

use checked multiplication in heap_index! macro

prevent multiply with overflow resulting in odd errors/segv

detect recursive throw_resource_error and panic instead of causing a segmentation fault

fix backtrack_on_resource_error around choice instructions

Merge pull request #3185 from mthom/install_verify_attr_opt

Optimize `verify_attr` by removing the need to scan instructions

Merge pull request #3164 from Skgland/alloc_errors2

handle machine heap/stack allocation error

Merge pull request #3147 from jjtolton/error-termination-flag

Add -t flag for custom toplevel (replaces --halt-on-error)

Merge pull request #3179 from triska/meetups

update meetups

Merge pull request #3180 from triska/foldl_6

ADDED: foldl/6, addressing #2973

corrections to arithmetic expression compilation

corrections to dispatch loop

revise InstallVerifyAttrs to remove need for predicate scanning (#3175)

remove interms field from MachineState

ADDED: foldl/6, addressing #2973

update meetups

use more recently available phrase_[to|from]_file/3 in example

fix pstr_iter_tests test

remove RESOURCE_ERROR_OFFSET_INIT

With it when using multiple Machine in one process only the first would store the pre-allocated error.
Instead Heap.resource_err_loc is now Option<NonZero<usize>> instead of usize using None for uninitialized.
The cell at index 0 should alredy be used by a runtime reserved interstitial cell that is allocated prior. So requiring the offset to be non zero should be fine.

fix unecessary parens in macro

return an AllocError instead of panicing in Heap::with_cell_capacity

wrap resource_error into an error/2 functor and don't wrap it into a syntax_error functor

propagate AllocErrro instead of unwrapping

handle machine heap/stack allocation error

stub a clippy config

with things we need to get rid of replace if we want to eliminate panics due to oom

use as_bytes().to_vec() instead of bytes().collect()

copying a slice into a vec should be easier to optimize by the complier than collecting a byte iteration into a vec

remove some uncessary allocations/copies

ignore incompatible msrv in compat module

improve count_to_letter_code

- reserve the complete required length at the beginning to reduce reallocations
- use u8 instead of char so that we can re-use the allocation for the string

ignore unused_parens warning

parens are generated by external macro

remove two unecessary clones

Fix -t flag help text to reflect it accepts any goal

The -t flag is not limited to arity 0 predicates - it accepts any
goal including goals with arguments (e.g., -t 'halt(1)'). Updated
the help text to remove the incorrect "(arity 0 predicate)" constraint.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <[email protected]>

Move -t and -g flags before filenames in tests

Per maintainer feedback, switches must come before files to follow
the convention: switches before files are Scryer-specific, switches
after files are application-specific.

Remove redundant unit test file

The custom_toplevel.pl unit tests were trivial and didn't actually test
the functionality. All real testing is done via comprehensive CLI tests
in tests/scryer/cli/src_tests/custom_toplevel.md

Move g_caused_exception/2 dynamic directive to toplevel.pl

- Add dynamic directive in toplevel.pl with other module-level directives
- Update test files to reference it as '':g_caused_exception/2
- Remove redundant dynamic directives from test files
- All tests passing

Update tests to use format/2 instead of write/1

Add comprehensive tests for g_caused_exception/2

Following TESTING_GUIDE.md, added tests at layers 2 and 3:

Layer 2 - Prolog Integration Tests (src/tests/custom_toplevel.pl):
- Test that g_caused_exception/2 is not asserted when no exception occurs
- Test that g_caused_exception/2 can be checked from custom toplevel
- Added check_for_exception/0 helper predicate for testing

Layer 3 - CLI Tests (tests/scryer/cli/src_tests/custom_toplevel.md):
- Test g_caused_exception/2 with exception thrown
- Test g_caused_exception/2 with no exception
- Test g_caused_exception/2 with error/2 terms
- Added test helper predicates in fixtures/toplevel_test_helper.pl

All tests pass successfully.

Co-Authored-By: J.J.'s Robot <[email protected]>

Add g_caused_exception/2 for custom toplevel error handling

When a goal throws an exception during initialization (-g flag), the
system now asserts g_caused_exception(Goal, Exception) in the user
module. This allows custom toplevels (-t flag) to check if an error
occurred and handle it appropriately.

Example usage:
  scryer-prolog -g "throw(error)" -t check_error

Where check_error can be:
  :- dynamic(g_caused_exception/2).

  check_error :-
      (   g_caused_exception(_, E) ->
          write('Error: '), write(E), nl, halt(1)
      ;   halt(0)
      ).

This enables scripts to use custom toplevels for sophisticated error
handling and exit code logic.

Addresses: https://github.com/mthom/scryer-prolog/pull/3147#issuecomment-3503875719

Co-Authored-By: J.J.'s Robot <[email protected]>

Fix bug where -t argument was processed as filename

Fixed issue where `scryer-prolog -t halt` would try to load "halt.pl"
as a file instead of just using halt as the custom toplevel.

The bug was caused by an extra clause `delegate_task([], []).` that
would return control to the calling context instead of continuing to
start_toplevel. This caused the argument processing in delegate_task
to continue and treat the already-consumed toplevel argument as a
filename.

Removing this clause ensures that delegate_task([], Goals0) always
proceeds to load initialization files and start the toplevel, fixing
the double-processing bug.

Co-Authored-By: J.J.'s Robot <[email protected]>

Add comprehensive tests for -t custom toplevel flag

- Create Prolog integration tests in src/tests/custom_toplevel.pl
- Add CLI test configuration in tests/scryer/cli/src_tests/custom_toplevel_tests.toml
- Tests verify:
  * -t halt terminates after initialization
  * Custom toplevels can be user-defined predicates
  * Toplevel receives control after initialization completes
  * Default behavior is REPL when no -t specified
- All tests pass successfully

Following TESTING_GUIDE.md three-layer testing approach:
- Layer 2: Prolog integration tests with test_framework
- Layer 3: CLI snapshot tests with .toml configuration

Co-Authored-By: J.J.'s Robot <[email protected]>

-t custom toplevel option

- Add -t FLAG to specify custom toplevel (arity 0 predicate)
- Default toplevel is 'repl' if -t is not specified
- Using `-t halt` achieves original goal of guaranteed termination
- Custom toplevels enable flexible exit strategies (e.g., server mode)
- Update help text to document -t flag

Examples:
  scryer-prolog -t halt program.pl    # Exits after execution
  scryer-prolog -t my_repl program.pl # Custom REPL
  scryer-prolog program.pl            # Default REPL

Co-Authored-By: J.J.'s Robot <[email protected]>

Merge pull request #3120 from aarroyoc/master

Delete test page from learning section

Merge pull request #3124 from bakaq/mark-partial-string-tail

Fix marking of partial string tail in iteration

Merge pull request #3117 from aarroyoc/update-releases-0100

Update web to show 0.10.0 releases

Fix marking of partial string tail in iteration

Delete test page from learning section

Update web to show 0.10.0 releases

Merge pull request #3108 from Skgland/issue-3073

emit a more appropriate error when passing the wrong argument count when constructing an ffi struct with the wrong argument count

Merge pull request #3111 from Skgland/ffi-non-fixed-sized-integers

add support for non-fixed-width integers types for ffi

Merge pull request #3109 from Skgland/issue-3107

move CI  job release from retired ubuntu-20.04 image to ubuntu-22.04

update documentation

consistently treat bool as i8

add ffi types for non-fixed-sized integers

fix missing quotes

fixup quad

move CI  job release from retired ubuntu-20.04 image to ubuntu-22.04

the new image is the same as all other ubuntu jobs

fix mthom/scryer-prolog#3073

add regression test for issue 3073

version bump to 0.10.0

Merge pull request #3095 from thierrymarianne/derefering-registers-in-files-module-instructions-functions

Dereferencing registers in `files` module instructions functions

run rustfmt

Signed-off-by: Thierry Marianne <[email protected]>

dereferencing registers to access stack variables

deref register to access stack variable for `directory_exists/1`
deref register to access stack variable for `directory_files/2`
deref register to access stack variable for `delete_directory/1`
deref register to access stack variable for `delete_file/1`
deref registers to access stack variable for `file_copy/2`
deref register to access stack variable for `file_exists/1`
deref register to access stack variable for `file_size/2`
deref register to access stack variable from `file_time` function
deref register to access stack variable for `make_directory/1`
deref register to access stack variable for `make_directory_path/1`
deref register to access stack variable for `path_canonical/2`
deref registers to access stack variables for `rename_file/2`

Signed-off-by: Thierry Marianne <[email protected]>

add tests for `file` module predicates

reproduce failing `directory_exists/1` with working directory passed as first argument
reproduce failing `delete_directory/1` with ./test directory passed as first argument
reproduce failing `file_size/1` with 2 bytes files passed as first argument
reproduce failing `file_exists/1` with existing file passed as first argument
reproduce failing `file_modification_time/1`, `file_access_time/1` and `file_creation_time/1` with existing file passed as first argument
reproduce failing `directory_files/2` with existing directory passed as first argument
reproduce failing `delete_file/1` with existing file passed as first argument
reproduce failing `make_directory/1` with non-existing directory passed as first argument
reproduce failing `make_directory_path/1` with non-existing path passed as first argument
reproduce failing `path_canonical/2` with non-canonical path passed as first argument
reproduce failing `rename_file/2` with existing file passed as first argument, target file as second arg
revised `directory_exists/1` test case
renamed test files, test directories
use `path_segments/2`, remove path separators
do not write file size to current output
revised `directory_files/2` test
revised `path_canonical/2` test
revised `file_exists/1` test
removed hardcoded expected size
extracted hardcoded directory argument
remove path prefix containing path separator
revised expected ls cmd exit code so that it is platform-agnostic

Signed-off-by: Thierry Marianne <[email protected]>

Merge pull request #3084 from thierrymarianne/set_stream

Prevent top-level from panicking when calling  `set_input/1` with `Stream` variants.

add missing P increment to GetPartialString (#3089)

push cyclic pstr's tail to iterator stack of printer (#3086)

fix attempted bind to bound StackVar (#3089)

do not use self.fail in compare_term_test

implement unify_ginteger to address FIXME in skip_max_list_cycle

fix off-by-one lam loop (#3081)

handle `Stream` variants qualified as input stream by `is_input_stream`

Signed-off-by: Thierry Marianne <[email protected]>

throw permission_error when non-input stream is read

Signed-off-by: Thierry Marianne <[email protected]>

merge if let, match structures

Signed-off-by: Thierry Marianne <[email protected]>

match against `Stream` `HttpRead()`, `InputFile(_)` and `NamedTcp(_)` variants in read_term_from_user_input

Signed-off-by: Thierry Marianne <[email protected]>

do not reset user input `Stream` of kind different from `Readline(_)`, `Byte(_)`

Signed-off-by: Thierry Marianne <[email protected]>

handle named tcp and http read stream on term reading from user input

handle input file stream on term reading from user input

reproduce panick originating in set_input/1 call from top-level

Signed-off-by: Thierry Marianne <[email protected]>

add FIXME for (presently inert & never invoked) race condition

fix f64 indexing, introduce bespoke F64Table type (#3065)

Merge pull request #3063 from Skgland/ffi++

ffi API extension and fixes

allow 3rd argument of ffi:read_ptr to not be a variable

Merge pull request #3059 from pmikkelsen/raw-input

Don't use "readline" input functionality for certain builtins

export array_type/3

fix left over todo

cleanup ffi error handling and use Atom instead of &str in appropriate places

Style tweak

use representation_error rather than resource_error

fix builds without ffi feature

add meta_predicate declaration for with_locals/2

add documentation